Search results for "RAMS"
showing 10 items of 444 documents
Radicalization in Correctional Systems: A Scoping Review of the Literature Evaluating the Effectiveness of Preventing and Countering Interventions
2023
Although several prevention and countering radicalization programs in correctional institutions have been carried out in Europe and worldwide, little is known about their effectiveness. Thus, the current scoping review aimed at reporting on the state of the art of the literature assessing and evaluating such actions, identifying knowledge gaps, and examining methods used to assess their successfulness and impact. A total of eight studies that met eligibility criteria were reviewed after performing a search on Scopus, Web of Science, and PsychInfo (Ebsco) databases: Two studies evaluated a reintegration initiative based in the Netherlands; four focused on an Australian disengagement program;…
Diagrammatic Gestures. Cognition, Mathematics, and Semiotics.
2021
here are words having an extraordinary evocative power. This is precisely the case of “Diagram” and “Gesture”. The frst term covers an interconnected network of concepts like “graph”, “schema”, “form”, “model”, “arrow”, and so on... And the same can be said of the second one: just think, for example, of the ideas of “movement”, “bodily action”, “practical activity” or, more generally, of “doing”. Accounting for them has been, over the last 50 years, the aim of signifcant portions of the work conduction in philosophy (Deleuze, Foucault, Merleau-Ponty), mathematics (Grothendieck, Lawvere, Thom), semiotics (Peirce), and theoretical linguistics (Culioli, Langacker, Pottier). The present issue a…
CADEM: calculate X-ray diffraction of epitaxial multilayers
2017
This article presents a powerful yet simple program, based on the general one-dimensional kinematic X-ray diffraction (XRD) theory, which calculates the XRD patterns of tailor-made multilayers and thus enables quantitative comparison of measured and calculated XRD data. As the multilayers are constructed layer by layer, the final material stack can be entirely arbitrary.
Using FOCUS to solve zeolite structures from three-dimensional electron diffraction data
2013
The programFOCUS[Grosse-Kunstleve, McCusker & Baerlocher (1997).J. Appl. Cryst.30, 985–995] was originally developed to solve zeolite structures from X-ray powder diffraction data. It uses zeolite-specific chemical information (three-dimensional 4-connected framework structure with known bond distances and angles) to supplement the diffraction data. In this way, it is possible to compensate, at least in part, for the ambiguity of the reflection intensities resulting from reflection overlap, and the program has proven to be quite successful. Recently, advances in electron microscopy have led to the development of automated diffraction tomography (ADT) and rotation electron diffraction (R…
Minimal forbidden words and symbolic dynamics
1996
We introduce a new complexity measure of a factorial formal language L: the growth rate of the set of minimal forbidden words. We prove some combinatorial properties of minimal forbidden words. As main result we prove that the growth rate of the set of minimal forbidden words for L is a topological invariant of the dynamical system defined by L.
Collection Principles in Dependent Type Theory
2002
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic rules that correspond to the collection axiom schemes of the constructive set theory CZF we obtain a generalisation of the type theoretic interpretation of CZF. Suitable logic-enriched type theories allow also the study of reinterpretations of logic. We end the paper with an application to the double-negation interpretation.
Subgroups of $$SF(\omega )$$ S F ( ω ) and the relation of almost containedness
2016
The relations of almost containedness and orthogonality in the lattice of groups of finitary permutations are studied in the paper. We define six cardinal numbers naturally corresponding to these relations by the standard scheme of $$P(\omega )$$P(ź). We obtain some consistency results concerning these numbers and some versions of the Ramsey theorem.
Counting in the Two Variable Guarded Logic with Transitivity
2005
We show that the extension of the two-variable guarded fragment with transitive guards (GF+TG) by functionality statements is undecidable. This gives immediately undecidability of the extension of GF+TG by counting quantifiers. The result is optimal, since both the three-variable fragment of the guarded fragment with counting quantifiers and the two-variable guarded fragment with transitivity are undecidable. We also show that the extension of GF+TG with functionality, where functional predicate letters appear in guards only, is decidable and of the same complexity as GF+TG. This fragment captures many expressive modal and description logics.
Tevatron Run II combination of the effective leptonic electroweak mixing angle
2018
The Ministry of Science and Innovation and the Consolider-Ingenio 2010 Program and the European Union community Marie Curie Fellowship Contract No. 302103.
Prescription drug use during pregnancy in France: a study from the national health insurance permanent sample.
2017
International audience; PurposeTo provide an up-to-date account of drug prescription during pregnancy in France from 2011 to 2014 using the permanent sample of the French national computerized healthcare database and with a focus on recommended supplementations, fetotoxic drugs and teratogenic drugs.MethodsAll pregnancies identified by the International Classification of Diseases, 10th Revision codes list in the hospitalization database, lasting more than 9 weeks of amenorrhea and whose delivery occurred between 01/01/2011 and 12/31/2014, were included. Drugs delivered between the trimester before and until the end of the pregnancy were included. Drug exposure prevalence was calculated for …