الصفحة 11
الصفحة 11
Principles of Security and Trust ; 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
This book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
Principles of Security and Trust ; 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April 16–17, 2018, in Thessaloniki, Greece, as part of ETAPS. Principles of Security and Trust is a broad forum related to all theo-retical and foundational aspects of security and trust.
Principles and Practice of Semantic Web Reasoning ; Vol. 4187 ; 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
The papers in this volume represent the proceedings of the 4th International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006. The book presents 14 revised full papers together with 1 invited talk and 6 system demonstrations, addressing major aspects of semantic Web research, namely forms of reasoning with a strong interest in rule-based languages and methods. Coverage includes theoretical work on reasoning methods, concrete reasoning methods and query languages, and practical applications.
Principles and Practice of Semantic Web Reasoning ; Vol. 3703 : 3rd International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
Constitutes the refereed proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2005, held in Dagstuhl Castle, Germany in September 2005. This title addresses major aspects of semantic Web research namely semantic Web architectures, language issues, and formal reasoning methods.
Principles and Practice of Constraint Programming - CP 2005 ; 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP 2005, held in Spain, in October 2005. These papers address issues of computing with constraints, ranging from methodological and foundational aspects to solving real-world problems in various application fields.
Principles and Practice of Case-based Clinical Reasoning Education : A Method for Preclinical Students
Describes and explains the educational method of Case-Based Clinical Reasoning (CBCR) used successfully in medical schools to prepare students to think like doctors before they enter the clinical arena and become engaged in patient care. The book combines general backgrounds of clinical reasoning education and assessment with a detailed elaboration of the CBCR method for application in any medical curriculum, either as a mandatory or as an elective course. It consists of three parts: a general introduction to clinical reasoning education, application of the CBCR method, and cases that can used by educators to try out this method.
PRICAI 2008 : Trends in Artificial Intelligence ; 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings
Constitutes the refereed proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2008, held in Hanoi, Vietnam, in December 2008.The 49 revised long papers, 33 revised regular papers, and 32 poster papers presented together with 1 keynote talk and 3 invited lectures were carefully reviewed and selected from 234 submissions. The papers address all current issues of modern AI research with topics such as AI foundations, knowledge representation, knowledge acquisition and ontologies, evolutionary computation, etc. as well as various exciting and innovative applications of AI to many different areas. Particular importance is attached to the areas of machine learning and data mining.
Practical Ocaml
Objective Caml (OCaml) is an open source programming language that allows you to utilize both functional and object-oriented programming. Sporting features such as a robust object system, type safety, and an expansive standard library, OCaml is a language that encourages pragmatic solutions instead of dogmatic ones. Boasting performance on par with the likes of C/C++, and having compilers available for a variety of platforms, including Windows, Unix, Linux, and Mac OS X, enterprise developers should consider adding this powerful language to their repertoire.
Practical aspects of declarative languages ; Vol. 3350 : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. This work addresses various aspects of declarative programming including implementational issues and applications in areas such as database management, active networks, and more.
Philosophical Problems Today
Philosophy of logic and language, and of meaning and communication are central to this volume. The discussion of these issues involves analytical approaches, including semantics and semiotics, philosophy of science, mathematical logic, phenomenology, hermeneutics and some aspects of philosophical anthropology and aesthetics. Philosophy of the Absolute also belongs to this broad repertoire of philosophical problems and disciplines. A number of problems and viewpoints derive from the metaphysical system; any relativistic view on ethical values, for instance, makes sense in relation to some absolute. Metaphysical system building may have come to an end, but after all it belongs to philosophy to remind us of our past.
Perspectives on Aspect
Aims to offer a retrospective view on the past thirty years of research on aspectuality and temporality as well as to develop new perspectives on the future development of the field. Articles contain overviews of the development of the field and/or present the state of the art of current research, suggesting new and upcoming lines of research. An important theme throughout the book is typological variation, and the relevance of empirical data for theory formation.
Perspectives of Systems Informatics ; 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia), June 27-30, 2006. The conference was held to honour the 75th anniversary of a member of the Russian Academy of Sciences Andrei Ershov (1931–1988) and his outsta- ing contributions towards advancing informatics.
Pedagogically Founded Courseware Generation for Web-Based Learning : An HTN-Planning-Based Approach Implemented in PAIGOS
This book focuses on course generation based on Hierarchical Task Network planning (HTN planning). This course generation framework enables the formalization and application of complex and realistic pedagogical knowledge. The volume describes basic techniques for course generation, which are used to formalize seven different types of courses (for instance, introducing the learner to previously unknown concepts and supporting the learner during rehearsal) and several elementary learning goals (e.g., selecting an appropriate example or exercise). This framework has been implemented and evaluated with good results in several domains, with users from different countries and universities, in the context of an EU project.
Paul Lorenzen -- Mathematician and Logician
Examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics.
Particle Verbs in English : A Cognitive Linguistic Perspective
This book explains why cognitive linguistics offers a plausible theoretical framework for a systematic and unified analysis of the syntax and semantics of particle verbs. It explores the meaning of the verb + particle syntax, the particle placement of transitive particle verbs, how particle placement is related to idiomaticity, and the relationship between idiomaticity and semantic extension. It also offers valuable linguistic implications for future studies on complex linguistic constructions using a cognitive linguistic approach, as well as insightful practical implications for the learning and teaching of English particle verbs.
Paperhive = خلية الأبحاث
In the vast expanse of academic exploration, PaperHive emerges as a sophisticated guiding tool tailored to support academic researchers in their scholarly pursuits. Its purpose is to empower researchers through the intricate lookout for relevant literature and assist them in various writing activities. PaperHive, combines the power of Semantic Scholar and cutting-edge AI technologies to seamlessly navigate the realm of literature exploration and provide the most efficient research experience. To ensure maximum accessibility, PaperHive provides both a mobile application and a website, allowing users to seamlessly browse and conduct research on the go. The platform’s recommendation system offers personalized recommendations based on user interests and paper selection, guiding researchers to the most valuable and relevant sources of information.Moreover, the integrated paraphrasing system produces diverse and accurate paraphrases of short paragraphs with a ROUGE-1 score of 49.46 and a BLEU-1 score of 48.64, enabling efficient and effective communication of research findings. PaperHive also offers a visual representation of the research landscape, aiding users in navigating and gaining a comprehensive understanding of related work.
Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the description of discrete time steps and continuous processes with a discrete time model with infinitesimal step widths.The underlying mathematical structure of this time model is based on the concepts of non-standard analysis. The discrete modeling, i.e., the description of sequential discrete algorithms at different abstraction levels, is done using the abstract state machines formalism. The presentation is well balanced between theoretical elaboration and critical discussion of the applicability of the theoretical results by means of appropriate case studies. The new temporal semantics proposed helps theoreticians as well as practitioners in gaining a better understanding of time models and in building better ...
Open Semantic Technologies for Intelligent System ; 10th International Conference, OSTIS 2020, Minsk, Belarus, February 19–22, 2020, Revised Selected Papers
Constitutes the refereed proceedings of the 10th International Conference on Open Semantic Technologies for Intelligent System, OSTIS 2020, held in Minsk, Belarus, in February 2020. The 14 revised full papers and 2 short papers were carefully reviewed and selected from 62 submissions. The papers mainly focus on standardization of intelligent systems and cover wide research fields including knowledge representation and reasoning, semantic networks, natural language processing, temporal reasoning, probabilistic reasoning, multi-agent systems, intelligent agents.
Ontology Matching
Euzenat and Shvaiko’s book is devoted to ontology matching as a solution to the semantic heterogeneity problem faced by computer systems. Ontology matching aims at finding correspondences between semantically related entities of different ontologies. These correspondences may stand for equivalence as well as other relations, such as consequence, subsumption, or disjointness, between ontology entities.
Ontology Management : Semantic Web, Semantic Web Services, and Business Applications
This volume describes relevant tasks, practical and theoretical challenges, limitations and methodologies, plus available software tools. The editors discuss integrating the conceptual and technical dimensions with a business view on using ontologies, by stressing the cost dimension of ontology engineering and by providing guidance on how up-to-date tooling helps to build, maintain, and use ontologies. Also included is a one-stop reference on all aspects of managing ontological data and best practices on ontology management for a number of application domains.
