نتایج جستجو برای: elan

تعداد نتایج: 411  

2009
Steve Cassidy Trevor Johnston

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 ...

2012
Martin Farlow

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...

2003
Eric Deplagne Claude Kirchner Hélène Kirchner Quang Huy Nguyen

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...

Journal: :Proceedings Of The Institution Of Mechanical Engineers, Part H: Journal Of Engineering In Medicine 2021

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...

2004
Dennis Reil Hans-Jürgen Appelrath

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...

2016
Roberto Seara Marta Martinez Rocío Varela Carmen García-Mateo Elisa Fernández Rei Xose Luis Regueira

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...

Journal: :Acquiring Sign Language as a First Language / Acquisition d’une langue des signes comme langue première 2010

2001

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 ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید