Refine Results
Sort By
From
To
Page 3
Page 3
Advanced Topics in Exception Handling Techniques
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle.This book is composed of five parts; the first four deal with topics related to exception handling in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part focuses on case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.
Advance Concepts of Image Processing and Pattern Recognition : Effective Solution for Global Challenges
Explains the important concepts and principles of image processing to implement the algorithms and techniques to discover new problems and applications. It contains numerous fundamental and advanced image processing algorithms and pattern recognition techniques to illustrate the framework. It presents essential background theory, shape methods, texture about new methods, and techniques for image processing and pattern recognition. It maintains a good balance between a mathematical background and practical implementation. This book also contains the comparison table and images that are used to show the results of enhanced techniques. This book consists of novel concepts and hybrid methods for providing effective solutions for society. It also includes a detailed explanation of algorithms in various programming languages like MATLAB, Python, etc.
Adaptive Autonomous Secure Cyber Systems
Establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure and reliable Internet. The recent advances in adaptive cyber defense (ACD) have developed a range of new ACD techniques and methodologies for reasoning in an adaptive environment.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
A Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, including the first randomness-preserving version of Heapsort. Programs are provided, along with derivations of their average-case time, to illustrate the radically different approach to average-case timing. The automated static timing tool applies the Modular Calculus to extract the average-case running time of programs directly from their MOQA code.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
Learning the language of dentistry : disciplinary corpora in the teaching of English for specific academic purposes
Explores the affordances of disciplinary corpora for the teaching and learning of the language of dentistry, within the field of English for Specific Academic Purposes (ESAP). We extract disciplinary register features and vocabulary from three key genres of the dentistry discipline (published experimental research articles, case reports, and novice/professional research reports within the Dental Public Health domain), before integrating these features into ESAP pedagogy in the form of corpus-based ESAP materials that promote student-led direct engagement with disciplinary corpora – an approach known as 'data-driven learning'. This book is a timely and relevant addition to the field of corpus linguistics and ESAP, and is especially targeted at ESAP professionals who are required to teach disciplinary discourses but who may struggle to know what to teach as non-experts of the target discipline.
21st century villa
People's everchanging lifestyles bring about more and more requirements for the overall qualities of houses, and the demands for residences have marched towards the psychological dimension and cultural sphere. Consequently, there arise new design trends and new requirements for environment, material selection and design concept. The design projects in this book lead readers to perceive the comfort and cosiness of the natural space. The designers of these projects have created more natural, and convenient living spaces in the most natural and purest design languages, giving them a comprehensive and vivid explanation of the architecture design concept that buildings are created for people.
Logical Foundations for Rule-Based Systems
Presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verification.
Learning Languages, Learning Life-skills : Autobiographical reflexive approach to teaching and learning a foreign language
Learning Languages, Learning Life Skills offers an autobiographical reflexive approach to foreign language education. The orientation of the book is practical, containing rich descriptions of language learning situations including authentic language use and student stories.
Language in our brain : The origins of a uniquely human capacity
Friederici describes the basic language functions and their brain basis; the language networks connecting different language-related brain regions; the brain basis of language acquisition during early childhood and when learning a second language, proposing a neurocognitive model of the ontogeny of language; and the evolution of language and underlying neural constraints. She finds that it is the information exchange between the relevant brain regions, supported by the white matter tract, that is the crucial factor in both language development and evolution.
Language Choice in a Nation Under Transition : English Language Spread in Cambodia
This book examines language choice in contemporary Cambodia, and uses the case study to explore and evaluate competing explanations for the spread of English globally. the multiple contexts in which Cambodians make individual and institutional language policy choices are considered. Chapters 2 and 3 examine the economic and political contexts for language choice, as Cambodia has transitioned from a planned economy and communism to a market economy and democracy. Chapters 4, 5, and 6 examine the assistance context for language choice; the bilateral, multilateral, and nongovernmental development agencies that have recently begun to work in Cambodia demand certain language skills of Cambodian employees and government counterparts, and support the learning of these languages in both nonformal and formal education.
Cálculo científico com MATLAB e Octave = Scientific calculus with MATLAB and Octave
Its objective is to present various numerical methods for solving certain mathematical problems on the computer that cannot be treated in a simpler way. Classical issues such as the computation of zeros or integrals of continuous functions, the solving of linear systems, the approximation of functions by polynomials and the construction of precise approximations for solutions of differential equations are addressed. All algorithms are presented in the programming languages MATLAB and Octave, whose main commands and instructions are introduced gradually, aiming in particular at their compatibility in both languages.
Brain research in language
processing with precise temporal and spatial resolutions, respectively. This book presents data obtained from various studies employing behavioral, electrophysiological and imaging methodologies in different languages focusing on the regular reading process and the dyslexic population.Educators and researchers within neuroscience, literacy, and special education will benefit from Brain Research in Language.
Balkan Sprachbund Morpho-Syntactic Features
This book discusses the morpho-syntactic Balkan Sprachbund features in nine languages in which they are most numerous. It contains a wealth of Balkan linguistic material, collected from both the existing literature sources and from the author’s own field work.
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
African Languages and Literatures in the 21st Century
Examines the crucial role still played by African languages in pedagogy and literatures in the 21st century, generating insights into how they effectively serve cultural needs across the African continent and beyond. Boldly positioning African languages as key resources in the 21st century, chapters focus on themes such as language revolt by marginalized groups at grassroots level, the experience of American students learning African languages, female empowerment through the use of African languages in music, film and literary works, and immigration issues. The contributions are written by scholars of language, literature, education and linguistics, and will be of interest to students and scholars in these and related areas.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
