الصفحة 7
الصفحة 7
Logic for Programming, Artificial Intelligence, and Reasoning ; Vol. 3452 : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th - ternational Workshop on the Implementation of Logics (organized by Stephan Schulz and Boris Konev) and the Workshop on Analytic Proof Systems (or- nized by Matthias Baaz). The call for papers attracted 77 paper submissions, each of which was - viewed by at least three expert reviewers. The ?nal decisions on the papers were taken during an electronic Program Committee meeting held on the Internet. The Internet-based submission, reviewing, and discussion software EasyChair, provided by the second PC co-chair, supported each stage of the reviewing p- cess.
Knowledge Management for Health Care Procedures ; From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers
The incursion of information and communication technologies (ICT) in health care entails evident bene?ts at the levels of security and efciency that improve not only the quality of life of the patients, but also the quality of the work of the health care professionals and the costs of national health care systems. Leaving research approaches aside, the analysis of ICT in health care shows an evo- tion from the initial interest in representing and storing health care data (i. e. , electronic health care records) to the current interest of having remote access to electronic health care systems, as for example HL7 initiatives or telemedicine. This sometimes imperceptible evolution can be interpreted as a new step of the progress path of health care informatics.
Issues in Multi-Agent Systems : The AgentCities.ES Experience
The purpose of this book is to present current status of this technology by looking at its application in different domains, such as electronic markets, e-tourism, ambience intelligence, and complex system analysis.It starts by discussing software engineering issues for the development of multi-agent systems, how much it costs to build a multi-agent system, and which methods and tools are currently available. Next chapters present some of the most relevant aspects that are considered for the development of multi-agent systems.
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.
Computational and Ambient Intelligence ; 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings
This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, fuzzy logic and evo- tionary systems).These new computational techniques are used in applications that try to bring a new situation of well-being to the user. The conjunction of a more and more miniaturized hardware together with the growing computational intelligence embodied in this hardware leads us towards fully integrated embedded systems-on- chip and opens the door for truly ubiquitous electronics.
Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.
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 process management Workshops ; Vol. 3812 : BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. Revised Selected Papers
Six parallel Business Process Management workshops were held on September 5th, 2005,The topics of the workshops ranged from fundamental process modeling primitives to the recently emerged field of Web service choreography and orchestration, rep- sented in the “Workshop on Business Processes and Services” and the “Workshop on Web Service Choreography and Orchestration;” a topic which intersects the research fields of business process management and Web services.
Brain thoughts recognition
Humans controlling machines with their minds may sound like something from a scifi movie, but it’s becoming a reality through brain-computer interfaces BCI. Where BCI technology allows a human brain and an external device to talk to each other—to exchange signals. It gives humans the ability to directly control machines, without the physical constraints of the body. There are two ways to implement the BCI: Noninvasive tools often use sensors applied on or near the head to track and record brain activity, or Invasive BCI would require surgery. Electronic devices would need to be implanted beneath the skull, directly into the brain, to target specific sets of neurons. In order to implement a non-invasive BCI in a mobile phone, this study developed a mobile application to help paralyzed people who do not have the ability to use their phones to spend their basic daily needs, such as using the keyboard and interacting with PDF, etc.
Boosting Collaborative Networks 4.0 ; 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November 23–25, 2020, Proceedings
This book constitutes the refereed proceedings of the 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, held in Valencia, Spain, in November 2020. The conference was held virtually. The 53 full papers were carefully reviewed and selected from 135 submissions. They provide a comprehensive overview of major challenges and recent advances in various domains related to the digital transformation and collaborative networks and their applications with a strong focus on the following areas related to the main theme of the conference: collaborative business ecosystems; collaborative business models; collaboration platform; data and knowledge services; blockchain and knowledge graphs; maintenance, compliance and liability; digital transformation; skills for organizations of the future
Biomedical data mining for information retrieval : Methodologies, techniques, and applications
Discusses data mining, biomedical image processing, information retrieval with broad coverage of basic scientific applications. covers the topic of mining biomedical text, images and visual features towards information retrieval. Biomedical and health informatics is an emerging field of research at the intersection of information science, computer science, and healthcare and brings tremendous opportunities and challenges due to easily available and abundant biomedical data for further analysis. The aim of healthcare informatics is to ensure the high-quality, efficient healthcare, better treatment and quality of life by analyzing biomedical and healthcare data including patient’s data, electronic health records (EHRs) and lifestyle. Previously, it was a common requirement to have a domain expert to develop a model for biomedical or healthcare; however, recent advancements in representation learning algorithms allows us to automatically to develop the model. Biomedical image mining, a novel research area, due to the vast amount of available biomedical images, increasingly generates and stores digitally.
Bioactive Conformation I
This series presents critical reviews of the present position and future trends in modern chemical research. It contains short and concise reports on chemistry, each written by the world renowned experts – it is still valid and useful after 5 or 10 years. More information as well as the electronic version of the whole content available at: springerlink.com. The book will appeal to scientists and practitioners in the mentioned fields and in industry.
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.
Azaheterocycles Based on -, ß-Unsaturated Carbonyls
Devoted to heterocyclizations of aliphatic and aromatic, -unsaturated carbonyls with various binucleophiles leading to three-, five-, six and seven-membered partially hydrogenated nitrogen-containing heterocycles. During the last decade interest in these classes of organic c- pounds has been experiencing a scientific renaissance owing to their significant role in biological processes in living cells and diverse effects on physiological activities. In addition, such compounds are also more prevalent from the vi- point of ''classical'' problems of organic chemistry, among them reactivity, chemo- and regioselectivity, tautomerism, conformational analysis and features of their electronic structure. The character of these problems in the case of partially hydrogenated heterocycles differs sufficiently from that for hetero- omatized and perhydrogenated heterocyclic compounds and investigations in this field very often lead to interesting and unusual results. Extensively characterized cyclocondensations of, -unsaturated carbonyls, their synthetic equivalents and their precursors are the most widespread, facile and generally valid pathway to dihydroazaheterocycles.
Axial flux permanent magnet brushless machines
This book deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their own research results, as well as significant research contributions made by others.
Automotive software - connected services in mobile networks ; 1st Automotive software workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers .
Attendnce system during covid-19
Authentication system has become a hot topic in the field of security, one of the most interested methods of authentication systems is the radio frequency identity (RFID) which is used in this project to build a smart record attendance system that contains many features, one of it to determine whether the student is wearing a mask or not by using Deep Learning algorithms, another feature is the student's temperature measurement through an electronic sensor. The results obtained are processed and stored by the processing unit which is the Raspberry pi then display the data on a mobile application.
Artificial immune systems ; 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007, Proceedings
This book contains sections on search and optimization, classification and clustering, anomaly detection and negative selection, robotics, control and electronics. Modeling papers, conceptual papers, and technical papers and general applications are also included.
Applied cryptography and network security ; 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I
The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications.
