الصفحة 102
الصفحة 102
img

Longer-Term Psychiatric Inpatient Care for Adolescents : A Multidisciplinary Treatment Approach

Describes the theoretical underpinnings and operational aspects of delivering longer-term inpatient psychiatric care to adolescents experiencing severe, unremitting mental illness. The authorship is drawn from the multidisciplinary team that supports the Walker Adolescent Unit, located in Sydney, Australia. The book begins with an account of the planning and development of the unit, an examination of the physical environment, and the adaptations that have been made to ensure its functionality. There follows a consideration of the therapeutic milieu. The book describes clinical processes such as admission and discharge planning, formulation and case review. There is information about the specific roles of professionals and the therapies that they provide. The book describes the steps taken to maintain and enhance the physical wellbeing of patients. There are chapters dedicated to governance, and to training and education. The final chapter describes how the unit responded to challenges created by the COVID-19 pandemic.

img

Logic-Based Program Synthesis and Transformation ; 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Contains a selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in Kongens Lyngby, Denmark, August 23-24,2007. LOPSTR thus traditionally solicits papers in the areas of: specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications andtools, component-baseds of tware development, software architectures, age- based software development and program refnement. Formal proceedings are produced only after the symposium, so that authors can incorporate this feed back in the published papers.

img

Logic-based program synthesis and transformation ; 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.

img

Logical Data Modeling : What it is and How to do it

LOGICAL DATA MODELING: What It Is and How To Do IT is directed toward three groups of people: (1) Business subject matter experts, (2) information technology professionals, (3) advanced students in Computer Science, Management Information Systems, and e-Business. Its purpose is to outline the basics of logical data modeling—specifically, data modeling for relational database management systems—in simple, practical terms and in a business context. The focus on relational data modeling is consciously made because it is superior in modeling real business activities.

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, language, information and computation ; 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.

img

Logic, language, information and computation ; 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings

The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community.

img

Logic, Language, and Computation ; 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005.

img

Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), as well as 26 poster presentations and the abstracts of 11 doctoral consortium articles were carefully reviewed and selected from 177 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on applications, algorithms, systems, and implementations, semantics and foundations, analysis and transformations, CHRs and extensions, implementations and systems, answer set programming and extensions, as well as constraints and optimizations.

img

Logic Based Program Synthesis and Transformation ; Vol. 3901 ; 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

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

Logging in Java with the JDK 1.4 Logging API and Apache log4j

In development scenarios where things can't be run in a debugger, or when you run the risk of masking the problem, logs are the greatest source of information about running a program. Pro Apache Log4j, Second Edition provides best practices guidelines and comprehensive coverage of the most recent release. Step by step, the book explains core concepts, from basic to advanced. Code samples are in Java and include guidelines for different application-specific needs. You'll also learn how to extend the API to write custom components and best practices for using the feature-rich log4j API. This book concludes with enterprise Java applications using log4j with JSP and J2EE.

img

Location, Transport and Land-Use : Modelling Spatial-Temporal Information

Shows the use of statistical tools for forecasting and analyzing implications of land-use decisions. The idea is that la- use on a map is necessarily a consequence of individual, and often conflicting, siting decisions over time.

img

Location Based Services and TeleCartography

Provides for the first time a general overview of research activities related to location and map-based services. These activities have emerged over the last years, especially around issues of positioning, spatial modelling, cartographic communication as well as in the fields of ubiquitious cartography, geo-pervasive services, user-centered modelling and geo-wiki activities. Topics cover an enormous range with heterogenous relationships to the main book issues. Whilst contemporary cartography aims at looking at new and efficient ways for communicating spatial information the development and availability of technologies like mobile networking, mobile devices or short-range sensors lead to interesting new possibilities for achieving this aim.

img

Location- and Context-Awareness ; Vol. 3987 ; 2nd International Workshop, LoCA 2006, Dublin, Ireland, May 10-11, 2006, Proceedings

Contain the papers presented at the 2 International Workshop on Location- and Context-Awareness in May of 2006. As computing moves increasingly into the everyday world, the importance of location and context knowledge grows. The range of contexts encountered while sitting at a desk working on a computer is very limited compared to the large variety of situations experienced away from the desktop. For computing to be relevant and useful in these situations, the computers must have knowledge of the user’s activity, resources, state of mind, and goals, i.e., the user’s context, of which location is an important indicator. This workshop was intended to present research aimed at sensing, inferring, and using location and context data in ways that help the user.

img

Location- and Context-Awareness ; Vol. 3479 ; First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings

The workshop was organized by the Institute of Communications and Navigation of the German Aerospace Center (DLR) in Oberpfa?enhofen, and the Mobile and Distributed Systems Group of the University of Munich. During the workshop, novel positioning algorithms and location sensing techniques were discussed, comprising not only enhancements of singular systems, like positioning in GSM or WLAN, but also hybrid technologies, such as the integration of global satellite systems with inertial positioning. Furthermore, improvements in sensor technology, as well as the integration and fusion of sensors, were addressed both on a theoretical and on an implementation level. Personal and confidential data, such as location data of users, have p- found implications for personal information privacy. Thus privacy protection, privacy-oriented location-aware systems, and how privacy aspects the feasibility and usefulness of systems were also addressed in the workshop.

img

Location- and context-awareness ; 3rd International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007, Proceedings

These proceedings contain the papers presented at the 3rd International S- posium on Location- and Context-Awareness in September of 2007. Computing has become mobile, wireless, and portable. The rangeof contexts encountered while sitting at a desk working on a computer is very limited c- pared to the large variety of situations experienced away from the desktop.

img

Local Pattern Detection ; International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers

Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation of very large databases of scienti?c and commercial information. The need to analyze these masses of data has led to the evolution of the new field knowledge discovery in databases (KDD) at the intersection of machine learning, statistics and database technology. Being interdisciplinary by nature, the field offers the opportunity to combine the expertise of different fields into a common objective. Moreover, within each field diverse methods have been developed and justified with respect to different quality criteria. We have to investigate how these methods can contributet o solving the problem of KDD. Traditionally, KDD was seeking to end global models for the data that - plain most of the instances of the database and describe the general structure of the data. Examples are statistical time series models, cluster models, logic programs with high coverageor classi?cation models like decision trees or linear decision functions. In practice, though, the use of these models often is very l- ited, because global models tend to end only the obvious patterns in the data, 1 which domain experts already are aware of . What is really of interest to the users are the local patterns that deviate from the already-known background knowledge. David Hand, who organized a workshop in 2002, proposed the new field of local patterns.

img

Local Newforms for GSp(4)

Local Newforms for GSp(4) describes a theory of new- and oldforms for representations of GSp(4) over a non-archimedean local field. This theory considers vectors fixed by the paramodular groups, and singles out certain vectors that encode canonical information, such as L-factors and epsilon-factors, through their Hecke and Atkin-Lehner eigenvalues. While there are analogies to the GL(2) case, this theory is novel and unanticipated by the existing framework of conjectures. An appendix includes extensive tables about the results and the representation theory of GSp(4).

img

Local Anaesthesia in Dentistry

A comprehensive guide to the use of local anaesthesia in dentistry that will meet the needs of both students and dental practitioners. It provides the reader with ample background information on the origin of pain and the pharmacology of anaesthetics, and describes the anatomy of the trigeminal nerve in detail. Subsequent chapters cover key are as such as general practical aspects, local anesthaesia in the upper and the lower jaw, the use of local anaesthetics in children, local and systematic complications, and the prevention of side effects. Patients at particular risk of adverse effects are identified and attention drawn to significant legal aspects.

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