Fifth-order susceptibility unveils growth of thermodynamic amorphous order in glass-formers

Glasses are ubiquitous in daily life and technology. However the microscopic mechanisms generating this state of matter remain subject to debate: Glasses are considered either as merely hyper-viscous liquids or as resulting from a genuine thermodynamic phase transition towards a rigid state. We show that third- and fifth-order susceptibilities provide a definite answer to this longstanding controversy. Performing the corresponding high-precision nonlinear dielectric experiments for supercooled glycerol and propylene carbonate, we find strong support for theories based upon thermodynamic amorphous order. Moreover, when lowering temperature, we find that the growing transient domains are compact - that is their fractal dimension d_f = 3. The glass transition may thus represent a class of critical phenomena different from canonical second-order phase transitions for which d_f < 3.Comment: 9 pages, 3 figure

Diachronism in the late Neoproterozoic–Cambrian arc-rift transition of North Gondwana: a comparison of Morocco and the Iberian Ossa-Morena Zone

In the northwestern border of the West African craton (North Gondwana), a transition from late Neoproterozoic subduction/collision to Cambrian rift processes was recorded in the Anti-Atlas (Morocco) and in the Ossa-Morena Zone (Iberia). Cambrian rifting affected both Pan-African and Cadomian basements in a stepwise and diachronous way. Subsequently, both areas evolved into a syn-rift margin episodically punctuated by uplift and tilting that precluded Furongian sedimentation. A comparison of sedimentary, volcanic and geodynamic evolution is made in the late Neoproterozoic (Pan-African and Cadomian) belts and Cambrian rifts trying to solve the apparent diachronous (SW–NE-trending) propagation of an early Palaeozoic rifting regime that finally led to the opening of the Rheic Ocean

Generation of magnetic field by dynamo action in a turbulent flow of liquid sodium

We report the observation of dynamo action in the VKS experiment, i.e., the generation of magnetic field by a strongly turbulent swirling flow of liquid sodium. Both mean and fluctuating parts of the field are studied. The dynamo threshold corresponds to a magnetic Reynolds number Rm \sim 30. A mean magnetic field of order 40 G is observed 30% above threshold at the flow lateral boundary. The rms fluctuations are larger than the corresponding mean value for two of the components. The scaling of the mean square magnetic field is compared to a prediction previously made for high Reynolds number flows.Comment: 4 pages, 5 figure

Labelled Tableaux For Non-Normal Modal Logics

In this paper we show how to extend KEM, a tableaux-like proof system for normal modal logic, in order to deal with classes of non-normal modal logic, such as monotonic and regular, in a uniform and modular way

Development of an Evaluation Framework Suitable for Assessing Humanitarian Workforce Competencies During Crisis Simulation Exercises

The need to provide a professionalization process for the humanitarian workforce is well established. Current competency-based curricula provided by existing academically affiliated training centers in North America, the United Kingdom, and the European Union provide a route toward certification. Simulation exercises followed by timely evaluation is one way to mimic the field deployment process, test knowledge of core competences, and ensure that a competent workforce can manage the inevitable emergencies and crises they will face. Through a 2011 field-based exercise that simulated a humanitarian crisis, delivered under the auspices of the World Health Organization (WHO), a competency-based framework and evaluation tool is demonstrated as a model for future training and evaluation of humanitarian providers. CranmerH, ChanJ, KaydenS, MusaniA, GasquetP, WalkerP, BurkleF, JohnsonK. Development of an evaluation framework suitable for assessing humanitarian workforce competencies during crisis simulation exercises. Prehosp Disaster Med. 2014;29(1):1-

Automated Synthesis of Tableau Calculi

This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method guarantees that the generated rules form a calculus which is sound and constructively complete. If the logic can be shown to admit finite filtration with respect to a well-defined first-order semantics then adding a general blocking mechanism provides a terminating tableau calculus. The process of generating tableau rules can be completely automated and produces, together with the blocking mechanism, an automated procedure for generating tableau decision procedures. For illustration we show the workability of the approach for a description logic with transitive roles and propositional intuitionistic logic.Comment: 32 page

Obesity: A Biobehavioral Point of View

Excerpt: If you ask an overweight person, “Why are you fat?’, you will, almost invariably, get the answer, “Because 1 eat too much.” You will get this answer in spite of the fact that of thirteen studies, six find no significant differences in the caloric intake of obese versus nonobese subjects, five report that the obese eat significantly less than the nonobese, and only two report that they eat significantly more

Diabetes and Obesity-Related Risks for Pelvic Reconstructive Surgery in a Cohort of Swedish Twins

OBJECTIVE—To determine the diabetes- and obesity-related risks for surgically managed stress urinary incontinence and pelvic organ prolapse