Year of publication
Type of media
Source
Type of material
Licence
Language
1–20 of 12,452 hits
Sort by:
Sort by:
-
A monadic approach to automated reasoning for Bluespec SystemVerilog
British Library Conference Proceedings | 2011| -
Symbolic computation of strongly connected components and fair cycles using saturation
British Library Conference Proceedings | 2011| -
Towards a verification framework for faulty message passing systems in PVS
British Library Conference Proceedings | 2011| -
Automated assume-guarantee reasoning for omega-regular systems and specifications
British Library Conference Proceedings | 2011| -
Proofs of numerical programs when the compiler optimizes
British Library Conference Proceedings | 2011| -
Using integer clocks to verify clock-synchronization protocols
British Library Conference Proceedings | 2011| -
A review of the effects of space flight on the asymmetry of vertical optokinetic and vestibulo-ocular reflexes
British Library Conference Proceedings | 2003| -
Sensorimotor coordination and the structure of space
British Library Conference Proceedings | 2003| -
Perceptual disturbances predicted in zero-g through three-dimensional modeling
British Library Conference Proceedings | 2003| -
Update on the status of rehabilitative countermeasures to ameliorate the effects of long-duration exposure to microgravity on vestibular and sensorimotor function
British Library Conference Proceedings | 2003| -
Spatial perception changes associated with space flight: Implications for adaptation to altered inertial environments
British Library Conference Proceedings | 2003| -
Models of the mechanical sensitivity and growth of otoliths in fish
British Library Conference Proceedings | 2003| -
Rotation otolith tilt-translation reinterpretation (ROTTR) hypothesis: A new hypothesis to explain neurovestibular spaceflight adaptation
British Library Conference Proceedings | 2003| -
Context-specific adaptation and its significance for neurovestibular problems of space flight
British Library Conference Proceedings | 2003| -
Gravity or translation: Central processing of vestibular signals to detect motion or tilt
British Library Conference Proceedings | 2003| -
Adaptation to rotating artificial gravity environments
British Library Conference Proceedings | 2003|
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.