999 resultados para First invariants
Resumo:
A new species, Axianassa sinica, from the Beibu Gulf (Gulf of Tonkin), northern South China Sea, is described and illustrated. The new species is readily distinguished from A. australis Rodrigues & Shimizu, 1992, by its acute rostrum, merus of pereopod 1 with a tooth distally on lower margin and an elongated telson.
Resumo:
Most knowledge representation languages are based on classes and taxonomic relationships between classes. Taxonomic hierarchies without defaults or exceptions are semantically equivalent to a collection of formulas in first order predicate calculus. Although designers of knowledge representation languages often express an intuitive feeling that there must be some advantage to representing facts as taxonomic relationships rather than first order formulas, there are few, if any, technical results supporting this intuition. We attempt to remedy this situation by presenting a taxonomic syntax for first order predicate calculus and a series of theorems that support the claim that taxonomic syntax is superior to classical syntax.
Resumo:
We have argued elsewhere that first order inference can be made more efficient by using non-standard syntax for first order logic. In this paper we show how a fragment of English syntax under Montague semantics provides the foundation of a new inference procedure. This procedure seems more effective than corresponding procedures based on either classical syntax of our previously proposed taxonomic syntax. This observation may provide a functional explanation for some of the syntactic structure of English.
Resumo:
These proceedings summarize the results of the First PHANToM User's Group Workshop held September 27-30, 1996 MIT. The goal of the workshop was to bring together a group of active users of the PHANToM Haptic Interface to discuss the scientific and engineering challenges involved in bringing haptics into widespread use, and to explore the future possibilities of this exciting technology. With over 50 attendees and 25 presentations the workshop provided the first large forum for users of a common haptic interface to share results and engage in collaborative discussions. Short papers from the presenters are contained herein and address the following topics: Research Effort Overviews, Displays and Effects, Applications in Teleoperation and Training, Tools for Simulated Worlds and, Data Visualization.
Resumo:
A study is made of the recognition and transformation of figures by iterative arrays of finite state automata. A figure is a finite rectangular two-dimensional array of symbols. The iterative arrays considered are also finite, rectangular, and two-dimensional. The automata comprising any given array are called cells and are assumed to be isomorphic and to operate synchronously with the state of a cell at time t+1 being a function of the states of it and its four nearest neighbors at time t. At time t=0 each cell is placed in one of a fixed number of initial states. The pattern of initial states thus introduced represents the figure to be processed. The resulting sequence of array states represents a computation based on the input figure. If one waits for a specially designated cell to indicate acceptance or rejection of the figure, the array is said to be working on a recognition problem. If one waits for the array to come to a stable configuration representing an output figure, the array is said to be working on a transformation problem.
Resumo:
The low-cost and commercially available (-)-ephedrine hydrochloride was firstly employed in the [RuCl2(1)-cymene)](2)-catalyzed asymmetric transfer hydrogenation of prochiral ketones in water. The reaction could be performed in the open air at rt, affording excellent yields (up to 99%) and good enantioselectivities (up to 83% ee). It provided a further step toward the discovery of simplified catalyst systems for eventual availability. (c) 2005 Published by Elsevier Ltd.
Resumo:
This study sought predictors of mortality in patients aged >or=75 years with a first ST-segment elevation myocardial infarction (STEMI) and evaluated the validity of the GUSTO-I and TIMI risk models. Clinical variables, treatment and mortality data from 433 consecutive patients were collected. Univariable and multivariable logistic regression analyses were applied to identify baseline factors associated with 30-day mortality. Subsequently a model predicting 30-day mortality was created and compared with the performance of the GUSTO-I and TIMI models. After adjustment, a higher Killip class was the most important predictor (OR 16.1; 95% CI 5.7-45.6). Elevated heart rate, longer time delay to admission, hyperglycemia and older age were also associated with increased risk. Patients with hypercholesterolemia had a significantly lower risk (OR 0.46; 95% CI 0.24-0.86). Discrimination (c-statistic 0.79, 95% CI 0.75-0.84) and calibration (Hosmer-Lemeshow 6, p = 0.5) of our model were good. The GUSTO-I and TIMI risk scores produced adequate discrimination within our dataset (c-statistic 0.76, 95% CI 0.71-0.81, and c-statistic 0.77, 95% CI 0.72-0.82, respectively), but calibration was not satisfactory (HL 21.8, p = 0.005 for GUSTO-I, and HL 20.6, p = 0.008 for TIMI). In conclusion, short-term mortality in elderly patients with a first STEMI depends most importantly on initial clinical and hemodynamic status. The GUSTO-I and TIMI models are insufficiently adequate for providing an exact estimate of 30-day mortality risk.
Resumo:
Tedd, L.(2006). Program: a record of the first 40 years of electronic library and information systems. Program: electronic library and information systems,40(1), 11-26.
Resumo:
Thomas, L.A., Ratcliffe, M.B. and Thomasson, B. J., Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour? in Diagrammatic Representation and Inference, Diagrams 2004, editors A. Blackwell, K. Marriot and Atushi Shimojima, Springer Lecture Notes on Artificial Intelligence, 2980.
Resumo:
Jackson, Peter, 'France and the Problems of Security and Disarmament after the First World War', Journal of Strategic Studies (2006) 29(2) pp.247-280 Special Issue: Enforcing arms limits: Germany post 1919; Iraq post 1991 RAE2008
Resumo:
Scott, L. (2006). Labour and the Bomb: The First Eighty Years. International Affairs. 82(4), pp.685-700 RAE2008
Resumo:
Grande, Manuel; Kellett, B.; Howe, C.; Perry, C.H., 'The D-CIXS X-ray spectrometer on the SMART-1 mission to the Moon - First Results', Planetary And Space Science (2007) 55(4) pp.494-502 RAE2008