2014 The rupture problem in a disordered system is investigated through numerical simulations and experiments in a discrete fusewire network. Statistical results on the current distribution and the maximum current as a function of the density of defects in the network are compared with theoretical interpretations. Specific defect interactions (enhancement and screening effects) are emphasized. ...

This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 770 of 776 test programs. It is the most complete and thoroughly tested formal definition of C to date. The semantics yields an interpreter, debugger, state space search tool, and model checker “for free”. The semantics i...

1 Parque Tecnológico de Belo Horizonte, Rua Professor José Vieira de Mendonça N 770, Salas 406 e 407, Engenho Nogueira, 31310-260 Belo Horizonte, MG, Brazil 2 Departamento Regional da Bahia, Centro Integrado de Manufatura e Tecnologia, SENAI, Avenida Orlando Gomes N 1845, Piatã, 41650-010 Salvador, BA, Brazil 3 Departamento de Electromagnetismo y Fı́sica de la Materia Facultad de Ciencias, Unive...

Tissue Damage Precludes the Use of the Everted Sleeve Technique to Measure Nutrient Uptake in a Small Migratory Shorebird, the Western Sandpiper ( Calidris mauri ) Author(s): R. Will Stein and Tony D. Williams Source: Physiological and Biochemical Zoology, Vol. 76, No. 5 (September/October 2003), pp. 762-770 Published by: The University of Chicago Press. Sponsored by the Division of Comparative...

Recent results on ρ(770), K(892), f0(980), φ(1020), ∆(1232) , and Λ(1520) production in A+A and p + p collisions at SPS and RHIC energies are presented. These resonances are measured via their hadronic decay channels and used as a sensitive tool to examine the collision dynamics in the hadronic medium through their decay and regeneration. The modification of resonance mass, width, and shape due...

Theatrical performances usually follow strict scripts and actors are not allowed to deviate. A Danish theatrical group, Theater 770◦ Celsius, has invented a new method called In Real Life, in which only certain events in the storyline are specified and the actors are supposed to improvise to reach these events. The method bears a resemblance to multi-agent systems and we show how it can be form...

Velocity modulation spectroscopy has been investigated in the terahertz region, employing pure rotational transitions of ArH and rotation-tunneling transitions of H3O + to study the competition between pressure broadening and Doppler broadening on the lineshapes, neutral suppression, and modulation efficiency. Velocity modulation is demonstrated to be effective to frequencies as low as 60 cm , ...

1 Department of Pharmacology and 2 Department of Anaesthesiology, Institute of Health Biosciences, The University of Tokushima Graduate School, 3-18-15 Kuramoto, Tokushima 770-8503, Japan 3 Department of Anaesthesiology, National Hospital Organization Kochi National Hospital, 1-2-25 Asakuranishi, Kochi 780-8077, Japan 4 Management Center for Mental and Physical Health, Naruto University of Educ...