Search results

...asoning |chapter=Gödel Logics – A Survey |series=Lecture Notes in Computer Science |date=2010 |volume=6397 |pages=30–51 |doi=10.1007/978-3-642-16242-8_4 |isbn In 1959, [[Michael Dummett]] showed that infinite-valued [[propositional logic|prop ...

{{short description|Length scale used in fluid dynamics}} ...dynamics]], the '''Batchelor scale''', determined by [[George Batchelor]] (1959),<ref>{{Citation ...

...is the weight and '''x''' is the value of the ''jth'' asset to be included in the portfolio. ...ance and W. W. Cooper (1959), "Chance-Constrained Programming," Management Science, 6, No. 1, 73-79. [https://www.jstor.org/stable/2627476?Search=yes&resultIt ...

...is used to compare overlap among [[Sample (statistics)|samples]] (Morisita 1959). This formula is based on the assumption that increasing the size of the : ''x''_''i'' is the number of times species ''i'' is represented in the total ''X'' from one sample. ...

...science]], the '''sorting numbers''' are a sequence of numbers introduced in 1950 by [[Hugo Steinhaus]] for the analysis of [[comparison sort]] algorith ...math> items using any [[comparison sort]]. The conjecture was disproved in 1959 by [[L. R. Ford Jr.]] and [[Selmer M. Johnson]], who found a different sort ...

...tor2-first=D.}}</ref> about representing a given [[context-free language]] in terms of two simpler languages. These two simpler languages, namely a [[reg The theorem Proofs of this theorem are found in several textbooks, e.g. {{harvtxt|Autebert|Berstel|Boasson|1997}} or {{harv ...

...on]] for a reactive structure that builds up charge (positive or negative) in its [[transition state]]. The Yukawa–Tsuno equation can take the following ...>&minus;</sup>}} represent the Hammett substituent constants for reactions in which positive or negative charges are built up at the reactive center, res ...

{{Short description|South Korean mathematician (born 1959)}} | work_institutions = [[Pohang University of Science and Technology]] ...

...ess-date=8 August 2021 |language=en}}</ref> The compound does not dissolve in water, forms a crystalline hydrate with yellow crystals.<ref>{{cite web |ti Also a reaction of samarium nitrate and oxalic acid in an aqueous solution: ...

...ges that allow a function to call itself recursively |Recursion (computer science)}} ...the language and halts and rejects it otherwise. In [[theoretical computer science]], such always-halting Turing machines are called [[total Turing machine]]s ...

...ed graph]] with 12 vertices and 24 edges, discovered by [[Václav Chvátal]] in 1970. It is the smallest graph that is [[triangle-free graph|triangle-free] ...exist <math>k</math>-chromatic graphs with girth <math>\ell</math>.{{r|e}} In connection with these two results and several examples including the Chváta ...

...>r+1</math>, so it is equivalent to define paving matroids as the matroids in which the size of every circuit belongs to the set <math>\{r,r+1\}</math>.< ...math> distinct elements of <math>S</math> are contained in exactly one set in <math>\mathcal{D}</math>. The elements of <math>\mathcal{D}</math> form a ...

...de''' such as '''Zatocoding''' is a kind of [[hash code]] that was popular in [[Edge-notched card|marginal punched-card systems]]. Every card in a stack had the same set of pre-punched holes. ...

...io/|title=Researchers from around the world discuss gender and mathematics in Rio|work=[[Exame]]|date=31 July 2018|accessdate=30 August 2018}}</ref> and ...4 February 1921, to Tullio de Saboia Chaves and Zillah da Costa Magalhaes, in [[Santana do Livramento]]. She had two siblings, Lúcia de Magalhaes Chaves ...

...Although not of practical significance, it remains of theoretical interest in connection with the problem of sorting with a minimum number of comparisons ...order. The steps listed here reverse the output, following the description in {{harvtxt|Knuth|1998}}. The resulting algorithm makes the same comparisons ...

...link=Ilya Piatetski-Shapiro|last=Piatetski-Shapiro|year1=1959|year2=1969}} in his study of bounded homogeneous domains. :<math>\Im(z)\in V \, </math> ...

{{Short description|Algebraic structure in network theory}} ...ume=93|pages=114–131|mr=0109161|doi=10.1090/s0002-9947-1959-0109161-6|year=1959|last1=Duffin|first1=R. J.|author-link=Richard Duffin|doi-access=free}}</ref ...

...stress]] in already [[Ductility|ductile]] metals, to promoting plasticity in otherwise brittle [[Ceramic|ceramics]]. The exact mechanisms that control e ...affect [[Electron|electrons]] which dictate the [[Chemical bond|bonding]] in materials and therefore all higher level phenomena such as dislocation moti ...

...aschütz: Life and Work|year=2018|volume=5|pages=125–138|journal=[[Advances in Group Theory and Applications]]|url=https://web.archive.org/web/20201124222 ...y of Chicago]] 1968); and in Australia ([[Australian National University]] in Canberra).<ref name=Kiel/> ...

...sue=6 |pages=930–945 |doi=10.1287/opre.13.6.930}}</ref> CCP is widely used in various fields, including [[finance]], [[engineering]], and [[operations re ...ves the use of [[probability]] and confidence levels to handle uncertainty in optimization problems. It distinguishes between single and joint chance con ...