Page 1
Page 1
New Teacher Identity and Regulative Government : The Discursive Formation of Primary Mathematics Teacher Education
This volume documents in real time the implementation of a major government numeracy programme and its receipt by trainee and new teachers. It shows how such managerialist policies cast teachers as civil servants through de-professionalising the conception of their role. The book provides an easy and accessible commentary utilising contemporary theory to describe how such teachers reconcile their personal aspirations with the external demands they encounter in negotiating their identities as professional teachers. It shows how recent advances in psychoanalytic and post-structuralist theory enable a fresh approach to analysing teacher experience of and response to policy implementation. And more broadly, by situating education in a wider social framework, it shows how we can better formulate solutions to new problems in conceptualising education policy.
Mute people aiding application
Communication is an essential tool for human survival. It is a fundamental and effective method of sharing thoughts, needs, feelings, and opinions. However, a large portion of the world's population lacks the ability to communicate with others. Such as the ones suffering from hearing loss, speech disability, or even both. Those disabilities have a significant impact on their lives in terms of work and relationships. The majority of these people are sometimes unable to support themselves financially due to the lack of job opportunities. Given these difficulties, we have decided to develop an application to help them overcome the obstacles they may encounter in their daily lives. After consulting with two deaf and mute people we customized an application that works in two ways. One of which is to translate their sign language in real time by using mobile camera and recognizing hand motion. The other works by converting text-to-voice, and accurately expressing the user’s emotions with the help of the facial emotion recognition.
Models, Methods and Tools for Product Service Design : The Manutelligence Project
This book summarizes research being pursued within the Manutelligence project, the goal of which is to help enterprises develop smart, social and flexible products with high value added services. Manutelligence has improved Product and Service Design by developing suitable models and methods, and connecting them through a modular, collaborative and secure ICT Platform. The use of real data collected in real time by Internet of Things (IoT) technologies underpins the design of product-service systems and makes it possible to monitor them throughout their life cycle. Available data allows costs and sustainability issues to be more accurately measured and simulated in the form of Life Cycle Cost (LCC) and Life Cycle Assessment (LCA). Analysing data from IoT systems and sharing LCC and LCA information via the ICT Platform can help to accelerate the design of product-service systems, reduce costs and better understand customer needs. Industrial partners involved in Manutelligence provide a clear overview of the project's outcomes, and demonstrate how its technological solutions can be used to improve the design of product-service systems and the management of product-service life cycles.
Model Driven Engineering Languages and Systems ; Vol. 4199 ; 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2006, held in Genova, Italy, in October 2006. The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, analyzing dynamic models, specifying transformations, MOF, bridging models, risk, trust and dependability, tool environments, OCL, roundtrip engineering, real time and embedded systems, as well as workshops, tutorials and panels.
Methods and Tools for Drought Analysis and Management
Implementation of effective drought management policies requires both advanced technologies and appropriate methods. Monitoring and forecasting systems, practical tools for risk assessment, as well as simple and objective criteria to select and implement appropriate drought mitigation measures are key elements for a successful drought management strategy.These key issues have been tackled by universities and public agencies involved in the EU projects Sedemed and Sedemed II (Programme Interreg IIIB MEDOCC), aimed at the definition of an integrated network for real time monitoring of drought, the development of common methodologies for drought analysis and forecasting, as well as the definition of proper mitigation strategies for the Mediterranean countries.The book presents the main outcomes of such projects with a special focus on: drought monitoring and forecasting echniques at different spatial scales; new or modified agrometeorological indices and remote sensing technique for drought identification and characterization; tools to improve surface water resources management under drought conditions; methods and tools for groundwater resources monitoring and management, based on hydrogeological and hydrodynamics characteristics of aquifers; general criteria to select and implement mitigation strategies to prevent or minimize drought impacts.
Home Networking ; 1st IFIP WG 6.2 Home Networking Conference (IHN’2007), Paris, France, December 10–12, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Handbook of pharmaceutical wet granulation : Theory and practice in a quality by design paradigm
Handbook of Pharmaceutical Wet Granulation: Theory and Practice in a Quality by Design Paradigm offers a single and comprehensive reference dedicated to all aspects of pharmaceutical wet granulation, taking a holistic approach by combining introductory principles with practical solutions. Chapters are written by international experts across industry, academic and regulatory settings, and cover a wide spectrum of relevant and contemporary wet granulation topics, techniques and processes. The books' focus on process analytical technology, quality by design principles, granulation equipment, modeling, scale-up, control and real time release makes it a timely and valuable resource for all those involved in pharmaceutical wet granulation.
Handbook of big data analytics ; Vol.2 : Applications in ICT, security and business analytics
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, trends and user and customer preferences, to allow organizations and businesses to make more informed decisions. These methods and technologies have become ubiquitous in all fields of science, engineering, business and management due to the rise of data-driven models as well as data engineering developments using parallel and distributed computational analytics frameworks, data and algorithm parallelization, and GPGPU programming. However, there remain potential issues that need to be addressed to enable big data processing and analytics in real time.
Handbook of big data analytics ; Vol.1 : Methodologies
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, trends and user and customer preferences, to allow organizations and businesses to make more informed decisions. These methods and technologies have become ubiquitous in all fields of science, engineering, business and management due to the rise of data-driven models as well as data engineering developments using parallel and distributed computational analytics frameworks, data and algorithm parallelization, and GPGPU programming. However, there remain potential issues that need to be addressed to enable big data processing and analytics in real time. This volume presents several methodologies to support Big Data analytics including database management, processing frameworks and architectures, data lakes, query optimization strategies, towards real-time data processing, data stream analytics, Fog and Edge computing, and Artificial Intelligence and Big Data.
Foundations of software science and computation structures ; Vol. 3921 ; 9th International conference, FOSSACS 2006, Held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security.
FM 2006: Formal Methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.
European Guide to Power System Testing : The ERIGrid Holistic Approach for Evaluating Complex Smart Grid Configurations
This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing method. It introduces readers to corresponding simulation and laboratory-based tools, including co-simulation, real-time simulation, and hardware-in-the-loop. Selected test cases and validation examples are provided, in order to support the theory discussed.
Earthquake Monitoring and Seismic Hazard Mitigation in Balkan Countries
this book including deployment of modern seismograph stations and arrays and these developments are detailed in the book. Station and network operations require near real time record analysis and topics dealt with here are 2-D signal detector, epicenter location and earthquake monitoring. Balkan is seismically the most active part of Europe due to multiple plate interactions in the Aegean Sea. The tectonic evolution and on-going geodynamic deformations are described in 2 articles. Earthquake hazard analysis and topographic site effects are discussed and likewise large earthquake hazards in the Aegean and the Marmara seas relate to practical applications of such procedures. Foremost; the book gives a good account of past, present and likely future seismological developments in Balkan countries and various kinds of network operations on local to global scales.
Dynamic Fleet Management : Concepts, Systems, Algorithms & Case Studies
Dynamic Fleet Management will focus on real time management of a distribution system. The book will integrate the latest results in system design, algorithm development and system implementation, to capture the state-of-the art research and application trends.
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration calculus for real time systems - originating from lectures of leading experts in these fields from Europe and Asia.It addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
Crime detection camera
This paper presents a comprehensive crime detection system that uses a combination of hardware and software to monitor homes and communities in real time. The system consists of a Raspberry Pi 4B, a Raspberry Pi Camera V2, a flame sensor, an MQ-6 gas sensor, and a microphone, which are all connected to a database management system powered by MySQL. The data collected from these devices is analyzed by machine learning algorithms to detect crimes, such as theft or robbery, as well as fires and gas leaks. The system also includes a mobile app, ‘Safe Home’ which provides live video monitoring and real-time notifications to users, and an employee dashboard to monitor all statistics and manage all implemented systems.
Control and Scheduling Codesign : Flexible Resource Management in Real-Time Control Systems
Recent evolutionary advances in information and communication technologies give rise to a new environment for Real Time Control Systems. This book is a monograph that covers our recent and original results in this direction.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
CONCUR 2007 – Concurrency Theory ; 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Mathematical Epidemiology
Based on lecture notes of two summer schools with a mixed audience from mathematical sciences, epidemiology and public health, this volume offers a comprehensive introduction to basic ideas and techniques in modeling infectious diseases, for the comparison of strategies to plan for an anticipated epidemic or pandemic, and to deal with a disease outbreak in real time. It covers detailed case studies for diseases including pandemic influenza, West Nile virus, and childhood diseases. Models for other diseases including Severe Acute Respiratory Syndrome, fox rabies, and sexually transmitted infections are included as applications. Its chapters are coherent and complementary independent units. In order to accustom students to look at the current literature and to experience different perspectives, no attempt has been made to achieve united writing style or unified notation.
