Core Java ; Vol. I : Fundamentals ; 12th ed.
The definitive guide to writing robust, maintainable code. Whatever version of Java you are using—up to and including Java 17—this book will help you achieve a deep and practical understanding of the language and APIs. With hundreds of realistic examples, Cay S. Horstmann reveals the most powerful and effective ways to get the job done.
Coping with Overloaded Criminal Justice Systems : The Rise of Prosecutorial Power Across Europe
The comparative study documented here was supported by the Fritz-Thyssen Foundation and the European Commission. It examined prosecution services in different European countries intending to understand their national role and function within the respective criminal justice system and thereby to highlight common features and important differences between European systems. The prosecution service is regarded as a part of the criminal justice system; a coherent system under pressure to deal with high numbers of cases. Within this system the prosecution level is increasingly becoming the decisive stage reducing its workload by means of simplified methods and proceedings.
Cooperation in Wireless Networks : Principles and Applications : Real Egoistic Behavior is to Cooperate!
Cooperation in Wireless Networks: Principles and Applications covers the underlying principles of cooperative techniques as well as several applications demonstrating the use of such techniques in practical systems. The work is written in a collaborative manner by several authors from Asia, America, and Europe. Twenty chapters introduce and discuss in detail the main cooperative strategies for the whole communication protocol stack from the application layer down to the physical layer. Furthermore power saving strategies, security, hardware realization, and user scenarios for cooperative communication systems are introduced and discussed. The book also summarizes the strength of cooperation for upcoming generation of wireless communication systems, clearly motivating the use of cooperative techniques and pointing out that cooperation will become one of the key technologies enabling 4G and beyond. This book puts into one volume a comprehensive and technically rich view of the wireless communications scene from a cooperation point of view.
Convex Functions and their Applications : A Contemporary Approach ; 1st ed.
Convex functions play an important role in many branches of mathematics, as well as other areas of science and engineering. The present text is aimed to a thorough introduction to contemporary convex function theory, which entails a powerful and elegant interaction between analysis and geometry. A large variety of subjects are covered, from one real variable case (with all its mathematical gems) to some of the most advanced topics such as the convex calculus, Alexandrov’s Hessian, the variational approach of partial differential equations, the Prékopa-Leindler type inequalities and Choquet's theory.
Controlled Synthesis of Nanoparticles in Microheterogeneous Systems
contains descriptions of one of the most powerful bottom-up methods of synthesizing size controlled and stable nanoparticles. This method is based on the use of surfactant-containing microheterogeneous systems: liquid crystals, monolayers and multilayers, solutions of direct and reversed micelles, direct and reversed vesicles, and water-in-oil and oil-in-water microemulsions. The author is prominent in the field of physico-chemical characterization of microheterogeneous systems and their use as ideal solvent and reaction media for the production and long-term storage of nanomaterials. This is the first book that attempts to unify the knowledge necessary for judicious manipulation of surfactant-based systems and a fine tuning of geometric and physico-chemical properties of nanoparticles of a wide variety of substances
Control Design Techniques in Power Electronics Devices
The book is introduced through the very important topic of modeling switched power electronics as controlled dynamical systems. Detailed circuit layouts, schematics and actual closed-loop control responses from a representative group of the plants under discussion and generated by applying the theory are included. The control theories which feature in the book are: sliding mode control and feedback control by means of approximate linearization (linear state feedback, static and dynamic proportional-integral-differential (PID control), output feedback trough observer design, Lyapunov-based control and passivity-based control). Nonlinear control design methods represented include: exact feedback linearization, input-output linearization, differential flatness, generalized PID control and, again, passivity-based control.
Contracting and safety : Exploring outsourcing practices in high-hazard industries
This book examines the increase in outsourcing, contracting and subcontracting as ways of organising work. It explores the impact of these employment arrangements on public safety, particularly when they are linked to complex supply networks in a range of engineering industries including oil and gas, nuclear power and aviation.
Continuous-Time Signals
The book systematically covers major principle foundations of the signals theory. The representation of signals in the frequency domain (by Fourier transform) is considered with strong emphasis on how the spectral density of a single waveform becomes that of its burst and then the spectrum of its train. Different kinds of amplitude and angular modulations are analyzed noticing a consistency between the spectra of modulating and modulated signals. The energy and power presentation of signals is given along with their correlation properties. Finally, presenting the bandlimited and analytic signals, the book elucidates the methods of their description, transformation (by Hilbert transform), and sampling.
Continuous-Time Sigma-Delta A/D Conversion : Fundamentals, Performance Limits and Robust Implementations
This comprehensive book deals with all relevant aspects arising during the analysis, design and simulation of the now widespread continuous-time implementations of sigma-delta modulators. The results of several years of research by the authors in the field of CT sigma-delta modulators are covered, including the analysis and modeling of different CT modulator architectures, CT/DT loop filter synthesis, a detailed error analysis of all components, and possible compensation/correction schemes for the non-ideal behavior in CT sigma-delta modulators. Guidance for obtaining low-power consumption and several practical implementations are also presented. It is shown that all the proposed new theories, architectures and possible correction techniques have been confirmed by measurements on discrete or integrated circuits. Quantitative results are also provided, thus enabling prediction of the resulting accuracy.
Consumer Health Informatics : Informing Consumers and Improving Health Care
This comprehensive volume the inclusion of several case studies serves to examine pertinent topics, namely computer-based information for cancer; National Library of Medicine initiatives; and web-based patient preferences and utilities. Designed for use by medical IT specialists, physicians, nurses, healthcare providers, and professors and students of medical informatics, the book's chapter highlights include patient empowerment; frameworks and models for health behavior change and patient education; patient to patient communication; patient to provider communication; privacy and confidentiality; ethical issues; evaluation methods, and more.
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.
Constitutionalism and Legal Reasoning
This book of legal philosophy contends that positive law is better understood if it is not too easily equated with power, force, or command.
Constitutional law : Model problems and outstanding answers
Constitutional law is one of the most engaging and yet challenging first year law classes. At the confluence of history, politics, legal theory, and judicial review, it requires students to learn a new framework for legal interpretation and thought unique from other areas of law. For the first time, Oxford University Press equips students with an accessible guide to acing these challenging constitutional law exams.
Conducting Quantitative Research In Education
provides a clear and straightforward guide for all those seeking to conduct quantitative research in the field of education, using primary research data samples. While positioned as less powerful and somehow inferior, non-parametric tests can be very useful where the research can only be designed to accommodate data structure which is ordinal, or scale but violates a normality assumption, which is required for parametric tests. Non-parametric data are a staple of educational research, and as such, it is essential that educational researchers learn how to work with these data with confidence and rigour.
Concrete Structures : Design and Residual Capacity Assessment
Based primarily on Eurocode 2, this book offers a comprehensive exploration of theory alongside a substantial collection of solved examples. Intended for students and professionals specializing in structural engineering, the content delves into the fundamental aspects of designing and evaluating concrete structures. Discover a unique focus on both theoretical and practical aspects, empowering engineers to unearth solutions that minimize steel usage.
Concentrator Photovoltaics
In fact, photovoltaic conversion of concentrated sunlight insures an efficient and cost-effective sustainable power resource. This book gives an overview of all components. The authors report on significant results related to design, technology, and applications, and also cover the fundamental physics and market considerations.
Computational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic equation (DAE) model of the system. The model is complex enough to include Load Tap-Changing transformers as well as HVDC models. The dynamic model of the generating unit includes the exciter since it plays a crucial role in voltage stability. A promising decoupled dynamic simulation technique is introduced for time domain analysis. Computational Techniques for Voltage Stability Assessment and Control provides the computational tools and algorithms needed for development of on-line voltage security assessment
Computational intelligence in time series forecasting : Theory and engineering applications
Deals with the power of intelligent technologies individually and in combination. This book includes examples of the particular systems and processes susceptible to each technique. It is suitable for industrial training purposes, as well as serving as a useful reference material for experimental researchers.
Computational Intelligence in Reliability Engineering : New Metaheuristics, Neural and Fuzzy Techniques in Reliability
This volume contains chapters presenting applications of different metaheuristics (ant colony optimization, great deluge algorithm, cross-entropy method and particle swarm optimization) in reliability engineering. It also includes chapters devoted to cellular automata and support vector machines and different applications of artificial neural networks, a powerful adaptive technique that can be used for learning, prediction and optimization. Several chapters describe different aspects of imprecise reliability and applications of fuzzy and vague set theory.
Computational intelligence in information assurance and security
The global economic infrastructure is becoming increasingly dependent upon information technology, with computer and communication technology being essential and vital components of Government facilities, power plant systems, medical infrastructures, financial centers and military installations to name a few. Finding effective ways to protect information systems, networks and sensitive data within the critical information infrastructure is challenging even with the most advanced technology and trained professionals. This volume provides the academic and industrial community with a medium for presenting original research and applications related to information assurance and security using computational intelligence techniques. The included chapters communicate current research on information assurance and security regarding both the theoretical and methodological aspects, as well as various applications in solving real world information security problems using computational intelligence.



















