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

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

2008
Oleg V. Zaboronski

In the present letter we employ the method of the dynamical renormalisation group to compute the average mass distribution of aggregating point particles in 2 dimensions in the regime when the effects of local mass distribution fluctuations are essential. PACS numbers: 05.10.Cc, 82.20.Mj.

2007
Oleg N. Smirnov

This list is a short overview of some of my results. One can nd a more detailed description in my Research Statement or at 1. Simple associative algebras with nite Z-grading. Here, R is a simple algebra with a nite Z-grading over a commutative ring. A description of all such algebras was given 18]. As a corollary, it was proved that every (not necessarily nite dimensional) simple Lie algebra of...

2002
Oleg Antipov

Name of Organization: Institute of Applied Physics (IAP) of the Russian Academy of Science (RAS). Principal Investigator: Oleg Antipov Full home address: 4 ”1” avenue Kazansky, apartment 23, Nizhny Novgorod, 603000 Russia; home telephone: +7(8312) 192642. Office address: 46 Uljanov St., Nizhny Novgorod, 603950 Russia, IAP RAS; office telephone: +7(8312) 384547; fax: +7(8312) 363792. E-mail: ant...

2001
Andrey V. Chubukov Boldizsár Jankó Oleg Tchernyshyov

Andrey V. Chubukov, Boldizsár Jankó, and Oleg Tchernyshyov Division of Materials Sciences, Argonne National Laboratory, Argonne, Illinois 60439 Department of Physics, University of Wisconsin, Madison, Wisconsin 53706 Department of Physics, University of Notre Dame, Notre Dame, Indiana 46556-5670 School of Natural Sciences, Institute for Advanced Study, Princeton, New Jersey 08540 ~Received 7 De...

2002
Thorsten Altenkirch Conor McBride

We show how higher kinded generic programming can be represented faithfully within a dependently typed programming system. This development has been implemented using the Oleg system. The present work can be seen as evidence for our thesis that extensions of type systems can be done by programming within a dependently typed language, using data as codes for types.

2013
Michael Holt Jaan Oitmaa Wei Chen Oleg P. Sushkov

Michael Holt,1 Jaan Oitmaa,2 Wei Chen,3 and Oleg P. Sushkov2 1School of Mathematics and Physics, University of Queensland, Brisbane, Queensland 4072, Australia 2School of Physics, University of New South Wales, Kensington 2052, Sydney NSW, Australia 3Max-Planck-Institut für Festkörperforschung, Heisenbergstrasse 1, D-70569 Stuttgart, Germany (Received 24 September 2012; revised manuscript recei...

2006
Kyle J. Alvine Diego Pontoni Oleg G. Shpyrko Peter S. Pershan David J. Cookson Kyusoon Shin Thomas P. Russell Markus Brunnbauer Francesco Stellacci Oleg Gang

Kyle J. Alvine,1,* Diego Pontoni,1 Oleg G. Shpyrko,1,2 Peter S. Pershan,1,3 David J. Cookson,4 Kyusoon Shin,5,† Thomas P. Russell,5 Markus Brunnbauer,6 Francesco Stellacci,6 and Oleg Gang7 1Division of Engineering and Applied Sciences, Harvard University, Cambridge, Massachusetts 02138, USA 2Center for Nanoscale Materials, Argonne National Laboratory, Argonne, Illinois 60439, USA 3Department of...

Journal: :Artistic Culture. Topical Issues 2019

2010
Valery I. Levitas Oleg M. Zarechnyy

Valery I. Levitas1,2,3,* and Oleg M. Zarechnyy2 1Department of Mechanical Engineering, Iowa State University, Ames, Iowa 50011, USA 2Department of Aerospace Engineering, Iowa State University, Ames, Iowa 50011, USA 3Department of Material Science and Engineering, Iowa State University, Ames, Iowa 50011, USA Received 7 May 2010; revised manuscript received 15 October 2010; published 23 November ...

Journal: :CoRR 2011
Joost Van Honschoten Henri de Jong Wabe W. Koelmans Thomas P. Parnell Oleg V. Zaboronski

Joost W. van Honschoten , Henri W. de Jong, ∗ Wabe W. Koelmans, † Thomas P. Parnell, ‡ and Oleg Zaboronski § MESA+ Research Institute, University of Twente, P.O. Box 217, 7500 AE, Enschede The Netherlands Siglead Europe Ltd., International Digital Laboratory, University of Warwick, Gibbet Hill Road, Coventry CV4 7AL, UK Mathematics Institute, University of Warwick, Gibbet Hill Road, Coventry CV...

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

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