|
Ursula Goltz
Ursula Goltz is a German computer scientist, professor emerita at the Technical University of Braunschweig, formerly affiliated with the Institute for Programming and Reactive Systems there, and former coordinator of a German Research Foundation program on long-lasting software systems. Her research concerns the theory of concurrent computing, including the use of Petri nets to model concurrent systems. Goltz earned her Ph.D. at RWTH Aachen University in 1988, with the dissertation, ''Über die Darstellung von CCS-Programmen durch Petrinetze''. In the theory of concurrent systems, she is known for introducing the concept of action refinement, an analogue of Niklaus Wirth's concept of stepwise refinement in the development of software systems, together with Rob van Glabbeek. She is also one of the developers of Arden2ByteCode, a compiler for the Arden syntax Arden syntax is a markup language used for representing and sharing medical knowledge. This clinical and scientific knowl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Professor Emerita
''Emeritus'' (; female: ''emerita'') is an adjective used to designate a retired chair, professor, pastor, bishop, pope, director, president, prime minister, rabbi, emperor, or other person who has been "permitted to retain as an honorary title the rank of the last office held". In some cases, the term is conferred automatically upon all persons who retire at a given rank, but in others, it remains a mark of distinguished service awarded selectively on retirement. It is also used when a person of distinction in a profession retires or hands over the position, enabling their former rank to be retained in their title, e.g., "professor emeritus". The term ''emeritus'' does not necessarily signify that a person has relinquished all the duties of their former position, and they may continue to exercise some of them. In the description of deceased professors emeritus listed at U.S. universities, the title ''emeritus'' is replaced by indicating the years of their appointmentsThe Proto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Technical University Of Braunschweig
The Technische Universität Braunschweig (unofficially University of Braunschweig – Institute of Technology), commonly referred to as TU Braunschweig, is the oldest ' (comparable to an institute of technology in the American system) in Germany. It was founded in 1745 as Collegium Carolinum and is a member of TU9, an incorporated society of the most renowned and largest German institutes of technology. It is commonly ranked among the top universities for engineering in Germany. TU Braunschweig's research profile is very interdisciplinary, but with a focus on aeronautics, vehicle engineering including autonomous driving and electric mobility, manufacturing, life sciences, and metrology. Research is conducted in close collaboration with external organizations such as the German Aerospace Center, Helmholtz Centre for Infection Research, several Fraunhofer Institutes, and Germany's national metrology institute ( PTB), among many others. As one of very few research institutions of its ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
German Research Foundation
The German Research Foundation (german: Deutsche Forschungsgemeinschaft ; DFG ) is a German research funding organization, which functions as a self-governing institution for the promotion of science and research in the Federal Republic of Germany. In 2019, the DFG had a funding budget of €3.3 billion. Function The DFG supports research in science, engineering, and the humanities through a variety of grant programmes, research prizes, and by funding infrastructure. The self-governed organization is based in Bonn and financed by the German states and the federal government of Germany. As of 2017, the organization consists of approximately 100 research universities and other research institutions. The DFG endows various research prizes, including the Leibniz Prize. The Polish-German science award Copernicus Award, Copernicus is offered jointly with the Foundation for Polish Science. According to a 2017 article in ''The Guardian'', the DFG has announced it will publish its re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Concurrent Computing
Concurrent computing is a form of computing in which several computations are executed '' concurrently''—during overlapping time periods—instead of ''sequentially—''with one completing before the next starts. This is a property of a system—whether a program, computer, or a network—where there is a separate execution point or "thread of control" for each process. A ''concurrent system'' is one where a computation can advance without waiting for all other computations to complete. Concurrent computing is a form of modular programming. In its paradigm an overall computation is factored into subcomputations that may be executed concurrently. Pioneers in the field of concurrent computing include Edsger Dijkstra, Per Brinch Hansen, and C.A.R. Hoare. Introduction The concept of concurrent computing is frequently confused with the related but distinct concept of parallel computing, Pike, Rob (2012-01-11). "Concurrency is not Parallelism". ''Waza conference'', 11 January ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Petri Net
A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph that has two types of elements, places and transitions. Place elements are depicted as white circles and transition elements are depicted as rectangles. A place can contain any number of tokens, depicted as black circles. A transition is enabled if all places connected to it as inputs contain at least one token. Some sources state that Petri nets were invented in August 1939 by Carl Adam Petri—at the age of 13—for the purpose of describing chemical processes. Like industry standards such as UML activity diagrams, Business Process Model and Notation, and event-driven process chains, Petri nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution. Unlike these standards, Petri nets hav ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
RWTH Aachen University
RWTH Aachen University (), also known as North Rhine-Westphalia Technical University of Aachen, Rhine-Westphalia Technical University of Aachen, Technical University of Aachen, University of Aachen, or ''Rheinisch-Westfälische Technische Hochschule Aachen'', is a German public research university located in Aachen, North Rhine-Westphalia, Germany. With more than 47,000 students enrolled in 144 study programs, it is the largest technical university in Germany. In 2018, the university was ranked 31st in the world university rankings in the field of engineering and technology, and 36th world-wide in the category of natural sciences.Daten & Fakten – RWTH AACHEN UNIVERSITY – Deutsch Rwth-aachen.de (12 December 2011). Retrieved on 2013-09-18. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Niklaus Wirth
Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist. He has designed several programming languages, including Pascal (programming language), Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally recognized as the highest distinction in computer science, for developing a sequence of innovative computer languages. Biography Wirth was born in Winterthur, Switzerland, in 1934. In 1959, he earned a Bachelor of Science (B.S.) degree in electronic engineering from the Swiss Federal Institute of Technology Zürich (ETH Zürich). In 1960, he earned a Master of Science (MSc) from Université Laval, Canada. Then in 1963, he was awarded a PhD in Electrical Engineering and Computer Science (EECS) from the University of California, Berkeley, supervised by the computer design pioneer Harry Huskey. From 1963 to 1967, he served as assistant professor of computer science at Stanford University and again at the Univer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arden2ByteCode
Arden2ByteCode is a free Arden Syntax compiler. The compiler translates HL7 International Arden Syntax for Medical Logic Modules (MLMs) to Java Bytecode. The Arden Syntax is a standardized language that can be used to express medical knowledge. Arden2ByteCode runs on the Java Virtual Machine and can be used on a wide variety of platforms. Arden2ByteCode is accompanied by Arden4Eclipse a plugin for the eclipse framework that allows easy development of medical logic modules. History Arden2ByteCode was developed as a part or the Lower Saxony research network "Design of Environments for Ageing" (GAL). The GAL network was supported by the Lower Saxony Ministry of Science and Culture through the "Niedersächsisches Vorab" grant programme (grant ZN 2701). Most of the initial development was done in 2011 by Daniel Grunwald. After he left the project the work was continued by Hannes Flicka, Mike Klimek and others. Initially the compiler supported a subset of the standard version 2. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arden Syntax
Arden syntax is a markup language used for representing and sharing medical knowledge. This clinical and scientific knowledge language is used in an executable format by clinical decision support systems to generate alerts, interpretations, and to screen and manage messages to clinicians. This syntax is used to share medical knowledge within and across many health service institutions. Rule sets, called Medical Logic Modules (MLMs), comprise enough logic to make a single medical decision. Medical logic modules are written in Arden syntax, and are called by a program – an event monitor – when the condition they are written to help with occurs. Arden syntax was formerly a standard under ASTM, published in 1992, and is now part of Health Level Seven International. Arden syntax version 2.0 was published by HL7 in 1999. Arden syntax version 2.10 is the current version. History Arden Syntax and its first applications were conceived and developed as the primary deliverables of a mu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Year Of Birth Missing (living People)
A year or annus is the orbital period of a planetary body, for example, the Earth, moving in its orbit around the Sun. Due to the Earth's axial tilt, the course of a year sees the passing of the seasons, marked by change in weather, the hours of daylight, and, consequently, vegetation and soil fertility. In temperate and subpolar regions around the planet, four seasons are generally recognized: spring, summer, autumn and winter. In tropical and subtropical regions, several geographical sectors do not present defined seasons; but in the seasonal tropics, the annual wet and dry seasons are recognized and tracked. A calendar year is an approximation of the number of days of the Earth's orbital period, as counted in a given calendar. The Gregorian calendar, or modern calendar, presents its calendar year to be either a common year of 365 days or a leap year of 366 days, as do the Julian calendars. For the Gregorian calendar, the average length of the calendar year (the ... [...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] |
German Computer Scientists
German(s) may refer to: * Germany (of or related to) **Germania (historical use) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizens of Germany, see also German nationality law **Germanic peoples (Roman times) * German language **any of the Germanic languages * German cuisine, traditional foods of Germany People * German (given name) * German (surname) * Germán, a Spanish name Places * German (parish), Isle of Man * German, Albania, or Gërmej * German, Bulgaria * German, Iran * German, North Macedonia * German, New York, U.S. * Agios Germanos, Greece Other uses * German (mythology), a South Slavic mythological being * Germans (band), a Canadian rock band * "German" (song), a 2019 song by No Money Enterprise * ''The German'', a 2008 short film * "The Germans", an episode of ''Fawlty Towers'' * ''The German'', a nickname for Congolese rebel André Kisase Ngandu See also * Germanic (other) * Germa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
