Notes from the Metalevel PDF Download

Author: Heinrich Taube
Publisher: Routledge
ISBN: 113438145X
Category : Music
Languages : en
Pages : 273

View

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

Author: Heinrich K. Taube
Publisher:
ISBN: 9789026519574
Category :
Languages : en
Pages : 338

View

Book Description

Author: Heinrich Taube
Publisher: Routledge
ISBN: 1134381387
Category : Music
Languages : en
Pages : 354

View

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

Author: Akinori Yonezawa
Publisher: Springer
ISBN: 3540454292
Category : Computers
Languages : en
Pages : 293

View

Book Description
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.

Author: Frank Van Harmelen
Publisher: Morgan Kaufmann
ISBN: 9781558601963
Category : Computers
Languages : en
Pages : 180

View

Book Description

Author: Alexander Kozintsev
Publisher: Routledge
ISBN: 1351479407
Category : Social Science
Languages : en
Pages : 247

View

Book Description
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.

Author: Pierre Cointe
Publisher: Springer
ISBN: 3540484434
Category : Computers
Languages : en
Pages : 283

View

Book Description
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.

Author: Helmut Schmidt
Publisher: Springer Science & Business Media
ISBN: 9783540537540
Category : Computers
Languages : en
Pages : 172

View

Book Description
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.

Author: Alan Bundy
Publisher: Cambridge University Press
ISBN: 9780521834490
Category : Computers
Languages : en
Pages : 224

View

Book Description
Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar givens. It was originally developed for inductive proofs, where the goal was the induction conclusion and the givens were the induction hypotheses. It has proved to be applicable to a much wider class of tasks, from summing series via analysis to general equational reasoning. The application to induction has especially important practical implications in the building of dependable IT systems, and provides solutions to issues such as the problem of combinatorial explosion. Rippling is the first of many new search control techniques based on formula annotation; some additional annotated reasoning techniques are also described here. This systematic and comprehensive introduction to rippling, and to the wider subject of automated inductive theorem proving, will be welcomed by researchers and graduate students alike.

Author: Justin Cruickshank
Publisher: Psychology Press
ISBN: 0415436850
Category : Philosophy
Languages : en
Pages : 368

View

Book Description
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.