- Table View
- List View
Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science #12005)
by Alexandru Baltag Luís Soares BarbosaThis book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí – Dynamic logics for cyber-physical systems: towards contract based design.
Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12569)
by Manuel A. Martins Igor SedlárThis book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions. The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.
Dynamic Profiles for Voting Advice Applications: An Implementation for the 2017 Ecuador National Elections (Fuzzy Management Methods)
by Luis TeránElectronic participation is an emerging and growing research area that makes use of internet solutions to enhance citizens' participation in government processes in order to provide a fair and efficient society. This book examines recommender-system technologies and voting advice applications as tools to enable electronic citizen participation during election campaigns. Further, making use of fuzzy classification, it provides an evaluation framework for eParticipation. A dynamic voting advice application developed for the 2017 Ecuador national election serves as a real-world case study to introduce readers to the practical implementation and evaluation issues. The book concludes with a comprehensive analysis of the 2017 election project based on altmetrics, Google Analytics and statistics from the case study.
Dynamic Spectrum Management: From Cognitive Radio to Blockchain and Artificial Intelligence (Signals and Communication Technology)
by Ying-Chang LiangThis open access book, authored by a world-leading researcher in this field, describes fundamentals of dynamic spectrum management, provides a systematic overview on the enabling technologies covering cognitive radio, blockchain, and artificial intelligence, and offers valuable guidance for designing advanced wireless communications systems. This book is intended for a broad range of readers, including students and professionals in this field, as well as radio spectrum policy makers.
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision (Synthese Library #420)
by Holger AndreasThis book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science.This book conducts a sustained and detailed examination of the structure of tractable and intelligible reasoning in cognitive science and artificial intelligence. Working from the perspective of formal epistemology and cognitive science, Andreas uses structuralist notions from Bourbaki and Sneed to provide new foundational analyses of frames, object-oriented programming, belief revision, and truth maintenance. Andreas then builds on these analyses to construct a novel logic of tractable reasoning he calls frame logic, together with a novel belief revision scheme that is tractable for frame logic. Put together, these logical analyses and tractability results provide new understandings of dynamic and inferential reasoning.Jon Doyle, North Carolina State University
Dynamical Characteristics of Inertia-Gravity Waves in the Antarctic Mesosphere: Analyses Combining High-Resolution Observations and Modeling (Springer Theses)
by Ryosuke ShibuyaThis book examines the origins and dynamical characteristics of atmospheric inertia-gravity waves in the Antarctic mesosphere. Gravity waves are relatively small-scale atmospheric waves with a restoring force of buoyancy that can transport momentum upward from the troposphere to the middle atmosphere. In previous studies, the dynamical characteristics of mesospheric gravity waves have not been fully examined using numerical simulations, since performing a numerical simulation with a high resolution and a high model-top requires considerable computational power. However, recent advances in computational capabilities have allowed us to perform numerical simulations using atmospheric general circulation models, which cover the troposphere to the mesosphere with a sufficiently fine horizontal resolution to resolve small-scale gravity waves. The book first describes the simulation of mesospheric gravity waves using a high-resolution non-hydrostatic atmospheric model with a high model top. The accuracy of the numerical results was confirmed by the first Mesosphere-Stratosphere-Troposphere/Incoherent Scattering (MST/IS) radar observation in the Antarctic. It also depicts the origins and propagation processes of mesospheric gravity waves on the basis of the results of the high-resolution numerical model. The behaviors of mesospheric gravity waves can be clearly explained using both fundamental and cutting-edge theories of fluid dynamics
Dynamics 365 Essentials: Getting Started with Dynamics 365 Apps in the Common Data Service
by Sarah CritchleyDiscover what the Common Data Service is and how Dynamics 365 fits in the Power Platform. Learn how to set up core Dynamics 365 Customer Engagement functionality and build more customized processes using model-driven apps. This book covers the Dynamics 365 Online system for sales, customer service, marketing, field service, and Outlook integration. In this second edition, core platform changes from the Common Data Service are included and you will know what this means for Dynamics 365. Updated features include processes, the latest form and view designer, and Business Process Flows. The book also includes new chapters on portals and power virtual agents.After reading Dynamics 365 Essentials, you will have mastered the core functionality available in Dynamics 365 CE and model-driven applications, and will be able to set it up for a range of different business scenarios.What You Will LearnSet up the core standard features of Dynamics 365 CECreate model-driven apps within Dynamics 365 customized to specific business needsCustomize Dynamics 365 CE and leverage process automation functionality through the UIStudy the Common Data Service for AppsWho This Book Is For Consultants, business analysts, administrators, and project managers who are looking for more information about Dynamics 365
Dynamics in Logistics: Proceedings of the 7th International Conference LDIC 2020, Bremen, Germany (Lecture Notes in Logistics)
by Jürgen Pannek Herbert Kotzab Michael Freitag Hans-Dietrich HaasisSince 2007, the biennial International Conferences on Dynamics in Logistics (LDIC) offers researchers and practitioners from logistics, operations research, production, industrial and electrical engineering as well as from computer science an opportunity to meet and to discuss the latest developments in this particular research domain. From February 12th to 14th 2020 for the seventh time, LDIC 2020 is held in Bremen, Germany. Similar to its six predecessors, the Bremen Research Cluster for Dynamics in Logistics (LogDynamics) organizes this conference. The spectrum of topics reaches from the dynamic modeling, planning and control of processes over supply chain management and maritime logistics to innovative technologies and robotic applications for cyber-physical production and logistics systems. LDIC 2020 provides a forum for the discussion of advances in that matter. The conference program consists of three invited keynote speeches and 51 papers selected by a severe double-blind reviewing process. Within these proceedings all the papers are published. By this, the proceedings give an interdisciplinary outline on the state of the art of dynamics in logistics as well as identify challenges and solutions for logistics today and tomorrow.
Dynamism: The Values That Drive Innovation, Job Satisfaction, and Economic Growth
by Edmund S. Phelps Gylfi Zoega Raicho Bojilov Hian Teck HoonNobel Laureate Edmund Phelps and an international group of economists argue that economic health depends on the widespread presence of certain values, in particular individualism and self-expression. Nobel Laureate Edmund Phelps has long argued that the high level of innovation in the lead nations of the West was never a result of scientific discoveries plus entrepreneurship, as Schumpeter thought. Rather, modern values—particularly the individualism, vitalism, and self-expression prevailing among the people—fueled the dynamism needed for widespread, indigenous innovation. Yet finding links between nations’ values and their dynamism was a daunting task. Now, in Dynamism, Phelps and a trio of coauthors take it on. Phelps, Raicho Bojilov, Hian Teck Hoon, and Gylfi Zoega find evidence that differences in nations’ values matter—and quite a lot. It is no accident that the most innovative countries in the West were rich in values fueling dynamism. Nor is it an accident that economic dynamism in the United States, Britain, and France has suffered as state-centered and communitarian values have moved to the fore. The authors lay out their argument in three parts. In the first two, they extract from productivity data time series on indigenous innovation, then test the thesis on the link between values and innovation to find which values are positively and which are negatively linked. In the third part, they consider the effects of robots on innovation and wages, arguing that, even though many workers may be replaced rather than helped by robots, the long-term effects may be better than we have feared. Itself a significant display of creativity and innovation, Dynamism will stand as a key statement of the cultural preconditions for a healthy society and rewarding work.
E-Business and Telecommunications: 16th International Conference, ICETE 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers (Communications in Computer and Information Science #1247)
by Mohammad S. ObaidatThis book constitutes the refereed proceedings of the 16th International Joint Conference on E-Business and Telecommunications, ICETE 2019, held in Prague, Czech Republic, in July 2019.ICETE is a joint international conference integrating four major areas of knowledge that are divided into six corresponding conferences: International Conference on Data Communication Networking, DCNET; International Conference on E-Business, ICE-B; International Conference on Optical Communication Systems, OPTICS; International Conference on Security and Cryptography, SECRYPT; International Conference on Signal Processing and Multimedia, SIGMAP; International Conference on Wireless Information Systems, WINSYS. The 11 full papers presented in the volume were carefully reviewed and selected from the 166 submissions. The papers cover the following key areas of data communication networking, e-business, security and cryptography, signal processing and multimedia applications.
E-Democracy – Safeguarding Democracy and Human Rights in the Digital Age: 8th International Conference, e-Democracy 2019, Athens, Greece, December 12-13, 2019, Proceedings (Communications in Computer and Information Science #1111)
by Sokratis Katsikas Vasilios ZorkadisThis book constitutes the refereed proceedings of the 8th International Conference on E-Democracy, E-Democracy 2019, held in Athens, Greece, in December 2019.The 15 revised full papers presented were carefully selected from 27 submissions. The papers are organized in topical sections on rrivacy and data protection; e-government; e-voting and forensics; online social networks and "fake news".
E-Learning für Dummies (Für Dummies)
by Daniela WeberEgal, ob beim Unterrichten an der Uni, bei Weiterbildungen im Job oder bei der Arbeit von Trainern, ohne Lerninhalte im Internet ist dies kaum mehr vorstellbar. Erfahren Sie wie Sie Ihr Online-Angebot richtig erstellen. Daniela Weber erklärt Ihnen die Grundlagen des E-Learning und gibt Ihnen das richtige Handwerkszeug mit, um bewährte und innovative E-Learning-Konzepte erfolgreich und im Budget umzusetzen. Dabei erfahren Sie alles Wichtige von der Wahl der geeigneten Instrumente und Inhalte bis hin zur Implementierung Ihres E-Learning-Angebots. So gelingt Ihr Start in der Online-Lehre.
EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing: BDCC 2018 (EAI/Springer Innovations in Communication and Computing)
by Chow Chee Onn Anandakumar Haldorai Arulmurugan Ramu Sudha MohanramThis proceeding features papers discussing big data innovation for sustainable cognitive computing. The papers feature detail on cognitive computing and its self-learning systems that use data mining, pattern recognition and natural language processing (NLP) to mirror the way the human brain works. This international conference focuses on cognitive computing technologies, from knowledge representation techniques and natural language processing algorithms to dynamic learning approaches. Topics covered include Data Science for Cognitive Analysis, Real-Time Ubiquitous Data Science, Platform for Privacy Preserving Data Science, and Internet-Based Cognitive Platform. The EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing (BDCC 2018), took place on 13 – 15 December 2018 in Coimbatore, India.
EAI International Conference on Technology, Innovation, Entrepreneurship and Education: TIE'2018 (Lecture Notes in Electrical Engineering #532)
by David Crawford Angelica Reyes-Munoz Ping Zheng Vic Callaghan Tiina KymäläinenThis book presents the proceedings of the 2nd EAI International Conference on Technology, Innovation, Entrepreneurship and Education (TIE' 2018), which took place at Ravensbourne University London, London, UK, on September 4, 2018. The central theme of the conference is emerging technologies in relation to business, education, social and political needs that make modern society flourish. The proceedings feature papers from a cross-disciplinary audience that explore the process of creativity and innovation. The goal is that the various disciplines can learn from each other and see how they might benefit from the cross-fertilization of practices.
ECML PKDD 2020 Workshops: Workshops of the European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD 2020): SoGood 2020, PDFL 2020, MLCS 2020, NFMCP 2020, DINA 2020, EDML 2020, XKDD 2020 and INRA 2020, Ghent, Belgium, September 14–18, 2020, Proceedings (Communications in Computer and Information Science #1323)
by Peter Christen Annalisa Appice Donato Malerba Michelangelo Ceci Corrado Loglisci Giuseppe Manco Elio Masciari Zbigniew W. Ras Erich Schubert João Gama Riccardo Guidotti Anna Monreale Pedro M. Ferreira Ricard Gavaldà Michael Kamp Yamuna Krishnamurthy Rita P. Ribeiro Albrecht Zimmermann Jon Atle Gulla Arthur Zimek Przemyslaw Biecek Irena Koprinska Luiza Antonie Özlem Özgöbek Linara Adilova Ibéria Medeiros Eirini Ntoutsi Salvatore Rinzivillo Benjamin Kille Andreas LommatzschThis volume constitutes the refereed proceedings of the workshops which complemented the 20th Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD, held in September 2020. Due to the COVID-19 pandemic the conference and workshops were held online. The 43 papers presented in volume were carefully reviewed and selected from numerous submissions. The volume presents the papers that have been accepted for the following workshops: 5th Workshop on Data Science for Social Good, SoGood 2020; Workshop on Parallel, Distributed and Federated Learning, PDFL 2020; Second Workshop on Machine Learning for Cybersecurity, MLCS 2020, 9th International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2020, Workshop on Data Integration and Applications, DINA 2020, Second Workshop on Evaluation and Experimental Design in Data Mining and Machine Learning, EDML 2020, Second International Workshop on eXplainable Knowledge Discovery in Data Mining, XKDD 2020; 8th International Workshop on News Recommendation and Analytics, INRA 2020. The papers from INRA 2020 are published open access and licensed under the terms of the Creative Commons Attribution 4.0 International License.
ELECTRIMACS 2019: Selected Papers - Volume 1 (Lecture Notes in Electrical Engineering #604)
by Giovanni Petrone Walter ZamboniThis book collects a selection of papers presented at ELECTRIMACS 2019, the 13th international conference of the IMACS TC1 Committee, held in Salerno, Italy, on 21st-23rd May 2019. The conference papers deal with modelling, simulation, analysis, control, power management, design optimization, identification and diagnostics in electrical power engineering. The main application fields include electric machines and electromagnetic devices, power electronics, transportation systems, smart grids, electric and hybrid vehicles, renewable energy systems, energy storage, batteries, supercapacitors and fuel cells, and wireless power transfer. The contributions included in Volume 1 are particularly focused on electrical engineering simulation aspects and innovative applications.
ELECTRIMACS 2019: Selected Papers - Volume 2 (Lecture Notes in Electrical Engineering #697)
by Giovanni Petrone Walter ZamboniThis book collects a selection of papers presented at ELECTRIMACS 2019 - The 13th international conference of the IMACS TC1 Committee, held in Salerno, Italy, on 21st-23rd May 2019. The conference papers deal with modelling, simulation, analysis, control, power management, design optimization, identification and diagnostics in electrical power engineering. The main application fields include electric machines and electromagnetic devices, power electronics, transportation systems, smart grids, electric and hybrid vehicles, renewable energy systems, energy storage, batteries, supercapacitors and fuel cells, wireless power transfer. The contributions included in Volume 2 are particularly focussed on methodological aspects, modelling and applied mathematics in the field of electrical engineering.
ETL with Azure Cookbook
by Christian Cote Matija LahThis book is for data warehouse architects, ETL developers, and anyone who wants to build scalable ETL applications in Azure. It is also relevant for those looking to extend their existing on-premises ETL applications to use big data and a variety of Azure services. If you want to migrate your existing on-premises solutions to the Azure cloud platform, you’ll find this book useful. Familiarity with SQL Server services is necessary.
Earth at Risk in the 21st Century: With a Foreword by Lourdes Arizpe Schlosser and a Preface by Hans Günter Brauch (Pioneers in Arts, Humanities, Science, Engineering, Practice #18)
by Úrsula Oswald SpringEarth at Risk in the 21st Century offers critical interdisciplinary reflections on peace, security, gender relations, migration and the environment, all of which are threatened by climate change, with women and children affected most. Deep-rooted gender discrimination is also a result of the destructive exploitation of natural resources and the pollution of soils, water, biota and air. In the Anthropocene, the management of human society and global resources has become unsustainable and has created multiple conflicts by increasing survival threats primarily for poor people in the Global South. Alternative approaches to peace and security, focusing from bottom-up on an engendered peace with sustainability, may help society and the environment to be managed in the highly fragile natural conditions of a ‘hothouse Earth’. Thus, the book explores systemic alternatives based on indigenous wisdom, gift economy and the economy of solidarity, in which an alternative cosmovision fosters mutual care between humankind and nature.• Special analysis of risks to the survival of humankind in the 21st century.• Interdisciplinary studies on peace, security, gender and environment related to global environmental and climate change.• Critical reflections on gender relations, peace, security, migration and the environment• Systematic analysis of food, water, health, energy security and its nexus.• Alternative proposals from the Global South with indigenous wisdom for saving Mother Earth.
Echtzeitsysteme: Grundlagen der Planung
by Dieter ZöbelOhne unmittelbar in Erscheinung zu treten, steuern Echtzeitsysteme heute Produktionsanlagen, assistieren beim Autofahren oder sichern die Qualität der Sprachübertragung in weltweiten Netzen. Sie greifen in technische Prozesse ein, um sie zum richtigen Zeitpunkt zu den richtigen Aktionen zu bewegen. Das Lehrbuch beschreibt Echtzeitsysteme aus der Sicht der Informatik mit dem Schwerpunkt Real-time Scheduling. Es richtet sich an Studierende der Informatik und Wirtschaftsinformatik. Zahlreiche Aufgaben mit Lösungen helfen, den Stoff zu vertiefen.
Economic and Policy Implications of Artificial Intelligence (Studies in Systems, Decision and Control #288)
by Domenico Marino Melchiorre A. MonacaThis book presents original research articles addressing various aspects of artificial intelligence as applied to economics, law, management and optimization. The topics discussed include economics, policies, finance, law, resource allocation strategies and information technology. Combining the input of contributing professors and researchers from Italian and international universities, the book will be of interest to students, researchers and practitioners, as well as members of the general public interested in the economic and policy implications of artificial intelligence.
Economics of Grids, Clouds, Systems, and Services: 17th International Conference, GECON 2020, Izola, Slovenia, September 15–17, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12441)
by Jörn Altmann José Ángel Bañares Karim Djemame Bruno Tuffin Orna Agmon Ben-Yehuda Vlado StankovskiThis book constitutes the refereed proceedings of the 17th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2020, held in Izola, Slovenia, in September 2020. Due to COVID-19 pandemic the conference was held virtually by the University of Ljubljana. The 11 full papers and 9 short papers presented in this book were carefully reviewed and selected from 40 submissions. The papers are structured in selected topics, namely: Smartness in Distributed Systems; Decentralizing Clouds to Deliver Intelligence at the Edge; Digital Infrastructures for Pandemic Response and Countermeasures; Dependability and Sustainability; Economic Computing and Storage; Poster Session.
Edge AI: Convergence of Edge Computing and Artificial Intelligence
by Dusit Niyato Xu Chen Xiaofei Wang Victor C. Leung Yiwen Han Xueqiang YanAs an important enabler for changing people’s lives, advances in artificial intelligence (AI)-based applications and services are on the rise, despite being hindered by efficiency and latency issues. By focusing on deep learning as the most representative technique of AI, this book provides a comprehensive overview of how AI services are being applied to the network edge near the data sources, and demonstrates how AI and edge computing can be mutually beneficial. To do so, it introduces and discusses: 1) edge intelligence and intelligent edge; and 2) their implementation methods and enabling technologies, namely AI training and inference in the customized edge computing framework. Gathering essential information previously scattered across the communication, networking, and AI areas, the book can help readers to understand the connections between key enabling technologies, e.g. a) AI applications in edge; b) AI inference in edge; c) AI training for edge; d) edge computing for AI; and e) using AI to optimize edge. After identifying these five aspects, which are essential for the fusion of edge computing and AI, it discusses current challenges and outlines future trends in achieving more pervasive and fine-grained intelligence with the aid of edge computing.
Edge Computing – EDGE 2020: 4th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings (Lecture Notes in Computer Science #12407)
by Liang-Jie Zhang Jinpeng Wei Ajay Katangur Shih-Chun Lin Shuhui YangThis book constitutes the proceedings of the International Conference on Edge Computing, EDGE 2020, held virtually as part of SCF 2020, in Honolulu, HI, USA, in September 2020. The 7 full and 2 short papers presented in this volume were carefully reviewed and selected from 13 submissions.The conference proceeding EDGE 2020 presents the latest fundamental advances in the state of the art and practice of edge computing, identify emerging research topics, and define the future of edge computing.
Education and Mobilities: Ideas, People and Technologies. Proceedings of the 6th BNU/UCL IOE International Conference in Education (Perspectives on Rethinking and Reforming Education)
by Xudong Zhu Mang Li Qiang Liu Hugh Starkey Jiayong LiThis book gathers selected original papers presented at the Sixth Beijing Normal University - University College London, Institute of Education International Conference in Education, a biennial event organised in partnership between this two universities. Readers will find a wealth of papers and reports on research involving schools and the initial and professional development of teachers, revealing links between research, policy and practice, while also analyzing key themes in education, including public goals and policies, pedagogy, curricula, organisation, resources and technologies, and institutional effectiveness. An essential guide for anyone who wishes to understand the main issues involved in mobilities of ideas, people and technology in the field of education, the book offers an extensive introduction, and can also be used as a resource for empirical and conceptual research into related issues.