الصفحة 17
الصفحة 17
Beginning IntelliJ IDEA : Integrated development environment for Java programming
Shows you how to leverage IntelliJ’s tools to develop clean, efficient Java applications. The last portion of the book focuses on application testing and deployment, and language- and framework- specific guidelines. After reading this book and working through its freely available source code, you'll be up to speed with this powerful IDE for today's Java development. You will: Use IntelliJ IDEA to build Java applications / Set up your IDE and project / Work with source code / Extend your Java application to data science and other kinds of applications / Test and deploy your application and much more
Beginning Google Web Toolkit : From novice to professional
The open source, lightweight Google Web Toolkit (GWT) is a framework that allows Java developers to build rich Internet applications (RIAs), more recently called Ajax applications, in Java. Typically, writing these applications requires a lot of JavaScript development. However, Java and JavaScript are very distinctively different languages (although the name suggests otherwise), therefore requiring a different development process. In Beginning Google Web Toolkit: From Novice to Professional, you'll learn to build rich, user–friendly web applications using a popular Java–based Ajax web framework, the Google Web Toolkit.
Beginning Excel What-If Data Analysis tools : Getting started with goal seek, data tables, scenarios, and solver
Excels what-if data analysis tools let you experiment with your data to project future results. In turn, these predictions will lead to better decision making and unlock the mystery of many business analysis scenarios. For example, what-if data analysis tools will enable you to forecast how lowering the price per unitwhile increasing projected unit salesmight affect your profit margins. Beginning Excel What-If Data Analysis Tools explores the use of Goal Seek, Data Tables, Scenarios, and Solver to help you get insight on your data. This book is focused and to the point, and it provides tutorial treatment of what-if tools in a practical, hands-on manner.
Becoming citizens in a changing world : IEA international civic and citizenship education study 2016 International Report
Presents the results from the second cycle of the IEA International Civic and Citizenship Education Study (ICCS 2016). Using data from 24 countries in Asia, Europe and Latin America, the study investigates the ways in which young people are prepared to undertake their roles as citizens in a range of countries in the second decade of the 21st century. It also responds to the enduring and emerging challenges of educating young people in a world where contexts of democracy and civic participation continue to change. New developments of this kind include the increase in the use of social media by young people as a tool for civic engagement, growing concerns about global threats and sustainable development, as well as the role of schools in fostering peaceful ways of interaction between young people. Besides enabling the evaluation of a wide range of aspects of civic and citizenship education, including those related to recent developments in a number of countries, the inclusion of test and questionnaire material from the first cycle of the study in 2009 allows the results from ICCS 2016 to be used to examine changes in civic knowledge, attitudes and engagement over seven years.
Beam Instrumentation and Diagnostics
This treatise covers all aspects of the design and the daily operations of a beam diagnostic system for a large particle accelerator. A very interdisciplinary field, it involves contributions from physicists, electrical and mechanical engineers and computer experts alike so as to satisfy the ever-increasing demands for beam parameter variability for a vast range of operation modi and particles. The author draws upon 40 years of research and work, most of them spent as the head of the beam diagnostics group at GSI. He has illustrated the more theoretical aspects with many real-life examples that will provide beam instrumentation designers with ideas and tools for their work.
Bayesian reliability
Bayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The adoption and application of Bayesian methods in virtually all branches of science and engineering have significantly increased over the past few decades. This increase is largely due to advances in simulation-based computational tools for implementing Bayesian methods. The authors extensively use such tools throughout this book, focusing on assessing the reliability of components and systems with particular attention to hierarchical models and models incorporating explanatory variables. Such models include failure time regression models, accelerated testing models, and degradation models. The authors pay special attention to Bayesian goodness-of-fit testing, model validation, reliability test design, and assurance test planning. Throughout the book, the authors use Markov chain Monte Carlo (MCMC) algorithms for implementing Bayesian analyses--algorithms that make the Bayesian approach to reliability computationally feasible and conceptually straightforward.
Bayesian Networks and Decision Graphs
Probabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty. As modeling languages they allow a natural specification of problem domains with inherent uncertainty, and from a computational perspective they support efficient algorithms for automatic construction and query answering. This includes belief updating, finding the most probable explanation for the observed evidence, detecting conflicts in the evidence entered into the network, determining optimal strategies, analyzing for relevance, and performing sensitivity analysis. The book introduces probabilistic graphical models and decision graphs, including Bayesian networks and influence diagrams.It contians two parts. The first part focuses on probabilistic graphical models. Compared with the previous book, the new edition also includes a thorough description of recent extensions to the Bayesian network modeling language, advances in exact and approximate belief updating algorithms, and methods for learning both the structure and the parameters of a Bayesian network. The second part deals with decision graphs, and in addition to the frameworks described in the previous edition, it also introduces Markov decision processes and partially ordered decision problems.
Basic theoretical physics : A concise overview
This concise treatment embraces, in four parts, all the main aspects of theoretical physics (I . Mechanics and Basic Relativity, II. Electrodynamics and Aspects of Optics, III. Non-relativistic Quantum Mechanics, IV. Thermodynamics and Statistical Physics). It summarizes the material that every graduate student, physicist working in industry, or physics teacher should master during his or her degree course. It thus serves both as an excellent revision and preparation tool, and as a convenient reference source, covering the whole of theoretical physics. It may also be successfully employed to deepen its readers' insight and add new dimensions to their understanding of these fundamental concepts. Recent topics such as holography and quantum cryptography are included, thus making this a unique contribution to the learning material for theoretical physics.
Basic Real Analysis
Basic Real Analysis and Advanced Real Analysis (available separately or together as a Set) systematically develop those concepts and tools in real analysis that are vital to every mathematician, whether pure or applied, aspiring or established. These works present a comprehensive treatment with a global view of the subject, emphasizing the connections between real analysis and other branches of mathematics.
Basic Python for Data Management, Finance, and Marketing : Advance Your Career by Learning the Most Powerful Analytical Tool
Learn how to gather, manipulate, and analyze data with Python. This book is a practical guide to help you get started with Python from ground zero and to the point where you can use coding for everyday tasks. Python is used in all aspects of financial industry, from algo trading, reporting and risk management to building valuations models and predictive machine learning programs. You will: Get started with Python from square one / Extend what's possible on excel with Python / Automate tasks with Python / Analyze data more precisely
Basic Algebra
Basic Algebra and Advanced Algebra systematically develop concepts and tools in algebra that are vital to every mathematician, whether pure or applied, aspiring or established. Together, the two books give the reader a global view of algebra and its role in mathematics as a whole.Basic Algebra presents the subject matter in a forward-looking way that takes into account its historical development. It is suitable as a text in a two-semester advanced undergraduate or first-year graduate sequence in algebra, possibly supplemented by some material from Advanced Algebra at the graduate level. It requires of the reader only familiarity with matrix algebra, an understanding of the geometry and reduction of linear equations, and an acquaintance with proofs.
Balancing Agility and Formalism in Software Engineering ; 2nd IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007.
Avalanche Dynamics : Dynamics of Rapid Flows of Dense Granular Avalanches
Avalanches, debris, mudflows and landslides are common and natural phenomena that occur worldwide, predominantly in mountainous regions. With an emphasis on snow avalanches, this book sets out to provide a survey and discussion about the motion of avalanche-like flows from initiation to run out. An important aspect of this book is the formulation and investigation of a simple but appropriate continuum mechanical model for the realistic prediction of geophysical flows of granular material. This will help the practitioners in the field to better understand the physical input and provide them with a tool for their work. Originating from many lectures the authors have given over the years, this instructive volume brings the reader to the forefront of research - an aim also supported by an extensive bibliogrpahy of almost 500 entries.
Autotuning of PID Controllers : A Relay Feedback Approach
Recognising the benefits of improved control, the second edition of Autotuning of PID Controllers provides simple yet effective methods for improving PID controller performance. The practical issues of controller tuning are examined using numerous worked examples and case studies in association with specially written autotuning MATLAB® programs to bridge the gap between conventional tuning practice and novel autotuning methods. Autotuning of PID Controllers is more than just a monograph, it is an independent learning tool applicable to the work of academic control engineers and of their counterparts in industry looking for more effective process control and automation.
Autonomous control for a reliable internet of services : Methods, models, approaches, techniques, algorithms, and tools
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, researchers, engineers, and research strategists working in this field. The objective of this book is, by applying a systematic approach, to assess the state-of-the-art and consolidate the main research results achieved in this area.
Automorphic Forms and Lie Superalgebras
Most known examples of Lie superalgebras with a related automorphic form such as the Fake Monster Lie algebra whose reflection group is given by the Leech lattice arise from (super)string theory and can be derived from lattice vertex algebras. The No-Ghost Theorem from dual resonance theory and a conjecture of Berger-Li-Sarnak on the eigenvalues of the hyperbolic Laplacian provide strong evidence that they are of rank at most 26.The aim of this book is to give the reader the tools to understand the ongoing classification and construction project of this class of Lie superalgebras and is ideal for a graduate course.
Automating business modelling : A guide to using logic to represent Informal methods and support reasoning
Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning their businesses. The resulting product, an enterprise model, is commonly used as a blueprint for reconstructing organizations and such effort is often a part of business process re-engineering and improvement initiatives. Automating Business Modelling describes different techniques of providing automated support for enterprise modelling methods and introduces universally used approaches. A running example of a business modelling method is included; providing a framework and detailed explanation as to how to construct automated support for modelling, allowing readers to follow the method to create similar support. Suitable for senior undergraduates and postgraduates of Business Studies, Computer Science and Artificial Intelligence, practitioners in the fields of Knowledge Management, Enterprise Modelling and Software Engineering, this book offers insight and know-how to both student and professional.
Automatic Differentiation : Applications, Theory, and Implementations
This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students will learn about advances in automatic differentiation techniques and strategies for the implementation of robust and powerful tools. Computational scientists and engineers will benefit from the discussion of applications, which provide insight into effective strategies for using automatic differentiation for design optimization, sensitivity analysis, and uncertainty quantification.
Automated technology for verification and analysis ; 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers.
Automated technology for verification and analysis ; 3rd International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2005, the third of the ATVA series, was held in Taipei, Taiwan, 2005. The main theme of the symposium encompasses - sign, complexities, tools, and applications of automated methods for veri?cation and analysis. This book constitutes the refereed proceedings of the symposium .
