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

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

Journal: :Vision Research 2001
Momoyo Kono Jay M. Enoch Elisabetta Strada Paul Shih Ranjani Srinivasan Vasudevan Lakshminarayanan Wilbur Susilasate Andrew Graham

a School of Optometry (Mail Code 2020), Uni ersity of California at Berkeley, Berkeley, CA 94720-2020, USA b Department of Ophthalmology, Shiga Uni ersity of Medical Science, Seta, Ohtsu, Shiga 520-2192, Japan c Department of Biophysics, Uni ersity of Illinois at Urbana-Champaign, Urbana, IL 61801, USA d School of Optometry and Department of Physics and Astronomy, Uni ersity of Missouri, Saint ...

1996
Subrata Mitra Nachum Dershowitz

\Semantic uni cation" is the process of generating a basis set of substitutions (of terms for variables) that makes two given terms equal in a speci ed theory. Semantic uni cation is an important component of some theorem provers. \Semantic matching," a simpler variant of uni cation, where the substitution is made in only one of the terms, has potential usage in programming language interpreter...

In this paper, the propagation of electromagnetic waves through an infinite slab of uni- or bi- axial chiral medium is analytically formulated for an arbitrary incidence using 4×4 matrix method. In this powerful method, a state vector differential equation is extracted whose solution is given in terms of a transition matrix relating the tangential components of electric and magnetic fields at t...

1996
Kazuhiro TAKADA Yuichi KAJI

Some kind of practical problems such as security veri cation of cryptographic protocols can be described as a problem to accomplish a given purpose by using limited operations and limited materials only. To model such problems in a natural way, uni cation problems under constrained substitutions have been proposed. This paper is a collection of results on the decidability and the computational ...

Journal: :Studies in Regional Science 1992

Journal: :Revue de droit comparé du travail et de la sécurité sociale 2022

2009
Susanne Tan André Scherag Onno Eilard Janssen Susanne Hahn Harald Lahner Tiina Dietz Susann Friedel Harald Grallert Carla IG Vogel Rainer Kimmig Thomas Illig Klaus Mann Johannes Hebebrand Anke Hinney J. Hebebrand Danielle Burgess

Susanne Tan ([email protected]) André Scherag ([email protected]) Onno Eilard Janssen ([email protected]) Susanne Hahn ([email protected]) Harald Lahner ([email protected]) Tiina Dietz ([email protected]) Susann Friedel ([email protected]) Harald Grallert ([email protected]) Carla IG Vogel ([email protected]) Rainer Kim...

Journal: :Japanese Journal of Complementary and Alternative Medicine 2010

Journal: :Requirements Engineering 2012

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

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