|
Javier Esparza (computer Scientist)
Francisco Javier Esparza Estaun (born 27 April 1964 in Pamplona, Spain) is a Spanish computer scientist. He is a professor at the Technical University of Munich. Education Javier Esparza Estaun received his Master of Science degree in Theoretical Physics from the University of Zaragoza (1987). He earned his Doctoral degree (PhD) in Computer Science (1990, on free-choice Petri nets) from the same university. He habilitated 1994 at the University of Hildesheim on the subject of Petri net unfoldings. Career During his habilitation and in the period afterwards, Javier Esparza's focus was on concurrency theory and the theory of Petri nets. He made important contributions to Petri net structure theory and to the unfolding approach, initially proposed by Kenneth L. McMillan, and he is the co-author of two books on these subjects. After his habilitation, he was employed as an associate professor at Technische Universität München (1994–2001). He was then successively Chair of T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pamplona
Pamplona (; ), historically also known as Pampeluna in English, is the capital city of the Navarre, Chartered Community of Navarre, in Spain. Lying at near above sea level, the city (and the wider Cuenca de Pamplona) is located on the flood plain of the Arga river, a second-order tributary of the Ebro. Precipitation-wise, it is located in a transitional location between the rainy Atlantic northern façade of the Iberian Peninsula and its drier inland. Early population in the settlement traces back to the late Bronze to early Iron Age, even if the traditional inception date refers to the foundation of by Pompey during the Sertorian Wars circa 75 BC. During Visigothic Kingdom, Visigothic rule Pamplona became an episcopal see, serving as a staging ground for the Christianization of the area. It later became one of the capitals of the Kingdom of Navarre, Kingdom of Pamplona/Navarre. The city is famous worldwide for the Running of the Bulls, running of the bulls during the festival ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Stuttgart
The University of Stuttgart () is a research university located in Stuttgart, Germany. It was founded in 1829 and is organized into 10 faculties. It is one of the oldest technical universities in Germany with programs in civil, mechanical, industrial and electrical engineering, among others. It is a member of TU9, an incorporated society of the largest and most notable German institutes of technology. History From 1770 to 1794, the Karlsschule was the first university in Stuttgart. The University of Hohenheim in Stuttgart-Hohenheim, founded in 1818 and Stuttgart's oldest still existing university, is not related to the University of Stuttgart, except for some joint activities. What is now the University of Stuttgart was founded in 1829, and celebrated its 175th anniversary in 2004. Because of the increasing importance of the technical sciences and instruction in these fields, from 1876 the university was known as the Technische Hochschule Stuttgart (Stuttgart Institute of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Members Of Academia Europaea
Member may refer to: * Military jury, referred to as "Members" in military jargon * Element (mathematics), an object that belongs to a mathematical set * In object-oriented programming, a member of a class ** Field (computer science), entries in a database ** Member variable, a variable that is associated with a specific object * Limb (anatomy), an appendage of the human or animal body ** Euphemism for penis * Structural component of a truss, connected by nodes * User (computing), a person making use of a computing service, especially on the Internet * Member (geology), a component of a geological formation * Member of parliament * The Members The Members is a British punk rock, punk band that originated in Camberley, Surrey, England. In the UK, they are best known for their single "The Sound of the Suburbs", reaching No. 12 in the UK Singles Chart in 1979, and in Australia, "Radio" ..., a British punk rock band * Meronymy, a semantic relationship in linguistics * Church m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Staff Of The Technical University Of Munich
An academy (Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of tertiary education. The name traces back to Plato's school of philosophy, founded approximately 386 BC at Akademia, a sanctuary of Athena, the goddess of wisdom and skill, north of Athens, Greece. The Royal Spanish Academy defines academy as scientific, literary or artistic society established with public authority and as a teaching establishment, public or private, of a professional, artistic, technical or simply practical nature. Etymology The word comes from the ''Academy'' in ancient Greece, which derives from the Athenian hero, ''Akademos''. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning. The sacred space, dedicated to the goddess of wisdom, Athena, had formerly been an olive grove, hence the expression "the groves of Academe". In these gardens, the philosopher Plato conversed with followers. Plato developed his sessions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Zaragoza Alumni
A university () is an institution of tertiary education and research which awards academic degrees in several academic disciplines. ''University'' is derived from the Latin phrase , which roughly means "community of teachers and scholars". Universities typically offer both undergraduate and postgraduate programs. The first universities in Europe were established by Catholic monks. The University of Bologna (), Italy, which was founded in 1088, is the first university in the sense of: *being a high degree-awarding institute. *using the word (which was coined at its foundation). *having independence from the ecclesiastic schools and issuing secular as well as non-secular degrees (with teaching conducted by both clergy and non-clergy): grammar, rhetoric, logic, theology, canon law and notarial law.Hunt Janin: "The university in medieval life, 1179–1499", McFarland, 2008, , p. 55f.de Ridder-Symoens, Hilde''A History of the University in Europe: Volume 1, Universities in the Middl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
People From Pamplona
The term "the people" refers to the public or common mass of people of a polity. As such it is a concept of human rights law, international law as well as constitutional law, particularly used for claims of popular sovereignty. In contrast, a people is any plurality of persons considered as a whole. Used in politics and law, the term "a people" refers to the collective or community of an ethnic group or nation. Concepts Legal Chapter One, Article One of the Charter of the United Nations states that "peoples" have the right to self-determination. Though the mere status as peoples and the right to self-determination, as for example in the case of Indigenous peoples (''peoples'', as in all groups of indigenous people, not merely all indigenous persons as in ''indigenous people''), does not automatically provide for independent sovereignty and therefore secession. Indeed, judge Ivor Jennings identified the inherent problems in the right of "peoples" to self-determination, as i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1964 Births
Events January * January 1 – The Federation of Rhodesia and Nyasaland is dissolved. * January 5 – In the first meeting between leaders of the Roman Catholic and Orthodox churches since the fifteenth century, Pope Paul VI and Patriarch Athenagoras I of Constantinople meet in Jerusalem. * January 6 – A British firm, the Leyland Motors, Leyland Motor Corp., announces the sale of 450 buses to the Cuban government, challenging the United States blockade of Cuba. * January 9 – ''Martyrs' Day (Panama), Martyrs' Day'': Armed clashes between United States troops and Panamanian civilians in the Panama Canal Zone precipitate a major international crisis, resulting in the deaths of 21 Panamanians and 4 U.S. soldiers. * January 11 – United States Surgeon General Luther Terry reports that smoking may be hazardous to one's health (the first such statement from the U.S. government). * January 22 – Kenneth Kaunda is inaugurated as the first Prime Minister of Northern Rhodesi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Purpose: Because living persons may suffer personal harm from inappropriate information, we should watch their articles carefully. By adding an article to this category, it marks them with a notice about sources whenever someone tries to edit them, to remind them of WP:BLP (biographies of living persons) policy that these articles must maintain a neutral point of view, maintain factual accuracy, and be properly sourced. Recent changes to these articles are listed on Special:RecentChangesLinked/Living people. Organization: This category should not be sub-categorized. Entries are generally sorted by family name In many societies, a surname, family name, or last name is the mostly hereditary portion of one's personal name that indicates one's family. It is typically combined with a given name to form the full name of a person, although several give .... Maintenance: Individuals of advanced age (over 90), for whom there has been no new documentation in the last ten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Conference On Concurrency Theory
International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * International (Kevin Michael album), ''International'' (Kevin Michael album), 2011 * International (New Order album), ''International'' (New Order album), 2002 * International (The Three Degrees album), ''International'' (The Three Degrees album), 1975 *''International'', 2018 album by L'Algérino Songs * The Internationale, the left-wing anthem * International (Chase & Status song), "International" (Chase & Status song), 2014 * "International", by Adventures in Stereo from ''Monomania'', 2000 * "International", by Brass Construction from ''Renegades'', 1984 * "International", by Thomas Leer from ''The Scale of Ten'', 1985 * "International", by Kevin Michael from International (Kevin Michael album), ''International'' (Kevin Michael album), 2011 * "International", by McGuinness Flint from ''McGuinness Flint'', 1970 * "International", by Orchestral Manoeuvre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Program Analysis
In computer science, program analysis is the process of analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do. Program analysis can be performed without executing the program ( static program analysis), during runtime (dynamic program analysis) or in a combination of both. Static program analysis In the context of program correctness, static analysis can discover vulnerabilities during the development phase of the program.Jovanovic, N., Kruegel, C., & Kirda, E. (2006, May). Pixy: A static analysis tool for detecting web application vulnerabilities. In Security and Privacy, 2006 IEEE Symposium on (pp. 6-pp). IEEE. These vulnerabilities are easier t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model Checking
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems, where the specification contains liveness requirements (such as avoidance of livelock) as well as safety requirements (such as avoidance of states representing a system crash). In order to solve such a problem algorithmically, both the model of the system and its specification are formulated in some precise mathematical language. To this end, the problem is formulated as a task in logic, namely to check whether a structure satisfies a given logical formula. This general concept applies to many kinds of logic and many kinds of structures. A simple model-checking problem consists of verifying whether a formula in the propositional logic is satisfied by a given structure. Overview Property checking is used for verification when two ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The University Of Edinburgh
The University of Edinburgh (, ; abbreviated as ''Edin.'' in Post-nominal letters, post-nominals) is a Public university, public research university based in Edinburgh, Scotland. Founded by the City of Edinburgh Council, town council under the authority of a royal charter from King James VI and I, James VI in 1582 and officially opened in 1583, it is one of Scotland's Ancient universities of Scotland, four ancient universities and the List of oldest universities in continuous operation, sixth-oldest university in continuous operation in the English-speaking world. The university played a crucial role in Edinburgh becoming a leading intellectual centre during the Scottish Enlightenment and contributed to the city being nicknamed the "Etymology of Edinburgh#Athens of the North, Athens of the North". The three main global university rankings (Academic Ranking of World Universities, ARWU, Times Higher Education World University Rankings, THE, and QS World University Rankings, QS) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
