الصفحة 23
الصفحة 23
Cellular Automata and Discrete Complex Systems ; 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings
This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2020, held in Stockholm, Sweden, in August 2020. The workshop was held virtually. The 11 full papers presented in this book were carefully reviewed and selected from a total of 21 submissions. The topics of the conference include dynamical, topological, ergodic and algebraic aspects of CA and DCS, algorithmic and complexity issues, emergent properties, formal languages, symbolic dynamics, tilings, models of parallelism and distributed systems, timing schemes, synchronous versus asynchronous models, phenomenological descriptions, scientific modeling, and practical applications.
Categories for software engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. Rather than focus on issues at the level of computational models and semantics, it instead applies these tools to some of the problems facing the sophisticated software architect.
Canadian Semantic Web
This book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range of topics includes languages, tools and methodologies for the semantic Web, semantic Web-based ontology management and engineering, semantic Web services, practical applications of the semantic Web techniques, artificial intelligence methods and tools for the semantic Web, software agents on the semantic Web, visualization and modeling of the semantic Web. The goal of this book is to provide a state-of-the-art review of the research as well as to introduce topics of interest to experts.
Business process management ; Vol. 3649 ; 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings
This volume contains the proceedings of the 3rd International Conference on Business Process Management (BPM 2005), organized by LORIA in Nancy, France, 2005. This year, BPM included several innovations with respect to previous e- tions, most notably the addition of an industrial program and of co-located workshops. This was the logical result of the signi?cant (and still growing) - dustrial interest in the area and of the broadening of the research communities working on BPM topics, includ Information Systems Applications (incl. Internet) / Information Storage and Retrieval / User Interfaces and Human Computer Interaction / Computers and Society / Management of Computing and Information Systems / IT in Business
Business agility and information technology diffusion ; IFIP TC8 WG 8.6 International working Conference, May 8-11, 2005, Atlanta, Georgia, USA
Addresses issues related to business agility and the diffusion of Information Technology (IT). Success, even survival, in today's business environment has been made complex and difficult by technologically-based competitive pressure. One promising strategy is to be agile and ready to adapt quickly to changes in the environment or market. Such strategy takes shape as an agile software development, agile manufacturing, agile modeling and agile iterations. In contrast, successful IT diffusion is known to be a process that takes time and careful effort. Many IT projects that succeeded in developing a product have subsequently failed in changing the behavior of the target group when diffusion just didn't happen. Therefore this volume responds to the question: What is the relationship between agility and IT diffusion? The book's scope will cover information systems and technology issues, as well as organizational and managerial issues, related to agility and IT diffusion. The planned perspectives include topics such as diffusion of agile methods, enabling business agility with IT, creating agile environments that facilitate diffusion of IT, theories and frameworks for understanding diffusion and agility issues, best practices relating to business agility and IT diffusion, software process improvement and agility, diffusion studies of specific agile technologies, and impacts of diffusion of IT agile methods.
Brain and Human Body Modeling : Computational Human Modeling at EMBC 2018
This book describes modern applications of computational human modeling with specific emphasis in the areas of neurology and neuroelectromagnetics, depression and cancer treatments, radio-frequency studies and wireless communications. Special consideration is also given to the use of human modeling to the computational assessment of relevant regulatory and safety requirements. Readers working on applications that may expose human subjects to electromagnetic radiation will benefit from this book’s coverage of the latest developments in computational modelling and human phantom development to assess a given technology’s safety and efficacy in a timely manner.
Body Sensor Networks
While the problems of long-term stability and biocompatibility are being addressed, several promising prototypes are starting to emerge for managing patients with acute diabetes, for treatment of epilepsy and other debilitating neurological disorders and for monitoring of patients with chronic cardiac diseases. Despite the technological developments in sensing and monitoring devices, issues related to system integration, sensor miniaturization, low-power sensor interface circuitry design, wireless telemetric links and signal processing still have to be investigated.
Biometric User Authentication for IT Security : From Fundamentals to Handwriting
Biometric User Authentication for IT Security: From Fundamentals to Handwriting conveys general principals of passive (physiological trait like fingerprint, iris, face) and active (learned and trained behavior like voice, handwriting and gait) biometric recognition techniques to the reader. This professional book, unlike other publications in this area which concentrate on passive schemes, reflects a more comprehensive analysis of one particular active biometric technique: handwriting. Aspects which are thoroughly discussed include sensor characteristic dependency, attack scenarios, and the generation of cryptographic keys from handwriting.
Biometric Authentication ; International ECCV 2002 Workshop Copenhagen, Denmark, June 1, 2002 Proceedings
Biometric authentication refers to identifying an individual based on his or her distinguishing physiological and/or behavioral characteristics. It associates an individual with a previously determined identity based on that individual s appearance or behavior. Because many physiological or behavioral characteristics (biometric indicators) are distinctive to each person, biometric identifiers are inherently more reliable and more capable than knowledge-based (e.g., password) and token-based (e.g., a key) techniques in differentiating between an authorized person and a fraudulent impostor. For this reason, more and more organizations are looking to automated identity authentication systems to improve customer satisfaction, security, and operating efficiency as well as to save critical resources.
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.
Biology and mechanics of blood flows ; Part II : Mechanics and medical aspects
Biology and Mechanics of Blood Flows presents the basic knowledge and state-of-the-art techniques necessary to carry out investigations of the cardiovascular system using modeling and simulation. Part II of this two-volume sequence, Mechanics and Medical Aspects, refers to the extraction of input data at the macroscopic scale for modeling the cardiovascular system, and complements Part I, which focuses on nanoscopic and microscopic components and processes. This volume contains chapters on anatomy, physiology, continuum mechanics, as well as pathological changes in the vasculature walls including the heart and their treatments. Methods of numerical simulations are given and illustrated in particular by application to wall diseases. This authoritative book will appeal to any biologist, chemist, physicist, or applied mathematician interested in the functioning of the cardiovascular system.
Biology and mechanics of blood flows ; Part I : Biology
Biology and Mechanics of Blood Flows presents the basic knowledge and state-of-the-art techniques necessary to carry out investigations of the cardiovascular system using modeling and simulation. Part I of this two-volume sequence, Biology, addresses the nanoscopic and microscopic scales. The nanoscale corresponds to the scale of biochemical reaction cascades involved in cell adaptation to mechanical stresses among other stimuli. The microscale is the scale of stress-induced tissue remodeling associated with acute or chronic loadings. The cardiovascular system, like any physiological system, has a complicated three-dimensional structure and composition. Its time dependent behavior is regulated, and this complex system has many components.
Biology and Control Theory : Current Challenges
Creating some links between control feedback and biology modeling communities based on similarities in modeling, observing and perceiving alive structures, and analyzing interconnections between biological structures and subsystems was the main objective of this volume. The idea of this book was conceived in the context mentioned above with the objective to help in claiming many of the problems for control researchers, starting discussions and opening interactive debates between the control and biology communities, and, finally, to alert graduate students to the many interesting ideas at the frontier between control feedback theory and biology.
Biologically-Inspired Collaborative Computing ; IFIP 20th World Computer Congress, 2nd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8–9, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Biologically inspired cooperative computing ; IFIP 19th World Computer Congress, TC 10: 1st IFIP International Conference on biologically inspired cooperative computing, August 21-24, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction.
Biologically Inspired Approaches to Advanced Information Technology ; 2nd International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings
This book contains 30 articles and three abstracts of invited talks presented at The Second International Workshop on Biologically Inspired Approaches for Advanced Information Technology,The workshop is intended to provide an e?ective forum for original research results in the ?eld of bio-inspired approaches to advanced information technologies. It also serves to foster the connection between biological paradigms and solutions to building the next-generation information systems.
Biologically Inspired Algorithms for Financial Modelling
Then Part I provides a thorough guide to the various bioinspired methodologies – neural networks, evolutionary computing (particularly genetic algorithms and grammatical evolution), particle swarm and ant colony optimization, and immune systems. Part II brings the reader through the development of market trading systems. Finally, Part III examines real-world case studies where BIA methodologies are employed to construct trading systems in equity and foreign exchange markets, and for the prediction of corporate bond ratings and corporate failures.
Biological processes associated with impact events
The biological effects of asteroid and comet impacts have been widely viewed as primarily destructive. The role of an impactor in the K/T boundary extinctions has had a particularly important influence on thinking concerning the role of impacts in ecological and biological changes. th During the 10 and final workshop of the ESF IMPACT program during March 2003, we sought to investigate the wider aspects of the involvement of impact events in biological processes, including the beneficial role of these events from the prebiotic through to the ecosystem level. The ESF IMPACT programme (1998-2003) was an interdisciplinary effort that is aimed at understanding impact processes and their effects on the Earth environment, including environmental, geological and biological changes.
Biological Membrane Ion Channels : Dynamics, Structure, and Applications
Ion channels are biological nanotubes that are formed by membrane proteins. Because ion channels regulate all electrical activities in living cells, understanding their mechanisms at a molecular level is a fundamental problem in biology. This book deals with recent breakthroughs in ion-channel research that have been brought about by the combined effort of experimental biophysicists and computational physicists, who together are beginning to unravel the story of these exquisitely designed biomolecules. With chapters by leading experts.
Biological and medical data analysis ; Vol. 4345 : 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceeding
This book constitutes the refereed proceedings of the 7th International Symposium on Biological and Medical Data Analysis, ISBMDA 2006, held in Thessaloniki, Greece, December 2006. Coverage in this volume includes functional genomics, sequence analysis, biomedical models, information modeling, biomedical signal processing, biomedical image analysis, biomedical data analysis, as well as decision support systems and diagnostic tools.
