Results 271 to 280 of about 106,702 (317)
Some of the next articles are maybe not open access.
Proceedings of the 8th annual ACM SIGUCCS conference on User services - SIGUCCS '80, 1980
Ada is a modern high order programming language that has been developed by the U.S. Department of Defense for use in embedded computer applications. Such applications are typically large, volatile and long-lived. Facilities for such features as real-time and parallel processing, fail-soft execution, exception handling and the control of a wide variety ...
openaire +1 more source
Ada is a modern high order programming language that has been developed by the U.S. Department of Defense for use in embedded computer applications. Such applications are typically large, volatile and long-lived. Facilities for such features as real-time and parallel processing, fail-soft execution, exception handling and the control of a wide variety ...
openaire +1 more source
2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2016
Provides an abstract for each of the tutorial presentations and a brief professional biography of each presenter. The complete presentations were not made available for publication as part of the conference proceedings.
openaire +2 more sources
Provides an abstract for each of the tutorial presentations and a brief professional biography of each presenter. The complete presentations were not made available for publication as part of the conference proceedings.
openaire +2 more sources
2012 IEEE Conference on Computational Intelligence and Games (CIG), 2012
Mark J. Nelson +4 more
openaire +1 more source
Mark J. Nelson +4 more
openaire +1 more source
Australian & New Zealand Journal of Psychiatry, 1981
(1981). Stuttering — a Tutorial. Australian and New Zealand Journal of Psychiatry: Vol. 15, No. 2, pp. 105-109.
openaire +2 more sources
(1981). Stuttering — a Tutorial. Australian and New Zealand Journal of Psychiatry: Vol. 15, No. 2, pp. 105-109.
openaire +2 more sources
2013 IEEE 21st Annual Symposium on High-Performance Interconnects, 2013
Dhabaleswar K. Panda 0001 +1 more
openaire +1 more source
Dhabaleswar K. Panda 0001 +1 more
openaire +1 more source
Proceedings of the 1971 26th annual conference on -, 1971
Microprogramming—interpreted as implementing control logic in a high speed control memory of either the read-only or read-write type—cuts across the specialties of logic design and system architecture. Microprogramming is, therefore, a promising means for designing integrated hardware/software systems.
openaire +1 more source
Microprogramming—interpreted as implementing control logic in a high speed control memory of either the read-only or read-write type—cuts across the specialties of logic design and system architecture. Microprogramming is, therefore, a promising means for designing integrated hardware/software systems.
openaire +1 more source
2012
Abella is an interactive theorem prover aimed at developing the meta-theory of programming languages, logics, and other systems with binding. Abella uses a higher-order abstract syntax representation of object systems, and the Abella logic provides rich features for manipulating this representation. The result is that binding-related issues are handled
openaire +1 more source
Abella is an interactive theorem prover aimed at developing the meta-theory of programming languages, logics, and other systems with binding. Abella uses a higher-order abstract syntax representation of object systems, and the Abella logic provides rich features for manipulating this representation. The result is that binding-related issues are handled
openaire +1 more source
Proceedings of the 1998 ACM conference on Computer supported cooperative work, 1998
Thomas A. Finholt, Mark S. Ackerman
openaire +1 more source
Thomas A. Finholt, Mark S. Ackerman
openaire +1 more source
A tutorial on calibration measurements and calibration models for clinical prediction models
Journal of the American Medical Informatics Association: JAMIA, 2020Yingxiang Huang, Fima Macheret
exaly