نتایج جستجو برای: uni
تعداد نتایج: 7832 فیلتر نتایج به سال:
We present algorithms for uniication and anti-uniication in the Calculus of Constructions, where occurrences of free variables (the variables subject to in-stantiation) are restricted to higher-order patterns, a notion investigated for the simply-typed-calculus by Miller. Most general uniiers and least common anti-instances are shown to exist and are unique up to a simple equivalence. The uniic...
The phenomenon known as Watson-Crick complementarity is basic both in the experiments and theory of DNA computing. While the massive parallelism of DNA strands makes exhaustive searches possible, complementarity constitutes a powerful computational tool. It is also very fruitful to view complementarity as a language-theoretic operation: \bad" words obtained through a generative process are repl...
Title: Guideline-based quality indicators a systematic comparison of German and international clinical practice guidelines: protocol for a systematic review Authors: Monika Becker ([email protected]) Jessica Breuing ([email protected]) Monika Nothacker ([email protected]) Stefanie Deckert ([email protected]) Mirco Steudtner ([email protected]) Jochen Schmit...
In recent years various sorted logics have been developed, mostly to facilitate knowledge representation and to speed up automated deduction. We present a polymorphic order-sorted logic that can be implemented e ciently. Because the polymorphism is almost unrestricted, it is possible for two terms to have an exponential number of maximally general uni ers. To guarantee a single most general uni...
1 LSV, ENS de Ca han, CNRS UMR 8643 & INRIA Futurs 2 LIF, Université-Marseille 1 & CNRS UMR 6166 Abstra t. We show several results about uni ation problems in the equational theory ACUNh onsisting of the theory of ex lusive or with one homomorphism. These results are shown using only te hniques of automata and ombinations of uni ation problems. We show how to onstru t a most-general uni er for ...
Investigating the relationship between risk and return and determining the effective factors on the return have always been an interesting subject for finance researchers. By using a capital asset pricing model (CAPM), Sharp (1963) and Linter (1965) investigated that the whole market return is the only effective factor on stocks returns. Chen, Roll and Ross (1986) mentioned that there are indee...
N. Winckler, K. Beckert, P. Beller, F. Bosch, D. Boutin, C. Brandau, L. Chen, C. Dimopoulou, H.G. Essel, B. Fabian, T. Faestermann, A. Fragner, H. Geissel, I. Hachiuma, E. Haettner, M. Hausmann, S. Hess, T. Izumikawa, P. Kienle, R. Knöbel, C. Kozhuharov, J. Kurcewicz, N. Kuzminchuk, S.A. Litvinov, Yu.A. Litvinov, L. Maier, R. Mao, R. Märtin, M. Mazzocco, F. Montes, G. Münzenberg, A. Musumarra, ...
The 1/Nc–expansion of QCD suggests large flavor asymmetries of the polarized antiquark distributions in the nucleon. This is confirmed by model calculations in the large–Nc limit (chiral quark–soliton model), which give sizable results for ∆ū(x)−∆d̄(x) and ∆ū(x)+∆d̄(x)−2∆s̄(x). We compute the contributions of these flavor asymmetries to the spin asymmetries in hadron production in semi-inclusive d...
Tactile sensors (antennae) play an important role in the animal kingdom. They are also very useful as sensors in robotic scenarios, where vision systems may fail. Active tactile movements increase the sampling performance. Here we directly control movements of the antenna of a simulated hexapod using an echo state network (ESN). ESNs can store multiple motor patterns as attractors in a single n...
Chengfei Liu School of Computer and Information Science, Uni. of South Australia, Adelaide,SA 5095 Australia Phone: +61 8 8302 3287, Fax: +61 8 8302 3381 E-mail: [email protected] AND Xiaofang Zhou Dept. of Computer Sci. & Electrical Engineering, Uni. of Queens]and, Brisbane QLD4072 Australia Phone: +61 7 3365 3248, Fax: +61 7 3365 4999 E-mail: [email protected] AND Jinli Cao Dept. of ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید