Results 251 to 260 of about 663,677 (295)
Some of the next articles are maybe not open access.
Rigid unification by completion and rigid paramodulation
1994This paper addresses the problem of computing complete sets of rigid-E-unifiers, initially introduced by Gallier, Narendran, Plaisted and Snyder who gave a proof of its NP-completeness. Our algorithm is based on completion and on a variant of basic paramodulation named rigid paramodulation.
Gérard Becher, Uwe Petermann
openaire +1 more source
ACM SIGGRAPH 2015 Posters, 2015
We present a framework for modeling solid-fluid phase change. Our framework is physically-motivated, with geometric constraints applied to define rigid dynamics using shape matching. In each simulation step, particle positions are updated using an extended SPH solver where they are treated as fluid.
Yu Wang 0028, Marc Olano
openaire +1 more source
We present a framework for modeling solid-fluid phase change. Our framework is physically-motivated, with geometric constraints applied to define rigid dynamics using shape matching. In each simulation step, particle positions are updated using an extended SPH solver where they are treated as fluid.
Yu Wang 0028, Marc Olano
openaire +1 more source
Clinics in Chest Medicine, 2013
Complex airway diseases represent a therapeutic challenge and require multidisciplinary input. Surgery remains the definitive modality. Minimally invasive endobronchial techniques have resulted in symptom control and long-term improvements. The rigid bronchoscope remains the method of choice for the treatment of both benign and malignant central airway
Hervé, Dutau +2 more
openaire +2 more sources
Complex airway diseases represent a therapeutic challenge and require multidisciplinary input. Surgery remains the definitive modality. Minimally invasive endobronchial techniques have resulted in symptom control and long-term improvements. The rigid bronchoscope remains the method of choice for the treatment of both benign and malignant central airway
Hervé, Dutau +2 more
openaire +2 more sources
Synthese, 2006
What is it for a predicate or a general term to be a rigid designator? Two strategies for answering this question can be found in the literature, but both run into severe difficulties. In this paper, it is suggested that proper names and the usual examples of rigid predicates share a semantic feature which does the theoretical work usually attributed ...
openaire +1 more source
What is it for a predicate or a general term to be a rigid designator? Two strategies for answering this question can be found in the literature, but both run into severe difficulties. In this paper, it is suggested that proper names and the usual examples of rigid predicates share a semantic feature which does the theoretical work usually attributed ...
openaire +1 more source
Seminars in Respiratory and Critical Care Medicine, 2014
The purpose of this article is to provide an introduction to rigid bronchoscopy (RB). We will briefly discuss its history, evolution, and resurgence while we highlight its versatility and usefulness for today's interventional pulmonologist and thoracic surgeon.
Abdul Hamid, Alraiyes +1 more
openaire +2 more sources
The purpose of this article is to provide an introduction to rigid bronchoscopy (RB). We will briefly discuss its history, evolution, and resurgence while we highlight its versatility and usefulness for today's interventional pulmonologist and thoracic surgeon.
Abdul Hamid, Alraiyes +1 more
openaire +2 more sources
Synthese, 2017
Though it is often claimed that some general terms are rigid designators, it has turned out to be difficult to give a satisfying definition that (1) avoids making all general terms rigid (the overgeneralization problem), and (2) even if a non-rigid reading is available, makes that non-rigid reading matter (the trivialization problem).
openaire +1 more source
Though it is often claimed that some general terms are rigid designators, it has turned out to be difficult to give a satisfying definition that (1) avoids making all general terms rigid (the overgeneralization problem), and (2) even if a non-rigid reading is available, makes that non-rigid reading matter (the trivialization problem).
openaire +1 more source
Seminars in Respiratory and Critical Care Medicine, 2018
AbstractRigid bronchoscopy is one of the oldest medical techniques used in the respiratory and thoracic fields. Even though its use declined after the development of flexible bronchoscopy, it has again gained importance with the growth of interventional pulmonology, becoming a critical technique taught as part of the training in this subspecialty.
Javier, Diaz-Mendoza +3 more
openaire +2 more sources
AbstractRigid bronchoscopy is one of the oldest medical techniques used in the respiratory and thoracic fields. Even though its use declined after the development of flexible bronchoscopy, it has again gained importance with the growth of interventional pulmonology, becoming a critical technique taught as part of the training in this subspecialty.
Javier, Diaz-Mendoza +3 more
openaire +2 more sources
Clinical Orthopaedics and Related Research, 1977
The proper management of the rigid flat-foot requires an accurate diagnosis since the condition is treated on causal or rational basis. Calcaneonavicular coalition best seen on an oblique view of the foot may be treated by resection of the coalition with extensor digitorum brevis interposition. If the diagnosis is made sufficiently early, the resection
S, Jayakumar, H R, Cowell
openaire +2 more sources
The proper management of the rigid flat-foot requires an accurate diagnosis since the condition is treated on causal or rational basis. Calcaneonavicular coalition best seen on an oblique view of the foot may be treated by resection of the coalition with extensor digitorum brevis interposition. If the diagnosis is made sufficiently early, the resection
S, Jayakumar, H R, Cowell
openaire +2 more sources
Chest Surgery Clinics of North America, 1996
Rigid bronchoscopy is indicated for the presence of significant bleeding, a foreign body, or in pediatric patients. A thorough knowledge of endobronchial anatomy and expertise with rigid bronchoscopy is a necessity for the practicing general thoracic surgeon.
openaire +2 more sources
Rigid bronchoscopy is indicated for the presence of significant bleeding, a foreign body, or in pediatric patients. A thorough knowledge of endobronchial anatomy and expertise with rigid bronchoscopy is a necessity for the practicing general thoracic surgeon.
openaire +2 more sources
SSRN Electronic Journal, 2003 We study the basic economic problem of choice between long-term and short-term commitments under a general characterization of uncertainty (aggregate uncertainty). When contingencies are contractible, a perfect market of Arrow-Debreau contingent claims implements the social optimum. When contingencies are not contractible, long-term commitments receive
openaire +3 more sources