Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

In program development it is useful to know that a call to a Prolog program will not inadvertently leave a choice-point on the stack. Determinacy inference has been proposed for solving this problem yet the analysis was found to be wanting in that it could not infer determinacy conditions for programs that contained cuts or applied certain tests to select a clause. This paper shows how to remedy these serious deficiencies. It also addresses the problem of identifying those predicates which can be rewritten in a more deterministic fashion. To this end, a radically new form of determinacy inference is introduced, which is founded on ideas in ccp, that is capable of reasoning about the way bindings imposed by a rightmost goal can make a leftmost goal deterministic

High-Efficiency p-i-n Photodetectors on Selective-Area-Grown Ge for Monolithic Integration

Cataloged from PDF version of article.We demonstrate normal incidence p-i-n photodiodes on selective-area-grown Ge using multiple hydrogen annealing for heteroepitaxy for the purpose of monolithic integration. An enhanced efficiency in the near-infrared regime and the absorption edge shifting to longer wavelength is achieved due to 0.14% residual tensile strain in the selective-area-grown Ge. The responsivities at 1.48, 1.525, and 1.55 μm are 0.8, 0.7, and 0.64 A/W, respectively, without an optimal antireflection coating. These results are promising toward monolithically integrated on-chip optical links and in telecommunications

Phase diagram and upper critical field of homogenously disordered epitaxial 3-dimensional NbN films

We report the evolution of superconducting properties with disorder, in 3-dimensional homogeneously disordered epitaxial NbN thin films. The effective disorder in NbN is controlled from moderately clean limit down to Anderson metal-insulator transition by changing the deposition conditions. We propose a phase diagram for NbN in temperature-disorder plane. With increasing disorder we observe that as kFl-->1 the superconducting transition temperature (Tc) and minimum conductivity (sigma_0) go to zero. The phase diagram shows that in homogeneously disordered 3-D NbN films, the metal-insulator transition and the superconductor-insulator transition occur at a single quantum critical point at kFl~1.Comment: To appear in Journal of Superconductivity and Novel Magnetism (ICSM2010 proceedings

The Glasgow-Maastricht foot model, evaluation of a 26 segment kinematic model of the foot

BACKGROUND: Accurately measuring of intrinsic foot kinematics using skin mounted markers is difficult, limited in part by the physical dimensions of the foot. Existing kinematic foot models solve this problem by combining multiple bones into idealized rigid segments. This study presents a novel foot model that allows the motion of the 26 bones to be individually estimated via a combination of partial joint constraints and coupling the motion of separate joints using kinematic rhythms. METHODS: Segmented CT data from one healthy subject was used to create a template Glasgow-Maastricht foot model (GM-model). Following this, the template was scaled to produce subject-specific models for five additional healthy participants using a surface scan of the foot and ankle. Forty-three skin mounted markers, mainly positioned around the foot and ankle, were used to capture the stance phase of the right foot of the six healthy participants during walking. The GM-model was then applied to calculate the intrinsic foot kinematics. RESULTS: Distinct motion patterns where found for all joints. The variability in outcome depended on the location of the joint, with reasonable results for sagittal plane motions and poor results for transverse plane motions. CONCLUSIONS: The results of the GM-model were comparable with existing literature, including bone pin studies, with respect to the range of motion, motion pattern and timing of the motion in the studied joints. This novel model is the most complete kinematic model to date. Further evaluation of the model is warranted

Excess Higgs Production in Neutralino Decays

The ATLAS and CMS experiments have recently claimed discovery of a Higgs boson-like particle at ~5 sigma confidence and are beginning to test the Standard Model predictions for its production and decay. In a variety of supersymmetric models, a neutralino NLSP can decay dominantly to the Higgs and the LSP. In natural SUSY models, a light third generation squark decaying through this chain can lead to large excess Higgs production while evading existing BSM searches. Such models can be observed at the 8 TeV LHC in channels exploiting the rare diphoton decays of the Higgs produced in the cascade decay. Identifying a diphoton resonance in association with missing energy, a lepton, or b-tagged jets is a promising search strategy for discovery of these models, and would immediately signal new physics involving production of a Higgs boson. We also discuss the possibility that excess Higgs production in these SUSY decays can be responsible for enhancements of up to 50% over the SM prediction for the observed rate in the existing inclusive diphoton searches, a scenario which would likely by the end of the 8 TeV run be accompanied by excesses in the diphoton + lepton/MET and SUSY multi-lepton/b searches and a potential discovery in a diphoton + 2b search.Comment: 42 pages, 19 figure

Endoscopic Management of Perforation of Right Hepatic Duct Following Non-Surgical Abdominal Trauma

Isolated bile duct injuries after blunt abdominal trauma are rare. Surgery is the usual mode of treatment. We report a patient with a right hepatic duct injury following blunt abdominal trauma who was managed successfully by endoscopic papillotomy

Utilisation of High Energy Propellant Waste in Manufacturing of Fired Clay Bricks to Enhance the Acoustic Properties

The disposal and waste management of solid high energy propellant (HEP) is a considerate conservational problem. HEP waste is currently disposed in open or confined burning which may cause environmental hazards. In this paper, we examined and discussed results on recycling of HEP waste into fired clay bricks baked in different orientation. HEP modified bricks with 1.5%, 3% and 5 wt. % HEP waste content were manufactured and tested, and then compared against virgin clay bricks without HEP content. The effect of directional orientation of bricks baked with varying HEP content on acoustic properties were experimented and discussed. The sound transmission loss decreases with increase in HEP waste due to formation of independently closed directional pores. The transmission loss of horizontally baked during firing of bricks is nearly 5dB lower than vertically baked bricks. Results of the experimental studies indicate that HEP waste can be utilised in fired clay bricks and different orientation baking further enhances the acoustic properties

Study on High Energy Propellant Waste in the Processing of Fired Clay Bricks

Utilisation of propellant waste in fabrication of bricks is not only used as efficient waste disposal method but also to get better functional properties. In the present study, high energy propellant (HEP) waste additive mixed with soil and fly ash in different proportions during manufacturing of bricks has been investigated experimentally. X-ray diffraction (XRD) studies were carried out to confirm the brick formation and the effect of HEP waste. Ceramic bricks were fabricated with HEP waste additive in proper proportions i.e. 0.5 wt %, 1.0 wt %, 1.5 wt %, 2.0 wt %, 2.5 wt %, 3 wt %, 3.5 wt %, and 4 wt % and then evaluated for water absorption capability and compressive strength. Compressive strength of 6.7 N/mm2, and Water absorption of 22 % have been observed from modified fired bricks impregnated with HEM waste additive. Scanning electron microscopy (SEM) studies were carried out to analyze the effect of HEP waste additive on pore formation and distribution in the bricks. Further, the heat resulting from decomposition of propellants can cause a decrease in the energy required of baking process. The process of manufacturing of bricks with HEP waste additive is first of its kind till date

Physics at a 100 TeV pp collider: beyond the Standard Model phenomena

This report summarises the physics opportunities in the search and study of physics beyond the Standard Model at a 100 TeV pp collider.Comment: 196 pages, 114 figures. Chapter 3 of the "Physics at the FCC-hh" Repor