- Table View
- List View
Implementation and Application of Automata: 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings (Lecture Notes in Computer Science #10329)
by Arnaud Carayol and Cyril NicaudThis book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallée, France, in June 2017. The 17 revised full papers presented were carefully reviewed and selected from 31 submissions. The topics of the presented papers include state complexity of automata; implementations of automata and experiments; enhanced regular expressions; and complexity analysis.
Implementation and Application of Automata: 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings (Lecture Notes in Computer Science #10977)
by Cezar CâmpeanuThis book constitutes the proceedings of the 23rd International Conference on Implementation and Application of Automata, CIAA 2018, held in Charlottetown, PE, Canada, in July/August 2018.The 23 regular papers presented in this book together with 4 invited papers were carefully reviewed and selected from 39 initial submissions. The topics of the papers include state complexity of automata, implementations of automata and experiments, enhanced regular expressions, and complexity analysis.
Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3–6, 2024, Proceedings (Lecture Notes in Computer Science #15015)
by Szilárd Zsolt FazekasThis book constitutes the proceedings of the 28th International Conference on Implementation and Application of Automata, CIAA 2024, held in Akita, Japan, during September 3-6, 2024. The 24 full papers and one invited paper presented here were carefully reviewed and selected from 38 submissions. These papers have been covering various fields in the application, implementation, and theory of automata and related structures.
Implementation of Large-Scale Education Assessments
by John C. Cresswell Keith F. Rust Petra Lietz Raymond J. AdamsPresents a comprehensive treatment of issues related to the inception, design, implementation and reporting of large-scale education assessments. In recent years many countries have decided to become involved in international educational assessments to allow them to ascertain the strengths and weaknesses of their student populations. Assessments such as the OECD's Programme for International Student Assessment (PISA), the IEA's Trends in Mathematics and Science Study (TIMSS) and Progress in International Reading Literacy (PIRLS) have provided opportunities for comparison between students of different countries on a common international scale. This book is designed to give researchers, policy makers and practitioners a well-grounded knowledge in the design, implementation, analysis and reporting of international assessments. Readers will be able to gain a more detailed insight into the scientific principles employed in such studies allowing them to make better use of the results. The book will also give readers an understanding of the resources needed to undertake and improve the design of educational assessments in their own countries and regions. Implementation of Large-Scale Education Assessments: Brings together the editors’ extensive experience in creating, designing, implementing, analysing and reporting results on a wide range of assessments. Emphasizes methods for implementing international studies of student achievement and obtaining highquality data from cognitive tests and contextual questionnaires. Discusses the methods of sampling, weighting, and variance estimation that are commonly encountered in international large-scale assessments. Provides direction and stimulus for improving global educational assessment and student learning Is written by experts in the field, with an international perspective. Survey researchers, market researchers and practitioners engaged in comparative projects will all benefit from the unparalleled breadth of knowledge and experience in large-scale educational assessments gathered in this one volume.
Implementing a Standards-Based Curriculum in the Early Childhood Classroom
by Lora Battle BaileyImplementing a Standards-Based Curriculum in the Early Childhood Classroom demonstrates how pre-service and in-service teachers can develop mathematics, language arts, and integrated curricula suitable for equipping young children with the knowledge, dispositions, and skills needed to operate successfully as 21st century learners. Chapters promote family-school partnerships, and each content area chapter (mathematics, language arts and integrated curriculum) will demonstrate assessment practices proven to be effective for detecting the impact of specific early childhood teaching methods on student learning.
Implementing Microsoft Dynamics 365 Customer Engagement: Configure, customize, and extend Dynamics 365 CE in order to create effective CRM solutions
by Mahender PalGain hands-on experience working with the architecture, implementation, deployment, and data migration of Dynamics 365 Customer Engagement Key Features Explore different tools to evaluate, implement, and proactively maintain Dynamics 365 for CE Integrate Dynamics 365 CE with applications such as Power BI, PowerApps, and Microsoft Power Automate Design application architecture, explore deployment choices, and perform data migration Book Description Microsoft Dynamics 365 for Customer Engagement (CE) is one of the leading customer relationship management (CRM) solutions that help companies to effectively communicate with their customers and allows them to transform their marketing strategies. Complete with detailed explanations of the essential concepts and practical examples, this book will guide you through the entire life cycle of implementing Dynamics 365 CE for your organization or clients, and will help you avoid common pitfalls while increasing efficiency at every stage of the project. Starting with the foundational concepts, the book will gradually introduce you to Microsoft Dynamics 365 features, plans, and products. You'll learn various implementation strategies and requirement gathering techniques, and then design the application architecture by converting your requirements into technical and functional designs. As you advance, you'll learn how to configure your CRM system to meet your organizational needs, customize Dynamics 365 CE, and extend its capabilities by writing client-side and server-side code. Finally, you'll integrate Dynamics 365 CE with other applications and explore its business intelligence capabilities. By the end of this Microsoft Dynamics 365 book, you'll have gained an in-depth understanding of all the key components necessary for successful Dynamics 365 CE implementation. What you will learn Explore the new features of Microsoft Dynamics 365 CE Understand various project management methodologies, such as Agile, Waterfall, and DevOps Customize Dynamics 365 CE to meet your business requirements Integrate Dynamics 365 with other applications, such as PowerApps, Power Automate, and Power BI Convert client requirements into functional designs Extend Dynamics 365 functionality using web resources, custom logic, and client-side and server-side code Discover different techniques for writing and executing test cases Understand various data migration options to import data from legacy systems Who this book is for This book is for consultants, project managers, administrators, and solution architects who want to set up Microsoft Dynamics 365 Customer Engagement in their business. Although not necessary, basic knowledge of Dynamics 365 will help you get the most out of this book.
Implementing Polytope Projects for Smart Systems
by Octavian IordacheThis book presents a domain of extreme industrial and scientific interest: the study of smart systems and structures. It presents polytope projects as comprehensive physical and cognitive architectures that support the investigation, fabrication and implementation of smart systems and structures. These systems feature multifunctional components that can perform sensing, control, and actuation. In light of the fact that devices, tools, methodologies and organizations based on electronics and information technology for automation, specific to the third industrial revolution, are increasingly reaching their limits, it is essential that smart systems be implemented in industry. Polytope projects facilitate the utilization of smart systems and structures as key elements of the fourth industrial revolution. The book begins by presenting polytope projects as a reference architecture for cyber-physical systems and smart systems, before addressing industrial process synthesis in Chapter 2. Flow-sheet trees, cyclic separations and smart configurations for multi-component separations are discussed here. In turn, Chapter 3 highlights periodic features for drug delivery systems and networks of chemical reactions, while Chapter 4 applies conditioned random walks to polymers and smart materials structures. Chapter 5 examines self-assembly and self-reconfiguration at different scales from molecular to micro systems. Smart devices and technologies are the focus of chapter 6. Modular micro reactor systems and timed automata are examined in selected case studies. Chapter 7 focuses on inferential engineering designs, concept-knowledge, relational concept analysis and model driven architecture, while Chapter 8 puts the spotlight on smart manufacturing, industry 4. 0, reference architectures and models for new product development and testing. Lastly, Chapter 9 highlights the polytope projects methodology and the prospects for smart systems and structures. Focusing on process engineering and mathematical modeling for the fourth industrial revolution, the book offers a unique resource for engineers, scientists and entrepreneurs working in chemical, biochemical, pharmaceutical, materials science or systems chemistry, students in various domains of production and engineering, and applied mathematicians.
Implementing Reproducible Research (Chapman & Hall/CRC The R Series)
by Victoria Stodden Friedrich Leisch Roger D. PengIn computational science, reproducibility requires that researchers make code and data available to others so that the data can be analyzed in a similar manner as in the original publication. Code must be available to be distributed, data must be accessible in a readable format, and a platform must be available for widely distributing the data and code. In addition, both data and code need to be licensed permissively enough so that others can reproduce the work without a substantial legal burden. Implementing Reproducible Research covers many of the elements necessary for conducting and distributing reproducible research. It explains how to accurately reproduce a scientific result. Divided into three parts, the book discusses the tools, practices, and dissemination platforms for ensuring reproducibility in computational science. It describes: Computational tools, such as Sweave, knitr, VisTrails, Sumatra, CDE, and the Declaratron system Open source practices, good programming practices, trends in open science, and the role of cloud computing in reproducible research Software and methodological platforms, including open source software packages, RunMyCode platform, and open access journals Each part presents contributions from leaders who have developed software and other products that have advanced the field. Supplementary material is available at www.ImplementingRR.org.
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
by Yamine Ait-Ameur Shin Nakajima Dominique MéryThis book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages.
Implicit Embedded Options in Life Insurance Contracts: A Market Consistent Valuation Framework
by Nils RüfenachtThis book presents a market-consistent valuation framework for implicit embedded options in life insurance contracts. This framework is used to perform an empirical analysis based on more than 110,000 actual and in-force life insurance policies and with a focus on the modeling of interest rates. Its results are the answer to the central question posed in the objectives: What value do the embedded options and guarantees considered have? This question is answered both absolutely and relative to the current policy reserves, from the perspective of the insurer, the policyholder and the shareholder respectively
Implicit Functions and Solution Mappings
by R. Tyrrell Rockafellar Assen L. DontchevThe implicit function theorem is one of the most important theorems in analysis and its many variants are basic tools in partial differential equations and numerical analysis. This book treats the implicit function paradigm in the classical framework and beyond, focusing largely on properties of solution mappings of variational problems. The purpose of this self-contained work is to provide a reference on the topic and to provide a unified collection of a number of results which are currently scattered throughout the literature. The first chapter of the book treats the classical implicit function theorem in a way that will be useful for students and teachers of undergraduate calculus. The remaining part becomes gradually more advanced, and considers implicit mappings defined by relations other than equations, e.g., variational problems. Applications to numerical analysis and optimization are also provided. This valuable book is a major achievement and is sure to become a standard reference on the topic.
Importance-Informed Reliability Engineering (Springer Series in Reliability Engineering)
by Hongyan Dui Shaomin WuThis book provides university students and practitioners with a collection of importance measures to design systems with high reliability, maintain them with high availability, and restore them in case of failures. Optimal reliability design, properly system maintenance and resilience management are vital for retaining a high level of system availability. Reliability importance measures, which are used to identify the weakest components from different perspectives, can be used to achieve this goal. The book has seven parts. Chapter 1 introduces the basic concepts. Chapter 2 focuses on importance measures for the system design phase and introduces how the system reliability can be improved with importance measures. Chapters 3 and 4 provide importance measures-related methods for scheduling maintenance policies under different scenarios. Chapter 5 provides importance measures for networks. Chapter 6 proposes importance measures for resilience management. The last chapter, or Chapter 7, illustrates the importance measures with case studies adopted from four types of systems: mechanical systems, energy systems, transport networks, and supply chain networks.
The Importance of New Technologies and Entrepreneurship in Business Development: The Impact of New Technologies and Entrepreneurship on Business Development (Lecture Notes in Networks and Systems #194)
by Bahaaeddin Alareeni Allam Hamdan Islam ElgedawyThis book introduces the students, researchers and practitioners into the subject and enabling technologies and applications pertaining to of technology, entrepreneurship and business development through research articles, case studies etc. It is primarily intended for academic purposes for learners of computer Science, management, accounting and information systems disciplines, economics,- entrepreneurship. Publishing chapters in the book is new innovative idea to spread the book in the Middle East and Arab countries and make the book achieve more sales. As many students in all levels, graduates and undergraduates in addition to research, professionals are not able to get sufficient resources because of the language concern.
Important Applications of the Behrens-Fisher Statistic and the False Discovery Rate (SpringerBriefs in Statistics)
by Tejas A. DesaiThis book discusses important applications of the Behrens-Fisher statistic and the False Discovery Rate (FDR). Covered applications include ANOVA and MANOVA under potentially non-normal errors and heteroscedasticity; and an intuitive method of analyzing s x r contingency tables when the column variable is ordinal. This book also explores the novel possibility that these applications may be deemed nonparametric.
The Impossibility of Squaring the Circle in the 17th Century: A Debate Among Gregory, Huygens and Leibniz (Frontiers in the History of Science)
by Davide CrippaThis book is about James Gregory’s attempt to prove that the quadrature of the circle, the ellipse and the hyperbola cannot be found algebraically. Additonally, the subsequent debates that ensued between Gregory, Christiaan Huygens and G.W. Leibniz are presented and analyzed. These debates eventually culminated with the impossibility result that Leibniz appended to his unpublished treatise on the arithmetical quadrature of the circle. The author shows how the controversy around the possibility of solving the quadrature of the circle by certain means (algebraic curves) pointed to metamathematical issues, particularly to the completeness of algebra with respect to geometry. In other words, the question underlying the debate on the solvability of the circle-squaring problem may be thus phrased: can finite polynomial equations describe any geometrical quantity? As the study reveals, this question was central in the early days of calculus, when transcendental quantities and operations entered the stage. Undergraduate and graduate students in the history of science, in philosophy and in mathematics will find this book appealing as well as mathematicians and historians with broad interests in the history of mathematics.
Impossible?: Surprising Solutions to Counterintuitive Conundrums
by Julian HavilIn Nonplussed!, popular-math writer Julian Havil delighted readers with a mind-boggling array of implausible yet true mathematical paradoxes. Now Havil is back with Impossible?, another marvelous medley of the utterly confusing, profound, and unbelievable—and all of it mathematically irrefutable.Whenever Forty-second Street in New York is temporarily closed, traffic doesn't gridlock but flows more smoothly—why is that? Or consider that cities that build new roads can experience dramatic increases in traffic congestion—how is this possible? What does the game show Let's Make A Deal reveal about the unexpected hazards of decision-making? What can the game of cricket teach us about the surprising behavior of the law of averages? These are some of the counterintuitive mathematical occurrences that readers encounter in Impossible?Havil ventures further than ever into territory where intuition can lead one astray. He gathers entertaining problems from probability and statistics along with an eclectic variety of conundrums and puzzlers from other areas of mathematics, including classics of abstract math like the Banach-Tarski paradox. These problems range in difficulty from easy to highly challenging, yet they can be tackled by anyone with a background in calculus. And the fascinating history and personalities associated with many of the problems are included with their mathematical proofs. Impossible? will delight anyone who wants to have their reason thoroughly confounded in the most astonishing and unpredictable ways.
Improper Riemann Integrals
by Ioannis Markos RoussosThe scope of this book is the improper or generalized Riemann integral and infinite sum (series). The reader will study its convergence, principal value, evaluation and application to science and engineering. Improper Riemann integrals and infinite sums are interconnected. In the new edition, the author has involved infinite sums more than he did in the first edition. Apart from having computed and listed a large number of improper integrals and infinite sums, we have also developed the necessary theory and various ways of evaluating them or proving their divergence. Questions, problems and applications involving various improper integrals and infinite sums (series) of numbers emerge in science and application very often. Their complete presentations and all rigorous proofs would require taking the graduate-level courses on these subjects. Here their statements are adjusted to a level students of all levels can understand and use them efficiently as powerful tools in a large list of problems and applications.
Improving Applied Mathematics Education (SEMA SIMAI Springer Series #7)
by Ron Buckmire Jessica M. LibertiniThis book presents various contemporary topics in applied mathematics education and addresses both interested undergraduate instructors and STEM education researchers. The diverse set of topics of this edited volume range from analyzing the demographics of the United States mathematics community, discussing the teaching of calculus using modern tools, engaging students to use applied mathematics to learn about and solve problems of global significance, developing a general education course for humanities and social sciences students that features applications of mathematics, and describing local mathematical modeling competitions and their use in providing authentic experiences for students in applying mathematics to real world situations. The authors represent diversity along multiple dimensions of difference: race, gender, institutional affiliation, and professional experience.
Improving Efficiency by Shrinkage: The James--Stein and Ridge Regression Estimators (Statistics: A Series Of Textbooks And Monographs #156)
by Marvin GruberOffers a treatment of different kinds of James-Stein and ridge regression estimators from a frequentist and Bayesian point of view. The book explains and compares estimators analytically as well as numerically and includes Mathematica and Maple programs used in numerical comparison.;College or university bookshops may order five or more copies at a special student rate, available on request.
Improving Human Performance in Dynamic Tasks: Applications in Management and Industry (SpringerBriefs in Complexity)
by Hassan Qudrat-UllahThis book is about improving human decision making and performance in complex, dynamic tasks. The defining characteristics of a dynamic decision task are that there are a number of decisions required, that decisions are interdependent and that the environment in which the decision is made is transient and feedback is pervasive. Examples of dynamic tasks include the sustainable management of renewable resources and how businesses might allocate resources for research and development (R&D) projects. Decision making in dynamic tasks can be improved through training with system dynamics–based interactive learning environments (ILE’s) that include systematic debriefing. Some key features of the book include its didactic approach, numerous tables, figures, and the multidimensional evaluative model. Researchers can use the developed “evaluation model” to gauge various decision-aiding technologies. How to Improve Human Performance in Dynamic Tasks appeals to those interested in the design and evaluation of simulation-based decision support systems, as well as policy makers, students, researchers, and industrialists concerned by the issue of improving human performance in organizational tasks.
Improving Image Quality in Visual Cryptography (Signals and Communication Technology)
by Bin Yan Yong Xiang Guang HuaThis book comprehensively covers the important efforts in improving the quality of images in visual cryptography (VC), with a focus on cases with gray scale images. It not only covers schemes in traditional VC and extended VC for binary secret images, but also the latest development in the analysis-by-synthesis approach. This book distinguishes itself from the existing literature in three ways. First, it not only reviews traditional VC for binary secret images, but also covers recent efforts in improving visual quality for gray scale secret images. Second, not only traditional quality measures are reviewed, but also measures that were not used for measuring perceptual quality of decrypted secret images, such as Radially Averaged Power Spectrum Density (RAPSD) and residual variance, are employed for evaluating and guiding the design of VC algorithms. Third, unlike most VC books following a mathematical formal style, this book tries to make a balance between engineering intuition and mathematical reasoning. All the targeted problems and corresponding solutions are fully motivated by practical applications and evaluated by experimental tests, while important security issues are presented as mathematical proof. Furthermore, important algorithms are summarized as pseudocodes, thus enabling the readers to reproduce the results in the book. Therefore, this book serves as a tutorial for readers with an engineering background as well as for experts in related areas to understand the basics and research frontiers in visual cryptography.
Improving Infrared-Based Precipitation Retrieval Algorithms Using Multi-Spectral Satellite Imagery
by Nasrin NasrollahiThis thesis transforms satellite precipitation estimation through the integration of a multi-sensor, multi-channel approach to current precipitation estimation algorithms, and provides more accurate readings of precipitation data from space. Using satellite data to estimate precipitation from space overcomes the limitation of ground-based observations in terms of availability over remote areas and oceans as well as spatial coverage. However, the accuracy of satellite-based estimates still need to be improved. The approach introduced in this thesis takes advantage of the recent NASA satellites in observing clouds and precipitation. In addition, machine-learning techniques are also employed to make the best use of remotely-sensed "big data. " The results provide a significant improvement in detecting non-precipitating areas and reducing false identification of precipitation.
Improving Population Health Using Electronic Health Records: Methods for Data Management and Epidemiological Analysis
by Neal D. GoldsteinElectronic health records (EHRs) have become commonplace in the medical profession. Health data are readily captured and permanently stored in a digital fashion, and consequently, are increasingly being utilized in health research. The quality of this research depends upon the investigator’s ability to obtain the correct data to answer the correct question. It is easy to churn out poor quality research from the EHR; it is much harder to produce meaningful results that influence the population’s health. Improving Population Health Using Electronic Health Records takes the reader through the process of conducting meaningful research from data in the EHR. It de-mystifies the entire research process, from how to ask the right kind of research questions, to obtaining data with particular emphasis on data management and manipulation, to performing a valid statistical analyses, and interpreting and presenting the results in a clear, concise fashion that has the potential to improve population health. This book can be used as a hands-on how-to guide of performing research from EHR data in either a piece-meal fashion, selecting only the topics of greatest interest, or a complete guide to the entire research process. Readers will benefit from the intuitive presentation of complex methods with a multitude of examples. It is invaluable reading for researchers and clinicians who are not otherwise familiar with the complexities of working with large data sets.
Improving Primary Mathematics: Linking Home and School (Improving Practice (TLRP))
by Jan Winter Martin Hughes Jane Andrews Pamela Greenhough Leida Salway Wan Ching YeeImproving Primary Mathematics provides primary teachers with practical ideas about how to bring these two worlds closer to improve children’s mathematics learning. Using a number of fascinating case studies focusing on children’s experiences of mathematics both inside and outside the classroom, the book asks: How do children use mathematics in their everyday lives? How can teachers use this knowledge to improve children’s learning in school? What activities can teachers use with parents to help share the ways that schools teach mathematics? What can parents do to support their children’s learning of mathematics? Tried-and-tested practical suggestions for activities to support and encourage children’s learning of mathematics include: making videos to share teaching methods; children taking photos to show how they use mathematics at home; inviting parents into school to share in mathematics learning; and numeracy-based activities for children and their parents to do together at home. All those involved in planning, teaching and supporting primary mathematics will benefit from new insights into how learning at home and at school can be brought together to strengthen and improve children’s learning of mathematics.
Improving Primary Mathematics Education, Teaching and Learning
by Mellony Graven Hamsa VenkatThis book focuses on how to improve the teaching and learning of primary level mathematics education within resource-constrained contexts. It builds on two large numeracy projects within South Africa which speak to broader, global concerns and highlight how research and development not only enables one to meet ethical imperatives but also explore how further interventions can be developed. Teacher and research communities must work together to create mutually beneficial relationships and establish a cohesive understanding of the requirements of primary mathematics education.