Viscous and Viscoelastic Behavior of 1,3,5-tri-alpha-naphthyl Benzene

Torsional creep and creep recovery behavior of organic liquid

Hindcasting of hurricane characteristics and observed storm damage on a fringing reef, Jamaica, West Indies

Hurricane Allen is one of the most severe hurricanes on record and caused extensive damage throughout the Caribbean in early August 1980. Coral reefs along the north coast of Jamaica were devastated by the hurricane-induced waves. As in the case of most hurricanes, no wave measurements were made. We have computed the wind field and hindcast the deep water wave characteristics as the storm impacted the fringing reef at Discovery Bay on the north central coast of Jamaica. The deep water waves propagated into shallow water on the forereef and transformed as a result of shoaling and refraction. We found that significant wave height at a given time varied by a factor of 2.6 and that incident wave power for the duration of the storm varied by a factor of 7 along a 3 km section of the Discovery Bay forereef due to variations in local bathymetry. Maximum hindcast breakers reached a height of 11.5 m with a significant wave period of 10.5 s. Observations of the most intense reef damage coincided with areas on the eastern forereef experiencing the highest breakers. We speculate that the degree of reef damage is a function of how much time has elapsed since the previous storm rather than frequency of hurricanes at a locality

Verifying Heap-Manipulating Programs with Unknown Procedure Calls

10.1007/978-3-642-16901-4_13Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6447 LNCS171-18

Using Artificial Intelligence to Identify Perpetrators of Technology Facilitated Coercive Control.

This study investigated the feasibility of using Artificial Intelligence to identify perpetrators of coercive control through digital data held on mobile phones. The research also sought the views of the police and victim/survivors of domestic abuse to using technology in this way

Cell-Type-Specific Recruitment of Amygdala Interneurons to Hippocampal Theta Rhythm and Noxious Stimuli In Vivo

Neuronal synchrony in the basolateral amygdala (BLA) is critical for emotional behavior. Coordinated theta-frequency oscillations between the BLA and the hippocampus and precisely timed integration of salient sensory stimuli in the BLA are involved in fear conditioning. We characterized GABAergic interneuron types of the BLA and determined their contribution to shaping these network activities. Using in vivo recordings in rats combined with the anatomical identification of neurons, we found that the firing of BLA interneurons associated with network activities was cell type specific. The firing of calbindin-positive interneurons targeting dendrites was precisely theta-modulated, but other cell types were heterogeneously modulated, including parvalbumin-positive basket cells. Salient sensory stimuli selectively triggered axo-axonic cells firing and inhibited firing of a disctinct projecting interneuron type. Thus, GABA is released onto BLA principal neurons in a time-, domain-, and sensory-specific manner. These specific synaptic actions likely cooperate to promote amygdalo-hippocampal synchrony involved in emotional memory formation

SOME ABSTRACT PROPERTIES OF SEMIGROUPS APPEARING IN SUPERCONFORMAL THEORIES

A new type of semigroups which appears while dealing with $N=1$ superconformal symmetry in superstring theories is considered. The ideal series having unusual abstract properties is constructed. Various idealisers are introduced and studied. The ideal quasicharacter is defined. Green's relations are found and their connection with the ideal quasicharacter is established.Comment: 11 page

Snowmass 2001: Jet Energy Flow Project

Conventional cone jet algorithms arose from heuristic considerations of LO hard scattering coupled to independent showering. These algorithms implicitly assume that the final states of individual events can be mapped onto a unique set of jets that are in turn associated with a unique set of underlying hard scattering partons. Thus each final state hadron is assigned to a unique underlying parton. The Jet Energy Flow (JEF) analysis described here does not make such assumptions. The final states of individual events are instead described in terms of flow distributions of hadronic energy. Quantities of physical interest are constructed from the energy flow distribution summed over all events. The resulting analysis is less sensitive to higher order perturbative corrections and the impact of showering and hadronization than the standard cone algorithms.Comment: REVTeX4, 13 pages, 6 figures; Contribution to the P5 Working Group on QCD and Strong Interactions at Snowmass 200

MICROMEGAS chambers for hadronic calorimetry at a future linear collider

Prototypes of MICROMEGAS chambers, using bulk technology and analog readout, with 1x1cm2 readout segmentation have been built and tested. Measurements in Ar/iC4H10 (95/5) and Ar/CO2 (80/20) are reported. The dependency of the prototypes gas gain versus pressure, gas temperature and amplification gap thickness variations has been measured with an 55Fe source and a method for temperature and pressure correction of data is presented. A stack of four chambers has been tested in 200GeV/c and 7GeV/c muon and pion beams respectively. Measurements of response uniformity, detection efficiency and hit multiplicity are reported. A bulk MICROMEGAS prototype with embedded digital readout electronics has been assembled and tested. The chamber layout and first results are presented

Predicate Abstraction for Linked Data Structures

We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often require that the programmer annotate the behavior of each procedure, for example, in the form of loop invariants and pre- and post-conditions. Predicate abstraction would be an attractive abstract domain for performing invariant inference, existing techniques are not able to reason about the heap with enough precision to verify functional properties of data structure manipulating programs. In this paper, we propose a technique that lifts predicate abstraction to the heap by factoring the analysis of data structures into two orthogonal components: (1) Alias Types, which reason about the physical shape of heap structures, and (2) Refinement Types, which use simple predicates from an SMT decidable theory to capture the logical or semantic properties of the structures. We prove ART sound by translating types into separation logic assertions, thus translating typing derivations in ART into separation logic proofs. We evaluate ART by implementing a tool that performs type inference for an imperative language, and empirically show, using a suite of data-structure benchmarks, that ART requires only 21% of the annotations needed by other state-of-the-art verification techniques