474 research outputs found
Beryllium fastener technology
Program was conducted to develop, produce, and test optimum-configuration, beryllium prestressed and blind fasteners. The program was carried out in four phases - phase 1, feasibility study, phase 2, development, phase 3, evaluation of beryllium alloys, and phase 4, fabrication and testing
A supraomohyoidal plexus block designed to avoid complications
Interscalene blocks of the brachial plexus are used for surgery of the shoulder and are frequently associated with complications such as temporary phrenic block, Horner syndrome or hematoma. To minimize the risk of these complications, we developed an approach that avoids medially directed needle advancement and favors spread to lateral regions only: the supraomohyoidal block. We tested this procedure in 11 cadavers fixed by Thiel's method. The insertion site is at the lateral margin of the sternocleidomastoid muscle at the level of the cricoid cartilage. The needle is inserted in the axis of the plexus with an angle of approximately 35° to the skin, and advanced in lateral and caudal direction. Distribution of solution was determined in ten cadavers after bilateral injection of colored solution (20 and 30ml) and followed by dissection. In an eleventh cadaver, computerized tomography and 3D reconstruction after radio contrast injection was performed. In additional five cadavers we performed Winnie's technique with bilateral injection (20 and 30ml).Concerning the supraomohyoidal block the injection mass reached the infraclavicular region surrounded all trunks of the brachial plexus in the supraclavicular region and the suprascapular nerve in all cases. The solution did not spread medially beyond the lateral margin of the anterior scalene muscle into the scalenovertebral triangle. Therefore, phrenic nerve, stellate ganglion, laryngeal nerve nor the vertebral artery were exposed to the injected solution. Distribution was comparable with the use of 20 and 30ml of solution. Injections on five cadavers performing the interscalene block of Winnie resulted in an extended spread medially to the anterior scalene muscle.We conclude that our method may be a preferred approach due to its safety, because no structures out of interest were reached. Solution of 20ml is suggested to be enough for a successful bloc
Divergence in Dialogue
Copyright: 2014 Healey et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.This work was supported by the Economic and Social Research Council (ESRC; http://www.esrc.ac.uk/) through the DynDial project (Dynamics of Conversational Dialogue, RES-062-23-0962) and the Engineering and Physical Sciences Research Council (EPSRC; http://www.epsrc.ac.uk/) through the RISER
project (Robust Incremental Semantic Resources for Dialogue, EP/J010383/1). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript
Effect of Intraduodenal Bile and Na-Taurodeoxycholate on Exocrine Pancreatic Secretion and on Plasma Levels of Secretin, Pancreatic Polypeptide, and Gastrin in Man
The effect of intraduodenally administered cattle bile (CB) and Na-taurodeoxycholate (TDC) on basal pancreatic secretion and plasma levels of secretin, pancreatic polypeptide (PP), and gastrin were investigated on two separate days in 10 fasting volunteers. Doses of 2-6 g CB and 20&600 mg TDC were given intraduodenally at 65-min intervals. Volume, bicarbonate, lipase, trypsin, amylase, and bilirubin were measured in 10-min fractions of duodenal juice, and GI peptides determined by radioimmunoassay. CB and TDC enhanced significantly and dose-dependently volume, bicarbonate and enzyme secretion, and plasma secretin and PP levels. In contrast, plasma gastrin showed only a marginal increase. We conclude that the hydrokinetic effect of intraduodenal CB and TDC is at least partially mediated by secretin. Gastrin could be ruled out as a mediator of the ecbolic effect, whereas other GI peptides, primarily CCK, and/or neural mechanisms must be considered possible mediators. Both pathways may also play a role in the PP release
Software Model Checking with Explicit Scheduler and Symbolic Threads
In many practical application domains, the software is organized into a set
of threads, whose activation is exclusive and controlled by a cooperative
scheduling policy: threads execute, without any interruption, until they either
terminate or yield the control explicitly to the scheduler. The formal
verification of such software poses significant challenges. On the one side,
each thread may have infinite state space, and might call for abstraction. On
the other side, the scheduling policy is often important for correctness, and
an approach based on abstracting the scheduler may result in loss of precision
and false positives. Unfortunately, the translation of the problem into a
purely sequential software model checking problem turns out to be highly
inefficient for the available technologies. We propose a software model
checking technique that exploits the intrinsic structure of these programs.
Each thread is translated into a separate sequential program and explored
symbolically with lazy abstraction, while the overall verification is
orchestrated by the direct execution of the scheduler. The approach is
optimized by filtering the exploration of the scheduler with the integration of
partial-order reduction. The technique, called ESST (Explicit Scheduler,
Symbolic Threads) has been implemented and experimentally evaluated on a
significant set of benchmarks. The results demonstrate that ESST technique is
way more effective than software model checking applied to the sequentialized
programs, and that partial-order reduction can lead to further performance
improvements.Comment: 40 pages, 10 figures, accepted for publication in journal of logical
methods in computer scienc
Automated Generation of User Guidance by Combining Computation and Deduction
Herewith, a fairly old concept is published for the first time and named
"Lucas Interpretation". This has been implemented in a prototype, which has
been proved useful in educational practice and has gained academic relevance
with an emerging generation of educational mathematics assistants (EMA) based
on Computer Theorem Proving (CTP).
Automated Theorem Proving (ATP), i.e. deduction, is the most reliable
technology used to check user input. However ATP is inherently weak in
automatically generating solutions for arbitrary problems in applied
mathematics. This weakness is crucial for EMAs: when ATP checks user input as
incorrect and the learner gets stuck then the system should be able to suggest
possible next steps.
The key idea of Lucas Interpretation is to compute the steps of a calculation
following a program written in a novel CTP-based programming language, i.e.
computation provides the next steps. User guidance is generated by combining
deduction and computation: the latter is performed by a specific language
interpreter, which works like a debugger and hands over control to the learner
at breakpoints, i.e. tactics generating the steps of calculation. The
interpreter also builds up logical contexts providing ATP with the data
required for checking user input, thus combining computation and deduction.
The paper describes the concepts underlying Lucas Interpretation so that open
questions can adequately be addressed, and prerequisites for further work are
provided.Comment: In Proceedings THedu'11, arXiv:1202.453
Long-term ecological research in a human-dominated world
Author Posting. © American Institute of Biological Sciences, 2012. This article is posted here by permission of American Institute of Biological Sciences for personal use, not for redistribution. The definitive version was published in BioScience 62 (2012): 342-253, doi:10.1525/bio.2012.62.4.6.The US Long Term Ecological Research (LTER) Network enters its fourth decade with a distinguished record of achievement in ecological science. The value of long-term observations and experiments has never been more important for testing ecological theory and for addressing today's most difficult environmental challenges. The network's potential for tackling emergent continent-scale questions such as cryosphere loss and landscape change is becoming increasingly apparent on the basis of a capacity to combine long-term observations and experimental results with new observatory-based measurements, to study socioecological systems, to advance the use of environmental cyberinfrastructure, to promote environmental science literacy, and to engage with decisionmakers in framing major directions for research. The long-term context of network science, from understanding the past to forecasting the future, provides a valuable perspective for helping to solve many of the crucial environmental problems facing society today.2012-10-0
Применение информационных технологий и этические нюансы в управлении массовым сознанием
This paper discusses the current value of information technology in our lives, as well as their application to control the mass consciousness
- …