الصفحة 8
الصفحة 8
Illustrated C# 2005
Illustrated C# 2005 presents the C# programming language in a unique visual manner. The book uses three techniques to achieve this: concise text, tables that clarify and summarize language features, and frequent figures and diagrams. Each feature is also illustrated with concise, focused code samples.
IEA International Computer and Information Literacy Study 2018 Assessment Framework
This book is designed to assess how well students are prepared for study, work and life in a digital world. The study measures international differences in students’ computer and information literacy (CIL): their ability to use computers to investigate, create, participate and communicate at home, at school, in the workplace and in the community. Participating countries also have an option for their students to complete an assessment of computational thinking (CT). The ICILS assessment framework articulates the basic structure of the study, providing a description of the field and the constructs to be measured. This book outlines the design and content of the measurement instruments, sets down the rationale for those designs, and describes how measures generated by those instruments relate to the constructs. Hypothesized relations between constructs provide the foundation for some of the analyses that follow.
Humans-with-media and the reorganization of mathematical thinking : Information and communication technologies, modeling, visualization and experimentation
Offers a new conceptual framework for reflecting on the role of information and communication technology in mathematics education. Borba and Villarreal provide examples from research conducted at the level of basic and university-level education, developed by their research group based in Brazil, and discuss their findings in the light of the relevant literature. Arguing that different media reorganize mathematical thinking in different ways, they discuss how computers, writing and oral discourse transform education at an epistemological as well as a political level. Modeling and experimentation are seen as pedagogical approaches which are in harmony with changes brought about by the presence of information and communication technology in educational settings. Examples of research about on-line mathematics education courses, and Internet used in regular mathematics courses, are presented and discussed at a theoretical level. In this book, mathematical knowledge is seen as developed by collectives of humans-with-media.
Humanistic foundation of criminal law
Uses humanity-rationality and experience and the freedom of human will as a theoretical perspective to examine the basic framework of criminal law theories constructed by the criminal classic school and the criminal empirical school. The author puts forward the principle of the duality of rationality and experience of humanity and affirms the determinism of human behavior in the ontological sense and the freedom of will in the axiological sense. From this point of view, this book examines the humanistic foundations of crime and punishment, legislation and justice.
Human physiology
Clear explanations and a solid learning framework based on integrating clinically germane information with knowledge of the body’s physiological processes have made Human Physiology a market-leading text.
How to Future : Leading and Sense-making in an Age of Hyperchange
Provides clear, practical and easy to understand tools that will help you spot trends and patterns, strategically evaluate different futures and guide your strategy Depicts a strategic framework to understand the uncertain nature of the current business world that crucially allows you to embrace hyperchange and adapt and plan for it Delivers a common language to engage stakeholders and teams with innovation practices and strategy foresight
Histopathology Reporting : Guidelines for Surgical Cancer
This second revised and updated edition provides an easily comprehensible and practicable framework for standardized histopathology reports in surgical cancer. It details the gross description, histological classification, tumor differentiation, extent of local tumor spread, involvement of lymphovascular channels, lymph nodes and excision margins of the common carcinomas and also summarizes non-carcinomatous malignancies.
High-Level Modeling and Synthesis of Analog Integrated Systems
In High-Level Modeling and Synthesis of Analog Integrated Systems, two novel generic behavioral models are described. The first one adopts a time-domain approach and is suited for classes like Delta-Sigma modulators and sampled-data systems. For the second model, a new frequency-domain framework has been developed (the Phase- Frequency Transfer model) which allows the representation of classes of RF systems like front-ends of wireless receivers. To complete the high-level design strategy, the synthesis strategy has been concretized with a new top-down heterogeneous optimization algorithm.
High performance computing for drug discovery and biomedicine
Explores the application of high-performance computing (HPC) technologies to computational drug discovery (CDD) and biomedicine. Collects CDD approaches that, together with HPC, can revolutionize and automate drug discovery process, such as knowledge graphs, natural language processing (NLP), Bayesian optimization, automated virtual screening platforms, alchemical free energy workflows, fragment-molecular orbitals (FMO), HPC-adapted molecular dynamic simulation (MD-HPC), and the potential of cloud computing for drug discovery. And delves into computational algorithms and workflows for biomedicine, featuring an HPC framework to assess drug-induced arrhythmic risk, digital patient applications relevant to the clinic, virtual human simulations, cellular and whole-body blood flow modeling for stroke treatments, prediction of the femoral bone strength from CT data, and many more subjects.
High Confidence Software Reuse in Large Systems ; 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in Beijing, China, in May 2008.The 40 revised full papers presented together with 5 workshop summaries and 5 tutorials were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on architecture and reuse approaches, high confidence and reuse, component selection and reuse repository, product line, domain models and analysis, service oriented environment, components and services, reuse approaches and frameworks, as well as reuse approaches and methods.
Hierarchical Matrices : A Means to Efficiently Solve Elliptic Boundary Value Problems
Hierarchical matrices are an efficient framework for large-scale fully populated matrices arising, e.g., from the finite element discretization of solution operators of elliptic boundary value problems. In addition to storing such matrices, approximations of the usual matrix operations can be computed with logarithmic-linear complexity, which can be exploited to setup approximate preconditioners in an efficient and convenient way. Besides the algorithmic aspects of hierarchical matrices, the main aim of this book is to present their theoretical background. The book contains the existing approximation theory for elliptic problems including partial differential operators with nonsmooth coefficients.
Hierarchical Bayesian Optimization Algorithm : Toward a New Generation of Evolutionary Algorithms
This book provides a framework for the design of competent optimization techniques by combining advanced evolutionary algorithms with state-of-the-art machine learning techniques. The book focuses on two algorithms that replace traditional variation operators of evolutionary algorithms by learning and sampling Bayesian networks: the Bayesian optimization algorithm (BOA) and the hierarchical BOA (hBOA). BOA and hBOA are theoretically and empirically shown to provide robust and scalable solution for broad classes of nearly decomposable and hierarchical problems. A theoretical model is developed that estimates the scalability and adequate parameter settings for BOA and hBOA. The performance of BOA and hBOA is analyzed on a number of artificial problems of bounded difficulty designed to test BOA and hBOA on the boundary of their design envelope.
Hexagonal image processing : A practical approach
Hexagonal Image Processing provides an introduction to the processing of hexagonally sampled images, includes a survey of the work done in the field, and presents a novel framework for hexagonal image processing (HIP) based on hierarchical aggregates. Digital image processing is currently dominated by the use of square sampling lattices, however, hexagonal sampling lattices can also be used to define digital images. The strengths offered by hexagonal lattices over square lattices are considerable: • higher packing density, • uniform connectivity of points (pixels) in the lattice, • better angular resolution by virtue of having more nearest neighbours, and • superlative representation of curves. The utility of the HIP framework is demonstrated by implementing several basic image processing techniques (for the spatial and frequency domain) and some applications. The HIP framework serves as a tool for comparing processing of images defined on a square vs hexagonal grid, to determine their relative merits and demerits. The theory and algorithms covered are supplemented by attention to practical details such as accommodating hardware that support only images sampled on a square lattice. Including a Foreword written by Professor Narendra Ahuja, an eminent researcher in the field of Image Processing and Computer Vision, the book’s fresh approach to the subject offers insight and workable know-how to both researchers and postgraduates.
Heterogeneity, high performance computing, self-organization and the cloud
Addresses the most recent developments in cloud computing such as HPC in the Cloud, heterogeneous cloud, self-organising and self-management, and discusses the business implications of cloud computing adoption. Establishing the need for a new architecture for cloud computing, it discusses a novel cloud management and delivery architecture based on the principles of self-organisation and self-management. This focus shifts the deployment and optimisation effort from the consumer to the software stack running on the cloud infrastructure. It also outlines validation challenges and introduces a novel generalised extensible simulation framework to illustrate the effectiveness, performance and scalability of self-organising and self-managing delivery models on hyperscale cloud infrastructures. It concludes with a number of potential use cases for self-organising, self-managing clouds and the impact on those businesses.
Healthcare solutions using machine learning and informatics
Covers novel and innovative solutions for the healthcare that apply machine learning and biomedical informatics technology. The healthcare sector is one of the most critical in society. This book presents a series of artificial intelligence, machine learning, intelligent IoT-based solutions for medical image analysis, medical big data processing, disease predictions. Machine learning and artificial intelligence use cases in healthcare presented in the book give researchers, practitioners, and students a wide range of practical examples of cross-domain convergence. The wide variety of topics covered include: Artificial Intelligence in healthcare Machine learning solutions for such disease as diabetes, arthritis, cardiovascular disease, and COVID-19 Big data analytics solutions for healthcare data processing Reliable biomedical applications using AI models Intelligent IoT in healthcare. The book explains fundamental concepts as well as the advanced use cases illustrating how to apply emerging technologies such as machine learning, AI models, data informatics into practice to tackle challenges in the field of healthcare with real-world scenarios. Chapters contributed by noted academicians and professionals examine various solutions, frameworks, applications, case studies, and best practices in the healthcare domain
Health Care Benchmarking and Performance Evaluation : An Assessment using Data Envelopment Analysis (DEA)
One of the most pressing problems in today's health care system is performance evaluation. Performance evaluation in health care goes well beyond financial and efficiently issues directly to matters of life and death. HEALTH CARE BENCHMARKING AND PERFORMANCE EVALUATION applies the analytical framework of Data Envelopment Analysis methodology to provide health care administrators with specific benchmarking tools for performance evaluation. Most importantly, the book provides health care practitioners and administrators with information of what is lacking in specific aspects of performance and then outlines the ways how these performance inadequacies can be improved.
Hardware Verification with SystemVerilog : An Object-Oriented Framework
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques. Object-oriented programming (OOP), with its focus on managing complexity, is ideally suited to this task. With this handbook—the first to focus on applying OOP to SystemVerilog—we’ll show how to manage complexity by using layers of abstraction and base classes. By adapting these techniques, you will write more "reasonable" code, and build efficient and reusable verification components. Both a learning tool and a reference, this handbook contains hundreds of real-world code snippets and three professional verification-system examples.
Hardware Verification with C++ : A Practitioner’s Handbook
Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II presents two open-source C++ libraries that enable efficient verification with C++ -- Teal, a C++ to Verilog interface, and Truss, a standard verification framework. Part III focuses on OOP with examples from real verification projects. Part IV puts it all together showing complete block-level and system-level verification systems. "The handbook provides a clear understanding of object-oriented programming, and how it applies to hardware verification. It is clear to me that C++, together with Teal and Truss, could form a strong platform for the next generation of hardware verification."
Happiness is the Wrong Metric : A Liberal Communitarian Response to Populism
This timely book addresses the conflict between globalism and nationalism. It provides a liberal communitarian response to the rise of populism occurring in many democracies. The book highlights the role of communities next to that of the state and the market. It spells out the policy implications of liberal communitarianism for privacy, freedom of the press, and much else. In a ersuasive argument that speaks to politics today from Europe to the United States to Australia, the author offers a compelling vision of hope. Above all, the book offers a framework for dealing with moral challenges people face as they seek happiness but also to live up to their responsibilities to others and the common good.
Handbook Utility Management
As the deregulation of European utility markets has progressed, the dynamics of and the competitive pressure in the utility industries have steadily intensified over recent years. These changes in the regulatory framework have caused a shift in the direction of an integrated market environment, resulting in new challenges for the management of power and gas companies and a substantial need for strategic reorientation. The Handbook Utility Management is concerned with these changes and challenges in the utility industries and emerging managerial issues of high practical relevance. Inclusion of the latest insights into the economic, technological, and legal drivers of the diverse value chain activities makes the Handbook a valuable asset for both professionals and researchers.
