الصفحة 102
الصفحة 102
Beginning Scala 3 : A functional and Object-Oriented Java Language
Introduces you to the Scala programming language, its object-oriented and functional programming characteristics, and then guides you through Scala constructs and libraries that allow you to assemble small components into high-performance, scalable systems. You will understand why Scala is judiciously used for critical business applications by leading companies such as Twitter, LinkedIn, Foursquare, the Guardian, Morgan Stanley, Credit Suisse, UBS, and HSBC – and you will be able to use it in your own projects. You will: Get started with Scala 3 or Scala language programming in general / Understand how to utilitze OOP in Scala / Perform functional programming in Scala / Master the use of Scala collections, traits and implicits / Leverage Java and Scala interopability / Employ Scala for DSL programming / Use patterns and best practices in Scala
Beginning Java Data Structures and Algorithms : Sharpen your problem solving skills by learning core computer science concepts in a pain-free manner
Teaches you tools that you can use to build efficient applications. It starts with an introduction to algorithms and big O notation, later explains bubble, merge, quicksort, and other popular programming patterns. You’ll also learn about data structures such as binary trees, hash tables, and graphs. The book progresses to advanced concepts, such as algorithm design paradigms and graph theory. By the end of the book, you will know how to correctly implement common algorithms and data structures within your applications.
Beginning Java 17 Fundamentals : Object-Oriented Programming in Java 17
Learn the fundamentals of the Java 17 LTS or Java Standard Edition version 17 Long Term Support release, including basic programming concepts and the object-oriented fundamentals necessary at all levels of Java development. You will: Write your first Java programs with emphasis on learning object-oriented programming / How to work with switch expressions, value types (records), local variable type inference, pattern matching switch and more from Java 17 / Handle exceptions, assertions, strings and dates, and object formatting / Learn about how to define and use modules / Dive in depth into classes, interfaces, and inheritance in Java / Use regular expressions / Take advantage of the JShell REPL tool
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
Becoming an urban physics and math teacher : Infinite potential
What happens as beginning urban teachers transition through their first few years in the classroom? This book captures one teacher's journey through the first three years of teaching science and mathematics in a large urban district in the US. The authors focus on Ian's agency as a beginning teacher and explore his success in working with diverse students. Using critical ethnography combined with first-person narrative, they investigate Ian's teaching practices in four contexts: his student teaching experience, his work with students on a summer curriculum development project, his first year of teaching in a small, urban high school, and his second year of teaching in a large, comprehensive high school. In each field, the authors describe the structural changes Ian encounters and the ways in which he re-utilizes the practices he used successfully in previous fields.
Becoming a teacher educator : Theory and practice for teacher educators
It is the first book that addresses a range of important topics related to the work of teacher educators, the induction of teacher educators and their further professional development.Becoming a Teacher Educator has a practical focus and it provides theoretical insights, experiences of experts and practical recommendations. The book is rooted in the Association of Teacher Education in Europe (ATEE) and many of the chapters are written by authors who are active members of the ATEE. Distinguished researchers and practitioners from different parts of Europe, and beyond, joined their efforts to write a book that is truly international and combines research, practice and reflection.
Beauty’s Appeal : Measure and Excess
Beauty fulfils human existence. As it registers in our aesthetic experience, beauty enhances nature’s enchantment around us and our inward experience lifting our soul toward moral elevation. Carried by creative imagination (Imaginatio Creatrix), beauty participates in the moulding of the forms of the intellective constitution of the mind in tandem with praxis and seeks deeper enigmas of the real in the labyrinth of the cosmos. Yet with the evolution of human development and in technological inventions, beauty, while suffusing all modalities of experience, seems to undergo transformations and expansion. Are there perduring norms and modalities of beauty or are we carried along blindly by human development? Is there a measure intrinsic to our human ontopoietic unfolding and the growth of human life that we may follow instead of the whim of fancy and excess? The present collection of art-explorations seeks the elemental ties of Human Condition. Together, the authors aim to answer the questions posed above.
Bearing Witness : Ruth Harrison and British Farm Animal Welfare (1920–2000)
This book is the biography of one of Britain’s foremost animal welfare campaigners and of the world of activism, science, and politics she inhabited. In 1964, Ruth Harrison’s bestseller Animal Machines triggered a gear change in modern animal protection by popularising the term ‘factory farming’ alongside a new way of thinking about animal welfare.
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.
Bayesian Methods in the Search for MH370
This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability distribution of potential MH370 flight paths. It provides details of how the probabilistic models of aircraft flight dynamics, satellite communication system measurements, environmental effects and radar data were constructed and calibrated. The probability distribution was used to define the search zone in the southern Indian Ocean. The book describes particle-filter based numerical calculation of the aircraft flight-path probability distribution and validates the method using data from several of the involved aircraft’s previous flights. Finally it is shown how the Reunion Island flaperon debris find affects the search probability distribution.
Bayesian core : A practical approach to computational Bayesian statistics
This Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on its theoretical justifications. Special attention is paid to the derivation of prior distributions in each case and specific reference solutions are given for each of the models.
Battery management systems : Accurate state-of-charge indication for battery-powered applications
Builds further on the contents of the first volume in the Philips Research Book Series, Battery Management Systems - Design by Modelling. Since the subject of battery SoC indication requires a number of disciplines, this book covers all important disciplines starting from (electro)chemistry to understand battery behaviour, via mathematics to enable modelling of the observed battery behaviour and measurement science to enable accurate measurement of battery variables and assessment of the overall accuracy, to electrical engineering to enable an efficient implementation of the developed SoC indication system. It will therefore serve as an important source of information for any person working in engineering and involved in battery management.
Basic Electromagnetism and Materials
This textbook can be used to teach electromagnetism to a wide range of undergraduate science majors in physics, electrical engineering or materials science. However, by making lesser demands on mathematical knowledge than competing texts, and by emphasizing electromagnetic properties of materials and their applications, this textbook is uniquely suited to students of materials science. Many competing texts focus on the study of propagation waves either in the microwave or optical domain, whereas Basic Electromagnetism and Materials covers the entire electromagnetic domain and the physical response of materials to these waves.
Barriers and Biases in Computer-Mediated Knowledge Communication : And How They May Be Overcome
This books deals with computer-mediated cooperation and communication scenarios in teaching and learning situations, leisure activities (e.g. laypersons looking for expert information on the internet), and net-based communication at work. Such scenarios will become increasingly important. But the successful use of such computer-mediated settings is not trivial. Cooperative learning and work itself requires special skills and strategies. And the technical settings with sometimes restricted, sometimes new possibilities for communication add problems on top of the cooperation itself. What are the barriers in computer-mediated communication for cooperative learning and work? Which are the most relevant biases in computer-mediated information processing? Based on empirical research the contributors from psychology, education and computer sciences offer different perspectives on the nature and causes of such barriers.
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.
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.
Balanced Website Design : Optimising Aesthetics, Usability and Purpose
Balanced Website Design (BWD) is a new methodology that fuses the strengths of traditional structured, stepped, and iterative approaches with a sharp focus on defining and achieving the desired characteristics of purpose, usability and aesthetics – absolutely essential requirements for any website. The book includes discussions of new perspectives on usability and aesthetics in the special context of website design. BWD is suitable for all types of websites, for individual and/or team projects, and should prove to be of significant value for even the most experienced of website designers. BWD provides guidance, structure and detailed documentation/process support for the activity of designing and implementing your next website – helping you to maximise its effectiveness and relevance.
B 2007 : Formal Specification and Development in B ; 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city of Besan¸ con in the east of France. All the submitted papers in these proceedings were peer reviewed by at least three reviewers drawn from the B committee, depending on the subject matter of the paper. The authorsof the papersforB 2007werefrom Australia,Canada, Finland, Germany, France, Switzerland, and the UK. The conference featured a rangeof contributions by distinguished invited speakers drawn from both ind- try and academia.
Azaheterocycles Based on -, ß-Unsaturated Carbonyls
Devoted to heterocyclizations of aliphatic and aromatic, -unsaturated carbonyls with various binucleophiles leading to three-, five-, six and seven-membered partially hydrogenated nitrogen-containing heterocycles. During the last decade interest in these classes of organic c- pounds has been experiencing a scientific renaissance owing to their significant role in biological processes in living cells and diverse effects on physiological activities. In addition, such compounds are also more prevalent from the vi- point of ''classical'' problems of organic chemistry, among them reactivity, chemo- and regioselectivity, tautomerism, conformational analysis and features of their electronic structure. The character of these problems in the case of partially hydrogenated heterocycles differs sufficiently from that for hetero- omatized and perhydrogenated heterocyclic compounds and investigations in this field very often lead to interesting and unusual results. Extensively characterized cyclocondensations of, -unsaturated carbonyls, their synthetic equivalents and their precursors are the most widespread, facile and generally valid pathway to dihydroazaheterocycles.
