- Table View
- List View
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science #7687)
by Shaz Qadeer Serdar TasiranThis book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.
On Fuzziness: A Homage to Lotfi A. Zadeh – Volume 1 (Studies in Fuzziness and Soft Computing #298)
by Rudolf Seising Enric Trillas Claudio Moraga Settimo TerminiThe notion of Fuzziness stands as one of the really new concepts that have recently enriched the world of Science. Science grows not only through technical and formal advances on one side and useful applications on the other side, but also as consequence of the introduction and assimilation of new concepts in its corpus. These, in turn, produce new developments and applications. And this is what Fuzziness, one of the few new concepts arisen in the XX Century, has been doing so far. This book aims at paying homage to Professor Lotfi A. Zadeh, the “father of fuzzy logic” and also at giving credit to his exceptional work and personality. In a way, this is reflected in the variety of contributions collected in the book. In some of them the authors chose to speak of personal meetings with Lotfi; in others, they discussed how certain papers of Zadeh were able to open for them a new research horizon. Some contributions documented results obtained from the author/s after taking inspiration from a particular idea of Zadeh, thus implicitly acknowledging him.Finally, there are contributions of several “third generation fuzzysists or softies” who were firstly led into the world of Fuzziness by a disciple of Lotfi Zadeh, who, following his example, took care of opening for them a new road in science. Rudolf Seising is Adjoint Researcher at the European Centre for Soft Computing in Mieres, Asturias (Spain).Enric Trillas and Claudio Moraga are Emeritus Researchers at the European Centre for Soft Computing, Mieres, Asturias (Spain).Settimo Termini is Professor of Theoretical Computer Science at the University of Palermo, Italy and Affiliated Researcher at the European Centre for Soft Computing, Mieres, Asturias (Spain)
On Fuzziness: A Homage to Lotfi A. Zadeh – Volume 2 (Studies in Fuzziness and Soft Computing #299)
by Rudolf Seising Enric Trillas Claudio Moraga Settimo TerminiThe notion of Fuzziness stands as one of the really new concepts that have recently enriched the world of Science. Science grows not only through technical and formal advances on one side and useful applications on the other side, but also as consequence of the introduction and assimilation of new concepts in its corpus. These, in turn, produce new developments and applications. And this is what Fuzziness, one of the few new concepts arisen in the XX Century, has been doing so far. This book aims at paying homage to Professor Lotfi A. Zadeh, the “father of fuzzy logic” and also at giving credit to his exceptional work and personality. In a way, this is reflected in the variety of contributions collected in the book. In some of them the authors chose to speak of personal meetings with Lotfi; in others, they discussed how certain papers of Zadeh were able to open for them a new research horizon. Some contributions documented results obtained from the author/s after taking inspiration from a particular idea of Zadeh, thus implicitly acknowledging him.Finally, there are contributions of several “third generation fuzzysists or softies” who were firstly led into the world of Fuzziness by a disciple of Lotfi Zadeh, who, following his example, took care of opening for them a new road in science. Rudolf Seising is Adjoint Researcher at the European Centre for Soft Computing in Mieres, Asturias (Spain).Enric Trillas and Claudio Moraga are Emeritus Researchers at the European Centre for Soft Computing, Mieres, Asturias (Spain).Settimo Termini is Professor of Theoretical Computer Science at the University of Palermo, Italy and Affiliated Researcher at the European Centre for Soft Computing, Mieres, Asturias (Spain)
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science #7681)
by Burkhard Wolff Marie-Claude Gaudel Abderrahmane FeliachiThis book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Lecture Notes in Computer Science #7734)
by Sergei Artemov Anil NerodeThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.
ICT in Education, Research, and Industrial Applications: 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers (Communications in Computer and Information Science #347)
by Vadim Ermolayev Heinrich C. Mayr Mykola Nikitchenko Aleksander Spivakovsky Grygoriy ZholtkevychThis book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal Logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning.
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science #7253)
by Farhad Arbab Peter Csaba ÖlveczkyThis book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and self-managed applications, models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services, formal and rigorous approaches to software adaptation and self-adaptive systems, and components for real-time, safety-critical, secure, and/or embedded systems.
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science #7682)
by Bertrand Meyer Martin NordioThe LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Lecture Notes in Computer Science #7684)
by Corina S. Pasareanu Gwen SalaünThis book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science #7737)
by Roberto Giacobazzi Josh Berdine Isabella MastroeniThis book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Combinatorial Algorithms: 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers (Lecture Notes in Computer Science #7643)
by W. F. Symth Subramanian ArumugamThis book constitutes the thoroughly referred post-workshop proceedings of the 23rd International Workshop on Combinatorial Algorithms, IWOCA 2012, held in Krishnankoil, Tamil Nadu, India, in July 2012. The 32 revised full papers presented were carefully reviewed and selected from a total of 88 submissions. The papers are organized in topical sections in algorithms and data Structures, applications (including Bioinformatics, Networking, etc.), combinatorics of words and strings, combinatorial optimization, combinatorial enumeration, decompositions and combinatorial designs, complexity theory (structural and computational), computational biology and graph theory and combinatorics submissions.
Power, Voting, and Voting Power: 30 Years After
by Manfred J Holler and Hannu NurmiThe developments over a thirty-year time span in the study of power, especially voting power, are traced in this book, which provides an up-to-date overview of applications of n-person game theory to the study of power in multimember bodies. Other theories that shed light on power distribution (e.g. aggregation theory) are treated as well. The book revisits the themes discussed in the well-known 1982 publication "Power, Voting and Voting Power" (edited by Manfred J. Holler). Thirty years later this essential topic has been taken up again and many of the authors from its predecessor participate here again in discussing the state-of-the-art, demonstrating the achievements of three decades of intensive research, and pointing the way to key issues for future work.
Perspectives on Organisms: Biological time, Symmetries and Singularities (Lecture Notes in Morphogenesis)
by Giuseppe Longo Maël MontévilThis authored monograph introduces a genuinely theoretical approach to biology. Starting point is the investigation of empirical biological scaling including their variability, which is found in the literature, e.g. allometric relationships, fractals, etc. The book then analyzes two different aspects of biological time: first, a supplementary temporal dimension to accommodate proper biological rhythms; secondly, the concepts of protension and retention as a means of local organization of time in living organisms. Moreover, the book investigates the role of symmetry in biology, in view of its ubiquitous importance in physics. In relation with the notion of extended critical transitions, the book proposes that organisms and their evolution can be characterized by continued symmetry changes, which accounts for the irreducibility of their historicity and variability. The authors also introduce the concept of anti-entropy as a measure for the potential of variability, being equally understood as alterations in symmetry. By this, the book provides a mathematical account of Gould's analysis of phenotypic complexity with respect to biological evolution. The target audience primarily comprises researchers interested in new theoretical approaches to biology, from physical, biological or philosophical backgrounds, but the book may also be beneficial for graduate students who want to enter this field.
Uncertainty Reasoning for the Semantic Web II: International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers (Lecture Notes in Computer Science #7123)
by Fernando Bobillo Paulo Cesar G. Costa Claudia D'Amato Nicola Fanizzi Kathryn B. Laskey Kenneth J. Laskey Thomas Lukasiewicz Matthias Nickles Michael PoolThis book contains revised and significantly extended versions of selected papers from three workshops on Uncertainty Reasoning for the Semantic Web (URSW), held at the International Semantic Web Conferences (ISWC) in 2008, 2009, and 2010 or presented at the first international Workshop on Uncertainty in Description Logics (UniDL), held at the Federated Logic Conference (FLoC) in 2010. The 17 papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on probabilistic and Dempster-Shafer models, fuzzy and possibilistic models, inductive reasoning and machine learning, and hybrid approaches.
Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers (Lecture Notes in Computer Science #7680)
by Ralf Lämmel João Saraiva Joost VisserThis tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution held at the 4th International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2011. The school presents the state of the art in software language engineering and generative and transformational techniques in software engineering with coverage of foundations, methods, tools, and case studies.
Dimensions of Teaching Business Ethics in Asia
by Stephan Rothlin and Parissa HaghirianA growing number of higher education institutions in Asia are now integrating ethics courses in their curricula. But the challenge remains to develop courses that can effectively reach their objectives, and to create and use teaching materials appropriate to the particular profile of the students and executives in different regions and cultures. In this context, enhancing awareness for ethical dilemmas, proposing frameworks and models to help managers handle difficult choices and demanding decisions - while not being moralistic and imposing values - , and presenting alternative approaches through recent and relevant cases are the main objectives of this book. It examines teaching methods, learning tools and pedagogical methods effective in the teaching of ethics within the particular context of the rich diversity of Asian cultures, and discusses ethics courses curricula, aiming at developing the capacity to deal with a number of issues such as corruption, intellectual property protection, whistle blowing and consumer rights. The relevance and limits of Asian philosophical and spiritual traditions and how their underlying values can be a meaningful aspect in the teaching of ethics to managers and business leaders are explored, as are the benefits and limits of corporate codes of conduct and ways to enhance their effectiveness. A similar approach is taken to the introduction of “oaths” and “ethics pledges” among business students, which has been promoted in some business schools.
Logic and Its Applications: 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings (Lecture Notes in Computer Science #7750)
by Kamal LodayaEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from numerous submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic.
System Modeling and Optimization: 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers (IFIP Advances in Information and Communication Technology #391)
by Dietmar Hömberg Fredi TröltzschThis book is a collection of thoroughly refereed papers presented at the 25th IFIP TC 7 Conference on System Modeling and Optimization, held in Dresden, Germany, in September 2011. The 55 revised papers were carefully selected from numerous submissions. They are organized in the following topical sections: control of distributed parameter systems; stochastic optimization and control; stabilization, feedback, and model predictive control; flow control; shape and structural optimization; and applications and control of lumped parameter systems.
Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science #7745)
by Krzysztof Czarnecki Görel HedinThis book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 papers presented together with 2 tool demonstration papers were carefully reviewed and selected from 62 submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces.
FairEconomy: Crises, Culture, Competition and the Role of Law (MPI Studies on Intellectual Property and Competition Law #19)
by Wolfgang Fikentscher Philipp Hacker Rupprecht PodszunFairEconomy is a concept for a free and fair market economy. In response to the financial and economic crises of the past years, the authors develop fundamental ideas of how a market economy works, what rules markets need and who safeguards fairness and equal opportunity in such an economy. The book sets out the design of a sustainable market order: Going back to the very roots of doing business it offers a fascinating insight into the cultural and anthropological premises of the market economy. Fairness and free competition can be identified as key elements of successful markets, sometimes neglected in politics and business. Legal rules need to ensure that fairness and economic freedom work. The same holds true for the relationship of risk and liability that has been overlooked in the banking sector. The ideas of a FairEconomy, sketched in this book, are fit to become a reality: The authors point to institutions and mechanisms that could integrate the concept into global law. They place their trust less upon ever-larger institutions and more on private entitlement and enforcement at the global, regional, and local levels.
L1-Norm and L∞-Norm Estimation: An Introduction to the Least Absolute Residuals, the Minimax Absolute Residual and Related Fitting Procedures (SpringerBriefs in Statistics)
by Richard FarebrotherThis monograph is concerned with the fitting of linear relationships in the context of the linear statistical model. As alternatives to the familiar least squared residuals procedure, it investigates the relationships between the least absolute residuals, the minimax absolute residual and the least median of squared residuals procedures. It is intended for graduate students and research workers in statistics with some command of matrix analysis and linear programming techniques.
Die großen Fragen - Ethik
by Julian BagginiDie großen Fragen behandeln grundlegende Probleme und Konzepte in Wissenschaft und Philosophie, die Forscher und Denker seit jeher umtreiben. Anspruch der ambitionierten Reihe ist es, die Antworten auf diese Fragen zu präsentieren und damit die wichtigsten Gedanken der Menschheit in einzigartigen Übersichten zu bündeln. Im vorliegenden Band Ethik widmet sich Julian Baggini 20 bedeutenden Fragen zu Moral, Verantwortung, Recht und Gerechtigkeit. Gibt es eine Goldene Regel? -- Rechtfertigt der Zweck die Mittel? -- Gibt es eine Rechtfertigung für den Terrorismus? -- Sollten wir Familie und Freunde bevorzugen? -- Wie großzügig sollten wir sein? -- Sind Drogengesetze moralisch inkonsistent? -- Haben Tiere Rechte? -- Ist Abtreibung Mord? -- Sollte Euthanasie legal sein? -- Ist Sex eine moralische Frage? -- Kann Diskriminierung gut sein? -- Ist freier Handel fairer Handel? -- Sollten wir Umweltschutz betreiben? -- Sind wir verantwortlich für unsere Handlungen? -- Was ist ein gerechter Krieg? -- Ist Folter immer falsch? -- Kann Wissenschaft moralische Fragen beantworten? -- Ist Moral relativ? -- Ist ohne Gott alles erlaubt? -- Sind alle moralischen Dilemmata lösbar?
Transactions on Rough Sets XVI (Lecture Notes in Computer Science #7736)
by James F. Peters Andrzej Skowron Sheela Ramanna Zbigniew Suraj Xin WangThe LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. Volume XVI includes extensions of papers from the Rough Sets and Knowledge Technology Conference which was held in Banff, Canada, in October 2011. In addition this book contains a long paper based on a PhD thesis. The papers cover both theory and applications of rough, fuzzy and near sets. They offer a continuation of a number of research streams which have grown out of the seminal work by Zdzislaw Pawlak during the first decade of the 21st century.
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Computer Science #7788)
by Maria Paola Bonacina Mark E. StickelThis Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer. The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
Legal Spaces: Towards a Topological Thinking of Law
by Sabine Müller-MallThis book is concerned with a central question in contemporary legal theory: how to describe global law? In addressing this question, the book brings together two features that are different and yet connected to one another: the conceptual description of contemporary law on the one hand, and methods of taking concrete perspectives on law on the other hand. The book provides a useful concept for describing global law: thinking of law spatially. It illustrates that space is a concept with the capacity to capture the relationality, dynamics, and hybridity of law. Moreover, this book investigates the role of topological thinking in finding concrete perspectives on law. Legal Spaces offers an innovative and interdisciplinary approach to law.