منابع مشابه
Encounter with a Geometer, Part II, Volume 47, Number 3
326 NOTICES OF THE AMS VOLUME 47, NUMBER 3 Riemannian Geometry Starting in the late 1970s, MG completely revolutionized Riemannian geometry. I mention in this section some results that reflect my taste. This article contains only a small bibliography; further references may be found in my 1998 survey article in Jahresbericht der Deutschen Mathematiker-Vereinigung.1 Except for obvious cases, eve...
متن کاملPat-learning Nondeterminate Clauses
Several practical inductive logic programming systems efficiently learn “determinate” clauses of constant depth. Recently it has been shown that while nonrecursive constant-depth determinate clauses are pat-learnable, most of the obvious syntactic generalizations of this language are not pat-learnable. In this paper we introduce a new restriction on logic programs called “locality”, and present...
متن کاملAnalytical Technology and PAT
O ur ability to develop advanced bioprocess control and optimization strategies is directly linked to the availability of relevant in situ sensors or real-time analytical instrumentation and, as such, was identified as a research funding priority by the National Science and Technology Council in 1995 (131). Demand for rapid monitoring techniques is being driven by • a need to build better proce...
متن کاملDistinct turnover pat
Based on the framework of the unfolding model of turnover, effects of job satisfaction on different turnover paths. Using a large national sample analysis, this study found evidence that the level of job satisfaction was differentially predictive of voluntary turnover in different turnover paths. For example, job satisfaction was not a good predictor of turnover due to family management policie...
متن کاملPAT BDD Library Manual
PAT BDD Library is a .Net library for symbolic model checking. It includes a .Net interface to the CUDD package (version 2.4.2). More importantly, it also contains many functions to get BDD encoding of a system easily. A system often consists of many components and primitive components described by transition systems are encoded it first, then these encodings are composed by our supported CSP-l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philologus
سال: 1863
ISSN: 2196-7008,0031-7985
DOI: 10.1524/phil.1863.19.14.74