الصفحة 62
الصفحة 62
Bio-inspired computational intelligence and applications ; International conference on life system modeling, and simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings
It covers both micro and macro c- ponents ranging from cells, tissues and organs across to organisms and ecologic niches. These interact and evolve to produce an overall complex system whose beh- ior is difficult to comprehend and predict.The arrival of the 21st century has been marked by a resurgence of research interest both in arriving at a systems-level und- standing of biology and in applying such knowledge in complex real-world appli- tions. Consequently, computational methods and intelligence in systems, biology, as well as bio-inspired computational intelligence, have emerged as key drivers for new computational methods. For this reason papers dealing with theory, techniques and real-world applications relating to these two themes were especially solicited.
Biodiversity in Enclosed Seas and Artificial Marine Habitats ; Proceedings of the 39th European Marine Biology Symposium, held in Genoa, Italy, 21-24 July 2004
The main themes of the Symposium were biodiversity in enclosed and semi-enclosed seas and artificial habitats, and the restoration of degraded systems. These themes are highly relevant today both from a basic scientific point of view and from an applied approach. The papers dealing with the first theme represent current research and concerns about marine biodiversity in enclosed seas and will have wide appeal to all those interested in understanding and preserving the biodiversity of the seas and in particular of the Mediterranean and Black Seas. The papers in the second theme represent a synthesis of up-to-date knowledge on artificial habitats and how they can contribute to protection of coastal marine ecosystems, to enhancement of species diversity and biological resources and to restoration of degraded marine environments.
Bioactive Marine Natural Products
Bioactive Marine Natural Products is the first book available that covers all aspects of bioactive marine natural products. It fills the void in the literature for bioactive marine natural products. The book covers various aspects of marine natural products and it is hoped that all the major classes of bioactive compounds are included. Different classes of marine organisms and the separation and isolation techniques are discussed. The chemistry and biology of marine toxins, peptides, alkaloids, nucleosides and prostanoids are discussed in detail. Biological, toxicological and clinical evaluations are also dealt with to ensure that the book may be adopted at any stage by any practicing organic chemist or biologist, working in academia or in R&D divisions of pharmaceutical companies. Each chapter in the book includes an abstract to highlight the major points discussed in the text and concluding remarks are given. References to books, monographs, review articles and original papers are provided at the end of each chapter.
Big Data in Context : Legal, Social and Technological Insights
Sheds new light on a selection of big data scenarios from an interdisciplinary perspective. It features legal, sociological and economic approaches to fundamental big data topics such as privacy, data quality and the ECJ’s Safe Harbor decision on the one hand, and practical applications such as smart cars, wearables and web tracking on the other. Addressing the interests of researchers and practitioners alike, it provides a comprehensive overview of and introduction to the emerging challenges regarding big data.All contributions are based on papers submitted in connection with ABIDA (Assessing Big Data), an interdisciplinary research project exploring the societal aspects of big data and funded by the German Federal Ministry of Education and Research.
Big Data – BigData 2020; 9th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings
Constitutes the proceedings of the 9th International Conference on Big Data, BigData 2020, held as part of SCF 2020, during September 18-20, 2020. The conference was planned to take place in Honolulu, HI, USA and was changed to a virtual format due to the COVID-19 pandemic. The 16 full and 3 short papers presented were carefully reviewed and selected from 52 submissions. The topics covered are Big Data Architecture, Big Data Modeling, Big Data As A Service, Big Data for Vertical Industries (Government, Healthcare, etc.), Big Data Analytics, Big Data Toolkits, Big Data Open Platforms, Economic Analysis, Big Data for Enterprise Transformation, Big Data in Business Performance Management, Big Data for Business Model Innovations and Analytics, Big Data in Enterprise Management Models and Practices, Big Data in Government Management Models and Practices, and Big Data in Smart Planet Solutions.
Beyond knowledge : The legacy of competence : Meaningful computer-based learning environments
The edited and peer reviewed volume presents selected papers of the conference "Beyond knowlegde: the legacy of competence" It reflects the current state-of-the-art work of scholars worldwide within the area of learning and instruction with computers. Mainly, areas of computer-based learning environments supporting competence-focused knowledge acquisition but also foundational scientific work are addressed. More specific, contents cover cognitive processes in hypermedia and multimedia learning, social issues in computer-supported collaborative learning, motivation and emotion in Blended Learning and e-Learning.
Beetle conservation
Interest in beetle conservation has long been evident, with many papers treating these abundant, ecologically important and popular insects. However, this issue of Journal of Insect Conservation is the first to be dedicated entirely to beetles, and contains a number of papers, predominantly from outside western Europe, to demonstrate the variety and scope of problems and conservation concerns that surround these insects. A short introductory perspective is followed by eight original contributions, in which beetles from many parts of the world are considered, and in which some major threats to their wellbeing are evaluated.
Balancing Agility and Formalism in Software Engineering ; 2nd IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007.
Bacteriocins : Ecology and Evolution
Microbes produce an extraordinary array of defense systems. These include bacteriocins, a class of antimicrobial molecules with narrow killing spectra, produced by bacteria. The book describes the diversity and ecological role of bacteriocins of Gram-positive and Gram-negative bacteria, presenting a new classification scheme for the former and a state-of-the-art look at the role of bacteriocins in bacterial communication. It discusses the molecular evolution of colicins and colicin-like bacteriocins, and provides a contemporary overview of archaeocins, bacteriocin-like antimicrobials produced by archaebacteria. Furthermore, various modeling (in silico) studies elucidate the role of bacteriocins in microbial community dynamics and fitness, delving into rock-paper-scissors competition and the counter-intuitive survival of the weakest. The book makes compelling reading for a multi-faceted scientific audience, including those working in the fields of biodiversity and biotechnology, notably in the human and animal health domain.
Bacterial resistance to disinfectants
Bacterial resistance to disinfection is an escalating concern within healthcare facilities, as it poses a significant threat to patient safety and infection control. This research paper aims to explore the various mechanisms underlying bacterial resistance to disinfection, including intrinsic and acquired resistance, as well as the phenomenon of cross-resistance to antibiotic which poses a serious threat worldwide...
B 2007 : Formal Specification and Development in B ; 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city of Besan¸ con in the east of France. All the submitted papers in these proceedings were peer reviewed by at least three reviewers drawn from the B committee, depending on the subject matter of the paper. The authorsof the papersforB 2007werefrom Australia,Canada, Finland, Germany, France, Switzerland, and the UK. The conference featured a rangeof contributions by distinguished invited speakers drawn from both ind- try and academia.
Autonomous Robots and Agents
This book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. Challenges faced in the real world to accomplish complex tasks, which require collaborative efforts, and methods to overcome them, are detailed. Several informative articles deal with navigation, localization and mapping of mobile robots, a problem that engineers and researchers are grappling with all the time.This edited volume is targeted to present the latest state-of-the-art methodologies in Robotics. It is a compilation of the extended versions of the very best papers selected from the many that were presented at the 3rd International Conference on Autonomous Robots and Agents (ICARA 2006) which was held at Palmerston North, New Zealand from 11-14 December, 2006. Scientists and engineers who work with mobile robots will find this book very useful and stimulating.
Autonomous intelligent systems : Agents and data mining ; International workshop, AIS-ADM 2005
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and Data Mining, AIS-ADM 2005, held in St. Petersburg, Russia in June 2005. The 17 revised full papers presented together with 5 invited papers and the abstract of an invited talk were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on agent-based data mining issues, ontologies and Web mining, and applications and case studies.
Autonomic communication ; Vol. 3854 : 2nd International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers
The Second IFIP Workshop on Autonomic Communication (WAC 2005) took place on October 2–5, 2005, IFIP TC6 provided scientific sponsorship through Working Groups IFIP WG6. 6 (Management of Networks and Distributed Systems) and IFIP WG6. 3 (Performance of Communication Systems). The workshop was organized at a time when the – yet to be well defined – field of autonomic communication (AC) is attracting the interest of both the scientific community and the research funding organizations. The latter is manifested, on one hand, by the numerous recent relevant research exploratory forums, workshop panels, preliminary forward-looking position papers, research outlooks and frameworks and, on the other hand, by the commitment of the FET program of the European Commission in Europe to funding long-term research in this area for the next four years.
Autonomic communication ; Vol. 3457 ; 1st International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop was to discuss Autonomic Communication—a new communication paradigm to assist the design of the next-generation n- works. WAC 2004 was explicitly focused on the principles that help to achieve purposeful behavior on top of self-organization (self-management, self-healing, self-awareness, etc. ). The workshop intended to derive these common principles from submissions that study network element’s autonomic behavior exposed by innovative (cross-layer optimized, context-aware, and securely programmable) protocol stack (or its middleware emulations) in its interaction with numerous, often dynamic network groups and communities. The goals were to understand how autonomic behaviors are learned, in?uenced or changed, and how, in turn, these a?ect other elements, groups and the network. Panel reports were compiled by panel moderators and conclude this volume.
Autonomic and Trusted Computing ; 3rd International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ATC 2006, held in Wuhan, China in September 2006. The 57 revised full papers presented together with two keynotes were carefully reviewed and selected from 208 submissions. The papers are organized in topical sections.
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 .
Automatic program development : A tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
Automated technology for verification and analysis ; 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers.
Automated technology for verification and analysis ; 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
