- Table View
- List View
Structural Decision Diagrams in Digital Test: Theory and Applications (Computer Science Foundations and Applied Logic)
by Raimund Ubar Jaan Raik Maksim Jenihhin Artur JutmanThis is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly and opens a new area of research.The book introduces and discusses applications of two types of structural decision diagrams (DDs): low-level, structurally synthesized binary DDs (SSBDDs) and high-level DDs (HLDDs) that enable diagnostic modeling of complex digital circuits and systems.Topics and features:Provides the definition, properties and techniques for synthesis, compression and optimization of SSBDDs and HLDDsProvides numerous working examples that illustrate the key points of the textDescribes applications of SSBDDs and HLDDs for various electronic design automation (EDA) tasks, such as logic-level fault modeling and simulation, multi-valued simulation, timing-critical path identification, and test generationDiscusses the advantages of the proposed model to traditional binary decision diagrams and other traditional design representationsCombines SSBDDs with HLDDs for multi-level representation of digital systems for enabling hierarchical and cross-level solving of complex test-related tasksThis unique book is aimed at researchers working in the fields of computer science and computer engineering, focusing on test, diagnosis and dependability of digital systems. It can also serve as a reference for graduate- and advanced undergraduate-level computer engineering and electronics courses.Three authors are affiliated with the Dept. of Computer Systems at the Tallinn University of Technology, Estonia: Raimund Ubar is a retired Professor, Jaan Raik and Maksim Jenihhin are tenured Professors. Artur Jutman, PhD, is a researcher at the same university and the CEO of Testonica Lab Ltd., Estonia.
Success in Graduate School and Beyond: A Guide for STEM Students and Postdoctoral Fellows
by Nana Lee Reinhart ReithmeierSuccess in Graduate School and Beyond is designed to empower graduate students and postdoctoral fellows in STEM with practical tools, tips, and skill development strategies to plan and create their dream career pathway. Intended as a professional development course book, this balanced, self-reflective guide to workplace readiness is organized into five sections that support graduate student development: self-reflection, wellness, skills, networking, and planning for future success. Written in a conversational style, this guidebook includes clear learning outcomes based on the authors’ successful graduate professional development course at the University of Toronto. Covering increasingly important career subjects such as mentorships, transferrable skill development, emotional intelligence, and EDI, this guidebook solves a skills gap and builds core competencies demanded from industries and academia. Interspersed personal accounts from the authors about key topics and seven Alumni Career Profiles describing various career trajectories work to encourage self-awareness and promote essential skill development and networking proficiency. With this book, STEM students will be equipped with the abilities and tools to achieve success in graduate school and beyond.
Supporting Higher Education 4.0 with Blockchain: Critical Analyses of Automation, Data, Digital Currency, and Other Disruptive Applications
by Grażyna Paliwoda-Pękosz Piotr SojaThis book explores the current and future impacts of blockchain technologies, such as cryptocurrency, on the education system. Blockchain is a disruptive technology based on a shared, distributed ledger, where transactions are registered by consensus in a network of peers, using cryptographic mechanisms that render the records virtually immutable and, ideally, enable transparency, auditability, and resilience. What role, then, could it play in fostering transformative approaches such as student-centred teaching and learning, distributed learning environments, and lifelong learning? This book provides essential perspectives into blockchain applications and challenges within education and offers a broader view of blockchain technology against existing information and communication technologies used in education. Spanning the effects on institutions, students, and the labor market, these chapters offer critical reviews and analyses of current research, practical first-hand applications of blockchain in education, and original conceptual models.
Sustainability in Energy and Buildings 2023 (Smart Innovation, Systems and Technologies #378)
by John R. Littlewood Lakhmi Jain Robert J. HowlettThis book contains the proceedings of the 15th KES International Conference on Sustainability and Energy in Buildings 2023 (SEB2023) held in Bari, Italy, during September 18–20, 2023, organized by KES International. SEB23 invited contributions on a range of topics related to sustainable buildings and explored innovative themes regarding sustainable energy systems. The conference formed an exciting chance to present, interact, and learn about the latest research and practical developments on the subject. The conference attracted submissions from around the world. Submissions for the full-paper track were subjected to a blind peer-reviewed process. Only the best of these were selected for presentation at the conference and publication in these proceedings. It is intended that this book provides a useful and informative snapshot of recent research developments in the important and vibrant area of sustainability in energy and buildings.
Sustainable Energy Solutions with Artificial Intelligence, Blockchain Technology, and Internet of Things (Smart Technologies for Engineers and Scientists)
by Arpit Jain Abhinav Sharma Vibhu Jately Brian AzzopardiThe text provides sustainable energy solutions using smart technologies such as artificial intelligence, blockchain technology, and the Internet of Things. It further presents several case studies on applications of the Internet of Things, artificial intelligence, and blockchain technology in the field of sustainable energy. Focuses on the integration of smart technology including artificial intelligence and sustainable energy Covers recent advancements in energy management techniques used in residential and commercial energy systems Highlights the use of artificial intelligence, machine learning, and their applications in sustainable energy Discusses important topics such as green energy, grid modernization, smart security in the power grid, and fault diagnosis Presents case studies on the applications of the Internet of Things, blockchain, and artificial intelligence in sustainable energy The text showcases the latest advancements, and the importance of technologies including artificial intelligence, blockchain, and Internet of Things in achieving sustainable energy systems. It further discusses the role of machine learning, applied deep learning, and edge computing in renewable energy. The text cover key concepts such as intelligent battery management system, energy trading, green energy, grid modernization, electric vehicles, and charging station optimization. It will serve as an ideal reference text for senior undergraduate, graduate students, and academic researchers in the fields including electrical engineering, electronics and communication engineering, computer engineering, and environmental engineering.
Sustained Simulation Performance 2022: Proceedings of the Joint Workshop on Sustained Simulation Performance, High-Performance Computing Center Stuttgart (HLRS), University of Stuttgart and Tohoku University, May and October 2022
by Michael M. Resch Johannes Gebert Hiroaki Kobayashi Hiroyuki Takizawa Wolfgang BezThis book presents the state of the art in High-Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High-Performance Data Analytics. In addition, they explore new topics like the use of High-Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented in 2022 at the 33rd Workshop on Sustained Simulation Performance, WSSP33, held at HLRS in Stuttgart, Germany, and WSSP34, held at Tohoku University in Sendai, Japan.
Sviluppatore Web da Principiante a Professionista Retribuito, Volume 1: Costruisci il tuo Portfolio imparando Html5, CSS e Javascript passo dopo passo grazie ai manuali (Sviluppatore Web da Principiante a Professionista Retribuito #1)
by Bolakale AremuSo che ci sono risorse online più che sufficienti per insegnare ai principianti assoluti tutto ciò di cui hanno bisogno per imparare lo sviluppo web da zero. Ma questo libro è diverso perché affronta alcuni problemi dello sviluppo web. La credibilità di uno sviluppatore web va ben oltre le sue credenziali. Si tratta infatti della forza del suo Portfolio. Le opportunità di lavoro spesso derivano da esempi di lavoro e competenze concrete, piuttosto che da una laurea. Pertanto, è necessario acquisire le competenze necessarie. Questo libro non solo vi aiuterà a imparare in maniera adeguata e a costruire un portfolio straordinario, ma vi fornirà anche un aiuto e un supporto continui. Con questo libro e il mio team di assistenza e supporto dedicato, 24 ore su 24, 7 giorni su 7, non avrete nulla da temere. Ho aiutato molti sviluppatori web ad aggiornare le loro competenze in materia di sviluppo, ad avviare carriere di successo e ad essere assunti per lavori da remoto. Ho notato che anche i principianti più ambiziosi possono incorrere in problemi, come l'incapacità di decidere da dove iniziare. A volte si perdono completamente per strada e hanno quindi bisogno di ulteriore aiuto. La verità è che tutti, prima o dopo, hanno bisogno di aiuto per imparare correttamente l'html5, il CSS o il Javascript nel loro percorso formativo. In questo libro ho raccolto un numero sufficiente di sfide di codifica e le loro soluzioni. Avrete a disposizione schede informative regolarmente aggiornate, esercizi di codifica, uno splendido portfolio di sviluppo web per mostrare i vostri esempi di lavoro, progetti pratici e grafici/screenshot utilizzati in questo libro. Potrete inoltre ricevere ulteriore assistenza utilizzando il link di supporto gratuito in fondo a questo libro. Vi aiuteremo a studiare a fondo. Infine, se acquisterete questo libro, vi aggiungerò alla mia comunità di sviluppatori web in modo che possiate continuare a imparare e a riceve
Swarm Intelligence and its Applications in Biomedical Informatics
by A. Sheik AbdullahSwarm Intelligence and Its Applications in Biomedical Informatics discusses Artificial Intelligence (AI) applications in medicine and biology, as well as challenges and opportunities presented in these arenas. It covers healthcare big data analytics, mobile health, personalized medicine, and clinical trial data management. This book shows how AI can be used for early disease diagnosis, prediction, and prognosis, and it offers healthcare case studies that demonstrate the application of AI and Machine Learning. Key Features: • Covers all major topics of swarm intelligence research and development such as novel-based search methods and novel optimization algorithm: applications of swarm intelligence to management problems and swarm intelligence for real-world application.• Provides a unique insight into the complex problems of bioinformatics and the innovative solutions which make up ‘intelligent bioinformatics’.• Covers a wide range of topics on the role of AI, Machine Learning, and Big Data for healthcare applications and deals with the ethical issues and concerns associated with it.• Explores applications in different areas of healthcare and highlights the current research. This book is designed as a reference text, and it aims primarily at advanced undergraduates and postgraduate students studying computer science and bioinformatics. Researchers and professionals will find this book useful.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings (Lecture Notes in Computer Science #14294)
by Zied Bouraoui Srdjan VesicThis book constitutes the refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023. The 35 full papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in topical sections about Complexity and Database Theory; Formal Concept Analysis: Theoretical Advances; Formal Concept Analysis: Applications; Modelling and Explanation; Semantic Web and Graphs; Posters.
Symmetric Cryptography, Volume 1: Design and Security Proofs
by Christina Boura María Naya-PlasenciaSymmetric cryptology is one of the two main branches of cryptology. Its applications are essential and vital in the Information Age, due to the efficiency of its constructions. The scope of this book in two volumes is two-fold. First, it presents the most important ideas that have been used in the design of symmetric primitives, their inner components and their most relevant constructions. Second, it describes and provides insights on the most popular cryptanalysis and proof techniques for analyzing the security of the above algorithms. A selected number of future directions, such as post-quantum security or design of ciphers for modern needs and particular applications, are also discussed. We believe that the two volumes of this work will be of interest to researchers, to master’s and PhD students studying or working in the field of cryptography, as well as to all professionals working in the field of cybersecurity.
Synthetic Data: Revolutionizing the Industrial Metaverse
by Jimmy Nassif Joe Tekli Marc KamradtThe book concentrates on the impact of digitalization and digital transformation technologies on the Industry 4.0 and smart factories, how the factory of tomorrow can be designed, built, and run virtually as a digital twin likeness of its real-world counterpart, before the physical structure is actually erected.It highlights the main digitalization technologies that have stimulated the Industry 4.0, how these technologies work and integrate with each other, and how they are shaping the industry of the future.It examines how multimedia data and digital images in particular are being leveraged to create fully virtualized worlds in the form of digital twin factories and fully virtualized industrial assets. It uses BMW Group’s latest SORDI dataset (Synthetic Object Recognition Dataset for Industry), i.e., the largest industrial images dataset to-date and its applications at BMW Group and Idealworks, as one of the main explanatory scenarios throughout the book.It discusses the need of synthetic data to train advanced deep learning computer vision models, and how such datasets will help create the “robot gym” of the future: training robots on synthetic images to prepare them to function in the real world.
System Innovation for a World in Transition: Applied System Innovation IX. Proceedings of the 9th International Conference on Applied System Innovation 2023 (ICASI 2023), Chiba, Japan, 21-25 April 2023 (Smart Science, Design & Technology)
by Kin-Tak Lam, Artde Donald Stephen Prior Siu-Tsen Shen Sheng-Joue Young Liang-Wen JiSystem Innovation for a World in Transition: Applied System Innovation IX, includes the contributions presented at the IEEE 9th International Conference on Applied System Innovation (ICASI 2023, Chiba, Japan, 21-25 April 2023). The conference received more than 600 submitted papers from 12 different countries, whereby roughly one quarter of these papers was selected to present at ICASI 2023. The book aims to provide an integrated communication platform for researchers from a wide range of topics including information technology, communication science, applied mathematics, computer science, advanced material science, and engineering. Hopefully, it will enhance interdisciplinary collaborations between science and engineering technologists in the fields of academics and related industries.
Systems Medicine: Physiological Circuits and the Dynamics of Disease (Chapman & Hall/CRC Computational Biology Series)
by Uri AlonWhy do we get certain diseases, whereas other diseases do not exist? In this book, Alon, one of the founders of systems biology, builds a foundation for systems medicine. Starting from basic laws, the book derives why physiological circuits are built the way they are. The circuits have fragilities that explain specific diseases and offer new strategies to treat them. By the end, the reader will be able to use simple and powerful mathematical models to describe physiological circuits. The book explores, in three parts, hormone circuits, immune circuits, and aging and age-related disease. It culminates in a periodic table of diseases. Alon writes in a style accessible to a broad range of readers - undergraduates, graduates, or researchers from computational or biological backgrounds. The level of math is friendly and the math can even be bypassed altogether. For instructors and readers who want to go deeper, the book includes dozens of exercises that have been rigorously tested in the classroom
Systems Science for Engineers and Scholars
by Avner EngelSystems Science for Engineers and Scholars Brings a powerful toolkit to bear on engineering and scientific endeavors. This book describes the fundamental principles of systems science so engineers and other scholars can put them into practical use at work and in their personal lives. Systems science aims to determine systemic similarities among different disciplines and to develop applicable solutions in many fields of inquiry. Systems Science for Engineers and Scholars readers will discover: Ten systems science principles that open engineers’ and scholars’ horizons to practical insights related to their areas of interest A methodology for designing holistic systems that exhibit resilient behavior to overcome systems’ context uncertainties The most critical current dilemma of humankind—the global environment and energy crises, as well as a systemic, no-nonsense action plan to deal with these issues Independent articles describing how engineers and scholars can utilize systems science creatively in (1) engineering and systemic psychology; (2) delivering value and resolving conflicts; (3) multi-objective, multi-agent decision-making; (4) systems engineering using category theory; (5) holistic risk management using systems of systems failures methodology; and (6) systemic accident and mishap analysis Systems Science for Engineers and Scholars contains a broad spectrum of insights as well as an extensive set of examples and graphics that make it ideal for professionals and students interested in a holistic, systems-oriented approach.
Systems, Smart Technologies and Innovation for Society: Proceedings of CITIS’2023, Volume 2 (Lecture Notes in Networks and Systems #871)
by Juan Pablo Salgado-Guerrero Hector Rene Vega-Carrillo Gonzalo García-Fernández Vladimir Robles-BykbaevThis book is dedicated to exploring the practical applications and future perspectives of intelligent technologies. It delves into various domains, including industry, mobility, telecommunications, and environmental considerations. The innovative nature of this text enables us to draw connections between technical advancements and experiences aimed at enhancing the integration of emerging technologies on local, national, and regional scales. It showcases the strides made in diverse engineering domains, underlining the book’s multidisciplinary appeal. This book is intended for a wide readership, catering to master's and doctoral students, professors, and researchers in the field of cutting-edge technologies. It also extends its relevance to businesses engaged in engineering development. The contents offer insights into novel methodologies, real-world case studies, and innovative techniques designed to optimize systems, ultimately contributing to societal progress.
Systems, Smart Technologies and Innovation for Society: Proceedings of CITIS´2023, Volume 1 (Lecture Notes in Networks and Systems #870)
by Juan Pablo Salgado-Guerrero Hector Rene Vega-Carrillo Gonzalo García-Fernández Vladimir Robles-BykbaevThis book is dedicated to exploring the practical applications and future perspectives of intelligent technologies. It delves into various domains, including industry, mobility, telecommunications, and environmental considerations.The innovative nature of this text enables us to draw connections between technical advancements and experiences aimed at enhancing the integration of emerging technologies on local, national, and regional scales. It showcases the strides made in diverse engineering domains, underlining the book’s multidisciplinary appeal. This book is intended for a wide readership, catering to master's and doctoral students, professors, and researchers in the field of cutting-edge technologies. It also extends its relevance to businesses engaged in engineering development. The contents offer insights into novel methodologies, real-world case studies, and innovative techniques designed to optimize systems, ultimately contributing to societal progress.
Tabletop Game Accessibility: Meeple Centred Design
by Michael James HeronThis foundational resource on the topic of tabletop game accessibility provides actionable guidelines on how to make games accessible for people with disabilities. This book contextualises this practical guidance within a philosophical framework of how the relatively abled can ethically address accessibility issues within game design.This book helps readers to build understanding and empathy across the various categories of accessibility. Chapters on each category introduce ‘the science’, outline the game mechanics and games that show exemplar problems, relate these to the real-world situations that every player may encounter, and then discuss how to create maximally accessible games with reference to the accessibility guidelines and specific games that show ‘best-in-class’ examples of solutions.This book will be of great interest to all professional tabletop and board game designers as well as digital game designers and designers of other physical products.
Take Control of Automating Your Mac
by Joe KissellEver wondered if automation could make your life easier? In "Take Control of Automating Your Mac, Fifth Edition," Mac expert Joe Kissell shows you how to save time and aggravation by using numerous built-in macOS tools, as well as helpful third-party apps, to automate routine tasks and procedures.
Take Control of Backing Up Your Mac
by Joe KissellJoe Kissell provides the advice you need to create a Mac backup strategy that protects your data and enables quick recovery. He compares backup software, services, and media to help you make the best choices. You'll learn to set up, test, and maintain backups, plus how to restore files after a calamity!
Take Control of iPhone Photography
by Jeff CarlsonWould you like to unlock the powerful features of your iPhone's cameras and create better photos and videos? This book is the friendly, step-by-step guide to capturing great photos using the iPhone, the camera that’s always with you, taught by an author and professional photographer who has been taking mobile photos on iPhones since the first model.
Take Control of Wi-Fi Networking and Security
by Glenn FleishmanSetting up and securing a Wi-Fi network can be complicated and confusing. This book helps you over every hurdle involved in picking gateways, setting up a network, adding devices, and securing the network and connected phones, tablets, and computers. It’s useful for those who have set up networks in the past and want to replace them with new gear, as well as people who have never built a Wi-Fi network before.
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #14660)
by Stefan Kiefer Jan Křetínský Antonín KučeraJavier Esparza received his primary degree in Theoretical Physics and in 1990 his PhD in Computer Science from the University of Zaragoza. After positions at the University of Hildesheim, the University of Edinburgh, and the Technical University of Munich, he then held professorships at the University of Edinburgh and the University of Stuttgart, and finally returned to TU Munich where he currently holds the Chair of Foundations of Software Reliability and Theoretical Computer Science. Javier is a leading researcher in concurrency theory, distributed and probabilistic systems, Petri nets, analysis of infinite-state models, and more generally formal methods for the verification of computer systems. He has coauthored over 200 publications, many of them highly influential. He coauthored the monographs Free Choice Petri Nets, and Unfoldings: A Partial Order Approach to Model Checking, and more recently the textbook Automata Theory: An Algorithmic Approach. The latter is an exampleof Javier’s many activities as a teacher, he has supervised more than 20 PhD students, taught at more than 20 summer schools, and won many awards for his university teaching. He is regularly invited to deliver plenary talks at prestigious computer science conferences and participate in senior program committees, he has contributed as a senior member of technical working groups, society councils, and journal editorial boards, and in 2021 he became a founding Editor-in-Chief of the open-access TheoretiCS journal. This Festschrift celebrates Javier’s contributions on the occasion of his 60th birthday, the contributions reflect the breadth and depth of his successes in Petri nets, concurrency in general, distributed and probabilistic systems, games, formal languages, logic, program analysis, verification, and synthesis.
Teach Yourself VISUALLY MacBook Pro and MacBook Air (Teach Yourself VISUALLY (Tech))
by Guy Hart-DavisThe visual learner's guide to getting up and running with your Apple laptop Teach Yourself VISUALLY MacBook Pro and MacBook Air covers all the vital information you need to start working on your MacBook. With this highly illustrated and easy-to-follow guide, you'll learn to navigate the macOS interface like a pro; customize your desktop with the widgets you need; and get your MacBook working with iCloud, your iPhone, and your iPad. This book's graphical, step-by-step instructions walk you through everything from installation to troubleshooting, helping you to get the most out of the investment you've made in your MacBook. This fully updated edition helps you become a power user of the latest MacBook models and exploit the features in macOS Sonoma, Apple's state-of-the-art operating system, and the apps that come with it. If you prefer to learn visually, this is the book you need. Get up to speed with the latest macOS version, Sonoma, and its new features Perform everyday tasks quickly and easily Customize settings to make macOS and its apps work the way you prefer Communicate via audio and video with FaceTime, via instant messaging with Messages, and via email with Mail Organize your life with Calendar, Contacts, Reminders, Notes, and Maps Make the most of your iCloud account Instead of confusing tech-speak and vague instructions, this guide is packed with screenshots, easy-to-follow instructions, and a practical sensibility. Grab Teach Yourself VISUALLY MacBook Pro and MacBook Air and explore all that your MacBook can do.
Teacher Professional Learning through Lesson Study in Virtual and Hybrid Environments: Opportunities, Challenges, and Future Directions (WALS-Routledge Lesson Study Series)
by Rongjin Huang Nina Helgevold Jean Lang Heng JiangOffering a rich, critical investigation of how technology can be used to strengthen and promote lesson study in both virtual and hybrid environments, this edited book presents insights into the numerous challenges as well as opportunities for supporting teachers’ and teacher educators’ professional learning in such a novel setting. Providing an international perspective, research in this book highlights on the one hand the necessity of exploring how the known theoretical perspectives and methodological approaches for researching on lesson study and effective characteristics of conducting lesson study can be adapted to the new environments. On the other hand, further analysis reveals the benefits of using various advanced technologies in lesson study, the new practice of professional development of teachers and teacher educators, and also documents related issues of conducting lesson study in such complex contexts. The chapters focus on online cross-cultural lesson study; the key aspects of conducting online lesson study and the effectiveness of it. Features of facilitation and the development of facilitators for online lesson study are explored, alongside the ways in which online lesson study can help address various problems of practice such as implementing equitable teaching, facilitating student interaction in virtual environments, and migration to remote teaching in STEM. This resourceful text provides needed support to both researchers and practitioners, from primary to higher education, with special attention to both teacher and student learning.
Teacher Professionalism During the Pandemic: Courage, Care and Resilience
by Christopher Day Helen Victoria Smith Ruth Graham Despoina AthanasiadouThis insightful book uniquely charts the events, experiences and challenges faced by teachers during and beyond the COVID-19 pandemic including periods of national lockdowns and school closures. Research-based and evidence informed, this key title explores the multiple media outputs created by teachers in a variety of different socio-economic contexts. The authors reflect on their stories through a series of themed analyses, as well as describing and discussing key issues related to the enactment of teacher professionalism in challenging times. With fascinating vignettes and interview extracts that reinforce the idea that teachers can manage rather than survive, this book unveils a strong sense of moral purpose, professional identity, commitment, care and resilience. It will be of interest to teachers, head teachers and teacher educators internationally.