Page 8
Page 8
Leveraging applications of formal methods, verification and validation : Applications ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Knowledge and Civil Society
Focuses on the role of civil society in the creation, dissemination, and interpretation of knowledge in geographical contexts. It offers original, interdisciplinary and counterintuitive perspectives on civil society. The book includes reflections on civil and uncivil society, the role of civil society as a change agent, and on civil society perspectives of undone science. Conceptual approaches go beyond the tripartite division of public, private and civic sectors to propose new frameworks of civic networks and philanthropic fields, which take an inclusive view of the connectivity of civic agency across sectors.
ISSE/SECURE 2007 securing electronic business processes : Highlights of the information security solutions Europe/SECURE 2007 Conference
Presents the most interesting talks given at ISSE/SECURE 2007 - the forum for the interdisciplinary discussion of how to adequately secure electronic business processes. Adequate information security is one of the basic requirements of all electronic business processes. It is crucial for effective solutions that the possibilities offered by security technology can be integrated with the commercial requirements of the applications.
ISSE 2006 — Securing Electronic Busines Processes : Highlights of the Information Security Solutions Europe 2006 Conference
Presents the most interesting talks given at ISSE 2006 - the forum for the interdisciplinary discussion of how to adequately secure electronic business processes. The topics include: Smart Token and e-ID-Card Developments and their Application - Secure Computing and how it will change the way we trust computers - Risk Management and how to quantify security threats - Awareness raising, Data Protection and how we secure corporate information. Adequate information security is one of the basic requirements of all electronic business processes. It is crucial for effective solutions that the possibilities offered by security technology can be integrated with the commercial requirements of the applications. The reader may expect state-of-the-art: best papers of the Conference ISSE 2006.
Communications and Multimedia Security ; Vol. 175 ; 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Sept. 15-18, 2004, Windermere, The Lake District, United Kingdom
Communications and Multimedia Security is an essential reference for both academic and professional researchers in the fields of Communications and Multimedia Security. This state-of-the-art volume presents the proceedings of the Eighth Annual IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, September 2004, in Windermere, UK. The papers presented here represent the very latest developments in security research from leading people in the field. The papers explore a wide variety of subjects including privacy protection and trust negotiation, mobile security, applied cryptography, and security of communication protocols. Of special interest are several papers which addressed security in the Microsoft .Net architecture, and the threats that builders of web service applications need to be aware of. The papers were a result of research sponsored by Microsoft at five European University research centers. This collection will be important not only for multimedia security experts and researchers, but also for all teachers and administrators interested in communications security.
Climate-Smart Forestry in Mountain Regions
This book offers a cross-sectoral reference for both managers and scientists interested in climate-smart forestry, focusing on mountain regions. It provides a comprehensive analysis on forest issues, facilitating the implementation of climate objectives. CLIMO has provided scientific analysis on issues including criteria and indicators, growth dynamics, management prescriptions, long-term perspectives, monitoring technologies, economic impacts, and governance tools.
Climate-Smart Food
This book asks just how climate-smart our food really is. It follows an average day's worth of food and drink to see where it comes from, how far it travels, and the carbon price we all pay for it. From our breakfast tea and toast, through breaktime chocolate bar, to take-away supper, Dave Reay explores the weather extremes the world’s farmers are already dealing with, and what new threats climate change will bring. Readers will encounter heat waves and hurricanes, wildfires and deadly toxins, as well as some truly climate-smart solutions. In every case there are responses that could cut emissions while boosting resilience and livelihoods. Ultimately we are all in this together, our decisions on what food we buy and how we consume it send life-changing ripples right through the global web that is our food supply.
Climate Smart Agriculture : Building Resilience to Climate Change
"The book uses an economic lens to identify the main features of climate-smart agriculture (CSA), its likely impact, and the challenges associated with its implementation. This book offers tools and insights for a range of stakeholders to help meet these challenges in the many forms they are manifested."
Challenges and Solutions for Sustainable Smart City Development
Discusses advances in smart and sustainable development of smart environments. The authors discuss the challenges faced in developing sustainable smart applications and provide potential solutions. The solutions are aimed at improving reliability and security with the goal of affordability, safety, and durability. Topics include health care applications, sustainable smart transportation systems, intelligent sustainable wearable electronics, and sustainable smart building and alert systems. Authors are from both industry and academia and present research from around the world. Addresses problems and solutions for sustainable development of smart cities; Includes applications such as healthcare, transportation, wearables, security, and more ; Relevant for scientist and researchers working on real time smart city development.
Business partner management : Successfully managing external and internal business relationships
Provides a structured, industry-independent and at the same time practical insight into all types of business partnerships. Both relationships with external business partners and internal partnerships with colleagues and employees are considered in depth. The focus is on people as partner and individual with interests and goals. The comparison to private partnerships is quite intentional and illustrates the explanations. Findings from brain research, learning and cooperation are also included.
Building construction illustrated
A leading visual guide to the principles of building construction. Filled with rich illustrations and in-depth content by renowned author Francis D.K. Ching, it offers students and practicing professionals the information needed to understand concepts in residential and commercial construction, architecture, and structural engineering. Includes all new sections on resilient design; diagrids; modular foundation systems; smart façade types and systems; lighting sources and systems; and mass timber materials, cross laminated timber (CLT) and nail laminated timber (NLT) Revised to reflect that latest updates in codes and standards requirements: 2018 International Building Code (IBC), LEED v4, and CSI MasterFormat 2018 Includes updated information on sustainability and green building; insulation materials; stair uses; stoves and inserts; and fire-rated wall and floor assemblies
Brilliantguard : AI-powered healthcare prototype for mobile & automotive integration
Brilliantguard is an AI-powered healthcare and safety prototype designed to support individuals with special needs, the elderly users, and patients with chronic conditions such as alzheimer’s disease. The system integrates augmented reality (AR), an AI based chatbot, and bitcoin-based payments into a unified platform combining mobile apps, smartwatches, and automotive sensors. It enables real-time health monitoring, predictive alerts with preliminary health suggestions, medication reminders, initial fault detection, and geofencing-based tracking for alzheimer’s patients. Emergency alerts are automatically triggered in response to abnormal health readings or car crashes.
Blockchains For Network Security : Principles, technologies and applications
Blockchain technology is a powerful, cost-effective method for network security. Essentially, it is a decentralized ledger for storing all committed transactions in trustless environments by integrating several core technologies such as cryptographic hash, digital signature and distributed consensus mechanisms. Over the past few years, blockchain technology has been used in a variety of network interaction systems such as smart contracts, public services, Internet of Things (IoT), social networks, reputation systems and security and financial services. With its widespread adoption, there has been increased focus on utilizing blockchain technologies to address network security concerns and vulnerabilities as well as understanding real-world security implications.
Blockchain : Empowering Secure Data Sharing
The book explains the security architecture model and the practice of building data sharing from the blockchain infrastructure, allowing readers to understand the importance of data sharing security based on the blockchain framework, as well as the threats to security and privacy. Further, by presenting specific data sharing case studies, it offers insights into solving data security sharing problems in more practical fields. The book is intended for readers with a basic understanding of the blockchain infrastructure, consensus mechanisms, smart contracts, secure multiparty computing, homomorphic encryption and image retrieval technologies.
Blind smart helmet
The Smart Helmet for the Blind is a project aimed at providing solutions for the challenges faced by blind individuals in their daily lives. The problem of detecting objects, identifying obstacles and distances, knowing the current location, and using a mobile application is a common issue for blind people. To address these problems, the Smart Helmet project was created, utilizing advanced technology and artificial intelligence to provide real-time assistance to the wearer. The helmet is connected to a Raspberry Pi 4, which processes information from the helmet's cameras and AI algorithms to analyze and predict the surrounding environment for a blind person.
Biomimetics for architecture & design : Nature - analogies - technology
Provides the readers with a timely guide to the application of biomimetic principles in architecture and engineering design. As a result of a combined effort by two internationally recognized authorities, the biologist Werner Nachtigall and the architect Göran Pohl, the book describes the principles which can be used to compare nature and technology, and at the same time it presents detailed explanations and examples showing how biology can be used as a source of inspiration and “translated” in building and architectural solutions (biomimicry). Even though nature cannot be directly copied, the living world can provide architects and engineers with a wealth of analogues and inspirations for their own creative designs. But how can analysis of natural entities give rise to advanced and sustainable design? By reporting on the latest bionic design methods and using extensive artwork, the book guides readers through the field of nature-inspired architecture, offering an extraordinary resource for professional architects, engineers, designers and urban planners, as well as for university teachers, researchers and students.
BioMEMS and Biomedical Nanotechnology : Vol. I: Biological and Biomedical Nanotechnology
Abe Lee has been working on micro/ and nanotechnology for biomedical and biotech applications since 1992. His recent research focuses on the development of integrated micro and nano fluidic chip processors for the following applications: point-of-care diagnostics, "smart" nanomedicine for early detection and treatment, stem cell biology and therapeutics, the synthesis of novel and pure materials, and biosensors to detect environmental and terrorism threats. Jim Lee's research interest includes BioMEMS/NEMS, and polymer micro/nanotechnology. In the last 4 years, he has over 20 refereed journal publications, 2 book chapters, and 5 patents in these areas. He is now leading an NSF Nanoscale Science and Engineering Center for Affordable Nanoengineering of Polymer Biomedical Devices at OSU.
Biomaterials and engineering for implantology: in medicine and dentistry
Biomaterials are composed of metallic materials, ceramics, polymers, composites and hybrid materials. Biomaterials used in human beings require safety regulations, toxicity, allergic reaction, etc. When used as implantable materials their biological compatibility, biomechanical compatibility, and morphological compatibility must be acessed. This book explores the design and requirements of biomaterials for the use in implantology.
Big data-enabled internet of things
Covers analytical techniques for handling the huge amount of data generated by the Internet of Things, from architectures and platforms to security and privacy issues, applications, and challenges as well as future directions. The fields of Big Data and the Internet of Things (IoT) have seen tremendous advances, developments, and growth in recent years. The IoT is the inter-networking of connected smart devices, buildings, vehicles and other items which are embedded with electronics, software, sensors and actuators, and network connectivity that enable these objects to collect and exchange data. The IoT produces a lot of data. Big data describes very large and complex data sets that traditional data processing application software is inadequate to deal with, and the use of analytical methods to extract value from data. This edited book covers analytical techniques for handling the huge amount of data generated by the Internet of Things, from architectures and platforms to security and privacy issues, applications, and challenges as well as future directions.
Big Data Intelligence for Smart Applications
Presents the latest discoveries in the field of machine intelligence and big data Proposes many case studies and applications of computational and Big data Combines theory and practice so that readers of the few books (beginners or experts)
