Functional-first Programming in an Information-Rich World Dr Kenji Takeda Microsoft Research Connections Functional-first

Source URL: research.microsoft.com

• Cross-platform software
• Functional languages
• Programming paradigms
• Functional programming
• C
• Mathematica
• Subroutine
• Computing
• Computer programming
• Software engineering

Supercomputer and grid infrastructure ! in Poland ! Franciszek Rakowski! Interdisciplinary Centre for Mathematical ! and Computational Modelling !

Source URL: neuroinflab.files.wordpress.com

• Grid computing
• Polish Grid Infrastructure PL-Grid
• Cyberinfrastructure
• Computational science
• Cross-platform software
• Parallel computing
• OpenFOAM
• Mathematica
• Blue Gene
• Computing
• Science
• Mathematical software

PROPAGATION THROUGH GENERIC LEVEL CROSSINGS: A SURFACE HOPPING SEMIGROUP CLOTILDE FERMANIAN KAMMERER∗ AND CAROLINE LASSER† Abstract. We construct a surface hopping semigroup, which asymptotically describes nuclear pr

Source URL: www-m3.ma.tum.de

• Μ operator
• Principia Mathematica
• Physics
• Symbol
• Wigner quasi-probability distribution

PNNL_Logo_with_Battel#ABC372-white

Source URL: gridoptics.pnnl.gov

• Electric power transmission systems
• Electric power distribution
• Grid computing
• Smart grid
• Cross-platform software
• Electrical grid
• Pacific Northwest National Laboratory
• Smart meter
• Mathematica
• Science
• Mathematical software
• Computing

Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

Source URL: www.cse.chalmers.se

• Set theory
• Principia Mathematica
• Science
• Function
• Type theory
• Extensionality
• Zermelo–Fraenkel set theory
• Logicism
• Mathematics
• Mathematical logic
• Logic

Energy level crossings in molecular dynamics F. Bornemann1 , C. Lasser2 , T. Swart2 1 Zentrum Mathematik, Technische Universit¨ at M¨

Source URL: www-m3.ma.tum.de

• Mathematics
• Linear algebra
• Symbol
• Wigner quasi-probability distribution
• Rotation matrix
• Landau–Zener formula
• Dual space
• Principia Mathematica
• Μ operator
• Algebra
• Quantum mechanics
• Physics

Commentatio mathematica, qua respondere tentatur quaestioni ab Illma Academia Parisiensi propositae: “Trouver quel doit ˆ etre l’´ etat calorifique d’un

Source URL: www.emis.de

Mathiness Appendix Expanded Appendix: Mathiness in the Theory of Economic Growth by Paul Romer This appendix exists as both a Mathematica notebook called Mathiness Appendix.nb and as two different pdf print-outs. The no

Source URL: paulromer.net

• Microeconomics
• Inverse demand function
• Supply
• Economic surplus
• Function
• Economics
• Consumer theory
• Demand

RADOSLAV KIROV · http://radokirov.com · (Jurong West Street 41, Lakeshore #09-54, SingaporeEMPLOYMENT Nanyang Technological University, Singapore

Source URL: radokirov.com

• Association of American Universities
• Association of Public and Land-Grant Universities
• Committee on Institutional Cooperation
• North Central Association of Colleges and Schools
• University of Illinois at Urbana–Champaign
• Urbana
• Illinois
• Champaign
• Illinois
• Champaign–Urbana metropolitan area
• Mathematica
• Mathematical software
• Geography of Illinois
• Champaign County
• Illinois

Online Appendix, Mathiness in the Theory of Growth, by Paul Romer Appendix: Mathiness in the Theory of Economic Growth by Paul Romer This appendix exists as both a Mathematica notebook called Mathiness Appendix.nb and a

Source URL: paulromer.net

• Functions and mappings
• Economic growth
• Function
• AK model
• Neoclassical growth model
• Economics
• Macroeconomics
• Mathematics