نتایج جستجو برای: conn

تعداد نتایج: 1603  

2012
Stephen I. Deutsch Jessica A. Burket Maria R. Urbano Amy L. Herndon Erin E. Winebarger

Impaired sociability is a domain of psychopathology that contributes significantly to the functional disability and poor quality of life of persons with Autism Spectrum Disorders (ASDs) (Brodkin, 2007; Crawley, 2004, 2007; Deutsch et al., 2011). Although cognitive functioning may influence the expression of impaired sociability, the relationship between cognitive deficits and impaired sociabili...

2016
Yuxin Peng Jie Cao Li Liu Haoyong Yu

2006). Flapping wing MAVs (FWMAVs) are a class of new conceptual MAVs that take design cues from flying insects in order to achieve a small size (<3–5 cm), high maneuverability and super remote ability (Yan et al. 2015). A FWMAV is expected to work in a variety of confined spaces such as urban canyons, caves, indoors, and jungles that large flying robots can’t be serviceable. To achieve such ta...

Journal: :The British journal of venereal diseases 1974
V N Sehgal V L Rege

The Treponema pallidum is capable of involving almost all the structures of the body, some commonly and others rarely. The skin is often affected, but the thick crusted ulcerative lesions of malignant syphilis (syphilis maligna praecox) are rare (Lejman and Starzycki, 1972). Hepatitis due to early syphilis has seldom been reported in recent years (Baker, Kaplan, Wolfe, and McGowan, 1971; Lee, T...

1986
Concettina Guerra Rami G. Melhem

In this paper we propose a method to derive systolic designs with non-uniform data flow. One of the major difficulties in systematic design is in transforming the original sequential specification of a problem into a Conn suitable [0 VLSI implementation. Our approach [Q auromatically restructuring a problem is based on a subset of me data dependencies eXITacted from the original problem specifi...

Journal: :SIAM Journal on Optimization 2011
Stefan M. Wild Christine A. Shoemaker

We analyze globally convergent derivative-free trust region algorithms relying on radial basis function interpolation models. Our results extend the recent work of Conn, Scheinberg, and Vicente to fully linear models that have a nonlinear term. We characterize the types of radial basis functions that fit in our analysis and thus show global convergence to first-order critical points for the ORB...

Journal: :JEMS : a journal of emergency medical services 2013
E Reed Smith John B Delaney

The tragedies in Aurora, Colo., Newtown, Conn., and most recently at the Navy Yard in Washington, D.C., add to the growing epidemic of mass killings in our society. Such events have brought to light the real risk—and absolute horror—of what law enforcement and Fire/EMS responders must be prepared to face. These events have spawned initiatives and opened conversations at high levels of governmen...

2013
Cindy H. Nakatsu Ravi Barabote Sue Thompson David Bruce Chris Detter Thomas Brettin Cliff Han Federico Beasley Weimin Chen Allan Konopka Gary Xie

Arthrobacter sp. strain FB24 is a species in the genus Arthrobacter Conn and Dimmick 1947, in the family Micrococcaceae and class Actinobacteria. A number of Arthrobacter genome sequences have been completed because of their important role in soil, especially bioremediation. This isolate is of special interest because it is tolerant to multiple metals and it is extremely resistant to elevated c...

1992
Laurent THERY Yves BERTOT Gilles KAHN Yves Bertot Gilles Kahn

{This paper explains how to add a modern user interface to existing theorem provers, using principles and tools designed for programming environments. Une strat egie de construction d'interfaces utilisateur pour les syst emes de preuves assist ees par ordinateur R esum e { Cet article propose une m ethode pour ajouter une interface utilisateur moderne a un syst eme de preuves assist ees par ord...

2005
Niranjan Seshadri Samuel Z. Goldhaber Richard A. Grimm Alexander G. G. Turpie Allan L. Klein

The clinical challenge of bridging anticoagulation with low-molecular-weight heparin in patients with mechanical prosthetic heart valves: An evidence-based comparative review focusing on anticoagulation options in pregnant and nonpregnant patients Niranjan Seshadri, MD, Samuel Z. Goldhaber, MD, FACC, Uri Elkayam, MD, FACC, Richard A. Grimm, DO, FACC, James B. Groce III, PharmD, John A. Heit, MD...

Journal: :SIAM Journal on Optimization 1995
Lorenz T. Biegler Jorge Nocedal Claudia Schmid David Ternet

We propose a quasi-Newton algorithm for solving large optimization problems with nonlinear equality constraints. It is designed for problems with few degrees of freedom, and is motivated by the need to use sparse matrix factorizations. The algorithm incorporates a correction vector that approximates the cross term Z^WYpy in order to estimate the curvature in both the range and null spaces of th...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید