Gheorghe Păun has played an important role within a wide range of disciplines, from the foundations of traditional computation theory and formal language theory to research gaining its inspiration from living nature. He has significantly contributed to the development of these diverse fields, initiating and pioneering some of them with remarkable imaginativeness and enthusiasm. Gheorghe Păun’s research focusses on systems inspired by structures and processes found in living systems, with the field of membrane computing or P systems being the most important of his initiatives. This Festschrift volume, published to honor Gheorghe Păun on the occasion of his 60th birthday, includes 16 contributions by his students and collaborators. The research presented aims to gain a better understanding of what computation is, to find better models of computation, and to look for new computing devices inspired by the structure and/or functioning of natural or societal systems. The papers are preceded by an introduction by Solomon Marcus, Gheorghe Păun’s lifelong teacher and mentor, and are organized in topical sections on general computing, grammar systems, membrane systems, and inspirations from natural computing.
This book constitutes the refereed proceedings of the 6th European Conference on Artificial Life, ECAL 2001, held in Prague, Czech Republic, in September 2001. The 54 revised papers and 25 posters presented together with five invited papers were carefully reviewed and selected from numerous submissions. The book reflects the state of the art in ALife. It is divided into topical sections on agents in environments; artificial chemistry; cellular and neural systems; collaborative systems; evolution; robotics; vision, visualization, language, and communication; and miscellaneous.
This book constitutes the refereed proceedings of the 6th European Conference on Artificial Life, ECAL 2001, held in Prague, Czech Republic, in September 2001. The 54 revised papers and 25 posters presented together with five invited papers were carefully reviewed and selected from numerous submissions. The book reflects the state of the art in ALife. It is divided into topical sections on agents in environments; artificial chemistry; cellular and neural systems; collaborative systems; evolution; robotics; vision, visualization, language, and communication; and miscellaneous.
This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90. The aim of these meetings is threefold: (1) to inform on newest trends, results, and problems in theoretical computer science and related fields through a tutorial and invited lectures delivered by internationally distinguished speakers, (2) to provide a possibility for beginners in scientific work to present and discuss their results, and (3) to create an adequate opportunity for establishing first professional relations among the participants.
This volume contains 6 invited lectures and 13 submitted contributions to the scientific programme of the international workshop Fundamentals of Artificial Intelligence Research, FAIR '91, held at Smolenice Castle, Czechoslovakia, September 8-12, 1991, under the sponsorship of the European Coordinating Committee for Artificial Intelligence, ECCAI. FAIR'91, the first of an intended series of international workshops, addresses issues which belong to the theoretical foundations of artificial intelligence considered as a discipline focused on concise theoretical description of some aspects of intelligence by toolsand methods adopted from mathematics, logic, and theoretical computer science. The intended goal of the FAIR workshops is to provide a forum for the exchange of ideas and results in a domain where theoretical models play an essential role. It is felt that such theoretical studies, their development and their relations to AI experiments and applications have to be promoted in the AI research community.
This volume contains 6 invited lectures and 13 submitted contributions to the scientific programme of the international workshop Fundamentals of Artificial Intelligence Research, FAIR '91, held at Smolenice Castle, Czechoslovakia, September 8-12, 1991, under the sponsorship of the European Coordinating Committee for Artificial Intelligence, ECCAI. FAIR'91, the first of an intended series of international workshops, addresses issues which belong to the theoretical foundations of artificial intelligence considered as a discipline focused on concise theoretical description of some aspects of intelligence by toolsand methods adopted from mathematics, logic, and theoretical computer science. The intended goal of the FAIR workshops is to provide a forum for the exchange of ideas and results in a domain where theoretical models play an essential role. It is felt that such theoretical studies, their development and their relations to AI experiments and applications have to be promoted in the AI research community.
This book presents the methodology and techniques of thermographic applications with focus primarily on medical thermography implemented for parametrizing the diagnostics of the human body. The first part of the book describes the basics of infrared thermography, the possibilities of thermographic diagnostics and the physical nature of thermography. The second half includes tools of intelligent engineering applied for the solving of selected applications and projects. Thermographic diagnostics was applied to problematics of paraplegia and tetraplegia and carpal tunnel syndrome (CTS). The results of the research activities were created with the cooperation of the four projects within the Ministry of Education, Science, Research and Sport of the Slovak Republic entitled Digital control of complex systems with two degrees of freedom, Progressive methods of education in the area of control and modeling of complex object oriented systems on aircraft turbocompressor engines, Center for research of control of technical, environmental and human risks for permanent development of production and products in mechanical engineering and Research of new diagnostic methods in invasive implantology.
The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent processes communicate by synchronous message passing along unidirectional channels. To specifiy functional and timing properties of programs, two formalisms are investigated: one using a real-time version of temporal logic, called Metric Temporal Logic, and another which is basedon extended Hoare triples. Metric Temporal Logic provides a concise notationto express timing properties and to axiomatize the programming language, whereas Hoare-style formulae are especially convenient for the verification of sequential constructs. For both approaches a compositional proof system has been formulated to verify that a program satisfies a specification. To deduce timing properties of programs, first maximal parallelism is assumed, modeling the situation in which each process has itsown processor. Next, this model is generalized to multiprogramming where several processes may share a processor and scheduling is based on priorities. The proof systems are shown to be sound and relatively complete with respect to a denotational semantics of the programming language. The theory is illustrated by an example of a watchdog timer.
The European Court of Human Rights (“ECtHR”) suffers from the burgeoning caseload and challenges to its authority. This two-pronged crisis undermines the ECtHR’s legitimacy and consequently the functioning of the whole European human rights regime. Domestic courts can serve as welcome allies of the Strasbourg Court. They have a potential to diffuse Convention norms domestically, and therefore prevent and filter many potential human rights violations. Yet, we know very little about how domestic courts actually treat the Strasbourg Court’s rulings. This book brings unique empirical findings on how often, how and with what consequences domestic judges work with the ECtHR’s case law. It moves beyond the narrow concept of compliance and develops a new three-level methodology for analysing the role played by domestic courts in the implementation of ECtHR case law. Moreover, using the example of Czechia, it shifts the attention from Western countries to a more volatile Central and Eastern European region, which has recently witnessed democratic backsliding and backlash against international checks on human rights and the rule of law standards. Looking at a wider social and legal context, this book identifies factors helping transitional countries to adapt to regional human rights regimes. The work will be an essential resource for students, academics and policy-makers working in the areas of Constitutional law, Politics and Human Rights law. Its global appeal is enhanced by the methodological framework which is applicable in other international systems.
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.