|
Mikkel Thorup
Mikkel Thorup (born 1965) is a Danish computer scientist working at University of Copenhagen. He completed his undergraduate education at Technical University of Denmark and his doctoral studies at Oxford University in 1993. From 1993 to 1998, he was at University of Copenhagen and from 1998 to 2013 he was at AT&T Labs-Research in New Jersey. Since 2013 he has been at the University of Copenhagen as a Professor and Head of Center for Efficient Algorithms and Data Structures (EADS). Thorup's main work is in algorithms and data structures. One of his best-known results is a linear-time algorithm for the single-source shortest paths problem in undirected graphs (Thorup, 1999). With Mihai Pătraşcu he has shown that simple tabulation hashing schemes achieve the same or similar performance criteria as hash families that have higher independence in worst case, while permitting speedier implementations. Thorup has been editor of the area algorithm and data structures for Jou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (including the design and implementation of hardware and software). Computer science is generally considered an area of academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing security vulnerabilities. Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of repositories ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of The ACM
The ''Journal of the ACM'' is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects. It is an official journal of the Association for Computing Machinery. Its current editor-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The highest-ranking editor of a publication may also be titled editor, managing ... is Venkatesan Guruswami. The journal was established in 1954 and "computer scientists universally hold the ''Journal of the ACM'' in high esteem". See also * '' Communications of the ACM'' References External links * Publications established in 1954 Computer science journals Association for Computing Machinery academic journals Bimonthly journals English-language journals {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoretical Computer Scientists
A theory is a rational type of abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with such processes as observational study or research. Theories may be scientific, belong to a non-scientific discipline, or no discipline at all. Depending on the context, a theory's assertions might, for example, include generalized explanations of how nature works. The word has its roots in ancient Greek, but in modern use it has taken on several related meanings. In modern science, the term "theory" refers to scientific theories, a well-confirmed type of explanation of nature, made in a way consistent with the scientific method, and fulfilling the criteria required by modern science. Such theories are described in such a way that scientific tests should be able to provide empirical support for it, or empirical contradiction (" falsify") of it. Scientific theories are the most reliable, rigorous, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Danish Computer Scientists
Danish may refer to: * Something of, from, or related to the country of Denmark People * A national or citizen of Denmark, also called a "Dane," see Demographics of Denmark * Culture of Denmark * Danish people or Danes, people with a Danish ancestral or ethnic identity * A member of the Danes, a Germanic tribe * Danish (name), a male given name and surname Language * Danish language, a North Germanic language used mostly in Denmark and Northern Germany * Danish tongue or Old Norse, the parent language of all North Germanic languages Food * Danish cuisine * Danish pastry, often simply called a "Danish" See also * Dane (other) * * Gdańsk Gdańsk ( , also ; ; csb, Gduńsk;Stefan Ramułt, ''Słownik języka pomorskiego, czyli kaszubskiego'', Kraków 1893, Gdańsk 2003, ISBN 83-87408-64-6. , Johann Georg Theodor Grässe, ''Orbis latinus oder Verzeichniss der lateinischen Benen ... * List of Danes * Languages of Denmark {{disambiguation Language and n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Block-stacking Problem
In statics, the block-stacking problem (sometimes known as The Leaning Tower of Lire , also the book-stacking problem, or a number of other similar terms) is a puzzle concerning the stacking of blocks at the edge of a table. Statement The block-stacking problem is the following puzzle: Place N identical rigid rectangular blocks in a stable stack on a table edge in such a way as to maximize the overhang. provide a long list of references on this problem going back to mechanics texts from the middle of the 19th century. Variants Single-wide The single-wide problem involves having only one block at any given level. In the ideal case of perfectly rectangular blocks, the solution to the single-wide problem is that the maximum overhang is given by \sum_^\frac times the width of a block. This sum is one half of the corresponding partial sum of the harmonic series. Because the harmonic series diverges, the maximal overhang tends to infinity as N increases, meaning that it is poss ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Association Of America
The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university, college, and high school teachers; graduate and undergraduate students; pure and applied mathematicians; computer scientists; statisticians; and many others in academia, government, business, and industry. The MAA was founded in 1915 and is headquartered at 1529 18th Street NW (Washington, D.C.), 18th Street, Northwest, Washington, D.C., Northwest in the Dupont Circle, Washington, D.C., Dupont Circle neighborhood of Washington, D.C. The organization publishes mathematics journals and books, including the ''American Mathematical Monthly'' (established in 1894 by Benjamin Finkel), the most widely read mathematics journal in the world according to records on JSTOR. Mission and Vision The mission of the MAA is to advance the understanding of mathematics and its impact on our world. We envision a society that values th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Royal Danish Academy Of Sciences And Letters
{{Infobox organization , name = The Royal Danish Academy of Sciences and Letters , full_name = , native_name = Det Kongelige Danske Videnskabernes Selskab , native_name_lang = , logo = Royal Danish Academy of Sciences and Letters seal.svg , logo_size = 150 , logo_alt = , logo_caption = , image = Carlsbergfondet.JPG , image_size = , alt = , caption = The building on H.C. Andersens Boulevard. , map = , map_size = , map_alt = , map_caption = , map2 = , map2_size = , map2_alt = , map2_caption = , abbreviation = , nickname = , pronounce = , pronounce ref = , pronounce comment = , pronounce 2 = , named_after = , motto = , predecessor = , merged ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SIAM Journal On Computing
The ''SIAM Journal on Computing'' is a scientific journal focusing on the mathematical and formal aspects of computer science. It is published by the Society for Industrial and Applied Mathematics (SIAM). Although its official ISO abbreviation is ''SIAM J. Comput.'', its publisher and contributors frequently use the shorter abbreviation ''SICOMP''. SICOMP typically hosts the special issues of the IEEE Annual Symposium on Foundations of Computer Science (FOCS) and the Annual ACM Symposium on Theory of Computing (STOC), where about 15% of papers published in FOCS and STOC each year are invited to these special issues. For example, Volume 48 contains 11 out of 85 papers published in FOCS 2016. References * External linksSIAM Journal on Computing on |
Tabulation Hashing
In computer science, tabulation hashing is a method for constructing universal families of hash functions by combining table lookup with exclusive or operations. It was first studied in the form of Zobrist hashing for computer games; later work by Carter and Wegman extended this method to arbitrary fixed-length keys. Generalizations of tabulation hashing have also been developed that can handle variable-length keys such as text strings. Despite its simplicity, tabulation hashing has strong theoretical properties that distinguish it from some other hash functions. In particular, it is 3-independent: every 3-tuple of keys is equally likely to be mapped to any 3-tuple of hash values. However, it is not 4-independent. More sophisticated but slower variants of tabulation hashing extend the method to higher degrees of independence. Because of its high degree of independence, tabulation hashing is usable with hashing methods that require a high-quality hash function, including hopsc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Copenhagen
The University of Copenhagen ( da, Københavns Universitet, KU) is a prestigious public university, public research university in Copenhagen, Copenhagen, Denmark. Founded in 1479, the University of Copenhagen is the second-oldest university in Scandinavia after Uppsala University, and ranks as one of the top universities in the Nordic countries, Europe and the world. Its establishment sanctioned by Pope Sixtus IV, the University of Copenhagen was founded by Christian I of Denmark as a Catholic teaching institution with a predominantly Theology, theological focus. In 1537, it was re-established by King Christian III as part of the Lutheran Reformation. Up until the 18th century, the university was primarily concerned with educating clergymen. Through various reforms in the 18th and 19th century, the University of Copenhagen was transformed into a modern, Secularism, secular university, with science and the humanities replacing theology as the main subjects studied and taught. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
