|
Ernst-Rüdiger Olderog
Ernst-Rüdiger Olderog (born 4 June 1955) is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany. Olderog comes from Bredenbek in Schleswig-Holstein, northern Germany, and studied computer science, mathematics and logic at the University of Kiel, where he received his doctorate in 1981 supervised by Prof. Hans Langmaack on Hoare-style characterization systems for ALGOL-like programming languages. After several research visits abroad (including the Programming Research Group at the University of Oxford and in Amsterdam, Edinburgh, Yorktown Heights and Saarbrücken), he habilitated at Kiel University in 1989 as well. Since 1989, Olderog has been based at the Department of Computer Science, University of Oldenburg. In 1994, Olderog, together with his colleague Manfred Broy, was awarded the Deutsche Forschungsgemeinschaft (DFG) Gottfried Wilhelm Leibniz Prize The Gottfried Wilhelm Leibniz Prize (german: link ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Oldenburg
The Carl von Ossietzky University of Oldenburg (german: Carl von Ossietzky Universität Oldenburg) is a university located in Oldenburg, Germany. It is one of the most important and highly regarded educational facilities in northwestern Germany and specialises in interdisciplinary and sustainable development studies and renewable energy studies with focus on solar and wind energy. History The first teachers training was held in Oldenburg as early as 1793, launched by Duke Peter Friedrich Ludwig. A garden seminar for teachers training was created in 1882. During the Weimar Republic, the establishment of the ''Pedagogical Academy'' (Pädagogische Akademie) in Oldenburg in 1929 enabled the vocational training of teachers. On 1 October 1945, the institution reopened in postwar Germany. In 1948 it was renamed the ''Pedagogical College Oldenburg'' (Pädagogische Hochschule Oldenburg). The first step towards the university was taken on 23 February 1959 with the decision of the ci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Saarbrücken
Saarland University (german: Universität des Saarlandes, ) is a public research university located in Saarbrücken, the capital of the German state of Saarland. It was founded in 1948 in Homburg in co-operation with France and is organized in six faculties that cover all major fields of science. In 2007, the university was recognized as an excellence center for computer science in Germany. Thanks to bilingual German and French staff, the university has an international profile, which has been underlined by its proclamation as "''European University''" in 1950 and by establishment of Europa-Institut as its "''crown and symbol''" in 1951. Nine academics have been honored with the highest German research prize, the Gottfried Wilhelm Leibniz Prize, while working at Saarland University. History Saarland University, the first to be established after World War II, was founded in November 1948 with the support of the French Government and under the auspices of the Universi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Festschrift
In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the honoree's colleagues, former pupils, and friends. ''Festschriften'' are often titled something like ''Essays in Honour of...'' or ''Essays Presented to... .'' Terminology The term, borrowed from German, and literally meaning 'celebration writing' (cognate with ''feast-script''), might be translated as "celebration publication" or "celebratory (piece of) writing". An alternative Latin term is (literally: 'book of friends'). A comparable book presented posthumously is sometimes called a (, 'memorial publication'), but this term is much rarer in English. A ''Festschrift'' compiled and published by electronic means on the internet is called a (pronounced either or ), a term coined by the editors of the late Boris Marshak's , ''Eran ud Aner ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Amazon
Amazon most often refers to: * Amazons, a tribe of female warriors in Greek mythology * Amazon rainforest, a rainforest covering most of the Amazon basin * Amazon River, in South America * Amazon (company), an American multinational technology company Amazon or Amazone may also refer to: Places South America * Amazon Basin (sedimentary basin), a sedimentary basin at the middle and lower course of the river * Amazon basin, the part of South America drained by the river and its tributaries * Amazon Reef, at the mouth of the Amazon basin Elsewhere * 1042 Amazone, an asteroid * Amazon Creek, a stream in Oregon, US People * Amazon Eve (born 1979), American model, fitness trainer, and actress * Lesa Lewis (born 1967), American professional bodybuilder nicknamed "Amazon" Art and entertainment Fictional characters * Amazon (Amalgam Comics) * Amazon, an alias of the Marvel supervillain Man-Killer * Amazons (DC Comics), a group of superhuman characters * The Amazon, a ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distributed System
A distributed system is a system whose components are located on different networked computers, which communicate and coordinate their actions by passing messages to one another from any system. Distributed computing is a field of computer science that studies distributed systems. The components of a distributed system interact with one another in order to achieve a common goal. Three significant challenges of distributed systems are: maintaining concurrency of components, overcoming the lack of a global clock, and managing the independent failure of components. When a component of one system fails, the entire system does not fail. Examples of distributed systems vary from SOA-based systems to massively multiplayer online games to peer-to-peer applications. A computer program that runs within a distributed system is called a distributed program, and ''distributed programming'' is the process of writing such programs. There are many different types of implementations for t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parallel System
Parallel voting is a type of mixed electoral system in which representatives are voted into a single chamber using two or more different systems, most often first-past-the-post voting (FPTP) with party-list proportional representation (PR). It is the most common form of mixed member majoritarian representation (MMM), which is why these terms are often used synonymously with each other. In some countries, parallel voting is known as the supplementary member (SM) system, while in academic literature it is sometimes called the superposition method within mixed systems. Parallel voting, as a form of mixed member majoritarian ( semi-proportional) representation is used in the election of national parliaments as well as local governments in various places such as Italy, Japan, Taiwan, Lithuania, Russia, and Argentina. It is distinct from the mixed election system known as mixed-member proportional representation (MMP) or the additional member system (AMS). Under MMP/AMS, distri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Programming
Computer programming is the process of performing a particular computation (or more generally, accomplishing a specific computing result), usually by designing and building an executable computer program. Programming involves tasks such as analysis, generating algorithms, profiling algorithms' accuracy and resource consumption, and the implementation of algorithms (usually in a chosen programming language, commonly referred to as coding). The source code of a program is written in one or more languages that are intelligible to programmers, rather than machine code, which is directly executed by the central processing unit. The purpose of programming is to find a sequence of instructions that will automate the performance of a task (which can be as complex as an operating system) on a computer, often for solving a given problem. Proficient programming thus usually requires expertise in several different subjects, including knowledge of the application domain, specialized algori ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoretical Computer Science
Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumscribe the theoretical areas precisely. The Association for Computing Machinery, ACM's ACM SIGACT, Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description: History While logical inference and mathematical proof had existed previously, in 1931 Kurt Gödel proved with his incompleteness theorem that there are fundamental limitations on what statements could be proved or disproved. Information theory was added to the field with a 1948 mathematical theory of communication by Claude Shannon. In the same decade, Donald Hebb introduced a mathematical model of Hebbian learning, learning in the brain. With mounting biological data supporting this hypothesis with some modification, the fields of n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academia Europaea
The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of European interests in national research agencies. History The concept of a 'European Academy of Sciences' was raised at a meeting in Paris of the European Ministers of Science in 1985. The initiative was taken by the Royal Society (United Kingdom) which resulted in a meeting in London in June 1986 of Arnold Burgen (United Kingdom), Hubert Curien (France), Umberto Colombo (Italy), David Magnusson (Sweden), Eugen Seibold (Germany) and Ruurd van Lieshout (the Netherlands) – who agreed to the need for a new body. The two key purposes of Academia Europaea are: * express ideas and opinions of individual scientists from Europe * act as co-ordinator of European interests in national research agencies It does not aim to replace existing national a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Acta Informatica
''Acta Informatica'' is a Peer review, peer-reviewed scientific journal publishing original research papers in computer science. The journal is known mostly for publications in theoretical computer science. One of the two 1988 papers awarded the Gödel Prize in 1995 has appeared in this journal. The editor-in-chief is Christel Baier (Technische Universität Dresden). According to the ''Journal Citation Reports'', the journal had a 2020 impact factor of 0.375. References External links * Publications established in 1971 Springer Science+Business Media academic journals Computer science journals English-language journals Formal methods publications 8 times per year journals {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gottfried Wilhelm Leibniz Prize
The Gottfried Wilhelm Leibniz Prize (german: link=no, Förderpreis für deutsche Wissenschaftler im Gottfried Wilhelm Leibniz-Programm der Deutschen Forschungsgemeinschaft), in short Leibniz Prize, is awarded by the German Research Foundation to "exceptional scientists and academics for their outstanding achievements in the field of research". Since 1986, up to ten prizes are awarded annually to individuals or research groups working at a research institution in Germany or at a German research institution abroad. It is considered the most important research award in Germany. The prize is named after the German polymath and philosopher Gottfried Wilhelm Leibniz (1646–1716). It is one of the highest endowed research prizes in Germany with a maximum of €2.5 million per award. Past prize winners include Stefan Hell (2008), Gerd Faltings (1996), Peter Gruss (1994), Svante Pääbo (1992), Theodor W. Hänsch (1989), Erwin Neher (1987), Bert Sakmann (1987), Jürgen Habermas (1986), ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
