- Table View
- List View
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Lecture Notes in Computer Science #12154)
by Jonathan P. Bowen Zhiming Liu Zili ZhangThis book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapter include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K – A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
Engineering Trustworthy Software Systems
by Zhiming Liu Zili ZhangThis volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China. The material is useful for postgraduate students,researchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programming,component- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra.
Engineering Trustworthy Software Systems
by Zili Zhang Zhiming Liu Jonathan P. BowenThis volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.
English for IT Communication (Routledge Applied English Language Introductions)
by Tony Myers Jaime BuchananEnglish for IT Communication provides a comprehensive introduction for students and professionals studying IT or computer science and covers all forms of technical communication from emails and memos through procedures to reports and design specs. In each case, the book offers multiple real-world examples, looking at who the texts are written for, what their purpose is, and how these affect what is on the page.Key features of this book include● How to write for different audiences and purposes● How to design documents for ease of access and understanding● How to communicate in multimodal media● How to reference in IEEE● Multiple different examples and breakdowns of common text types to show how they are written and to produce an understanding of quality in each● Online support material including authentic examples of different workplace genres and a reference section covering relevant research studies and weblinks for readers to better understand the topics covered in each chapter● Internationalized coverage of IT communication exemplarsThis book is an accessible guide to writing effective forms of IT communications of the kind needed for all IT degree programs which aim to prepare students for the modern workplace. Practical and clearly written, it is designed to introduce readers to features of the most common genres in IT and computer science.
English Learning in the Digital Age: Agency, Technology and Context
by Shuang ZengMoving beyond the ‘Web 2.0’ and ‘digital native’ rhetoric, this book addresses the complex experiences of learners of English as a foreign language (EFL) in a world embedded with interactive and participatory technologies. Adopting a sociocultural perspective, it investigates EFL learners’ behaviours concerning digital technology, and guides exploration into their contextually mediated choices and learning practices in the ‘2.0’ era.The argument is developed on the basis of the findings of a mixed sequential study that focused on 1485 Chinese undergraduates’ use and non-use of online tools and applications outside the English classroom. Particular attention is paid to the role of context and agency when understanding their learning choices and behaviours in the context of digital technology. In particular, the book acknowledges the explanatory power of agency in the minority instances of ‘good practices’ among these EFL learners. At the same time it demonstrates that for most learners, use of the current web is limited and mostly non-interactive. The barriers to ‘2.0’ transfer are largely contextual and the so-called ‘communicative opportunities’ and ‘participatory culture’ in particular did not fit into the learners’ sociocultural context of (language) learning.Overall, the compelling argument proposes that the technology-facilitated changes in EFL practices are a ‘bottom up’ process that is taking place in day-to-day situations and constrained by the learning context within which the learner is situated. Based on these arguments, the book provides a framework that challenges the existing beliefs about (language) learning with online technology, and that contributes to our understanding of how context mediates EFL learners’ behaviours surrounding digital technologies. It is a valuable resource for teachers, researchers and policy makers, providing them with insights into using digital technology to stimulate ‘good learning practices’ outside the classroom.
Enhanced Bayesian Network Models for Spatial Time Series Prediction: Recent Research Trend in Data-Driven Predictive Analytics (Studies in Computational Intelligence #858)
by Monidipa Das Soumya K. GhoshThis research monograph is highly contextual in the present era of spatial/spatio-temporal data explosion. The overall text contains many interesting results that are worth applying in practice, while it is also a source of intriguing and motivating questions for advanced research on spatial data science. The monograph is primarily prepared for graduate students of Computer Science, who wish to employ probabilistic graphical models, especially Bayesian networks (BNs), for applied research on spatial/spatio-temporal data. Students of any other discipline of engineering, science, and technology, will also find this monograph useful. Research students looking for a suitable problem for their MS or PhD thesis will also find this monograph beneficial. The open research problems as discussed with sufficient references in Chapter-8 and Chapter-9 can immensely help graduate researchers to identify topics of their own choice. The various illustrations and proofs presented throughout the monograph may help them to better understand the working principles of the models. The present monograph, containing sufficient description of the parameter learning and inference generation process for each enhanced BN model, can also serve as an algorithmic cookbook for the relevant system developers.
Enhanced Building Information Models
by Umit IsikdagThis book explains how to combine and exploit sensor networks and internet-of-things (IoT) technologies and Web-service design patterns to enrich and integrate Building Information Models (BIMs). It provides approaches and software architectures for facilitating the interaction with (and between) BIMs through Web services, and for enabling and facilitating the fusion of the information residing in such models or of information acquired from IoT technologies. The proposed software architectures are presented in the form of design patterns. This information fusion will facilitate many novel application fields ranging from emergency response, to urban monitoring and surveillance, and to smart buildings. The book consists of 8 chapters. The first 2 chapters focus on the basics of BIMs, while chapter 3 presents fundamental service-oriented architecture patterns for complex information models. Subsequently, chapters 4 and 5 elaborate on the hardware and software side of IoT, with a special focus on their use for BIMs. Chapter 6 provides advanced SOA patterns for BIMs, while chapter 7 details patterns for IoT, and for BIM and IoT information fusion. Lastly, chapter 8 summarizes the work and provides an outlook on promising future developments. Overall, the book will be beneficial for researchers and developers in the fields of building information models, IoT applications, and systems integration.
Enhanced Living Environments: Algorithms, Architectures, Platforms, and Systems (Lecture Notes in Computer Science #11369)
by Rossitza Goleva Constandinos X. Mavromoustakis Ciprian Dobre Nuno M. Garcia Ivan GanchevThis open access book was prepared as a Final Publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)”. The concept of Enhanced Living Environments (ELE) refers to the area of Ambient Assisted Living (AAL) that is more related with Information and Communication Technologies (ICT). Effective ELE solutions require appropriate ICT algorithms, architectures, platforms, and systems, having in view the advance of science and technology in this area and the development of new and innovative solutions that can provide improvements in the quality of life for people in their homes and can reduce the financial burden on the budgets of the healthcare providers.The aim of this book is to become a state-of-the-art reference, discussing progress made, as well as prompting future directions on theories, practices, standards, and strategies related to the ELE area. The book contains 12 chapters and can serve as a valuable reference for undergraduate students, post-graduate students, educators, faculty members, researchers, engineers, medical doctors, healthcare organizations, insurance companies, and research strategists working in this area.
Enhanced Telemedicine and e-Health: Advanced IoT Enabled Soft Computing Framework (Studies in Fuzziness and Soft Computing #410)
by Gonçalo Marques Akash Kumar Bhoi Isabel de la Torre Díez Begonya Garcia-ZapirainIn recent years, new applications on computer-aided technologies for telemedicine have emerged. Therefore, it is essential to capture this growing research area concerning the requirements of telemedicine. This book presents the latest findings on soft computing, artificial intelligence, Internet of Things and related computer-aided technologies for enhanced telemedicine and e-health. Furthermore, this volume includes comprehensive reviews describing procedures and techniques, which are crucial to support researchers in the field who want to replicate these methodologies in solving their related research problems. On the other hand, the included case studies present novel approaches using computer-aided methods for enhanced telemedicine and e-health. This volume aims to support future research activities in this domain. Consequently, the content has been selected to support not only academics or engineers but also to be used by healthcare professionals.
Enhancements in Applied Geomechanics, Mining, and Excavation Simulation and Analysis: Proceedings of the 5th GeoChina International Conference 2018 – Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China (Sustainable Civil Infrastructures)
by Adam Sevi Jose Neves Honghua ZhaoThe book presents a compilation of studies regarding applied geomechanics, mining, and excavation analysis and simulation. The material is suitable for presentation to senior undergraduate and post-graduate students in both mining and geological engineering. It should also be of interest to students of other aspects of Geomechanics and, notably, engineering geologists interested in mining and underground excavation design. Practising mining engineers and rock mechanics engineers involved in mine design may use the book profitably to obtain an appreciation of the current state of engineering knowledge in their area of specialisation. Papers were selected from the 5th GeoChina International Conference on Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held in July 23-25, 2018 in Hang Zhou, China.
Enhancing Adobe Acrobat Forms with JavaScript: Take Your Forms to the Next Level!
by Jennifer HarderTake your PDF forms to the next level! In this book, you’ll learn various ways to further improve your PDF forms using simple JavaScript coding. You’ll also discover how a few lines of code can speed up your workflow when working with multiple PDFs in Action Wizard. Enhancing Adobe Acrobat Forms with JavaScript covers up-to-date, real working examples that you can easily download and practice with and edit to suit your own projects. This book also shows workarounds and solutions to various form issues you might encounter. Feel empowered by it and improve your PDF documents! JavaScript has been a part of Adobe Acrobat for many versions. However, few people use its features and focus mainly on using basic form properties, never delving deeper into Acrobat’s full capabilities. While information on the web can be helpful, if you don’t know enough about how to use JavaScript in Acrobat you will be left with poor results. JavaScript can be difficult to learn, but it does not need to be scary. This book explains in simple steps for beginner to intermediate level so that you can take full advantage of Acrobat’s capabilities for your own projects. What You Will Learn • Learn simplified field notation and basic JavaScript for Acrobat • Work with buttons that can be used for navigation • Improve form navigation and printing of forms • Add various types of alerts and custom validations to improve client-entered-data • Learn the basics of how to prepare a form for e-signingWho Is This Book ForThis book is for anyone who needs to create forms for clients or websites. Students, lawyers, accountants, and human resources will be able to take their work to the next level by streamlining their workflow and utilizing advanced JavaScript features in Adobe Acrobat.
Enhancing Architectural Drawings and Models with Photoshop
by Scott OnstottTransform your CAD drawings into powerful presentationThis one-of-a-kind book shows you how to use Photoshop to turn CAD drawings and BIM models into artistic presentations with captivating animations, videos, and dynamic 3D imagery. The techniques apply to all leading architectural design software including AutoCAD, Revit, and 3ds Max Design. Video tutorials on the DVD improve your learning curve and let you compare your work with the author's.Turn CAD drawings and BIM models into powerful presentations featuring animation, videos, and 3D imagery for enhanced client appealCraft interactive panoramas for your Web site, add people and objects to your models, and integrate 3D object models inside architectural interiorsBuild 3D models from photos and turn them into videos with AfterEffects, add depth of field and atmospheric effects to 3D models, create stereographic images, and much moreSee how it's done with the video tutorials on the DVDTake full advantage of Photoshop's power to present your architectural drawings in a new and exciting way.
Enhancing Beginner-Level Foreign Language Education for Adult Learners: Language Instruction, Intercultural Competence, Technology, and Assessment (Routledge Research in Language Education)
by Ekaterina NemtchinovaThis book is an authoritative text that explores best classroom practices for engaging adult learners in beginner-level foreign language courses. Built around a diverse range of international research studies and conceptual articles, the book covers four key issues in teaching language to novice students: development of linguistic skills; communicative, and intercultural competence; evaluation and assessment; and the use of technology. Each chapter includes teaching insights that are supported by critical research and can be practically applied across languages to enhance instructional strategies and curriculum designs. The text also aims to build intercultural competence, harness technology, and design assessment to stimulate effective learning in formal instructional settings including colleges, universities, and specialist language schools. With its broad coverage of language pedagogy at the novice level, this book is a must read for graduate students, scholars, researchers, and practitioners in the fields of language education, second language acquisition, language teaching and learning, and applied linguistics.
Enhancing Business Continuity and IT Capability: System Administration and Server Operating Platforms
by Nijaz Bajgorić Lejla Turulja Semir Ibrahimović Amra AlagićEnterprise servers play a mission-critical role in modern computing environments, especially from a business continuity perspective. Several models of IT capability have been introduced over the last two decades. Enhancing Business Continuity and IT Capability: System Administration and Server Operating Platforms proposes a new model of IT capability. It presents a framework that establishes the relationship between downtime on one side and business continuity and IT capability on the other side, as well as how system administration and modern server operating platforms can help in improving business continuity and IT capability. This book begins by defining business continuity and IT capability and their importance in modern business, as well as by giving an overview of business continuity, disaster recovery planning, contingency planning, and business continuity maturity models. It then explores modern server environments and the role of system administration in ensuring higher levels of system availability, system scalability, and business continuity. Techniques for enhancing availability and business continuity also include Business impact analysis Assessing the downtime impact Designing an optimal business continuity solution IT auditing as a process of gathering data and evidence to evaluate whether the company’s information systems infrastructure is efficient and effective and whether it meets business goals The book concludes with frameworks and guidelines on how to measure and assess IT capability and how IT capability affects a firm’s performances. Cases and white papers describe real-world scenarios illustrating the concepts and techniques presented in the book.
Enhancing Capabilities for Crisis Management and Disaster Response (NATO Science for Peace and Security Series C: Environmental Security)
by Filip Hostiuc Eyup Kuntay TurmusScience for Peace and Security (SPS) cooperation brings together NATO & partners to address common security concerns reflected in the so-called SPS Key Priorities. These include emerging security challenges such as terrorism, cyber defense or energy security, as well as human and social aspects of security, support to NATO-led mission and operation, advanced technologies with security applications, and early warning. The SPS project “Advanced Civil Emergency Coordination Pilot in the Western Balkans” addresses several of these areas. As a key regional SPS flagship project, it helps to build capacity in response to a concrete security challenge. The Western Balkans is a region frequently affected by natural disasters and the pilot project provides emergency responders in the region with an incident command system that allows sharing information about disasters in a fast and easy way, enhancing situational awareness and building capacity in the area of civil emergency coordination.
Enhancing CBRNE Safety & Security: Science As The First Countermeasure For Cbrne And Cyber Threats
by Marco D’Arienzo Andrea MaliziaThis book presents the proceedings of SICC 2017, a conference devoted to promoting the dissemination of the different methodologies, techniques, theories, strategies, technologies and best practices on the prevention and mitigation of CBRNE risks. As the first scientific international conference on safety & security issues in the CBRNE field, SICC 2017 attracted contributions resulting from fruitful inter-professional collaborations between university and military experts, specialized operators, decision makers and the industry. As such, these proceedings are primarily intended for academics and professionals from public, private and military entities. It is the first trans-disciplinary collection of scientific papers from the numerous fields related to CBRNE.
Enhancing Classroom Dialogue Productiveness: Exploring the Potential of Artificial Intelligence
by Yu SongThis book demonstrates how artificial intelligence (AI) can be used to uncover the patterns of classroom dialogue and increase the productiveness of dialogue.In this book, the author uses a range of data mining techniques to explore the productive features and sequential patterns of classroom dialogue. She analyses how the Large Language Model (LLM) as an AI technique can be adapted to enhance dialogue contributions. The book also includes valuable feedback and practical cases from teachers and their dialogue transcripts, facilitating an understanding of AI use and pedagogical development.This book makes original contributions to the field of classroom dialogue and technology, and it will encourage scholars making similar attempts at technological infusion for pedagogical improvement.
Enhancing Computer Security with Smart Technology
by V. Rao VemuriDivided into two major parts, Enhancing Computer Security with Smart Technology introduces the problems of computer security to researchers with a machine learning background, then introduces machine learning concepts to computer security professionals. Realizing the massive scope of these subjects, the author concentrates on problems relat
Enhancing Data Systems to Improve the Quality of Cancer Care
by Institute of MedicineOne of the barriers to improving the quality of cancer care in the United States is the inadequacy of data systems. Out-of-date or incomplete information about the performance of doctors, hospitals, health plans, and public agencies makes it hard to gauge the quality of care. Augmenting today's data systems could start to fill the gap.This report examines the strengths and weaknesses of current systems and makes recommendations for enhancing data systems to improve the quality of cancer care. The board's recommendations fall into three key areas: Enhance key elements of the data system infrastructure (i.e., quality-of-care measures, cancer registries and databases, data collection technologies, and analytic capacity). Expand support for analyses of quality of cancer care using existing data systems. Monitor the effectiveness of data systems to promote quality improvement within health systems.
Enhancing Enterprise Intelligence: Leveraging ERP, CRM, SCM, PLM, BPM, and BI
by Vivek KaleEnhancing Enterprise Intelligence: Leveraging ERP, CRM, SCM, PLM, BPM, and BI takes a fresh look at the benefits of enterprise systems (ES), focusing on the fact that ES collectively contribute to enhancing the intelligence quotient of an enterprise. The book provides an overview of the characteristic domains (i.e., business functions, processes, a
Enhancing Fieldwork Learning Using Mobile Technologies
by Derek France W. Brian Whalley Alice Mauchline Victoria Powell Katharine Welsh Alex Lerczak Julian Park Robert BednarzThis book shows how tablets (and smartphones) using a variety of selected 'apps', can enhance fieldwork and other out-of-classroom activities. The authors review imaginative uses of tablets from their own project and as well as examples from other colleagues. To help readers keep abreast of new technology and innovative ways to use it, the book is supported by a web site and a social media community.
Enhancing LAN Performance
by Gilbert HeldEnhancing LAN Performance, Fourth Edition explains how to connect geographically separated LANs with appropriate bandwidth, the issues to consider when weighing the use of multiport or dualport devices, how to estimate traffic for new networks, the effects of configuration changes on the performance of Ethernet and Token Ring networks, the design o
Enhancing Microsoft Content Management Server with ASP.NET 2.0
by Lim Mei YingThe book is written for developers who work with Microsoft Content Management Server, and want to update their skills to take advantage of the latest offerings in ASP.NET. If you are an MCMS developer who hasn't yet got into ASP.NET 2.0, this book is an ideal introduction to the most exciting features of ASP.NET 2.0, and how you can make them work for you.
Enhancing Productivity with Notion: Save time on projects by supercharging your productivity with Notion's powerful features and templates
by Danny HatcherWritten by an experienced Notion Ambassador, this book helps you become proficient with the features, functions, and flexibility of the Notion app to make work and personal life easierKey FeaturesCreate accounts, workspaces, and dashboards using all of Notion's flexible featuresDevelop the skills you need to work in various contexts, while working collaboratively with othersUse basic and advanced blocks, databases, and functions to optimize a workflow that works for youBook DescriptionNotion is note-taking, wiki management, and task and project management software that gives you control of your working environment. By creating pages using a variety of block types and database styles, the possibilities are endless. This book will help you overcome challenges in managing large projects using Notion and creating documents using real-time updates with a great deal of flexibility, allowing everyone to have a customized view as per their needs.With this book, you'll become well-versed with Notion, where you'll learn how to access, create, and change a workspace utilizing all the blocks, database views and properties, and advanced features and functions. From a table or list view to a Kanban board or gallery view, you'll get to explore several database options available in Notion. You'll learn the skills to build pages, customize the aesthetics, create templates, and store, organize, and surface information through databases, all while building a system and workflow that works for you in your context. The book will also demonstrate how to import and export information and combine Notion with other tools using the API.By the end of this book, you'll be able to create a task management system, project management system, or any other system while combining it with other tools that speed up your work for better efficiency.What you will learnUnderstand how to set up and build on any deviceNavigate, share and alter the appearance of your workspaceImport and export data to and from NotionUnderstand how to use all the database views, filters, sorts, and propertiesCreate task, wiki, and project management systemsConnect Notion to third-party applications with the APIWho this book is forBusiness users, power users, IT professionals, or anyone from a non-technical background looking to use Notion to increase their productivity will find this note-taking book useful.
Enhancing Reflection within Situated Learning: Incorporating Mindfulness As An Instructional Strategy (Springerbriefs In Educational Communications And Technology Ser.)
by Alexis M. Stoner Katherine S. CennamoThis innovative brief provides guidance on promoting reflection in situated learning by incorporating mindfulness strategies, tapping into a surge of research interest in exploring mindfulness as an instructional strategy associated with positive learning outcomes. It illustrates the benefits of continuous reflection within situated learning and how mindfulness can be incorporated before, during, and after the learning experience to enhance the reflective experience. Critically, the authors present a new conceptual model that synthesizes theories and methods from three different areas of study—mindfulness, situated learning, and reflection— to provide a new perspective and instructional approach that has great potential to positively impact outcomes in situated learning.Among the other topics covered:• Strategies for reflection in situated learning.• Strategies for reflection-in-action in situated learning.• Mindfulness strategies for situated learning.• A conceptual model incorporating mindfulness to enhance reflection.Enhancing Reflection within Situated Learning is an exciting and pioneering resource that offers practical guidance to educators and instructional designers interested in incorporating methods and approaches for integrating mindfulness and reflection across instructional environments.