Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries

Lie group theory states that knowledge of a $m$-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by $m$ the number of equations. We apply this principle by finding some \emph{affine derivations} that induces \emph{expanded} Lie point symmetries of considered system. By rewriting original problem in an invariant coordinates set for these symmetries, we \emph{reduce} the number of involved parameters. We present an algorithm based on this standpoint whose arithmetic complexity is \emph{quasi-polynomial} in input's size.Comment: Before analysing an algebraic system (differential or not), one can generally reduce the number of parameters defining the system behavior by studying the system's Lie symmetrie

Information ontrol and the exercise of power in the obstetrical encounter

Interactions between doctor and patient involve participants with unequal power and possibly different interests. While a number of studies have focused upon the doctor/patient relationship, few have examined the utility of the concept of power and its capacity to help us understand the outcome of these interactions. The information sought by pregnant women from their obstetricians is used to provide a case study of one conceptualization and test of the utility of the concept of power. Pregnant women and their obstetricians are found to have different perceptions of the information that should be exchanged during their interactions. Women generally fail to obtain the information they want. Lower social class patients desire more and obtain less information than their higher status counterparts

Statistical Multifragmentation of Non-Spherical Expanding Sources in Central Heavy-Ion Collisions

We study the anisotropy effects measured with INDRA at GSI in central collisions of Xe+Sn at 50 A.MeV and Au+Au at 60, 80, 100 A.MeV incident energy. The microcanonical multifragmentation model with non-spherical sources is used to simulate an incomplete shape relaxation of the multifragmenting system. This model is employed to interpret observed anisotropic distributions in the fragment size and mean kinetic energy. The data can be well reproduced if an expanding prolate source aligned along the beam direction is assumed. An either non-Hubblean or non-isotropic radial expansion is required to describe the fragment kinetic energies and their anisotropy. The qualitative similarity of the results for the studied reactions suggests that the concept of a longitudinally elongated freeze-out configuration is generally applicable for central collisions of heavy systems. The deformation decreases slightly with increasing beam energy.Comment: 35 pages, 19 figures, submitted to Nuclear Physics

Groupwise Structural Parcellation of the Cortex: A Sound Approach Based on Logistic Models

International audienceCurrent theories hold that brain function is highly related with long-range physical connections through axonal bundles, namely extrinsic connectivity. However, obtaining a groupwise cortical parcella-tion based on extrinsic connectivity remains challenging. Current par-cellation methods are computationally expensive; need tuning of several parameters or rely on ad-hoc constraints. Furthermore, none of these methods present a model for the cortical extrinsic connectivity. To tackle these problems, we propose a parsimonious model for the extrinsic con-nectivity and an efficient parcellation technique based on clustering of tractograms. Our technique allows the creation of single subject and groupwise parcellations of the whole cortex. The parcellations obtained with our technique are in agreement with anatomical and functional par-cellations in the literature. In particular, the motor and sensory cortex are subdivided in agreement with the human homunculus of Penfield. We illustrate this by comparing our resulting parcels with an anatomical atlas and the motor strip mapping included in the Human Connectome Project data

Sound Control-Flow Graph Extraction for Java Programs with Exceptions

We present an algorithm to extract control-flow graphs from Java bytecode, considering exceptional flows. We then establish its correctness: the behavior of the extracted graphs is shown to be a sound over-approximation of the behavior of the original programs. Thus, any temporal safety property that holds for the extracted control-flow graph also holds for the original program. This makes the extracted graphs suitable for performing various static analyses, in particular model checking. The extraction proceeds in two phases. First, we translate Java bytecode into BIR, a stack-less intermediate representation. The BIR transformation is developed as a module of Sawja, a novel static analysis framework for Java bytecode. Besides Sawja’s efficiency, the resulting intermediate representation is more compact than the original bytecode and provides an explicit representation of exceptions. These features make BIR a natural starting point for sound control-flow graph extraction. Next, we formally define the transformation from BIR to control-flow graphs, which (among other features) considers the propagation of uncaught exceptions within method calls. We prove the correctness of the two-phase extraction by suitably combining the properties of the two transformations with those of an idealized control-flow graph extraction algorithm, whose correctness has been proved directly. The control-flow graph extraction algorithm is implemented in the \textsc{ConFlEx} tool. A number of test-cases show the efficiency and the utility of the implementation

Superhard Phases of Simple Substances and Binary Compounds of the B-C-N-O System: from Diamond to the Latest Results (a Review)

The basic known and hypothetic one- and two-element phases of the B-C-N-O system (both superhard phases having diamond and boron structures and precursors to synthesize them) are described. The attention has been given to the structure, basic mechanical properties, and methods to identify and characterize the materials. For some phases that have been recently described in the literature the synthesis conditions at high pressures and temperatures are indicated.Comment: Review on superhard B-C-N-O phase

Critical Dynamics of Symmetry Breaking: Quenches, Dissipation and Cosmology

Symmetry-breaking phase transitions may leave behind topological defects \cite{Kibble} with a density dependent on the quench rate \cite{Zurek}. We investigate the dynamics of such quenches for the one-dimensional, Landau-Ginzburg case and show that the density of kinks, $n$, scales differently with the quench timescale, $\tau_Q$, depending on whether the dynamics in the vicinity of the critical point is overdamped ($n \propto \tau_Q^{-1/4}$) or underdamped ($n \propto \tau_Q^{-1/3}$). Either of these cases may be relevant to the early Universe, and we derive bounds on the initial density of topological defects in cosmological phase transitions.Comment: 5 pages, 4 Postscript figure

On the selection of AGN neutrino source candidates for a source stacking analysis with neutrino telescopes

The sensitivity of a search for sources of TeV neutrinos can be improved by grouping potential sources together into generic classes in a procedure that is known as source stacking. In this paper, we define catalogs of Active Galactic Nuclei (AGN) and use them to perform a source stacking analysis. The grouping of AGN into classes is done in two steps: first, AGN classes are defined, then, sources to be stacked are selected assuming that a potential neutrino flux is linearly correlated with the photon luminosity in a certain energy band (radio, IR, optical, keV, GeV, TeV). Lacking any secure detailed knowledge on neutrino production in AGN, this correlation is motivated by hadronic AGN models, as briefly reviewed in this paper. The source stacking search for neutrinos from generic AGN classes is illustrated using the data collected by the AMANDA-II high energy neutrino detector during the year 2000. No significant excess for any of the suggested groups was found.Comment: 43 pages, 12 figures, accepted by Astroparticle Physic