Refine Results
Sort By
From
To
Page 2
Page 2
ISSE 2006 — Securing Electronic Busines Processes : Highlights of the Information Security Solutions Europe 2006 Conference
Presents the most interesting talks given at ISSE 2006 - the forum for the interdisciplinary discussion of how to adequately secure electronic business processes. The topics include: Smart Token and e-ID-Card Developments and their Application - Secure Computing and how it will change the way we trust computers - Risk Management and how to quantify security threats - Awareness raising, Data Protection and how we secure corporate information. Adequate information security is one of the basic requirements of all electronic business processes. It is crucial for effective solutions that the possibilities offered by security technology can be integrated with the commercial requirements of the applications. The reader may expect state-of-the-art: best papers of the Conference ISSE 2006.
Comprehensive mathematics for computer scientists 2 : Calculus and ODEs, splines, probability, fourier and wavelet theory, fractals and neural networks, categories and lambda calculus
This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the ?rst volume in two - gards: Part III ?rst adds topology, di?erential, and integral calculus to the t- ics of sets, graphs, algebra, formal logic, machines, and linear geometry, of volume 1. With this spectrum of fundamentals in mathematical e- cation, young professionals should be able to successfully attack more involved subjects, which may be relevant to the computational sciences. In a second regard, the end of part III and part IV add a selection of more advanced topics. In view of the overwhelming variety of mathematical approaches in the computational sciences, any selection, even the most empirical, requires a methodological justi?cation. Our primary criterion has been the search for harmonization and optimization of thematic - versity and logical coherence. This is why we have, for instance, bundled such seemingly distant subjects as recursive constructions, ordinary d- ferential equations, and fractals under the unifying perspective of c- traction theory.
Artificial intelligence techniques in hydrology and water resources management
The sustainable management of water cycles is crucial in the context of climate change and global warming. It involves managing global, regional, and local water cycles, as well as urban, agricultural, and industrial water cycles, to conserve water resources and their relationships with energy, food, microclimates, biodiversity, ecosystem functioning, and anthropogenic activities. Hydrological modeling is indispensable for achieving this goal, as it is essential for water resources management and the mitigation of natural disasters. In recent decades, the application of artificial intelligence (AI) techniques in hydrology and water resources management has led to notable advances. In the face of hydro-geo-meteorological uncertainty, AI approaches have proven to be powerful tools for accurately modeling complex, nonlinear hydrological processes and effectively utilizing various digital and imaging data sources, such as ground gauges, remote sensing tools, and in situ Internet of Things (IoT) devices.
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.
Advances in fuzzy logic systems
Fuzzy logic systems have been a hot topic in the scientific and academic community for more than half a century. The idea of making machines behave and make decisions like humans do is astounding. The development and implementation of fuzzy logic systems can be seen in various real physical applications in daily human life. The methods employed using fuzzy logic have resulted in innovative technologies. This book provides insights into understanding the principles and concepts behind the advances of fuzzy logic systems. It presents ideas concerning fuzzy logic systems and their technological applications. The book is arranged into two sections on theories and foundations of fuzzy logic systems and implementations of fuzzy logic systems in service to the community.
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.
Bioactive and therapeutic dental materials
Special attention has been given to bioactive materials developed to induce cells differentiation/stimulation, hard tissue formation and exert antimicrobial actions. New innovations are necessary to continue to help reinforcing existing technologies and to introduce new paradigms for treating dental disease and restoring teeth seriously compromised by caries lesions via biomimetic and more biological operative approaches. Dental bioactive materials is arguably the latest research area in dentistry and thus the amount of new research is overwhelming. However, in this day and age of evidence based practice it important for this new information to be distilled into a practical and understandable format.
Making European Merger Policy More Predictable
Making European Merger Policy More Predictable analyses European Merger Control with regard to its capacity to generate predictability among the concerned parties. Starting from the premise that predictability is of overwhelming importance for the functioning of market economies, Voigt and Schmidt ask to what degree European Merger Control has been predictable over the last couple of years. The authors show both theoretically and empirically that there have been serious shortcomings with regard to the predictability of competition policy. They identify the insufficient recognition of the consequences of globalization on the competitive processes as well as an often inconsistent application of economic theory as the root causes for the lack of predictability. The inconsistent application of economic theory is particularly relevant with regard to potential competition and the evaluation of collective dominance. The authors generate a substantial number of proposals that could help to improve predictability. On this basis, Voigt and Schmidt critically assess the recent reforms of European Merger Control.
Make Your Brain Work: How to Maximize Your Efficiency, Productivity and Effectiveness
This entertaining book will help you reduce the stress and overwhelm of poor time management, and help get you to that next professional level. Including brand-new content on developing resilience and creativity, and managing your work-life balance, now it's even easier to Make Your Brain Work!
Challenges at the bank for international settlements : An economist's (Re)View
This book reveals, next to monetary policy and financial crisis, less well known topics such as insolvency, collective action clauses, international mediation and management of central banks.
Analysis of microdata
The availability of microdata has increased rapidly over the last decades, and standard statistical and econometric software packages for data analysis include ever more sophisticated modeling options. The goal of this book is to familiarize readers with a wide range of commonly used models, and thereby to enable them to become critical consumers of current empirical research, and to conduct their own empirical analyses.
Architectural drafting and design
Ideal book for all architectural drafters and CAD operators, whether beginning, intermediate, or advanced. An important feature of this best--seller is its step--by--step instructions for the design and layout of each type of drawing associated with a complete set of architectural plans, with projects that can be completed using either CAD or manual drawing methods. The basics of residential design, commercial drafting, basic materials used for construction, common construction methods, and drawings typically associated with commercial construction are all covered in this comprehensive book, which is written to meet the most recent editions of IRC and IBC. Readers will be introduced to the various types of projects that a designer or architect is likely to complete during the actual design process and will gain the knowledge needed to complete the drawings required by most municipalities to obtain a building permit for a single--family residence.
Basics fire safety
It consists of measures to prevent fires from starting, to facilitate the rescue of individuals in a burning building, and to help firefighters contain a blaze. The book explains the general concepts and fundamental issues of fire safety in building design beyond the particulars of local building regulations
Lone Parenthood in the Life Course
Provides a comprehensive portrait of lone parenthood at the beginning of the XXI century from a life course perspective. The contributions included in this volume examine the dynamics of lone parenthood in the life course and explore the trajectories of lone parents in terms of income, poverty, labour, market behaviour, wellbeing, and health. Throughout, comparative analyses of data from countries as France, the United Kingdom, Ireland, Germany, Belgium, Sweden, Switzerland, Hungary, and Australia help portray how lone parenthood varies between regions, cultures, generations, and institutional settings. The findings show that one-parent households are inhabited by a rather heterogeneous world of mothers and fathers facing different challenges.
Liquid separations with membranes : An introduction to barrier interference
On the level of a textbook a self-consistent approach to liquid separations with membranes is presented, contrasting equilibrium separations with the rate-controlling effects of barrier interference on mass transfer. As a corollary objective, an effort is made to observe context, factual and historical, when introducing concepts and applications of membrane separation science. Ordering principle is the formal structure of mass transfer across barriers, being construed of a driving force (allocated to the condition of the mixtures to be separated) and a barrier permeability (holding the keys to membrane selectivity). The membranes, by this approach, appear by way of the mass transport demands which they are to meet, or else by way of the separation effects which they inspire.
Leibnizs Metaphysics of Time and Space
Leibniz’s metaphysics of space and time stands at the centre of his philosophy and is one of the high-water marks in the history of the philosophy of science. In this work, Futch provides the first systematic and comprehensive examination of Leibniz’s thought on this subject. In addition to elucidating the nature of Leibniz’s relationalism, the book fills a lacuna in existing scholarship by examining his views on the topological structure of space and time, including the unity and unboundedness of space and time. It is shown that, like many of his more recent counterparts, Leibniz adopts a causal theory of time where temporal facts are grounded on causal facts, and that his approach to time represents a precursor to non-tensed theories of time.
Leibniz and the natural world : Activity, passivity and corporeal substances in Leibniz's Philosophy
In the present book, Pauline Phemister argues against traditional Anglo-American interpretations of Leibniz as an idealist who conceives ultimate reality as a plurality of mind-like immaterial beings and for whom physical bodies are ultimately unreal and our perceptions of them illusory. Re-reading the texts without the prior assumption of idealism allows the more material aspects of Leibniz's metaphysics to emerge. Leibniz is found to advance a synthesis of idealism and materialism. His ontology posits indivisible, living, animal-like corporeal substances as the real metaphysical constituents of the universe; his epistemology combines sense-experience and reason; and his ethics fuses confused perceptions and insensible appetites with distinct perceptions and rational choice. In the light of his sustained commitment to the reality of bodies, Phemister re-examines his dynamics, the doctrine of pre-established harmony and his views on freedom.
Land-Use and Land-Cover Change : Local Processes and Global Impacts
The book presents recent estimates of the rates in changes of major land classes such as forest, cropland and pasture. Among the causative mechanisms behind land change, synergetic factor combinations are found to be more common than single key factor explanations. Aggregated globally, multiple impacts of local land changes are shown to significantly affect central aspects of Earth System functioning. Innovative developments and applications in the fields of modeling and scenario construction are presented. Finally, conclusions are drawn about the most pressing implications for the design of appropriate intervention policies, and on new directions and frontiers of research.
Jets From Young Stars III : Numerical MHD and Instabilities
This volume contains the lecture notes of the Third JETSET School on Jets from Young Stars focussing on Numerical MHD and Instabilities. The introductory lectures presented here cover the basic concepts of the numerical methods for the integration of hydrodynamic and magnetohydrodynamic equations and of the applications of these methods to the treatment of the instabilities relevant for the physics of stellar jets. The first part of the book contains an introduction to the finite difference and finite volume methods for computing the solutions of hyperbolic partial differential equations and a discussion of approximate Riemann solvers for both hydrodynamic and magnetohydrodynamic problems. The second part is devoted to the discussion of some of the main instability processes that may take place in stellar jets, namely: the Kelvin-Helmholtz, the radiative shock, the pressure driven and the thermal instabilities.
Community Schools in Africa : Reaching the Unreached
Over the past decade, community schools similar to those supported by Save the Children have been established in many developing countries, and especially in sub-Saharan Africa. As large numbers of children attend schools started and managed by their own communities and/or by nongovernmental organizations, questions have come up about the impact of such schools at large scale: "Can village-based or community schools have a national impact on access to education, spur improved long-term development strategies and education policy, or achieve or influence Education for All? This book explores these and related questions, drawing on Save the Children’s experience with community-based schooling in four countries: Ethiopia, Malawi, Mali, and Uganda.
