الصفحة 6
الصفحة 6
img

Logical aspects of computational linguistics ; 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings

Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks.- Contributed Papers.- A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique.- An Algebraic Approach to French Sentence Structure.- Deductive Parsing of Visual Languages.- Lambek Grammars Based on Pregroups.- An Algebraic Analysis of Clitic Pronouns in Italian.- Consistent Identification in the Limit of Any of the Classes k-Valued Is NP-hard.- Polarized Non-projective Dependency Grammars.- On Mixing Deduction and Substitution in Lambek Categorial Grammars.- A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations.- A Characterization of Minimalist Languages.- of Speech Tagging from a Logical Point of View.- Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars.- Recognizing Head Movement.- Combinators for Paraconsistent Attitudes.- Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences.- Atomicity of Some Categorially Polyvalent Modifiers.

img

Logic Based Program Synthesis and Transformation ; Vol. 3573 : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. The presence of duplicated code (or functionality) is a primary indication that the design of the program can be improved by performing a so-called refactoring transformation. Within the framework of our analysis, we formally characterize three situations of duplicated functionality and their associated refactorings: the extraction of a duplicated goal into a new predicate, the removal of equivalent predicates and the generalization of two predicates into a higher-order predicate. The resulting analysis detects in a completely automatic way what program fragments are suitable candidates for the considered refactoring transformations.

img

Linked Open Data -- Creating Knowledge Out of Interlinked Data : Results of the LOD2 Project

Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, semantics-based information system. This book presents an overview on the results of the research project “LOD2 -- Creating Knowledge out of Interlinked Data”. LOD2 is a large-scale integrating project co-funded by the European Commission within the FP7 Information and Communication Technologies Work Program. Commencing in September 2010, this 4-year project comprised leading Linked Open Data research groups, companies, and service providers from across 11 European countries and South Korea.

img

Knowledge science, engineering and management ; 1st International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings

Here are the refereed proceedings of the First International Conference on Knowledge Science, Engineering and Management, KSEM 2006, held in Guilin, China in August 2006 in conjunction with PRICAI 2006. The book presents 51 revised full papers and 57 revised short papers together with 4 invited talks, reporting a wealth of new ideas and current research results in the broad areas of knowledge science, knowledge engineering, and knowledge management.

img

Knowledge Engineering : Practice and Patterns ; 16th International Conference, EKAW 2008, Acitrezza, Italy, September 29 - October 2, 2008. Proceedings

Constitutes the refereed proceedings of the 16th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2008, held in Acitrezza, Sicily, Italy, in September/October 2008.The 17 revised full papers and 15 revised short papers presented together with 3 invited talks were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections on knowledge patterns and knowledge representation, matching ontologies and data integration, natural language, knowledge acquisition and annotations, search, query and interaction, as well as ontologies.

img

Knowing the Salween River : Resource Politics of a Contested Transboundary River

Focuses on the Salween River, shared by China, Myanmar, and Thailand, that is increasingly at the heart of pressing regional development debates. The basin supports the livelihoods of over 10 million people, and within it there is great socio-economic, cultural and political diversity. The basin is witnessing intensifying dynamics of resource extraction, alongside large dam construction, conservation and development intervention, that is unfolding within a complex terrain of local, national and transnational governance. With a focus on the contested politics of water and associated resources in the Salween basin, this book offers a collection of empirical case studies that highlights local knowledge and perspectives. Given the paucity of grounded social science studies in this contested basin, this book provides conceptual insights at the intersection of resource governance, development, and politics of knowledge relevant to researchers, policy-makers and practitioners at a time when rapid change is underway.

img

Kinetics of Water-Rock Interaction

Systems at the surface of the Earth are continually responding to energy inputs derived from solar radiation or from the radiogenic heat in the interior. These energy inputs drive plate movements and erosion, exposing metastable mineral phases at the Earth’s surface. In addition, these energy fluxes are harvested and transformed by living organisms. As long as these processes persist, chemical disequilibrium at the Earth’s surface will be perpetuated. Chemical disequilibrium is also driven by human activities related to production of food, extraction of water and energy resources, and burial of wastes. To understand how the surface of the Earth will change over time, we must understand the rates at which reactions occur and the chemical feedbacks that relate these reactions across extreme temporal and spatial scales. This book addresses fundamental and applied questions concerning the rates of water-rock interactions driven by tectonic, climatic, and anthropogenic forcings.

img

Journal on Data Semantics IV

• Semantics in data visualization • Semantic services for mobile users • Supporting tools • Applications of semantic-driven approaches These topics are to be understood as specifically related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not within the topics in the list. While the physical appearance of the journal issues is like the books from the we- known Springer LNCS series, the mode of operation is that of a journal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board. Contributions may also be invited, and nevertheless carefully reviewed, as in the case for issues that contain extended versions of the best papers from major conferences addressing data semantics issues. Special issues, focusing on a specific topic, are coordinated by guest editors once the proposal for a special issue is accepted by the Editorial Board. Finally, it is also possible that a journal issue be devoted to a single text.

img

ITI treatment guide, Vol.14 : Immediate implant placement and loading-single or multiple teeth requiring replacement

Outlines the current literature on immediate implant placement and immediate loading and elaborates on our understanding of the biology surrounding tooth extraction and osseointegration that underpin these treatment concepts. The importance of patient and site selection in conjunction with comprehensive treatment planning is highlighted and a risk assessment tool to aid decision making is provided. All key aspects of both the surgical and loading procedures are described in order to provide protocols that optimize the final treatment outcome. This volume also presents 9 step-by-step clinical cases performed by experts in the field, and typical complications of immediate implants are discussed, along with recommendations on how these can be prevented.

img

ITI treatment guide ; Vol.3 : Implant placement in post-extraction sites : treatment options

The ITI Treatment Guide series is a compendium of evidence-based implant therapy techniques in daily practice. Using an illustrated step-by-step approach, renowned clinicians demonstrate how to manage different clinical situations with an emphasis on sound diagnostics, evidence-based treatment, and predictable outcomes.

img

Computational analysis and deep learning for medical care : Principles, methods, and applications

Focuses on the sophisticated methods for improving dye extraction and dyeing properties which will minimize the use of bioresource products. This book also brings out the innovative ways of wet chemical processing to alleviate the environmental impacts arising from this sector.

img

Complications following surgery of maxillary impacted canine and their management

Investigates the impaction of maxillary canines, a dental condition where the canines fail to erupt within the expected timeframe despite complete root formation. The research highlights various contributory factors, including genetic predispositions, lack of space due to early loss of deciduous molars, follicular cysts, and the presence of supernumerary teeth. The study explores the etiology of both palatal and buccal impactions, noting the significant role of genetic factors, tooth size, arch length discrepancies, and abnormal tooth development. Treatment options, including orthodontic interventions and surgical extractions, are discussed in the context of the impacted tooth's position and associated complications.

img

Complex Motion ; 1st International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004, Revised Papers

The world we live in is a dynamic one: we explore it by moving through it, and many of the objects which we are interested in are also moving. Trafic, for instance, is an example of a domain where detecting and processing visual motion is of vital interest, both in a metaphoric as well as in a purely literal sense. Visual communication is another important example of an area of science which is dominated by the need to measure, understand, and represent visual motion in an eficient way. Visual motion is a subject of research which forces the investigator to deal with complexity; complexity in the sense of facing efiects of motion in a very large diversity of forms, starting from analyzing simple motion in a changing envir- ment (illumination, shadows, . . . ), under adverse observation conditions, such as bad signal-to-noiseratio (low illumination, small-scaleprocesses, low-dosex-ray, etc. ), covering also multiple motions of independent objects, occlusions, and - ing as far as dealing with objects which are complex in themselves (articulated objects such as bodies of living beings). The spectrum of problems includes, but does not end at, objects which are not ‘bodies’ at all, e. g. , when anal- ing fiuid motion, cloud motion, and so on. Analyzing the motion of a crowd in a shopping mall or in an airport is a further example that implies the need to struggle against the problems induced by complexity.

img

Chitosan : properties and applications in bioengineering

Presents a review of chitosan, including information regarding its structure, main properties, available sources, extraction, and processing techniques. It presents the different applications of chitosan as a biomaterial in fields such as medicine and the agricultural, cosmetology, pharmaceutical, and food industries to have readers obtain a more technical vision of the current use of this biopolymer.

img

Chinese Computational Linguistics ; 19th China National Conference, CCL 2020, Hainan, China, October 30 – November 1, 2020, Proceedings

This book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held in Hainan, China, in October/November 2020. The 32 full and 2 short papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: fundamental theory and methods of computational linguistics; information retrieval, dialogue and question answering; text generation and summarization; knowledge graph and information extraction; machine translation and multilingual information processing; minority language information processing; language resource and evaluation; social computing and sentiment analysis; and NLP applications.

img

Chia seeds : Tiny superfood, big impact

Chia (Salvia hispanica) is an annual herbaceous plant, the seeds of which were consumed already thousands of years ago. Current research results indicate a high nutritive value for chia seeds and confirm their extensive health-promoting properties. Research indicates that components of chia seeds are ascribed a beneficial effect on the improvement of the blood lipid profile, through their hypotensive, hypoglycemic, antimicrobial and immunostimulatory effects. This article provides a review of the most important information concerning the potential application of chia seeds in food production. The chemical composition of chia seeds is presented and the effect of their consumption on human health is discussed.

img

Chemistry of selected natural products and heterocyclic compounds

Covers the fundamental classification, nomenclature, occurrence, isolation, extraction, occurrence, detection, biosynthesis, medicinal/industrial significance, conversion and inter-conversions, etc.

img

Bone augmentation in implant dentistry : A step-by-step guide to predictable alveolar ridge and sinus grafting

Implant dentistry has evolved tremendously over the past three decades and is rapidly progressing as new materials and protocols become available each year. With the number of advancements made in digitally based media and marketing, it is imperative that the clinician is able to separate new trends from evidence-based protocols to make sound and predictable choices for the ultimate benefit of patients. This textbook presents cases from the author's 35-year practice to show the successes and failures of various treatment approaches and protocols. Early chapters discuss the relevant biomaterials and instruments utilized for bone augmentation protocols, including barrier membranes, bone grafting materials, and growth factors. Surgical chapters dedicated to extraction socket management, alveolar ridge augmentation, and sinus grafting follow, each chapter detailing specific indications and patient selection criteria as well as step-by-step surgical procedures, aspects of postoperative treatment, and complications. The final chapter focuses on full-arch reconstruction using fully guided immediate reconstruction protocols. The author's teaching institute is credited with preparing some of the world's best clinicians, and this book will pave the way for countless more.

img

Bone : Biology, harvesting, and grafting for dental implants

Dental implant placement often requires bone grafting to ensure sufficient bony support for the implants being placed. Depending on the biologic conditions of the patient, including the level of bone atrophy and the status of the remaining teeth in the mouth, more adjunctive procedures like bone harvesting or sinus grafting may be required. This book covers it all, from the biology of bone and how dental implants work within that framework to the many procedures for harvesting bone and using it to augment sites for implant placement. The different types of bone grafts and membranes are discussed as well as procedures to preserve the alveolar ridge following tooth extraction.

img

Biomedical Visualisation ; Vol.9

This edited book explores the use of technology to enable us to visualise the life sciences in a more meaningful and engaging way. It will enable those interested in visualisation techniques to gain a better understanding of the applications that can be used in visualisation, imaging and analysis, education, engagement and training. The reader will also be able to learn about the use of visualisation techniques and technologies for the historical and forensic settings.In this volume, there are chapters which examine forensic and historical visualisation techniques and digital reconstruction, ultrasound, virtual learning resources and patient utilised software and hardware. The use of HoloLens as a disruptive technology is discussed as well as historical items as a feature in a modern medical curriculum. It concludes with a fascinating chapter on pulse extraction from facial videos.

عدد النتائج بكل صفحة