Results 231 to 240 of about 30,213 (286)
Transforming the tradition of discrete milk yield correction factors: A continuous 1-step DeLorenzo-Wiggans method. [PDF]
JDS CommunWu XL +9 more
europepmc +1 more source
Learning epistatic polygenic phenotypes with Boolean interactions. [PDF]
PLoS OneBehr M +11 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
The Computer Journal, 2012
In this essau we claim that omputing is the fourth great scientific domain, on par with the physical, life, and social sciences.
openaire +1 more source
In this essau we claim that omputing is the fourth great scientific domain, on par with the physical, life, and social sciences.
openaire +1 more source
SIAM Review, 1998
Alternative methods are introduced to compute \(A^n\) for nonsingular matrices \(A\). The methods are based on the Cayley-Hamilton theorem and are pedagogically simpler than the well-known transformation method.
Saber Elaydi, William A. Harris Jr.
openaire +2 more sources
Alternative methods are introduced to compute \(A^n\) for nonsingular matrices \(A\). The methods are based on the Cayley-Hamilton theorem and are pedagogically simpler than the well-known transformation method.
Saber Elaydi, William A. Harris Jr.
openaire +2 more sources
Computation and Computational Thinking
The Computer Journal, 2012We recommend using the term Computation in conjunction with a well-defined model of computation whose semantics is clear and which matches the problem being investigated. Computer science already has a number of useful clearly defined models of computation whose behaviors and capabilities are well understood.
openaire +1 more source
Computability in distributed computing
ACM SIGACT News, 2012What can and cannot be computed in a distributed system is a complex function of the system's communication model, timing model, and failure model. This tutorial surveys some important results about computability in the canonical distributed system model, where processes execute asynchronously, they communicate by reading and writing shared memory, and
Maurice Herlihy +2 more
openaire +1 more source
1995
Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether verification technology could cope with the problems of scale and complexity.
openaire +1 more source
Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether verification technology could cope with the problems of scale and complexity.
openaire +1 more source
Nursing Standard, 1991
The Department of Health has launched a new computer system for monitoring adverse drug reactions. The Adverse Drug Reactions On-line Information Tracking system (ADROIT) will allow reports to be processed in days rather than weeks, says the Department.
openaire +2 more sources
The Department of Health has launched a new computer system for monitoring adverse drug reactions. The Adverse Drug Reactions On-line Information Tracking system (ADROIT) will allow reports to be processed in days rather than weeks, says the Department.
openaire +2 more sources