Notes from the Metalevel

Notes from the Metalevel
Author: Heinrich Taube
Publisher: Routledge
Total Pages: 273
Release: 2013-10-23
Genre: Music
ISBN: 113438145X

First Published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.

Notes from the Metalevel

Notes from the Metalevel
Author: Heinrich Taube
Publisher: Routledge
Total Pages: 354
Release: 2013-10-23
Genre: Music
ISBN: 1134381387

First Published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.

Metalevel Architectures and Separation of Crosscutting Concerns

Metalevel Architectures and Separation of Crosscutting Concerns
Author: Akinori Yonezawa
Publisher: Springer
Total Pages: 293
Release: 2003-06-30
Genre: Computers
ISBN: 3540454292

This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September 25-28, 2001. Metalevel architectures and re?ection have drawn the attention of researchers and practitioners throughout computer science. Re?ective and metalevel te- niques are being used to address real-world problems in such areas as: progr- ming languages, operating systems, databases, distributed computing, expert systems and web computing. Separation of concerns has been a guiding principle of software engineering for nearly 30 years, but its known bene?ts are seldom fully achieved in practice. This is primarily because traditional mechanisms are not powerful enough to handle many kinds of concerns that occur in practice. Over the last 10 years, to overcome the limitations of traditional frameworks, many researchers, including several from the re?ection community, have proposed new approaches. For the ?rst time, papers on advanced approaches to separation of concerns were explicitly solicited. Following the success of previous conferences such as IMSA’92 in Tokyo, Re?ection’96 in San Francisco, and Re?ection’99 in Saint Malo, we hope that the conference provided an excellent forum for researchers with a broad range of interests in metalevel architectures, re?ective techniques, and separation of concerns in general.

The Mirror of Laughter

The Mirror of Laughter
Author: Alexander Kozintsev
Publisher: Routledge
Total Pages: 247
Release: 2017-07-12
Genre: Social Science
ISBN: 1351479407

The Mirror of Laughter presents a theory of humor and laughter by examining their relationship to human behaviors. Kozintsev is especially interested in the relationship between biological and cultural factors that influence behaviors. He divides his work into four chapters, the first of which establishes a theme of the book, focusing on the study of meaning from the perspective of philosophy and psychology, while examining linguistic theories of humor. The second chapter examines biological data regarding laughter and the evolutionary origins of laughter and humor. It demonstrates the author's interest in studying humor objectively by detailing physiological reactions and underlying psychological issues. The third section on play, including linguistic play, distinguishes between orderly and disorderly play. While orderly play has no biological roots and is synonymous with culture, disorderly play is rooted in the pre-human past. The final chapter discusses the conflict between culture and nature and how culture has transformed the original semantics of laughter. Kozintsev seeks to understand the relationship between the biological, cultural, and social origins of humor and, from here, he seeks to create new understanding that only the alliance of several disciplines could provide. All of this is done while the author challenges many popular ideas of humor, such as that humor is inherently related to hostility. Originally written in Russian, this work makes great strides towards its goal, and it does so in an interesting and enlightening way.

Meta-Level Architectures and Reflection

Meta-Level Architectures and Reflection
Author: Pierre Cointe
Publisher: Springer
Total Pages: 283
Release: 2003-06-29
Genre: Computers
ISBN: 3540484434

This book constitutes the refereed proceedings of the Second International Conference on Meta-Level Architectures and Reflection, Reflection'99, held in St. Malo, France in July 1999. The 13 revised full papers presented were carefully selected from 44 submissions. Also included are six short papers and the abstracts of three invited talks. The papers are organized in sections on programming languages, meta object protocols, middleware/multi-media, work in progress, applications, and meta-programming. The volume covers all current issues arising in the design and analysis of reflective systems and demontrates their practical applications.

Meta-Level Control for Deductive Database Systems

Meta-Level Control for Deductive Database Systems
Author: Helmut Schmidt
Publisher: Springer Science & Business Media
Total Pages: 172
Release: 1991
Genre: Computers
ISBN: 9783540537540

The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations. An important characteristic of these systems is the clear separation of logic and control. However, the programmer cannot affect the control part of a deductive database system. To eliminate this deficiency, this monograph presents a so-called expert deductive database system that allows explicit control of the deduction process. The system consists of an object-level describing the logical aspects of a problem and of a meta-level that contains application-specific control information affecting the object-level deduction process. For example, object-level rules can be disregarded, and some tuples deduced at the object-level can be preferred to others. Besides the architecture of this system, the book also identifies some important possibilities of deduction control which are explained by characteristic examples.

Realism and Sociology

Realism and Sociology
Author: Justin Cruickshank
Publisher: Psychology Press
Total Pages: 368
Release: 2007-01-24
Genre: Philosophy
ISBN: 0415436850

In recent years, methodological debates in the social sciences have increasingly focused on issues relating to epistemology. Realism and Sociology makes an original contribution to the debate, charting a middle ground between postmodernism and positivism. Critics often hold that realism tries to assume some definitive account of reality. Against this it is argued throughout the book that realism can combine a strong definition of social reality with an anti-foundational approach to knowledge. The position of realist anti-foundationalism that is argued for is developed and defended via the use of immanent critiques. These deal primarily with post-Wittgensteinian positions that seek to define knowledge and social reality in terms of 'rule-following practices' within different 'forms of life' and 'language games'. Specifically, the argument engages with Rorty's neo-pragmatism and the structuration theory of Giddens. The philosophy of Popper is also drawn upon in a critically appreciative way. While the positions of Rorty and Giddens seek to deflate the claims of 'grand theory', albeit in different ways, they both end up with definitive claims about knowledge and reality that preclude social research. By avoiding the general deflationary approach that relies on reference to 'practices', realism is able to combine a strong social ontology with an anti-foundational epistemology, and thus act as an underlabourer for empirical research.

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis
Author: Cyrille Artho
Publisher: Springer
Total Pages: 527
Release: 2016-10-07
Genre: Computers
ISBN: 3319465201

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.