Heart catheter cable and connector

Ultraminiature catheter cables that are stiff enough for intravenous insertion yet flexible at the tip, sterilizable, and economical are fabricated entirely from commercially available parts. Assembly includes air passageway for reference pressures and coaxial cable for transmission of signals from the tip of catheter

A Graphical Language for Proof Strategies

Complex automated proof strategies are often difficult to extract, visualise, modify, and debug. Traditional tactic languages, often based on stack-based goal propagation, make it easy to write proofs that obscure the flow of goals between tactics and are fragile to minor changes in input, proof structure or changes to tactics themselves. Here, we address this by introducing a graphical language called PSGraph for writing proof strategies. Strategies are constructed visually by "wiring together" collections of tactics and evaluated by propagating goal nodes through the diagram via graph rewriting. Tactic nodes can have many output wires, and use a filtering procedure based on goal-types (predicates describing the features of a goal) to decide where best to send newly-generated sub-goals. In addition to making the flow of goal information explicit, the graphical language can fulfil the role of many tacticals using visual idioms like branching, merging, and feedback loops. We argue that this language enables development of more robust proof strategies and provide several examples, along with a prototype implementation in Isabelle

Behaviour change at work: Empowering energy efficiency in the workplace through user-centred design

Copyright @ 2011 University of California eScholarship RepositoryCO2 emissions from non-domestic buildings - primarily workplaces - make up 18 percent of the UK's carbon footprint. A combination of technology advances and behavioural changes have the potential to make significant impact, but interventions have often been planned in ways which do not take into account the needs, levels of understanding and everyday behavioural contexts of building users - and hence do not achieve the hoped-for success.This paper provides a brief introduction to the Empower project, a current industrial-academic collaboration in the UK which is applying methods from user-centred design practice to understand diverse users' needs, priorities, mental models of energy and decision-making heuristics - as well as the affordances available to them - in a number of office buildings. We are developing and trialling a set of low-cost, simple software interventions tailored to multiple user groups with different degrees of agency over their energy use, which seek to influence more energy efficient behaviour at work in areas such as HVAC, lighting and equipment use. The project comprises an ethnographic research phase, a participatory design programme involving building users in the design of interventions, and iterative trials in a large office building in central London

Theoretical investigation of magnetoelectric effects in Ba2CoGe2O7

A joint theoretical approach, combining macroscopic symmetry analysis with microscopic methods (density functional theory and model cluster Hamiltonian), is employed to shed light on magnetoelectricity in Ba2CoGe2O7. We show that the recently reported experimental trend of polarization guided by magnetic field can be predicted on the basis of phenomenological Landau theory. From the microscopic side, Ba2CoGe2O7 emerges as a prototype of a class of magnetoelectrics, where the cross coupling between magnetic and dipolar degrees of freedom needs, as main ingredients, the on-site spin-orbit coupling and the spin-dependent O p - Co d hybridization, along with structural constraints related to the noncentrosymmetric structural symmetry and the peculiar configuration of CoO4 tetrahedrons.Comment: 5 pages, 4 figures, submitted for publicatio

A Check-list of the Bats (Chiroptera) of Kenya colony

Volume: XXII

A Computer Method for Calculation of the Complete and Incomplete Elliptic Integrals of the Third Kind

Numerical approximations and a Fortran IV program are given for the calculation by an IBM 7090 computer of the complete and incomplete elliptic integrals of the third kind. In its present form results are limited to six decimal places, but the method is valid for all values of amplitude φ, modulus k and real values of the parameter a^2. For the purpose of completeness, adaptations of other programs for complete and incomplete elliptic integrals of the first and second kind are also presented

Study of Chromium-Frit-Type Coatings for High-Temperature Protection of Molybdenum

The achievement of more compact and efficient power plants for aircraft is dependent, among other factors, on the perfection of heat-resisting materials that are superior to those in current use. Molybdenum is one of the high-melting metals (melting point, 4750 F). It is fairly abundant and also can be worked into many of the shapes required in modern power plants. To permit its widespread use at elevated temperatures, however, some means must first be found to prevent its rapid oxidation. The application of a protective coating is one method that might be used to achieve this goal. In the present work, a number of chromium-frit-type coatings were studied. These were bonded to molybdenum specimens by firing in controlled atmospheres to temperatures in the range of 2400 to 2700 F

Evaluation of the cardiovascular system during various circulatory stresses Progress report, 1 Sep. 1968 - 1 May 1969

Cardiac response to chemotherapy after myocardial infraction and diagnostic methods of heart disease in man and animal

The development of structural adhesive systems suitable for use with liquid oxygen Annual summary report, 1 Jul. 1964 - 30 Jun. 1965

Preparation and testing of adhesive polyurethanes, polycarbonates, and other highy halogenated polymers for liquid oxygen compatibilit