Meta-Programming and Model-Driven Meta-Program Development

Meta-Programming and Model-Driven Meta-Program Development

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques presents an overall analysis of meta-programming, focusing on insights of meta-programming techniques, heterogeneous meta-program development processes in the context of model-driven, feature-based and transformative approaches.The fundamental concepts of meta-programming are still not thoroughly understood, in this well organized book divided into three parts the authors help to address this. Chapters include: Taxonomy of fundamental concepts of meta-programming; Concept of structural heterogeneous meta-programming based on the original meta-language; Model-driven concept and feature-based modeling to the development process of meta-programs; Equivalent meta-program transformations and metrics to evaluate complexity of feature-based models and meta-programs; Variety of academic research case studies within different application domains to experimentally verify the soundness of the investigated approaches.Both authors are professors at Kaunas University of Technology with 15 years research and teaching experience in the field. Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques is aimed at post-graduates in computer science and software engineering and researchers and program system developers wishing to extend their knowledge in this rapidly evolving sector of science and technology.

Meta-Programming and Model-Driven Meta-Program Development

Self-Evolvable Systems

Self-Evolvable Systems

This monograph presents key method to successfully manage the growing complexity of systems where conventional engineering and scientific methodologies and technologies based on learning and adaptability come to their limits and new ways are nowadays required. The transition from adaptable to evolvable and finally to self-evolvable systems is highlighted, self-properties such as self-organization, self-configuration, and self-repairing are introduced and challenges and limitations of the self-evolvable engineering systems are evaluated.

Self-Evolvable Systems

Wood Machining

Wood Machining

Wood as an engineering material can be technically defined as a hygroscopic, orthotropic, biological, and permeable material having extreme chemical diversity and physical complexity with structures, that vary extensively in their shape, size, properties and function. Therefore, using wood to its best advantage and most efficiency in engineering applications, specific characteristics or chemical, physical and mechanical properties must be considered.

Wood Machining

Why Society is a Complex Matter

Why Society is a Complex Matter

Society is complicated. But this book argues that this does not place it beyond the reach of a science that can help to explain and perhaps even to predict social behaviour. As a system made up of many interacting agents people, groups, institutions and governments, as well as physical and technological structures such as roads and computer networks society can be regarded as a complex system. In recent years, scientists have made great progress in understanding how such complex systems operate, ranging from animal populations to earthquakes and weather. These systems show behaviours that cannot be predicted or intuited by focusing on the individual components, but which emerge spontaneously as a consequence of their interactions: they are said to be self-organized. Attempts to direct or manage such emergent properties generally reveal that top-down approaches, which try to dictate a particular outcome, are ineffectual, and that what is needed instead is a bottom-up approach that aims to guide self-organization towards desirable states. This book shows how some of these ideas from the science of complexity can be applied to the study and management of social phenomena, including traffic flow, economic markets, opinion formation and the growth and structure of cities. Building on these successes, the book argues that the complex-systems view of the social sciences has now matured sufficiently for it to be possible, desirable and perhaps essential to attempt a grander objective: to integrate these efforts into a unified scheme for studying, understanding and ultimately predicting what happens in the world we have made. Such a scheme would require the mobilization and collaboration of many different research communities, and would allow society and its interactions with the physical environment to be explored through realistic models and large-scale data collection and analysis. It should enable us to find new and effective solutions to major global problems such as conflict, disease, financial instability, environmental despoliation and poverty, while avoiding unintended policy consequences. It could give us the foresight to anticipate and ameliorate crises, and to begin tackling some of the most intractable problems of the twenty-first century.

Why Society is a Complex Matter

Biomechanics of the Gravid Human Uterus

Biomechanics of the Gravid Human Uterus

The complexity of human uterine function and regulation is one of the great wonders of nature and represents a daunting challenge to unravel. This book is dedicated to the biomechanical modeling of the gravid human uterus and gives an example of the application of the mechanics of solids and the theory of soft shells to explore medical problems of labor and delivery. After a brief overview of the anatomy, physiology and biomechanics of the uterus, the authors focus mainly on electromechanical wave processes, their origin, dynamics, and neuroendocrine and pharmacological modulations. In the last chapter applications, pitfalls and problems related to modeling and computer simulations of the pregnant uterus and pelvic floor structures are discussed. A collection of exercises is added at the end of each chapter to help readers with self-evaluation. The book serves as an invaluable source of information for researchers, instructors and advanced undergraduate and graduate students interested in systems biology, applied mathematics and biomedical engineering.

Biomechanics of the Gravid Human Uterus

The Automotive Body, Volume I

The Automotive Body, Volume I

The Automotive Body consists of two volumes. The first volume produces the needful cultural background on the body; it describes the body and its components in use on most kinds of cars and industrial vehicles: the quantity of drawings that are presented allows the reader to familiarize with the design features and to understand functions, design motivations and fabrication feasibility, in view of the existing production processes. The second volume addresses the body system engineer and has the objective to lead him to the specification definition used to finalize detail design and production by the car manufacturer or the supply chain. The processing of these specifications, made by mathematical models of different complexity, starts always from the presentations of the needs of the customer using the vehicle and from the large number of rules imposed by laws and customs. The two volumes are completed by references, list of symbols adopted and subjects index.These two books about the vehicle body may be added to those about the chassis and are part of a series sponsored by ATA (the Italian automotive engineers association) on the subject of automotive engineering; they follow the first book, published in 2005 in Italian only, about automotive transmission.They cover automotive engineering from every aspect and are the result of a five-year collaboration between the Polytechnical University of Turin and the University of Naples on automotive engineering.

The Automotive Body, Volume I

Agent-Based Models of Geographical Systems

Agent-Based Models of Geographical Systems

This unique book brings together a comprehensive set of papers on the background, theory, technical issues and applications of agent-based modelling (ABM) within geographical systems. This collection of papers is an invaluable reference point for the experienced agent-based modeller as well those new to the area. Specific geographical issues such as handling scale and space are dealt with as well as practical advice from leading experts about designing and creating ABMs, handling complexity, visualising and validating model outputs. With contributions from many of the world s leading research institutions, the latest applied research (micro and macro applications) from around the globe exemplify what can be achieved in geographical context. This book is relevant to researchers, postgraduate and advanced undergraduate students, and professionals in the areas of quantitative geography, spatial analysis, spatial modelling, social simulation modelling and geographical information sciences.

Agent-Based Models of Geographical Systems

Phonetic Search Methods for Large Speech Databases

Phonetic Search Methods for Large Speech Databases

Phonetic Search Methods for Large Databases focuses on Keyword Spotting (KWS) within large speech databases. The brief will begin by outlining the challenges associated with Keyword Spotting within large speech databases using dynamic keyword vocabularies. It will then continue by highlighting the various market segments in need of KWS solutions, as well as, the specific requirements of each market segment. The work also includes a detailed description of the complexity of the task and the different methods that are used, including the advantages and disadvantages of each method and an in-depth comparison. The main focus will be on the Phonetic Search method and its efficient implementation. This will include a literature review of the various methods used for the efficient implementation of Phonetic Search Keyword Spotting, with an emphasis on the authors own research which entails a comparative analysis of the Phonetic Search method which includes algorithmic details. This brief is useful for researchers and developers in academia and industry from the fields of speech processing and speech recognition, specifically Keyword Spotting.

Phonetic Search Methods for Large Speech Databases

Development and Engineering of Dopamine Neurons

Development and Engineering of Dopamine Neurons

The neurotransmitter dopamine has just celebrated its 50th birthday. The discovery of dopamine as a neuronal entity in the late 1950s and the notion that it serves in neurotransmission has been a milestone in the field of neuroscience research. This milestone marked the beginning of an era that explored the brain as an integrated collection of neuronal systems that one could distinguish on basis of neurotransmitter identities, and importantly, in which one started to be able to pinpoint the seat of brain disease. The mesodiencephalic dopaminergic (mdDA) system, previously designated as midbrain dopaminergic system, has received much attention since its discovery. The initial identification of dopamine as a neurotransmitter in the central nervous system (CNS) and its relevance to psychiatric and neurological disorders have stimulated a plethora of neurochemical, pharmacological and genetic studies into the function of dopamine neurons and their projections. In the last decade, studies on gene expression and development have further increased the knowledge of this neuronal population and have unmasked a new level of complexity. The start of the molecular dissection of the mdDA system has been marked by the cloning and characterization of Nurr1 and Pitx3. These transcription factors were shown to have a critical function during mdDA development. These initial studies have been followed by the identification of many other proteins that have a crucial function in the creation of a dopamine neuron permissive region, induction of precursors, induction of terminal differentiation and finally maintenance of the mdDA neuronal pool. In addition, work showing that the historically distinguished regions of the substantia nigra pars compacta (SNc) and ventral tegmental area (VTA ) harbor molecularly distinct sets of neuronal groups with specific connectivity patterns has added a new layer ofcomplexity to how mdDA neurons are generated and function in the adult CNS. The current challenge in the field of dopamine research is to characterize the full extent of molecular processes that underlie mdDA neuron programming and to translate these findings into viable approaches for embryonic stem (ES)-cell engineering as an ultimate treatment of degenerative diseases as Parkinsons disease. The chapters presented in this book provide an overview of the different stages that are distinguished during mdDA neuronal development. Chapter 1 discusses the dopamine systems of the zebrafish, being a powerful model organism for genetic intervention on the developmental programming of neuronal systems. In Chapter 2 an overview is presented of dopamine systems that are present in the vertebrate CNS. Chapters 3-6 discuss the early specification of dopamine precursors and the programs that lead to terminal differentiation. In Chapters 7 and 8 the maintenance of dopamine neurons is discussed with a special emphasis on neurotrophic support. The specific connectivity of the dopamine system and the axon guidance rules that apply to developing dopamine neurons are described in Chapter 9. An overview of ES-cell engineering of dopamine neurons is presented in Chapters 10 and 11. The research directed towards unraveling the molecular programming of mdDA neurons continues to be highly exciting. One may expect that novel biological principles will continue to emerge from this population of neurons. In the near future the field as a whole will mature towards a more comprehensive understanding of mdDA neuronal development and network integration, and will continue to apply knowledge of dopamine neuron development and function to the treatment of human disease.

Development and Engineering of Dopamine Neurons

The Mathematics of Logic

The Mathematics of Logic

This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with Knig’s Lemma, and progressing via order relations, Zorn’s Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis.

The Mathematics of Logic

All-Embracing Manufacturing

All-Embracing Manufacturing

All-embracing manufacturing is a system that aims to dissolve the complexity of the manufacturing process and restore the inherent simplicity. It claims that production is very simple and flexible by nature. However, the complexity is a result of the production system approach which makes it rigid and therefore complex.

All-Embracing Manufacturing

Model-Based Engineering of Embedded Systems

Model-Based Engineering of Embedded Systems

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs.This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering.The content of this book is structured in four parts. Part I Starting Point discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II The SPES Modeling Framework describes the SPES modeling framework. Part III Application and Evaluation of the SPES Modeling Framework reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV Impact of the SPES Modeling Framework summarizes the results achieved and provides an outlook on future work.The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.

Model-Based Engineering of Embedded Systems

Self-Evolvable Systems

Self-Evolvable Systems

This monograph presents key method to successfully manage the growing complexity of systems where conventional engineering and scientific methodologies and technologies based on learning and adaptability come to their limits and new ways are nowadays required. The transition from adaptable to evolvable and finally to self-evolvable systems is highlighted, self-properties such as self-organization, self-configuration, and self-repairing are introduced and challenges and limitations of the self-evolvable engineering systems are evaluated.

Self-Evolvable Systems

Natural Fabrications

Natural Fabrications

The spectacular success of the scientific enterprise over the last four hundred years has led to the promise of an all encompassing vision of the natural world. In this elegant picture, everything we observe is based upon just a few fundamental processes and entities. The almost infinite variety and complexity of the world is thus the product of emergence. But the concept of emergence is fraught with controversy and confusion. This book ponders the question of how emergence should be understood within the scientific picture, and whether a complete vision of the world can be attained that includes consciousness.

Natural Fabrications

Games, Puzzles and Computation

Games, Puzzles and Computation

The authors show that there are underlying mathematical reasons for why games and puzzles are challenging (and perhaps why they are so much fun). They also show that games and puzzles can serve as powerful models of computationquite different from the usual models of automata and circuitsoffering a new way of thinking about computation. The appendices provide a substantial survey of all known results in the field of game complexity, serving as a reference guide for readers interested in the computational complexity of particular games, or interested in open problems about such complexities.

Games, Puzzles and Computation

SonarQube in Action

SonarQube in Action

SonarQube in Action shows developers how to use the SonarQube platform to help them continuously improve their source code. The book presents SonarQube’s core Seven Axes of Quality: design/architecture, duplications, comments, unit tests, complexity, potential bugs, and coding rules. You’ll find simple, easy-to-follow discussion and examples as you learn to integrate SonarQube into your development process.

SonarQube in Action

Managing Complexity

Managing Complexity

Each chapter in Managing Complexity focuses on analyzing real-world complex systems and transferring knowledge from the complex-systems sciences to applications in business, industry and society. The interdisciplinary contributions range from markets and production through logistics, traffic control, and critical infrastructures, up to network design, information systems, social conflicts and building consensus. They serve to raise readers’ awareness concerning the often counter-intuitive behavior of complex systems and to help them integrate insights gained in complexity research into everyday.

Managing Complexity

The New Testament as Literature

The New Testament as Literature

The words, phrases, and stories of the New Testament permeate the English language. Indeed, this relatively small group of twenty-seven works, written during the height of the Roman Empire, not only helped create and sustain a vast world religion, but also have been integral to the larger cultural dynamics of the West, above and beyond particular religious expressions. Looking at the New Testament through the lens of literary study, Kyle Keefer offers an engrossing exploration of this revered religious text as a work of literature, but also keeps in focus its theological ramifications. Unique among books that examine the Bible as literature, this brilliantly compact introduction offers an intriguing double-edged look at this universal text–a religiously informed literary analysis. The book first explores the major sections of the New Testament–the gospels, Paul’s letters, and Revelation–as individual literary documents. Keefer shows how, in such familiar stories as the parable of the Good Samaritan, a literary analysis can uncover an unexpected complexity to what seems a simple, straightforward tale. At the conclusion of the book, Keefer steps back and asks questions about the New Testament as a whole. He reveals that whether read as a single document or as a collection of works, the New Testament presents readers with a wide variety of forms and viewpoints, and a literary exploration helps bring this richness to light. A fascinating investigation of the New Testament as a classic literary work, this Very Short Introduction uses a literary framework–plot, character, narrative arc, genre–to illuminate the language, structure, and the crafting of this venerable text.

The New Testament as Literature

Principles of Programming Languages

Principles of Programming Languages

The development of programming languages has radically modified our relation to language, complexity and machines. This book is an introduction to the principles around which these languages are organised imperative constructions, functional constructions, reference, dynamic data types, objects and more. Using Java as a main language, but systematically comparing it to other languages it enables the reader to understand the unifying concepts that lie beneath each particular language and provides the tools that allow the students to adapt to new programming languages.

Principles of Programming Languages

Computability

Computability

In the 1930s a series of seminal works published by Alan Turing, Kurt Gdel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability in light of our modern understanding. Some chapters focus on the pioneering work by Turing, Gdel, and Church, including the Church-Turing thesis and Gdel’s response to Church’s and Turing’s proposals. Other chapters cover more recent technical developments, including computability over the reals, Gdel’s influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics. Contributors:Scott Aaronson, Dorit Aharonov, B. Jack Copeland, Martin Davis, Solomon Feferman, Saul Kripke, Carl J. Posy, Hilary Putnam, Oron Shagrir, Stewart Shapiro, Wilfried Sieg, Robert I. Soare, Umesh V. Vazirani

Computability