- Table View
- List View
Values of Our Times: Contemporary Axiological Research in China
by Deshun LiPhilosophers have gradually accepted axiology as one branch of philosophy. As a basic category belonging to axiology and philosophy, "value" is the general abstraction of concrete value formation in various fields including utility, ethics and appreciation of the beauty. The problem of value is essentially a problem of historical activities of practice in human society. The axiology based on the scientific practice view insists on the principle of unification between theory and practice, truth and value. In research of axiology, the relation between subjectivity and objectivity of values is a problem that must be solved in the first place. The modern conversation of value philosophy is the academic and practical demands of the value philosophy research in China. Value evaluation is an important part of the axiology. In order to deepen the research of value philosophy and to promote the development of current value philosophy, we must have scientific mode of thinking suitable for the nature of value. It is the base of value relation, the origin of value needs, the process of value creation and actualization and the fundamental way to proving ones value as a human being.
The Road to Privatization of Higher Education in China: A New Cultural Revolution?
by Li WangThis book makes both empirical and conceptual contributions to the debate on privatization of higher education in China. Empirically, it aims to fill a gap in our knowledge of privatization of higher education in North China. To this end, Beijing was chosen as a case for analysis, and nine local higher educational institutions were visited. The case study strategy is also complemented by an extensive review of national policies to reveal problems beyond the specific case of Beijing and of national concern. The effects of the cultural and socioeconomic background and the unique state-party controlling system on higher education management are stressed. Conceptually, most existing studies on privatization of higher education in China adopt a policy analysis approach, while research on privatization of other public sectors or in other countries is frequently guided by economic theories. This book thus seeks to combine both social policy and econometric approaches to provide a systematic and detailed investigation of the privatization process in the context of higher education. It also improves examines the applicability of western theories in the Chinese context.
Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings (Lecture Notes in Computer Science #7880)
by Peggy Cellier Felix Distel Bernhard GanterThis book constitutes the refereed proceedings of the 11th International Conference on Formal Concept Analysis, ICFCA 2013, held in Dresden, Germany, in May 2013. The 15 regular papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers present current research from a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including data visualization and analysis (mining), knowledge management, as well as Web semantics, and software engineering. In addition the book contains a reprint of the first publication in english describing the seminal stem-base construction by Guigues and Duquenne; and a position paper pointing out potential future applications of FCA.
Adaptation and Autonomy: Adaptive Preferences in Enhancing and Ending Life (Studies in Applied Philosophy, Epistemology and Rational Ethics #10)
by Juha Räikkä Jukka VareliusThis volume gathers together previously unpublished articles focusing on the relationship between preference adaptation and autonomy in connection with human enhancement and in the end-of-life context. The value of individual autonomy is a cornerstone of liberal societies. While there are different conceptions of the notion, it is arguable that on any plausible understanding of individual autonomy an autonomous agent needs to take into account the conditions that circumscribe its actions. Yet it has also been suggested that allowing one’s options to affect one’s preferences threatens autonomy. While this phenomenon has received some attention in other areas of moral philosophy, it has seldom been considered in bioethics. This book combines for the first time the topics of preference adaptation, individual autonomy, and choosing to die or to enhance human capacities in a unique and comprehensive volume, filling an important knowledge gap in the contemporary bioethics literature.
Computer Science - Theory and Applications: 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings (Lecture Notes in Computer Science #7913)
by Andrei A. Bulatov Arseny M. ShurThis book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held in Ekaterinburg, Russia, in June 2013. The 29 full papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition the book contains 8 invited lectures. The papers are organized in topical sections on: algorithms; automata; logic and proof complexity; complexity; words and languages; and logic and automata.
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science #7898)
by Maria Paola BonacinaThis book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers, solvers and systems.
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings (Lecture Notes in Computer Science #7892)
by Dirk Beyer Michele BorealeThis book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability.
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Lecture Notes in Computer Science #7940)
by Einar Broch Johnsen Luigia PetreThis book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.
Ontology Matching
by Jérôme Euzenat Pavel ShvaikoOntologies tend to be found everywhere. They are viewed as the silver bullet for many applications, such as database integration, peer-to-peer systems, e-commerce, semantic web services, or social networks. However, in open or evolving systems, such as the semantic web, different parties would, in general, adopt different ontologies. Thus, merely using ontologies, like using XML, does not reduce heterogeneity: it just raises heterogeneity problems to a higher level.Euzenat and Shvaiko’s book is devoted to ontology matching as a solution to the semantic heterogeneity problem faced by computer systems. Ontology matching aims at finding correspondences between semantically related entities of different ontologies. These correspondences may stand for equivalence as well as other relations, such as consequence, subsumption, or disjointness, between ontology entities. Many different matching solutions have been proposed so far from various viewpoints, e.g., databases, information systems, and artificial intelligence.The second edition of Ontology Matching has been thoroughly revised and updated to reflect the most recent advances in this quickly developing area, which resulted in more than 150 pages of new content. In particular, the book includes a new chapter dedicated to the methodology for performing ontology matching. It also covers emerging topics, such as data interlinking, ontology partitioning and pruning, context-based matching, matcher tuning, alignment debugging, and user involvement in matching, to mention a few. More than 100 state-of-the-art matching systems and frameworks were reviewed.With Ontology Matching, researchers and practitioners will find a reference book that presents currently available work in a uniform framework. In particular, the work and the techniques presented in this book can be equally applied to database schema matching, catalog integration, XML schema matching and other related problems. The objectives of the book include presenting (i) the state of the art and (ii) the latest research results in ontology matching by providing a systematic and detailed account of matching techniques and matching systems from theoretical, practical and application perspectives.
Developments in Language Theory: 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings (Lecture Notes in Computer Science #7907)
by Marie-Pierre Beal Olivier CartonThis book constitutes the proceedings of the 17th International Conference on Developments in Language Theory, DLT 2013, held in Marne-la-Vallée, France, in June 2013. The 34 full papers presented in this volume were carefully reviewed and selected from 63 submissions. The scope of the conference includes, among others, the following topics and areas: combinatorial and algebraic properties of words and languages; grammars, acceptors and transducers for strings, trees, graphs, arrays; algebraic theories for automata and languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and logic; picture description and analysis; polyominoes and bidimensional patterns; cryptography; concurrency; cellular automata; bio-inspired computing; and quantum computing.
Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers (Lecture Notes in Computer Science #7842)
by Fabrizio Riguzzi Filip ZeleznyThis book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive Logic Programming, ILP 2012, held in Dubrovnik, Croatia, in September 2012. The 18 revised full papers were carefully reviewed and selected from 41 submissions. The papers cover the following topics: propositionalization, logical foundations, implementations, probabilistic ILP, applications in robotics and biology, grammatical inference, spatial learning and graph-based learning.
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings (Lecture Notes in Computer Science #7935)
by Francesco Logozzo Manuel FähndrichThis book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.
Paradigms in Cartography: An Epistemological Review of the 20th and 21st Centuries
by Pablo Iván Azócar Fernández Manfred Ferdinand BuchroithnerIn this book the main trends, concepts and directions in cartography and mapping in modernism and post-modernism are reviewed. Philosophical and epistemological issues are analysed in cartography from positivist-empiricist, neo-positivist and post-structuralist stances. In general, in cartography technological aspects have been considered as well as theoretical issues. The aim is to highlight the epistemological and philosophical viewpoint during the development of the discipline. Some main philosophers who have been influential for contemporary thinking such as Immanuel Kant, Ludwig Wittgenstein, Karl Popper and Bertrand Russell, are considered. None of these philosophers wrote about cartography directly (excepting Kant), but their philosophies are related to cartography and mapping issues. The book also analyses the concept of paradigm or paradigm shift coined by Thomas Kuhn, who applied it to the history of science. Different cartographic trends that have arisen since the second half of the twentieth century are analysed according to this important concept which is implicit inside the scientific or disciplinary communities. Further, the authors analyse the position of cartography in the context of the sciences and other disciplines, adopting a positivistic point of view. Additionally, they review current trends in cartography and mapping in the context of information and communication technologies in a post-modernistic or post-structuralistic framework. Thus, since the 1980s and 1990s, new mapping concepts have arisen which challenge the discipline’s traditional map conceptions.
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science #7942)
by Margus Veanes Luca ViganoThis book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.
Responsible Communication: Wie Sie von PR und CSR-Kommunikation zu echtem Verantwortungsmanagement kommen
by Gabriele Faber-WienerIn Zeiten von Finanzkrise, wachsender Vernetzung, Wertewandel und einer Gesellschaft, die Unternehmen, Politik und Institutionen immer mehr hinterfragt, gewinnt Transparenz zunehmend an Bedeutung. Speziell dort, wo Corporate Social Responsibility (CSR) zum integralen Bestandteil des Wirtschaftens herangewachsen ist, wird mehr denn je klar: Viele herkömmliche, gelernte Rezepte greifen nicht mehr, um Glaubwürdigkeit, Vertrauen und Legitimation in der Öffentlichkeit zu bewahren. Offenheit und Flexibilität im Management sind gefragt – und eine neue Qualität in der Kommunikation. Kommunikation ist ein Spiegel der Haltung. Unternehmen und Institutionen, die Nachhaltigkeit und Verantwortung in ihrem Wertekatalog verankert haben, müssen sich bewusst sein, dass diese proklamierten Werte verstärkt hinterfragt und auf ihre Glaubwürdigkeit abgeklopft werden. Verantwortliches Management verlangt nach einer wertebasierten, zukunftsfähigen und diskursorientierten Kommunikation.Dies ist Kern dieses Buches. Es setzt sich mit den Voraussetzungen für glaubwürdige Kommunikation zusammen, untersucht die Praxis der PR und CSR-Kommunikation auf ihre Glaubwürdigkeit hin und entwickelt ein neues Konzept, das die Verantwortung der Kommunikatoren ausdehnt: weg von einer zumeist eindimensionalen Positiv-Kommunikation, hin zum offenen und selbstkritischen Diskurs.Responsible Communication heißt: Sie handeln und kommunizieren: ausgewogen - selbstkritisch - ethik-basiert - dialogischNur dann ist Glaubwürdigkeit gewährleistet – frei nach der Devise „Verantwortung heißt Antwort geben“
Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science #7941)
by Masahito HasegawaThis book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting, Deduction, and Programming, together with the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, and several related events. The 15 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.
ECOOP 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings (Lecture Notes in Computer Science #7920)
by Giuseppe CastagnaThis book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation.
The Nature of Computation: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings (Lecture Notes in Computer Science #7921)
by Paola Bonizzoni Vasco Brattka Benedikt LöweThis book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science #7962)
by Matti Jarvisalo Allen Van GelderThis book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013. The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers). The focus of the papers in on following topics: maximum satisfiability, encodings and applications, solver techniques and algorithms, clique-width and SAT, propositional proof complexity, parameterized complexity.
Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings (Lecture Notes in Computer Science #7956)
by Giancarlo Mauri Alberto Dennunzio Luca Manzoni Antonio E. PorrecaThis book constitutes the refereed proceedings of the 12th International Conference on Unconventional Computation and Natural Computation, UCNC 2013, held in Milan, Italy, in July 2013. The 30 papers (28 full papers, 8 poster papers, and 2 invited papers) were carefully reviewed and selected from 46 submissions. The topics of the volume include: quantum, cellular, molecular, neural, DNA, membrane, and evolutionary computing; cellular automata; computation based on chaos and dynamical systems; massive parallel computation; collective intelligence; computation based on physical principles such as relativistic, optical, spatial, collision-based computing; amorphous computing; physarum computing; hypercomputation; fuzzy and rough computing; swarm intelligence; artificial immune systems; physics of computation; chemical computation; evolving hardware; the computational nature of self-assembly, developmental processes, bacterial communication, and brain processes.
Symbolic and Quantiative Approaches to Resoning with Uncertainty: 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings (Lecture Notes in Computer Science #7958)
by Linda C. Van Der GaagThis book constitutes the refereed proceedings of the 12th EuropeanConference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2013, held in Utrecht, The Netherlands, in July 2013. The 44 revised full papers presented were carefully reviewed andselected from 89 submissions. Papers come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.
Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings (Lecture Notes in Computer Science #7982)
by Stavros KonstantinidisThis book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers (Lecture Notes in Computer Science #7787)
by Shaoying LiuThis book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.
Erdös Centennial (Bolyai Society Mathematical Studies #25)
by László Lovász Imre Ruzsa Vera T. SósPaul Erdös was one of the most influential mathematicians of the twentieth century, whose work in number theory, combinatorics, set theory, analysis, and other branches of mathematics has determined the development of large areas of these fields. In 1999, a conference was organized to survey his work, his contributions to mathematics, and the far-reaching impact of his work on many branches of mathematics. On the 100th anniversary of his birth, this volume undertakes the almost impossible task to describe the ways in which problems raised by him and topics initiated by him (indeed, whole branches of mathematics) continue to flourish. Written by outstanding researchers in these areas, these papers include extensive surveys of classical results as well as of new developments.
Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings (Lecture Notes in Computer Science #8031)
by Jürgensen Rogério ReisThis book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. The 22 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 46 submissions. The topics covered are automata, grammars, languages and other formal systems; various modes of operations and complexity measures; co-operating systems; succinctness of description of objects, state-explosion-like phenomena; circuit complexity of Boolean functions and related measures; size complexity and structural complexity of formal systems; trade-offs between computational models and mode of operation; applications of formal systems; for instance in software and hardware testing, in dialogue systems, in systems modeling or in modeling natural languages; and their complexity constraints; size or structural complexity of formal systems for modeling natural languages; complexity aspects related to the combinatorics of words; descriptional complexity in resource-bounded or structure-bounded environments; structural complexity as related to descriptional complexity; frontiers between decidability and undecidability; universality and reversibility; nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov-Chaitin complexity, algorithmic information.