الصفحة 14
الصفحة 14
Designing Intelligent Construction Projects
Readers will find: Illuminating case study material that highlights how change management methodologies, game theory, and collaborative contractual design can deliver results Strategies for achieving lean, viable, and digitally oriented construction leadership fit for the modern market Rigorous discussions of the current and potential future impact of digitization on construction firms
Designing human interface in speech technology
Designing Human Interface in Speech Technology bridges a gap between the needs of the technical engineer and cognitive researchers working in the multidisciplinary area of speech technology applications. The approach is systematic and the focus is on the utility of developing and designing speech related products. Included is coverage of topics such as neuroscience on the multimodal cortex, cognitive theories on multi-task performance, stress and workload, as well as human information process theory and ecological interface design theory for evaluating speech-related human-system interfaces.
Design of Embedded Control Systems : Models for Capacity Planning in Advanced Manufacturing Systems
A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book
Dependable software engineering : Theories, tools, and applications ; 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Deontic Logic in Computer Science ; 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON 2008, held in Luxembourg in July 2008.
Deontic Logic and Artificial Normative Systems ; 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12–14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science.
Deep structure, singularities, and computer vision ; 1st international workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, revised selected papers
Constitutes the refereed post-proceedings of the First International Workshop on Deep Structure, Singularities, and Computer Vision, DSSCV 2005, held in Maastricht. This book represents in understanding the relation between structural, topological information represented by singularities and metric information of signals, shapes, and colors.
Declarative programming for knowledge management ; 16th International conference on applications of declarative programming and knowledge management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers
Presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005,held in October 2005 at Waseda University, Fukuoka, Japan. These papers re?ect a snapshot of ongoing research and current app- cations in knowledge management and declarative programming.
Declarative agent languages and technologiesV ; 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007.
Declarative agent languages and technologies IV ; 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Japan in May 2006. This was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with one invited talk and three invited papers were carefully selected for inclusion in the book.
Declarative agent languages and technologies III ; 3rd International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology. Today it is still a challenge to develop techno- gies that can satisfy the requirements of complex agent systems. The design and development of multi-agent systems still calls for models and technologies that ensure predictability, enable feature discovery, allow for the veri?cation of properties, and guarantee ?exibility. Declarative approaches are potentially a valuable means for satisfying the needs of multi-agent system developers and for specifying multi-agent systems.
Declarative agent languages and technologies II ; 2nd international workshop, DALT 2004, New York, NY, USA, July 19, 2004, revised selected papers
Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced the hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT’s (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro?t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate ?exibility, heterogeneity and openness, and enable system veri?cation.
Decision Procedures : An Algorithmic Point of View
Concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.
Database Theory – ICDT 2007 ; 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings
The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive power of query languages, incompleteness, inconsistency, and uncertainty, XML schemas and typechecking, stream processing and sequential query processing, ranking, XML update and query, as well as query containment.
Database theory - ICDT 2005 ; 10th international conference, Edinburgh, UK, January 5-7, 2005, Proceedings
This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during January 5–7, 2005, in Edinburgh, UK. ICDT (http://alpha.luc.ac.be/~lucp1080/icdt/) has now a long tra- tion of international conferences, providing a biennial scienti?c forum for the communication of high-quality and innovative research results on theoretical - pects of all forms of database systems and database technology. The conference usually takes place in Europe, and has been held in Rome (1986), Bruges (1988), Paris (1990), Berlin (1992), Prague (1995), Delphi (1997), Jerusalem (1999), London (2001), and Siena (2003) so far. ICDT has merged with the Sym- sium on Mathematical Fundamentals of Database Systems (MFDBS), initiated in Dresden in 1987, and continued in Visegrad in 1989 and Rostock in 1991. ICDT had a two-stage submission process. First, 103 abstracts were subm- ted, which were followed a week later by 84 paper submissions. From these 84 submissions, the ICDT Program Committee selected 24 papers for presentation at the conference. Most of these papers were “extended abstracts” and preli- nary reports on work in progress. It is anticipated that most of these papers will appear in a more polished form in scienti?c journals.
Database Programming Languages ; 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001. Revised Papers
The papers here are organized in topical sections on semistructured data OL AP and data mining systems, schema integration, and index concurrency XML spatial databases user languages and rules.
Database and expert systems applications ; DEXA 2020 International workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14–17, 2020, Proceedings
This volume constitutes the refereed proceedings of the three workshops held at the 31st International Conference on Database and Expert Systems Applications, DEXA 2020, held in September 2020: The 11th International Workshop on Biological Knowledge Discovery from Data, BIOKDD 2020, the 4th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, IWCFS 2020, the 2nd International Workshop on Machine Learning and Knowledge Graphs, MLKgraphs2019. Due to the COVID-19 pandemic the conference and workshop were held virtually. The 10 papers were thoroughly reviewed and selected from 15 submissions, and discuss a range of topics including: knowledge discovery, biological data, cyber security, cyber-physical system, machine learning, knowledge graphs, information retriever, data base, and artificial intelligent.
Data Warehousing and Knowledge Discovery ; Vol.4081 ; 8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006, Proceedings
DaWaK aimed at providing the right and logical balance between data warehousing and knowledge discovery. In data warehousing the papers cover different research problems, such as advanced techniques in OLAP visuali- tion and multidimensional modelling, innovation of ETL processes and integration problems, materialized view optimization, very large data warehouse processing, data warehouses and data mining applications integration, data warehousing for real-life applications, e. g. , medical applications and spatial applications. In data mining and knowledge discovery, papers are focused on a variety of topics from data streams analysis and mining, ontology-based mining techniques, mining frequent item sets, clustering, association and classification, patterns and so on.
Data science, AI, and machine learning in drug development
The confluence of big data, AI, and machine learning has led to a paradigm shift in how innovative medicines are developed and healthcare delivered. To fully capitalize on these technological advances, it is essential to systematically harness data from diverse sources and leverage digital technologies and advanced analytics to enable data-driven decisions. Data science stands at a unique moment of opportunity to lead such a transformative change. Intended to be a single source of information, Data Science, AI, and Machine Learning in Drug Research and Development covers a wide range of topics on the changing landscape of drug R&D, emerging applications of big data, AI and machine learning in drug development, and the build of robust data science organizations to drive biopharmaceutical digital transformations
Data Mining in Bioinformatics
8. 1. 1 Protein Subcellular Location The life sciences have entered the post-genome era where the focus of biological research has shifted from genome sequences to protein functionality. Withwhole-genomedraftsofmouseandhumaninhand,scientistsareputting more and more e?ort into obtaining information about the entire proteome in a given cell type. The properties of a protein include its amino acid sequences, its expression levels under various developmental stages and in di?erent tissues, its3Dstructure and activesites,its functionalandstructural binding partners, and its subcellular location. Protein subcellular location is important for understanding protein function inside the cell. For example, the observation that the product of a gene is localized in mitochondria will support the hypothesis that this protein or gene is involved in energy metabolism. Proteins localized in the cytoskeleton are probably involved in intracellular tra?cking and support.
