الصفحة 1
الصفحة 1
Workflows for e-Science : Scientific Workflows for Grids
Workflows for e-Science presents an overview of the current state of the art in the field. It brings together research from many leading computer scientists in the workflow area and provides real world examples from domain scientists actively involved in e-Science. The computer science topics addressed in the book provide a broad overview of active research focusing on the areas of workflow representations and process models, component and service-based workflows, standardization efforts, workflow frameworks and tools, and problem solving environments and portals.
Wine Microbiology : Practical Applications and Procedures
Wine Microbiology, Second Edition, fills this void. Like the first edition, the book addresses real world problems such as characterization and enumeration of yeast, bacteria and molds common to juice and wine environments and their impact on wine quality and stability. In addition, the potential of solving processing problems through rapid, real-time molecular methods and new applications for using starter cultures of non-Saccharomyces yeast are discussed. The book is a great resource for professionals and students in the field of enology and viticulture.
Water Resources in the Middle East : Israel-Palestinian Water Issues : From Conflict to Cooperation
Demonstrates hope, optimism and the belief that people with good will can help contribute to peace and mutual cooperation in solving shared water problems essential for their mutual survival and welfare. The present water crisis facing the Middle East will become even more severe over the next twenty years, unless dealt with energetically and in good time. This situation requires urgent action by the countries of the region, the international community and civil society generally. This book provides valuable source material for water scientists, engineers, political scientists, specialists in conflict resolution, environmentalists, economists, lawyers, administrators, managers and policy makers interested in understanding, developing, managing and protecting the scarce shared water resources of the Middle East and for the promotion of "Water for Life" for the benefit of all the nations of the region.
VizSEC 2007 ; Proceedings of the Workshop on Visualization for Computer Security
Networked computers are ubiquitous, and are subject to attack, misuse, and abuse. One method to counteracting this cyber threat is to provide security analysts with better tools to discover patterns, detect anomalies, identify correlations, and communicate their findings. Visualization for computer security (VizSec) researchers and developers are doing just that. VizSec is about putting robust information visualization tools into the hands of human analysts to take advantage of the power of the human perceptual and cognitive processes in solving computer security problems.
Visual Basic 2008 Recipes : A Problem-Solution Approach
Sometimes you just need to solve a problem and get on with your work. To that end, Visual Basic 2008 Recipes is a compendium of practical solutions for busy VB .NET programmers. Create time for the more interesting aspects of your VB .NET project by solving common problems with the practical solutions and dozens of code examples in this book. Important .NET 3.5 technologies, such as Windows Presentation Framework (WPF) and Language Integrated Query (LINQ), are covered, and each chapter addresses a specific problem domain, including database access, multimedia, XML manipulation, networking, and security. The code is free to download, so you can use the recipes immediately.
Uses of technology in upper secondary mathematics education
This survey addresses the use of technology in upper secondary mathematics education from four points of view: theoretical analysis of epistemological and cognitive aspects of activity in new technology mediated learning environments, the changes brought by technology in the interactions between environment, students and teachers, the interrelations between mathematical activities and technology, skills and competencies that must be developed in teacher education. Research shows that the use of some technologies may deeply change the solving processes and contribute to impact the learning processes. The questions are which technologies to choose for which purposes, and how to integrate them, so as to maximize all students’ agency. In particular the role of the teacher in classrooms and the content of teacher education programs are critical for taking full advantage of technology in teaching practice.
Upscaling Multiphase Flow in Porous Media : From Pore to Core and Beyond
This will be an invaluable reference for the development of new theories and computer-based modeling techniques for solving realistic multiphase flow problems. Part of this book has already been published in a journal.
Understanding society and natural eesources : Forging new strands of integration across the social sciences
In this edited open access book leading scholars from different disciplinary backgrounds wrestle with social science integration opportunities and challenges. This book explores the growing concern of how best to achieve effective integration of the social science disciplines as a means for furthering natural resource social science and environmental problem solving. The chapters provide an overview of the history, vision, advances, examples, and methods that could lead to integration.
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, a description of possible actions and a description of the goals to be achieved, the task is to identify a sequence of actions, i.e., a plan that transforms the current situation into one that satisfies the goal description. The book contains an exhaustive analysis of the computational complexity of the benchmark problems that have been used in the past decade, namely the standard benchmark domains of the International Planning Competitions (IPC). At the same time, it contributes to the practice of solving planning tasks by presenting a powerful new approach to heuristic planning. The author also provides an in-depth analysis of so-called routing and transportation problems.
Troubleshooting Oracle Performance
What do you do when your database application isn't running fast enough? You troubleshoot, of course. Finding the slow part of an application is often the easy part of the battle. It's finding a solution that's difficult. Troubleshooting Oracle Performance helps by providing a systematic approach to addressing the underlying causes of poor database application performance. Written for developers by an application developer who has learned by doing Gives a systematic approach to solving database application performance problems. Helps you plan for performance as you would for any other application requirement
Tools and algorithms for the construction and analysis of systems ; 27th International conference, TACAS 2021, Held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Tools and Algorithms for the Construction and Analysis of Systems ; 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Tools and Algorithms for the Construction and Analysis of Systems ; 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Tools and Algorithms for the Construction and Analysis of Systems ; 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Tools and Algorithms for the Construction and Analysis of Systems ; 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
Tools and Algorithms for the Construction and Analysis of Systems ; 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.
Thinking in Complexity : The Computational Dynamics of Matter, Mind, and Mankind
The theory of nonlinear, complex systems has become by now a proven problem-solving approach in the natural sciences. In this book, Klaus Mainzer discusses, the common framework behind these ideas and challenges. Emphasis is given to the evolution of new structures in natural and cultural systems.
Think Like An Architect : How to develop critical, creative and collaborative problem-solving skills
Shows readers how to access those thinking types and use them outside pure design thinking – showing how they can both solve problems but also identify the problems that need solving. To think the way the best architects do. With a clear, driving narrative, peppered with anecdote, stories and real-life scenarios, this book will future-proof the architectural student. Change is coming in the architecture profession, and this is a much-needed exploration of the critical thinking skills that architects have in abundance, but that are not taught well enough within architecture schools. These skills are crucial in being able to respond agilely to a future that nobody is quite sure of.
Theory and Applications of Satisfiability Testing ; Vol. 3569 ; 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was the first problem shown by Cook to be NP-complete. Despite its seemingly specialized nature, satisfiability testing has proved to extremely useful in a wide range of different disciplines, both from a practical as well as from a theoretical point of view. For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most effective way of solving a number of practical problems. The SAT series of conferences are multidisciplinary conferences intended to bring together researchers from various disciplines who are interested in SAT. Topics of interest include, but are not limited to: proof systems and proof c- plexity; search algorithms and heuristics; analysis of algorithms; theories beyond the propositional; hard instances and random formulae; problem encodings; - dustrial applications; solvers and other tools.
Theoretical numerical analysis : A functional analysis framework
This textbook prepares graduate students for research in numerical analysis/computational mathematics by giving to them a mathematical framework embedded in functional analysis and focused on numerical analysis. This helps the student to move rapidly into a research program. The text covers basic results of functional analysis, approximation theory, Fourier analysis and wavelets, iteration methods for nonlinear equations, finite difference methods, Sobolev spaces and weak formulations of boundary value problems, finite element methods, elliptic variational inequalities and their numerical solution, numerical methods for solving integral equations of the second kind, and boundary integral equations for planar regions.
