This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry.
This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996. The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.
Inventing isn’t easy! After identifying and presenting the 12 "valleys of death", the real obstacles limiting the transition from an original idea to an innovative one, including the notion of socially responsible research, Knowledge Production Modes between Science and Applications 2 applies the concepts introduced in Volume 1. The book starts off with 3D printing, which has essentially broken through all barriers by offering remarkable advantages over existing mechanical technology. The situation is different for 4D printing and bio-printing. First of all, we need to tackle the complexity inherent in these processes, and move away from disciplinarity to find robust, applicable solutions, despite the obstacles. This is possible in niche areas, but currently, low profitability still limits their general applicability and the willingness of researchers to embrace interdisciplinary convergence....
Who hasn’t dreamed of seeing matter transformed in a way that suits you? This is the goal of 4D printing, using materials that can change in terms of shape and property under the effect of energy stimulation. From the description of the actions and actuators, the authors show the weaknesses that limit the industrialization of 4D printing processes; these are the modes of energy stimulation. To prepare for the future, two chapters are introduced: “Material-Process Duality in Industrial 4D Printing” and “How to Approach 4D Printing in Design”. If the capture and reuse of 4D printing knowledge is necessary for this objective, the conclusion leaves the existing myth around the 4D printing theme and proposes a “draft” roadmap that should be the subject of reflection and scientific debate on a concept that is still immature, but full of promise.
In this groundbreaking work, Claude Calame argues that the songs sung by choruses of young girls in ancient Greek poetry are more than literary texts; rather, they functioned as initiatory rituals in Greek cult practices. Using semiotic and anthropologic theory, Calame reconstructs the religious and social institutions surrounding the songs, demonstrating their function in an aesthetic education that permitted the young girls to achieve the stature of womanhood and to be integrated into the adult civic community. This first English edition includes an updated bibliography.
In 1984, additive manufacturing represented a new methodology for manipulating matter, consisting of harnessing materials and/or energy to create three-dimensional physical objects. Today, additive manufacturing technologies represent a market of around 5 billion euros per year, with an annual growth between 20 and 30%. Different processes, materials and dimensions (from nanometer to decameter) within additive manufacturing techniques have led to 70,000 publications on this topic and to several thousand patents with applications as wide-ranging as domestic uses. Volume 1 of this series of books presents these different technologies with illustrative industrial examples. In addition to the strengths of 3D methods, this book also covers their weaknesses and the developments envisaged in terms of incremental innovations to overcome them.
Additive manufacturing, which was first invented in France and then applied in the United States, is now 33 years old and represents a market of around 5 billion euros per year, with annual growth of between 20 and 30%. Today, additive manufacturing is experiencing a great amount of innovation in its processes, software, engineering and materials used. Its strength as a process has more recently allowed for the exploration of new niches, ranging from applications at nanometer and decameter scales, to others in mechanics and health. As a result, the limitations of the process have also begun to emerge, which include the quality of the tools, their cost of manufacture, the multi-material aspects, functionalities and surface conditions. Volume 2 of this series presents the current techniques, improvements and limits of additive manufacturing, providing an up-to-date review of this process.
Process engineering emerged at the beginning of the 20th Century and has become an essential scientific discipline for the matter and energy processing industries. Its success is incontrovertible, with the exponential increase in techniques and innovations. Rapid advances in new technologies such as artificial intelligence, as well as current societal needs sustainable development, climate change, renewable energy, the environment are developments that must be taken into account in industrial renewal. Process Engineering Renewal 1 the first volume of three focuses on training, demonstrating the need for innovation in order for the field to have a framework that is sustainable, in a highly changeable world.
Any time objects and their (self-)organization are to be put into use, their models and methods of thinking as well as their designing and manufacturing need to be reinvented. 4D printing is a future technology that is capable of bringing 3D objects to life. This ability, which gives objects the power to change shape or properties over time through energy stimulation from active materials and additive manufacturing, makes it possible to envisage technological breakthroughs while challenging the relationship between people and objects. 4D Printing 1 presents the different facets of this technology, providing an objective, critical and even disruptive viewpoint to enable its existence and development, and to stimulate the creative drive that industry, society and humanity need in the perpetual quest for evolution and transformation.
The notion that human thought is structured like a language, with a precise syntax and semantics, has been pivotal in recent philosophy of mind. Yet it is not a new idea: it was systematically explored in the fourteenth century by William of Ockham and became central in late medieval philosophy. Mental Language examines the background of Ockham's innovation by tracing the history of the mental language theme in ancient and medieval thought. Panaccio identifies two important traditions: one philosophical, stemming from Plato and Aristotle, and the other theological, rooted in the Fathers of the Christian Church. The study then focuses on the merging of the two traditions in the Middle Ages, as they gave rise to detailed discussions over the structure of human thought and its relations with signs and language. Ultimately, Panaccio stresses the originality and significance of Ockham's doctrine of the oratio mentalis (mental discourse) and the strong impression it made upon his immediate successors.
Containing useful information sources for the management of natural resources, this comprehensive text covers a large range of spatial resolutions and spectral characteristics. The book deals with the data sources and their physical interpretation, as well as processing techniques, such as visual interpretation and automated classifications, textural and structural processing and photogrammetry. There is a section on accuracy assessment and various applications relating to crops, grasslands, soils, landscapes, mines and coasts. The CD-ROM contains software and image data sets explaining the statistical methods of reference and contains a light version of the TeraVue software enabling the reader to compute the different processing spatial data.
This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium on Programming (ESOP) in Rennes, France, February 26-28, 1992 (the proceedings of ESOP appear in LNCS 582). The previous colloquia were held in France, Italy, Germany, Spain, Denmark and England. Every even year, as in 1992, CAAP is held jointly with ESOP; every other year, it is part of TAPSOFT (Theory And Practice of SOFTware development). In the beginning, CAAP was devoted to algebraic and combinatorial properties of trees and their role in various fields of computer science. The scope of CAAP has now been extended to other discrete structures, like graphs, equations and transformations of graphs, and their links with logical theories. The programme committee received 40 submissions, from which 19 papers have been selected for inclusion inthis volume.
Ultrashort Laser Pulse Phenomena, Second Edition serves as an introduction to the phenomena of ultra short laser pulses and describes how this technology can be used to examine problems in areas such as electromagnetism, optics, and quantum mechanics. Ultrashort Laser Pulse Phenomena combines theoretical backgrounds and experimental techniques and will serve as a manual on designing and constructing femtosecond ("faster than electronics") systems or experiments from scratch. Beyond the simple optical system, the various sources of ultrashort pulses are presented, again with emphasis on the basic concepts and how they apply to the design of particular sources (dye lasers, solid state lasers, semiconductor lasers, fiber lasers, and sources based on frequency conversion). - Provides an easy to follow guide through "faster than electronics" probing and detection methods - THE manual on designing and constructing femtosecond systems and experiments - Discusses essential technology for applications in micro-machining, femtochemistry, and medical imaging
A comprehensive handbook of more than 1,000 magical words, phrases, symbols, and secret alphabets • Explains the origins, derivatives, and practical usage of each word, phrase, and spell as well as how they can be combined for custom spells • Based on the magical traditions of Europe, Greece, and Egypt and recently discovered one-of-a-kind grimoires from Scandinavia, France, and Germany • Includes an in-depth exploration of secret magical alphabets, including those based on Hebrew letters, Kabbalistic symbols, astrological signs, and runes From Abracadabra to the now famous spells of the Harry Potter series, magic words are no longer confined to the practices of pagans, alchemists, witches, and occultists. They have become part of the popular imagination of the Western world. Passed down from ancient Babylon, Egypt, and Greece, these words and the rituals surrounding them have survived through the millennia because they work. And as scholar Claude Lecouteux reveals, often the more impenetrable they seem, the more effective they are. Analyzing more than 7,000 spells from the magical traditions of Europe as well as the magical papyri of the Greeks and recently discovered one-of-a-kind grimoires from Scandinavia, France, and Germany, Lecouteux has compiled a comprehensive dictionary of ancient magic words, phrases, and spells along with an in-depth exploration--the first in English--of secret magical alphabets, including those based on Hebrew letters, Kabbalistic symbols, astrological signs, and runes. Drawing upon thousands of medieval accounts and famous manuscripts such as the Heptameron of Peter Abano, the author examines the origins of each word or spell, offering detailed instructions on their successful use, whether for protection, love, wealth, or healing. He charts their evolution and derivations through the centuries, showing, for example, how spells that were once intended to put out fires evolved to protect people from witchcraft. He reveals the inherent versatility of magic words and how each sorcerer or witch had a set of stock phrases they would combine to build a custom spell for the magical need at hand. Presenting a wealth of material on magical words, signs, and charms, both common and obscure, Lecouteux also explores the magical words and spells of ancient Scandinavia, the Hispano-Arabic magic of Spain before the Reconquista, the traditions passed down from ancient Egypt, and those that have stayed in use until the present day.
The Gods of Egypt, first published in France in 1992 and now in its third French edition, is a short, elegant, and highly accessible survey of ancient Egyptian religion. The clarity and brevity of Claude Traunecker's book make it especially valuable to readers seeking an authoritative introduction to this complex topic. The Cornell edition, the first English translation, is enhanced by 23 illustrations. Traunecker begins with an overview of the source materials and a discussion of the historiography of Egyptian religion, a subject relatively neglected by scholars. He then describes the actual and metaphysical worlds inhabited by the Egyptian deities and the role that humans played in the Egyptian universe. Focusing especially on the diversity and number of approaches used by Egyptians to explain their world, The Gods of Egypt offers a succinct and highly readable presentation of recent interpretations of Egyptian religion.
This collection touches on a wide range of anthropological issues, including family and marriage, myths, and rites, the environment and its representation, and constraint and freedom. The essays encompass more than forty years of analysis and constrain arguments that are as relevant today as they were thirty years ago. "Hardly a field remains untouched—sociobiology, linguistics, botany, genetics, psychiatry, esthetics, ecology, politics, neuroscience, education, morality, psychology. . . . It's all breathtaking and alarming, some of it wonderful, some of it ridiculous. . . . At times the experience is exhilarating."—Richard A. Shweder, New York Times Book Review
Primarily aiming to give undergraduate students an introduction to solid state physics, Physics of Electrons in Solids explains the properties of solids through the study of non-interacting electrons in solids. While each chapter contains a qualitative introduction to the main ideas behind solid state physics, it also provides detailed calculations of utmost importance to graduate students.The introductory chapters contain crystallographic and quantum prerequisites. The central chapters are devoted to the quantum states of an independent electron in a crystal and to the equilibrium properties of conductors, insulators, and semiconductors. The final chapters contain insights into the assumptions made throughout, briefly describing the origin of ferromagnetism and superconductivity. The book ends with exercises and solutions based on a physics course taught by the author at École Polytechnique.
This book presents the refereed proceedings of the Third International Conference on Intelligent Tutoring Systems, ITS '96, held in Montreal, Canada, in June 1996. The book contains 69 revised papers selected from a total of 128 submissions; also included are six invited papers from well-known speakers. All in all, the book reflects the state-of-the-art in the area. In particular the following topics are covered: advising systems, ITS architectures, cognitive models, design issues, empirical studies, formal models, learning environments, real-world applications, software tools for tutoring, student modelling, teaching and learning strategies, and multimedia and WWW.
This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996. The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.
This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry.
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
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.