نتایج جستجو برای: uni
تعداد نتایج: 7832 فیلتر نتایج به سال:
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 ...
\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...
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 ...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید