Results 211 to 220 of about 49,056 (261)

Coordinated molecular and physiological adaptations enable activity at sub-freezing temperatures in the snow fly Chionea alexandriana. [PDF]

open access: yesCurr Biol
Capek M   +11 more
europepmc   +1 more source
Some of the next articles are maybe not open access.

Related searches:

Fly

CHI '06 Extended Abstracts on Human Factors in Computing Systems, 2006
In this paper, we present Fly, a prototype presentation system that adds a visual structure to presentations. Current presentation software, like PowerPoint, structure slides in a linear sequence. The Fly design introduces a spatial organization that is based on Mind Maps.
David Holman   +3 more
openaire   +1 more source

Fly

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 2009
Modern presentation software is still built around interaction metaphors adapted from traditional slide projectors. We provide an analysis of the problems in this application genre that presentation authors face and present Fly, a presentation tool that is based on the idea of planar information structures.
Leonhard Lichtschlag   +2 more
openaire   +1 more source

Prediction Tool for Military Flying Operations Planning

2022
Military flying operations performed in flexible airspace structures impact commercial air traffic. Analysis of the planning process is performed to define the crucial parts to develop the prediction tool. The process of military flight planning is determined by interactions, conditions, and limitations of the components: flight training syllabus ...
Mostarac, Nikola   +2 more
openaire   +2 more sources

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

2005
The equivalence checking problem consists in verifying that a system (e.g., a protocol) matches its abstract specification (e.g., a service) by comparing their Labeled Transition Systems (Ltss) modulo a given equivalence relation. Two approaches are traditionally used to perform equivalence checking: global verification requires to construct the two ...
Damien Bergamini   +3 more
openaire   +1 more source

Heat of hydration of fly ash as a predictive tool

Fuel, 1997
A test procedure based on heat of hydration was developed to assess more accurately the reactivity and behaviour of fly ash for utilization. The technique uses a Dewar flask or a modified oxygen bomb calorimeter to determine the temperature change and rate of change after the addition of water to fly ash.
David J. Hassett, Kurt E. Eylands
exaly   +2 more sources

VORD: A Versatile On-the-fly Race Detection Tool in OpenMP Programs

International Journal of Parallel Programming, 2013
Shared-memory based parallel programming with OpenMP and Posix-thread APIs becomes more common to fully take advantage of multiprocessor computing environments. One of the critical risks in multithreaded programming is data races that are hard to debug and greatly damaging to parallel applications if they are uncaught.
Young-Joo Kim, Sejun Song, Yong-Kee Jun
openaire   +1 more source

Home - About - Disclaimer - Privacy