「mathematical」の共起表現一覧(1語右で並び替え)5ページ目
該当件数 : 2001件
| Hay was recognized for her contributions to | mathematical logic and for her leadership as the head of |
| What is | Mathematical Logic John N. Crossley et al. |
| For the | mathematical logic concept, see abstract logic. |
| meaning in logic, and is currently used in | mathematical logic to denote a certain type of propositi |
| where he was appointed to the readership in | mathematical logic there which had become vacant upon th |
| ely known for his textbooks in the areas of | mathematical logic and set theory. |
| In the branches of | mathematical logic known as proof theory and type theory |
| y 45 historically important short pieces on | mathematical logic and axiomatic set theory, originally |
| neralized Erdos cardinals and 0#, Annals of | Mathematical Logic 15, 289-313, 1978 |
| merican mathematician active in set theory, | mathematical logic and foundations, and topology. |
| eory, some analogous notions are used as in | mathematical logic (giving rise to connections between t |
| In | mathematical logic, pattern calculus is a formalism that |
| In the formal sciences, mathematics, | mathematical logic, statistics, and their applied discip |
| In | mathematical logic, biconditional introduction is the ru |
| In | mathematical logic, simplification (equivalent to conjun |
| In | mathematical logic, a literal is an atomic formula (atom |
| In | mathematical logic, an axiom schema (plural: axiom schem |
| ogician Willard van Orman Quine in his book | Mathematical Logic, originally published in 1940. |
| finity and elementary embeddings, Annals of | Mathematical Logic, 13(1978), 73-116. |
| As part of his work on | mathematical logic, in connection with Hilbert's tenth p |
| sch made contributions to philosophical and | mathematical logic, set theory, quantitative linguistics |
| In | mathematical logic, the implicational propositional calc |
| From Frege to Godel: A Source Book in | Mathematical Logic, 1879-1931. |
| Popular Lectures on | Mathematical Logic, Van Nostrand, NY, 1981, ISBN 0486676 |
| He also published papers on | mathematical logic, and solved a special case of Hilbert |
| daughter of a professor with an interest in | mathematical logic, being raised in a left-wing househol |
| In | mathematical logic, algebraic semantics is a formal sema |
| In computer science and | mathematical logic, an alphabet is a finite set of symbo |
| In | mathematical logic, the Mostowski collapse lemma is a st |
| For the notion of "structure" in | mathematical logic, see Structure (mathematical logic). |
| In | mathematical logic, the ancestral relation (often shorte |
| In | mathematical logic, a judgment can be for example an ass |
| His interests include | mathematical logic, category theory, and theoretical com |
| In | mathematical logic, this sort of quantification is known |
| In | mathematical logic, generalization (also universal gener |
| In | mathematical logic, given an unsatisfiable boolean propo |
| In | mathematical logic, an implication graph is a skew-symme |
| His interests include | mathematical logic, and philosophy of science. |
| s, Noncommutative geometry, Ergodic theory, | Mathematical logic, Number theory, Geometry and Topology |
| In | mathematical logic, the diagonal lemma or fixed point th |
| Reports on | Mathematical Logic, No. 8 (1977), pp. |
| In | mathematical logic, a proof calculus corresponds to a fa |
| Mathematical Logic. | |
| involves exercises in developing proofs in | mathematical logic. |
| se of the ancestral, as does Quine's (1951) | Mathematical Logic. |
| ter the Second World War and specialised in | mathematical logic. |
| is also considered an applied discipline of | mathematical logic. |
| ory from their Beginnings., Perspectives in | Mathematical Logic. |
| ics saw him get into a research on advanced | mathematical logic. |
| l definition of inductive bias are based on | mathematical logic. |
| tarted primarily in analysis but moved into | mathematical logic. |
| ive applications in philosophical logic and | mathematical logic. |
| at grandson of George Boole, the founder of | mathematical logic. |
| ble that the qualitative difference between | mathematical logicians and the rest of the population is |
| Mathematical Lucubrations (1755) | |
| ng Yerevan Scientific Research Institute of | Mathematical Machines (YerSRIMM) in 1956. |
| APE(N)C: Board of | Mathematical Machines, Oslo ('N' likely stands for 'Norw |
| Manifold was a | mathematical magazine published at the University of War |
| The | Mathematical Magpie (1962, ed.) |
| yrometers use three or more wavelengths and | mathematical manipulation of the results to attempt to a |
| tical scientist Ithiel de Sola Pool wrote a | mathematical manuscript, "Contacts and Influences", whil |
| ASCIIMathML is a client-side | mathematical markup language for displaying mathematical |
| He was | mathematical master at Northampton College from 1898 to |
| he influence of Isaac Newton he was elected | mathematical master in Christ's Hospital. |
| ivate school, and after some years spent as | mathematical master at Elizabeth College, Guernsey, he r |
| Radon measure, a type of | mathematical measure |
| t can be considered random according to the | mathematical measure total variation distance. |
| , and reproduced in the first volume of the | Mathematical Memoirs) for the expression of the arc of a |
| r develops and defends his own views in his | Mathematical Memoirs, and in his paper in the Philosophi |
| The Cavity method is a | mathematical method due to M. Mezard, Giorgio Parisi and |
| celebrated How to Solve It: A New Aspect of | Mathematical Method. |
| He introduced | mathematical methodology to the study of hydraulics, thu |
| ynamics, had used complex integrations, and | mathematical methods to developed the sustainable method |
| early sociobiology and to the sampling and | mathematical methods used in informing conclusions. |
| Kepler and Galileo) translated Copernicus' | mathematical methods back into a geocentric system, reje |
| Mathematical Methods of Physics | |
| He was among the first scientists to apply | mathematical methods in teaching and psychology. |
| art and design (higher or standard level); | mathematical methods (standard level); mathematical stud |
| By the 4th century, however, their | mathematical methods had progressed enough to calculate |
| earch was the first to summarize the formal | mathematical methods in the field of Operations Research |
| "Numerical | Mathematical Methods V" (July 22, 1946) |
| "Numerical | Mathematical Methods I" (July 10, 1946) |
| s were deeply mistaken, because some of its | mathematical methods were alien, and because quantum chr |
| prediction of the molecular structure using | mathematical methods without necessarily referring to qu |
| the scope of the neutral theory and created | mathematical methods for testing it against the availabl |
| It relies on the | mathematical methods of spherical geometry and the measu |
| His | mathematical methods were famous, but he was also an imp |
| eer in developing and applying quantitative | mathematical methods to the problems of long-distance te |
| pienza University of Rome, where he teaches | mathematical methods of physics. |
| Several | mathematical methods of varying degrees of complexity ha |
| Mathematical Methods in Physics, with Rosa Morris, North | |
| ysics professor best known as the author of | Mathematical Methods in the Physical Sciences (1966), an |
| e theory of aging and longevity integrating | mathematical methods with specific biological knowledge |
| ript, and PDF), analyze data with different | mathematical methods (fitting curves, calculating static |
| se and completely comprehensible by a human | mathematical mind". |
| extremely brilliant boy," with "a brilliant | mathematical mind." |
| In addition, he showed that, due to a | mathematical misunderstanding and the presence of a know |
| hybrid automata or hybrid automatons) is a | mathematical model for precisely describing systems in w |
| These provide a | mathematical model for the cycling of predator and prey |
| lly valid negative-energy solution that the | mathematical model allowed. |
| Flavordynamics (or "Flavourdynamics") is a | mathematical model used to describe the interaction of f |
| This | mathematical model is used to infer the extinction value |
| eisquare develops its tools by applying the | mathematical model developed by Georges Matheron to the |
| Drug Administration (FDA) as "a predictive | mathematical model describing the relationship between a |
| A computational model is a | mathematical model in computational science that require |
| The infinite alleles model is a | mathematical model for calculating genetic mutations. |
| The effective selfing model is a | mathematical model that describes the mating system of a |
| ortex, also known as the Scully model, is a | mathematical model for a vortex taking account of viscos |
| Gunnar Myrdal and invented the standard | mathematical model of international free trade, the Heck |
| stance above the reference geoid, a precise | mathematical model of the Earth's sea level as an equipo |
| ly related to the wave height spectrum by a | mathematical model based on linear wave theory and accur |
| Hidvegi M, Zsigmond A, Lasztity R: A novel | mathematical model for determining in vitro biological v |
| artificial heart and the construction of a | mathematical model to predict the behavior of developed |
| Evolution is a | mathematical model of a simplified ecosystem of foxes an |
| It is used as a common | mathematical model of mud flow in offshore engineering, |
| In 2005 the RAND Corporation developed a | mathematical model of the cost of a wide variety of HIV |
| herman, Kurt Hugenberg, and Carla Groom), a | mathematical model that allows researchers to quantify t |
| roblem solving environment in which a given | mathematical model built to solve a specific problem cou |
| n Neumann (who contributed the breakthrough | mathematical model for using shaped charges to create a |
| oint is computer software that implements a | mathematical model of conditions leading to errors in te |
| as the propounder of Kulandaiswamy model, a | mathematical model for the rainfall-runoff relationship |
| ormal semantics of a language is given by a | mathematical model that describes the possible computati |
| observed but are rather inferred (through a | mathematical model) from other variables that are observ |
| He thus developed a | mathematical model, connecting migration and the evoluti |
| trategy for eliminating HIV transmission: a | mathematical model. |
| ical diffraction pattern produced by such a | mathematical model. |
| ativity and quantum mechanics with a single | mathematical model. |
| tions and variables that form the core of a | mathematical model. |
| Mathematical Modeling and Computational Simulation of Co | |
| These predictions are due to | mathematical modeling and may differ from what will occu |
| ates of consciousness, self-transformation, | mathematical modeling of consciousness, and beliefs abou |
| Mathematical modeling | |
| Billings used computers to do econometrics, | mathematical modeling and forecasting. |
| nstitution and developed a keen interest in | mathematical modeling influenced by the work of Thomas S |
| One recent | mathematical modeling study has suggested that the optic |
| Mathematical modeling of social, economic, and historica | |
| He received his PhD on | mathematical modeling of the kinetics of inorganic pyrop |
| t physical chemistry, general chemistry and | mathematical modeling at Bryn Mawr College since 1986. |
| Mathematical modeling has steadily advanced to predictin | |
| collaborated with Reinhart Heinrich on the | mathematical modeling of glycolysis in red blood cells, |
| Melnik is the director of the Laboratory of | Mathematical Modeling for New Technologies (M2NeT Lab) i |
| He is a Tier I Canada Research Chair in | Mathematical Modeling and Professor at Wilfrid Laurier U |
| In recent years both | mathematical modeling and fabrication capabilities impro |
| e When Things Start to Think, The Nature of | Mathematical Modeling, The Physics of Information Techno |
| ELSYS also specializes in | mathematical modeling, analysis of dynamic systems, spec |
| he European Journal of Operations Research, | Mathematical Modeling, Omega, Automatica, Interfaces and |
| r, with no formal training in statistics or | mathematical modeling, got it right and took the first s |
| t courses (Differential Equations, Advanced | Mathematical Modeling, Linear Algebra, Microbiology, Hum |
| es these disturbances in the field and uses | mathematical modelling to estimate crack size. |
| ms at demonstrating how the use of advanced | mathematical modelling and computer simulation can contr |
| the social sciences through research on the | mathematical modelling of cities (working in Oxford and |
| ASCEND is a free, open source, | mathematical modelling system developed at Carnegie Mell |
| hop is centered around finding solutions to | mathematical modelling problems brought forth by the ind |
| This is done using | mathematical modelling techniques and observational data |
| Mathematical models that aim to explain observed variabl | |
| ou dynamically explore mathematics or build | mathematical models of real world. |
| he future", Grabbe continued to develop the | mathematical models of financial derivatives. |
| d is being used for validation of different | mathematical models of fire dynamics. |
| Main topics are | mathematical models and computer applications in sports, |
| Mathematical models of RHP and motivation (aka resource | |
| gue waves are far more common than previous | mathematical models (and the older shipbuilding standard |
| Mathematical models describing this effect in time-depen | |
| Sophisticated | mathematical models have also been developed to analyse |
| st works that endeavored to create detailed | mathematical models for complex physical systems. |
| His interest in | mathematical models in sociology took him to Columbia Un |
| The overall theme is one of applying modern | mathematical models to social and economic phenomena. |
| Using | mathematical models to emulate the original analog circu |
| Scientific models and ensuing | mathematical models of a physical setting permit to calc |
| His dissertation presented two novel | mathematical models for detecting molecular selection, o |
| Hipparchus (2nd century BC) had crafted | mathematical models of the motion of the Sun and Moon. |
| t of Agriculture's Forest Service, outlines | mathematical models for predicting the likelihood of wil |
| s Work in this area includes application of | mathematical models to develop less invasive and demand- |
| in the population ecology of insects using | mathematical models as well as field and laboratory work |
| C. L. Hamblin [1971]: | Mathematical models of dialogue. |
| hich are used to constrain physically based | mathematical models of ice-sheets. |
| ty of Pennsylvania, commented that very few | mathematical models of disease transmission take host be |
| et Asada managed to construct sophisticated | mathematical models of celestial movements and is someti |
| He presented some | mathematical models of the proposed mechanism, and some |
| ordinary differential equations describing | mathematical models in several scientific disciplines as |
| odeling language, designed to build modular | mathematical models of biological systems. |
| indle, Weber & Schmidt in 1977 as Graphs as | Mathematical Models |
| For | mathematical models of computers, see Model of computati |
| Mathematical models and data are presented and discussed | |
| Mathematical models suggest that [PSI+] may have evolved | |
| 1991], and other published work argued that | mathematical models of concurrency did not determine par |
| ion and in the survival of species; for his | mathematical models applying the theory of games to evol |
| He also worked on | mathematical models in biophysics. |
| While at Bell Labs, Eckler co-authored | Mathematical Models of Target Coverage and Missile Alloc |
| works as a system and developing idealized | mathematical models to be used to address questions of c |
| rent research interests focus on developing | mathematical models in neuroscience for cell dynamics. |
| These | mathematical models are primarily used to study extincti |
| s systems, and also developed sophisticated | mathematical models to optimise their use for specific l |
| Electronic circuit simulation uses | mathematical models to replicate the behavior of an actu |
| His works are dedicated to the | mathematical models of AES bloks, their security and ant |
| ering Achievement Award for "Development of | Mathematical Models of Electromagnetic Wave Emission and |
| Its validity has been supported by | mathematical models, and recently by empirical field dat |
| Cundy H.M and Rollett, A.P. | Mathematical models, 2nd Edn. |
| Chartrand, Gary (1977), Graphs as | Mathematical Models, Prindle, Weber & Schmidt, ISBN 9780 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
