الصفحة 14
الصفحة 14
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge the system needs to know. This description, called the conceptual schema, is necessary in order to develop an information system.textbook explains in detail the principles of conceptual modeling independently from particular methods and languages and shows how to apply them in real-world projects. It covers all aspects of the engineering process from structural modeling over behavioral modeling to meta-modeling, and completes the presentation with an extensive case study based on the osCommerce system, an online store-management software program freely available under the GNU General Public License. His presentation is based on well-known industry standards like UML and OCL as a particular conceptual modeling language, yet also delivers the basics of the formal logical language background.
Conceptual density functional theory : Towards a new chemical reactivity theory
This two-volume reference book shows how conceptual density functional theory can reconcile empirical observations within silico calculations using density functional theory, molecular orbital theory, and valence bond theory. The ability to predict properties like electronegativity, acidity/basicity, strong covalent and weak intermolecular interactions as well as chemical reactivity makes DFT directly applicable to almost all problems in applied chemistry, from synthetic chemistry to catalyst design and materials characterization.
Concepts in pharmaceutical biotechnology and drug development
Provides comprehensive coverage of the development of new pharmaceuticals and the enhancement of existing ones. It offers a comprehensive understanding of pharmaceutical biotechnology, including its underlying principles and practical applications from an industrial standpoint. While introducing the roles and applications of biotechnology in drug design and development, the book describes how developments in other fields, like genomics, proteomics, and high-throughput screening, have facilitated the discovery of novel therapeutic targets and drug development methods. It included concepts that are essential to biotechnology and apply to protein therapies. And provides a thorough overview of the ways in which biotechnology influences drug development, production, and regulation, and is a valuable resource for those seeking to enhance their understanding in this area.
Concepts and Semantics of Programming Languages 1 : A Semantical Approach with OCaml and Python
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. It is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects.
Computer Network Security ; Vol. 3685
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St. Petersburg, Russia, 2005. The 1st and the 2nd International Workshops on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS 2001 and MMM-ACNS 2003), hosted by the St. Petersburg Institute for Informatics and Automation, demonstrated the keen interest of the international research community in the subject area. It was recognized that conducting a biannual series of such workshops in St. Petersburg stimulates fruitful exchanges between the di?erent schools of thought, facilitates the dissemination of new ideas and promotesthespirit of cooperationbetweenresearchersontheinternationalscale. MMM-ACNS 2005 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks.
Computer Algebra Recipes : An Introductory Guide to the Mathematical Models of Science
Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students and researchers work through mathematical models more efficiently and with fewer errors than with pencil and paper, they can also easily explore, both analytically and numerically, more complex and computationally intensive models. Aimed at science and engineering undergraduates at the sophomore/junior level, this introductory guide to the mathematical models of science is filled with examples from a wide variety of disciplines, including biology, economics, medicine, engineering, game theory, mathematics, physics, and chemistry.
Computational methods in systems biology ; Vol. 3082 ; International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems for formalisms, modeling issues and implementation issues in systems biology. The main motivation for CMBSlib is to stimulate research on the formal modeling of biological systems, by facilitating the exchange of formal models between researchers, and by providing a forum of comparison and validation of not only models, but also modeling formalisms and implementations. Unlike a standardization effort, CMBSlib welcomes the most exotic formalisms and models provided they attack the modeling of well documented biological systems. Models of biological systems written in any referenced formalism can be submitted to CMBSlib. No special format or standard is required. We discuss the advantages of and problems encountered in building such a library, give an example of typical entry in the library, and most of all we invite the community to become active contributors to CMBSlib.
Computational logic in multi-agent systems ; Vol. 3487 ; 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.
Computational linguistics and intelligent text processing ; Vol. 3406 ; 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2005, held in Mexico City, Mexico in February 2005. An approach that involves natural language analysis techniques for the treatment of software system functional requirements is described in this book. This approach is used as the basis for a process developed to generate sequence diagrams automatically from the textual specification of use cases. This facility has been integrated in the Requirements Engineering Phase of OO-Method, an automatic production environment of software. For this purpose, a translator that is based on natural language parser is used. The translator provides grammatical information to each use case sentence and it identifies the corresponding interaction. The automatic transformation is conceived and specified following an orientation that is based on models and patterns. The results of the validation of the transformation patterns are presented.
Computational intelligence in information assurance and security
The global economic infrastructure is becoming increasingly dependent upon information technology, with computer and communication technology being essential and vital components of Government facilities, power plant systems, medical infrastructures, financial centers and military installations to name a few. Finding effective ways to protect information systems, networks and sensitive data within the critical information infrastructure is challenging even with the most advanced technology and trained professionals. This volume provides the academic and industrial community with a medium for presenting original research and applications related to information assurance and security using computational intelligence techniques. The included chapters communicate current research on information assurance and security regarding both the theoretical and methodological aspects, as well as various applications in solving real world information security problems using computational intelligence.
Computational intelligence for agent-based systems
In these last years the digital technology explosion has spawned so many new lifestyle models that the boundaries between "real" and "digital" are fiercely debated. This scenario has deeply changed the viewpoint about computer applications: computers become smaller, cheapest and hugely distributed in wired or unwired networks, applications become so flexible and intelligent as to tailor its communication facilities in order to increase the usability of the system. Such data-intensive, unstructured spaces featured by minimal or no centralized control flow, present a challenge for traditional methods of analysis, design and integration of advanced, distributed and intelligent computer systems. Within this challenge, an important role is played by two important research areas : Fuzzy Technology, thanks to its ability to exploit the tolerance for imprecision to achieve tractability and Agent Technology, thanks to its nature to employ agent-wise communities to carry out complex goals by means of smart interaction, cooperation, and pro-activeness.
Computational genetics and genomics : Tools for understanding disease
The authors introduce a new computational approach that makes it possible to identify the genetic basis for differences in physiological or pathological responses among inbred mouse strains, thus facilitating more rapid genetic discovery
Computational Cognitive Modeling and Linguistic Theory
This book introduces a general framework that allows natural language researchers to enhance existing competence theories with fully specified performance and processing components. Gradually developing increasingly complex and cognitively realistic competence-performance models, it provides running code for these models and shows how to fit them to real-time experimental data. This computational cognitive modeling approach opens up exciting new directions for research in formal semantics, and linguistics more generally, and offers new ways of (re)connecting semantics and the broader field of cognitive science.
Combinatorial optimization and applications ; 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings
This volume constitutes the proceedings of the 14th International Conference on Combinatorial Optimization and Applications, COCOA 2020, held in Dallas, TX, USA, in December 2020. The 55 full papers presented in this volume were carefully reviewed and selected from 104 submissions. The papers are grouped into the following topics: Approximation Algorithms; Scheduling; Network Optimization; Complexity and Logic; Search, Facility and Graphs; Geometric Problem; Sensors, Vehicles and Graphs; and Graph Problems.
Combinatorial Optimization : Theory and Algorithms
Puts special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It has arisen as the basis of several courses on combinatorial optimization and more special topics at graduate level. Since the complete book contains enough material for at least four semesters (4 hours a week), one usually selects material in a suitable way. The book contains complete but concise proofs, also for many deep results, some of which did not appear in a book before. Many very recent topics are covered as well, and many references are provided. Thus this book represents the state of the art of combinatorial optimization. This third edition contains a new chapter on facility location problems, an area which has been extremely active in the past few years. Furthermore there are several new sections and further material on various topics. New exercises and updates in the bibliography were added.
Color Atlas of Histopathology of the Cervix Uteri
The new edition of this atlas integrates all significant advances made in the past 15 years in molecular pathology, tumor virology, and genetics of cervical cancer. It emphasizes the importance of these advances in facilitating its pathological diagnosis and in op- mizing clinical management and prognosis.
Color atlas and text of histology
provide medical, dental, allied health, and biology students with a concise review of all of the major tissue classes and body systems. Consistent presentation of histologic plates comprising relevant concise text and photomicrographs facilitates understanding as well as review both for in-class and licensing examinations. Helpful explanatory text in each chapter includes Introductions, new Histophysiology sections, Clinical Considerations, and Summaries of Histological Organization. Numerous tables have also been added to make the material easier to grasp.
Collective Phenomena in Synchrotron Radiation Sources : Prediction, Diagnostics, Countermeasures
This book helps to dispel the notion that collective phenomena, which have become increasingly important in modern storage rings, are an obscure and inaccessible topic. Despite an emphasis on synchrotron light sources, the basic concepts presented here are valid for other facilities as well. Graduate students, scientists and engineers working in an accelerator environment will find this to be a systematic exposition of the principles behind collective instabilities and lifetime-limiting effects. Experimental methods to identify and characterize collective effects are also surveyed. Among other measures to improve the performance of a projected or existing facility, a detailed account of feedback control of instabilities is given.
Collaborating against child abuse : Exploring the Nordic Barnahus model
This edited collection explores the background and implementation of the Nordic Barnahus (or 'Children's House') model – recognised as one of the most important reforms related to children who are the victims of crime in the Nordic region. This book discusses both its potential to affect change and the challenges facing it. The model was introduced as a response to a growing recognition of the need for more integrated and child-centred services for children exposed to violence and sexual abuse. In the Barnahus structure, different professions work together to ensure that victimized children receive help and treatment and that their legal rights are met. This original study is organised into four broad themes: child-friendliness, support and treatment; the forensic child investigative interview; children’s rights perspectives; and interagency collaboration and professional autonomy.
Cold War Civil Defence in Western Europe : Sociotechnical Imaginaries of Survival and Preparedness
This edited collection brings together established and new perspectives on Cold War civil defence in Western Europe within a common analytical framework that also facilitates comparative and transnational dimensions. The current interest in creating disaster-resilient societies demands new histories of civil defence. Historical contextualization is essential in order to understand what is at stake in preparing, devising, and implementing forms of preparedness, protection, and security that are specifically targeted at societies and citizens. Applying the concept of sociotechnical imaginaries to civil defence history, the chapters of this volume cover a range of new themes, from technology and materiality to media, memory, and everyday experience.
