نتایج جستجو برای: elan
تعداد نتایج: 411 فیلتر نتایج به سال:
The DADA system is being developed to support collaborative access to and annotation of language resources over the web. DADA implements an abstract model of annotation suitable for storing many kinds of data from a wide range of language resources. This paper describes the process of ingesting data from a corpus of Australian Sign Language (Auslan) into the DADA system. We describe the format ...
Martin Farlow MD, editor. Dr. Farlow of Indiana University School of Medicine received research grant support from BristolMyersSquibb, Danone, Eisai, Elan, Eli Lilly, Genentech, Novartis, OctaPharma, Pfizer, Roche, Sanofi-Aventis, and Sonexa; honorariums from Eisai, Forest Laboratories, Pfizer, and Novartis for speaking engagements; and fees from Accera, Alltech, Astellas, Baxter Healthcare, Ba...
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the strong constraint of safe cooperation of both. In practice, we instantiate the theoretical study on the Coq proof assistant and the ELAN rewriting based system, focusing first on equational and then on inductive proofs. Di...
In case of transtibial amputation, the deficit resulting from loss lower limb can be partly compensated with a prosthetic foot and adapted rehabilitation. New feet have been developed for amputees to mimic ankle adaptability varying terrain. Among them, Microprocessor Prosthetic Ankles (MPA) microprocessor control an electric or hydraulic actuator adapt kinematics in stairs slopes. The objectiv...
Dieses Paper beschreibt ein Konzept für die Erweiterung bestehender Lernportale um Zahlungsund Abrechnungsfunktionen sowie Rechteverwaltungsund Rechtesicherungssysteme, um eine Bereitstellung von kostenpflichtigem eLearningContent zu ermöglichen. Ziel ist eine Refinanzierung der nicht unerheblichen Kosten für die Erstellung von hochwertigem eLearning-Lehrund Lerninhalt (Content) sowie der Koste...
The Corpus Oral Informatizado da Lingua Galega (CORILGA) project aims at building a corpus of oral language for Galician, primarily designed to study the linguistic variation and change. This project is currently under development and it is periodically enriched with new contributions. The long-term goal is that all the speech recordings will be enriched with phonetic, syllabic, morphosyntactic...
Introduction Selenium is an essential element to human health at low levels (2080 μg/L), but becomes toxic at elevated levels. Selenium exists in different forms that determine its toxicity and bioavailability. Current research is now focusing on the determination of individual selenium species or seleniumcontaining compounds. This can be done using ICP-MS as a selenium-specific detector for a ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید