Page 104
Page 104
The Seventeen Provers of the World : Foreword by Dana S. Scott
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems. The 17 systems included in this volume are among the most relevant ones for the formalization of mathematics. The systems are showcased by presentation of the formalized proof and a description in the form of answers to a standard questionnaire. The 17 systems presented are HOL, Mizar, PVS, Coq, Otter/Ivy, Isabelle/Isar, Alfa/Agda, ACL2, PhoX, IMPS, Metamath, Theorema, Leog, Nuprl, Omega, B method, and Minlog.
The Seven Secrets of How to Think Like a Rocket Scientist
In this book, illustrated are the methods (the 7 secrets) with anecdotes, quotations and biographical sketches of famous scientists, ideas from sci-fi, personal stories and insights, and occasionally a bit of space history.
The Serotonin Receptors : From Molecular Pharmacology to Human Therapeutics
The recent cloning and identification of a large number of serotonin (5-HT) receptors-a major family of therapeutic targets-holds out the possibility of developing novel, subtype-selective 5-HT receptor agonists and antagonists for use as psychiatric, cardiovascular, and neurological medications. In The Serotonin Receptors: From Molecular Pharmacology to Human Therapeutics, leading experts comprehensively examine our current understanding of the molecular and structural biology of 5-HT receptors and their pharmacological use. The authors describe the anatomical, cellular, and subcellular distribution of 5-HT receptors and demonstrate a powerful approach to elucidating their physiological role using knockout mice in which the 5-HT receptors were deleted. They also review our understanding of the physiological role(s) of 5-HT receptors based mainly on studies performed in genetically engineered mice.
The Sentinel Lymph Node Concept
The sentinel lymph node concept is meeting with steadily growing interest and is being extended to the different sites of the primaries. In addition, the concept is being applied in an increasingly sophisticated manner. In this book the practical application of the sentinel node concept is evaluated from the points of view of pathology, radiodiagnosis and nuclear medicine diagnostics, surgical treatment and clinical oncology. The concept is analyzed for breast cancer, malignant melanoma, tumors of the face, oropharynx, lung, gastrointestinal and urogenital tract. The first part of the book describes the function and use of the nuclear medicine equipment, the tracers used, colloid solutions and modern developments in histological and immunohistochemical lymph node investigations, as well as possible pitfalls. The consequences of false-negative results are clearly delineated. In the second part, specific tumor-related problems are described.
The Sense of Touch and its Rendering : Progress in Haptics Research
"Sense of Touch and its Rendering" presents a unique and interdisciplinary approach highlighting the field of haptic research from a neuropsychological as well as a technological point of view. and provides an important contribution towards a new generation of high-fidelity haptic display technologies. The book is structured in two parts: A. Fundamental Psychophysical and Neuropsychological Research and B. Technology and Applications. The eleven chapters discuss the recent advances in the study of human haptic (kinaesthetic, tactile, temperature) and multimodal (visual, auditory, haptic) perception mechanisms. Besides the theoretical advancement, the contributions survey the state-of-the-art in the field, report a number of practical applications to real systems, and discuss possible future developments.
The Semantic Web: Research and Applications ; Vol. 4011 ; 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings
"PrefaceThis volume contains the main proceedings of the 3rd Annual European Se-mantic Web Conference (ESWC 2006) held in Budva, Montenegro, June 11-14,2006. ESWC 2006 showcased the latest results in research and application of Se-mantic Web technologies – moving us closer to the vision of creating a machineinterpretable web.Following the success of the previous conferences, it ensured that only papers of thehighest quality were accepted. The final acceptance of 48 papers for publicationand presentation at the conference out of the 181 submissions resulted in anacceptance rate of 26%."
The Semantic Web: Research and Applications ; 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings
The book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational issues, learning, ontologies and natural language, ontology alignment, query processing, search, semantic Web services, storage and retrieval of semantic Web data, as well as user interfaces and personalization.
The Semantic Web ; 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007, Proceedings
This book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the 2nd Asian Semantic Web Conference, ASWC 2007.
The Semantic Web ; 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.
Address the latest results in the research and applications of Semantic Web technologies and cover topics including: scalable reasoning and logic, ontology mapping, ontology modelling and management, ontologies and tags, human language technologies and machine learning, querying, semantic Web services and semantic Web applications.
The Semantic Web ; 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings
Carefully reviewed and selected from 166 submissions. The papers were submitted to three tracks: the research track, the resource track and the in-use track. These tracks showcase research and development activities, services and applications, and innovative research outcomes making their way into industry. The research track caters for both long standing and emerging research topics in the form of the following subtracks: ontologies and reasoning; natural language processing and information retrieval; semantic data management and data infrastructures; social and human aspects of the Semantic Web; machine learning; distribution and decentralization; science of science; security, privacy, licensing and trust; knowledge graphs; and integration, services and APIs.
The Semantic Web : Semantics for Data and Services on the Web
The Semantic Web is a vision – the idea of having data on the Web defined and linked in such a way that it can be used by machines not just for display purposes but for automation, integration and reuse of data across various applications. Technically, however, there is a widespread misconception that the Semantic Web is primarily a rehash of existing AI and database work focused on encoding knowledge representation formalisms in markup languages such as RDF(S), DAML+OIL or OWL.Throughout the book, the use-case of a clinical vignette will serve to motivate and explain solutions based on Semantic Web technologies, emphasizing the application aspects related to data integration, knowledge acquisition, change management, semantic web services, and workflow management.
The semantic web : Research and applications ; Vol. 3532 ; 2nd European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proceedings
The vision of the Semantic Web is to enhance today’s Web via the exploi- tion of machine-processable metadata. The explicit representation of the sem- tics of data, accompanied with domain theories (ontologies), will enable a web that provides a qualitatively new level of service. It will weave together an - crediblylargenetworkofhumanknowledgeandwillcomplementitwithmachine processability. Various automated services will help the user to achieve goals by accessing and providing information in a machine-understandable form. This process may ultimately create extremely knowledgeable systems with various specialized reasoning services systems. Many technologies and methodologies are being developed within arti?cial intelligence, human language technology, machine learning, databases, software engineering and information systems that can contribute to the realization of this vision.
The Semantic Web : Research and applications ; 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings
Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, foundations of the semantic Web, natural languages and ontologies, and querying and Web data models.
The semantic web : Real-world applications from industry
It offers a glimpse into the opening door of semantic technologies by means of concentrated examples of semantic applications in real business environments. For quite a while, there has been evidence from academic research and early industrial prototypes that semantic technology can help humans and machines substantially in accessing and using the unprecedented, and exponentially growing, amount of information that the World Wide Web provides. Now semantic technology is moving from academic and industrial research into real products and applications. This book provides a series of case studies which demonstrate how real benefits can be derived from the adoption of semantic technology in popular business domains, such as telecommunication, B2B integration, healthcare, education, and others.
The semantic Web – ISWC 2020 ; 19th international semantic web conference, Athens, Greece, November 2–6, 2020, Proceedings, Part II
The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC 2020, which was planned to take place in Athens, Greece, during November 2-6, 2020. The conference changed to a virtual format due to the COVID-19 pandemic. The papers included in this volume deal with the latest advances in fundamental research, innovative technology, and applications of the Semantic Web, linked data, knowledge graphs, and knowledge processing on the Web.
The Semantic Web – ISWC 2020 ; 19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part I
The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC 2020, which was planned to take place in Athens, Greece, during November 2-6, 2020. The conference changed to a virtual format due to the COVID-19 pandemic. The papers included in this volume deal with the latest advances in fundamental research, innovative technology, and applications of the Semantic Web, linked data, knowledge graphs, and knowledge processing on the Web.
The Semantic Web - ISWC 2008 ; 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings
This book covered in the research track are ontology engineering; data management; software and service engineering; non-standard reasoning with ontologies; semantic retrieval; OWL; ontology alignment; description logics; user interfaces; Web data and knowledge; semantic Web services; semantic social networks; and rules and relatedness. The semantic Web in-use track covers knowledge management; business applications; applications from home to space; and services and infrastructure.
The Semantic Web - ISWC 2006 ; 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings
this sixth annual conference demonstrates new research results, technology, and applications that show current incarnations of the Semantic Web. Especially encouraging is the shift towards more applications—whereas the Research Track attracted roughly as many papers as in the previous year, the contributions submitted to the In-Use Track doubled.
The semantic web – ISWC 2005 ; 4th International semantic web conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings
A little over a decade has passed since the release of the frst Netscape browser. In 1995,the World Wide Web was viewedlargelyas an academiccuriosity.Now, of course, the Web is an integral part of the fabric of modern society. It is impossible to imagine science, education, commerce, or government functioning without the Web. We take the Web for granted, and often assume that Internet connectivity is guaranteed to all of us as a birthright. Although the Web indeed has become “world wide” and has lost a bit of its original aura as a consequence of its ubiquity, a burgeoning community of researchers and practitioners continues to work toward the next generation of the Web—a Web where information will be stored in a machine-processable form and where intelligent computer-based agents will access and automatically combine myriad services on the Internet of the kind that are now available only to people interacting directly with their Web browsers.
The Semantic Web - ISWC 2002 ; 1st International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings
PrefaceThis volume contains the papers presented at the First International Seman-tic Web Conference (ISWC 2002) held in Sardinia, Italy, 9–12th June, 2002.The conference followed on from the highly successful Semantic Web WorkingSymposium held at Stanford University, USA in 2001.A total of 133 papers were submitted to ISWC 2002, comprising 95 researchpapers, 22 position papers, and 16 system description papers. Each submissionwas evaluated by at least two referees, mainly members of the Program Commit-tee. This resulted in the selection of 40 papers for presentation at the conferenceand publication in this volume. Of these, 27 are research papers, 6 are positionpapers, and 7 are system description papers.
