Results 1 - 10
of
53,564
Operant conditioning
- in the Ts65Dn Mouse: Learning. Behav Genet 2004;34:105–119. [PubMed: 14739701
"... A macroscale, phase-field model for shape memory alloys with ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
A macroscale, phase-field model for shape memory alloys with
OPERATING CONDITIONS
"... TSEV01P is a contact-less temperature measuring system for OEM use based on the detection of infrared radiation. TSEV01P is equipped with an infrared sensor (Thermopile) in front. The Thermopile Sensor has to be pointed at the target object of interest. The basic working principle is: • Detection of ..."
Abstract
- Add to MetaCart
of infrared radiation with a Thermopile sensor, which turns incoming radiation to an analogue voltage • Determination of sensor temperature using a thermistor • Further analogue signal processing and conditioning • Calculation of ambient and object temperature using a processing unit • Providing the ambient
OPERATING CONDITIONS
"... TSEV01C is a contact-less temperature measuring system for OEM use based on the detection of infrared radiation. TSEV01C is equipped with an infrared sensor (Thermopile) in front. The Thermopile Sensor has to be pointed at the target object of interest. The basic working principle is: • Detection of ..."
Abstract
- Add to MetaCart
of infrared radiation with a Thermopile sensor, which turns incoming radiation to an analogue voltage • Determination of sensor temperature using a thermistor • Further analogue signal processing and conditioning • Calculation of ambient and object temperature using a processing unit • Providing the ambient
Operating Conditions
"... This chapter covers the electrical characteristics for HardCopy ® IV devices. ..."
Abstract
- Add to MetaCart
This chapter covers the electrical characteristics for HardCopy ® IV devices.
Operating Conditions
"... Refer to each chapter for its own specific revision history. For information on when each chapter was updated, refer to the Chapter Revision Dates section, which appears in the full handbook. ..."
Abstract
- Add to MetaCart
Refer to each chapter for its own specific revision history. For information on when each chapter was updated, refer to the Chapter Revision Dates section, which appears in the full handbook.
Linearizability: a correctness condition for concurrent objects
, 1990
"... A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent objects that exploits the semantics of abstract data types. It permits a high degree of concurrency, yet it permits programmers to specify and reason about concurrent object ..."
Abstract
-
Cited by 1178 (28 self)
- Add to MetaCart
A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent objects that exploits the semantics of abstract data types. It permits a high degree of concurrency, yet it permits programmers to specify and reason about concurrent
Software Transactional Memory
, 1995
"... As we learn from the literature, flexibility in choosing synchronization operations greatly simplifies the task of designing highly concurrent programs. Unfortunately, existing hardware is inflexible and is at best on the level of a Load Linked/Store Conditional operation on a single word. Building ..."
Abstract
-
Cited by 695 (14 self)
- Add to MetaCart
As we learn from the literature, flexibility in choosing synchronization operations greatly simplifies the task of designing highly concurrent programs. Unfortunately, existing hardware is inflexible and is at best on the level of a Load Linked/Store Conditional operation on a single word. Building
The Semantics Of Constraint Logic Programs
- JOURNAL OF LOGIC PROGRAMMING
, 1996
"... This paper presents for the first time the semantic foundations of CLP in a self-contained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic constructs from first principles, giving new and comp ..."
Abstract
-
Cited by 872 (14 self)
- Add to MetaCart
since almost all CLP systems use an incomplete solver. Third, we give conditions on the (possibly incomplete) solver which ensure that the operational semantics is confluent, that is, has independence of literal scheduling.
Versatile Low Power Media Access for Wireless Sensor Networks
, 2004
"... We propose B-MAC, a carrier sense media access protocol for wireless sensor networks that provides a flexible interface to obtain ultra low power operation, effective collision avoidance, and high channel utilization. To achieve low power operation, B-MAC employs an adaptive preamble sampling scheme ..."
Abstract
-
Cited by 1099 (19 self)
- Add to MetaCart
We propose B-MAC, a carrier sense media access protocol for wireless sensor networks that provides a flexible interface to obtain ultra low power operation, effective collision avoidance, and high channel utilization. To achieve low power operation, B-MAC employs an adaptive preamble sampling
Results 1 - 10
of
53,564