نتایج جستجو برای: program theory

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

2015
CLAUDE ELBAZ

The Einstein’s program forms a consistent system for universe description, beside the standard model of particles. It is founded upon a scalar field propagating at speed of light c, which constitutes a common relativist framework for classical and quantum properties of matter and interactions. Matter corresponds to standing waves. Classical domain corresponds to geometrical optics approximation...

2003

A THEORY OF INTERACTION ritual is the key to microsociology, and microsociology is the key to much that is larger. The smallscale, the hereand-now of face-to-face interaction, is the scene of action and the site of social actors. If we are going to find the agency of social life, it will be here. Here reside the energy of movement and change, the glue of solidarity, and the conservatism of stas...

2013
Carl H. Smith

Some results concerning inductive inference are surveyed. These results are interpreted with respect to automatic program synthesis, a special case of algorithmic inductive iruerence. The interpretations reinforce and refine opinions concerning automatic program synthesis, and artificial intelligence in general, which have been previously expressed in [9] and [15]. The final section digresses f...

Journal: :Journal of computational chemistry 2005
Jay L. Banks Hege S. Beard Yixiang X. Cao Art E. Cho Wolfgang Damm Ramy Farid Anthony K. Felts Thomas A. Halgren Daniel T. Mainz Jon R. Maple Robert B. Murphy Dean M. Philipp Matthew P. Repasky Linda Yu Zhang Bruce J. Berne Richard A. Friesner Emilio Gallicchio Ronald M. Levy

We provide an overview of the IMPACT molecular mechanics program with an emphasis on recent developments and a description of its current functionality. With respect to core molecular mechanics technologies we include a status report for the fixed charge and polarizable force fields that can be used with the program and illustrate how the force fields, when used together with new atom typing an...

2017
Stéphane Mischler Clément Mouhot

In this Note we present the main results from the recent work [15], which answers several conjectures raised fifty years ago by Kac [9]. There Kac introduced a many-particle stochastic process (now denoted as Kac’s master equation) which, for chaotic data, converges to the spatially homogeneous Boltzmann equation. We answer the three following questions raised in [9]: (1) prove the propagation ...

2005
Edward Witten Ram Sriharsha

The Langlands program of number theory, or what we might call Langlands duality, was proposed in more or less its present form by Robert Langlands, in the late 1960s. It is a kind of unified scheme for many results in number theory ranging from quadratic reciprocity, which is hundreds of years old, to modern results such as Andrew Wiles’ proof of Fermat’s last theorem, which involved a sort of ...

Journal: :Bulletin of the EATCS 2005
Harry Buhrman Leen Torenvliet

In 1944, E. Post proposed a program that would lead to the identi cation of separate degrees equivalence classes de ned by reductions of recursively enumerable sets. Post proposed to identify structural properties that sets of di erent degrees would not share. Thus proving that some sets in one degree have such a property, and all sets in another degree do not have the property would imply that...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده علوم اداری و اقتصاد 1387

چکیده ندارد.

2013
Christa Oosthuizen Johann Louw

BACKGROUND Frequently, social interventions produce less for the intended beneficiaries than was initially planned. One possible reason is that ideas embodied in interventions are not self-executing and require careful and systematic translation to put into practice. The capacity of implementers to deliver interventions is thus paramount. Purveyor organizations provide external support to imple...

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

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