|
Marc Voorhoeve
Marc Voorhoeve (5 April 1950, Amsterdam – 7 October 2011, Eindhoven) was a Dutch mathematician who introduced the Voorhoeve index of a complex function in 1976. Marc studied at the University of Leiden where he wrote a thesis on exponential polynomials. The Voorhoeve index is a result from this work. He then worked at Centrum Wiskunde & Informatica and at ''Philips Data Systems'', a division of Philips that manufactured minicomputers. From 1985 to 2011, he was assistant professor in Kees van Hee's group at Eindhoven University of Technology, which specialized in business process modeling techniques based on sound mathematical principles, in particular Petri nets and process algebra., link from University of Augsburg Publications * See also * Petersen's theorem In the mathematical discipline of graph theory, Petersen's theorem, named after Julius Petersen, is one of the earliest results in graph theory and can be stated as follows: Petersen's Theorem. Every cubic, bridge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kees Van Hee
Kees Max van Hee (born 1946) is a Dutch computer scientist, and Emeritus Professor at the Eindhoven University of Technology, known for his development of the process modelling tool ExSpecT, and his seminal work on workflow management. Biography Van Hee studied Mathematics and Informatics at Eindhoven University of Technology, where in 1978 he received his PhD cum laude with a thesis entitled "Bayesian control of Markov chains", under supervision of Jaap Wessels and Fred W. Steutel.AI Genealogy Project :: Kees van Hee . Accessed 18 September 2013. From 1985 to 2011, Van Hee was Professor of Information Systems at the Faculty for Mathematics and Informatics, |
Leiden University Alumni
Leiden (; in English and archaic Dutch also Leyden) is a city and municipality in the province of South Holland, Netherlands. The municipality of Leiden has a population of 119,713, but the city forms one densely connected agglomeration with its suburbs Oegstgeest, Leiderdorp, Voorschoten and Zoeterwoude with 206,647 inhabitants. The Statistics Netherlands, Netherlands Central Bureau of Statistics (CBS) further includes Katwijk in the agglomeration which makes the total population of the Leiden urban agglomeration 270,879, and in the larger Leiden urban area also Teylingen, Noordwijk, and Noordwijkerhout are included with in total 348,868 inhabitants. Leiden is located on the Oude Rijn (Utrecht and South Holland), Oude Rijn, at a distance of some from The Hague to its south and some from Amsterdam to its north. The recreational area of the Kaag Lakes (Kagerplassen) lies just to the northeast of Leiden. A University town, university city since 1575, Leiden has been one of Eu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century Dutch Mathematicians
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius (AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman emperor, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
2011 Deaths
This is a list of deaths of notable people, organised by year. New deaths articles are added to their respective month (e.g., Deaths in ) and then linked here. 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 See also * Lists of deaths by day The following pages, corresponding to the Gregorian calendar, list the historical events, births, deaths, and holidays and observances of the specified day of the year: Footnotes See also * Leap year * List of calendars * List of non-standard ... * Deaths by year {{DEFAULTSORT:deaths by year ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1950 Births
Year 195 ( CXCV) was a common year starting on Wednesday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Scrapula and Clemens (or, less frequently, year 948 '' Ab urbe condita''). The denomination 195 for this year has been used since the early medieval period, when the Anno Domini calendar era became the prevalent method in Europe for naming years. Events By place Roman Empire * Emperor Septimius Severus has the Roman Senate deify the previous emperor Commodus, in an attempt to gain favor with the family of Marcus Aurelius. * King Vologases V and other eastern princes support the claims of Pescennius Niger. The Roman province of Mesopotamia rises in revolt with Parthian support. Severus marches to Mesopotamia to battle the Parthians. * The Roman province of Syria is divided and the role of Antioch is diminished. The Romans annexed the Syrian cities of Edessa and Nisibis. Severus re-establ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Petersen's Theorem
In the mathematical discipline of graph theory, Petersen's theorem, named after Julius Petersen, is one of the earliest results in graph theory and can be stated as follows: Petersen's Theorem. Every cubic, bridgeless graph contains a perfect matching.. In other words, if a graph has exactly three edges at each vertex, and every edge belongs to a cycle, then it has a set of edges that touches every vertex exactly once. Proof We show that for every cubic, bridgeless graph we have that for every set the number of connected components in the graph induced by with an odd number of vertices is at most the cardinality of . Then by Tutte theorem contains a perfect matching. Let be a component with an odd number of vertices in the graph induced by the vertex set . Let denote the vertices of and let denote the number of edges of with one vertex in and one vertex in . By a simple double counting argument we have that :\sum\nolimits_ \deg_G(v) = 2, E_i, + m_i , where is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Augsburg
The University of Augsburg (german: Universität Augsburg) is a university located in the Universitätsviertel section of Augsburg, Germany. It was founded in 1970 and is organized in 8 Faculties. The University of Augsburg is a relatively young campus university with approx. 18,000 students in October 2012. About 14% of its students come from foreign countries, a larger percentage than at comparable German universities. In October 2011 Sabine Doering Manteuffel succeeded Alois Loidl as rector of the university. She is the first female rector of a Bavarian university. Organisation The university is divided into 8 faculties: * Faculty of Economics and Business (founded 1970) * Faculty of Law (founded 1971) * Faculty of Catholic Theology (founded 1971) * Faculty of Philosophy and Social Sciences (founded 1972) * Faculty of History and Philology (founded 1972) * Faculty of Mathematics and Natural Sciences (founded 1981) * Faculty oApplied Computer Science(founded 2003) * Facult ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Process Algebra
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes. They also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes (e.g., using bisimulation). Leading examples of process calculi include CSP, CCS, ACP, and LOTOS. More recent additions to the family include the π-calculus, the ambient calculus, PEPA, the fusion calculus and the join-calculus. Essential features While the variety of existing process calculi is very large (including variants that incorporate stochastic behaviour, timing information, and specializations for studying molecular interactions), there are several features that all process calculi have ... [...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] |
Business Process Modeling
Business process modeling (BPM) in business process management and systems engineering is the activity of process modeling, representing processes of an enterprise, so that the current business processes may be analyzed, improved, and automated. BPM is typically performed by business analysts, who provide expertise in the modeling discipline; by subject matter experts, who have specialized knowledge of the processes being modeled; or more commonly by a team comprising both. Alternatively, the process model can be derived directly from events' logs using process mining tools. The business objective is often to increase process speed or reduce cycle time; to increase quality; or to reduce costs, such as labor, materials, scrap, or capital costs. In practice, a management decision to invest in business process modeling is often motivated by the need to document requirements for an information technology project. Change management programs are typically involved to put any improved b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
