Author: Sebastian Gottwalt
Publisher: Springer
ISBN: 3319258761
Category : Business & Economics
Languages : en
Pages : 228
Book Description
This book constitutes the refereed proceedings of the 4th D-A-CH Conference on Energy Informatics, D-A-CH EI 2015, held in Karlsruhe, Germany, in November 2015.The 18 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on distributed energy sources and storage, smart meters and monitoring, research lab infrastructures, electric mobility, communication and security, and modeling and simulation.
Energy Informatics
Author: Sebastian Gottwalt
Publisher: Springer
ISBN: 3319258761
Category : Business & Economics
Languages : en
Pages : 228
Book Description
This book constitutes the refereed proceedings of the 4th D-A-CH Conference on Energy Informatics, D-A-CH EI 2015, held in Karlsruhe, Germany, in November 2015.The 18 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on distributed energy sources and storage, smart meters and monitoring, research lab infrastructures, electric mobility, communication and security, and modeling and simulation.
Publisher: Springer
ISBN: 3319258761
Category : Business & Economics
Languages : en
Pages : 228
Book Description
This book constitutes the refereed proceedings of the 4th D-A-CH Conference on Energy Informatics, D-A-CH EI 2015, held in Karlsruhe, Germany, in November 2015.The 18 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on distributed energy sources and storage, smart meters and monitoring, research lab infrastructures, electric mobility, communication and security, and modeling and simulation.
Proceedings of 2nd International Conference on Mathematical Modeling and Computational Science
Author: Sheng-Lung Peng
Publisher: Springer Nature
ISBN: 9811901821
Category : Technology & Engineering
Languages : en
Pages : 576
Book Description
The conference proceeding of ICMMCS 2021 presents most recent scientific and technological advances in the fields of engineering mathematics and computational science to strengthen the links in the scientific community. It is a collection of high-quality, peer-reviewed research papers presented at the Second International Conference on Mathematical Modeling and Computational Science (ICMMCS 2021), held online during October 29–30, 2021. The topics covered in the book are mathematical logic and foundations, numerical analysis, neural networks, fuzzy set theory, coding theory, higher algebra, number theory, graph theory and combinatory, computation in complex networks, calculus, differential educations and integration, application of soft computing, knowledge engineering, machine learning, artificial intelligence, big data and data analytics, high-performance computing, network and device security, Internet of Things (IoT).
Publisher: Springer Nature
ISBN: 9811901821
Category : Technology & Engineering
Languages : en
Pages : 576
Book Description
The conference proceeding of ICMMCS 2021 presents most recent scientific and technological advances in the fields of engineering mathematics and computational science to strengthen the links in the scientific community. It is a collection of high-quality, peer-reviewed research papers presented at the Second International Conference on Mathematical Modeling and Computational Science (ICMMCS 2021), held online during October 29–30, 2021. The topics covered in the book are mathematical logic and foundations, numerical analysis, neural networks, fuzzy set theory, coding theory, higher algebra, number theory, graph theory and combinatory, computation in complex networks, calculus, differential educations and integration, application of soft computing, knowledge engineering, machine learning, artificial intelligence, big data and data analytics, high-performance computing, network and device security, Internet of Things (IoT).
Proceedings of 4th International Conference in Software Engineering for Defence Applications
Author: Paolo Ciancarini
Publisher: Springer
ISBN: 3319278967
Category : Technology & Engineering
Languages : en
Pages : 326
Book Description
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2015, the 4th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in May 2015. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementing defence-related software development products and processes in a structured and supportable way.
Publisher: Springer
ISBN: 3319278967
Category : Technology & Engineering
Languages : en
Pages : 326
Book Description
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2015, the 4th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in May 2015. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementing defence-related software development products and processes in a structured and supportable way.
47th Annual Simulation Symposium (ANSS 2014)
Author: Andreas Tolk
Publisher:
ISBN: 9781632662132
Category : Computer simulation
Languages : en
Pages : 136
Book Description
Publisher:
ISBN: 9781632662132
Category : Computer simulation
Languages : en
Pages : 136
Book Description
Simulation Tools and Techniques
Author: Houbing Song
Publisher: Springer Nature
ISBN: 3030727955
Category : Mathematics
Languages : en
Pages : 780
Book Description
This two-volume set constitutes the refereed post-conference proceedings of the 12th International Conference on Simulation Tools and Techniques, SIMUTools 2020, held in Guiyang, China, in August 2020. Due to COVID-19 pandemic the conference was held virtually. The 125 revised full papers were carefully selected from 354 submissions. The papers focus on simulation methods, simulation techniques, simulation software, simulation performance, modeling formalisms, simulation verification and widely used frameworks.
Publisher: Springer Nature
ISBN: 3030727955
Category : Mathematics
Languages : en
Pages : 780
Book Description
This two-volume set constitutes the refereed post-conference proceedings of the 12th International Conference on Simulation Tools and Techniques, SIMUTools 2020, held in Guiyang, China, in August 2020. Due to COVID-19 pandemic the conference was held virtually. The 125 revised full papers were carefully selected from 354 submissions. The papers focus on simulation methods, simulation techniques, simulation software, simulation performance, modeling formalisms, simulation verification and widely used frameworks.
Intersections in Simulation and Gaming
Author: Anjum Naweed
Publisher: Springer
ISBN: 3319787950
Category : Computers
Languages : en
Pages : 419
Book Description
This book constitutes the refereed post-conference proceedings of the 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and the 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, held in Melbourne, VIC, Australia, in September 2016. The 28 revised full papers included in the volume were carefully reviewed and selected from 55 submissions. They are organized in the following topical sections: Making the grade; Come to think of it; From here to fidelity; The name of the game; and Ahead of the game.
Publisher: Springer
ISBN: 3319787950
Category : Computers
Languages : en
Pages : 419
Book Description
This book constitutes the refereed post-conference proceedings of the 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and the 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, held in Melbourne, VIC, Australia, in September 2016. The 28 revised full papers included in the volume were carefully reviewed and selected from 55 submissions. They are organized in the following topical sections: Making the grade; Come to think of it; From here to fidelity; The name of the game; and Ahead of the game.
Embedded Computer Systems: Architectures, Modeling, and Simulation
Author: Alex Orailoglu
Publisher: Springer Nature
ISBN: 3030609391
Category : Computers
Languages : en
Pages : 372
Book Description
This book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2020, held in Samos, Greece, in July 2020.* The 16 regular papers presented were carefully reviewed and selected from 35 submissions. In addition, 9 papers from two special sessions were included, which were organized on topics of current interest: innovative architectures for security and European projects on embedded and high performance computing for health applications. * The conference was held virtually due to the COVID-19 pandemic.
Publisher: Springer Nature
ISBN: 3030609391
Category : Computers
Languages : en
Pages : 372
Book Description
This book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2020, held in Samos, Greece, in July 2020.* The 16 regular papers presented were carefully reviewed and selected from 35 submissions. In addition, 9 papers from two special sessions were included, which were organized on topics of current interest: innovative architectures for security and European projects on embedded and high performance computing for health applications. * The conference was held virtually due to the COVID-19 pandemic.
PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022
Author: Alberto Griggio
Publisher: TU Wien Academic Press
ISBN: 3854480539
Category : Computers
Languages : en
Pages : 405
Book Description
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
Publisher: TU Wien Academic Press
ISBN: 3854480539
Category : Computers
Languages : en
Pages : 405
Book Description
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
Big Data Computing and Communications
Author: Yu Wang
Publisher: Springer
ISBN: 3319220470
Category : Computers
Languages : en
Pages : 517
Book Description
This book constitutes the proceedings of the First International Conference on Big Data Computing and Communications, BigCom 2015, held in Taiyuan, China, in August 2015. The 41 papers presented in this volume were carefully reviewed and selected from 74 submissions. They were organized in topical sections named: wireless communication and networks; database and big data; smart phone and sensing application; security and privacy; architecture and applications; sensor networks and RFID; social networks and recommendation; signal processing and pattern recognition; and routing and resource management.
Publisher: Springer
ISBN: 3319220470
Category : Computers
Languages : en
Pages : 517
Book Description
This book constitutes the proceedings of the First International Conference on Big Data Computing and Communications, BigCom 2015, held in Taiyuan, China, in August 2015. The 41 papers presented in this volume were carefully reviewed and selected from 74 submissions. They were organized in topical sections named: wireless communication and networks; database and big data; smart phone and sensing application; security and privacy; architecture and applications; sensor networks and RFID; social networks and recommendation; signal processing and pattern recognition; and routing and resource management.
Human-Computer Interaction: Users and Contexts
Author: Masaaki Kurosu
Publisher: Springer
ISBN: 3319210068
Category : Computers
Languages : en
Pages : 575
Book Description
The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences was carefully reviewed and selected from 4843 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers in LNCS 9171 are organized in topical sections on interaction and quality for the web and social media; HCI in business, industry and innovation; societal and cultural impact of technology; user studies.
Publisher: Springer
ISBN: 3319210068
Category : Computers
Languages : en
Pages : 575
Book Description
The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences was carefully reviewed and selected from 4843 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers in LNCS 9171 are organized in topical sections on interaction and quality for the web and social media; HCI in business, industry and innovation; societal and cultural impact of technology; user studies.