Search results

...of Mathematics at [[Cornell University]]. Dennis was the executive editor of ''[[Mathematical Reviews]]'' as it transitioned from a printed resource to ...ww.ias.edu/scholars/roger-keith-dennis Roger Keith Dennis] Member: School of Mathematics 9/1970 – 8/1971, IAS</ref> ...

| alma_mater = [[University of Cambridge]] ...nology (professional society)|IEE/IET]] Fellow (1999) <br> [[Royal Academy of Engineering|FREng]] (2000) <br> KS Fu Prize (2006) <br> IET [[Faraday Medal ...

| workplaces = [[University of California, Davis]] <br/> [[Yale University]] ...ersity of California, Berkeley]] ([[B. S.|BS]], [[PhD]])<br />[[University of California, Los Angeles]] ([[M. S.|MS]]) ...

...[[Rice University]]<br />[[University of Houston]]<br />[[City University of Hong Kong]] ...site = {{URL|http://www.ee.cityu.edu.hk/~gchen | City University of Hong Kong&nbsp;— Guanrong Chen}} ...

...ri Rolla]], and a master's degree in mathematics in 1968 from [[University of Illinois Urbana-Champaign]]. In 1970, under Robert B. Ash, he received the Ph.D. degree in mathematics ...

...l Laboratories]],<br>[[Rensselaer Polytechnic Institute]],<br>[[University of Alabama in Huntsville]] | alma_mater = [[Principia College]] (BA)<br>[[Massachusetts Institute of Technology]] (PhD) ...

{{about|the American computer scientist|the English glam rock drummer|Dave Mount}} | workplaces = [[University of Maryland, College Park]] ...

{{For|the Canadian record producer and DJ|K-Cut}} .... These edges are referred to as '''{{mvar|k}}-cut'''. The goal is to find the minimum-weight {{mvar|k}}-cut. This partitioning can have applications in [ ...

.... Since 1988, he has taught at [[Lehman College]] of the [[City University of New York]].{{r|lehman}} ...[algorithms]]. One of his notable early results is a proof that the number of multiplications in [[Horner's method]] is optimal.{{ran|CVP}} ...

| work_institution = [[University of Michigan]], [[Stanford University]], [[Meta Platforms]], [[Google]] ...esis_title = Top-Down Timing-Driven Placement with Direct Minimization of Maximal Signal Delay ...

...lleted list |item_style=padding:0.15em 0;line-height:1.15em | [[University of Pennsylvania]]<!-- {{smaller|(to 1983)}}--> | [[Cornell University]]<!-- {{ ...re-at-ibm-and-the-future-of-quantum-computing |date=2 October 2015 |work=[[IEEE Spectrum]] |access-date=14 December 2015 }}</ref> ...

...'''biclique cover'''. The bipartite dimension of ''G'' is often denoted by the symbol ''d''(''G''). An example for a biclique edge cover is given in the following diagrams: ...

{{Short description|Generalization of binary functions}} ...'''pseudo-Boolean function''' is a [[function (mathematics)|function]] of the form ...

...er Logic: A Language-Theoretic Approach | volume=138 | series=Encyclopedia of Mathematics and its Applications | first1=Bruno | last1=Courcelle | author1 | last2 = Fellows | first2 = Michael R. | author2-link = Michael Fellows ...

...s of Finite Set Systems |degree=Ph.D. |publisher=[[Massachusetts Institute of Technology]] |oclc=7447661}}</ref> under his advisor [[Daniel J. Kleitman]] A list of his publications and collaborations may be found at [[DBLP]].<ref>{{DBLP |n ...

{{Short description|Problem of finding a maximum cut in a graph}} [[File:Max-cut.svg|thumb|right|An example of a maximum cut]] ...

{{Short description|Logical formulation of graph properties}} ...[[least fixed point]] operators allow more general predicates over tuples of vertices, but these predicates can only be constructed through fixed-point ...

| alma_mater = [[Kalamazoo College]] <br> [[University of Illinois at Urbana–Champaign]] | thesis_title = Measurements on the Nuclear Photo-Effect at Energies Below 20 MeV ...

| honorific_suffix = [[FRSA]] [[Fellow of the Royal Asiatic Society of Great Britain and Ireland|FRAS]] [[Royal Historical Society|FRHS]] ...t of Science]],<br/>[[Institute of Electrical and Electronics Engineers]] (IEEE),<br/>[[New York Press Club]] ...

.... Solem''' (born 1941) is an American [[theoretical physicist]] and Fellow of [[Los Alamos National Laboratory]]. Solem has authored or co-authored over ...arization]] in deuterium hydride. He then joined the Theoretical Division of Los Alamos Scientific Laboratory (subsequently known as [[Los Alamos Nation ...