Search results

| alma_mater = [[California Institute of Technology]]<br />[[University of Chicago]] | workplaces = [[University of San Diego]]<br />[[Institute for Advanced Study]] ...

...Cambridge|url=http://www.statslab.cam.ac.uk//~jpm205/cv.html}} (with list of research articles)</ref> ...c.uk/~jpm205/|title=Jason P. Miller|website=Statslab, DPMMS, University of Cambridge}}</ref> ...

{{Short description|Sculpture of a substance's thermodynamic properties}} | footer = Photographs of Maxwell's plaster model from different angles. ...

| image = Front cover of Griffiths' Electrodynamics.jpg | caption = Front cover of fourth edition ...

...Laboratory of the London Hospital; [[Birmingham University]]; [[Edinburgh University]] | education = [[Sidney Sussex College, Cambridge]] ...

...using a mathematical formulation of a design problem to support selection of the optimal design among many alternatives. Design optimization involves th ...quim R. R. A.|last2=Ning|first2=Andrew|date=2021-10-01|publisher=Cambridge University Press|isbn=978-1108833417|language=en}}</ref> ...

...t|9|m|ft|adj=mid|-radius|0}} geotechnical [[centrifuge]] at the University of California, Davis]] ...al centrifuge modeling''' is a technique for testing physical scale models of [[geotechnical|geotechnical engineering]] systems such as natural and man-m ...

|birth_place = [[Cluj-Napoca|Cluj]], [[Kingdom of Romania]] |work_institutions = [[University of Bucharest]]<br>[[AMOLF|FOM Institute for Atomic and Molecular Physics]] ...

...[[Kurt Gödel]] to provide a [[consistency proof]] of arithmetic. The name of the interpretation comes from the journal ''[[Dialectica]]'', where Gödel's ...classical [[Peano arithmetic]] had already been reduced to the consistency of intuitionistic [[Heyting arithmetic]]. Gödel's motivation for developing th ...

{{short description|Scientific area at the interface between computer science and mathematics}} ...>2</sup> − 96''x'' − 71}}}}}} using the computer algebra system ''[[Axiom (computer algebra system)|Axiom]]'']] ...

{{Short description|Subject field of Boolean algebra discussing changes of Boolean variables and functions}} ...('''BDK''')) is a subject field of [[Boolean algebra]] discussing changes of [[Boolean variable]]s and [[Boolean function]]s. ...

...e depicted) can be made ''true'' by an appropriate assignment ("solution") of truth values to its variables. While it is easy to verify whether a given a # When the answer is "yes", this can be demonstrated through the existence of a short (polynomial length) ''solution''. ...

.... S.|BS]]) <br> [[National Taiwan University]] ([[M. S.|MS]]) <br> [[Yale University]] ([[PhD]]) | work_institution = [[Yale]], [[Johns Hopkins University|Johns Hopkins]], [[Cornell]] ...

...iversity of Warsaw]]<br />[[Polish Academy of Sciences]]<br />[[University of Amsterdam]] | alma_mater = [[Jagiellonian University]]<br />[[University of Warsaw]] ...

...e=2003 |publisher=Cambridge University Press |isbn=9780521791724 |location=Cambridge, UK |oclc=45093786}}</ref> e.g. [[Quantum Byzantine Agreement|Quantum Byzan Unlike other types of [[quantum cryptography]] (in particular, [[quantum key distribution]]), qua ...

...= [[French National Centre for Scientific Research|CNRS]]<br>[[University of Arizona]] ...re de Physique Statistique, École Normale Supérieure, Paris. He is the son of literature professor [[René Pomeau]].<ref>{{cite web|title=Notice sur la vi ...

{{Short description|Creation of a 3D model from a set of images}} [[File:Madurodam Shapeways 3D selfie in 1 20 scale after a second spray of varnish FRD.jpg|thumb|500px|A [[3D selfie]] in 1:20 scale printed by [[Shap ...

...[[ion]]) with [[chemical formula|formula]] <chem>H2^+</chem>. It consists of two [[hydrogen]] nuclei ([[proton]]s), each sharing a single [[electron]]. ...pact. It is commonly formed in [[molecular cloud]]s in space by the action of [[cosmic ray]]s. ...

{{short description|Process of increasing reproductive isolation}} ...ogy)|hybrids]] upon the [[secondary contact]] of two separated populations of a species.]] ...

{{Short description|Computer model that simulates sea ice}} ...athematical Sciences, University of Cambridge, U.K.}}</ref> CICE is a type of cryospheric model. ...