The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no more than one solution to a set of constraints. We now introduce two forms of Constraint Lambda Calculi which allow for multiple constraint solutions. Moreover the language also permits the use of disjunctions between constraints...
Für die räumliche Wahrnehmung bezieht das zentralvestibuläre System seine Informationen über unsere Bewegung im Schwerefeld der Erde vornehmlich über vier unterschiedliche Sensoren. Abbildung 1 zeigt die Rezeptorhierarchie in ihrer physiologisch absteigenden Dominanz, nämlich das optische, das Otolithen-, das Bogengangs- und das somatosensorische System, die an der optischen Suppression des vestibulären...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.