Sciweavers

4231 search results - page 692 / 847
» Using Language More Responsibly
Sort
View
123
Voted
ISMB
2000
15 years 5 months ago
Search for a New Description of Protein Topology and Local Structure
A novel description of protein structure in terms of the generalized secondary structure elements (GSSE) is proposed. GSSE's are defined as fragments of the protein structure...
Lukasz Jaroszewski, Adam Godzik
87
Voted
C++
1990
64views more  C++ 1990»
15 years 4 months ago
Reliable Distributed Programming in C++: The Arjuna Approach
Programming in a distributed system is fraught with potential difficulties caused, in part, by the physical distribution of the system itself. By making the distribution of the sy...
Graham D. Parrington
136
Voted
CORR
2010
Springer
151views Education» more  CORR 2010»
15 years 3 months ago
Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
Zachary Snow, David Baelde, Gopalan Nadathur
107
Voted
CORR
2010
Springer
168views Education» more  CORR 2010»
15 years 3 months ago
A Bayesian Review of the Poisson-Dirichlet Process
The two parameter Poisson-Dirichlet process is also known as the PitmanYor Process and related to the Chinese Restaurant Process, is a generalisation of the Dirichlet Process, and...
Wray L. Buntine, Marcus Hutter
CTW
2008
85views more  CTW 2008»
15 years 3 months ago
Debriefing surgeons on non-technical skills (NOTSS)
Abstract Surgical trainees must maximise the educational and developmental opportunities of time spent in the operating theatre. Post-operative debriefing on performance based on o...
S. Yule, R. Flin, N. Maran, G. Youngson, A. Mitche...