Online Store

Geometry.Net - the online learning center
Home  - Mathematical_Logic - Models Of Mathematical Theories
Page 1     1-75 of 75    1 

Research topics include mathematical Models and theories in the empirical sciences, Models and theories in mathematics, category theory, and the use of
Research topics include mathematical models and theories in the empirical sciences, models and theories in mathematics, category theory, and the use of mathematical structures in theoretical computer science.
Research Bibliography
Mathematical Theories and Models
Scientific Theories and Models
Category Theory
Theoretical Computer Science ... WWW Research Sites
Mathematical Theories and Models
  • Agazzi and Darvas. Philosophy of Mathematics Today. Kluwer Academic Publishers, 1997
  • Anglin and Lambek. The Heritage of Thales. Springer-Verlag, 1995
  • Akin, Ethan. The General Topology of Dynamical Systems. American Mathematical Society, 1993
  • Barwise, Jon. (ed) Handbook of Mathematical Logic. North-Holland,1977
  • Barwise, Jon. "Axioms for Abstract Model Theory" ,Annals of Mathematical Logic 7(1974) 221-265.
  • Bell, John and Machover,Moshe. A Course in Mathematical Logic. North-Holland, 1977
  • Bridge, Jane. Beginning Model Theory. Clarendon Press, 1977
  • Burgess, John and Rosen, Gifeon. A Subject with No Object Oxford Press, 1997

2. Imperfections In Human Logic Promote Crisis In The Mathematical Sciences
Well, building mathematical Models is an important concept in modern mathematics. Researchers express their theories based on scientific observations after

3. Computer Science At Yale
mathematical theories of Human Vision. Computational vision is at the heart of A unique advantage of such mathematical Models is the analysis of
Computer Science Main Page
Academics Graduate Program
Undergraduate Program

Course Information

Course Catalog
Course Web Pages

Research Our Research
Research Areas

Research Projects


People Faculty Graduate Students Research and Technical Staff Administrative Staff ... Alumni Resources Calendars Computing Facilities Yale Computer Science FAQ Yale Workstation Support ... AfterCollege Job Resource Department Information Contact Us History Life in the Department Life About Town ... Directions Job Openings Faculty Positions Useful Links City of New Haven Yale Applied Mathematics Yale Faculty of Engineering Yale University Home Page ... Yale Info Phonebook Internal Internal
Mathematical Theories of Human Vision
group is pioneering an approach to developing an abstract theory of vision and neural computation. They are studying how one class of computations (linear complementarity problems) generalizes the computational competence of visual cortex from filtering, local selection, and constraint satisfaction to solving polymatrix games. The natural "unit" of computation is a particular cell assembly, with subtle advantages in reliability and accuracy. site editor Last modified: August 20, 2007

4. Foundations Of Mathematics. By K.Podnieks
I define mathematical theories as stable selfcontained (autonomous?) systems of reasoning, and formal theories - as mathematical Models of such systems.
foundations of mathematics, philosophy of mathematics, logic, mathematical, online, web, book, Internet, tutorial, textbook, foundations, mathematics, teaching, learning, study, mathematical logic, student, Podnieks, Karlis, philosophy, free, download Doc. emeritus Vilnis Detlovs , 83, passed away on January 22, 2007.
Born on May 26, 1923, he is best known for his 1950's proof of the equivalence of recursive functions and Markov's normal algorithms.
See Memorial Page (in Latvian) Latviski Po-russki LU studentiem Experimental Mathematics ...
University of Latvia

Institute of Mathematics and Computer Science

My best mathematical paper
Are you a platonist Test yourself
About me
Essays and talks
My main theses
... Quote of the day New! Lecture slides: What is science? Science is modeling!
(Riga, February 8, 2007, in Latvian, English translation
Introduction to Mathematical Logic
Hyper-textbook for students by Vilnis Detlovs and Karlis Podnieks University of Latvia
What is Mathematics: Gödel's Theorem and Around
Hyper-textbook for students by Karlis Podnieks Russian version available
Quote of the Day
Paul Bernays "As Bernays remarks, syntax is a branch of number theory and semantics the one of set theory."

5. Physical World
He also states clearly that other mathematical Models are equivalent and will . The distinction, he argues, between mathematical theories and physical
Mathematics and the physical world
Alphabetical list of History Topics History Topics Index
Version for printing
What is the relation between mathematics and the physical world? For example consider Newton 's laws of motion. If we deduce results about mechanics from these laws, are we discovering properties of the physical world, or are we simply proving results in an abstract mathematical system? Does a mathematical model, no matter how good, only predict behaviour of the physical world or does it give us insight into the nature of that world? Does the belief that the world functions through simple mathematical relationships tell us something about the world, or does it only tell us something about the way humans think. In this article we explore a little of the history of the philosophy of science in order to look at differing views to the type of questions that we have just considered. The most natural starting place historically for examining the relationship between mathematics and the physical world is through the views of Pythagoras . The views of Pythagoras are only known through the views of the Pythagorean School for Pythagoras himself left no written record of his views. However the views which one has to assume originated with

6. [Mathematical Theories Of Population]
Title mathematical theories of population Models, Theoretical mathematical Model Demographic Analysis Population Dynamics Population Growth
Title: [Mathematical theories of population] POPLINE Document Number: Author(s):
Hillion A
Source citation:
Paris, France, Presses Universitaires de France, 1986. 127 p. (Que Sais-Je? No. 2258) Abstract: This is an overview of the most recent and widely used mathematical models of population growth. Following a general introduction to population dynamics and the use of mathematical models, chapters are included on deterministic models in discrete time, deterministic models in continuous time, stochastic models in discrete time, and stochastic models in continuous time. (ANNOTATION) Keywords:
Models, Theoretical
Mathematical Model
Demographic Analysis
Population Dynamics
Population Growth
Methodological Studies Research Methodology Demographic Factors Population Index page

7. Catapults Invented Before Theory Explained Them | LiveScience
Before the mathematical Models were figured out by Archimedes and his When the mathematical theories were developed, construction became much more
Catapults Invented Before Theory Explained Them
By Heather Whipps , Special to LiveScience posted: 09 October 2007 09:32 am ET Share this story The first catapult in Europe flung into action around the fourth century B.C., prior to the invention of mathematical models that revolutionized ancient technologies, said Mark Schiefsky, a Harvard University classics professor who led the study. "It seems that the early stages of catapult development did not involve any mathematical theory at all," Schiefsky said. "We are talking about so-called torsion artillery, basically an extension of the simple bow by means of animal sinews into something like the crossbow." When thinkers like the ancient Greek mathematician and engineer Archimedes came along in the third century B.C., devices such as the catapult were merely refined with mathematical theories and made more precise, the researchers found. In the case of the catapult, the weapon became all the more powerful and had an important political impact on warfare in the ancient world The catapult got special attention from kings because it was an effective weapon, allowing previously impermeable cities to be attacked.

8. Mathematical Model --  Britannica Online Encyclopedia
In addition to the theories discussed above, a large body of literature has developed involving abstract mathematical Models. Because this field of analysis
var britAdCategory = "other";
Already a member? LOGIN Encyclopædia Britannica - the Online Encyclopedia Home Blog Advocacy Board ... Free Trial Britannica Online Content Related to
this Topic This Article's
Table of Contents
mathematical model Print this Table of Contents Linked Articles conic sections optimization control theory information theory ... computer simulation Shopping
Revised, updated, and still unrivaled.
2008 Britannica Ultimate DVD/CD-ROM

The world's premier software reference source.
Great Books of the Western World

The greatest written works in one magnificent collection. Visit Britannica Store
mathematical model
Page 1 of 1 either a physical representation of mathematical concepts or a mathematical representation of reality. Physical mathematical models include reproductions of plane and solid geometric figures made of cardboard, wood, plastic, or other substances; models of conic sections
mathematical model... (75 of 187 words) To read the full article, activate your FREE Trial Close Enable free complete viewings of Britannica premium articles when linked from your website or blog-post.

9. [0709.1976] Fluctuations In Nonequilibrium Statistical Mechanics: Models, Mathem
Title Fluctuations in Nonequilibrium Statistical Mechanics Models, mathematical Theory, Physical Mechanisms. Authors Lamberto Rondoni, Carlos Mejia cond-mat
Search or Article-id Help Advanced search All papers Titles Authors Abstracts Full text Help pages
Full-text links: Download:
Citations p revious n ... ext
Condensed Matter > Statistical Mechanics
Title: Fluctuations in Nonequilibrium Statistical Mechanics: Models, Mathematical Theory, Physical Mechanisms
Authors: Lamberto Rondoni Carlos Mejia-Monasterio (Submitted on 13 Sep 2007) Abstract: Comments: 44 pages, 2 figures. To appear in Nonlinearity (2007) Subjects: Statistical Mechanics (cond-mat.stat-mech) Cite as: arXiv:0709.1976v1 [cond-mat.stat-mech]
Submission history
From: Carlos Mejia-Monasterio [ view email
Thu, 13 Sep 2007 14:52:10 GMT (97kb)
Which authors of this paper are endorsers?
Link back to: arXiv form interface contact

10. SAMSI - EXTREMES: Events, Models And Mathematical Theory - Program On Risk Analy
The EXTREMES Events, Models and mathematical Theory Workshop for the SAMSI program on Risk Analysis, Extreme Events and Decision Theory will be held on
19 T.W. Alexander Drive
P.O. Box 14006
Research Triangle Park, NC 27709-4006
Tel: 919.685.9350
Fax: 919.685.9360
2007 Program on Risk Analysis, Extreme Events and Decision Theory
EXTREMES: Events, Models and Mathematical Theory
January 22-24, 2008 General Information

General Information
The EXTREMES: Events, Models and Mathematical Theory Workshop for the SAMSI program on Risk Analysis, Extreme Events and Decision Theory will be held on Tuesday - Thursday, January 22-24, hosted by SAMSI-NISS at the Radisson Hotel RTP in Research Triangle Park, NC. Confirmed Speakers and Invited Discussants: Laurens de Haan (Erasmus University Rotterdam), Debbie Dupuis (University of Western Ontario), Vicky Fasen (Munich University of Technology), Thomas Mikosch (University of Copenhagen), Pilar Munoz (Technical University of Catalonia), John Nolan (American University), Sidney Resnik (Cornell University), Gennady Samorodnitsky (Cornell University), Jery Stedinger (Cornell University), Stilian Stoev (University of Michigan), Bas Werker (Tilburg University), Chen Zhou (Erasumus University Rotterdam), Francis Zwiers (Canadian Centre for Climate Modelling),
Interested individuals should apply, using the

11. Richard Barlow And Frank Proschan
mathematical reliability refers to a body of ideas, mathematical Models, Historical Background of the mathematical Theory of Reliability; Definitions of

SIAM Homepage
Search Catalog New Books Author Index ... View My Shopping Cart
The catalog and shopping cart are hosted for SIAM by EasyCart. Your transaction is secure. If you have any questions about your order, contact
Purchase Now!

Mathematical Theory of Reliability
Richard Barlow and Frank Proschan
Classics in Applied Mathematics 17
This monograph presents a survey of mathematical models useful in solving reliability problems. It includes a detailed discussion of life distributions corresponding to wearout and their use in determining maintenance policies, and covers important topics such as the theory of increasing (decreasing) failure rate distributions, optimum maintenance policies, and the theory of coherent systems. The emphasis throughout the book is on making minimal assumptionsand only those based on plausible physical considerationsso that the resulting mathematical deductions may be safely made about a large variety of commonly occurring reliability situations. The first part of the book is concerned with component reliability, while the second part covers system reliability, including problems that are as important today as they were in the 1960s.
Mathematical reliability refers to a body of ideas, mathematical models, and methods directed toward the solution of problems in predicting, estimating, or optimizing the probability of survival, mean life, or, more generally, life distribution of components and systems. The enduring relevance of the subject of reliability and the continuing demand for a graduate-level book on this topic are the driving forces behind its republication. Unavailable since its original publication in 1965

12. JSTOR Mathematical Theories Of Economic Growth.
The book ex plores contemporary theories of economic growth through analysis of mathematical mod- els. The authors begin with a one-sector model and<482:MTOEG>2.0.CO;2-S

13. An Investigation Of Mathematical Theories Of Strategy
Finally, a simple mathematical conjugate theory of strategy, based on the general strategy. model of Lykke, is developed by expressing ends and means as

Series on Advances in Mathematics for Applied Sciences Vol. 51 LECTURE NOTES ON THE mathematical THEORY OF GENERALIZED BOLTZMANN Models
Home Browse by Subject Bestsellers New Titles ... Browse all Subjects Search Bookshop New Titles Editor's Choice Bestsellers Book Series ... Series on Advances in Mathematics for Applied Sciences - Vol. 51
by Nicola Bellomo (Politecnico di Torino, Italy) (Università Roma, Italy)
This book is based on the idea that Boltzmann-like modelling methods can be developed to design, with special attention to applied sciences, kinetic-type models which are called generalized kinetic models. In particular, these models appear in evolution equations for the statistical distribution over the physical state of each individual of a large population. The evolution is determined both by interactions among individuals and by external actions. Considering that generalized kinetic models can play an important role in dealing with several interesting systems in applied sciences, the book provides a unified presentation of this topic with direct reference to modelling, mathematical statement of problems, qualitative and computational analysis, and applications. Models reported and proposed in the book refer to several fields of natural, applied and technological sciences. In particular, the following classes of models are discussed: population dynamics and socio-economic behaviours, models of aggregation and fragmentation phenomena, models of biology and immunology, traffic flow models, models of mixtures and particles undergoing classic and dissipative interactions.

15. Aladjev V.Z., Hunt š., Shishakov M. Mathematical Theory Of The Classical Homoge
Aladjev V., Hunt Ü., Shishakov M. mathematical Theory of the Classical . of HSModels in mathematics, developmental biology and computer sciences.
Aladjev V., Hunt Shishakov M. Mathematical Theory of the Classical Homogeneous Structures (Cellular Automata) Gomel: TRG VASCO Salcombe Eesti Russian Academy of Noosphere, 296 p. In what follows, we present general of the work we have done in the mathematical theory of the classical homogeneous structures (HS; synonym Cellular Automata over the Indeed, we have done much more , particularly in the areas of mathematics, cybernetics, statistics, software, and mathematical theory of homogeneous structures, of course. Much of our research has been stimulated by scientific programs of the Tallinn Research Group (TRG) and the Russian Academy of Noosphere The HS is a parallel information processing system consisting of intercommunicating identical finite automata. Although homogeneous structures will be the usual term throughout this book, It should be borne in mind that cellular automata iterative networks etc. are essentially synonymous. We can interpret HS as the theoretical framework of artificial parallel information processing systems. From the logical point of view the classical HS is an infinite automaton with characteristic cellular internal structure.

16. Oxford University Press: The Mathematical Theory Of Thermodynamic Limits: Isabel
The mathematical Theory of Thermodynamic Limits. ThomasFermi Type Models. Isabelle Catto, Claude Le Bris and PierreLouis Lions. bookshot Add to Cart

17. Interest Rate Models Course Programme
The mathematical Theory of Interest Rate Models 8 9 November 2001 Review of specific interest rate Models. Extensions of the HJM theory.
King's College London
Financial Mathematics Short Course on
The Mathematical Theory of Interest Rate Models
8 - 9 November 2001 All lectures will take place in the Hardy Room, London Mathematical Society, De Morgan House, 57-58 Russell Square, London. Day 1. General theory of interest rate dynamics. Registration Discount bonds and interest rates. Market conventions. Libor and swap rates. Short rates and forward short rates. Positive interest conditions. Interest rate derivative structures. Coffee Buffet lunch Stochastic dynamics for risky assets. No arbitrage and market completeness conditions. Derivatives hedging and replication. Existence and uniqueness of relative risk process. Change of measure, risk neutral valuation. Pricing kernel and natural numeraire. Coffee Price processes for discount bonds, no arbitrage and market completeness conditions. Interest rate volatility and correlation. Short rate and instantaneous forward rate processes. Heath-Jarrow-Morton (HJM) framework. General methodology for the valuation and hedging of interest rate derivatives. Coffee Review of the Flesaker-Hughston framework. Integral formulae for discount bonds. Supermartingale and potentials, Rogers' approach.

18. ScienceDirect - Physica B: Condensed Matter : Application Of Preisach Model To A
The mathematical theory of hysteresis can provide a tool for a “fine tuning” of microscopic Models (through “mesoscopic coarse graining”) to match the
Athens/Institution Login Not Registered? User Name: Password: Remember me on this computer Forgotten password? Home Browse My Settings ... Help Quick Search Title, abstract, keywords Author e.g. j s smith Journal/book title Volume Issue Page Physica B: Condensed Matter
Volume 372, Issues 1-2
, 1 February 2006, Pages 219-221
Proceedings of the Fifth International Symposium on Hysteresis and Micromagnetic Modeling
Full Text + Links PDF (137 K) Related Articles in ScienceDirect Analysis of Sorption Hysteresis in Mesoporous Solids Us...
Journal of Colloid and Interface Science

Analysis of Sorption Hysteresis in Mesoporous Solids Using a Pore Network Model
Journal of Colloid and Interface Science Volume 156, Issue 2 15 March 1993 Pages 285-293
Hailing Liu, Lin Zhang and Nigel A. Seaton
PDF (505 K) A general model for sorption hysteresis in food materia...
Journal of Food Engineering
A general model for sorption hysteresis in food materials Journal of Food Engineering Volume 33, Issues 3-4 August-September 1997 Pages 421-444 W. Yang, S. Sokhansanj, S. Cenkowski, J. Tang and Y. Wu

19. Research Division Of Mathematical Theory And Applications Of Electromagnetic Fie
Research Division of mathematical Theory and Applications of . (mathematical Models and computing algorithms for the inductive heating of a copper band).
Rolf Nevanlinna Institute University of Helsinki Funet
Research Division of Mathematical Theory and Applications of Electromagnetic Fields
Jukka Sarvas Prof. Research Division Head Seppo Järvenpää Lic.Phil. Research Assistant Matti Lassas Ph.D. Researcher Petri Ola Ph.D. Senior Researcher Erkki Somersalo Visiting Professor Matti Taskinen Research Assistant Pekka Tietäväinen Research Assistant Marko Ukkola M.Sc. Research Assistant Simopekka Vänskä Lic.Phil. Research Assistant Pasi Ylä-Oijala Ph.D. Researcher Lisa Zurk Visiting Professor
Research Projects
Inverse Boundary, Scattering and Spectral Problems
Petri Ola, Matti Lassas and Simopekka Vänskä In electromagnetic and acoustic inverse problems the main question is to determine the material parameters of a body from the data measured on the surface of the body or from the scattered data. This research in our institute is carried out in collaboration with Helsinki University of Technology (Prof. E. Somersalo), University of Oulu (Prof. L. Päivärinta), University of Rochester (Prof. A. Uhlmann), Rensselaer Polytechnic Institute (Prof. M. Cheney) and University of Loughborough (Prof. Y. Kurylev). The research has been theoretically oriented. In the 2-dimensional anisotropic problem Sylvester's and Nachmans's (non)uniqueness result has been extended to conductivities in W

20. NSF Mathematical Sciences Institutes: Events
Go Back. SAMSI Monday, January 21, 2008 Wednesday, January 23, 2008. Workshop EXTREMES Events, Models and mathematical Theory.

21. VISAPP 2008 - International Conference On Computer Vision Theory And Application
The main subgoals are developing and applying of mathematical theory for constructing image Models accepted by efficient pattern recognition algorithms and
rd International Conference on
Computer Vision Theory and Applications 22 - 25 January, 2008 Funchal, Madeira - Portugal VISAPP is part of VISIGRAPP - The International Joint Conference on Computer Vision and Computer Graphics Theory and Applications
Registration to VISAPP allows free access to GRAPP conference Home Call for Papers Program Committee Keynote Lectures ... Previous Awards Co-organized by:
The First International Workshop on on Image Mining
Theory and Applications
(IMTA 2008) 22 January, 2008 - Funchal, Madeira - Portugal In conjunction with the 3rd International Conference on Computer Vision Theory and Applications - VISAPP 2008 Chairs
Igor Gurevich
Dorodnicyn Computing Center, Russian Academy of Sciences
Moscow, the Russian Federation Heinrich Niemann
Friedrich-Alexander-University of Erlangen-Nürnberg Germany Ovidio Salvetti Institute of Information Science and Technologies, Italian national Research Council

22. Nicola Bellomo
N. BELLOMO, M. DELITALA and V. COSCIA, On the mathematical theory of vehicular traffic flow I. Fluid dynamic and kinetic modelling, Math. Models Meth.
Nicola Bellomo
Professor of Mathematical Physics and Applied Mathematics - Facoltà di Ingegneria - Politecnico di Torino Member of the Academic Senate of the Politecnico di Torino: Coordinator of the Scientific Research Board (1992-2001). Member of the Scientific Board of the Gruppo Nazionale Fisica Matematica (G.N.F.M.) of the Istituto Nazionale di Alta Matematica (I.N.D.A.M.) (1996-2003) Member of the Scientific Board of the Istituto Nazionale di Alta Matematica (I.N.D.A.M.) (from 2003) tel: +39 011 564 7514 - Fax: +39 011 5647599 - e-mail : Research Team: Workgroup on Complex Dynamical Systems Teaching Activity; Scientific Activity;
Teaching activity
Applied Mathematics and Mathematical Physics for mathematical and electronic engineers
Scientific Activity
  • Fields of interest:
      Analytic and computational methods for nonlinear problems in applied sciences; Mathematical models in immunology and biology; Mathematical methods in nonlinear kinetic theory;

23. Annual Reviews - Error
THE mathematical THEORY OF FRONTOGENESIS B. J. Hoskins Department of Atmospheric frontogenesis Models mathematical formulation and solution.
An Error Occurred Setting Your User Cookie A cookie is a small amount of information that a web site copies onto your hard drive. Annual Reviews Online uses cookies to improve performance by remembering that you are logged in when you go from page to page. If the cookie cannot be set correctly, then Annual Reviews cannot determine whether you are logged in and a new session will be created for each page you visit. This slows the system down. Therefore, you must accept the Annual Reviews cookie to use the system. What Gets Stored in a Cookie? Annual Reviews Online only stores a session ID in the cookie, no other information is captured. In general, only the information that you provide, or the choices you make while visiting a web site, can be stored in a cookie. For example, the site cannot determine your email name unless you choose to type it. Allowing a web site to create a cookie does not give that or any other site access to the rest of your computer, and only the site that created the cookie can read it. Please read our for more information about data collected on this site.

24. INI Programme NPA Workshop - Mathematical Theory Of Hyperbolic Systems Of Conser
A partial list of topics includes existence theory for multidimensional hyperbolic equations, transonic flow Models, mathematical modeling of liquidvapor
@import url("/css/prog-non_n4.css");
An Isaac Newton Institute Workshop
Mathematical Theory of Hyperbolic Systems of Conservation Laws
24 - 28 March 2003
Multiphase Fluid Flows and Multi-Dimensional Hyperbolic Problems
31 March - 4 April 2003 Organisers J Ballmann ( Aachen, Germany ), CM Dafermos ( Providence, USA ) and PG LeFloch ( Palaiseau, France ), R LeVeque ( Seattle, USA ), and EF Toro ( Trento, Italy in association with the Newton Institute programme entitled Nonlinear Hyperbolic Waves in Phase Dynamics and Astrophysics Programme - Week One Programme Week Two Participants ... Photos
Main Topics of Week One
Nonlinear hyperbolic systems of conservation laws govern a broad spectrum of physical phenomena, in compressible fluid dynamics, nonlinear material science, etc. Such equations admit solutions that may exhibit shock waves and other nonlinear waves (propagating phase boundaries, fluid interfaces, etc) which play a dominant role in multiple areas of physics. Recent developments on the theory of one-dimensional systems will be covered, including: entropy conditions, L1 well-posedness, singular limits, diffusive approximations, relaxation models, kinetic relations, shock wave structure, links with thermodynamics, etc.
Main Topics of Week Two
This second week will focus on multidimensional aspects of hyperbolic conservation laws and on computational methods with applications to multiphase flows. A partial list of topics includes: existence theory for multidimensional hyperbolic equations, transonic flow models, mathematical modeling of liquid-vapor flows, numerical schemes for multiphase flows, nonconservative hyperbolic systems, real fluids, material interfaces, etc.

25. Citebase - Fluctuations In Nonequilibrium Statistical Mechanics: Models, Mathema
Fluctuations in Nonequilibrium Statistical Mechanics Models, mathematical Theory, Physical Mechanisms. Authors Rondoni, Lamberto; MejiaMonasterio, Carlos

26. Fluids-E
mathematical theory of fluids gives designers data on virtual Models “The mathematical model would be similar to one for weather prediction.
Issue No 7: November 2003 Special fund for SARS research Work on forensic DNA improves clarity of the probability factor A closer look at meromorphic functions Optimisation for production schedules ... Reducing interference on mobile phones Mathematical theory of fluids gives designers data on virtual models Equation that can predict spots on a seashell Research shows that filters for sound and images are correct Short cut to finding best delivery route
A spin-off from mathematical research of fluid-dynamics may one day help provide more accurate mid-term weather forecasts for Hong Kong.
The research, at The Chinese University of Hong Kong, uses nonlinear partial differential equations to study the characteristics of air or gas Prof Xin with some of his students flows.

27. Book Mathematical Theory Of Thermodynamic Limits : Thomas Fermi Type Models, App
mathematical theory of thermodynamic limits Thomas Fermi type Models. Author(s) CATTO Publication date 071998 Language ENGLISH 276p. 16x24 Hardback
Search on All Book CD-Rom eBook Software The french leading professional bookseller Description
Mathematical theory of thermodynamic limits : Thomas Fermi type models Author(s) : CATTO
Publication date : 07-1998
Language : ENGLISH
276p. 16x24 Hardback
Status : In Print (Delivery time : 12 days)
Subject areas covered:
  • Mathematics and physics Applied maths and statistics Applied maths for physics
  • Mathematics and physics Applied maths and statistics Applied maths for chemistry
New search
Your basket
Information New titles
E-books Customer services Open an account Ordering non-listed items Order tracking Help Back to the home page Company information Terms and conditions Partner's sites ... basket Special Offer New Le capitalisme cognitif : apports et perspectives (European Journal of Economic and Social Systems Vol.20 n° 1/2007)

28. Mathematical Theory Of Hyperbolic Systems Of Conservation Laws - Storming Media
A partial list of topics includes existence theory for multidimensional hyperbolic equations, transonic flow Models, mathematical modeling of liquid vapor
Are you from the UK? Click here for our UK site.
  • Home About Us Contact Us ... Fluid Mechanics
    Mathematical Theory of Hyperbolic Systems of Conservation Laws
    Authors: P. LeFloch CAMBRIDGE UNIV (UNITED KINGDOM) Abstract: The Final Proceedings for Mathematical Theory of Hyperbolic Systems of Conservation Laws, 24 March 2002 - 4 April 2003 The first week will focus on recent developments on the theory of one-dimensional, nonlinear hyperbolic systems of conservation laws including: entropy conditions, L1 well-posedness, singular limits, diffusive approximations, relaxation models, kinetic relations, shock wave structure, links with thermodynamics, and compressible fluid dynamics. The second week will focus on multidimensional aspects of hyperbolic conservation laws and on computational methods with applications to multiphase flows. A partial list of topics includes: existence theory for multidimensional hyperbolic equations, transonic flow models, mathematical modeling of liquid- vapor flows, numerical schemes for multiphase flows, nonconservative hyperbolic systems, real fluids, and material solid or fluid interfaces.
    Limitations: APPROVED FOR PUBLIC RELEASE Description: Final rept. 24 Mar-4 Apr 2003

29. Mathematical Model Of The Spatio-temporal Dynamics Of Second Messengers In Visua
Some have generated a mathematical model for the radial diffusion within a the mathematical theories of homogenization and concentrated capacity are
@import url(/css/us/pub_page_article.css); @import url(/css/us/template_503.css); @import url(/css/us/tabs_503.css); @import url(/css/us/fa_bnet.css); @import url(; BNET Research Center Find 10 Million Articles Advanced Search Find in free and premium articles free articles only premium articles only this publication Arts Autos Business Health News Reference Sports Technology
Explore Publications in:
all Arts Autos Business ... Technology
Content provided in partnership with
FIND IN free and premium articles free articles only premium articles only this publication Arts Autos Business Health News Reference Sports Technology Advanced
Mathematical model of the spatio-temporal dynamics of second messengers in visual transduction
Biophysical Journal Sep 2003 by Andreucci, D Bisegna, P Caruso, G Hamm, H E ... DiBenedetto, E ABSTRACT
Most Popular Articles
in Reference
Most Popular Publications
in Reference

30. UC Davis Math: Profile_files
The mathematical theory of shockwaves has provided a unified conceptual picture shock-wave solution of the Einstein equations that Models a blast wave.
Contact Us Contact Us People Courses ... Site Map
(John) Blake Temple
Home page:
Position: Professor
Year joining UC Davis:
Ph.D., 1980, University of Michigan
Refereed publications: Via Math Reviews
Professor Blake Temple's primary field of research is the mathematical theory of shock waves. He is currently involved in developing a theory of shock wave propagation for the Einstein equations of general relativity. Professor Temple has spent two decades contributing to the mathematical theory of shock waves. His early work was on geometrical aspects of shock wave interactions, c.f. . In 1965, James Glimm introduced the idea that the study of weak solutions with shock waves could be reduced to a study of wave interactions. Glimm's paper revolutionized the subject, and his ideas and methods of analysis remain the foundation of the mathematical theory to this day. Temple's recent focus has been on the theory of shock-wave propagation in general relativity. . In , Temple and his co-worker Smoller were the first to construct an exact shock-wave solution of the Einstein equations that models a blast wave. In this model, the shock-wave discontinuity is in the curvature of spacetime itself. Temple and Smoller have gone on to construct several examples of shock waves in general relativity, including a model for the expanding universe in which a shock wave is present at the leading edge of the expansion of the galaxies that we measure by the Hubble constant

31. IngentaConnect Fluctuations In Nonequilibrium Statistical Mechanics: Models, Mat
Fluctuations in nonequilibrium statistical mechanics Models, mathematical theory, physical mechanisms. Authors Rondoni, Lamberto; MejíaMonasterio, Carlos
var tcdacmd="dt";

32. Keith Price Bibliography Other Description Techniques
s, ICCV87(602606). BibRef 8700 Mumford, D.David, mathematical theories of Shape Do They Model Perception?,......The Problem of Robust Shape
11.13 Other Description Techniques
Chapter Contents (Back) Descriptions, Three-Dimensional Descriptions, General Clarke, J.H.
Hierarchical Geometric Models for Visible Surface Algorithms
, No. 10, October 1976, pp. 547-554. BibRef Brown, C.M.
Some Mathematical and Representational Aspects of Solid Modeling
, No. 4, July 1981, pp. 444-453. BibRef Douglass, R.M.
Interpreting 3-D Scenes: A Model-Building Approach
, No. 2, October 1981, pp. 91-113.
WWW Version
Recognition and Depth Perception of Objects in Real World Scenes
Nakamura, A. , and Aizawa, K. On the Recognition of Properties of Three-Dimensional Pictures PAMI(7) , No. 6, November 1985, pp. 708-713. BibRef Zhao, F.[Feng] Machine Recognition as representation and search: A Survey PRAI(5) , 1991, pp. 715-747. Survey, Representation BibRef Earlier: Machine Recognition as Representation and Search MIT AI Memo -1189, December 1989. BibRef Sander, P.T. Generic Curvature Features from 3-D Images SMC(19) , No. 6, November/December 1989, pp. 1623-1636. Curvature Three-Dimensional BibRef Rolland, F.

33. New Hot Paper Comment By Nicola Bellomo
N. Bellomo and G. Forni, Looking for new paradigms towards a biologicalmathematical theory of complex multicellular systems, mathematical Models and
All Topics Menu
About Contact ...
New Hot Papers Menu
By Nicola Bellomo ESI Special Topics, May 2006
Citing URL - Nicola Bellomo answers a few questions about this month's new hot paper in the field of Mathematics. May 2006
Field: Mathematics
Article Title: Mathematical topics on the modelling complex multicellular systems and tumor immune cells competition

Authors: Bellomo, N ;Bellouquid, A;Delitala, M
Volume: 14
Issue: 11
Page: 1683-1733 Year: NOV 2004 * Politecn Turin, Dept Math, Corso Duca Abruzzi 24, I-10129 Turin, Italy. * Politecn Turin, Dept Math, I-10129 Turin, Italy. Why do you think your paper is highly cited? This paper deals with one of the most challenging research perspectives of this century: the mathematical description of living matter. The scientific community is aware that a great revolution of the 21

34. NPL: Mathematical Theory
The mathematical Theory Behind Virtual Testing. Virtual testing is the use of high performance computers in conjunction with high quality Models to predict
FEEDBACK ... Virtual Testing:
Mathematical Theory
Current Development

The Future

Further Reading
Related Pages:
Laminate Damage Simulation

Composites Group

Visual Modelling
External Sites:
NPL is not responsible for the content of external web sites
3D Molecules Virtual Body More Links...
The Mathematical Theory Behind Virtual Testing
Virtual testing is the use of high performance computers in conjunction with high quality models to predict the properties of materials. A Composite material is a laminated assembly of individual plies, made of aligned fibres reinforcing a polymer matrix, having various orientations.
  • The models should be robust enough for use in virtual testing
  • Their limits of validity should be well established
  • They should be able to be used for engineering design
  • Engineers should find them easy to use
Follow the links below to find out about the model that was developed to meet these requirements.

35. Springer Online Reference Works
Areas 1) through 4) constitute the core of the mathematical theory of computation. It led to a discussion of general Models of computation.

Encyclopaedia of Mathematics
Article referred from
Article refers to
Mathematical theory of computation
The last twenty years have witnessed most vigorous growth in areas of mathematical study connected with computers and computer science. The enormous development of computers and the resulting profound changes in scientific methodology have opened new horizons for the science of mathematics at a speed without parallel during the long history of mathematics. Because of reasons outlined above, mathematics plays a central role in the foundations of computer science. A number of significant research areas can be listed in this connection. It is interesting to note that these areas also reflect the historical development of computer science. 1) The classical computability theory initiated by the work of A. Tarski A. Church E. Post A. Turing , and S.C. Kleene occupies a central position. This area is rooted in mathematical logic (cf. Computable function 2) In classical formal language and automata theory, the central notions are those of an automaton , a grammar (cf., e.g.

36. Program On Bose-Einstein Condensation And Quantized Vortices In Superfluidity An
Emphasis will be placed on the development of various kinds of scientific Models, mathematical theory and numerical algorithms for studying BEC.
var imgdir = "../../images/"; var urldir = "../../"; Back to Programs and Activities Workshops online registration form
Membership application form
PDF PS Enquiries

Scientific aspects

Group Photo
Workshop 1
Workshop 2
Bose-Einstein Condensation and Quantized Vortices in Superfluidity and Superconductivity
(1 Nov - 31 Dec 2007)
Organizing Committee Confirmed Visitors Overview Activities ... Membership Application Organizing Committee Co-chairs
  • Weizhu Bao (National University of Singapore) Fanghua Lin (Courant Institute, New York University)
  • Jiangbin Gong (National University of Singapore) Dieter Jaksch (University of Oxford) Baowen Li (National University of Singapore)
Confirmed Visitors Overview Since its realization in dilute bosonic atomic gases in 1995, Bose-Einstein condensation (BEC) of alkali atoms and hydrogen atoms has been produced and studied extensively in the laboratory. This has spurred great excitement in the atomic physics community and renewed the interest in studying collective dynamics of macroscopic ensembles of atoms occupying the same one-particle quantum state and quantized vortex in superfluidity. Theoretical predictions of the properties of BEC like the density profile, collective excitations and the formation of quantized vortices can now be compared with experimental data.

37. European Journal Of Human Genetics - Bases, Bits And Disease: Bases, Bits And Di
Bases, Bits and Disease Bases, bits and disease a mathematical theory of . twolocus epistasis Models such as those described by Li and Reich.8 The
Login Search This journal All of Advanced search Journal home Advance online publication 31 October 2007 Full text
News and Commentary
European Journal of Human Genetics advance online publication 31 October 2007; doi: 10.1038/sj.ejhg.5201936
Bases, Bits and Disease: Bases, bits and disease: a mathematical theory of human genetics
Jason H Moore Correspondence: JH Moore, Computation Genetics Laboratory, Dartmouth-Hitchcock Medical Center, One Medical Center Drive, 706 Rubin Building, HB7937, Lebanon, NH 03756, USA. Tel: +1 001603 653 9939; Fax: +1 001603 653 9900; E-mail: The parametric statistical paradigm has served us well over the years but now is the time to explore a wide range of different analytical methods for complex problem solving from a diversity of fields such as computer science, mathematics, etc. The paper by Dong et al on page xxx of this issue explores the use of information theory for the genetic analysis of complex human diseases. Information theory was launched as a formal discipline in 1948 with the publication of Shannon's AA and aa genotypes are each represented in 25 cases and 25 controls, while the

38. Mathematical Methods Of Population Genetics
The mathematical Models of population genetics describe the gene frequency Fisher R. A. The Genetical Theory of Natural Selection, 2nd edition,
Mathematical Methods of Population Genetics
The mathematical methods of population genetics theory characterize quantitatively the gene distribution dynamics in evolving populations [1-3]. There are two types of models: deterministic and stochastic. Deterministic models are based on the approximation of an infinitely large population size. In this case the fluctuations of gene frequencies (in a gene distribution) can be neglected and the population dynamics can be described in terms of the mean gene frequencies. The stochastic models describe the probabilistic processes in finite size populations. Here we review very briefly the main equations and mathematical methods of population genetics by considering the most representative examples.
Deterministic models
Let's consider a population of diploid organisms with several alleles A A A K in some locus . We assume that the organism fitness is determined mainly by the considered locus. Designating the number of organisms and the fitness of the gene pair A i A j by n ij and W ij , respectively, we can introduce the genotype and gene frequencies P ij and P i , as well as the mean gene fitnesses W i in accordance with the expressions [1,2,4]:

39. Absolutely Regular: Transgressing The Boundaries: Toward A Non-Hegemonic Feminis
I spoke of Models to appeal to Leothe-Platonist. Whether mathematical abstractions are used as For example, is Von Neuman game theory pure math or not?
skip to main skip to sidebar
Absolutely Regular
A math/computer science research blog
Monday, January 15, 2007
Transgressing the Boundaries: Toward a Non-Hegemonic Feminist Mathematical Theory
The title is an homage to Alan Sokal's witty demonstration of the vapidity of the whole postmodernism industry. I've always considered myself rather fortunate, as a mathematician, to engage in research safely outside the reach of the PC commissars. Yet every now and again the hydra thrusts one of its many heads into our pristine art; this time, under the heading of "social justice". I am not going to attempt to define justice here (I am not even sure that I can at all), but if there's one thing I'm sure of, it's that mathematics has nothing to do whatsoever with justice, or for that matter, with any aspect of the physical world. Sure physicists and engineers have used mathematical tools with great success to build scientific theories and neat gadgets. But math lives in its own separate Platonic world and we mere mortals can only hope for an occasional peek inside (much as no one "invented" electricity, there are no mathematical "inventions", only discoveries).
Which brings us to this pearl of wisdom (via Alexandre Borovik
The content of mathematics is typically thought of as neutral. That is, to most, mathematics is considered a domain that is devoid of ethical-moral implications. One can use mathematics for whatever purposes one wishes, but the mathematics itself is not good or bad, it just is. If I am right and mathematics classrooms frequently teach powerlessness, then the notion that mathematics is essentially neutral needs to be revisited.

40. Differential Games: A Mathematical Theory With Applications To Warfare And Pursu
Dynamic Programming Models and Applications by Eric V. Denardo This comprehensive overview of the mathematical theory of games illustrates applications
African-American History M...... After Christmas Clearance American History, American...... American Indians Antiques Architecture Art Art Activity Packs Bridge and Other Card Game...... Business and Economics Chess Children Clip Art and Design on CD-...... Clip Art in Books (Pictori...... Coloring Books Cookbooks, Nutrition Crafts Creative Homeowner Detective, Ghost , Superna...... Dover Bargain Bin Dover Fun Kits Dover Patriot Shop Dover Pocket Puzzles Empower Your Life Ethnic Interest Features Gift Certificates Gift Ideas Great Value Sets History, Political Science...... Holidays Humor I Can Draw Sets Languages and Linguistics Literature Magic, Legerdemain Military History, Weapons ...... Music Nature Occult and Esoteric Studie...... Paper Dolls Performing Arts, Drama, Fi...... Philosophy and Religion Photography Posters Princess Leonora Psychology, Education Puzzles, Amusement, Recrea...... Science and Mathematics Shakespeare Shop Sociology, Anthropology, M...... Sports, Out-of-Door Activi...... Stained Glass Coloring Fun...... Stained Glass Coloring Kit...... Stationery, Seasonal Books......

41. MTO New Book Announcements
mathematical Theory of Music. (Sampzon, France Ircam and Editions Delatour, which appear in mathematical music theory as carriers for Models of some

42. Human Relations -- Sign In Page
Towards a mathematical Theory of Influence and Attitude Change. Michael Taylor. References. ABELSON, R. P. (1964). mathematical Models of the Distribution
SAGE Website Help Contact Us Home ... Sign In to gain access to subscriptions and/or personal tools.
This item requires a subscription to Human Relations Online.
Towards a Mathematical Theory of Influence and Attitude Change
Taylor Human Relations.
To view this item, select one of the options below: Sign In
Already an individual subscriber?
If so, please sign in to SAGE Journals Online with your User Name and Password. User Name Sign in without cookies.
Can't get past this page?

Help with Cookies.

Need to Activate?

Password Forgot your user name or password? Purchase Short-Term Access Pay per Article - You may access this article (from the computer you are currently using) for 1 day for US$15.00 Regain Access - You can regain access to a recent Pay per Article purchase if your access period has not yet expired. Athens users Sign in via Athens :As long as your institution has a current subscription to the material requested, access is available using your Athens username and password. Contact your library if you do not have an Athens username and password or if your library does not subscribe to the material you are seeking. List of Athens registered sites , including contact details.

43. Summer School At The EPFL, Lausanne, Switzerland
mathematical theory, modelling and applications Arterial Mass Transport Models. Dynamics of Solutes in the Vascular System, K. Perktold. 15301630
Summer School on
Modelling of the Cardiovascular System:
mathematical theory, modelling and applications


This summer school will be held in Lausanne at the EPFL, 25 - 30 August 2003, and it is organized in the framework of the RTN EU project HaeMOdel

Summer school site

Practical information

  • L. Formaggia, Politecnico di Milano, Italy J.F. Gerbeau, INRIA, France Y. Maday, V. Milisic, EPFL, Switzerland R. Owens, EPFL, Switzerland Imperial College, UK K. Perktold, TU Graz, Austria A. Quarteroni, EPFL, Switzerland L.K. von Segesser, CHUV, Switzerland A. Sequeira, M. Thiriet, A. Veneziani, Politecnico di Milano, Italy P. Zunino, EPFL, Switzerland
Summer School Preliminary Program Day Time Topics Lecturer Monday Introduction to the Finite Element Method: Mathematical Aspects A. Quarteroni Coffee Break Introduction to the Finite Element Method: Computational Aspects A. Veneziani Lunch Welcome and Opening Vascular Fluid Dynamics: An Introduction K. Perktold

44. First-order Model Theory (Stanford Encyclopedia Of Philosophy)
mathematical model theory carries a heavy load of notation, and HTML is not the best container for it. In what follows, syntactic objects (languages,
Cite this entry Search the SEP Advanced Search Tools ...
Please Read How You Can Help Keep the Encyclopedia Free
First-order Model Theory
First published Sat Nov 10, 2001; substantive revision Tue May 17, 2005 First-order model theory, also known as classical model theory, is a branch of mathematics that deals with the relationships between descriptions in first-order languages and the structures that satisfy these descriptions. From one point of view, this is a vibrant area of mathematical research that brings logical methods (in particular the theory of definition) to bear on deep problems of classical mathematics. From another point of view, first-order model theory is the paradigm for the rest of model theory ; it is the area in which many of the broader ideas of model theory were first worked out.
1. First-order languages and structures
A a ). Two exceptions are that variables are italic ( x y ) and that sequences of elements are written with lower case roman letters (a, b).

45. Model Theory - Wikipedia, The Free Encyclopedia
This article discusses model theory as a mathematical discipline and not the term In mathematics, model theory is the study of (classes of) mathematical
var wgNotice = ""; var wgNoticeLocal = ""; var wgNoticeLang = "en"; var wgNoticeProject = "wikipedia";
Model theory
From Wikipedia, the free encyclopedia
Jump to: navigation search
This article discusses model theory as a mathematical discipline and not the term mathematical model which is used informally in other parts of mathematics and science.
In mathematics model theory is the study of (classes of) mathematical structures such as groups fields graphs or even models of set theory using tools from mathematical logic . Model theory has close ties to algebra and universal algebra This article focuses on finitary first order model theory of infinite structures. The model theoretic study of finite structures (for which see finite model theory ) diverges significantly from the study of infinite structures both in terms of the problems studied and the techniques used. Model theory in higher-order logics or infinitary logics is hampered by the fact that completeness does not in general hold for these logics. However, a great deal of study has also been done in such languages.

46. The Information-Loss Model: A Mathematical Theory Of Age-Related Cognitive Slowi
EJ494098 The Information-Loss Model A mathematical Theory of Age-Related Cognitive Slowing.

47. CiteULike: A Mathematical Theory Of Citing
We solve the model using methods of the theory of branching processes, and find that it can priority = {4}, title = {A mathematical theory of citing},
Register Log in FAQ
  • Search groups Profile Library Watchlist ... Import
    A mathematical theory of citing
    Online Article
    Note: You or your institution must have access rights to this article. CiteULike will not help you view an online article which you aren't authorized to view.
    Copy-and-Pasteable Citation
    (14 April 2005) Citation format: Plain APA Chicago Elsevier Harvard MLA Nature Oxford Science Turabian Vancouver
    yish's tags for this article
    Other users who have posted this article
    Groups containing this article
    Everyone's tags for this article
    Note: You may cite this page as: EndNote BibTeX
    yish's tags
    All tags in yish's library Filter: abstraction achievment acquisitionist acting ... zpd CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

48. Wiley::The Mathematical Theory Of Selection, Recombination, And Mutation
mathematical Epidemiology of Infectious Diseases Model Building, Analysis and and discussion of the general theory of selection at two or more loci,,,0471986534,00.html
United States Change Location

49. Aesthetic Measures
A mathematical Theory of Interface Aesthetics The paper begins with an introduction to the aesthetic model, and then summarises and reviews the
A Mathematical Theory of Interface Aesthetics David Chek Ling Ngo and Lian Seng Teo Faculty of Information Technology Multimedia University 63100 Cyberjaya, Malaysia John G. Byrne Department of Computer Science Trinity College Dublin 2, Ireland Abstract An important aspect of screen design is aesthetic evaluation of screen layouts. While it is conceivable to define a set of variables that characterize the key attributes of many alphanumeric display formats, such a task seems difficult for graphic displays because of their much greater complexity. This article proposes a theoretical approach to capture the essence of artists' insights with fourteen aesthetic measures for graphic displays. The formalized measures include balance, equilibrium, symmetry, sequence, cohesion, unity, proportion, simplicity, density, regularity, economy, homogeneity, rhythm, and order and complexity. The paper concludes with some thoughts on the direction which future research should take. Keywords: Screen design, interface aesthetics, aesthetic measures, aesthetic characteristics, multi-screen interfaces 1. Introduction

50. Revista De Saúde Pública - The Reversible Catalytic Model And The
Comentário The reversible catalytic model and the mathematical theory of epidemics. O modelo catalítico reversível e a teoria matemática de epidemias

51. Theory Mathematical Content At ZDNet UK
White Papers This paper uses mathematical techniques from communication theory to model and analyze low power wireless links. The wireless sensor networks mathematical.htm

You are here: Search var activeQuery = "theory mathematical"; var url_base = ""; All content for
'theory mathematical'.
results. Displaying:
Date Relevance Previous Next
An Overview Of The Capabilities And Applications Of CorvilNet
White Papers CorvilNet is the only IP measurement and analysis technology that is based upon the same mathematical insight as risk theory , classical thermodynamics, and information theory . These limitations can now be replaced with CorvilNet's rigorous... [Find Related Articles] [October 11, 2004, 0:00]
Rupert Goodwins' Diary
Blog Virtually unknown outside telecommunications and mathematical circles, he was a mathematician who single-handedly invented information theory which makes modems and cellphones and all manner of communications work. [Find Related Articles] [March 9, 2001, 15:45]
Data Compression Solution Or Impossible Dream?
News Basic mathematical theory , however, limits such a technique. George isn't refuting the

52. - Portal To Econometrics, Economisc Statistics
Econometrics is derived from several disciplines, including mathematical economics, statistics, economic statistics, and economic theory.
Econometrics is derived from several disciplines, including mathematical economics, statistics, economic statistics, and economic theory. The goal of econometrics is twofold: to give economic theory empirical data and to empirically verify it. It is a study that produces measurements, where qualitative data is turned into quantitative mathematical forms. Once this is performed, these statements can then be empirically proven, disproven, measured, and compared. Despite common assumption, econometrics is not statistics, differing in one important aspect: the study of statistics is performed in controlled experiments, whereas econometrics often has to deal with data as is. An important tool used in econometrics is regression analysis , which can further be divided into time-series analysis, and cross-sectional analysis. Time-series analysis examines and measures variables over a certain period of time. Cross-sectional analysis studies the correlation between different variables at a point in time. Time-series and cross-sectional analysis can be performed simultaneously on the same sample, which is then called panel analysis. However, like many statistical methods, econometrics has garnered several criticisms, especially in the 1970s. Econometrics can produce inaccurate results if, for instance, a relationship between two variables is measured linearly when it should be curved. There are several

53. Contents, Volume 2
Examines a historical and mathematical connection between C.S. Peirce s algebra of . This paper surveys some problems in the model theory of uncountable
Modern Logic
Contents and abstracts for Modern Logic Volume 2
Vol. 2, no. 1 Vol. 2, no. 2 Vol. 2, no. 3 Vol. 2, no. 4
Modern Logic /1, September 1991
Irving H. ANELLIS Editor's Note: Burgin and the theory of named sets Modern Logic
Brief discussion of the origin of Burgin's and Kuznetsov's work on the theory of named sets. The structure and development of mathematical theories Modern Logic
The authors present a description of the theory of named sets and give an application of the theory to a category-theoretic analysis of the structure and development of mathematical theories. Thomas DRUCKER Discussion. History and grammar Modern Logic
A brief summary and critical assessment of Colin McLarty's treatment of the history of topos theory. Jacqueline BRUNNING C.S. Peirce's relative product Modern Logic
Examines a historical and mathematical connection between C.S. Peirce's algebra of relations and Benjamin Peirce's linear associative algebra, showing that the central operation in the algebra of relatives of relative product was borrowed from the multiplicative operation of linear associative algebra. Fania CAVALIERE Review-essay of N.A. Vasil`ev

54. A Mathematical Theory Of Citing
A mathematical theory of citing. Source, Journal of the American Society for We solve the model using methods of the theory of branching processes,

55. Session HE - Nuclear Theory II.
We propose a multishell shell model for heavy nuclei. . HE.015 Examples of The Elementary mathematical Theory of Parallelism, Convergence and

Previous session
Next session
Session HE - Nuclear Theory II.
ORAL session, Saturday afternoon, October 12
Room 103 A/B, Kellogg Center
[HE.001] A Multi-Shell Shell Model For Heavy Nuclei
Yang Sun (University of Notre Dame), Cheng-Li Wu (National Center for Theoretical Sciences, Hsinchu 300, Taiwan) The difficulty of performing a shell model calculation for heavy nuclei has been a long-standing problem in nuclear physics. Because of this, the study of nuclear structure in heavy nuclei has relied mainly on the mean field approximations. However, the necessity of the proper quantum mechanical treatment of nuclear states has been growing, and we are now facing the challenge of understanding the nuclear structure problems in many exotic systems that are important for nuclear astrophysics. Great effort has been devoted to developing a shell model for heavy nuclear system, but still there is a long way to go. The current large-scale shell model diagonalization can be best applied only up to the full pf-shell space. We propose a multi-shell shell model for heavy nuclei. The central idea of this proposal is to take the advantages of two existing models: the Projected Shell Model (PSM) [1] and the Fermion Dynamical Symmetry Model (FDSM) [2]. The PSM treats successfully the quasi-particle excitations and their coupling to the rotational motion, whereas the FDSM handles efficiently various low-spin collective excitation modes from the spherical to the well-deformed region. The new model that we suggest is able to describe simultaneously the single-particle and the collective excitations, yet keeping the model space tractable even for the heaviest system.

56. Science Links Japan | Mathematical Theory Of Navier-Stokes Equations And Turbule
Title;mathematical Theory of NavierStokes Equations and Turbulence Model. Author;YOSHIDA ZENSHO(Univ. Tokyo, Graduate School of Frontier Sci., JPN)
Home Opinions Press Releases ... Journal of Plasma and Fusion Research(2002)
Mathematical Theory of Navier-Stokes Equations and Turbulence Model.
Accession number; Title; Mathematical Theory of Navier-Stokes Equations and Turbulence Model. Author; YOSHIDA ZENSHO(Univ. Tokyo, Graduate School of Frontier Sci., JPN) Journal Title; Journal of Plasma and Fusion Research
Journal Code:
ISSN: VOL. NO. PAGE. REF.2 Pub. Country; Japan Language; Japanese Abstract; The Navier-Stokes (NS) system of equations is a central paradigm of nonlinear partial differential equations describing nonintegrable dynamics. The mathematical analysis of the NS system invokes a priori estimates for the energy and enstrophy. The difficulty stemming from the vortex-tube stretching effect is explained. By replacing the convective nonlinear term by a random noise term, one can develop a statistical model of turbulence. The mathematical framework of such modeling is also reviewed. (author abst.) BACK About J-EAST How to use List of Publications ... FAQ

57. Read This: An Introduction To The Mathematical Theory Of Waves
context of a mathematical model of traffic flow (adapted from Haberman s book Publication Data An Introduction to the mathematical Theory of Waves,
Read This!
The MAA Online book review column
An Introduction to the Mathematical Theory of Waves
by Roger Knobel
Reviewed by Mark McKibben
An Introduction to the Mathematical Theory of Waves Mathematical Models: Mechanical Vibrations, Population Dynamics, and Traffic Flow ). These topics include a discussion of the method of characteristics, shocks, gradient catastrophes, and the notion of a weak solution. Appropriate use of computer-algebra systems (primarily Matlab) is integrated throughout the text rather than being relegated to the end of the chapters as a "Lab Activity." The technology is used as the need for it naturally arises, for example when it helps to visualize the concept being presented. As a reader, at no time did I feel that the usage of the computer was contrived. (The necessary code is provided within the context of the material for the reader's convenience.) The exposition of the material is very clear. Particularly close attention is devoted to bridging the gap between the physical and mathematical elements of the theory, as well as providing all crucial computational details. This aids in the development of the reader's intuition of the subject. The book practically invites the reader to take this journey and it is written in such a way that the reader is not likely to get lost along the way. All in all, this book provides a sturdy bridge from a course on ordinary differential equations, and so I would recommend it, without batting an eyelash, to any of my differential equations students who wish to continue their study independently. Further, I feel that it could be very useable as a text for a first course in partial differential equations.

58. Elements Of Finite Model Theory - Mathematical Logic And Formal Languages Journa
Elements of Finite Model Theory Foundations of Computing. This book is an introduction to finite model theory which stresses the computer science origins

59. Artificial Intelligence Page Of Marcus Hutter
The mathematical theory, coined AIXI, (see next item) represents a formal problems arose from the construction of the timebounded AIXItl model.
[previous] [home] [search] Marcus' Artificial Intelligence Page [contact] [up] [next]
What is (Artificial) Intelligence? The science of Artificial Intelligence (AI) might be defined as the construction of intelligent systems and their analysis. A natural definition of systems is anything which has an input and an output stream. Intelligence is more complicated. It can have many faces like creativity solving problems pattern recognition classification learning induction deduction building analogies optimization surviving in an environment language processing knowledge and many more. A formal definition incorporating every aspect of intelligence, however, seems difficult. An important observation is that most, if not all known facets of intelligence can be formulated as goal driven or, more precisely, as maximizing some utility function. It is, therefore, sufficient to study goal driven AI. E.g. the (biological) goal of animals and humans is to survive and spread. The goal of AI systems should be to be useful to humans. The problem is that, except for special cases, we know neither the utility function, nor the environment in which the system will operate, in advance. The mathematical theory, coined AIXI, (see next item) represents a formal solution of these problems.
Universal Artificial Intelligence.

60. Towards A Mathematical Theory Of Primal Sketch And Sketchability
In this paper, we present a mathematical theory for Marr s primal sketch. We first conduct a theoretical study of the descriptive Markov random field model
var sc_project=2763585; var sc_invisible=0; var sc_partition=28; var sc_security="3c678009"; var addtoLayout=0; var addtoMethod=0; var AddURL = escape(document.location.href); // this is the page's URL var AddTitle = escape(document.title); // this is the page title Advanced Search CS Search Google Search

61. The Reversible Catalytic Model And The Mathematica...[Rev Saude Publica. 2006] -
The reversible catalytic model and the mathematical theory of epidemics. Codeco CT. Programa de Computacao Cientifica, Fundacao Instituto Oswaldo Cruz,

62. Model Theory -- From Wolfram MathWorld
Model theory is a general theory of interpretations of axiomatic set theory. It is the branch of logic studying mathematical structures by considering
Search Site Algebra
Applied Mathematics

Calculus and Analysis
... Model Theory
Model Theory Model theory is a general theory of interpretations of axiomatic set theory . It is the branch of logic studying mathematical structures by considering first-order sentences which are true of those structures and the sets which are definable in those structures by first-order formulas (Marker 1996). Mathematical structures obeying axioms in a system are called "models" of the system. The usual axioms of analysis are second order and are known to have the real numbers as their unique model. Weakening the axioms to include only the first-order ones leads to a new type of model in what is called nonstandard analysis SEE ALSO: Khovanski's Theorem Nonstandard Analysis Wilkie's Theorem [Pages Linking Here] REFERENCES: Doets, K. Basic Model Theory. New York: Cambridge University Press, 1996. Hodges, W. A Shorter Model Theory. New York: Cambridge University Press, 1997. Manzano, M. Model Theory. Oxford, England: Oxford University Press, 1999. Marker, D. "Model Theory and Exponentiation."

63. Michel PETITJEAN Homepage / The Mathematical Theory Of Chirality
The mathematical Theory of Chirality. . When the colored mixture model is adequate, the chiral index exists if and only if the inertia is finite and non
The Mathematical Theory of Chirality.
Last update: 11 September 2006
(Researcher, Dr., Habil.)
Author's professional address:
1 rue Guy de la Brosse, 75005 Paris, France.
I am author or coauthor of more than fourty scientific journal papers, but only some of them are cited on this website. People willing to get the full list of my publications or willing to know more about my scientific activities (supervision of doctoral students, conference organization, journal edition, etc.) should contact me at the address above.
The content of this page deals with chirality, symmetry, and probability theory, but most parts are readable by non specialists of these fields. A rigorous presentation is available on the papers cited in the text. These papers are available in PDF format upon request to me. The theory below is not related to physical interactions between light and matter. Related topics: Other topics:

64. Mathematical Theory Of Improvability For Production Systems
A mathematical model for continuous improvement processes in production systems is mathematical theory of improvability for production systems

65. Surprise! Computer Scientists Model The Exclamation Point
The pair s mathematical theory of surprise proposes an alternative mode for characterizing and quantifying information, distinct from Shannon s model a
Public release date: 28-Nov-2005
E-mail Article

Contact: Eric Mankin

University of Southern California
Surprise! Computer scientists model the exclamation point
Two Southern California engineers have created a mathematical theory of surprise, working from first principles of probability theory applied to a digital environment and the results of experiments recording eye movements of volunteers watching video seem to confirm it. Laurent Itti of the University of Southern California's Viterbi School of Engineering and Pierre Baldi of the University of California Irvine's Institute for Genomics and Bioinformatics, will present their results December 7, at the Neural Information Processing Systems (NIPS) Conference in Vancouver, B.C. Itti and Baldi went back to first principles in developing their theory, taking off from fundamental work by Claude Shannon creating (in the title of his classic 1948 paper) "A Mathematical Theory of Communication." The pair's mathematical theory of surprise proposes an alternative mode for characterizing and quantifying information, distinct from Shannon's model a subjective one. Shannon's technique is not about a specific observer, but any observer seeking to pick out a message from its noisy environment, or send one with an assurance it will be read accurately, according to Itti, a research assistant professor in the Viterbi School's department of computer science.

66. Winfried Gleissner 'Mathematical Theory For The Spread Of Computer Viruses' (VX
Keywords Computer viruses, mathematical model of virus infection .. approximation theory but later changed to pure mathematics and representation theory
VX Heavens
Home Upload Library Collection ... AV Check
A Mathematical Theory for the Spread of Computer Viruses
Winfried Gleissner
ISSN 0167-4048
February 1989 Download PDF file (400.13Kb)
Back to index
Industrieanlagen-Betriebgesellschaft mbH, Ottobrunn, FRG A model is introduced to treat the spread of computer viruses mathematically. A recurrence formula is given which allows a closed expression to be derived for the probability that, starting from an initial state, a given viral state will be reached after executing exactly k programs. In some special cases this recurrence formula can be used for numeric computations, It is shown that the infection process does not stop before all programs are infected, which are visible for any infected program in the initial state. Keywords: Computer viruses, Mathematical model of virus infection
1. The Situation
A computer virus is a program that can reproduce itself and modify other programs by including a possibly evolved copy of itself [1]. That means that whenever an infected program is called, the virus is implanted into another program, if there is any, of the account from where it was called. In refs 1 and 2 some experiments with this kind of program are described. The result was that within a few hours the whole computer system was infected. The aim of this paper is to develop a closed expression for the probability that any given program is infected after a given time. To achieve this aim it must be known which programs were initially infected and for each program one needs the probability that it is called. The use of a computer is regarded as a sequence of program calls.

67. The Mathematical Theory Of Listing
This article presents a mathematical model which allows one to answer this . Mundie, David A. The mathematical Theory of Birding / David A. Mundie
The Mathematical Theory of Listing
Any birder seriously interested in increasing his or her lifelist is frequently confronted with the question: "How may I best allocate my limited resources so as to maximize the number of new species on my list?" This article presents a mathematical model which allows one to answer this question, and a computer program, OrniMax, which applies the model to cencrete situations. In what follows, the theory is explained, for simplicity's sake, in terms of life birds, but it should be obvious that the same procedure can be applied to trip lists, year lists, state lists, or any other subset of birds in which a birder is interested. The mathematical formulations have been supplied, but they should not blind the non-mathematical reader to the broad outlines of the theory, nor to its practical applications. The mathematical theory of listing must address itself to three separate but interrelated questions. The ultimate question is: "Where should I go to get the greatest number of lifers?" This question can be answered only if, given a specific itinerary, one can answer the simpler question, "How many lifers may I expect to get if I make this trip?" And this in turn can be known only if one can answer, "What is the probability that I would see species j if I spent h hours birding at site i?" We shall take up these three questions in reverse order. 1. Species visibility.

68. NSF 01-20 - Opportunities For The Mathematical Sciences - Model Theory And Tame
However, I wish to discuss recent and possible future developments in model theory (a branch of mathematical logic) which have foundational imports of a
Table of Contents Preface Summary Article Individual Contributors Statistics as the information science Statistical issues for databases, the internet, and experimental data Mathematics in image processing, computer graphics, and computer vision Future challenges in analysis ... Complex stochastic models for perception and inference Model theory and tame mathematics Beyond flatland: the future of space and time Mathematics in molecular biology and medicine The year 2000 in geometry and topology Computations and numerical simulations ... List of Contributors with Affiliations
Model Theory and Tame Mathematics
A. Pillay
There are a number of ways in which modern logic affects mathematics, science and technology. This is maybe most obvious in the theory and practice of computation where the first rigorous models of computation were provided by the "recursion-theorists." One expects this to continue and deepen, especially at the level of software specification and verification. However, I wish to discuss recent and possible future developments in model theory (a branch of mathematical logic) which have foundational imports of a rather different nature, in which general frameworks for understanding non-pathological behavior have been developed. Abraham Robinson, who developed nonstandard analysis as well as the theory of model-completeness, was a pioneer of this kind of work. Other early work in this direction was Tarski's decision procedure for elementary Euclidean geometry

Page 1     1-75 of 75    1