|
Nachum Dershowitz
Nachum Dershowitz is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems. He obtained his B.Sc. summa cum laude in 1974 in Computer Science–Applied Mathematics from Bar-Ilan University, and his Ph.D. in 1979 in Applied Mathematics from the Weizmann Institute of Science. From 1978, he worked at the Department of Computer Science of the University of Illinois at Urbana-Champaign, until he became a full professor of the Tel Aviv University (School of Computer Science) in 1998. He was a guest researcher at Weizmann Institute, INRIA, ENS Cachan, Microsoft Research, and the universities of Stanford, Paris, Jerusalem, Chicago, and Beijing. He received the Herbrand Award for Distinguished Contributions to Automatic Reasoning in 2011. He has co-authored the standard text on calendar algorithms, ''Calendrical Calculations'', with Edward Reingold.Review of ''Calendrical Calculat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Term Rewriting
In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems (also known as rewrite systems, rewrite engines, or reduction systems). In their most basic form, they consist of a set of objects, plus relations on how to transform those objects. Rewriting can be non-deterministic. One rule to rewrite a term could be applied in many different ways to that term, or more than one rule could be applicable. Rewriting systems then do not provide an algorithm for changing one term to another, but a set of possible rule applications. When combined with an appropriate algorithm, however, rewrite systems can be viewed as computer programs, and several theorem provers and declarative programming languages are based on term rewriting. Example cases Logic In logic, the procedure for obtaining the conjunctive normal form (CNF) of a formula can be implemented as a r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hebrew University
The Hebrew University of Jerusalem (HUJI; he, הַאוּנִיבֶרְסִיטָה הַעִבְרִית בִּירוּשָׁלַיִם) is a public research university based in Jerusalem, Israel. Co-founded by Albert Einstein and Dr. Chaim Weizmann in July 1918, the public university officially opened in April 1925. It is the second-oldest Israeli university, having been founded 30 years before the establishment of the State of Israel but six years after the older Technion university. The HUJI has three campuses in Jerusalem and one in Rehovot. The world's largest library for Jewish studies—the National Library of Israel—is located on its Edmond J. Safra campus in the Givat Ram neighbourhood of Jerusalem. The university has five affiliated teaching hospitals (including the Hadassah Medical Center), seven faculties, more than 100 research centers, and 315 academic departments. , one-third of all the doctoral candidates in Israel were studying at the HUJI. Among its first ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Communications Of The ACM
''Communications of the ACM'' is the monthly journal of the Association for Computing Machinery (ACM). It was established in 1958, with Saul Rosen as its first managing editor. It is sent to all ACM members. Articles are intended for readers with backgrounds in all areas of computer science and information systems. The focus is on the practical implications of advances in information technology and associated management issues; ACM also publishes a variety of more theoretical journals. The magazine straddles the boundary of a science magazine, trade magazine, and a scientific journal. While the content is subject to peer review, the articles published are often summaries of research that may also be published elsewhere. Material published must be accessible and relevant to a broad readership. From 1960 onward, ''CACM'' also published algorithms, expressed in ALGOL. The collection of algorithms later became known as the Collected Algorithms of the ACM. See also * ''Journal of the A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lunisolar Calendar
A lunisolar calendar is a calendar in many cultures, combining lunar calendars and solar calendars. The date of Lunisolar calendars therefore indicates both the Moon phase and the time of the solar year, that is the position of the Sun in the Earth's sky. If the sidereal year (such as in a sidereal solar calendar) is used instead of the solar year, then the calendar will predict the constellation near which the full moon may occur. As with all calendars which divide the year into months there is an additional requirement that the year have a whole number of months. In this case ordinary years consist of twelve months but every second or third year is an embolismic month, embolismic year, which adds a thirteenth Intercalation (timekeeping), intercalary, embolismic, or leap month. Their months are based on the regular cycle of the Moon's lunar phase, phases. So lunisolar calendars are lunar calendars with – in contrast to them – additional Intercalation (timekeeping), inter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
New Moon
In astronomy, the new moon is the first lunar phase, when the Moon and Sun have the same ecliptic longitude. At this phase, the lunar disk is not visible to the naked eye, except when it is silhouetted against the Sun during a solar eclipse. The original meaning of the term 'new moon', which is still sometimes used in calendrical, non-astronomical contexts, is the first visible crescent of the Moon after conjunction with the Sun. This thin waxing crescent is briefly and faintly visible as the Moon gets lower in the western sky after sunset. The precise time and even the date of the appearance of the new moon by this definition will be influenced by the geographical location of the observer. The first crescent marks the beginning of the month in the Islamic calendar and in some lunisolar calendars such as the Hebrew calendar. In the Chinese calendar, the beginning of the month is marked by the last visible crescent of a waning Moon. The astronomical new moon occurs by defini ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Common Lisp
Common Lisp (CL) is a dialect of the Lisp programming language, published in ANSI standard document ''ANSI INCITS 226-1994 (S20018)'' (formerly ''X3.226-1994 (R1999)''). The Common Lisp HyperSpec, a hyperlinked HTML version, has been derived from the ANSI Common Lisp standard. The Common Lisp language was developed as a standardized and improved successor of Maclisp. By the early 1980s several groups were already at work on diverse successors to MacLisp: Lisp Machine Lisp (aka ZetaLisp), Spice Lisp, NIL and S-1 Lisp. Common Lisp sought to unify, standardise, and extend the features of these MacLisp dialects. Common Lisp is not an implementation, but rather a language specification. Several implementations of the Common Lisp standard are available, including free and open-source software and proprietary products. Common Lisp is a general-purpose, multi-paradigm programming language. It supports a combination of procedural, functional, and object-oriented programming paradigms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IEEE Annals Of The History Of Computing
The ''IEEE Annals of the History of Computing'' is a quarterly peer-reviewed academic journal published by the IEEE Computer Society. It covers the history of computing, computer science, and computer hardware. It was founded in 1979 by the AFIPS, in particular by Saul Rosen, who was an editor until his death in 1991. The journal publishes scholarly articles, interviews, "think pieces," and memoirs by computer pioneers, and news and events in the field. It was established in July 1979 as ''Annals of the History of Computing'', with Bernard Galler as editor-in-chief. The journal became an IEEE publication in 1992, and was retitled to ''IEEE Annals of the History of Computing''. The 2020 impact factor was 0.741. The current editor in chief is Gerardo Con Diaz with the University of California, Davis. See also * ''Technology and Culture'' * '' Information & Culture'' * Computer History Museum * Charles Babbage Institute References External links * Annals of the History of Compu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The British Journal For The History Of Science
''The British Journal for the History of Science'' (a.k.a. ''BJHS'') is an international academic journal published quarterly by Cambridge University Press in association with the British Society for the History of Science. It was founded under its present title in 1962 but was preceded by the ''Bulletin of the British Society for the History of Science'' which was itself founded in 1949. The journal publishes scholarly papers and reviews on all aspects of the history of science. The journal is currently edited by Doctor Amanda Rees, who works at York University. Previous editors of ''BJHS'' Amanda Rees (2019–present) Charlotte Sleigh (2014-2019) Jon Agar (2009-2014) Simon Schaffer (2004-2009) Crosbie Smith (2000-2004) Janet Browne (1994-2000) John Hedley Brooke John Hedley Brooke (born 1944) is a British historian of science specialising in the relationship between science and religion. Biography Born on 20 May 1944, Brooke is the son of Hedley Joseph Brooke, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nature (journal)
''Nature'' is a British weekly scientific journal founded and based in London, England. As a multidisciplinary publication, ''Nature'' features peer-reviewed research from a variety of academic disciplines, mainly in science and technology. It has core editorial offices across the United States, continental Europe, and Asia under the international scientific publishing company Springer Nature. ''Nature'' was one of the world's most cited scientific journals by the Science Edition of the 2019 ''Journal Citation Reports'' (with an ascribed impact factor of 42.778), making it one of the world's most-read and most prestigious academic journals. , it claimed an online readership of about three million unique readers per month. Founded in autumn 1869, ''Nature'' was first circulated by Norman Lockyer and Alexander Macmillan as a public forum for scientific innovations. The mid-20th century facilitated an editorial expansion for the journal; ''Nature'' redoubled its efforts in exp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Edward Reingold
Edward M. Reingold (born 1945) is a computer scientist active in the fields of algorithms, data structures, graph drawing, and calendrical calculations. In 1996 he was inducted as a Fellow of the Association for Computing Machinery. In 2000 he retired from University of Illinois at Urbana-Champaign and was a professor of computer science and applied mathematics at the Illinois Institute of Technology until his retirement in 2019. Works He has co-authored the standard text on calendrical calculations, '' Calendrical Calculations'', with Nachum Dershowitz. Review of ''Calendrical Calculations'' by N. M. Swerdlow (1998), ''IEEE Annals of the History of Computing'' 20 (3): 78, . In 1981 he was the co-author, with John Tilford John is a common English name and surname: * John (given name) * John (surname) John may also refer to: New Testament Works * Gospel of John, a title often shortened to John * First Epistle of John, often shortened to 1 John * Second ..., ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Calendrical Calculations
''Calendrical Calculations'' is a book on calendar systems and algorithms for computers to convert between them. It was written by computer scientists Nachum Dershowitz and Edward Reingold and published in 1997 by the Cambridge University Press. A second "millennium" edition with a CD-ROM of software was published in 2001, a third edition in 2008, and a fourth "ultimate" edition in 2018. Topics There have been many different calendars in different societies, and there is much difficulty in converting between them, largely because of the impossibility of reconciling the irrational ratios of the daily, monthly, and yearly astronomical cycle lengths using integers. The 14 calendars discussed in the first edition of the book included the Gregorian calendar, ISO week date, Julian calendar, Coptic calendar, Ethiopian calendar, Islamic calendar, modern Iranian calendar, Baháʼí calendar, French Republican calendar, old and modern Hindu calendars, Maya calendar, and modern Chinese ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Lunisolar Calendar")
