Sample records for knowledge base check

  1. Knowledge-based control

    E-Print Network [OSTI]

    Painter, John H.

    1992-03-17T23:59:59.000Z

    Knowledge-based control is defined here as the management of dynamic systems whose states admit qualitative modeling. Contributions from several disparate disciplines, such as artificial intelligence, the decision sciences, and fuzzy control...

  2. Knowledge Acquisition from Data Bases 

    E-Print Network [OSTI]

    Wu, Xindong

    Knowledge acquisition from databases is a research frontier for both data base technology and machine learning (ML) techniques,and has seen sustained research over recent years.It also acts as a link between the two ...

  3. SMT-based Bounded Model Checking with Difference Logic Constraints

    E-Print Network [OSTI]

    Bersani, Marcello M; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; Pietro, Pierluigi San

    2010-01-01T23:59:59.000Z

    Traditional Bounded Model Checking (BMC) is based on translating the model checking problem into SAT, the Boolean satisfiability problem. This paper introduces an encoding of Linear Temporal Logic with Past operators (PLTL) into the Quantifier-Free Difference Logic with Uninterpreted Functions (QF-UFIDL). The resulting encoding is a simpler and more concise version of existing SATbased encodings, currently used in BMC. In addition, we present an extension of PLTL augmented with arithmetic relations over integers, which can express unbounded counters; as such, the extended logic is more expressive than PLTL. We introduce suitable restrictions and assumptions that are shown to make the verification problem for the extended logic decidable, and we define an encoding of the new logic into QF-UFIDL. Finally, a performance comparison with the SAT-based approach on purely PLTL examples shows significant improvements in terms of both execution time and memory occupation.

  4. Evaluation of Semantic Graph based on Model Checking Mahdi Gueffaz, Sylvain Rampacek and Christophe Nicolle

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    floods. Model checking is a powerful tool for system verification because it can reveal errors that were to describe the properties checking the system model. 395 hal-00617998,version1-31Aug2011 Author manuscriptSCALESEM Evaluation of Semantic Graph based on Model Checking Mahdi Gueffaz, Sylvain Rampacek

  5. Frame-Based Knowledge Representation

    E-Print Network [OSTI]

    Steels, Luc

    The paper introduces a language for representing knowledge in a declarative form. With this language it is possible to define knowledge about a certain domain by introducing a number of concepts and by specifying their ...

  6. Knowledge Based Enterprise Engineering (KBEE): a modeling framework for enterprise knowledge

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Knowledge Based Enterprise Engineering (KBEE): a modeling framework for enterprise knowledge modeling, Knowledge modeling, Enterprise Engineering, Knowledge Engineering. 1 Introduction Knowledge in externalization and integration of knowledge and also for the engineering context, we will propose in this paper

  7. CONCATENATED CODES BASED ON MULTIDIMENSIONAL PARITY-CHECK CODES AND TURBO CODES

    E-Print Network [OSTI]

    Wong, Tan F.

    CONCATENATED CODES BASED ON MULTIDIMENSIONAL PARITY-CHECK CODES AND TURBO CODES John M. Shea, Florida Abstract--Turbo-codes provide communications near capac- ity when very large interleavers (and parity-check code can be used as an outer code with a turbo code as an inner code in a serial

  8. An Insulating Glass Knowledge Base

    SciTech Connect (OSTI)

    Michael L. Doll; Gerald Hendrickson; Gerard Lagos; Russell Pylkki; Chris Christensen; Charlie Cureija

    2005-08-01T23:59:59.000Z

    This report will discuss issues relevant to Insulating Glass (IG) durability performance by presenting the observations and developed conclusions in a logical sequential format. This concluding effort discusses Phase II activities and focuses on beginning to quantifying IG durability issues while continuing the approach presented in the Phase I activities (Appendix 1) which discuss a qualitative assessment of durability issues. Phase II developed a focus around two specific IG design classes previously presented in Phase I of this project. The typical box spacer and thermoplastic spacer design including their Failure Modes and Effect Analysis (FMEA) and Fault Tree diagrams were chosen to address two currently used IG design options with varying components and failure modes. The system failures occur due to failures of components or their interfaces. Efforts to begin quantifying the durability issues focused on the development and delivery of an included computer based IG durability simulation program. The focus/effort to deliver the foundation for a comprehensive IG durability simulation tool is necessary to address advancements needed to meet current and future building envelope energy performance goals. This need is based upon the current lack of IG field failure data and the lengthy field observation time necessary for this data collection. Ultimately, the simulation program is intended to be used by designers throughout the current and future industry supply chain. Its use is intended to advance IG durability as expectations grow around energy conservation and with the growth of embedded technologies as required to meet energy needs. In addition the tool has the immediate benefit of providing insight for research and improvement prioritization. Included in the simulation model presentation are elements and/or methods to address IG materials, design, process, quality, induced stress (environmental and other factors), validation, etc. In addition, acquired data is presented in support of project and model assumptions. Finally, current and suggested testing protocol and procedure for future model validation and IG physical testing are discussed.

  9. Real-time system verification techniques based on abstraction/deduction and model checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Real-time system verification techniques based on abstraction/deduction and model checking Eun in or- der to obtain a powerful and highly automatic verification environment for real-time systems. One-Young.Kang@loria.fr Abstract. Our research focuses on verification techniques for real-time systems based on predicate

  10. A multivalued knowledge-base model

    E-Print Network [OSTI]

    Achs, Agnes

    2010-01-01T23:59:59.000Z

    The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of fuzzy Datalog will be summarized, then its extensions for intuitionistic- and interval-valued fuzzy logic is given and the concept of bipolar fuzzy Datalog is introduced. Based on these ideas the concept of multivalued knowledge-base will be defined as a quadruple of any background knowledge; a deduction mechanism; a connecting algorithm, and a function set of the program, which help us to determine the uncertainty levels of the results. At last a possible evaluation strategy is given.

  11. THE SOFTWARE KNOWLEDGE BASE Bertrand Meyer

    E-Print Network [OSTI]

    Meyer, Bertrand

    knowledge base" keeps track of software components and their properties; these properties are described, implementation, testing, project management). The use of the binary relational model for describing the properties of software is hacked by a theoretical study of the relations and constraints which play

  12. CHAPTER 5 KNOWLEDGE BASE ISSUES 5.1 Introduction

    E-Print Network [OSTI]

    O'Connor, Rory

    areas of knowledge engineering and knowledge representation are introduced, and the issues of choosing are investigated. 5.2 Knowledge Engineering The term Knowledge Engineering is now commonly used to describe the process of Knowledge Based System (KBS) development. Knowledge engineering includes [Smith, 96

  13. A cost-effective mechanism for Cloud data reliability management based on proactive replica checking

    E-Print Network [OSTI]

    Yang, Yun

    A cost-effective mechanism for Cloud data reliability management based on proactive replica for managing the data reliability would incur huge storage cost. To address this issue, in this paper we present a novel cost-effective data reliability management mechanism named PRCR, which proactively checks

  14. SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of dif- ferent SMT solvers

  15. SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University by encoding word-level information in theories richer than propositional logic and using SMT solvers for the gener- ated verification conditions. Here, we investigate the application of different SMT solvers

  16. Advanced Unbounded CTL Model Checking Based on AIGs, BDD Sweeping, And Quantifier

    E-Print Network [OSTI]

    Manolios, Panagiotis "Pete"

    and gates and inverters Simple data structure Every Boolean function can be represented by an AIG 5 Florian Networks of 2-input and gates and inverters Simple data structure Every Boolean function can be representedAdvanced Unbounded CTL Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling

  17. Check valve

    DOE Patents [OSTI]

    Upton, H.A.; Garcia, P.

    1999-08-24T23:59:59.000Z

    A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion. 5 figs.

  18. Check valve

    DOE Patents [OSTI]

    Upton, Hubert Allen (Morgan Hill, CA); Garcia, Pablo (Stanford, CA)

    1999-08-24T23:59:59.000Z

    A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion.

  19. SMT-Based Bounded Model Checking for Embedded ANSI-C Software

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

    Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of different SMT solvers to the verification of embedded software written in ANSI-C. We have extended the encodings from previous SMT-based bounded model checkers to provide more accurate support for finite variables, bit-vector operations, arrays, structures, unions and pointers. We have integrated the CVC3, Boolector, and Z3 solvers with the CBMC front-end and evaluated them using both standard software model checking benchmarks and typical embedded applications from telecommunications, control systems and medical devices. The experiments show that our approach can analyze larger problems and sub...

  20. The Cognitive Ergonomics of Knowledge-Based Design Support Systems

    E-Print Network [OSTI]

    The Cognitive Ergonomics of Knowledge-Based Design Support Systems Tamara Sumner Knowledge Media, Cognitive Ergonomics, Design, Design Environments, Knowledge-based Systems, Phone-based Interfaces ergonomic; i.e., systems that effectively support designers' cognitive work without hindering their creative

  1. Towards a Grid Information Knowledge Base , Marios D. Dikaiakos1

    E-Print Network [OSTI]

    Pallis, George

    Towards a Grid Information Knowledge Base Wei Xing1 , Marios D. Dikaiakos1 , and Rizos Sakellariou2 present our work on building a Grid infor- mation knowledge base, which is a key component of a semantic Grid information system. A Core Grid Ontology (CGO) is developed for build- ing a Grid knowledge base

  2. IGENPRO knowledge-based operator support system.

    SciTech Connect (OSTI)

    Morman, J. A.

    1998-07-01T23:59:59.000Z

    Research and development is being performed on the knowledge-based IGENPRO operator support package for plant transient diagnostics and management to provide operator assistance during off-normal plant transient conditions. A generic thermal-hydraulic (T-H) first-principles approach is being implemented using automated reasoning, artificial neural networks and fuzzy logic to produce a generic T-H system-independent/plant-independent package. The IGENPRO package has a modular structure composed of three modules: the transient trend analysis module PROTREN, the process diagnostics module PRODIAG and the process management module PROMANA. Cooperative research and development work has focused on the PRODIAG diagnostic module of the IGENPRO package and the operator training matrix of transients used at the Braidwood Pressurized Water Reactor station. Promising simulator testing results with PRODIAG have been obtained for the Braidwood Chemical and Volume Control System (CVCS), and the Component Cooling Water System. Initial CVCS test results have also been obtained for the PROTREN module. The PROMANA effort also involves the CVCS. Future work will be focused on the long-term, slow and mild degradation transients where diagnoses of incipient T-H component failure prior to forced outage events is required. This will enhance the capability of the IGENPRO system as a predictive maintenance tool for plant staff and operator support.

  3. A Construction of Quantum Stabilizer Codes Based on Syndrome Assignment by Classical Parity-Check Matrices

    E-Print Network [OSTI]

    Ching-Yi Lai; Chung-Chin Lu

    2007-12-02T23:59:59.000Z

    In quantum coding theory, stabilizer codes are probably the most important class of quantum codes. They are regarded as the quantum analogue of the classical linear codes and the properties of stabilizer codes have been carefully studied in the literature. In this paper, a new but simple construction of stabilizer codes is proposed based on syndrome assignment by classical parity-check matrices. This method reduces the construction of quantum stabilizer codes to the construction of classical parity-check matrices that satisfy a specific commutative condition. The quantum stabilizer codes from this construction have a larger set of correctable error operators than expected. Its (asymptotic) coding efficiency is comparable to that of CSS codes. A class of quantum Reed-Muller codes is constructed, which have a larger set of correctable error operators than that of the quantum Reed-Muller codes developed previously in the literature. Quantum stabilizer codes inspired by classical quadratic residue codes are also constructed and some of which are optimal in terms of their coding parameters.

  4. Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

    The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. In this context, SAT-based bounded model checking has been successfully applied to discover subtle errors, but for larger applications, it often suffers from the state space explosion problem. This paper describes a new approach called continuous verification to detect design errors as quickly as possible by looking at the Software Configuration Management (SCM) system and by combining dynamic and static verification to reduce the state space to be explored. We also give a set of encodings that provide accurate support for program verification and use different background theories in order to improve scalability and precision in a completely automatic way. A case study from the telecommunications domain shows that the proposed approach improves the error-detection capability and reduces the overall verification time by...

  5. Beyond rules: development and evaluation of knowledge acquisition systems for educational knowledge-based modelling 

    E-Print Network [OSTI]

    Conlon, Thomas Hugh

    1997-01-01T23:59:59.000Z

    The technology of knowledge-based systems undoubtedly offers potential for educational modelling, yet its practical impact on today's school classrooms is very limited. To an extent this is because the tools presently ...

  6. A Knowledge Based Digital Control Flow Synthesizer

    E-Print Network [OSTI]

    Fernando, M. A. Susith Rohana

    1987-01-01T23:59:59.000Z

    applications are characterized by symbolic pro- cessing, incomplete problem solving knowledge and open systems. Symbolic processing contrast with numerical processing where intensive nu- rnerical comput, ations are involved. The information to be dealt... programming is one of the four popular programming paradigms available in the computer science community. In contrast with more common pro- cedural programming paradigm, programs are not primarily partitioned into pro- cedures and separate data. Rather, a...

  7. The process for integrating the NNSA knowledge base.

    SciTech Connect (OSTI)

    Wilkening, Lisa K.; Carr, Dorthe Bame; Young, Christopher John; Hampton, Jeff (Lockheed Martin Mission Services, Houston, TX); Martinez, Elaine

    2009-03-01T23:59:59.000Z

    From 2002 through 2006, the Ground Based Nuclear Explosion Monitoring Research & Engineering (GNEMRE) program at Sandia National Laboratories defined and modified a process for merging different types of integrated research products (IRPs) from various researchers into a cohesive, well-organized collection know as the NNSA Knowledge Base, to support operational treaty monitoring. This process includes defining the KB structure, systematically and logically aggregating IRPs into a complete set, and verifying and validating that the integrated Knowledge Base works as expected.

  8. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability

    E-Print Network [OSTI]

    Bersani, Marcello M; Frigeri, Achille; Pradella, Matteo; Rossi, Matteo

    2010-01-01T23:59:59.000Z

    An important problem that arises during the execution of service-based applications concerns the ability to determine whether a running service can be substituted with one with a different interface, for example if the former is no longer available. Standard Bounded Model Checking techniques can be used to perform this check, but they must be able to provide answers very quickly, lest the check hampers the operativeness of the application, instead of aiding it. The problem becomes even more complex when conversational services are considered, i.e., services that expose operations that have Input/Output data dependencies among them. In this paper we introduce a formal verification technique for an extension of Linear Temporal Logic that allows users to include in formulae constraints on integer variables. This technique applied to the substitutability problem for conversational services is shown to be considerably faster and with smaller memory footprint than existing ones.

  9. KNOWLEDGE-BASED DECISION SUPPORT IN OIL WELL DRILLING

    E-Print Network [OSTI]

    Aamodt, Agnar

    for capturing and reusing experience and best practice in industrial operations5-7 . CBR as a technology has nowKNOWLEDGE-BASED DECISION SUPPORT IN OIL WELL DRILLING Combining general and case-specific knowledge of Computer and Information Science. agnar.aamodt@idi.ntnu.no Abstract: Oil well drilling is a complex process

  10. NetPal: A Dynamic Network Administration Knowledge Base

    E-Print Network [OSTI]

    Milios, Evangelos E.

    NetPal: A Dynamic Network Administration Knowledge Base Ashley George, Adetokunbo Makanju system designed to assist network administra- tors in their troubleshooting tasks, in recall- ing hosting environments, Net- pal summarises network data and and supports retrieval of relevant

  11. Knowledge-based cluster development in India : opportunities and challenges

    E-Print Network [OSTI]

    Singla, Chandan Dev

    2008-01-01T23:59:59.000Z

    Knowledge-based industries tend to cluster. The nature of activities illustrate the importance of networks and virtual and proximity aspects of clustering. Review of existing literature brings out the advantages of clustering ...

  12. ADVANCES IN TECHNOLOGY-BASED EDUCATION: TOWARDS A KNOWLEDGE

    E-Print Network [OSTI]

    Lobo, Fernando

    these technologies in a natural way. In our opinion, this preparation must start soon, during pre-school, becauseADVANCES IN TECHNOLOGY-BASED EDUCATION: TOWARDS A KNOWLEDGE BASED SOCIETY Proceedings of the II International Conference on Multimedia and Information & Communication Technologies in Education m-ICTE2003 www

  13. The browser prototype for the CTBT knowledge base

    SciTech Connect (OSTI)

    Armstrong, H.M.; Keyser, R.G.

    1997-07-02T23:59:59.000Z

    As part of the United States Department of Energy`s (DOE) Comprehensive Test Ban Treaty (CTBT) research and development effort, a Knowledge Base is being developed. This Knowledge Base will store the regional geophysical research results as well as geographic contexual information and make this information available to the Automated Data Processing (ADP routines) as well as human analysts involved in CTBT monitoring. This paper focuses on the initial development of a browser prototype to be used to interactively examine the contents of the CTBT Knowledge Base. The browser prototype is intended to be a research tool to experiment with different ways to display and integrate the datasets. An initial prototype version has been developed using Environmental Systems Research Incorporated`s (ESRI) ARC/INFO Geographic Information System (GIS) product. The conceptual requirements, design, initial implementation, current status, and future work plans are discussed. 4 refs., 2 figs.

  14. Integrating knowledge-based techniques into well-test interpretation

    SciTech Connect (OSTI)

    Harrison, I.W.; Fraser, J.L. [Artificial Intelligence Applications Inst., Edinburgh (United Kingdom)

    1995-04-01T23:59:59.000Z

    The goal of the Spirit Project was to develop a prototype of next-generation well-test-interpretation (WTI) software that would include knowledge-based decision support for the WTI model selection task. This paper describes how Spirit makes use of several different types of information (pressure, seismic, petrophysical, geological, and engineering) to support the user in identifying the most appropriate WTI model. Spirit`s knowledge-based approach to type-curve matching is to generate several different feasible interpretations by making assumptions about the possible presence of both wellbore storage and late-time boundary effects. Spirit fuses information from type-curve matching and other data sources by use of a knowledge-based decision model developed in collaboration with a WTI expert. The sponsors of the work have judged the resulting prototype system a success.

  15. Soybean Knowledge Base (SoyKB): a Web Resource for Soybean Translation...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Soybean Knowledge Base (SoyKB): a Web Resource for Soybean Translational Genomics. Soybean Knowledge Base (SoyKB): a Web Resource for Soybean Translational Genomics. Abstract:...

  16. A KNOWLEDGE BASE FOR EVALUATION AND DESIGN OF INSTRUCTIONAL MULTIMEDIA

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A KNOWLEDGE BASE FOR EVALUATION AND DESIGN OF INSTRUCTIONAL MULTIMEDIA SOFTWARE STÉPHANE CROZAT, PHILIPPE TRIGANO, OLIVIER HU ABSTRACT. Authors and users of multimedia educational software are in front, making tools to assist in evaluating and designing multimedia pedagogical software. The second part

  17. A Knowledge-based Approach for Lifelike Gesture Stefan Kopp

    E-Print Network [OSTI]

    Moeller, Ralf

    behaviors of virtual anthropomorphic agents, widely used in human-computer interfaces, are increasinglyA Knowledge-based Approach for Lifelike Gesture Animation Stefan Kopp and Ipke Wachsmuth Abstract. The inclusion of additional modalities into the commu- nicative behavior of virtual agents

  18. ISPE: A knowledge-based system for fluidization studies

    SciTech Connect (OSTI)

    Reddy, S.

    1991-01-01T23:59:59.000Z

    Chemical engineers use mathematical simulators to design, model, optimize and refine various engineering plants/processes. This procedure requires the following steps: (1) preparation of an input data file according to the format required by the target simulator; (2) excecuting the simulation; and (3) analyzing the results of the simulation to determine if all specified goals'' are satisfied. If the goals are not met, the input data file must be modified and the simulation repeated. This multistep process is continued until satisfactory results are obtained. This research was undertaken to develop a knowledge based system, IPSE (Intelligent Process Simulation Environment), that can enhance the productivity of chemical engineers/modelers by serving as an intelligent assistant to perform a variety tasks related to process simulation. ASPEN, a widely used simulator by the US Department of Energy (DOE) at Morgantown Energy Technology Center (METC) was selected as the target process simulator in the project. IPSE, written in the C language, was developed using a number of knowledge-based programming paradigms: object-oriented knowledge representation that uses inheritance and methods, rulebased inferencing (includes processing and propagation of probabilistic information) and data-driven programming using demons. It was implemented using the knowledge based environment LASER. The relationship of IPSE with the user, ASPEN, LASER and the C language is shown in Figure 1.

  19. Lifting task design associate: a knowledge-based system

    E-Print Network [OSTI]

    Brooks, Susan Elaine

    1993-01-01T23:59:59.000Z

    sophisticated systems to aid in radar operations (Newquist, 1991). The first successful system is considered to be MYCIN This system was developed in the early 1970's to assist medical professionals in the diagnosis of hepatitis and meningitis (Hochron, 1990...LIFTING TASK DESIGN ASSOCIATE: A KNOWLEDGE-BASED SYSTEM A Thesis by Susan Elaine Brooks Submitted to the Oflice of Graduate Studies of Texas ARM University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE...

  20. Plan generation strategies for a knowledge based process planning system

    E-Print Network [OSTI]

    Hari, Umesh

    1993-01-01T23:59:59.000Z

    August 1993 Major Subject: Industrial Engineering PLAN GENERATION STRATEGIES FOR A KNOWLEDGE BASED PROCESS PLANNING SYSTEM A Thesis by UMESH HARI Approved as to style and content by: Ri ar . Maye (Chair of Committee) / i en ember) Newton C... valuable comments on the thesis work. I am indebted to Dr. C. J. Su for arousing my interest in process planning. I have learned a lot about process planning and solid modeling from him. I also thank him for directing me to relevant literature...

  1. A knowledge based model of electric utility operations. Final report

    SciTech Connect (OSTI)

    NONE

    1993-08-11T23:59:59.000Z

    This report consists of an appendix to provide a documentation and help capability for an analyst using the developed expert system of electric utility operations running in CLIPS. This capability is provided through a separate package running under the WINDOWS Operating System and keyed to provide displays of text, graphics and mixed text and graphics that explain and elaborate on the specific decisions being made within the knowledge based expert system.

  2. Knowledge-based navigation in a hypertext network

    E-Print Network [OSTI]

    Snell, James Robert

    1990-01-01T23:59:59.000Z

    was to investigate knowledge-based navigation in a hypertext network. Hypertext can be described as a massive network of text fragments, stored in a computer system, linked together electronically. The navigation problem is the inability of the user to move.... However, the system did not have a sufficient number of links (or potential links) to test the effectiveness properly. The final study utilized a set of dermatology class notes. The study measured time, number of moves, and success rates for subjects...

  3. Knowledge-based stratigraphic well-log correlation

    E-Print Network [OSTI]

    Denton, Michael A.

    1990-01-01T23:59:59.000Z

    represents the formations, and new rules for the knowledge-base that can correlate formations in reservoirs with secondary stratification. This expert system has correlated ovei' 3, 500 ft. of well-log data from three different types of rock sequences... inspirational support. TABLE OF CONTENTS Page ABSTRACT nl DEDICATION ACKNOWLEDGEMENT TABLE OF CONTENTS LIST OF TABLES x1 LIST OF FIGURES xl1 CHAPTER I ? INTRODUCTION 1. 1 Well-Logs 1. 2 Stratigraphic Well-Log Correlation . 1. 3 Well-Log Correlation...

  4. A knowledge-based manager for software projects

    SciTech Connect (OSTI)

    Agarwal, A.; Jairam, B.N.; Emrich, M.L.; Murthy, N.

    1988-01-01T23:59:59.000Z

    Management aspects of software development have received little research interest. The SOFTMAN system addresses the automation of this feature of the SDLC. It is a knowledge-based system which tracks the health of a software development effort. By comparing user metrics to past environment standards, anomalies in the coding stage are detected and suggestions for solving them are offered. In addition, SOFTMAN can be used to tutor new personnel, perform what-if anaylsis, and build a corporate memory regarding managment decisions. 15 refs., 2 figs.

  5. Q00906010024 rock check dam

    E-Print Network [OSTI]

    00906010024 rock check dam Q00906010025 rock check dam Q00906010021 rock check dam Q00906010022 rock check dam Q00906010027 rock check dam Q00906010026 rock check dam Q00906010018 rock check dam Q00906010023 rock check dam Q00906010011 rock check dam Q00906010008 rock check dam Q00906010007 rock check dam Q

  6. InterBaseKB : Integrating a Knowledge Base System with a

    E-Print Network [OSTI]

    Elmagarmid, Ahmed K.

    , Deductive Rule, and Active Rule #12;1 1. Introduction A Data Warehouse is a repository that integratesInterBaseKB : Integrating a Knowledge Base System with a Multidatabase System for Data Warehousing Science Foundation under grants 9972883-EIA, 9974255-IIS and 9983248-EIA. Dept. of Informatics Aristotle

  7. Identification of threats using linguistics-based knowledge extraction.

    SciTech Connect (OSTI)

    Chew, Peter A.

    2008-09-01T23:59:59.000Z

    One of the challenges increasingly facing intelligence analysts, along with professionals in many other fields, is the vast amount of data which needs to be reviewed and converted into meaningful information, and ultimately into rational, wise decisions by policy makers. The advent of the world wide web (WWW) has magnified this challenge. A key hypothesis which has guided us is that threats come from ideas (or ideology), and ideas are almost always put into writing before the threats materialize. While in the past the 'writing' might have taken the form of pamphlets or books, today's medium of choice is the WWW, precisely because it is a decentralized, flexible, and low-cost method of reaching a wide audience. However, a factor which complicates matters for the analyst is that material published on the WWW may be in any of a large number of languages. In 'Identification of Threats Using Linguistics-Based Knowledge Extraction', we have sought to use Latent Semantic Analysis (LSA) and other similar text analysis techniques to map documents from the WWW, in whatever language they were originally written, to a common language-independent vector-based representation. This then opens up a number of possibilities. First, similar documents can be found across language boundaries. Secondly, a set of documents in multiple languages can be visualized in a graphical representation. These alone offer potentially useful tools and capabilities to the intelligence analyst whose knowledge of foreign languages may be limited. Finally, we can test the over-arching hypothesis--that ideology, and more specifically ideology which represents a threat, can be detected solely from the words which express the ideology--by using the vector-based representation of documents to predict additional features (such as the ideology) within a framework based on supervised learning. In this report, we present the results of a three-year project of the same name. We believe these results clearly demonstrate the general feasibility of an approach such as that outlined above. Nevertheless, there are obstacles which must still be overcome, relating primarily to how 'ideology' should be defined. We discuss these and point to possible solutions.

  8. A Representation-Based Methodology for Developing High-Value Knowledge Engineering Systems: Theory and Applications

    E-Print Network [OSTI]

    Munger, Tyler Rey

    2012-01-01T23:59:59.000Z

    Knowledge Engineering . . . . . . . . . . . . . . . . . . . . . . .Knowledge Engineering . . . . . . . . . . . .to Analytics for Knowledge Engineering Approach . . . . .

  9. A knowledge-based verification method for dynamic access control policies

    E-Print Network [OSTI]

    Ryan, Mark

    . This abstraction of knowledge results in a simpler model, which makes the verification efficient, and is powerful may be a prior knowledge, or gained by exploring the system. In both cases, a verification method proposes a dynamic access control model supporting knowledge- based verification through reasoning about

  10. REDUCED-COMPLEXITY DECODING FOR CONCATENATED CODES BASED ON RECTANGULAR PARITY-CHECK CODES AND TURBO CODES

    E-Print Network [OSTI]

    Wong, Tan F.

    AND TURBO CODES John M. Shea and Tan F. Wong University of Florida Department of Electrical and Computer-check code (RPCC) with a turbo code. These concatenated codes are referred to as RPCC+turbo codes. RPCC+turbo codes have been shown to significantly outperform turbo codes in several scenarios [1],[2]. One

  11. Revision of DL-Lite Knowledge Bases Zhe Wang, Kewen Wang, and Rodney Topor

    E-Print Network [OSTI]

    Wang, Kewen

    for propositional logic to DLs but no specific revision operators were provided, e.g. [4, 5]. Recently, there haveRevision of DL-Lite Knowledge Bases Zhe Wang, Kewen Wang, and Rodney Topor Griffith University, Australia Abstract. We address the revision problem for knowledge bases (KBs) in De- scription Logics (DLs

  12. Preservation of Digital Data with Self-Validating, Self-Instantiating Knowledge-Based Archives

    E-Print Network [OSTI]

    Ludäscher, Bertram

    Preservation of Digital Data with Self-Validating, Self-Instantiating Knowledge-Based Archives and collection management. Our ap- proach is knowledge-based in the sense that the ingestion process can employ,marciano,mooreg@sdsc.edu Abstract Digital archives are dedicated to the long-term preservation of electronic information and have

  13. Knowledge-Based Automation of a Design Method for Concurrent Systems

    E-Print Network [OSTI]

    ÐAutomated software engineering, knowledge-based software engineering, software design, concurrent and realKnowledge-Based Automation of a Design Method for Concurrent Systems Kevin L. Mills, Senior Member to automate a software design method for concurrent systems. The approach uses multiple paradigms to represent

  14. PENMAN Upper Model Building a LargeScale Knowledge Base for Machine Translation

    E-Print Network [OSTI]

    Knight, Kevin

    f g et al. Abstract PENMAN Upper Model Building a Large­Scale Knowledge Base for Machine­ gineer to build up an index to a KB in a second language, such as Spanish or Japanese. USC is a three­site collabora­ tive effort to build a large­scale knowledge­based ma­ chine translation system

  15. V00306010057 rock check dam

    E-Print Network [OSTI]

    ¬« ¬« ¬« ¬« ¬« XY! 16-020 16-030(c) 16-026(l) 16-028(c) 16-026(l) V00306010057 rock check dam V00306010012 rock check dam V00306010040 rock check dam V00306010039 rock check dam V00306010058 rock check dam V00306010064 rock check dam V00306010061 rock check dam V00306010062 rock check dam V00306010063

  16. KNOWLEDGE-BASED SALES ADVISORY: EXPERIENCES AND FUTURE DIRECTIONS

    E-Print Network [OSTI]

    Jannach, Dietmar

    of such appli- cations, such as knowledge engineering, software maintenance, or testing. In addition, we are `Extended debugging support', `Automated extraction of product data from web sources', `Log mining for which no buying history is available. Finally, these systems do not work well for tech- nical goods like

  17. System and method for knowledge based matching of users in a network

    DOE Patents [OSTI]

    Verspoor, Cornelia Maria (Santa Fe, NM); Sims, Benjamin Hayden (Los Alamos, NM); Ambrosiano, John Joseph (Los Alamos, NM); Cleland, Timothy James (Los Alamos, NM)

    2011-04-26T23:59:59.000Z

    A knowledge-based system and methods to matchmaking and social network extension are disclosed. The system is configured to allow users to specify knowledge profiles, which are collections of concepts that indicate a certain topic or area of interest selected from an. The system utilizes the knowledge model as the semantic space within which to compare similarities in user interests. The knowledge model is hierarchical so that indications of interest in specific concepts automatically imply interest in more general concept. Similarity measures between profiles may then be calculated based on suitable distance formulas within this space.

  18. On-To-Knowledge: Ontology-based Tools for Knowledge Management

    E-Print Network [OSTI]

    van Harmelen, Frank

    ; (2) OIL, an ontology- based inference layer on top of the World-Wide Web; (3) an associated, distributed, and semi-structured documents typically found in large company intranets and the World-Wide Web

  19. Towards OWL-based Knowledge Representation in Petrology

    E-Print Network [OSTI]

    Shkotin, Alex; Kudryavtsev, Dmitry

    2011-01-01T23:59:59.000Z

    This paper presents our work on development of OWL-driven systems for formal representation and reasoning about terminological knowledge and facts in petrology. The long-term aim of our project is to provide solid foundations for a large-scale integration of various kinds of knowledge, including basic terms, rock classification algorithms, findings and reports. We describe three steps we have taken towards that goal here. First, we develop a semi-automated procedure for transforming a database of igneous rock samples to texts in a controlled natural language (CNL), and then a collection of OWL ontologies. Second, we create an OWL ontology of important petrology terms currently described in natural language thesauri. We describe a prototype of a tool for collecting definitions from domain experts. Third, we present an approach to formalization of current industrial standards for classification of rock samples, which requires linear equations in OWL 2. In conclusion, we discuss a range of opportunities arising ...

  20. Hypertext as a debugging tool for knowledge-based systems

    E-Print Network [OSTI]

    Schuette, John Frederick

    1990-01-01T23:59:59.000Z

    in the nature of the consultation. Therefore, the HESDE is a more productive method of debugging expert systems than the traditional traces. The impact of these findings on both hypertext and expert systems development is discussed and further work... the processing of the system. Also, apparently minor changes in an expert system may bring about drastic changes in the course of a consultation. Depending on the tool, such a change may make the debugging task harder for the knowledge engineer, it would...

  1. IGENPRO knowledge-based digital system for process transient diagnostics and management

    SciTech Connect (OSTI)

    Morman, J.A.; Reifman, J.; Wei, T.Y.C. [Argonne National Lab., IL (United States)] [and others

    1997-12-31T23:59:59.000Z

    Verification and validation issues have been perceived as important factors in the large scale deployment of knowledge-based digital systems for plant transient diagnostics and management. Research and development (R&D) is being performed on the IGENPRO package to resolve knowledge base issues. The IGENPRO approach is to structure the knowledge bases on generic thermal-hydraulic (T-H) first principles and not use the conventional event-basis structure. This allows for generic comprehensive knowledge, relatively small knowledge bases and above all the possibility of T-H system/plant independence. To demonstrate concept feasibility the knowledge structure has been implemented in the diagnostic module PRODIAG. Promising laboratory testing results have been obtained using data from the full scope Braidwood PWR operator training simulator. This knowledge structure is now being implemented in the transient management module PROMANA to treat unanticipated events and the PROTREN module is being developed to process actual plant data. Achievement of the IGENPRO R&D goals should contribute to the acceptance of knowledge-based digital systems for transient diagnostics and management.

  2. Learning is Change in Knowledge: Knowledge-based Security for Dynamic Policies

    E-Print Network [OSTI]

    Chong, Stephen

    information, the security policy to enforce on information frequently changes: new users join the system, old a language-based model for specifying, reasoning about, and enforcing information security in systems confidential information may provide a different attacker with no new information. A program that is secure

  3. SU-E-T-80: Comparison of Fluence-Based RapidArc QAs Using EPID and MapCHECK 2

    SciTech Connect (OSTI)

    Jin, H; Jesseph, F; Ahmad, S [Oklahoma Univ. Health Science Ctr., Oklahoma City, OK (United States)

    2014-06-01T23:59:59.000Z

    Purpose: To compare the Varian aS-1000 EPID imager to the isocentrically mounted MapCHECK 2 diode array for RapidArc QAs as a function of photon beam energy. Methods: A Varian TrueBeam STx with an aS-1000 digital imaging panel was used to acquire RapidArc QA images for 13 patient plans; each plan QA was performed at 6, 8, 10 and 15MV energies. The Portal Dose Image Prediction algorithm in the Varian Eclipse treatment planning system (TPS) was used to create the comparison image for the EPID acquisition. A Sun Nuclear MapCHECK 2 diode array on an isocentric mounting fixture with 5 cm water-equivalent buildup was also used for the RapidArc QAs. A composite dose plane was taken from the Eclipse TPS for comparison to the MapCHECK 2 measurements. A gamma test was implemented in the Sun Nuclear Patient software with 10% threshold and absolute comparison for both QA methods. The two-tailed paired t-test was employed to analyze the statistical significance between two methods at the 95% confidence level. Results: The average gamma passing rates were greater than 95% at 3%/3mm using both methods for all four energies. The average passing rates were within 2.5% and 1.1% of each other when analyzed at 2%/2mm and 3%/3mm conditions, respectively. The EPID passing rates were somewhat better than the MapCHECK 2 when analyzed at 1%/1mm condition; this difference decreased with increasing energy (9.1% at 6MV to 2.7% at 15MV). The differences were not statistically significant for all criteria and energies (p-value ã 0.05). Conclusion: EPID-based RapidArc QA results are comparable to MapCHECK 2 when using 3%/3mm criteria at all four energies. EPID-based QA shows potential for being the superior device under strict gamma criteria.

  4. V01406010015 rock check dam

    E-Print Network [OSTI]

    XY! ¬« ¬« V01406010015 rock check dam V01406010014 rock check dam V01406010013 rock check dam 1501403010012 earthen berm V01403010008 earthen berm V01406010003 rock check dam V01406010004 rock check dam V01406010010 rock check dam V01406010011 rock check dam 15-0651 15-0307 15-0588 15-0532 15-0575 stormdrain 7160

  5. EXAMPLE FOR COMPLETE MANUSCRIPT STRATEGIC KNOWLEDGE MANAGEMENT IN SME BASED ON

    E-Print Network [OSTI]

    EXAMPLE FOR COMPLETE MANUSCRIPT STRATEGIC KNOWLEDGE MANAGEMENT IN SME BASED ON INNOVATION TRANSFER University of Technology Cottbus, Germany ABSTRACT Added value for SME can be determine as knowledge question: whether a given algorithm that enables capital intellectual in SME index and implemented

  6. Knowledge-based Information Agents Xiaoying Gao 1 and Leon Sterling 2

    E-Print Network [OSTI]

    Gao, Xiaoying "Sharon"

    Knowledge-based Information Agents Xiaoying Gao 1 and Leon Sterling 2 1 School of Mathematical of Computer Science and Software Engineering The University of Melbourne Victoria, 3010, Australia leon as an inference engine. We assume the knowledge can be separated from the information extraction process. Instead

  7. A knowledge-based control paradigm for real-time systems

    E-Print Network [OSTI]

    Painter, John H.; Lin, S.K.; Glass, E.

    1988-08-24T23:59:59.000Z

    The authors examine the application of knowledge-based symbolic control to the management of execution and configuration of a complex numerical control system. Symbolic processing is used to implement inference of system state and internal...

  8. Preliminary Design of the APIARY for VLSI Support of Knowledge-Based Systems

    E-Print Network [OSTI]

    Hewitt, Carl

    Knowledge-based applications will require vastly increased computational resources to achieve their goals. We are working on the development of a VLSI Message Passing Architecture to meet this need. As a first step we ...

  9. A Dredging Knowledge-Base Expert System for Pipeline Dredges with Comparison to Field Data 

    E-Print Network [OSTI]

    Wilson, Derek Alan

    2011-02-22T23:59:59.000Z

    A Pipeline Analytical Program and Dredging Knowledge{Base Expert{System (DKBES) determines a pipeline dredge's production and resulting cost and schedule. Pipeline dredge engineering presents a complex and dynamic process necessary to maintain...

  10. Knowledge-based Specification of Robot Motions Moritz Tenorth and Georg Bartels and Michael Beetz1

    E-Print Network [OSTI]

    Knowledge-based Specification of Robot Motions Moritz Tenorth and Georg Bartels and Michael Beetz1, Germany E-mail: {tenorth, georg.bartels, beetz}@cs.uni-bremen.de Figure 1. Two views of a pouring task

  11. A KnowledgeBased Approach for Retrieving Images by Content \\Lambda

    E-Print Network [OSTI]

    California at Los Angeles, University of

    image based on the standard deviation of the features. Independent of the target data values, the same. In an image data space, many features are based on multiple attributes. For example, location requiresA Knowledge­Based Approach for Retrieving Images by Content \\Lambda Chih­Cheng Hsu, Wesley W. Chu

  12. J00206010020 rock check dam

    E-Print Network [OSTI]

    XY! J00206010020 rock check dam J00206010023 rock check dam 09-009 09-009 09-009 PJ-SMA-2 0.901 Acres J00206010021 rock check dam J00206010019 rock check dam J00206010014 rock check dam J00203010007 Smith DATE: 14-November-2014 REVISION NUMBER: 8 XY! IP sampler location Berm Channel/swale Check dam

  13. T00406010008 rock check dam

    E-Print Network [OSTI]

    XY! ¬« T00406010008 rock check dam T00406010009 rock check dam T00406010010 rock check dam T00406010011 rock check dam T-SMA-2.85 0.344 Acres 35-014(g) 35-016(n) T00406010005 rock check dam T00406010006 rock check dam T00403090004 curb T00402040007 established vegetation, green hatch area 7200 7200 7180

  14. Metered Data Analysis and Knowledge Based Methods that Reduce HVAC Operation and Maintenance Problems

    E-Print Network [OSTI]

    Haberl, J. S.; Smith, L.; Kreider, J. F.

    1988-01-01T23:59:59.000Z

    ehown. The ice rink and steam heat reclaim tend to reduce readinge on the D.H.W. converter, hence they are included ae negative loads. This end-uae distribution diagram eerved ae a basic framework for the construction of the rule- base. were either... containing a gymnaeium, a full-eize indoor ice rink, competition eviming and diving pools, handball and racketball courte, a lobby, men'e and women's locker roome, a eyeteme exerciee room, a free-weight room, equipment check- out, a laundry...

  15. Toward a consistency cross-check of eddy covariance flux–based and biometric estimates of ecosystem carbon balance

    E-Print Network [OSTI]

    2009-01-01T23:59:59.000Z

    estimates of annual carbon sequestration in a Sitka spruce (carbon cycling in a temperate forest: Radiocarbon-based estimates of residence times, sequestration

  16. Toward a consistency cross-check of eddy covariance flux–based and biometric estimates of ecosystem carbon balance

    E-Print Network [OSTI]

    2009-01-01T23:59:59.000Z

    based and biometric estimates of ecosystem carbon balance S.Uncertainty of annual net ecosystem productivity estimatedand par- titioning of ecosystem respiration in a southern

  17. A knowledge-based supervisory control system for a flexible manufacturing system

    E-Print Network [OSTI]

    Hwang, Jyh-Chen

    1986-01-01T23:59:59.000Z

    displays, or call arbitrary LISP functions. For example, each process operation in the FBS knowledge base has a slot called "operation" whose function performs the desired activities as shown in Figure 3. 3. ROBOT1-IN IS-A: PART-OPERATION-STEP BEFORE...' SCIENCE Deceaber 1986 Sapor Sub/set: Industrial EnGineerinG A KNOWLEDGE-BASED SUPERVISORY CONTROL SYSTEH f" OR A Ff EXXBLE t(ANUPACTURING SYSTEN A Thesis by Approved as to style and content by: Robe E. (Chairman ommi ee) g() ~~~C ltd~ Donald K...

  18. W02106010008 rock check dam

    E-Print Network [OSTI]

    W-SMA-14.1 5.169 Acres W02106010008 rock check dam W02106010009 rock check dam W02106010010 rock check dam W02106010011 rock check dam W02106010012 rock check dam W02103010018 earthen berm W02103010016 dam Established vegetation Seed and mulch Sediment trap/basin Gabion Cap SWMU boundary SMA drainage

  19. Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods

    E-Print Network [OSTI]

    Wollbold, Johannes; Ganter, Bernhard

    2008-01-01T23:59:59.000Z

    Our aim is to build a set of rules, such that reasoning over temporal dependencies within gene regulatory networks is possible. The underlying transitions may be obtained by discretizing observed time series, or they are generated based on existing knowledge, e.g. by Boolean networks or their nondeterministic generalization. We use the mathematical discipline of formal concept analysis (FCA), which has been applied successfully in domains as knowledge representation, data mining or software engineering. By the attribute exploration algorithm, an expert or a supporting computer program is enabled to decide about the validity of a minimal set of implications and thus to construct a sound and complete knowledge base. From this all valid implications are derivable that relate to the selected properties of a set of genes. We present results of our method for the initiation of sporulation in Bacillus subtilis. However the formal structures are exhibited in a most general manner. Therefore the approach may be adapte...

  20. Incorporating Knowledge of Secondary Structures in a L-System-Based Encoding

    E-Print Network [OSTI]

    Fernandez, Thomas

    Incorporating Knowledge of Secondary Structures in a L-System-Based Encoding for Protein Folding.Krasnogor@nottingham.ac.uk Abstract. An encoding scheme for protein folding on lattice models, inspired by parametric L that the occurrence of motifs and sub-structures is an important component in protein folding, and these sub

  1. eMMaC: KnowledgeBased Color Critiquing Support for Novice Multimedia Authors

    E-Print Network [OSTI]

    Nakakoji, Kumiyo

    eMMaC: Knowledge­Based Color Critiquing Support for Novice Multimedia Authors Kumiyo Nakakoji, 1 in multimedia authoring has mainly focused on increasing features available to the title designer. While multimedia authoring system does not solve fundamental problems inherent in multimedia authoring tasks

  2. Italsim: A Knowledge-Based Simulation of a PCB Manufacturing Plant

    E-Print Network [OSTI]

    McLaren, Bruce Martin

    Italsim: A Knowledge-Based Simulation of a PCB Manufacturing Plant Claudio Brancaleoni, Luca Bugno and simulate a printed circuit board (PCB) manufacturing plant. The primary contribution of the system is its be executed by loading, as a starting state, a snapshot of a dynamic plant configuration. Italsim is currently

  3. A generic knowledge Model for SME Supply Chain Based on Multiagent Paradigm

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A generic knowledge Model for SME Supply Chain Based on Multiagent Paradigm Jihene Tounsi1 Enterprises (SME). These companies evolve in an unstable and complex network. In order to guarantee its role in a supply chain, SME must be able to support the inherent requirements of the supply chain (low lead times

  4. Japan-Mexico Rectors' Summit "Building-up innovative relations for a knowledge-based society"

    E-Print Network [OSTI]

    Katsumoto, Shingo

    Japan-Mexico Rectors' Summit "Building-up innovative relations for a knowledge-based society" Joint Statement On June 29, 2011, the Japan-Mexico Rectors' Summit was hosted by the University of Tokyo, at which the importance of elevating the strategic partnership between Mexico and Japan to a new stage through

  5. ISPE: A knowledge-based system for fluidization studies. 1990 Annual report

    SciTech Connect (OSTI)

    Reddy, S.

    1991-01-01T23:59:59.000Z

    Chemical engineers use mathematical simulators to design, model, optimize and refine various engineering plants/processes. This procedure requires the following steps: (1) preparation of an input data file according to the format required by the target simulator; (2) excecuting the simulation; and (3) analyzing the results of the simulation to determine if all ``specified goals`` are satisfied. If the goals are not met, the input data file must be modified and the simulation repeated. This multistep process is continued until satisfactory results are obtained. This research was undertaken to develop a knowledge based system, IPSE (Intelligent Process Simulation Environment), that can enhance the productivity of chemical engineers/modelers by serving as an intelligent assistant to perform a variety tasks related to process simulation. ASPEN, a widely used simulator by the US Department of Energy (DOE) at Morgantown Energy Technology Center (METC) was selected as the target process simulator in the project. IPSE, written in the C language, was developed using a number of knowledge-based programming paradigms: object-oriented knowledge representation that uses inheritance and methods, rulebased inferencing (includes processing and propagation of probabilistic information) and data-driven programming using demons. It was implemented using the knowledge based environment LASER. The relationship of IPSE with the user, ASPEN, LASER and the C language is shown in Figure 1.

  6. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Yuan Feng; Nengkun Yu; Mingsheng Ying

    2013-11-14T23:59:59.000Z

    Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations. So, it is indispensable to develop techniques of verifying and debugging quantum cryptographic systems. Model-checking has proved to be effective in the verification of classical cryptographic protocols, but an essential difficulty arises when it is applied to quantum systems: the state space of a quantum system is always a continuum even when its dimension is finite. To overcome this difficulty, we introduce a novel notion of quantum Markov chain, specially suited to model quantum cryptographic protocols, in which quantum effects are entirely encoded into super-operators labelling transitions, leaving the location information (nodes) being classical. Then we define a quantum extension of probabilistic computation tree logic (PCTL) and develop a model-checking algorithm for quantum Markov chains.

  7. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Feng, Yuan; Ying, Mingsheng

    2012-01-01T23:59:59.000Z

    Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations. So, it is indispensable to develop techniques of verifying and debugging quantum cryptographic systems. Model-checking has proved to be effective in the verification of classical cryptographic protocols, but an essential difficulty arises when it is applied to quantum systems: the state space of a quantum system is always a continuum even when its dimension is finite. To overcome this difficulty, we introduce a novel notion of quantum Markov chain, specially suited to model quantum cryptographic protocols, in which quantum effects are entirely encoded into super-operators labelling transitions, leaving the location information (nodes) being classical. Then we define a quantum extension of probabilistic computation tree logic (PCTL) and develop a model-checking algorithm for quantum Markov c...

  8. STEP Intern Reference Check Sheet

    Broader source: Energy.gov [DOE]

    STEP Intern Reference Check Sheet, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  9. A knowledge base approach to the design of tension leg platforms

    E-Print Network [OSTI]

    Rijken, Oriol Rafael

    1991-01-01T23:59:59.000Z

    and braces. The platform is attached to the subsea base by means of tt, tethers and has tt, risers. Though the platform 13 shown in Fig. 2 has four columns which is consistent with popular designs but for increased versatility of the knowledge base... height, I represents the length of the tether, H is the water depth and a is the platform draft. In this study we assume that the subsea base doesn't have any height therefore the tether length plus the draft equals the water depth. The on...

  10. Knowledge based ranking algorithm for comparative assessment of post-closure care needs of closed landfills

    SciTech Connect (OSTI)

    Sizirici, Banu, E-mail: bsy3@case.edu [Case Western Reserve University, Civil Engineering Department, 2104 Adelbert Road, Bingham Bld. Room: 216, Cleveland, OH 44106 (United States); Tansel, Berrin; Kumar, Vivek [Florida International University, Civil and Environmental Engineering Department, Miami, FL (United States)

    2011-06-15T23:59:59.000Z

    Post-closure care (PCC) activities at landfills include cap maintenance; water quality monitoring; maintenance and monitoring of the gas collection/control system, leachate collection system, groundwater monitoring wells, and surface water management system; and general site maintenance. The objective of this study was to develop an integrated data and knowledge based decision making tool for preliminary estimation of PCC needs at closed landfills. To develop the decision making tool, 11 categories of parameters were identified as critical areas which could affect future PCC needs. Each category was further analyzed by detailed questions which could be answered with limited data and knowledge about the site, its history, location, and site specific characteristics. Depending on the existing knowledge base, a score was assigned to each question (on a scale 1-10, as 1 being the best and 10 being the worst). Each category was also assigned a weight based on its relative importance on the site conditions and PCC needs. The overall landfill score was obtained from the total weighted sum attained. Based on the overall score, landfill conditions could be categorized as critical, acceptable, or good. Critical condition indicates that the landfill may be a threat to the human health and the environment and necessary steps should be taken. Acceptable condition indicates that the landfill is currently stable and the monitoring should be continued. Good condition indicates that the landfill is stable and the monitoring activities can be reduced in the future. The knowledge base algorithm was applied to two case study landfills for preliminary assessment of PCC performance.

  11. Knowledge base expert system control of spatial xenon oscillations in pressurized water reactors

    SciTech Connect (OSTI)

    Alten, S.

    1992-01-01T23:59:59.000Z

    Nuclear reactor operators are required to pay special attention to spatial xenon oscillations during the load-follow operation of pressurized water reactors. They are expected to observe the axial offset of the core, and to estimate the correct time and amount of necessary control action based on heuristic rules given in axial xenon oscillations are knowledge intensive, and heuristic in nature. An expert system, ACES (Axial offset Control using Expert Systems) is developed to implement a heuristic constant axial offset control procedure to aid reactor operators in increasing the plant reliability by reducing the human error component of the failure probability. ACES is written in a production system language, OPS5, based on the forward chaining algorithm. It samples reactor data with a certain time interval in terms of measurable parameters, such as the power, period, and the axial offset of the core. It then processes the core status utilizing a set of equations which are used in a back of the envelope calculations by domain experts. Heuristic rules of ACES identify the control variable to be used among the full and part length control rods and boron concentration, while a knowledge base is used to determine the amount of control. ACES is designed as a set of generic rules to avoid reducing the system into a set of patterns. Instead ACES evaluates the system, determines the necessary corrective actions in terms of reactivity insertion, and provides this reactivity insertion using the control variables. The amount of control action is determined using a knowledge base which consists of the differential rod worth curves, and the boron reactivity worth of a given reactor. Having the reactor dependent parameters in its knowledge base, ACES is applicable to an arbitrary reactor for axial offset control purposes.

  12. Response time satisfaction in real-time knowledge-based systems

    E-Print Network [OSTI]

    Frank, Deborah Lee

    1990-01-01T23:59:59.000Z

    vehicles or plant operations. Planning systems have already been used extensively in robots and autonomous vehicles. However, integrating knowledge-based systems into real-time environments is difficult because they cannot always respond to external... [11]. There is a natural niche for expert systems and planning systems in real-time computing environments. A common application of expert systems, system diagnosis, can be integrated into many different real-time systems, such as autonomous...

  13. Use of advanced pattern-recognition and knowledge-based system in analyzing dynamometer cards

    SciTech Connect (OSTI)

    Schirmer, P.; Gay, J.C.; Toutain, P. (Total-CFP (US))

    1991-11-01T23:59:59.000Z

    A quick and accurate identification of downhole problems is essential in rod pumping to minimize operating costs and to maximize oil production. TOTAL-CFP developed a system to assist engineers in day-to-day oilfield operations in rod pumping. The system will make rod-pumping expertise available to field operations personnel. It provides a tool for improving data analysis and can be used as a training aid for engineers dealing with rod-pumping wells for the first time. This system has three subsystems: a dynamogram acquisition system, a dynamogram management system, and a knowledge-based system. This paper presents the knowledge-based system, which is used to diagnose downhole problems and to suggest corrective actions. To achieve these goals, the system applies advanced pattern-recognition techniques that consist mainly of structural pattern-recognition methods and hierarchical data structures called quadtrees. The diagnostics and recommendations are based on the analysis of surface dynamometer and downhole cards. The interface between the user and the system is very friendly. The system provides the user with graphical explanations of its diagnostics.

  14. An Introduction to Model Checking

    E-Print Network [OSTI]

    Wolper, Pierre

    expertise and is not yet sufficiently powerful to be widely usable. Model checking [CES86] is often thought­state systems and, though this limitation is no longer absolute, model checking is still only applicable aspect on which model checking diverges from traditional verification is that it is fully algorithmic

  15. Knowledge-base for the new human reliability analysis method, A Technique for Human Error Analysis (ATHEANA)

    SciTech Connect (OSTI)

    Cooper, S.E. [Science Application International Corp., Reston, VA (United States); Wreathall, J. [John Wreathall & Co., Dublin, OH (United States); Thompson, C.M., Drouin, M. [Nuclear Regulatory Commission, Washington, DC (United States); Bley, D.C. [Buttonwood Consulting, Inc., Oakton, VA (United States)

    1996-10-01T23:59:59.000Z

    This paper describes the knowledge base for the application of the new human reliability analysis (HRA) method, a ``A Technique for Human Error Analysis`` (ATHEANA). Since application of ATHEANA requires the identification of previously unmodeled human failure events, especially errors of commission, and associated error-forcing contexts (i.e., combinations of plant conditions and performance shaping factors), this knowledge base is an essential aid for the HRA analyst.

  16. A Molecular Mechanics Knowledge Base Applied to Template Based Structure Prediction

    E-Print Network [OSTI]

    Qu, Xiaotao

    2011-02-22T23:59:59.000Z

    -residue hairpin. It contains a 4:4 type IV turn 69,70 making up by residues 47-50 (sequence DATK), seven possible main-chain-to-main-chain hydrogen bonds, a hydrophobic core involves residue Trp43, Tyr45, Phe52 and Val 54 and a possible ion pair... the conclusion that our simulated dataset as well as our packing?oriented prediction method are useful for template based structure prediction. v DEDICATION To my wife Miao whom I love with all my heart and my parents who support me all the way here...

  17. Case-based reasoning on e-community knowledge Emmanuelle Gaillard1235

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    - edge. In order to preserve the quality of reasoning, we have designed a meta- knowledge model, called MKM, to manage knowledge coming from (non-expert) hal-00918518,version1-13Dec2013 Author manuscript in Section 3. Section 4 details the global process for meta-knowledge management, and Sec- tion 5 shows how

  18. A knowledge-based approach of seismic interpretation : horizon and dip-fault detection by means of cognitive vision.

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A knowledge-based approach of seismic interpretation : horizon and dip-fault detection by means presents preliminary results obtained through a new seismic interpretation methodology based on cognitive building process. The efforts currently made to improve seismic interpretation are mainly focused

  19. Proceedings of the 25th Seismic Research Review -- Nuclear Explosion Monitoring: Building the Knowledge Base

    SciTech Connect (OSTI)

    Chavez, Francesca C. [Editor; Mendius, E. Louise [Editor

    2003-09-23T23:59:59.000Z

    These proceedings contain papers prepared for the 25th Seismic Research Review -- Nuclear Explosion Monitoring: Building the Knowledge Base, held 23-25 September, 2003 in Tucson, Arizona. These papers represent the combined research related to ground-based nuclear explosion monitoring funded by the National Nuclear Security Administration (NNSA), Defense Threat Reduction Agency (DTRA), Air Force Research Laboratory (AFRL), US Army Space and Missile Defense Command, and other invited sponsors. The scientific objectives of the research are to improve the United States capability to detect, locate, and identify nuclear explosions. The purpose of the meeting is to provide the sponsoring agencies, as well as potential users, an opportunity to review research accomplished during the preceding year and to discuss areas of investigation for the coming year. For the researchers, it provides a forum for the exchange of scientific information toward achieving program goals, and an opportunity to discuss results and future plans. Paper topics include: seismic regionalization and calibration; detection and location of sources; wave propagation from source to receiver; the nature of seismic sources, including mining practices; hydroacoustic, infrasound, and radionuclide methods; on-site inspection; and data processing.

  20. Knowledge-based analysis of microarray gene expression data by using support vector machines

    SciTech Connect (OSTI)

    William Grundy; Manuel Ares, Jr.; David Haussler

    2001-06-18T23:59:59.000Z

    The authors introduce a method of functionally classifying genes by using gene expression data from DNA microarray hybridization experiments. The method is based on the theory of support vector machines (SVMs). SVMs are considered a supervised computer learning method because they exploit prior knowledge of gene function to identify unknown genes of similar function from expression data. SVMs avoid several problems associated with unsupervised clustering methods, such as hierarchical clustering and self-organizing maps. SVMs have many mathematical features that make them attractive for gene expression analysis, including their flexibility in choosing a similarity function, sparseness of solution when dealing with large data sets, the ability to handle large feature spaces, and the ability to identify outliers. They test several SVMs that use different similarity metrics, as well as some other supervised learning methods, and find that the SVMs best identify sets of genes with a common function using expression data. Finally, they use SVMs to predict functional roles for uncharacterized yeast ORFs based on their expression data.

  1. Check Estimates and Independent Costs

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1997-03-28T23:59:59.000Z

    Check estimates and independent cost estimates (ICEs) are tools that can be used to validate a cost estimate. Estimate validation entails an objective review of the estimate to ensure that estimate criteria and requirements have been met and well documented, defensible estimate has been developed. This chapter describes check estimates and their procedures and various types of independent cost estimates.

  2. Strategic Plan for Nuclear Energy -- Knowledge Base for Advanced Modeling and Simulation (NE-KAMS)

    SciTech Connect (OSTI)

    Rich Johnson; Kimberlyn C. Mousseau; Hyung Lee

    2011-09-01T23:59:59.000Z

    NE-KAMS knowledge base will assist computational analysts, physics model developers, experimentalists, nuclear reactor designers, and federal regulators by: (1) Establishing accepted standards, requirements and best practices for V&V and UQ of computational models and simulations, (2) Establishing accepted standards and procedures for qualifying and classifying experimental and numerical benchmark data, (3) Providing readily accessible databases for nuclear energy related experimental and numerical benchmark data that can be used in V&V assessments and computational methods development, (4) Providing a searchable knowledge base of information, documents and data on V&V and UQ, and (5) Providing web-enabled applications, tools and utilities for V&V and UQ activities, data assessment and processing, and information and data searches. From its inception, NE-KAMS will directly support nuclear energy research, development and demonstration programs within the U.S. Department of Energy (DOE), including the Consortium for Advanced Simulation of Light Water Reactors (CASL), the Nuclear Energy Advanced Modeling and Simulation (NEAMS), the Light Water Reactor Sustainability (LWRS), the Small Modular Reactors (SMR), and the Next Generation Nuclear Power Plant (NGNP) programs. These programs all involve computational modeling and simulation (M&S) of nuclear reactor systems, components and processes, and it is envisioned that NE-KAMS will help to coordinate and facilitate collaboration and sharing of resources and expertise for V&V and UQ across these programs. In addition, from the outset, NE-KAMS will support the use of computational M&S in the nuclear industry by developing guidelines and recommended practices aimed at quantifying the uncertainty and assessing the applicability of existing analysis models and methods. The NE-KAMS effort will initially focus on supporting the use of computational fluid dynamics (CFD) and thermal hydraulics (T/H) analysis for M&S of nuclear reactor systems, components and processes, and will later expand to include materials, fuel system performance and other areas of M&S as time and funding allow.

  3. The use case specification of actions in the goal oriented knowledge based learning environment

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    an adaptive control of the enhanced learning process according to the requirements of student's knowledge place the learning style preferred by the student, then suitable methodologies which allow performing and support a new paradigm focused on knowledge construction using experiential and collaborative learning

  4. Fuzzy Linguistic Knowledge Based Behavior Extraction for Building Energy Management Systems

    SciTech Connect (OSTI)

    Dumidu Wijayasekara; Milos Manic

    2013-08-01T23:59:59.000Z

    Significant portion of world energy production is consumed by building Heating, Ventilation and Air Conditioning (HVAC) units. Thus along with occupant comfort, energy efficiency is also an important factor in HVAC control. Modern buildings use advanced Multiple Input Multiple Output (MIMO) control schemes to realize these goals. However, since the performance of HVAC units is dependent on many criteria including uncertainties in weather, number of occupants, and thermal state, the performance of current state of the art systems are sub-optimal. Furthermore, because of the large number of sensors in buildings, and the high frequency of data collection, large amount of information is available. Therefore, important behavior of buildings that compromise energy efficiency or occupant comfort is difficult to identify. This paper presents an easy to use and understandable framework for identifying such behavior. The presented framework uses human understandable knowledge-base to extract important behavior of buildings and present it to users via a graphical user interface. The presented framework was tested on a building in the Pacific Northwest and was shown to be able to identify important behavior that relates to energy efficiency and occupant comfort.

  5. Soybean Knowledge Base (SoyKB): a Web Resource for Soybean Translational Genomics

    SciTech Connect (OSTI)

    Joshi, Trupti; Patil, Kapil; Fitzpatrick, Michael R.; Franklin, Levi D.; Yao, Qiuming; Cook, Jeffrey R.; Wang, Zhem; Libault, Marc; Brechenmacher, Laurent; Valliyodan, Babu; Wu, Xiaolei; Cheng, Jianlin; Stacey, Gary; Nguyen, Henry T.; Xu, Dong

    2012-01-17T23:59:59.000Z

    Background: Soybean Knowledge Base (SoyKB) is a comprehensive all-inclusive web resource for soybean translational genomics. SoyKB is designed to handle the management and integration of soybean genomics, transcriptomics, proteomics and metabolomics data along with annotation of gene function and biological pathway. It contains information on four entities, namely genes, microRNAs, metabolites and single nucleotide polymorphisms (SNPs). Methods: SoyKB has many useful tools such as Affymetrix probe ID search, gene family search, multiple gene/ metabolite search supporting co-expression analysis, and protein 3D structure viewer as well as download and upload capacity for experimental data and annotations. It has four tiers of registration, which control different levels of access to public and private data. It allows users of certain levels to share their expertise by adding comments to the data. It has a user-friendly web interface together with genome browser and pathway viewer, which display data in an intuitive manner to the soybean researchers, producers and consumers. Conclusions: SoyKB addresses the increasing need of the soybean research community to have a one-stop-shop functional and translational omics web resource for information retrieval and analysis in a user-friendly way. SoyKB can be publicly accessed at http://soykb.org/.

  6. Strategic Plan for Nuclear Energy -- Knowledge Base for Advanced Modeling and Simulation (NE-KAMS)

    SciTech Connect (OSTI)

    Kimberlyn C. Mousseau

    2011-10-01T23:59:59.000Z

    The Nuclear Energy Computational Fluid Dynamics Advanced Modeling and Simulation (NE-CAMS) system is being developed at the Idaho National Laboratory (INL) in collaboration with Bettis Laboratory, Sandia National Laboratory (SNL), Argonne National Laboratory (ANL), Utah State University (USU), and other interested parties with the objective of developing and implementing a comprehensive and readily accessible data and information management system for computational fluid dynamics (CFD) verification and validation (V&V) in support of nuclear energy systems design and safety analysis. The two key objectives of the NE-CAMS effort are to identify, collect, assess, store and maintain high resolution and high quality experimental data and related expert knowledge (metadata) for use in CFD V&V assessments specific to the nuclear energy field and to establish a working relationship with the U.S. Nuclear Regulatory Commission (NRC) to develop a CFD V&V database, including benchmark cases, that addresses and supports the associated NRC regulations and policies on the use of CFD analysis. In particular, the NE-CAMS system will support the Department of Energy Office of Nuclear Energy Advanced Modeling and Simulation (NEAMS) Program, which aims to develop and deploy advanced modeling and simulation methods and computational tools for reliable numerical simulation of nuclear reactor systems for design and safety analysis. Primary NE-CAMS Elements There are four primary elements of the NE-CAMS knowledge base designed to support computer modeling and simulation in the nuclear energy arena as listed below. Element 1. The database will contain experimental data that can be used for CFD validation that is relevant to nuclear reactor and plant processes, particularly those important to the nuclear industry and the NRC. Element 2. Qualification standards for data evaluation and classification will be incorporated and applied such that validation data sets will result in well-defined, well-characterized data. Element 3. Standards will be established for the design and operation of experiments for the generation of new validation data sets that are to be submitted to NE-CAMS that addresses the completeness and characterization of the dataset. Element 4. Standards will be developed for performing verification and validation (V&V) to establish confidence levels in CFD analyses of nuclear reactor processes; such processes will be acceptable and recognized by both CFD experts and the NRC.

  7. 5x20 Matrix for Knowledge Management Lifecycle Based on the Five C's Model and a Critical Review

    E-Print Network [OSTI]

    5x20 Matrix for Knowledge Management Lifecycle Based on the Five C's Model and a Critical Review the previous efforts that have investigated the models and frameworks of KM lifecycles. Furthermore of coming out and arising the five C's model to be adopted in organizations vis-à-vis other KM lifecycles

  8. SumTime-Turbine: A Knowledge-Based System to Communicate Gas Turbine Time-Series Data

    E-Print Network [OSTI]

    Reiter, Ehud

    SumTime-Turbine: A Knowledge-Based System to Communicate Gas Turbine Time-Series Data Jin Yu of Aberdeen Aberdeen, AB24 3UE, UK {jyu, ereiter, jhunter, ssripada}@csd.abdn.ac.uk Abstract: SumTime-Turbine produces textual summaries of archived time- series data from gas turbines. These summaries should help

  9. Knowledge-Based Schematics Drafting: Aesthetic Configuration as a Design Task

    E-Print Network [OSTI]

    Valdes-Perez, Raul E.

    Depicting an electrical circuit by a schematic is a tedious task that is a good candidate for automation. Programs that draft schematics with the usual algorithmic approach do not fully exploit knowledge of circuit function, ...

  10. KNOWLEDGE MANAGEMENT FOR INDUSTRIAL SAFETY, GENERIC RESOURCE PLATFORM COMBINED WITH AN ONTOLOGY BASED APPROACH

    E-Print Network [OSTI]

    Boyer, Edmond

    the regulatory framework to the details of a machine or a process but also includes the general knowledge about conclusions concerning the petrochemical industry, Z. Nivolianitou considers that there is a lack of proper

  11. Expression equivalence checking using interval analysis

    E-Print Network [OSTI]

    Ghodrat, Mohammad Ali; Givargis, Tony; Nicolau, Alex

    2006-01-01T23:59:59.000Z

    Z. Zhou and W. Burleson, “Equivalence checking of datapathsusing combinational equivalence for extensible processor,”et al. : EXPRESSION EQUIVALENCE CHECKING USING INTERVAL

  12. A survey of Existing V&V, UQ and M&S Data and Knowledge Bases in Support of the Nuclear Energy - Knowledge base for Advanced Modeling and Simulation (NE-KAMS)

    SciTech Connect (OSTI)

    Hyung Lee; Rich Johnson, Ph.D.; Kimberlyn C. Moussesau

    2011-12-01T23:59:59.000Z

    The Nuclear Energy - Knowledge base for Advanced Modeling and Simulation (NE-KAMS) is being developed at the Idaho National Laboratory in conjunction with Bettis Laboratory, Sandia National Laboratories, Argonne National Laboratory, Oak Ridge National Laboratory, Utah State University and others. The objective of this consortium is to establish a comprehensive knowledge base to provide Verification and Validation (V&V) and Uncertainty Quantification (UQ) and other resources for advanced modeling and simulation (M&S) in nuclear reactor design and analysis. NE-KAMS will become a valuable resource for the nuclear industry, the national laboratories, the U.S. NRC and the public to help ensure the safe operation of existing and future nuclear reactors. A survey and evaluation of the state-of-the-art of existing V&V and M&S databases, including the Department of Energy and commercial databases, has been performed to ensure that the NE-KAMS effort will not be duplicating existing resources and capabilities and to assess the scope of the effort required to develop and implement NE-KAMS. The survey and evaluation have indeed highlighted the unique set of value-added functionality and services that NE-KAMS will provide to its users. Additionally, the survey has helped develop a better understanding of the architecture and functionality of these data and knowledge bases that can be used to leverage the development of NE-KAMS.

  13. Development of knowledge Base Expert System for Natural treatment of Diabetes disease

    E-Print Network [OSTI]

    Jha, Sanjeev Kumar

    2012-01-01T23:59:59.000Z

    The development of expert system for treatment of Diabetes disease by using natural methods is new information technology derived from Artificial Intelligent research using ESTA (Expert System Text Animation) System. The proposed expert system contains knowledge about various methods of natural treatment methods (Massage, Herbal/Proper Nutrition, Acupuncture, Gems) for Diabetes diseases of Human Beings. The system is developed in the ESTA (Expert System shell for Text Animation) which is Visual Prolog 7.3 Application. The knowledge for the said system will be acquired from domain experts, texts and other related sources.

  14. Knowledge-based Scienti c Discovery in Geological Databases Cen Li and Gautam Biswas

    E-Print Network [OSTI]

    estimates of oil and gas reserves ?" In qualitative terms, good recoverable reserves have high hydrocarbon from oil elds in the Alaska Basin. Preliminary results demonstrate the e ectiveness of this method is be- coming crucial in oil exploration and production. It is common knowledge in the oil industry

  15. Integrity Checking for Uncertain Data Hendrik Decker

    E-Print Network [OSTI]

    Martinenghi, Davide

    , and to check them by making use of well-known methods for integrity checking. In the remainder of the paper, weIntegrity Checking for Uncertain Data Hendrik Decker Instituto Tecnol´ogico de Inform´atica E as semantic integrity constraints. Thus, imposing and checking such constraints provides a better control over

  16. Pet Groomer? Check this out....

    E-Print Network [OSTI]

    New Hampshire, University of

    Want to be a Pet Groomer? Check this out.... Costs for Students Registering through UNH Continuing. For more information and an application, contact: Thompson School of Applied Science Pet Grooming Diploma Program in Pet Grooming University of New Hampshire Thompson School of Applied Science Applied Animal

  17. Timed CTL Model Checking Lecture #16 of Advanced Model Checking

    E-Print Network [OSTI]

    Ábrahám, Erika

    = , if either: · for all x C: (x) > cx and (x) > cx, or · for any x, y C with (x) cx and (x) cx, and (y) cy(TA) is defined by: [s] = , [] = { s, | [] } c JPK 9 #12;Advanced model checking Example cx=2, cy=1 c JPK 10 from below and above by: |C|! xC cx Eval(C)/= number of regions |C|! 2|C|-1 xC (2cx + 2) where

  18. Foundations of Artificial Intelligence Knowledge Representation

    E-Print Network [OSTI]

    Qu, Rong

    To introduce knowledge acquisition and knowledge engineering. To explain how knowledge is taken from a human. Knowledge Acquisition #12;The field of knowledge engineering can be defined as the process of assessing problems, acquiring knowledge and building knowledge based systems. Knowledge Engineering #12;Problem

  19. Foundations of Artificial Intelligence Knowledge Acquisition

    E-Print Network [OSTI]

    Qu, Rong

    knowledge acquisition and knowledge engineering. To explain how knowledge is taken from a human before being of knowledge engineering can be defined as the process of assessing problems, acquiring knowledge and building knowledge based systems. Knowledge Engineering Problem assessment Data and knowledge acquisition Bottleneck

  20. A knowledge-based system for control of xenon-induced spatial power oscillations during load-follow operations

    SciTech Connect (OSTI)

    Chung, Sun-Kyo; Danofsky, R.A.; Spinrad, B.I.

    1988-01-01T23:59:59.000Z

    As is well known, large pressurized water reactors (PWRs) are subject to xenon-induced axial power oscillations at some time during a given cycle. Attention to this behavior is required during load-follow operations. A knowledge-based system for controlling xenon-induced spatial power oscillations is described. Experience with a limited set of load-follow patterns has demonstrated that the system is capable of providing advice on appropriate control actions. A simulation model, coupled with a rule-learning process, has been found to be a useful way for determining appropriate weights for the rules that relate power patterns and control actions.

  1. DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Experience in risk and functional analysis of large I&C systems. Good knowledge of Siemens PLCs (S7-400 series). Good knowledge of SCADA systems based EPICS and on COTS...

  2. Model-Checking A Tutorial Introduction

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Model-Checking A Tutorial Introduction Markus M¨uller-Olm1 , David Schmidt2 , and Bernhard Steffen1

  3. Understanding biological form: a knowledge based environment to study form change

    E-Print Network [OSTI]

    Tiwary, Ashutosh

    1986-01-01T23:59:59.000Z

    of the Brain. . . . . . . 32 Study Techniques for Neuroanatomical Structures . 34 Properties and Measures of Cellular Structures Cortical Cytoarchitectonics: A Macrostructure de6ned from Microstructure . . . . . . . . . . 41 Comparison of Cytoarchitecture...: Geometric Vlappings between Architectonic Boundaries . . . . . . . 64 Summary of Neuroanatomical Properties . . . . I1 Previous Studies in Computer Based Cytoarchitectural Vtlapping . . . . . . . . . i3 Landmark-Based klapping Elastic Boundary...

  4. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

    University of Edinburgh Edinburgh EH9 3JZ, UK email: cps@uk.ac.ed.dcs 1 Introduction Model checking is a very to view this method as essentially algorithmic, and consequently a very fruitful relationship between that in the nite-state case these two approaches, model checking as essentially algorithmic and model checking

  5. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

    University of Edinburgh Edinburgh EH9 3JZ, UK email: cps@uk.ac.ed.dcs 1 Introduction Model checking is a very to view this method as essentially algorithmic, and consequently a very fruitful relationship between that in the finite­state case these two approaches, model checking as essentially algorithmic and model checking

  6. Dynamic Testing of Check Valves William Rahmeyer

    E-Print Network [OSTI]

    Rahmeyer, William J.

    the web site http://www.engineering.usu.edu/Departments/cee/Faculty/rahm/check.html INTRODUCTION The twoDynamic Testing of Check Valves William Rahmeyer Professor of Civil and Environmental Engineering rahmeyer@fs.uwrl.usu.edu http://www.engineering.usu.edu/Departments/cee/Faculty/rahm/check.html #12

  7. Articulatory Control of HMM-based Parametric Speech Synthesis Driven by Phonetic Knowledge 

    E-Print Network [OSTI]

    Ling, Zhenhua; Richmond, Korin; Yamagishi, Junichi; Wang, Ren-Hua

    2008-01-01T23:59:59.000Z

    This paper presents a method to control the characteristics of synthetic speech flexibly by integrating articulatory features into a Hidden Markov Model (HMM)-based parametric speech synthesis system. In contrast to model ...

  8. Assessing Knowledge Based on the Geriatric Competencies for Emergency Medicine Residents

    E-Print Network [OSTI]

    Hogan, Teresita M; Hansoti, Bhakti; Chan, Shu B.

    2014-01-01T23:59:59.000Z

    for Geriatric Emergency Medicine. Acad Emerg Med. 2003;10:3.Effects of Evidence-Based Therapies. Am J Med. Medicine.www.downstate.edu/emergency_ medicine/geriatrics.html. Last

  9. Ontology Language to Support Description of Experiment Control System Semantics, Collaborative Knowledge-Base Design and Ontology Reuse

    SciTech Connect (OSTI)

    Vardan Gyurjyan, D Abbott, G Heyes, E Jastrzembski, B Moffit, C Timmer, E Wolin

    2009-10-01T23:59:59.000Z

    In this paper we discuss the control domain specific ontology that is built on top of the domain-neutral Resource Definition Framework (RDF). Specifically, we will discuss the relevant set of ontology concepts along with the relationships among them in order to describe experiment control components and generic event-based state machines. Control Oriented Ontology Language (COOL) is a meta-data modeling language that provides generic means for representation of physics experiment control processes and components, and their relationships, rules and axioms. It provides a semantic reference frame that is useful for automating the communication of information for configuration, deployment and operation. COOL has been successfully used to develop a complete and dynamic knowledge-base for experiment control systems, developed using the AFECS framework.

  10. Payroll Check Direct Deposit Authorization

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)IntegratedSpeeding access toTestPhysicsParticipantsPartnersC.Payroll Check Direct

  11. A Knowledge-Based Approach for Power-Plant Availability Analysis

    E-Print Network [OSTI]

    Reddy, A. Chandra Shekar

    1988-01-01T23:59:59.000Z

    , this is a very powerful approach. When common- mode failures are to be included, this approach is not valid and the transition rate matrix approach needs to be used. C. GO Block Logic System The GO Availability Analysis Methodology was developed by EPRI... in Fig. 14. is based upon one of the designs developed by EPRI to aid in the evaluation of the economic benefits of potential improvements in advanced gas turbine reliaibility. The failure snd repair rates are based on previous historic data. Both...

  12. Conference Proceedings distributing knowledge in building Title: An Internet-based Building Simulation Quality

    E-Print Network [OSTI]

    Amor, Robert

    -based Building Simulation Quality Assurance System Author(s): Shengjiang Lu1 , Robert Amor1 and Michael Donn2 describes the development of a distributed building simulation quality control system. The basic premise (building simulation quality assurance) was proposed, building upon the ideals of the semantic web (Donn et

  13. Knowledge-based intelligent controller architecture for a real-time dynamic system

    E-Print Network [OSTI]

    Glass, Emily Ann

    1990-01-01T23:59:59.000Z

    Painter (Chair ol' Committee) c L C c Sallie Sheppard (iVIember) Shiping Li (3''Iernber) Karen Watson (itlember) Jo Howze (flea d of Department) ivlay 1990 ABSTRACT Ifnov, ledge-Base&i Intelligent Controller Architecturr. for a Real... of the Power System 'vlodel 1. The Circuit Itlodel 2. Continuous-Time State Analysis 3. Discretization 4. Feedback o. Simulation Peculis, rities . . 9 . . . 9 . . . 19 . . . 30 . 33 III. IIvIPLEUIEVTATIOrV OF THE ItVTELLIGEXT CONTROLLER . . . . . 39...

  14. SUPPORTING DOMAIN SPECIFIC WEB-BASED SEARCH USING HEURISTIC KNOWLEDGE EXTRACTION

    E-Print Network [OSTI]

    Gunanathan, Sudharsan

    2010-01-16T23:59:59.000Z

    extracted. The various heuristics that are used for the 3 features are described below. Date Pattern based date search: The news articles specify dates in some specific formats such as ? ?16th July 2006?, ?02/16/2006?, ?16-JUL-06?. So pattern... is supervised learning, where the model should approximate the mapping between the input Manuscript received February 27, 2006; revised January 6, 2007. This paper was recommended by Editor L. Mark. The authors are with Honda Research Institute Europe, Offenbach...

  15. Model Checking for Database Theoreticians Moshe Y. Vardi 1#

    E-Print Network [OSTI]

    Vardi, Moshe Y.

    techniques to establish the correctness of the system under verification with respect to a given property. Model checking is an algorithmic­verification technique that is based on a small number of key ideas to database verification. 1 Introduction The recent growth in computer power and connectivity has changed

  16. Model checking Timed CSP Philip Armstrong Gavin Lowe Joel Ouaknine

    E-Print Network [OSTI]

    Ouaknine, Joël

    Model checking Timed CSP Philip Armstrong Gavin Lowe Jo¨el Ouaknine A.W. Roscoe Oxford University Department of Computer Science Abstract Though Timed CSP was developed 25 years ago and the CSP for Timed CSP. In this paper we report on the creation of such a version, based on the digitisation results

  17. Static Consistency Checking for Distributed Specifications

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Static Consistency Checking for Distributed Specifications Christian Nentwich, Wolfgang Emmerich, UK {c.nentwich,w.emmerich,a.finkelstein}@cs.ucl.ac.uk Abstract Software engineers building a complex

  18. High Level Requirements for the Nuclear Energy -- Knowledge Base for Advanced Modeling and Simulation (NE-KAMS)

    SciTech Connect (OSTI)

    Rich Johnson; Hyung Lee; Kimberlyn C. Mousseau

    2011-09-01T23:59:59.000Z

    The US Department of Energy, Office of Nuclear Energy (DOE-NE), has been tasked with the important mission of ensuring that nuclear energy remains a compelling and viable energy source in the U.S. The motivations behind this mission include cost-effectively meeting the expected increases in the power needs of the country, reducing carbon emissions and reducing dependence on foreign energy sources. In the near term, to ensure that nuclear power remains a key element of U.S. energy strategy and portfolio, the DOE-NE will be working with the nuclear industry to support safe and efficient operations of existing nuclear power plants. In the long term, to meet the increasing energy needs of the U.S., the DOE-NE will be investing in research and development (R&D) and working in concert with the nuclear industry to build and deploy new, safer and more efficient nuclear power plants. The safe and efficient operations of existing nuclear power plants and designing, licensing and deploying new reactor designs, however, will require focused R&D programs as well as the extensive use and leveraging of advanced modeling and simulation (M&S). M&S will play a key role in ensuring safe and efficient operations of existing and new nuclear reactors. The DOE-NE has been actively developing and promoting the use of advanced M&S in reactor design and analysis through its R&D programs, e.g., the Nuclear Energy Advanced Modeling and Simulation (NEAMS) and Consortium for Advanced Simulation of Light Water Reactors (CASL) programs. Also, nuclear reactor vendors are already using CFD and CSM, for design, analysis, and licensing. However, these M&S tools cannot be used with confidence for nuclear reactor applications unless accompanied and supported by verification and validation (V&V) and uncertainty quantification (UQ) processes and procedures which provide quantitative measures of uncertainty for specific applications. The Nuclear Energy Knowledge base for Advanced Modeling and Simulation (NE-KAMS) is being developed at the Idaho National Laboratory in conjunction with Bettis Laboratory, Sandia National Laboratories, Argonne National Laboratory, Utah State University and others with the objective of establishing a comprehensive and web-accessible knowledge base that will provide technical services and resources for V&V and UQ of M&S in nuclear energy sciences and engineering. The knowledge base will serve as an important resource for technical exchange and collaboration that will enable credible and reliable computational models and simulations for application to nuclear reactor design, analysis and licensing. NE-KAMS will serve as a valuable resource for the nuclear industry, academia, the national laboratories, the U.S. Nuclear Regulatory Commission (NRC) and the public and will help ensure the safe, economical and reliable operation of existing and future nuclear reactors. From its inception, NE-KAMS will directly support nuclear energy research, development and demonstration programs within the U.S. Department of Energy (DOE), including the CASL, NEAMS, Light Water Reactor Sustainability (LWRS), Small Modular Reactors (SMR), and Next Generation Nuclear Power Plant (NGNP) programs. These programs all involve M&S of nuclear reactor systems, components and processes, and it is envisioned that NE-KAMS will help to coordinate and facilitate collaboration and sharing of resources and expertise for V&V and UQ across these programs.

  19. Semantic Interoperability in the Fixed Income Securities Industry: A Knowledge Representation Architecture for Dynamic Integration of Web-Based Information

    E-Print Network [OSTI]

    Moulton, Allen

    2003-02-10T23:59:59.000Z

    We examine a knowledge representation architecture to support context interchange mediation. For autonomous receivers and sources sharing a common subject domain, ...

  20. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

    Fortuna: Model Checking Priced Probabilistic Timed Automata Jasper Berendsen, David N. Jansen.O. Box 9010, 6500 GL Nijmegen, the Netherlands Abstract. We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real

  1. Check Aid Status & Loans on ISIS

    E-Print Network [OSTI]

    Fang, Yuguang "Michael"

    Check Aid Status & Loans on ISIS As a University of Florida (UF) financial aid applicant, you can business using ISIS (the UF Integrated Student Information System): www.isis.ufl.edu 1.CheCk Aid StAtuS/AwArdS on iSiS You are responsible for keeping track of your financial aid file and awards, including

  2. Knowledge-based control 

    E-Print Network [OSTI]

    Painter, John H.

    1992-03-17T23:59:59.000Z

    parts; comprising the eyetern (plant) under control, an inferential estima- tor, and a memoryless controller. 138 . - - Authorized licensed use limited to: Texas A M University. Downloaded on February 18,2010 at 14:24:05 EST from IEEE Xplore... modes are tems exhibiting a finite (or at least countable) num- ber of states, a theoretical basis parallel to that ex- 139 Authorized licensed use limited to: Texas A M University. Downloaded on February 18,2010 at 14:24:05 EST from IEEE Xplore...

  3. Dojat et al. International Journal of Clinical Monitoring and Computing. 1992;9:239-250. A KNOWLEDGE-BASED SYSTEM FOR ASSISTED VENTILATION OF

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    ;9:239-250. A KNOWLEDGE-BASED SYSTEM FOR ASSISTED VENTILATION OF PATIENTS IN INTENSIVE CARE UNITS. Michel DOJAT, Laurent with respiratory insufficiency from mechanical ventilation may be complex and requires expertise obtained by long respiratory activity is assisted by a Hamilton Veolar ventilator delivering a positive pressure plateau during

  4. The Knowledge Based Bio-Economy at work: from large scale experiences to instruments for rural and local development G. Henry and E.J. Trigo

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    The Knowledge Based Bio-Economy at work: from large scale experiences to instruments for rural BIO-ECONOMY AT WORK: FROM LARGE SCALE EXPERIENCES TO INSTRUMENTS FOR RURAL AND LOCAL DEVELOPMENT Guy Email: ejtrigo@gmail.com Abstract - The new bio-economy is increasingly seen as a workable alternative

  5. Published in `AI Communications 9 journal', pp1-17. Published by IOS Press (1996) TIGERTM: Knowledge Based Gas Turbine Condition Monitoring

    E-Print Network [OSTI]

    Travé-Massuyès, Louise

    : Knowledge Based Gas Turbine Condition Monitoring Dr. Robert Milne and Dr. Charlie Nicol Intelligent, 11 Colon, Barcelona, 08222 Terrassa. Spain 1. INTRODUCTION Given the critical nature of gas turbines and increasing the availability of the gas turbine. Routine preventative maintenance techniques have been used

  6. Knowledge information management toolkit and method

    DOE Patents [OSTI]

    Hempstead, Antoinette R.; Brown, Kenneth L.

    2006-08-15T23:59:59.000Z

    A system is provided for managing user entry and/or modification of knowledge information into a knowledge base file having an integrator support component and a data source access support component. The system includes processing circuitry, memory, a user interface, and a knowledge base toolkit. The memory communicates with the processing circuitry and is configured to store at least one knowledge base. The user interface communicates with the processing circuitry and is configured for user entry and/or modification of knowledge pieces within a knowledge base. The knowledge base toolkit is configured for converting knowledge in at least one knowledge base from a first knowledge base form into a second knowledge base form. A method is also provided.

  7. Completeness and Complexity of Bounded Model Checking #

    E-Print Network [OSTI]

    Ouaknine, Joël

    of an exponent between this procedure and standard LTL model checking. We discuss ways to bridge this gap by the Semiconductor Research Corporation (SRC) under contract no. 99­TJ­684, the National Science Foundation (NSF

  8. Completeness and Complexity of Bounded Model Checking

    E-Print Network [OSTI]

    Ouaknine, Joël

    of an exponent between this procedure and standard LTL model checking. We discuss ways to bridge this gap reaches some pre-computed threshold, which indicates that This research is supported by the Semiconductor

  9. Practical API Protocol Checking with Access Permissions

    E-Print Network [OSTI]

    for a large Java standard API with our approach. We also specify several other Java APIs and identify standard APIs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 4.2 ProtocolPractical API Protocol Checking with Access Permissions Kevin Bierhoff Nels E. Beckman Jonathan

  10. Asserting and Checking Determinism for Multithreaded Programs

    E-Print Network [OSTI]

    Sen, Koushik

    Asserting and Checking Determinism for Multithreaded Programs Jacob Burnim EECS Department, UC provided that copies are not made or distributed for profit or commercial advantage and that copies bear

  11. Knowledge Generation

    SciTech Connect (OSTI)

    BRABSON,JOHN M.; DELAND,SHARON M.

    2000-11-02T23:59:59.000Z

    Unattended monitoring systems are being studied as a means of reducing both the cost and intrusiveness of present nuclear safeguards approaches. Such systems present the classic information overload problem to anyone trying to interpret the resulting data not only because of the sheer quantity of data but also because of the problems inherent in trying to correlate information from more than one source. As a consequence, analysis efforts to date have mostly concentrated on checking thresholds or diagnosing failures. Clearly more sophisticated analysis techniques are required to enable automated verification of expected activities level concepts in order to make automated judgments about safety, sensor system integrity, sensor data quality, diversion, and accountancy.

  12. Formalization of the data flow diagram rules for consistency check

    E-Print Network [OSTI]

    Ibrahim, Rosziati; 10.5121/ijsea.2010.1406

    2010-01-01T23:59:59.000Z

    In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the model of a system. DFD is used in defining the requirements in a graphical view. In this paper, we focus on DFD and its rules for drawing and defining the diagrams. We then formalize these rules and develop the tool based on the formalized rules. The formalized rules for consistency check between the diagrams are used in developing the tool. This is to ensure the syntax for drawing the diagrams is correct and strictly followed. The tool automates the process of manual consistency check between data flow diagrams.

  13. ModelChecking A Tutorial Introduction

    E-Print Network [OSTI]

    Schmidt, David A.

    Model­Checking A Tutorial Introduction Markus M¨uller­Olm 1 , David Schmidt 2 , and Bernhard to provide a practitioner with a basis she #12; 2 Markus M¨uller­Olm, David Schmidt, and Bernhard Steffen x=0

  14. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

    Fortuna: Model Checking Priced Probabilistic Timed Automata Jasper Berendsen, David N. Jansen, the Netherlands Email: jasperb,dnjansen,fvaan @cs.ru.nl Abstract--We introduce FORTUNA, the first tool for model of probabilistic timed automata (PTAs) with cost-rates and discrete cost increments on states. FORTUNA is able

  15. Keep new concepts Check cognition level

    E-Print Network [OSTI]

    Chaudhuri, Surajit

    point "cold" topic "hot" topicTop HealthScience Nuclear Energy Safety& Accidents Concepts at time point· Keep new concepts · Check cognition level = number of news {Japan, nuclear, disaster · Multilingual Wikipedia history analysis Japan footballteam national nuclear disaster Set of candidates per time

  16. CRADA CHECKLIST For Your Convenience, check off

    E-Print Network [OSTI]

    Baker, Chris I.

    CRADA CHECKLIST For Your Convenience, check off: CRADA Clearance form fill in everything (except CRADA #); put "N/A" or "0" when box is not applicable make sure that the person-year box totals match, disease states, etc. must be listed if they are to be considered part of the CRADA research (you cannot

  17. Model Checking User Interfaces Abigail Cauchi

    E-Print Network [OSTI]

    Pace, Gordon J.

    Model Checking User Interfaces Abigail Cauchi Dept of Computer Science University of Malta acau0004@um.edu.mt Gordon Pace Dept of Computer Science University of Malta gordon.pace@um.edu.mt Sandro Spina Dept of Computer Science University of Malta sandro.spina@um.edu.mt Abstract User interfaces

  18. AD CONTENT CHECK LIST: o Company logo

    E-Print Network [OSTI]

    Zakharov, Vladimir

    AD CONTENT CHECK LIST: o Company logo o Address o Contact Info: Phone, web site, and/or e-mail o that will perfectly reflect your image! Acceptable Formats For Logos/Graphics/Photos High-Res (300 dpi) PDF, EPS

  19. Nuclear Energy -- Knowledge Base for Advanced Modeling and Simulation (NE-KAMS) Code Verification and Validation Data Standards and Requirements: Fluid Dynamics Version 1.0

    SciTech Connect (OSTI)

    Greg Weirs; Hyung Lee

    2011-09-01T23:59:59.000Z

    V&V and UQ are the primary means to assess the accuracy and reliability of M&S and, hence, to establish confidence in M&S. Though other industries are establishing standards and requirements for the performance of V&V and UQ, at present, the nuclear industry has not established such standards or requirements. However, the nuclear industry is beginning to recognize that such standards are needed and that the resources needed to support V&V and UQ will be very significant. In fact, no single organization has sufficient resources or expertise required to organize, conduct and maintain a comprehensive V&V and UQ program. What is needed is a systematic and standardized approach to establish and provide V&V and UQ resources at a national or even international level, with a consortium of partners from government, academia and industry. Specifically, what is needed is a structured and cost-effective knowledge base that collects, evaluates and stores verification and validation data, and shows how it can be used to perform V&V and UQ, leveraging collaboration and sharing of resources to support existing engineering and licensing procedures as well as science-based V&V and UQ processes. The Nuclear Energy Knowledge base for Advanced Modeling and Simulation (NE-KAMS) is being developed at the Idaho National Laboratory in conjunction with Bettis Laboratory, Sandia National Laboratories, Argonne National Laboratory, Utah State University and others with the objective of establishing a comprehensive and web-accessible knowledge base to provide V&V and UQ resources for M&S for nuclear reactor design, analysis and licensing. The knowledge base will serve as an important resource for technical exchange and collaboration that will enable credible and reliable computational models and simulations for application to nuclear power. NE-KAMS will serve as a valuable resource for the nuclear industry, academia, the national laboratories, the U.S. Nuclear Regulatory Commission (NRC) and the public and will help ensure the safe, economical and reliable operation of existing and future nuclear reactors.

  20. Optimized synthesis of concurrently checked controllers

    SciTech Connect (OSTI)

    Leveugle, R.; Saucier, G. (Institut National Polytechnique de Grenoble, CSI Lab., 38000 Grenoble (FR))

    1990-04-01T23:59:59.000Z

    Dedicated controllers (or FSM's) with concurrent checking capabilities are of prime importance in highly dependable applications. This paper presents a new method for introducing on-line test facilities in a controller with a very low overhead. This on-line test consists in detecting illegal paths in the control flow graph. These illegal paths may be due either to permanent faults or to transient errors. The state code flow is compacted through polynomial division. An implicit justifying signature method is applied at the state code level and ensures identical signatures before each join node of the control flow graph. The signatures are then independent of the path followed previously in the graph and the comparison to reference data is greatly facilitated. This property is obtained by a clever state assignment, nearly without area overhead. The controllers can then be checked by signature analysis, either by a built-in monitor or by an external checker.

  1. Pre-resistance-welding resistance check

    DOE Patents [OSTI]

    Destefan, Dennis E. (Broomfield, CO); Stompro, David A. (Idaho Falls, ID)

    1991-01-01T23:59:59.000Z

    A preweld resistance check for resistance welding machines uses an open circuited measurement to determine the welding machine resistance, a closed circuit measurement to determine the parallel resistance of a workpiece set and the machine, and a calculation to determine the resistance of the workpiece set. Any variation in workpiece set or machine resistance is an indication that the weld may be different from a control weld.

  2. Situation and Perspective of Knowledge Engineering

    E-Print Network [OSTI]

    Staab, Steffen

    Situation and Perspective of Knowledge Engineering Rudi Studer1 , Stefan Decker2 , Dieter Fensel3, The Netherlands dieter@cs.vu.nl Abstract. Knowledge Engineering was in the past primarily concerned with building and developing knowledge-based systems, an objective which puts Knowledge Engineering in a niche of the world

  3. AUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES

    E-Print Network [OSTI]

    Tronci, Enrico

    AUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES Giuseppe Della Penna Keywords: Controller Synthesis, Controller Optimization, Model Checking, Nonlinear Systems Abstract: We INTRODUCTION Control systems (or, shortly, controllers) are small hardware/software components that control

  4. Better Knowledge Management Through Knowledge Engineering

    E-Print Network [OSTI]

    Preece, Alun

    Better Knowledge Management Through Knowledge Engineering: A Case Study in Drilling Optimisation. The paper presents a case study in which knowledge engineering practices are being used to support knowledge the term knowledge management has been used to describe the efforts of organisations to capture, store

  5. Knowledge and Skill Representations for Robotized Production

    E-Print Network [OSTI]

    Malec, Jacek

    : Model-based control, Knowledge representation, System architectures, Autonomous control, Industrial robots 1. INTRODUCTION Model-based systems in control are a means to utilize effi- ciently human

  6. Mining Complex Boolean Expressions for Sequential Equivalence Checking

    E-Print Network [OSTI]

    Ramakrishnan, Naren

    Mining Complex Boolean Expressions for Sequential Equivalence Checking Neha Goel, Michael S. Hsiao-flops in a sequential circuit for sequential equivalence checking. In contrast to traditional learning methods, our be arbitrary boolean expressions and can thus prune a large don't care space during equivalence checking

  7. Printed by LAAS-CNRS Planning via Model Checking

    E-Print Network [OSTI]

    Thiébaux, Sylvie

    Pho Printed by LAAS-CNRS Workshop Planning via Model Checking F. Kabanza S. Thiébaux Toulouse, April 23, 2002 #12;#12;Proceedings of the AIPS-02 Workshop on Planning via Model-Checking Toulouse Rune Jensen, Carnegie Mellon University, USA i #12;#12;Foreword Model checking is currently one

  8. Evaluation of Mixed-Initiative Knowledge Base Development Methods and Tools Ping Shyr*, Gheorghe Tecuci, Mihai Boicu

    E-Print Network [OSTI]

    Tecuci, Gheorghe

    of evaluation methods, guidelines for designing experiments based on these methods, and reusable evaluation, called Disciple [Tecuci, 1998], is indented to allow a subject matter expert that does not have prior that includes a repertoire of evaluation methods, ready-made evaluation utilities, and guidelines

  9. Using domain-specific and generic knowledge to support discovery learning about geometrical optics in a computer-based simulation

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    . These studies aimed at clarifying some of the constraints of discovery learning in computer-based simulations to elicit scientific discovery learning behavior. The Optics simulation offers a versatile and dynamic discovery learning processes, all actions that students performed in the Optics simulation were registered

  10. Knowledge Infusion Leslie G. Valiant

    E-Print Network [OSTI]

    Valiant, Leslie

    Knowledge Infusion Leslie G. Valiant Division of Engineering and Applied Sciences Harvard as by their economy in the use of external data. In this paper we propose a theoretical basis for knowl- edge infusion in terms of robust logic. Knowledge infusion based on robust logic can be distinguished from other cur

  11. A VSLI design rule check program generator

    E-Print Network [OSTI]

    Harwood, Ann Elizabeth Gelber

    1985-01-01T23:59:59.000Z

    A VLSI DESIGN RULE CHECK PROGRAM GENERATOR A Thesis bi ANN ELIZABETH GELBER HARWOOD Submitted to the Graduate College of Texas A8cM University in partial fulhllment of the requirement for the degree of MASTER OF SCIENCE December 1985 Major... TO VLSI DESIGN AT TEXAS A8cM UNIVERSITY" 64 70 TABLE OF CONTENTS (Continued) Page APPENDIX C APPENDIX D APPENDIX E VITA LYRA RULESET FOR T. I. DESIGN RULES AMRULES RULESET FOR MAKEDRC PROGRAM LISTINGS 82 86 , 121 LIST OF TABLES Table I...

  12. ClimateCHECK | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand JumpConceptual Model, clickInformation SmyrnaNewClayClearSpotYork:Trust JumpA)ClimateCHECK Jump

  13. Reasoning About Strategies: On the Model-Checking Problem

    E-Print Network [OSTI]

    Mogavero, Fabio; Perelli, Giuseppe; Vardi, Moshe Y

    2011-01-01T23:59:59.000Z

    In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction between agents and express the correctness of the system no matter how the environment behaves. An important contribution in this context is given by modal logics for strategic ability, in the setting of multi-agent games, such as ATL, ATL*, and the like. Recently, Chatterjee, Henzinger, and Piterman introduced Strategy Logic (CHP-SL), with the aim of getting a powerful framework for reasoning explicitly about strategies. CHP-SL is obtained by using first-order quantifications over strategies and it has been investigated in the setting of two-agents turned-based games, where a non-elementary model-checking algorithm has been provided. While CHP-SL is a very expressive logic, we claim that it does not fully capture the strategic aspects of multi-agent systems. In this paper, we introduce and study a more general strategy logic, denoted SL, for reasoning about strategies in multi-agent co...

  14. Re-engineering knowledge networks for development

    E-Print Network [OSTI]

    Raghavan, Amrith, 1976-

    2004-01-01T23:59:59.000Z

    This thesis examines the evolution of Internet based knowledge networks (e-knowledge networks) in the domain of sustainable development. The objective of this thesis is to use an engineering systems approach to understand ...

  15. Journal of Engineering Design, Vol. 15, No.4, pp. 327-351, August 2004 Ontology-based systematization of functional knowledge

    E-Print Network [OSTI]

    Mizoguchi, Riichiro

    engineering because it is deeply related to how we can deal with knowledge. Needless to say, design process engineering, which is the successor to knowledge engineering, has been expected to overcome some difficulties the conventional knowledge engineering cannot solve. The main objective of this paper is to propose an innovative

  16. Knowledge Market: Agent-mediated Knowledge Sharing

    E-Print Network [OSTI]

    Dignum, Frank

    , preservation and distribution of knowledge assets but mainly the management and nurturing of collaboration developments show a shift in the focus of Knowledge Management (KM) from knowledge organization of relevant knowledge in a dynamic, collaborative environment. - Preserve individual autonomy and contribute

  17. aerospace knowledge diffusion: Topics by E-print Network

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    to codify: Implications for the knowledge - based economy" Prometheus 19 Richards, Debbie 15 Inverse diffusion from knowledge of power densities Guillaume Bal Mathematics...

  18. Defining and Model Checking Abstractions of Complex Railway Models using CSP||B

    E-Print Network [OSTI]

    Doran, Simon J.

    Defining and Model Checking Abstractions of Complex Railway Models using CSP||B Faron Moller1. In [11, 10] we propose a new modelling approach for railway interlockings. We use CSP||B [13], which involves events such as train movements and, in the interlocking, state based reasoning. In this sense, CSP

  19. Model Checking Large Software Specifications William Chan Richard J. Anderson Paul Beame Steve Burns

    E-Print Network [OSTI]

    Beame, Paul

    Model Checking Large Software Specifications William Chan Richard J. Anderson Paul Beame Steve methods for achieving acceptable performance, and giving a sum­ mary of the properties analyzed. Based.J. Anderson, P. Beame, F. Modugno, D. Notkin, and J.D. Reese are with the Department of Computer Science

  20. ARKTOS: a knowledge engineering software tool for images

    E-Print Network [OSTI]

    Soh, L. K.; Tsatsoulis, Costas

    2002-12-01T23:59:59.000Z

    The goal of our ARKTOS project is to build an intelligent knowledge-based system to classify satellite sea ice images. It involves acquiring knowledge from sea ice experts, quantifying such knowledge as computational entities and ultimately building...

  1. Course Materials • ALWAYS check the MA 15300 website FIRST ...

    E-Print Network [OSTI]

    Devlin, Patrick M

    2015-01-03T23:59:59.000Z

    policies and understand all the course materials on the website. • ALWAYS check the MA 15300 · website FIRST when searching for class information.

  2. 5 Checks & 5 Tips for INCITE | Argonne Leadership Computing Facility

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Science at ALCF Allocation Programs INCITE Program 5 Checks & 5 Tips for INCITE Mira Computational Readiness Assessment ALCC Program Director's Discretionary (DD) Program Early...

  3. Quality Control Quantification (QCQ): A Tool to Measure the Value of Quality Control Checks in Radiation Oncology

    SciTech Connect (OSTI)

    Ford, Eric C., E-mail: eford@uw.edu [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States); Terezakis, Stephanie; Souranis, Annette; Harris, Kendra [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States)] [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States); Gay, Hiram; Mutic, Sasa [Department of Radiation Oncology, Washington University, St. Louis, Missouri (United States)] [Department of Radiation Oncology, Washington University, St. Louis, Missouri (United States)

    2012-11-01T23:59:59.000Z

    Purpose: To quantify the error-detection effectiveness of commonly used quality control (QC) measures. Methods: We analyzed incidents from 2007-2010 logged into a voluntary in-house, electronic incident learning systems at 2 academic radiation oncology clinics. None of the incidents resulted in patient harm. Each incident was graded for potential severity using the French Nuclear Safety Authority scoring scale; high potential severity incidents (score >3) were considered, along with a subset of 30 randomly chosen low severity incidents. Each report was evaluated to identify which of 15 common QC checks could have detected it. The effectiveness was calculated, defined as the percentage of incidents that each QC measure could detect, both for individual QC checks and for combinations of checks. Results: In total, 4407 incidents were reported, 292 of which had high-potential severity. High- and low-severity incidents were detectable by 4.0 {+-} 2.3 (mean {+-} SD) and 2.6 {+-} 1.4 QC checks, respectively (P<.001). All individual checks were less than 50% sensitive with the exception of pretreatment plan review by a physicist (63%). An effectiveness of 97% was achieved with 7 checks used in combination and was not further improved with more checks. The combination of checks with the highest effectiveness includes physics plan review, physician plan review, Electronic Portal Imaging Device-based in vivo portal dosimetry, radiation therapist timeout, weekly physics chart check, the use of checklists, port films, and source-to-skin distance checks. Some commonly used QC checks such as pretreatment intensity modulated radiation therapy QA do not substantially add to the ability to detect errors in these data. Conclusions: The effectiveness of QC measures in radiation oncology depends sensitively on which checks are used and in which combinations. A small percentage of errors cannot be detected by any of the standard formal QC checks currently in broad use, suggesting that further improvements are needed. These data require confirmation with a broader incident-reporting database.

  4. Towards Continuous Knowledge Engineering Klaas Schilstra and Pieter Spronck

    E-Print Network [OSTI]

    Spronck, Pieter

    Towards Continuous Knowledge Engineering Klaas Schilstra and Pieter Spronck Knowledge Based Systems.schilstra; p.spronck}@bouw.tno.nl www.tno.nl Abstract: Continuous Knowledge Engineering is an alternative approach to knowledge engineering that embraces the philosophy that knowledge systems are open

  5. Designing programs that check their work \\Lambda Manuel Blum

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    Designing programs that check their work \\Lambda Manuel Blum Comp. Sci. Division U. of California Classification D.2.4 F.2.0 F.3.1 G.3 Abstract A program correctness checker is an algorithm for checking the output of a computation. That is, given a program and an instance on which the program is run

  6. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Checking NFA equivalence with bisimulations up to congruence Filippo Bonchi CNRS, ENS Lyon--We introduce bisimulation up to congruence as a technique for proving language equivalence of non algorithm. I. INTRODUCTION Checking language equivalence of finite automata is a clas- sical problem

  7. Using Model Checking for Analyzing Distributed Power Control Problems

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    1 Using Model Checking for Analyzing Distributed Power Control Problems Thomas Brihaye, Marc. Realizing that the distributed power control (PC) problem can be modeled by a timed game between a given Distributed power control, game theory, interference channel, model checking, timed games, verification

  8. Termination and Reduction Checking for HigherOrder Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

    Termination and Reduction Checking for Higher­Order Logic Programs Brigitte Pientka Department, we present a syntax­directed termination and reduction checker for higher­order logic programs and output of well­moded predicates. These reduction con­ straints are exploited during termination checking

  9. Termination and Reduction Checking for Higher-Order Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

    Termination and Reduction Checking for Higher-Order Logic Programs Brigitte Pientka Department, we present a syntax-directed termination and reduction checker for higher-order logic programs and output of well-moded predicates. These reduction con- straints are exploited during termination checking

  10. Using Distinguishing and UIO Sequences Together in a Checking Sequence

    E-Print Network [OSTI]

    Yanikoglu, Berrin

    Using Distinguishing and UIO Sequences Together in a Checking Sequence M. Cihan Yalcin1 and Husnu Abstract. If a finite state machine M does not have a distinguishing sequence, but has UIO sequences for its states, there are methods to produce a checking sequence for M. However, if M has a distinguishing

  11. Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences

    E-Print Network [OSTI]

    Jourdan, Guy-Vincent

    Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences Robert M. Hierons of a preset dis- tinguishing sequence for constructing checking sequences. It has been shown that an adaptive distinguishing sequence is sufficient for these methods. This result is significant because adaptive

  12. Assumption-Commitment Support for CSP Model Checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    AVoCS 2006 Assumption-Commitment Support for CSP Model Checking Nick Moffat1 Systems Assurance using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form-Guarantee, CSP, Model Checking, Compositional Reasoning 1 Introduction The principle of compositional program

  13. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK ANIMAL CARE LAB

    E-Print Network [OSTI]

    Eirinaki, Magdalini

    FD- 258) and submits the fingerprint card to the Federal Bureau of Investigation (FBI) for identification and a criminal history records check. The FBI will return the results of its records check risks, criminal record information will be obtained from the FBI under the guideline of this policy

  14. Approximation-based Tree Regular Model-Checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    @lsv.ens-cachan.fr (c) LIFC, INRIA-CASSIS 16, route de Gray, 25030 Besançon, FRANCE olga of software systems is one of the most challenging research problems in computer aided verification

  15. When Model Checking Met Deduction Computer Science Laboratory

    E-Print Network [OSTI]

    Clarke, Edmund M.

    Park, CA Sep 19, 2014 #12;Alan Turing It is of course important that some efforts be made to verify hold in each case. Alan Turing (quoted by D. MacKenzie in Risk and Reason) N. Shankar Model checking

  16. Checking Herbrand Equalities and Beyond Markus Muller-Olm1

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Checking Herbrand Equalities and Beyond Markus M¨uller-Olm1 , Oliver R¨uthing1 , and Helmut Seidl2 M¨uller-Olm, Oliver R¨uthing, and Helmut Seidl This deficiency is still present in the algorithm

  17. Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein Department of Computer Science University College London Gower Street, London, WC1E 6BT UK {c.nentwich,w.emmerich

  18. Smog Check II Evaluation Part II: Overview of Vehicle

    E-Print Network [OSTI]

    Denver, University of

    Smog Check II Evaluation Part II: Overview of Vehicle Emissions . . . . . . . . . . . . Prepared in Later Sections ____________________ 1 3. Older Vehicles Have Higher Emissions on Average _____________ 3 4. The Vehicle Fleet Is Dominated by Newer Vehicles______________ 8 5. More Recent Vehicle Models

  19. Specifying and Checking Semantic Atomicity for Multithreaded Programs

    E-Print Network [OSTI]

    Necula, George

    Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula or commercial advantage and that copies bear this notice and the full citation on the first page. To copy

  20. Geospatial knowledge for territorial intelligence Pr. Robert Laurini Geospatial Knowledge

    E-Print Network [OSTI]

    Laurini, Robert

    Geospatial knowledge for territorial intelligence Pr. Robert Laurini Geospatial Knowledge ­ Management · Objective: Sustainable development #12;Geospatial knowledge for territorial intelligence Pr;Geospatial knowledge for territorial intelligence Pr. Robert Laurini Generic and specific knowledge

  1. Evaluating Verification and Validation Methods in Knowledge Engineering

    E-Print Network [OSTI]

    Chen-Burger, Yun-Heh (Jessica)

    Evaluating Verification and Validation Methods in Knowledge Engineering Alun Preece University: Verification and validation (V&V) techniques have always been an essential part of the knowledge engineering effective V&V techniques. 1. The Art of Knowledge Engineering Knowledge-based systems (KBS) have proven

  2. Case-Based Reasoning Systems for Knowledge Mediation A.D. Griffiths, M.D. Harrison and A.M. Dearden

    E-Print Network [OSTI]

    Harrison, Michael

    specific purpose, however, is to support business planning carried out by company managers. We have taken to plan the maintenance and operation of a utility distribution network, by mediating knowledge from in the current paper, along with the relevant design issues. In a future paper we shall describe the evaluation

  3. competency Course Objective 1 1a, 5a, 5b Apply appropriate knowledge developed from critically relevant, concensus based literature to the delivery of surgical care.

    E-Print Network [OSTI]

    Myers, Lawrence C.

    , palliative care, pain management, medical legal issues and substance abuse. 4 1f, 3c of surgical care. 2 1c, 1d, 5c, 5d Apply current clinical and translational sciences in the delivery of surgical care of the patient. 3 1e Recognize and define knowledge

  4. Bleecker: WC Reporting Check List Risk Management 6/28/2012 Initial Injury/Illness Reporting Check List

    E-Print Network [OSTI]

    Prinz, Friedrich B.

    Bleecker: WC Reporting Check List Risk Management 6/28/2012 Initial Injury/Illness Reporting Check://www.stanford.edu/dept/EHS/prod/general/su17.pdf Within 24 HRS Worker & Supervisor Fax to 650-723-9456 Original to Mail Code 6207 DWC 1 http://www.stanford.edu/dept/Risk-Management-723-9456 Original to Mail Code 6207 5020 (must be typed ­ "PCWord version" available in link below) http://www.stanford.edu/dept/Risk-Management

  5. Bleecker: WC Reporting Check List Risk Management 12/10/2012 Initial Injury/Illness Reporting Check List

    E-Print Network [OSTI]

    Prinz, Friedrich B.

    Bleecker: WC Reporting Check List Risk Management 12/10/2012 Initial Injury/Illness Reporting Check List Questions contact Department's HR or Risk Management 650-723-7400 Any Death or Serious Injury://www.stanford.edu/dept/EHS/prod/general/su17.pdf Within 24 HRS Worker & Supervisor Fax to 650-723-9456 Original to Mail Code 6207 DWC 1 http://www.stanford.edu/dept/Risk-Management

  6. Reasoning About Knowledge Reasoning About Knowledge

    E-Print Network [OSTI]

    Vardi, Moshe Y.

    Introduction and Overview 1 1.1 The Muddy Children Puzzle . . . . . . . . . . . . . . . . . . . . . 3 1 Knowledge . . . . . . . . . . 23 2.3 The Muddy Children Revisited . . . . . . . . . . . . . . . . . . . . 24 . . . . . . . . . . . . . . . . . . . . 127 4.4.4 Perfect Recall . . . . . . . . . . . . . . . . . . . . . . . . 128 4.4.5 Message-Passing

  7. Model Checking for Software Architectures Radu Mateescu

    E-Print Network [OSTI]

    Joseph Fourier Grenoble-I, Université

    ] are essential engineering artifacts used in the de- sign process of complex software systems. They specify alge- bras, the most prominent ones being Wright [2] and Darwin [17]. Wright is based upon Csp, thus (configuration and coordination) and Fsp (a dialect of Csp) to describe the behaviour of individual components

  8. Bounded Model Checking of Multi-threaded Software using SMT solvers

    E-Print Network [OSTI]

    Cordeiro, Lucas

    2010-01-01T23:59:59.000Z

    The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an extension of the ESBMC model checker to support the verification of multi-threaded software with shared variables and locks using bounded model checking (BMC) based on Satisfiability Modulo Theories (SMT). We describe three approaches to model check multi-threaded software and our modelling of the synchronization primitives of the Pthread library. In the lazy approach, we generate all possible interleavings and call the BMC procedure on each of them individually, until we either find a bug, or have systematically explored all interleavings. In the schedule recording approach, we encode all possible interleavings into one single formula and then exploit the high speed of the SMT solvers. In the underapproximation-widening approach, we reduce the state space by abstracting the number of state variables and interleavings from the proofs o...

  9. ISI Web of Knowledge111 -ISI Web of Knowledge

    E-Print Network [OSTI]

    Ben-Or, Michael

    ­ ISI Web of Knowledge111 © , . , , , . . , . , . . -ISI Web of Knowledge )http:// webofknowledge.com( , , , . . -ISI Web of Knowledge: Web of Science(-1691) , . Biosis Previews(-1661 ) - , , , . MEDLINE(-1611

  10. Instructions to obtain the FBI background check Long-Stay Valencia Students The FBI Background Check is the first step in a two-part process. The FBI Background Check takes 4-6

    E-Print Network [OSTI]

    Hull, Elaine

    Instructions to obtain the FBI background check Long-Stay Valencia Students The FBI Background Check is the first step in a two-part process. The FBI Background Check takes 4-6 weeks for processing form, fingerprint card and payment--to the following address: FBI CJIS Division ­ Record Request 1000

  11. Rural Knowledge Clusters: Implications for Minnesota State

    E-Print Network [OSTI]

    Levinson, David M.

    communities face tremendous challenges in adapting to a knowledge-based global economy. The "knowledge economy to innovate. Traditional rural economic staples are under growing pressure due to globalization of markets, and diseconomies of scale and outmigration hinder adjustment in the rural economy. Consequently a growing gap

  12. Review: Knowledge and Environmental Policy

    E-Print Network [OSTI]

    Little, Peter C.

    2012-01-01T23:59:59.000Z

    Review: Knowledge and Environmental Policy: Re-Imagining theRobert. Knowledge and Environmental Policy: Re-Imagining thepaperback. Knowledge and Environmental Policy continues the

  13. Swing Check Valve Design Criteria and CFD Validation

    SciTech Connect (OSTI)

    Dallstream, Brian E.; Fricke, Brian A.; Becker, Bryan R. [University of Missouri-Kansas City (United States)

    2006-07-01T23:59:59.000Z

    This paper provides information on swing check valve selection criteria suitable for nuclear power plant applications. In this project, four swing check valves were analyzed to demonstrate the implementation and application of this information. In this example, swing check valves were selected according to 'ASME Boiler and Pressure Vessel Code, Section III' and 'ASME B16.34, Valves Flanged, Threaded, and Welding End'. This paper also discusses the utilization of Computational Fluid Dynamics Software (CFD) as a means to analyze valve design. The use of CFD is a relatively new approach for validation of valve design that is becoming invaluable due to the high cost of physical bench testing. The Instrument Society of America (ISA) Analysis Division and the American Society of Mechanical Engineers (ASME) Computational Fluid Dynamics Technical Committee have taken a proactive approach in setting standards and practices for the use of CFD in design and validation. (authors)

  14. Collaborative Ontological Engineering of Instructional Design Knowledge for an ITS

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Collaborative Ontological Engineering of Instructional Design Knowledge for an ITS Authoring could rely on content-based engineering of instructional design (ID) knowledge, i.e. based on principles. Collaborative Ontological Engineering of Instructional Design Knowledge: Challenges of such an Enterprise

  15. Rural Knowledge Clusters: Innovation and Vitality in America's Rural Communities

    E-Print Network [OSTI]

    Levinson, David M.

    Summary 1 I. Context: The Challenge of Rural Community Vitality in a Knowledge-Based Global Economy 5 II challenges to prosperity and vitality in a knowledge-based global economy. Traditional sources of rural Minnesota 65 Appendix C: About the Project, "Globalization and Knowledge Clusters for Rural America" 73

  16. Check for peroxides every 6 months. opened test 1 test 2 test 3

    E-Print Network [OSTI]

    Pawlowski, Wojtek

    Check for peroxides every 6 months. opened test 1 test 2 test 3 date initials Check for peroxides every 6 months. opened test 1 test 2 test 3 date initials Check for peroxides every 6 months. Test strips can be obtained from EH&S, 5-8200 opened test 1 test 2 test 3 date initials Check for peroxides

  17. Supporting Knowledge Transfer through Decomposable Reasoning Artifacts

    SciTech Connect (OSTI)

    Pike, William A.; May, Richard A.; Turner, Alan E.

    2007-01-03T23:59:59.000Z

    Technology to support knowledge transfer and cooperative inquiry must offer its users the ability to effectively interpret knowledge structures produced by collaborators. Communicating the reasoning processes that underlie a finding is one method for enhancing interpretation, and can result in more effective evaluation and application of shared knowledge. In knowledge management tools, interpretation is aided by creating knowledge artifacts that can expose their provenance to scrutiny and that can be transformed into diverse representations that suit their consumers’ perspectives and preferences. We outline the information management needs of inquiring communities characterized by hypothesis generation tasks, and propose a model for communication, based in theories of hermeneutics, semiotics, and abduction, in which knowledge structures can be decomposed into the lower-level reasoning artifacts that produced them. We then present a proof-of-concept implementation for an environment to support the capture and communication of analytic products, with emphasis on the domain of intelligence analysis.

  18. In Proceedings of the Technology Demonstration Session of the 14th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2004, 5-8th October 2004 -Whittlebury Hall, Northamptonshire, UK.

    E-Print Network [OSTI]

    Tecuci, Gheorghe

    on Knowledge Engineering and Knowledge Management, EKAW 2004, 5-8th October 2004 - Whittlebury Hall assistance from knowledge engineers, to develop knowledge-based agents incorporating their expertise of knowledge bases and agents, by subject matter experts, with limited assistance from knowledge engineers [1

  19. Recording Scientific Knowledge

    SciTech Connect (OSTI)

    Bowker, Geof (Santa Clara University) [Santa Clara University

    2006-01-09T23:59:59.000Z

    The way we record knowledge, and the web of technical, formal, and social practices that surrounds it, inevitably affects the knowledge that we record. The ways we hold knowledge about the past - in handwritten manuscripts, in printed books, in file folders, in databases - shape the kind of stories we tell about that past. In this talk, I look at how over the past two hundred years, information technology has affected the nature and production of scientific knowledge. Further, I explore ways in which the emergent new cyberinfrastructure is changing our relationship to scientific practice.

  20. Revising Specifications with CTL Properties using Bounded Model Checking

    E-Print Network [OSTI]

    Finger, Marcelo

    Revising Specifications with CTL Properties using Bounded Model Checking No Author Given that inconsistencies arise between the formal specification and some desired property. Belief Revision deals. In this paper, we propose the use of belief revision techniques in order to deal with inconsistencies in formal

  1. ES&H Safety Walk Around Check List

    E-Print Network [OSTI]

    Knowles, David William

    ES&H Safety Walk Around Check List for Managers Lab Work Environment (Labs & Storage Areas) Are all Waste x4644 Health Services x6266 Industrial & Shop Safety, including Machine Guarding x7170 Radiation shields or face shield) available for dispensing super cold liquids (cryogens like liquid nitrogen

  2. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Checking NFA equivalence with bisimulations up to congruence Filippo Bonchi Damien Pous CNRS, ENS introduce bisimulation up to congruence as a technique for proving language equivalence of non Language Equivalence, Automata, Bisimulation, Coin- duction, Up-to techniques, Congruence, Antichains. 1

  3. The Perfect ``Spy'' for Model-Checking Cryptoprotocols

    E-Print Network [OSTI]

    Roscoe, Bill

    its inference system, in the process algebra CSP. Techniques for keeping the state space within Processes (CSP), as are specifications such as confidentiality. The model checking exploits (and has in turn attractive decomposition would provide a two-state process for each possible ``fact'', essentially

  4. Check it out! -1 -| P a g e

    E-Print Network [OSTI]

    sustainable living guide. I - Courtesy of R.Millar ConsumptionCheck it out! #12;- 1 - | P a g e Making sustainable choices are beneficial not only to the nature from beginner to advanced sustainability practices, so you can do you! Enjoy the B.U. Be Green

  5. Coded modulation with Low Density Parity Check codes

    E-Print Network [OSTI]

    Narayanaswami, Ravi

    2001-01-01T23:59:59.000Z

    This thesis proposes the design of Low Density Parity Check (LDPC) codes for cases where coded modulation is used. We design these codes by extending the idea of Density Evolution (DE) that has been introduced as a powerful tool to analyze LDPC...

  6. Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

    E-Print Network [OSTI]

    Bollig, Benedikt

    Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking Benedikt,cyriac,gastin,zeitoun}@lsv.ens-cachan.fr Abstract. We develop a general framework for the design of temporal logics for concurrent recursive programs. A program execution is modeled as a partial order with multiple nesting relations. To specify

  7. Check BMail account University sends all official communications

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    Binghamton email account (BMail) at bmail.binghamton.edu. Check financial aid application status online · Log) · An insurance company, scholarship program, loan company or other third party may require student and/or family will be reflected. · To access NSC, log into BU BRAIN,"Records" tab. · For complete details and how-to steps go

  8. Error detection through consistency checking Peng Gong* Lan Mu#

    E-Print Network [OSTI]

    Silver, Whendee

    Error detection through consistency checking Peng Gong* Lan Mu# *Center for Assessment & Monitoring Hall, University of California, Berkeley, Berkeley, CA 94720-3110 gong@nature.berkeley.edu mulan, accessibility, and timeliness as recorded in the lineage data (Chen and Gong, 1998). Spatial error refers

  9. Web Service Composition: a Reality Check Jianguo Lu, 2

    E-Print Network [OSTI]

    Lu, Jianguo

    - 1 - Web Service Composition: a Reality Check 1 Jianguo Lu, 2 Yijun Yu, 1 Debashis Roy, 1 Deepa Department, The Open University y.yu@open.ac.uk Abstract Automated web service composition is one dynamically and automatically. To investigate the methods for composite web service construction, we conducted

  10. Checking Session-Oriented Interactions between Web Services

    E-Print Network [OSTI]

    Checking Session-Oriented Interactions between Web Services Pavel Parizek1 , Jiri Adamek1,2 1 of Sciences of the Czech Republic, Institute of Computer Science Abstract Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services

  11. Perturbative Check of the Action and Energy Lattice Sum Rules

    E-Print Network [OSTI]

    B. Feuerbacher

    2003-09-04T23:59:59.000Z

    Lattice sum rules are checked using lattice perturbation theory. The action sum rule gives a relation between the quark-antiquark potential, its logarithmic derivative with respect to distance and the expectation value of the action; the energy sum rule expresses the potential as the sum of the energy in the gluon fields and of an anomalous term. Two different independent calculations of the quark-antiquark potential are presented, and the transversality of the gluonic vacuum polarization on the lattice is proven. The crucial part of the action sum rule is an identity whose explicit check using perturbation theory provides methods and results which are useful for checking the energy sum rule. Additionally, the gauge invariance of the expectation value of the Wilson loop up to next-to-leading order is proven. The possibility of restricting the expectation value of the action to one fixed time slice is discussed. The energy sum rule is checked perturbatively up to next-to-leading order and shown to be satisfied with good numerical accuracy. The various contributions to the quark-antiquark potential are analyzed, and the restriction of the expectation value of the sum over all spatial plaquettes (the energy in the magnetic fields) to one fixed time slice is examined.

  12. Reuse of Verification Results Conditional Model Checking, Precision Reuse,

    E-Print Network [OSTI]

    Beyer, Dirk

    further verification runs of the system; information about the level of abstraction in the abstract modelReuse of Verification Results Conditional Model Checking, Precision Reuse, and Verification checker which parts of the system should be verified; thus, later verification runs can use the output

  13. Flat acceleration in symbolic model checking Sebastien Bardin1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    . Key words: verification of infinite-state systems, symbolic model checking, ac- celeration. 1 research teams from de- veloping powerful innovative model checkers for infinite-state systems. For example verification pro- cedures that can handle systems with an infinite state space. So-called "accelera- tion

  14. Eoeective Recognizability and Model Checking of Reactive Fioeo Automata

    E-Print Network [OSTI]

    Sutre, Grégoire

    Electre. For this, we deøne a particular behavioral model for Electre programs, Reactive Fioeo Au­ tomata speciøed with the reactive language Electre [CR95]. A reactive pro­ gram is supposed to reactEoeective Recognizability and Model Checking of Reactive Fioeo Automata G. Sutre 1 , A. Finkel 1

  15. National propane safety week caps fifth anniversary of GAS Check

    SciTech Connect (OSTI)

    Prowler, S.

    1990-09-01T23:59:59.000Z

    This paper reports on National Propane Safety Week. The publicity encompassed everything from preventative maintenance to safe winter storage of cylinders. This campaign focused much of its attention on GAS (gas appliance system) Check, the propane industry's most well-known safety program.

  16. Conformance Checking of Interacting Processes With Overlapping Instances

    E-Print Network [OSTI]

    van der Aalst, Wil

    basic metric is fitness telling whether M can replay every observed execution of S. In case M cannot checking techniques assume rather simple models where process instances can be considered in isolation and isolate executions of such a process, and classical modeling languages are no longer applicable [8

  17. Equivalence Checking for Function Pipelining in Behavioral Synthesis

    E-Print Network [OSTI]

    Xie, Fei

    on subtle design invariants. Function pipelining (a.k.a. system-level pipelining) is an important, correct-by-construction abstraction of function pipeline; thus, instead of developing pipelineEquivalence Checking for Function Pipelining in Behavioral Synthesis Kecheng Hao, Sandip Ray

  18. Detecting Termination of Active Database Rules Using Symbolic Model Checking

    E-Print Network [OSTI]

    Ray, Indrakshi

    Detecting Termination of Active Database Rules Using Symbolic Model Checking Indrakshi Ray is the non-termination of rules. Although algorithms have been proposed to detect non-termination, al- most all provide a conservative estimate; that is, the algorithms detect all the potential cases of non-termination

  19. Termination Checking: Comparing Structural Recursion and Sized Types by Examples

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking: Comparing Structural Recursion and Sized Types by Examples David Thibodeau Decemer 3, 2011 Abstract Termination is an important property for programs and is necessary for formal proofs to make sense. In order to make sure that a program using recursion is terminating, one can use

  20. Applying High Performance Computing to Analyzing by Probabilistic Model Checking

    E-Print Network [OSTI]

    Schneider, Carsten

    Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular on the use of high performance computing in order to analyze with the proba- bilistic model checker PRISM. The Figure Generation Script 22 2 #12;1. Introduction We report in this paper on the use of high performance

  1. Polymorphic CSP Type Checking Ping Gao and Robert Esser

    E-Print Network [OSTI]

    Esser, Robert

    Polymorphic CSP Type Checking Ping Gao and Robert Esser Concurrent and Real­time Systems Laboratory@cs.adelaide.edu.au Abstract Communicating Sequential Processes (CSP) is a lan­ guage used to describe and reason about between a conventional functional lan­ guage type checker and a type checker for the CSP language

  2. Modular SMT Proofs for Fast Reflexive Checking inside Coq

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Modular SMT Proofs for Fast Reflexive Checking inside Coq Fr´ed´eric Besson, Pierre methodology for exchanging unsatisfia- bility proofs between an untrusted SMT solver and a sceptical proof assistant with computation capabilities like Coq. We advocate modu- lar SMT proofs that separate boolean

  3. Page 1 September 2014EMC'2014 Software Model Checking

    E-Print Network [OSTI]

    Clarke, Edmund M.

    Page 1 September 2014EMC'2014 Dynamic Software Model Checking Patrice Godefroid Microsoft Research #12;Page 2 September 2014EMC'2014 Ed Clarke: A man, An idea... · LASER'2011 summer school (Elba island, Italy) #12;Page 3 September 2014EMC'2014 Ed Clarke: A man, An idea... · LASER'2011 summer school (Elba

  4. A Simplified Model Of QuickCheck Automata Kevin Falzon

    E-Print Network [OSTI]

    Pace, Gordon J.

    A Simplified Model Of QuickCheck Automata Kevin Falzon University of Malta kfal0002@um.edu.mt Gordon J. Pace University of Malta gordon.pace@um.edu.mt ABSTRACT Placing guarantees on a program in this publication is partially funded by the Strategic Educational Pathways Scholarship (Malta). The scholarship

  5. i-Seek : an intelligent system for eliciting and explaining knowledge

    E-Print Network [OSTI]

    Kumar, Ashwani, S.M. Massachusetts Institute of Technology

    2005-01-01T23:59:59.000Z

    We propose i-Seek, an Intelligent System for Eliciting and Explaining Knowledge that leverages the OpenMind [1] Commonsense knowledge base in conjunction with domain- specific knowledge in Personal Finance, Technical Help, ...

  6. The knowledge economy in Europe A report prepared for the 2007 EU Spring Council

    E-Print Network [OSTI]

    Chen-Burger, Yun-Heh (Jessica)

    The knowledge economy in Europe A report prepared for the 2007 EU Spring Council Prepared by Ian. Knowledge industry employment in Europe 6 4. Moving towards a knowledge based economy in Europe 7 5 10 8. Investing in knowledge 11 9. Next steps 23 Sponsors for the knowledge economy programme include

  7. Removable check valve for use in a nuclear reactor

    DOE Patents [OSTI]

    Dunn, Charlton (Calabasas, CA); Gutzmann, Edward A. (Simi Valley, CA)

    1988-01-01T23:59:59.000Z

    A removable check valve for interconnecting the discharge duct of a pump and an inlet coolant duct of a reactor core in a pool-type nuclear reactor. A manifold assembly is provided having an outer periphery affixed to and in fluid communication with the discharge duct of the pump and has an inner periphery having at least one opening therethrough. A housing containing a check valve is located within the inner periphery of the manifold. The upper end of the housing has an opening in alignment with the opening in the manifold assembly, and seals are provided above and below the openings. The lower end of the housing is adapted for fluid communication with the inlet duct of the reactor core.

  8. Foundation of Knowledge Systematization: Role of Ontological Engineering

    E-Print Network [OSTI]

    Mizoguchi, Riichiro

    Foundation of Knowledge Systematization: Role of Ontological Engineering Riichiro Mizoguchi of view. Our knowledge systematization is based on ontological engineering to enable people to build is that ontological engineering provides us with the basis on which we can build knowledge and with computer

  9. Generic Knowledge Structures for Probabilistic-Network Engineering

    E-Print Network [OSTI]

    Utrecht, Universiteit

    Generic Knowledge Structures for Probabilistic-Network Engineering Eveline M. Helsper and Linda C, independent of any specific application domain. Upon using the library, the knowledge engineer selects customisation by the knowl- edge engineer. To allow for customisation, a knowledge structure should be based

  10. A Knowledge Management Framework to Morph Clinical Cases with Clinical

    E-Print Network [OSTI]

    Abidi, Syed Sibte Raza

    A Knowledge Management Framework to Morph Clinical Cases with Clinical Practice Guidelines Fehmida-base and maps it to corresponding explicit knowledge stored in clinical practice guidelines. The novelty of our--i.e. clinical practice guidelines--and experiential knowledge--i.e. past clinical cases. Here we present

  11. Patterned Fabric Know - How (Plaids, Stripes, Checks, and Figured Designs).

    E-Print Network [OSTI]

    Anoymous,

    1984-01-01T23:59:59.000Z

    DC \\1\\245.7 '13 Fbiterned Fabric mow-Kbw Contents Design Principles and Patterned Fabrics Pattern Selection Fabric Construction Selecting and Preparing Fabric Kinds of Plaids and Stripes Pri nts Other Patterned Fabrics Combining..., Stripes, Checks and Figured Designs) Extension Clothing Specialists The Texas A&M University System Patterned fabrics provide an interesting di mension to anyone's wardrobe. In a garment or as an accent, patterned fabrics are colorful and ex citing...

  12. Knowledge assistant for robotic environmental characterization

    SciTech Connect (OSTI)

    Feddema, J.; Rivera, J.; Tucker, S.; Matek, J.

    1996-08-01T23:59:59.000Z

    A prototype sensor fusion framework called the {open_quotes}Knowledge Assistant{close_quotes} has been developed and tested on a gantry robot at Sandia National Laboratories. This Knowledge Assistant guides the robot operator during the planning, execution, and post analysis stages of the characterization process. During the planning stage, the Knowledge Assistant suggests robot paths and speeds based on knowledge of sensors available and their physical characteristics. During execution, the Knowledge Assistant coordinates the collection of data through a data acquisition {open_quotes}specialist.{close_quotes} During execution and postanalysis, the Knowledge Assistant sends raw data to other {open_quotes}specialists,{close_quotes} which include statistical pattern recognition software, a neural network, and model-based search software. After the specialists return their results, the Knowledge Assistant consolidates the information and returns a report to the robot control system where the sensed objects and their attributes (e.g., estimated dimensions, weight, material composition, etc.) are displayed in the world model. This report highlights the major components of this system.

  13. SEE ADDENDUM IS CHECKED CODE 18a. PAYMENT WILL BE MADE BY CODE

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    SEE ADDENDUM IS CHECKED CODE 18a. PAYMENT WILL BE MADE BY CODE FACILITY CODE 17b. CHECK IF REMITTANCE IS DIFFERENT AND PUT SUCH ADDRESS IN OFFER OFFEROR 00146 Casper WY 82601 Shale...

  14. Verification of Medical Guidelines Using Background Knowledge in Task Networks

    E-Print Network [OSTI]

    Groot, Perry

    and to formalize criteria for good medical practice that a guideline should comply with. This framework are mainly concerned with checking the general quality criteria of good medical practice that a guideline on sound scientific evidence, which has been called evidence-based medicine [1], [2]. In practice, this has

  15. Conformance Checking with Constraint Logic Programming: The Case of Feature Models

    E-Print Network [OSTI]

    Egyed, Alexander

    . On the semantic level, a PLM is defined as the collection of all the product models that can be derived from it. Therefore checking the conformance of the PLM is equivalent to checking the conformance of all the product of a PLM. Despite the importance of PLM conformance checking, very few research works have been published

  16. Turbo Codes are Low Density Parity Check Codes David J. C. MacKay

    E-Print Network [OSTI]

    MacKay, David J.C.

    Turbo Codes are Low Density Parity Check Codes David J. C. MacKay July 8, 1998--- Draft 0.2, not for distribution! (First draft written July 5, 1998) Abstract Turbo codes and Gallager codes (also known as low note that the parity check matrix of a Turbo code can be written as low density parity check matrix

  17. Instructions to obtain apostille certification of the FBI background check (Valencia Year-Long Students)

    E-Print Network [OSTI]

    Hull, Elaine

    Instructions to obtain apostille certification of the FBI background check (Valencia Year-Long Students) Once you have received the FBI background check. You will need to proceed with step two, obtain not waste time submitting your FBI Background Check for certification. 1.) Complete the DS-4194 Request

  18. Incremental learning for automated knowledge capture.

    SciTech Connect (OSTI)

    Benz, Zachary O.; Basilico, Justin Derrick; Davis, Warren Leon,; Dixon, Kevin R.; Jones, Brian S.; Martin, Nathaniel; Wendt, Jeremy Daniel

    2013-12-01T23:59:59.000Z

    People responding to high-consequence national-security situations need tools to help them make the right decision quickly. The dynamic, time-critical, and ever-changing nature of these situations, especially those involving an adversary, require models of decision support that can dynamically react as a situation unfolds and changes. Automated knowledge capture is a key part of creating individualized models of decision making in many situations because it has been demonstrated as a very robust way to populate computational models of cognition. However, existing automated knowledge capture techniques only populate a knowledge model with data prior to its use, after which the knowledge model is static and unchanging. In contrast, humans, including our national-security adversaries, continually learn, adapt, and create new knowledge as they make decisions and witness their effect. This artificial dichotomy between creation and use exists because the majority of automated knowledge capture techniques are based on traditional batch machine-learning and statistical algorithms. These algorithms are primarily designed to optimize the accuracy of their predictions and only secondarily, if at all, concerned with issues such as speed, memory use, or ability to be incrementally updated. Thus, when new data arrives, batch algorithms used for automated knowledge capture currently require significant recomputation, frequently from scratch, which makes them ill suited for use in dynamic, timecritical, high-consequence decision making environments. In this work we seek to explore and expand upon the capabilities of dynamic, incremental models that can adapt to an ever-changing feature space.

  19. Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

    E-Print Network [OSTI]

    Yüksel, Ender; Nielson, Flemming; Zhu, Huibiao; Huang, Heqing

    2012-01-01T23:59:59.000Z

    Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this technical report, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative properties including performance and battery consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.

  20. PIA - Positive Pay and Check Reconciliation (POSPAY) | Department of Energy

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 111 1,613 122Commercial602 1,39732onMakeEducation Programs Business EnclavePositive Pay and Check

  1. LCLS User Check-In Procedures | Linac Coherent Light Source

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHigh SchoolIn12electron 9 5 - -/e),,s - 6157Bioenergy09913User Check-In

  2. check list for those with one abnormal BeLPT

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently20,000 Russian Nuclear Warheads|ofEventsWorkshopY-12a Multi-User Network Testbed3CHECK

  3. Executive report Building knowledge

    E-Print Network [OSTI]

    Geffner, Hector

    Executive report Building knowledge To build citizens To build cities UPF CAMPUS ICÀRIA INTERNATIONAL PROJECT 2010 International Campus of Excellence Programme #12;2 UPF CAMPUS ICÀRIA INTERNATIONAL this presentation from the one submitted in the CEI 2009 programme where UPF was classified as a `promising

  4. Bringing Automated Model Checking to PLC Program Development - A CERN Case Study

    E-Print Network [OSTI]

    Fernandez Adiego, B; Tournier, J-C; Blanco Vinuela, E; Gonzalez Suarez, V M

    2014-01-01T23:59:59.000Z

    Verification of critical software is a high priority but a challenging task for industrial control systems. Model checking appears to be an appropriate approach for this purpose. However, this technique is not widely used in industry yet, due to some obstacles. The main obstacles encountered when trying to apply formal verification techniques at industrial installations are the difficulty of creating models out of PLC programs and defining formally the specification requirements. In addition, models produced out of real-life programs have a huge state space, thus preventing the verification due to performance issues. Our work at CERN (European Organization for Nuclear Research) focuses on developing efficient automatic verification methods for industrial critical installations based on PLC (Programmable Logic Controller) control systems. In this paper, we present a tool generating automatically formal models out of PLC code. The tool implements a general methodology which can support several input languages, ...

  5. High School Students' Modeling Knowledge High School Students' Modeling Knowledge

    E-Print Network [OSTI]

    High School Students' Modeling Knowledge High School Students' Modeling Knowledge David Fortus of the authors. #12;High School Students' Modeling Knowledge Abstract Modeling is a core scientific practice a learning progression for this practice, focusing on the late elementary and early middle school years

  6. Knowledge Assisted Visualization Knowledge-assisted visualization of seismic data

    E-Print Network [OSTI]

    for knowledge-assisted annotation and computer-assisted interpretation of seismic data for oil and gas, using seismic interpretation, is performed that makes it fit very naturally into the paradigmKnowledge Assisted Visualization Knowledge-assisted visualization of seismic data Daniel Patel a

  7. Knowledge-Projection for Tele-Maintenance

    E-Print Network [OSTI]

    Tu, Yicheng

    search ... · Linkage to Data Mining ­ Tightly coupled with dynamic process events ­ Real-time data it #12;! #12;33 The Knowledge Base Our underlying Dynamic Process XML/XSL technology makes it possible Components · Dynamic Process ­ Step-by-step description of events, decision points, drill-down points, data

  8. Harvesting Knowledge from Web Data and Text Tutorial Proposal for CIKM 2010 (1/2 Day)

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    ) a catalyst for acquisition of further knowledge and largely automated maintenance and growth of the knowl in data and text mining, knowledge extraction, knowledge-based search, and uncertain data management. It aims at providing valuable knowledge about available data assets, as well as basic methods

  9. Advancing the Hydrogen Safety Knowledge Base

    SciTech Connect (OSTI)

    Weiner, Steven C.

    2014-12-01T23:59:59.000Z

    A White Paper of the International Energy Agency Hydrogen Implementing Agreement Task 31 - Hydrogen Safety

  10. Bioenergy Science Center KnowledgeBase

    DOE Data Explorer [Office of Scientific and Technical Information (OSTI)]

    Syed, M. H.; Karpinets, T. V.; Parang, M.; Leuze, M. R.; Park, B. H.; Hyatt, D.; Brown, S. D.; Moulton, S. Galloway, M.D.; Uberbacher, E. C.

    The challenge of converting cellulosic biomass to sugars is the dominant obstacle to cost effective production of biofuels in s capable of significant enough quantities to displace U. S. consumption of fossil transportation fuels. The BioEnergy Science Center (BESC) tackles this challenge of biomass recalcitrance by closely linking (1) plant research to make cell walls easier to deconstruct, and (2) microbial research to develop multi-talented biocatalysts tailor-made to produce biofuels in a single step. [from the 2011 BESC factsheet] The BioEnergy Science Center (BESC) is a multi-institutional, multidisciplinary research (biological, chemical, physical and computational sciences, mathematics and engineering) organization focused on the fundamental understanding and elimination of biomass recalcitrance. The BESC Knowledgebase and its associated tools is a discovery platform for bioenergy research. It consists of a collection of metadata, data, and computational tools for data analysis, integration, comparison and visualization for plants and microbes in the center.The BESC Knowledgebase (KB) and BESC Laboratory Information Management System (LIMS) enable bioenergy researchers to perform systemic research. [http://bobcat.ornl.gov/besc/index.jsp

  11. A knowledge based anthropometric data associate

    E-Print Network [OSTI]

    Reitmeyer, Peter B.

    1989-01-01T23:59:59.000Z

    large amounts of domain data into chunks and create a hierarchical linkage between them for better access and application, but acquiring such a skill does not come easy. For example, it may take ten to twenty years for a human expert to acquire... for the simultaneous study of a variety of measures. Computer simulation also helps prioritize measures for future research, and the technology does not require the user to be an expert in tradMonal anthmpometric methods to be able to model systems ef...

  12. Journal Title: Knowledge-Based Systems

    E-Print Network [OSTI]

    Bustamante, Fabián E.

    Budzik Intelligent Information Laboratory Northwestern University 1890 Maple Ave. Evanston, IL 60201 USA +1 847 467-1771 (phone) +1 847 491-5258 (fax) budzik@infolab.nwu.edu Co-Authors: Kristian J. Hammond

  13. A Split-Decoding Message Passing Algorithm for Low Density Parity Check Decoders

    E-Print Network [OSTI]

    Mohsenin, Tinoosh; Baas, Bevan M.

    2010-01-01T23:59:59.000Z

    Shi, R. (2008). Sliced message passing: High throughputWang, Z. (2007). Efficient message passing ar- chitectureparity check codes under message-passing decoding. IEEE

  14. Rg 0961u Form 24 for 12/08/2012 Crew rest. Comm checks

    E-Print Network [OSTI]

    :00-12:15 CDR ARED ­ flywheel cylinder removal 12:10-12:20 FE-1 Soyuz VHF2 check via Groundstation #33 Tagup

  15. Centre de recherche KNOWLEDGE DYNAMICS

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Centre de recherche KNOWLEDGE DYNAMICS DURING PLANNING PRACTICES MARIE-LÉANDRE GOMEZ DR09011 or part of this document without the written consent of the authors. - DR 09011 - Knowledge Dynamics Hirsch, BP5021, 95021 CERGY PONTOISE, France. E-mail: gomez@essec.fr I #12;Knowledge Dynamics During

  16. Model Checking Uncertainty about Probability Jan van Eijck

    E-Print Network [OSTI]

    van Eijck, Jan

    not equate knowledge with certainty. #12;Lotteries A W-lottery l is a function from a set of worlds W to the set of pos- itive rationals, i.e., l : W Q+ . Two W-lotteries l, l are equivalent if for some q Q+ , l = (p q p) · l. We say that two W-lotteries l, l have the same scale if {l(w) | w W} = {l (w

  17. Dependence with air density of the response of the PTW SourceCheck ionization chamber for low energy brachytherapy sources

    SciTech Connect (OSTI)

    Tornero-López, Ana M.; Guirado, Damián; Ruiz-Arrebola, Samuel [Servicio de Radiofísica y Protección Radiológica, Hospital Universitario San Cecilio, E-18012 Granada (Spain)] [Servicio de Radiofísica y Protección Radiológica, Hospital Universitario San Cecilio, E-18012 Granada (Spain); Perez-Calatayud, Jose [Servicio de Radioterapia, Unidad de Radiofísica, Hospital Universitario y Politécnico La Fe, E-46026 Valencia (Spain)] [Servicio de Radioterapia, Unidad de Radiofísica, Hospital Universitario y Politécnico La Fe, E-46026 Valencia (Spain); Simancas, Fernando; Lallena, Antonio M. [Departamento de Física Atómica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain)] [Departamento de Física Atómica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain); Gazdic-Santic, Maja [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)] [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)

    2013-12-15T23:59:59.000Z

    Purpose: Air-communicating well ionization chambers are commonly used to assess air kerma strength of sources used in brachytherapy. The signal produced is supposed to be proportional to the air density within the chamber and, therefore, a density-independent air kerma strength is obtained when the measurement is corrected to standard atmospheric conditions using the usual temperature and pressure correction factor. Nevertheless, when assessing low energy sources, the ionization chambers may not fulfill that condition and a residual density dependence still remains after correction. In this work, the authors examined the behavior of the PTW 34051 SourceCheck ionization chamber when measuring the air kerma strength of {sup 125}I seeds.Methods: Four different SourceCheck chambers were analyzed. With each one of them, two series of measurements of the air kerma strength for {sup 125}I selectSeed{sup TM} brachytherapy sources were performed inside a pressure chamber and varying the pressure in a range from 747 to 1040 hPa (560 to 780 mm Hg). The temperature and relative humidity were kept basically constant. An analogous experiment was performed by taking measurements at different altitudes above sea level.Results: Contrary to other well-known ionization chambers, like the HDR1000 PLUS, in which the temperature-pressure correction factor overcorrects the measurements, in the SourceCheck ionization chamber they are undercorrected. At a typical atmospheric situation of 933 hPa (700 mm Hg) and 20 °C, this undercorrection turns out to be 1.5%. Corrected measurements show a residual linear dependence on the density and, as a consequence, an additional density dependent correction must be applied. The slope of this residual linear density dependence is different for each SourceCheck chamber investigated. The results obtained by taking measurements at different altitudes are compatible with those obtained with the pressure chamber.Conclusions: Variations of the altitude and changes in the weather conditions may produce significant density corrections, and that effect should be taken into account. This effect is chamber-dependent, indicating that a specific calibration is necessary for each particular chamber. To our knowledge, this correction has not been considered so far for SourceCheck ionization chambers, but its magnitude cannot be neglected in clinical practice. The atmospheric pressure and temperature at which the chamber was calibrated need to be taken into account, and they should be reported in the calibration certificate. In addition, each institution should analyze the particular response of its SourceCheck ionization chamber and compute the adequate correction factors. In the absence of a suitable pressure chamber, a possibility for this assessment is to take measurements at different altitudes, spanning a wide enough air density range.

  18. Robust automated knowledge capture.

    SciTech Connect (OSTI)

    Stevens-Adams, Susan Marie; Abbott, Robert G.; Forsythe, James Chris; Trumbo, Michael Christopher Stefan; Haass, Michael Joseph; Hendrickson, Stacey M. Langfitt

    2011-10-01T23:59:59.000Z

    This report summarizes research conducted through the Sandia National Laboratories Robust Automated Knowledge Capture Laboratory Directed Research and Development project. The objective of this project was to advance scientific understanding of the influence of individual cognitive attributes on decision making. The project has developed a quantitative model known as RumRunner that has proven effective in predicting the propensity of an individual to shift strategies on the basis of task and experience related parameters. Three separate studies are described which have validated the basic RumRunner model. This work provides a basis for better understanding human decision making in high consequent national security applications, and in particular, the individual characteristics that underlie adaptive thinking.

  19. The Knowledge Engineering Review, Vol. 28:3, 249271. & Cambridge University Press, 2013 doi:10.1017/S0269888913000234

    E-Print Network [OSTI]

    Boyer, Edmond

    The Knowledge Engineering Review, Vol. 28:3, 249­271. & Cambridge University Press, 2013 doi:10 include a knowledge base (KB), composed of different kinds of knowledge, and a reasoning engine@lirmm.fr Abstract This paper presents a graph-based knowledge representation and reasoning language. This language

  20. Full sequential equivalence checking by state space traversal has been shown to be unpractical for large

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Abstract: Full sequential equivalence checking by state space traversal has been shown, Simulation, SAT) to transform the sequential equivalence checking problem into a combinational equivalence successful in general, they are not able to reach proof of equivalence in presence of complex transformations

  1. Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1

    E-Print Network [OSTI]

    Young, R. Michael

    Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1 , D. Richard. In this paper, we propose a new general approach for property verification for access control models via model checking. The approach defines a standardized structure for access control models, providing for both

  2. ASI Student Research Grant Application 2013-2014 Keep this Check List for your records.

    E-Print Network [OSTI]

    de Lijser, Peter

    handing in your Research Grant Application to ASI Leader and Program Development, TSU 269, please check to spending funds. 3. Recipients must submit a Grant Compliance Report to ASI Leader and Program Development1 ASI Student Research Grant Application 2013-2014 Keep this Check List for your records. Before

  3. Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with

    E-Print Network [OSTI]

    Platzer, André

    Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid accurately model real-world power consumption). We propose Distributed Probabilistic-Control Hybrid Automata and apply existing statistical model- checking techniques. We provide an implementation of a framework

  4. A Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

    E-Print Network [OSTI]

    Boyer, Edmond

    and complexity of system on chip (SoC) designs. Powerful formal verification methods have been playing, model checking for complex designs may be beyond the power of available tools and computing resourceA Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

  5. IN-PLANE BANDPASS REGULATION CHECK VALVE IN HEAT-SHRINK PACKAGING FOR DRUG DELIVERY

    E-Print Network [OSTI]

    Meng, Ellis

    IN-PLANE BANDPASS REGULATION CHECK VALVE IN HEAT-SHRINK PACKAGING FOR DRUG DELIVERY R. Lo and E. Meng University of Southern California, Los Angeles, California, USA ABSTRACT The first check valve valve design and these results were confirmed experimentally. The valve regulates flow between 150

  6. Page 1 of 14 5/2010 LBNL Construction Safety Check List

    E-Print Network [OSTI]

    Knowles, David William

    Page 1 of 14 5/2010 LBNL Construction Safety Check List Safety Check List MUST be posted at the job (LBNL) Project Manager for review and final approval the LBNL Construction Safety Engineer must reviewed performing work at LBNL. These items and all other requirements in the contractual documents will be enforced

  7. Checking pi-Calculus Structural Congruence is Graph Isomorphism V. Khomenko , R. Meyer,

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

    . Khomenko , R. Meyer, TECHNICAL REPORT SERIES No. CS-TR-1100 May, 2008 #12;TECHNICAL REPORT SERIES No. CS and Roland Meyer Abstract We show that the problems of checking pi-Calculus structural congruence (pi, England. #12;Bibliographical details KHOMENKO, V., MEYER, R. Checking pi-Calculus Structural Congruence

  8. Approximate model checking of stochastic hybrid systems , J.-P. Katoen

    E-Print Network [OSTI]

    Abate, Alessandro

    -room heating system. 1 Introduction Stochastic hybrid systems are a broad and widely applicable classApproximate model checking of stochastic hybrid systems A. Abate , J.-P. Katoen , J. Lygeros , and M. Prandini§ Abstract A method for approximate model checking of stochastic hybrid systems

  9. A New Model for the Organizational Knowledge Life Cycle

    E-Print Network [OSTI]

    Luigi Lella; Ignazio Licata

    2007-05-08T23:59:59.000Z

    Actual organizations, in particular the ones which operate in evolving and distributed environments, need advanced frameworks for the management of the knowledge life cycle. These systems have to be based on the social relations which constitute the pattern of collaboration ties of the organization. We demonstrate here, with the aid of a model taken from the theory of graphs, that it is possible to provide the conditions for an effective knowledge management. A right way could be to involve the actors with the highest betweeness centrality in the generation of discussion groups. This solution allows the externalization of tacit knowledge, the preservation of knowledge and the raise of innovation processes.

  10. A New Model for the Organizational Knowledge Life Cycle

    E-Print Network [OSTI]

    Lella, Luigi

    2010-01-01T23:59:59.000Z

    Actual organizations, in particular the ones which operate in evolving and distributed environments, need advanced frameworks for the management of the knowledge life cycle. These systems have to be based on the social relations which constitute the pattern of collaboration ties of the organization. We demonstrate here, with the aid of a model taken from the theory of graphs, that it is possible to provide the conditions for an effective knowledge management. A right way could be to involve the actors with the highest betweeness centrality in the generation of discussion groups. This solution allows the externalization of tacit knowledge, the preservation of knowledge and the raise of innovation processes.

  11. Workflow Instance Detection: Toward A Knowledge Capture Methodology for Smart Oilfields

    E-Print Network [OSTI]

    Prasanna, Viktor K.

    Workflow Instance Detection: Toward A Knowledge Capture Methodology for Smart Oilfields Fan Sun, and act as a knowledge base to assist with troubleshooting and training new employees. A smart oilfield

  12. Review: Knowledge and Environmental Policy

    E-Print Network [OSTI]

    Little, Peter C.

    2012-01-01T23:59:59.000Z

    and Environmental Policy: Re-Imagining the Boundaries ofand Environmental Policy: Re-Imagining the Boundaries ofKnowledge and Environmental Policy continues the complex and

  13. Maturing Software Engineering Knowledge through Classifications

    E-Print Network [OSTI]

    Basili, Victor R.

    Maturing Software Engineering Knowledge through Classifications: A Case Study on Unit Testing contribution to advancing knowledge in both science and engineering. It is a way of investigating Engineering knowledge, as classifications constitute an organized structure of knowledge items. Till date

  14. ISI Web of Knowledge111 , ,1111

    E-Print Network [OSTI]

    Daniel, Rosenfeld

    ISI Web of Knowledge111 © , ,1111 -ISI Web of Knowledge (http://newisiknowledge.com) , , , . . -ISI Web of Knowledge : Web of Science(-1965) , . Biosis Previews(-1991) , ,, . MEDLINE(-1951) , , . Zoological Record(-1995). , . ISI Web of Knowledge . . -VPN( ). : 1.:http

  15. Knowledge and Common Knowledge in a Distributed Environment \\Lambda

    E-Print Network [OSTI]

    Halpern, Joseph Y.

    Knowledge and Common Knowledge in a Distributed Environment \\Lambda Joseph Y. Halpern Yoram Moses role in distributed systems. Indeed, such reasoning is a central part of the informal intuitive arguments used in the design of distributed protocols. Communication in a distributed system can be viewed

  16. The Interactive Knowledge Library: Capturing, Sharing and Synthesizing Tacit Knowledge in Engineering

    E-Print Network [OSTI]

    Eaton, Craig M.

    2006-12-15T23:59:59.000Z

    The Interactive Knowledge Library is a place to capture, share and synthesize tacit and explicit knowledge. While explicit knowledge (or ‘know what’) is useful, it is tacit knowledge (or ‘know how’) that is the quintessence of knowledge, from which...

  17. Foundations of Artificial Intelligence Knowledge Acquisition

    E-Print Network [OSTI]

    Qu, Rong

    knowledge acquisition and knowledge engineering. To explain how knowledge is taken from a human before being against the original statement. Knowledge Acquisition The field of knowledge engineering can be defined Engineering Problem assessment Data and knowledge acquisition Bottleneck Development of a prototype system

  18. Checking Your Blood Sugar The only way to be sure your blood sugar is "just right" is to

    E-Print Network [OSTI]

    Checking Your Blood Sugar The only way to be sure your blood sugar is "just right" is to check it. Your blood sugar can be high and you may feel fine. If your blood sugar is high, it is damaging your blood vessels and hurting your body, even if you feel fine. #12; How can you check your blood sugar? One

  19. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security

    E-Print Network [OSTI]

    Abi-Antoun, Marwan

    Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security Marwan Abi Science Carnegie Mellon University Pittsburgh, PA 15213 Center for Software Excellence Abstract Threat Foundation. #12;Keywords: Threat modeling, data flow diagrams, reflexion models, architecture-level security

  20. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security

    E-Print Network [OSTI]

    Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security Marwan Abi Science Carnegie Mellon University Pittsburgh, PA 15213 # Center for Software Excellence Abstract Threat Foundation. #12; Keywords: Threat modeling, data flow diagrams, reflexion models, architecture­level security

  1. Checking Design Constraints at Run-time Using OCL and AspectJ

    E-Print Network [OSTI]

    Cheon, Yoonsik

    Roach, and Cuauhtemoc Munoz TR #09-35 December 2009 Keywords: design constraints, runtime checking Design Constraints at Run-time Using OCL and AspectJ Yoonsik Cheon (1) , Carmen Avila (1) , Steve Roach

  2. On the NP-hardness of checking matrix polytope stability and continuous-time switching stability

    E-Print Network [OSTI]

    Gurvits, Leonid

    Motivated by questions in robust control and switched linear dynamical systems, we consider the problem checking whether all convex combinations of k matrices in R[superscript ntimesn] are stable. In particular, we are ...

  3. See What the Astronauts Saw Check out photographs of Apollo missions to the

    E-Print Network [OSTI]

    See What the Astronauts Saw Check out photographs of Apollo missions to the Moon throughout the 1st rock within the wall near the bronze Moon model. It was retrieved by Apollo 15 astronauts. · What does

  4. Knowledge ecology and knowledge economy interests -can they be compatible? Rainer Kuhlen

    E-Print Network [OSTI]

    Kuhlen, Rainer

    Knowledge ecology and knowledge economy interests - can they be compatible? Rainer Kuhlen and knowledge ecology - can they be compatible? CC 1 #12;Knowledge ecology and knowledge economy interests - can they be compatible? part of #12;Knowledge ecology and knowledge economy interests - can they be compatible? EIS

  5. Ref. No. FU4301 Prepd. KIN Edition 1 Checked MNSJ

    E-Print Network [OSTI]

    in this project is to provide an independ- ent assessment on the energy production based on well the energy production from one float and from a row of five floats for waves with different directions

  6. Knowledge Capture and Transfer Program

    Broader source: Energy.gov [DOE]

    The Office of Learning and Workforce Development is working with Heads of Departmental Elements, DOE senior leaders and subject-matter-experts to capture and transfer the knowledge and experiences...

  7. A Knowledge Engineering Method for New Product Development

    E-Print Network [OSTI]

    Perry, Nicolas; 10.3166/jds.19.117-133

    2012-01-01T23:59:59.000Z

    Engineering activities involve large groups of people from different domains and disciplines. They often generate important information flows that are difficult to manage. To face these difficulties, a knowledge engineering process is necessary to structure the information and its use. This paper presents a deployment of a knowledge capitalization process based on the enrichment of MOKA methodology to support the integration of Process Planning knowledge in a CAD System. Our goal is to help different actors to work collaboratively by proposing one referential view of the domain, the context and the objectives assuming that it will help them in better decision-making.

  8. The Knowledge-Led Accumulation Regime: A Theory of Contemporary Capitalism

    E-Print Network [OSTI]

    Kim, Hyungkee

    2007-01-01T23:59:59.000Z

    age of globalization and knowledge-based economy arose, KWSof Political Economy, Sapir Andre (2005), ‘Globalization andglobalization and liberalization that weaken the ability to intervene in the economy.

  9. From Art to Science in Manufacturing: The Evolution of Technological Knowledge

    E-Print Network [OSTI]

    Bohn, Roger E.

    2005-01-01T23:59:59.000Z

    chart Synchronous line Science-based models (see below) Workpiece-tool interface Table 3.1 Key knowledge contributions of the SPC

  10. Using Probabilistic Model Checking for Dynamic Power Management

    E-Print Network [OSTI]

    Oxford, University of

    , 15, 18, 9] because of an increasing trend in the usage of portable, mobile, and hand-held electronic properties pertaining to bu#11;er sizes, delays, energy usage etc., for each derived strategy. Comparison: Discrete Time Markov Chains [2, 12], Continuous Time Markov Chains [15{17, 11], and Renewal Theory based

  11. Using Probabilistic Model Checking for Dynamic Power Management

    E-Print Network [OSTI]

    Oxford, University of

    of an increasing trend in the usage of portable, mobile, and hand-held electronic de- vices. These devices usually pertaining to buffer sizes, delays, energy usage etc., for each derived strategy. Comparison of various Time Markov Chains [15,16,17,11], and Renewal Theory based methods [21] to derive stochastic DPM

  12. Functional Metadata Schema for Engineering Knowledge Management

    E-Print Network [OSTI]

    Mizoguchi, Riichiro

    Functional Metadata Schema for Engineering Knowledge Management Yoshinobu Kitamura Naoya Washio engineering knowledge about functionality representing design rationale because of the lack of rich common, ontology, metadata, functional model, knowledge management 1. INTRODUCTION In the engineering design

  13. ORIGINAL PAPER The interdisciplinary engineering knowledge genome

    E-Print Network [OSTI]

    Shai, Offer

    ORIGINAL PAPER The interdisciplinary engineering knowledge genome Yoram Reich · Offer Shai Received, termed the ``Interdisciplinary Engineering Knowledge Genome'', which is an organized collection of system, the Interdisciplinary Engineering Knowledge Genome unifies many engineering disciplines, providing a basis

  14. Central Characterization Program (CCP) Acceptable Knowledge Documentat...

    Office of Environmental Management (EM)

    Acceptable Knowledge Documentation Central Characterization Program (CCP) Acceptable Knowledge Documentation This document was used to determine facts and conditions during the...

  15. Geographic Privacy-aware Knowledge Discovery Fosca Giannotti2, Mirco Nanni2, Dino Pedreschi1, and Chiara Renso2

    E-Print Network [OSTI]

    Malerba, Donato

    , based on new privacy- preserving methods for extracting knowledge from large amounts of raw data ref in the advocated form of geographic knowledge a key driver, such as in transport, environment and risk management and sys- tems for knowledge discovery and delivery, based on new automated privacy-preserving methods

  16. LTL Model Checking with Logic Based Tristan M. Behrens and Jrgen Dix

    E-Print Network [OSTI]

    Zachmann, Gabriel

    and Simulation) Prof. Dr. Harald Richter (Technical Computer Science) Prof. Dr. Gabriel Zachmann (Computer

  17. An Aspect-Based Approach to Checking Design Constraints at Run-time

    E-Print Network [OSTI]

    Cheon, Yoonsik

    , Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, and Jessica Romo TR #08-38 November 2008 Design Constraints at Run-time Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada

  18. INTELLIGENT PERFORMANCE CHECK OF PV SYSTEM OPERATION BASED ON SATELLITE DATA

    E-Print Network [OSTI]

    Heinemann, Detlev

    , shading by surrounding objects, or inverter errors lead to energy losses that can be high and costly method to avoid unnecessary energy losses and therefore prevents operators from decisive financial losses a technical description of the PV system once to the PVSAT-2 service. This description contains the major

  19. Enhance your Cyber Security Knowledge

    E-Print Network [OSTI]

    Enhance your Cyber Security Knowledge About NPS CS FUNDAMENTALS: Create a strong foundational by increasing the effectiveness of the armed forces of the United States and its allies. Cyber Security-4015 About CISR #12;Cyber Security Adversarial Techniques Cyber Security Defense Cyber Security Fundamentals

  20. A knowledge portal for Norway

    E-Print Network [OSTI]

    Johansen, Tom Henning

    A knowledge portal for Norway 2012 Highlights from the University of Oslo's annual report #12 examinations 14 The Governor of the Bank of Norway's Annual Address: 15 A student ombudsman is introduced 15 for Norway, and in addition to its achievements in the form of education and new research, it has a large

  1. HEART SMART NUTRITION KNOWLEDGE = POWER

    E-Print Network [OSTI]

    Lesson 1 HEART SMART NUTRITION KNOWLEDGE = POWER Know Your Cholesterol Number High blood cholesterol is one of the three major risk factors for heart disease that you can change. The other two risk the disease. Heart disease is the number one killer of women and men in the United States. In 2008, over 16

  2. "Investment in knowledge pays the

    E-Print Network [OSTI]

    Cortes, Jesus

    Annual Report #12;Annual Report #12;"Investment in knowledge pays the best interest." Abraham to information about the organisation. Our accounts are audited annually and can be viewed on our website: www to leading institutions in Europe in terms of selecting, hiring and consolidating research talent. Ikerbasque

  3. Advancing Michigan's State of Knowledge

    E-Print Network [OSTI]

    Zhao, Jennifer Jing

    Advancing Michigan's State of Knowledge GRADUATE E D U C AT I O N "To attract and grow quality jobs for Michigan's Economic Future: Jobs, Education and Protecting Families State of the State Address - 2009 Michigan Graduate Education Day Thursday, April 23, 2009 , Andrews University Aquinas College Baker College

  4. Tank 30 and 37 Supernatant Sample Cross-Check and Evaporator Feed Qualification Analysis-2012

    SciTech Connect (OSTI)

    Oji, L. N.

    2013-03-07T23:59:59.000Z

    This report summarizes the analytical data reported by the F/H and Savannah River National Laboratories for the 2012 cross-check analysis for high level waste supernatant liquid samples from SRS Tanks 30 and 37. The intent of this Tank 30 and 37 sample analyses was to perform cross-checks against routine F/H Laboratory analyses (corrosion and evaporator feed qualification programs) using samples collected at the same time from both tanks as well as split samples from the tanks.

  5. Knowledge Engineering Technique for Cluster Development

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Knowledge Engineering Technique for Cluster Development Pradorn Sureephong1 , Nopasit Chakpitak1 management by using knowledge engineering which is one of the most important method for managing knowledge. This work analyzed three well known knowledge engineering methods, i.e. MOKA, SPEDE and Common

  6. SMOV3B WFPC2 UV Contamination Monitoring and Throughput Check

    E-Print Network [OSTI]

    Sirianni, Marco

    1 SMOV3B WFPC2 UV Contamination Monitoring and Throughput Check A. M. Koekemoer, S. Gonzaga, L is potentially susceptible to significant decreases as a result of contaminants deposited on the cold CCD windows intensive monitoring of this contamination using the F170W filter, to ensure that the throughput never

  7. Master of Architecture Check Sheet Professional M.Arch. II & III

    E-Print Network [OSTI]

    Master of Architecture Check Sheet Professional M.Arch. II & III Apply on-line at: https in architecture (not to exceed 500 words). _____ One unofficial copy of the transcript where the undergraduate results. KU's Institution Code is 6871 and the Department Code for Architecture is 4401. International

  8. PERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING

    E-Print Network [OSTI]

    Boyer, Edmond

    of the plant with a timed discrete model of the controller. We will also show, using a basic examplePERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING Bruno Denis (1 Systems (DES) and Hybrid Dynamic Systems (HDS) are quite substantial, especially as regards the controller

  9. MetaGame: An Animation Tool for Model-Checking Games

    E-Print Network [OSTI]

    Müller-Olm, Markus

    MetaGame: An Animation Tool for Model-Checking Games Markus M¨uller-Olm1 and Haiseung Yoo2 1 Fern-Verlag Berlin Heidelberg 2004 #12;164 Markus M¨uller-Olm and Haiseung Yoo careful investigation of the cause

  10. MetaGame: An Animation Tool for ModelChecking Games

    E-Print Network [OSTI]

    Müller-Olm, Markus

    MetaGame: An Animation Tool for Model­Checking Games Markus MË?uller­Olm 1# and Haiseung Yoo 2 1, pp. 163--167, 2004. c # Springer­Verlag Berlin Heidelberg 2004 #12; 164 Markus MË?uller­Olm

  11. Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness Melanie Dulong de. This research presents a taxonomy of contractual and technical restrictions applicable to databases in life to integrate facilitate innovation and how this openness can be achieved. The taxonomy describes technical

  12. A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded Systems

    E-Print Network [OSTI]

    Gupta, Rajesh

    A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded, and laptops, controlling power dissipation is an important system design issue [2]. This is either because enforced at the system level. In [3], a system modeling ap- proach for dynamic power management strategy

  13. Model-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens

    E-Print Network [OSTI]

    Ryan, Mark

    of sophisticated access control systems, such as those which can be described using our model, is indirect pathsModel-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens July 9, 2004 Abstract We present a model of access control which provides fine-grained data-dependent control

  14. Probabilistic Model Checking and PowerAware Computing Marta Kwiatkowska Gethin Norman David Parker

    E-Print Network [OSTI]

    Oxford, University of

    operating system control, can be switched either on and off or between several power states of varying powerProbabilistic Model Checking and Power­Aware Computing #3; Marta Kwiatkowska Gethin Norman David­aware computing aims either to maximise the per­ formance of a system under certain constraints on its power

  15. Probabilistic Model Checking and Power-Aware Computing Marta Kwiatkowska Gethin Norman David Parker

    E-Print Network [OSTI]

    Oxford, University of

    operating system control, can be switched either on and off or between several power states of varying powerProbabilistic Model Checking and Power-Aware Computing Marta Kwiatkowska Gethin Norman David Parker-aware computing aims either to maximise the per- formance of a system under certain constraints on its power

  16. Check our website at: library.queensu.ca/research/guide/genealogy LIBRARY LOCATIONS & ACRONYMS

    E-Print Network [OSTI]

    Abolmaesumi, Purang

    GENEALOGY Check our website at: library.queensu.ca/research/guide/genealogy LIBRARY LOCATIONS & ACRONYMS SL Stauffer Library OGS Ontario Genealogical Society Docs Government Documents, Stauffer Library) Kingston Public Library Genealogy Information: www.kfpl.ca/ and http://www.kfpl.ca/genealogy

  17. A SingleQuery BiDirectional Probabilistic Roadmap Planner with Lazy Collision Checking

    E-Print Network [OSTI]

    LaValle, Steven M.

    1 A Single­Query Bi­Directional Probabilistic Roadmap Planner with Lazy Collision Checking Gildardo probabilistic roadmap (PRM) planner that is: single­query --it does not pre­compute a roadmap, but uses the two the robot's free space by concurrently building a roadmap made of two trees rooted at the query

  18. TCTL model-checking of Time Petri Nets Hanifa Boucheneb1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Verification of concurrent systems is a complex task that requires powerful models and efficient analysis tech- niques. Model checking is one of the most popular verification techniques of concurrent systems verification of properties of real-life systems. In this paper, we consider subscript TCTL for TPN (TPN

  19. VLSI implementation of encoder and decoder for low-density parity-check codes

    E-Print Network [OSTI]

    Sivakumar, Suresh

    2001-01-01T23:59:59.000Z

    The aim of this research is to implement an encoder and a message-passing decoder for low-density parity-check codes in hardware. The desired data rate is 44.8 Mbps and the channel is an Additive White Gaussian Noise(AWGN) channel. The effect...

  20. Light-Tightness Quality Check for Curtis Schmidt 8-inch Shutters Tyler W. Behm,1,

    E-Print Network [OSTI]

    Light-Tightness Quality Check for Curtis Schmidt 8-inch Shutters Tyler W. Behm,1, J.P. Rheault,1 light is "leaked" through a closed CCD shutter. We find that by orienting the actuator towards the CCD 1 in 250,000 at most. I. INTRODUCTION Light-tightness is an important quality in shutters. Poor

  1. Automated Environment Generation for Software Model Checking Oksana Tkachuk, Matthew B. Dwyer

    E-Print Network [OSTI]

    Pasareanu, Corina

    Automated Environment Generation for Software Model Checking Oksana Tkachuk, Matthew B. Dwyer programs or about program components, an abstract model of the environment can be essential in enabling environment behavior with sound abstractions of environment implemen­ tations to form a model

  2. Library hours vary by semester; Check lib.usf.edu After midnight, USF ID required

    E-Print Network [OSTI]

    Meyers, Steven D.

    Library hours vary by semester; Check lib.usf.edu After midnight, USF ID required lib.usf.edu (813? To learn how to: Integrate the library into Canvas, Invite a librarian to join your course's Canvas site, or Request a tailored research guide or library research assignment, Contact: Susan Silver | ssilver

  3. PERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    technologies in manufacturing automation but they have not been specifically intended for industrial controlPERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING Daniel Witsch networks are promising for the harmonization of the communication technologies in manufacturing automation

  4. A tool for checking CSP||B specifications Huu Nghia Nguyen, Jean-Pierre Jacquot

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A tool for checking CSP||B specifications Huu Nghia Nguyen, Jean-Pierre Jacquot LORIA ­ Nancy in the verification of CSP||B specifications. Our primary research goal is methodological: we aim at understanding. One specification may require the use of B for managing some complex data structure, of CSP

  5. The past, present and future of protocol checking with CSP and FDR

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    AVoCS 2006 The past, present and future of protocol checking with CSP and FDR Bill Roscoe1 Oxford of these meetings was the development of the CSP model of cryptographic protocols, following Gavin Lowe's discovery the particular advantages of using a process algebra, and CSP in particular, for modelling cryptoprotocols

  6. An Optimization Approach for Effective Formalized fUML Model Checking

    E-Print Network [OSTI]

    Doran, Simon J.

    An Optimization Approach for Effective Formalized fUML Model Checking Islam Abdelhalim, Steve that makes use of a restricted CSP model (because it follows certain formalization rules) to optimize; the first one provides optimization advice to the modeller, while the second one au- tomatically applies

  7. Check-list for recruitment and registration of PhD students at ICM Persons responsible

    E-Print Network [OSTI]

    Uppsala Universitet

    Check-list for recruitment and registration of PhD students at ICM Persons responsible of the Department and the Departmental Board. Guidelines Each PhD student should have at least two supervisors. One education for registration of PhD studenst. At least one of the supervisors must be a docent. To qualify

  8. Knowledge Elecitation for Factors Affecting Taskforce Productivity using a Questionnaire

    E-Print Network [OSTI]

    Muhammad Sohail; Abdur Rashid Khan

    2009-07-30T23:59:59.000Z

    In this paper we present the process of Knowledge Elicitation through a structured questionnaire technique. This is an effort to depict a problem domain as Investigation of factors affecting taskforce productivity. The problem has to be solved using the expert system technology. This problem is the very first step how to acquire knowledge from the domain experts. Knowledge Elicitation is one of the difficult tasks in knowledge base formation which is a key component of expert system. The questionnaire was distributed among 105 different domain experts of Public and Private Organizations (i.e. Education Institutions, Industries and Research etc) in Pakistan. A total 61 responses from these experts were received. All the experts were well qualified, highly experienced and has been remained the members for selection committees a number of times for different posts. Facts acquired were analyzed from which knowledge was extracted and elicited. A standard shape was given to the questionnaire for further research as a knowledge learning tool. This tool may be used as a standard document for selection and promotion of employees.

  9. LAPTOP COMPUTER CHECKOUT POLICY There are two laptop computers that can be checked out by faculty who need them for

    E-Print Network [OSTI]

    Selmic, Sandra

    LAPTOP COMPUTER CHECKOUT POLICY There are two laptop computers that can be checked out by faculty policy which was adopted by College Council: (1) The pool laptop computers can be checked out for no more than 2 weeks at a time. (2) Reservation requests for portable computers should be submitted at least 1

  10. 838 IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. 9, NO. 6, NOVEMBER/DECEMBER 1997 QUEM: An Achievement Test

    E-Print Network [OSTI]

    Parzen, Michael

    838 IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. 9, NO. 6, NOVEMBER/DECEMBER 1997 QUEM, performance measures, knowledge engineering, solution quality. -------------------- 3 -------------------- 1: An Achievement Test for Knowledge-Based Systems Caroline C. Hayes, Member, IEEE, and Michael I. Parzen Abstract

  11. Academic Knowledge Transfer in Social Networks

    E-Print Network [OSTI]

    Slater, Mark David

    2013-01-01T23:59:59.000Z

    4.3 Digital Library Requirements . . . . . . . . . . . 4.43.1.1 Digital Libraries . . . . . . . . . . . .A Prototype Personal Digital Library Knowledge Transfer

  12. D and D Knowledge Management Information Tool - 2012 - 12106

    SciTech Connect (OSTI)

    Upadhyay, H.; Lagos, L.; Quintero, W.; Shoffner, P. [Applied Research Center, Florida International University, Miami. FL 33174 (United States); DeGregory, J. [Office of D and D and Facility Engineering, Environmental Management, Department of Energy (United States)

    2012-07-01T23:59:59.000Z

    Deactivation and decommissioning (D and D) work is a high priority activity across the Department of Energy (DOE) complex. Subject matter specialists (SMS) associated with the different ALARA (As-Low-As-Reasonably-Achievable) Centers, DOE sites, Energy Facility Contractors Group (EFCOG) and the D and D community have gained extensive knowledge and experience over the years in the cleanup of the legacy waste from the Manhattan Project. To prevent the D and D knowledge and expertise from being lost over time from the evolving and aging workforce, DOE and the Applied Research Center (ARC) at Florida International University (FIU) proposed to capture and maintain this valuable information in a universally available and easily usable system. D and D KM-IT provides single point access to all D and D related activities through its knowledge base. It is a community driven system. D and D KM-IT makes D and D knowledge available to the people who need it at the time they need it and in a readily usable format. It uses the World Wide Web as the primary source for content in addition to information collected from subject matter specialists and the D and D community. It brings information in real time through web based custom search processes and its dynamic knowledge repository. Future developments include developing a document library, providing D and D information access on mobile devices for the Technology module and Hotline, and coordinating multiple subject matter specialists to support the Hotline. The goal is to deploy a high-end sophisticated and secured system to serve as a single large knowledge base for all the D and D activities. The system consolidates a large amount of information available on the web and presents it to users in the simplest way possible. (authors)

  13. MASTER OF TECHNOLOGY IN KNOWLEDGE ENGINEERING

    E-Print Network [OSTI]

    Chaudhuri, Sanjay

    MASTER OF TECHNOLOGY IN KNOWLEDGE ENGINEERING Become a Leader & INNOVATORin INTELLIGENT SYSTEMS treatment options. The Master of Technology in Knowledge Engineering will equip you with the skills) in Knowledge Engineering (KE) draws on the rich resources of the Institute of Systems Science (ISS

  14. IAI : Knowledge Representation John A. Bullinaria, 2005

    E-Print Network [OSTI]

    Bullinaria, John

    is a Knowledge Representation? 3. Requirements of a Knowledge Representation 4. Practical Aspects of Good5-5 Practical Aspects of Good Representations In practice, the theoretical requirements for good Dictionary provides as good a definition as any: knowledge, nolij, n. assured belief; that which is known

  15. Tuesday, June 24 P. M. noon -4:30 BEAN Registration/Check-in

    E-Print Network [OSTI]

    Bordenstein, Seth

    Tuesday, June 24 P. M. noon - 4:30 BEAN Registration/Check-in 5:00 - 7:00 CAR Dinner 7:30 PLC Welcome Gathering 8:30 BEAN Lead Chaperone/Conductor/Interns mtg. 10:00 BEAN Lights out Wednesday, June 25:45 PLC Rehearsal II 5:00 - 6:30 CAR Dinner 7:00 ­ 9:00 CLC Sharing Our Songs Concert I 9:15 ­ 9:45 BEAN

  16. Model-Checking the Higher-Dimensional Modal mu-Calculus

    E-Print Network [OSTI]

    Lange, Martin; 10.4204/EPTCS.77.6

    2012-01-01T23:59:59.000Z

    The higher-dimensional modal mu-calculus is an extension of the mu-calculus in which formulas are interpreted in tuples of states of a labeled transition system. Every property that can be expressed in this logic can be checked in polynomial time, and conversely every polynomial-time decidable problem that has a bisimulation-invariant encoding into labeled transition systems can also be defined in the higher-dimensional modal mu-calculus. We exemplify the latter connection by giving several examples of decision problems which reduce to model checking of the higher-dimensional modal mu-calculus for some fixed formulas. This way generic model checking algorithms for the logic can then be used via partial evaluation in order to obtain algorithms for theses problems which may benefit from improvements that are well-established in the field of program verification, namely on-the-fly and symbolic techniques. The aim of this work is to extend such techniques to other fields as well, here exemplarily done for process...

  17. Exploration Of Activity Measurements And Equilibrium Checks For Sediment Dating Using Thick-Window Germanium Detectors

    SciTech Connect (OSTI)

    Warner, Jacob A.; Gladkis, Laura G.; Timmers, Heiko [School of Physical, Environmental and Mathematical Sciences, University of New South Wales at the Australian Defence Force Academy, Canberra ACT 2602 (Australia); Fitzsimmons, Kathryn E. [Department of Human Evolution, Max Planck Institute for Evolutionary Anthropology, Deutscher Platz 6, D-04103 Leipzig (Germany); Reynolds, Eva M. [Research School of Earth Sciences, Australian National University, Canberra ACT 0200 (Australia)

    2011-06-01T23:59:59.000Z

    Activity measurements on sediment samples for trapped-charge geological dating using gamma-ray spectroscopy are an important verification of the field-site dose rate determination. Furthermore gamma-ray spectroscopy can check if the natural decay series are in secular equilibrium which is a crucial assumption in such dating. Typically the activities of leading members of the Thorium and Uranium decay series are measured, which requires Germanium detectors with thin windows and good energy resolution in order to effectively detect the associated low energy gamma-rays. Such equipment is not always readily available. The potential of conventional Germanium detectors with thick entrance window has been explored towards routine gamma-ray spectroscopy of sediment samples using higher energy gamma-rays. Alternative isotopes, such as Ac-228 and Pb-212 for the Thorium series, and Pa-234m, Ra-226 and Bi-214 for the Uranium series, have been measured in order to determine the mass-specific activity for the respective series and possibly provide a check of secular equilibrium. In addition to measurements of the K-40 activity, with the alternative approach, the activities of both decay series can be accurately determined. The secular equilibrium condition may be tested for the Thorium series. Measurement accuracy for Pa-234m is, however, not sufficient to permit also a reliable check of equilibrium for the Uranium series.

  18. Category 1: Epistemology (EPIST) Scientific knowledge is the most objective form of knowledge.

    E-Print Network [OSTI]

    Cobern, William W.

    ) Science helps develop our natural resources such as coal, gas, oil, and solar energy. Scientific knowledge today because of scientific knowledge. The development of our natural resources, such as coal, gas, oil knowledge is the truest form of knowledge. Alpha = 0.7475 Category 2: Scientific & the Economy (ECON

  19. A study of learning performance of e-learning materials design with knowledge maps

    E-Print Network [OSTI]

    Ouhyoung, Ming

    Information Security Project ING Information Security Project Microsoft e-learning Materials Project Microsoft e-learning Materials Project Knowledge MapsKnowledge Maps 66 Materials and Methods for Information-based e-learning materials 1616 Conclusion · Research topics elicited from projects. · Extended

  20. On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge

    E-Print Network [OSTI]

    Schmidt, Renate A.

    On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge #3; Renate A. Schmidt-agent systems. In computer science applications, the modal logic S5 is generally accepted as an adequate representation of the no- tion of knowledge. For example, in agent based applications the S5 formula #3;' can

  1. IMPACTS OF OIL AND NATURAL GAS ON PRAIRIE GROUSE: CURRENT KNOWLEDGE AND RESEARCH NEEDS1

    E-Print Network [OSTI]

    Beck, Jeffrey L.

    IMPACTS OF OIL AND NATURAL GAS ON PRAIRIE GROUSE: CURRENT KNOWLEDGE AND RESEARCH NEEDS1 Jeffrey L and natural gas development on grouse populations and habitats. The purpose of this review is to summarize current knowledge on the effects of oil and gas development and production on prairie grouse based

  2. Boundary spanning, knowledge dynamics and emerging innovation systems early lessons from nanotechnology

    E-Print Network [OSTI]

    nanotechnology DIME Workshop "Industrial innovation dynamics and knowledge characteristics, exploring systems. Using nanotechnology as a case the paper focuses on analysing boundary spanning effects to capture possible changes in the knowledge base and search modes related to the rise of nanotechnology

  3. Effective Date: Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: Revision- Check the JPSS MIS Server at https-00043 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https SDR ATBD 474-00043 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  4. 1. Check Equipment Reservations in Coral to ensure that you reserved the correct machine, in the correct facility, for the correct date. Another user may

    E-Print Network [OSTI]

    Reif, Rafael

    1. Check Equipment Reservations in Coral to ensure that you reserved the correct machine to honor them, if this is the case. 2. Engage the tool in Coral for the equipment that you are about to use protectors and acid gloves. 5. Perform pre-check of wet bench 1. Check the Coral indicator LED in the upper

  5. M.S. ABDULLAH, I. BENEST, A. EVANS, and C. KIMBLE, Knowledge Modelling Techniques For Developing Knowledge Management Systems, 3rd European Conference on

    E-Print Network [OSTI]

    Kimble, Chris

    modelling, knowledge management, knowledge management system, knowledge, knowledge engineering. 1M.S. ABDULLAH, I. BENEST, A. EVANS, and C. KIMBLE, Knowledge Modelling Techniques For Developing Knowledge Management Systems, 3rd European Conference on Knowledge Management, Dublin, Ireland, September

  6. Cancer Evaluation The following questions are about today's program. Place a check (T) in front of the answer.

    E-Print Network [OSTI]

    EAT SMART Cancer Evaluation The following questions are about today's program. Place a check (T the information from this program. # I have or have had cancer. YES NO As you answer each question, think about

  7. Heart Health Evaluation The following questions are about today's program. Place a check (T) in front of the answer.

    E-Print Network [OSTI]

    EAT SMART Heart Health Evaluation The following questions are about today's program. Place a check not planning to use the information in this program. # I have heart disease or high blood pressure. YES

  8. 1058 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 53, NO. 3, MARCH 2007 Generalized Low-Density Parity-Check Codes

    E-Print Network [OSTI]

    Ping, Li

    represented by an extrinsic mutual information transfer (EXIT) chart. Simulation results show-Hadamard codes. Index Terms--Code optimization, extrinsic mutual informa- tion transfer (EXIT) chart, generalized check (SPC) codes using bipartite graphs. For

  9. Data structures and apparatuses for representing knowledge

    DOE Patents [OSTI]

    Hohimer, Ryan E; Thomson, Judi R; Harvey, William J; Paulson, Patrick R; Whiting, Mark A; Tratz, Stephen C; Chappell, Alan R; Butner, Robert S

    2014-02-18T23:59:59.000Z

    Data structures and apparatuses to represent knowledge are disclosed. The processes can comprise labeling elements in a knowledge signature according to concepts in an ontology and populating the elements with confidence values. The data structures can comprise knowledge signatures stored on computer-readable media. The knowledge signatures comprise a matrix structure having elements labeled according to concepts in an ontology, wherein the value of the element represents a confidence that the concept is present in an information space. The apparatus can comprise a knowledge representation unit having at least one ontology stored on a computer-readable medium, at least one data-receiving device, and a processor configured to generate knowledge signatures by comparing datasets obtained by the data-receiving devices to the ontologies.

  10. Effective Date: September 19, 2012 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: September 19, 2012 Revision ­ Check the JPSS MIS Server at https-00323 Effective Date: September 19, 2012 Revision ­ i Check the JPSS MIS Server at https: September 19, 2012 Revision ­ ii Check the JPSS MIS Server at https

  11. Cross-check of ex-situ and in-situ metrology of a bendable temperature stabilized KB mirror

    SciTech Connect (OSTI)

    Yuan, Sheng Sam; Goldberg, Kenneth A.; Yashchuk, Valeriy V.; Celestre, Richard; McKinney, Wayne R.; Morrison, Gregory; Macdougall, James; Mochi, Iacopo; Warwick, Tony

    2010-09-15T23:59:59.000Z

    At the Advanced Light Source (ALS), we are developing broadly applicable, high-accuracy, in-situ, at-wavelength wavefront slope measurement techniques for Kirkpatrick-Baez (KB) mirror nano-focusing. In this paper, we report an initial cross-check of ex-situ and in-situ metrology of a bendable temperature stabilized KB mirror. This cross-check provides a validation of the in-situ shearing interferometry currently under development at the ALS.

  12. Reliability checks on the Indo-US Stellar Spectral Library using Artificial Neural Networks and Principal Component Analysis

    E-Print Network [OSTI]

    Harinder P. Singh; Manabu Yuasa; Nawo Yamamoto; Ranjan Gupta

    2005-12-21T23:59:59.000Z

    The Indo-US coud\\'{e} feed stellar spectral library (CFLIB) made available to the astronomical community recently by Valdes et al. (2004) contains spectra of 1273 stars in the spectral region 3460 to 9464 \\AA at a high resolution of 1 \\AA FWHM and a wide range of spectral types. Cross-checking the reliability of this database is an important and desirable exercise since a number of stars in this database have no known spectral types and a considerable fraction of stars has not so complete coverage in the full wavelength region of 3460-9464 \\AA resulting in gaps ranging from a few \\AA to several tens of \\AA. In this paper, we use an automated classification scheme based on Artificial Neural Networks (ANN) to classify all 1273 stars in the database. In addition, principal component analysis (PCA) is carried out to reduce the dimensionality of the data set before the spectra are classified by the ANN. Most importantly, we have successfully demonstrated employment of a variation of the PCA technique to restore the missing data in a sample of 300 stars out of the CFLIB.

  13. Hydrothermal Exploration Best Practices and Geothermal Knowledge...

    Open Energy Info (EERE)

    on Openei Jump to: navigation, search OpenEI Reference LibraryAdd to library Conference Paper: Hydrothermal Exploration Best Practices and Geothermal Knowledge Exchange on Openei...

  14. Central Characterization Program (CCP), Acceptable Knowledge...

    Office of Environmental Management (EM)

    for Los Alamos National Laboratory, TA-55 Mixed Transuranic Waste Streams Central Characterization Program (CCP), Acceptable Knowledge Summary Report for Los Alamos National...

  15. Knowledge Discovery Overview Brian Worley

    E-Print Network [OSTI]

    Wang, Xiaorui "Ray"

    networks Modeling & Simulation · Discrete-event · Agent-based · Emergence · Real-time · Large, sensor, and cybersecurity data Do not be another data archival provider ­ ORNL can provide services

  16. Multimedia Knowledge Integration, Summarization and Evaluation Ana B. Benitez

    E-Print Network [OSTI]

    Chang, Shih-Fu

    Multimedia Knowledge Integration, Summarization and Evaluation Ana B. Benitez Department multimedia knowledge. These are essential for multimedia applications to efficiently and coherently deal with multimedia knowledge at different abstraction levels such as perceptual and semantic knowledge (e.g., image

  17. Learning Energy Demand Domain Knowledge via Feature Transformation

    E-Print Network [OSTI]

    Povinelli, Richard J.

    Learning Energy Demand Domain Knowledge via Feature Transformation Sanzad Siddique Department -- Domain knowledge is an essential factor for forecasting energy demand. This paper introduces a method knowledge substantially improves energy demand forecasting accuracy. However, domain knowledge may differ

  18. Fostering continuous innovation in design with an integrated knowledge management approach

    E-Print Network [OSTI]

    Xu, J; Caillaud, Emmanuel; Gardoni, Mickaël; 10.1016/j.compind.2010.12.005

    2012-01-01T23:59:59.000Z

    In the global competition, companies are propelled by an immense pressure to innovate. The trend to produce more new knowledge-intensive products or services and the rapid progress of information technologies arouse huge interest on knowledge management for innovation. However the strategy of knowledge management is not widely adopted for innovation in industries due to a lack of an effective approach of their integration. This study aims to help the designers to innovate more efficiently based on an integrated approach of knowledge management. Based on this integrated approach, a prototype of distributed knowledge management system for innovation is developed. An industrial application is presented and its initial results indicate the applicability of the approach and the prototype in practice.

  19. An Investigation into the Role of Implicit Knowledge in Adult Second Language Acquisition 

    E-Print Network [OSTI]

    Leonard Cook, Anna

    2009-01-01T23:59:59.000Z

    This thesis investigates the role of implicit knowledge in second language acquisition, presenting five experiments and related simulations based on artificial grammar learning. It examines whether second language learners ...

  20. The impact of an environmental education program on third graders' knowledge, attitudes and behavioral intentions

    E-Print Network [OSTI]

    Vadala, Carin Elizabeth

    2004-09-30T23:59:59.000Z

    The purpose of this study was to measure whether an after-school environmental education program based on modified Project Wild materials, positively impacted third graders environmental knowledge, attitudes and behavioral intentions. Eight lesson...

  1. Reshaping rural development through knowledge clusters : the case of Danville and Southside, Virginia

    E-Print Network [OSTI]

    Pierson, Andrew Stuart (Andrew Drew Stuart)

    2013-01-01T23:59:59.000Z

    This thesis examines challenges and implications associated with implementing knowledge-based economic development strategies in rural regions, focusing on the City of Danville in Southside Virginia. In 2000, Danville ...

  2. Extraction of Contextual Knowledge and Ambiguity Handling for Ontology in Virtual Environment

    E-Print Network [OSTI]

    Lee, Hyun Soo

    2011-10-21T23:59:59.000Z

    generates scene ontology without prior knowledge and human intervention. As an intermediate process, a new and effective fuzzy color-based over-segmentation method is suggested. The second method generates virtual ontology with 3D information using multi...

  3. A Structural-Lexical Measure of Semantic Similarity for Geo-Knowledge Graphs

    E-Print Network [OSTI]

    Ballatore, Andrea; Bertolotto, Michela; Wilson, David C

    2015-01-01T23:59:59.000Z

    space. Synth. Lect. Semant. Web Theory Technol. 2011, 1, 1–volunteered open geo-knowledge bases in the semantic web. InIssues in the Management of Web Information; Pasi, G. ,

  4. Socio-cognitive analysis of engineering systems design : shared knowledge, process, and product

    E-Print Network [OSTI]

    Avnet, Mark Sean

    2009-01-01T23:59:59.000Z

    This research is based on the well-known but seldom stated premise that the design of complex engineered systems is done by people -- each with their own knowledge, thoughts, and views about the system being designed. To ...

  5. An Adaptive Entanglement Distillation Scheme Using Quantum Low Density Parity Check Codes

    E-Print Network [OSTI]

    K. H. Ho; H. F. Chau

    2008-07-14T23:59:59.000Z

    Quantum low density parity check (QLDPC) codes are useful primitives for quantum information processing because they can be encoded and decoded efficiently. Besides, the error correcting capability of a few QLDPC codes exceeds the quantum Gilbert-Varshamov bound. Here, we report a numerical performance analysis of an adaptive entanglement distillation scheme using QLDPC codes. In particular, we find that the expected yield of our adaptive distillation scheme to combat depolarization errors exceed that of Leung and Shor whenever the error probability is less than about 0.07 or greater than about 0.28. This finding illustrates the effectiveness of using QLDPC codes in entanglement distillation.

  6. How to check quantum mechanics independently (Reply to arXiv:1505.04293)

    E-Print Network [OSTI]

    Yuri I. Ozhigov

    2015-06-17T23:59:59.000Z

    This is the reply to the paper of Andrei Khrennikov arXiv:1505.04293 in which he expresses dissatisfaction with that the rough data in quantum experiments is not easily available and compares it with the open rough data in genetics. I try to explain why quantum experiments rough data is closed and why it differs radically from the biological. I also tried to answer the more thorny issue: is it possible to check quantum mechanics independently of other humans, e.g. trusting nobody.

  7. A computer test bench for checking and adjusting the automatic regulators of generator excitation systems

    SciTech Connect (OSTI)

    Dovganyuk, I. Ya.; Labunets, I. A.; Plotnikova, T. V.; Sokur, P. V. [Affiliate of the 'NTTs Elektroenergetiki' Company - Scientific Research Institute of Electric Power (VNIIE) (Russian Federation)

    2008-05-15T23:59:59.000Z

    A computer test bench for testing and debugging natural samples of the automatic excitation regulation systems of generators, the protection units and the power part of the excitation system is described. The bench includes a personal computer with specialized input-output circuit boards for analog and digital signals, and enables the time and cost involved in developing and checking control systems to be reduced considerably. The program employed operates in real time and enables the automatic excitation regulators of synchronous generators and generators with longitudinal-transverse excitation in a specific power system to be adjusted.

  8. A Knowledge-Engine Architecture for a Competence Management Information

    E-Print Network [OSTI]

    Kimble, Chris

    A Knowledge-Engine Architecture for a Competence Management Information System José Braga de to develop a knowledge-engine architecture that is being specified and developed by a Portuguese software Engineering, Knowledge Management, Knowledge-Engine, Ontology Design, Organizational Knowledge #12;A Knowledge-Engine

  9. Applied knowledge to meet society's needs.

    E-Print Network [OSTI]

    Langendoen, Koen

    Applied knowledge to meet society's needs. Applied Physics covers phenomena ranging from knowledge and hands-on experience in experimental techniques, theoretical analysis, simulation and modelling of radiation. The focus of the research is on energy and health. While the topics addressed ­ covering

  10. Knowledge Framework Implementation with Multiple Architectures - 13090

    SciTech Connect (OSTI)

    Upadhyay, H.; Lagos, L.; Quintero, W.; Shoffner, P. [Applied Research Center, Florida International University, Miami, FL 33174 (United States)] [Applied Research Center, Florida International University, Miami, FL 33174 (United States); DeGregory, J. [Office of D and D and Facility Engineering, Environmental Management, Department of Energy (United States)] [Office of D and D and Facility Engineering, Environmental Management, Department of Energy (United States)

    2013-07-01T23:59:59.000Z

    Multiple kinds of knowledge management systems are operational in public and private enterprises, large and small organizations with a variety of business models that make the design, implementation and operation of integrated knowledge systems very difficult. In recent days, there has been a sweeping advancement in the information technology area, leading to the development of sophisticated frameworks and architectures. These platforms need to be used for the development of integrated knowledge management systems which provides a common platform for sharing knowledge across the enterprise, thereby reducing the operational inefficiencies and delivering cost savings. This paper discusses the knowledge framework and architecture that can be used for the system development and its application to real life need of nuclear industry. A case study of deactivation and decommissioning (D and D) is discussed with the Knowledge Management Information Tool platform and framework. D and D work is a high priority activity across the Department of Energy (DOE) complex. Subject matter specialists (SMS) associated with DOE sites, the Energy Facility Contractors Group (EFCOG) and the D and D community have gained extensive knowledge and experience over the years in the cleanup of the legacy waste from the Manhattan Project. To prevent the D and D knowledge and expertise from being lost over time from the evolving and aging workforce, DOE and the Applied Research Center (ARC) at Florida International University (FIU) proposed to capture and maintain this valuable information in a universally available and easily usable system. (authors)

  11. Knowledge representation in process engineering Ulrike Sattler

    E-Print Network [OSTI]

    Baader, Franz

    Knowledge representation in process engineering Ulrike Sattler RWTH Aachen, uli, the tasks we are concerned with in process engineering are described as well as how knowledge representation@cantor.informatik.rwth­aachen.de Abstract Process engineering is surely no pure con­ figuration application, but modeling the structure

  12. OBJECTIVES OF THE EDINBURGH KNOWLEDGE ENVIRONMENT

    E-Print Network [OSTI]

    Painter, Kevin

    OBJECTIVES OF THE EDINBURGH KNOWLEDGE ENVIRONMENT PARTNERSHIP The University of Edinburgh, Heriot and natural environment. The Edinburgh Knowledge Environment Partnership will thus provide a unique research between key stakeholders in the built and natural environment and to reach out in assisting

  13. A Product Software Knowledge Infrastructure for

    E-Print Network [OSTI]

    Utrecht, Universiteit

    1 A Product Software Knowledge Infrastructure for Situational Capability Maturation: Vision and Case Studies in Product Management Inge van de Weerd, Johan Versendaal and Sjaak Brinkkemper Department-3275 #12;2 A Product Software Knowledge Infrastructure for Situational Capability Maturation: Vision

  14. A knowledge of the potential

    E-Print Network [OSTI]

    Sali, Andrej

    is as important for understanding protein folding as is the potential surface for the H H2 reaction. estimated to protein folding, in which thousands of atoms take part. The under- standing of a reaction is based of experimental developments and theoretical advances.[1] By contrast, protein folding is so complex that even

  15. Physically Based Rendering Intersection Acceleration

    E-Print Network [OSTI]

    Kazhdan, Michael

    Physically Based Rendering (600.657) Intersection Acceleration #12;Intersection Testing Accelerated partitions: Group objects into clusters Cluster volumes may overlap #12;Uniform (Voxel) Grid Acceleration Acceleration · Trace rays through grid cells ­ Fast ­ Incremental A B C D E F Only check primitives

  16. KNOWLEDGE WEB: REALISING THE SEMANTIC WEB... ALL THE WAY TO KNOWLEDGE ENHANCED MULTIMEDIA

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    KNOWLEDGE WEB: REALISING THE SEMANTIC WEB... ALL THE WAY TO KNOWLEDGE ENHANCED MULTIMEDIA DOCUMENTS benefit knowledge-enhanced multimedia applications. 1. Introduction The current World Wide Web (WWW) is without some pre-existing, human- created agreements outside the web. This applies to multimedia documents

  17. A knowledge based approach to preliminary highway bridge design

    E-Print Network [OSTI]

    Woodward, Richard Dean

    1995-01-01T23:59:59.000Z

    behaves like a beam which is continuously supported over the columns. The depth of the bent 30 Length Width Bent Cap Height Column diameter Column spacing Co lumn spacing FIG. 10. Typical Bent cap depends on the column spacing and the applied... LIST OF TABLES TABLE 1. Current ES Technology . Page 2. Standard Precast Prestressed Concrete 1-Beams 25 3. Maximum Center to Center Beam Spacing 26 4. Column Spacing vs. Bent Cap Depth 5. Standard Column Sizes 6. AASHTO Live Load Reduction...

  18. Knowledge-based stratigraphic well-log correlation 

    E-Print Network [OSTI]

    Denton, Michael A.

    1990-01-01T23:59:59.000Z

    correlated higher ranking strata. Thus, higher ranking correlations provide heuristics for lower ranking correlations. The system represents strata by symbols from a set of standard symbols which include peaks, troughs, and steps. Symbols replace events.... The zone attributes abstracted from the well-log include the following: interval, lithology ? classified as shale or non-shale, zone position, general zone shape, thickness, average amplitude, zone above name, and zone below name. Thus, the expert system...

  19. A framework for knowledge-based team training

    E-Print Network [OSTI]

    Miller, Michael Scott

    2009-06-02T23:59:59.000Z

    Teamwork is crucial to many disciplines, from activities such as organized sports to economic and military organizations. Team training is difficult and as yet there are few automated tools to assist in the training task. As with the training...

  20. Mapping Data to Higher-Order Description Logic Knowledge Bases

    E-Print Network [OSTI]

    De Giacomo, Giuseppe

    and the elements of the ontology. Several OBDA projects have been carried out in the last years [9], and OBDA sys that they are mutually disjoint. Table T-Cars, on the other #12;T-CarTypes Code TypeName T1 Coup´e T2 SUV T3 Sedan T4

  1. An Argument for Knowledge Variety in Evidence-Based Management

    E-Print Network [OSTI]

    Martelli, Peter Fabrizio

    2012-01-01T23:59:59.000Z

    Hansonian and Harmonian Abduction as Models of Discovery. ”also known as abduction, is a form of inference originatingthe case. Hansonian abduction 12 is a mode of inference that

  2. A KNOWLEDGE BASE FOR JUSTIFIED INFORMATION SECURITY DECISION-MAKING

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

    Information Security Officer (CISO) within an organisation to ensure that such information is adequately protected. External standards exist to advise CISOs on how to secure infor- mation insecure employee behaviour. CISOs require more information than they are currently provided

  3. A KNOWLEDGE FORMALISATION AND AGGREGATION-BASED METHOD FOR THE

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    concerning other failure modes are provided. An application of the method for monitoring dams through time costs, in significant loss of water in dams, and in traffic restrictions on bridges; · failures that can cause dramatic events such as a dam failure or a bridge collapse. These concerns have produced a rapid

  4. Hypertext as a debugging tool for knowledge-based systems 

    E-Print Network [OSTI]

    Schuette, John Frederick

    1990-01-01T23:59:59.000Z

    . An AIN 14. An example ALN. 38 39 15. Agenda and rule interconnections. 16. Fact and rule interconnections. . . 41 42 17. Outline of network generation. . 18. Graph of mean task completion times. 19. Graph of mean idle times. 20. Ratio of mental...'s processing, or consultation, is called the recognize-act cycle. For each cycle, it builds an agenda of eligible rule instances that could fire in the current cycle. The agenda is called the conflict set in some systems. The pseudocode for a general...

  5. An object-oriented, knowledge-based aircraft approach controller

    E-Print Network [OSTI]

    Lass, Steven Lee

    1995-01-01T23:59:59.000Z

    The research for the thesis was performed by Steven Lee Lass in pursuit of a Master of Science degree in Electrical Engineering. The objective of this research was to develop an approach system for an aircraft using fuzzy control. The approach...

  6. A Probabilistic Active Knowledge Base Architecture for Observational Data Sources

    E-Print Network [OSTI]

    Hazas, Mike

    a decision support system to manage environment and urban water sys- tems [1]. User objectives with new urban development supporting the concept of water sensitive urban design The project parameters that the management system must support are: · Quantify the impact of current and historical land uses causing

  7. A graphical user interface for knowledge-based control

    E-Print Network [OSTI]

    Russell, Paul Joseph

    1992-01-01T23:59:59.000Z

    to the runway. The beacons are called outer, middle, and inner by the Federal Aviation Administration (FAA). Their distances to the runway are 4. 5 nautical miles, 2800 feet, and 1000 feet, respectively. The marker's purpose is to give another reference.... The application is a graphical user interface for a simulated Boeing-737 flight management system. All research uses the Eiffel programming language. This research is supported, in part, by the National Aeronautics and Space Administration, Langley Research...

  8. Knowledge organization tool: a supercard-based system

    E-Print Network [OSTI]

    Van Buijtenen, Cindy M.

    1991-01-01T23:59:59.000Z

    Description card. 6 Rule Content card. 7 Characteristic card. Page 29 30 31 33 34 35 36 8 Graphics card. 9 Examples card. 10 Reference card. 11 Window buttons. 37 38 39 40 12 List of existing links to the selected window. 13 Arrow buttons.... 14 Zoom buttons. 41 42 43 15 Card linked by the Zoom button. 16 Index button and displayed listing of cards. 17 File menu and Edit menu. 18 New menu and Delete menu. 43 45 46 19 Mapping menu, Palette menu, and Objects menu. 20...

  9. An Argument for Knowledge Variety in Evidence-Based Management

    E-Print Network [OSTI]

    Martelli, Peter Fabrizio

    2012-01-01T23:59:59.000Z

    P. (1999). “Complexity Theory and Organization Science. ”Eds. ) Handbook of Organization Theory and Management: Thein Health Care Organization Theory. San Francisco: Jossey-

  10. Knowledge based process planning system for electronic assembly

    E-Print Network [OSTI]

    Sabapathy, Arvindh

    1990-01-01T23:59:59.000Z

    the necessary information for the production planning process that follows. 1. 1. 3 Scheduling of Flexible Flow Lines A flexible flow line consists of several banks of identical machines. Several types of products are produced each day. Parts flow from bank... PART DETAILS COMP. LIST LAYOUT SIZE CANDIDATE MACHINES FOR EACH COMPONENT I e. ALTERNATE ROUTES PROCESS TIMES PROCESS PLANNING RELATEDNESS WEEKLY DEMANDS FINALISED ROUTE FOR EACH PART PRODUCTION PLANNING DAILY PRODUC11ON MIX SEQUENCING...

  11. Active and Knowledge-based Process Safety Incident Retrieval System

    E-Print Network [OSTI]

    Khan, Sara Shammni

    2011-10-21T23:59:59.000Z

    . Importance plot for the word ?overpressure? .................................................. 31 Figure 14. Importance plot for the binary categorical variable ?Release? ....................... 32 Figure 15. Importance plot for the word ?release... database with its unique guided search system and modern information retrieval techniques and linking it with operational software would provide a powerful tool and would improve safety and hence reduce costs. 4 2. BACKGROUND 2...

  12. http://www.isr.uci.edu/ Knowledge-based Architectural

    E-Print Network [OSTI]

    Georgas, John

    autonomously change in response to dynamic conditions: Behavior, property, environment, etc. Architecture sensor nodes. Connector (C1) Battery Monitor (M) Monitors battery levels and emits notifications. Data: Sensor Network Re-Transmission Data Receiver (R) Receives data from sensor nodes. Connector (C1) Battery

  13. Active and Knowledge-based Process Safety Incident Retrieval System 

    E-Print Network [OSTI]

    Khan, Sara Shammni

    2011-10-21T23:59:59.000Z

    The sustainability and continued development of the chemical industry is to a large extent dependent on learning from past incidents. The failure to learn from past mistakes is rather not deliberate but due to unawareness ...

  14. KNOWLEDGE-BASED SYSTEMS AND THE INTERNET: A FUTURE PERSPECTIVE

    E-Print Network [OSTI]

    Amor, Robert

    some view-points on what the future (both near and far) may hold for the construction industry that better management of them is a necessity. Some commentators hold that the amount of data doubles every 20-media and would store, manipulate and communicate all of these. ConstructionInformaticsDigitalLibraryhttp://itc

  15. Putting People's Common Sense into Knowledge Bases of Household Robots

    E-Print Network [OSTI]

    Cremers, Daniel

    , and Michael Beetz Intelligent Autonomous Systems Group Department of Informatics Technische Universität München {kunzel,tenorth,beetz}@in.tum.de Abstract. Unlike people, household robots cannot rely

  16. WEB-BASED RESOURCES ENHANCE HYDROGEN SAFETY KNOWLEDGE

    SciTech Connect (OSTI)

    Weiner, Steven C.; Fassbender, Linda L.; Blake, Chad; Aceves, Salvador; Somerday, Brian P.; Ruiz, Antonio

    2013-06-18T23:59:59.000Z

    The U.S. Department of Energy’s Fuel Cell Technologies Program addresses key technical challenges and institutional barriers facing the development and deployment of hydrogen and fuel cell technologies with the goal of decreasing dependence on oil, reducing carbon emissions and enabling reliable power generation. The Safety, Codes & Standards program area seeks to develop and implement the practices and procedures that will ensure safety in the operation, handling and use of hydrogen and hydrogen systems for all projects and utilize these practices and lessons learned to promote the safe use of hydrogen. Enabling the development of codes and standards for the safe use of hydrogen in energy applications and facilitating the development and harmonization of international codes and standards are integral to this work.

  17. BURN CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR TAKE SHORT-CUTS FEEL THE BREEZE DISCOVER CAMPUS MAKE YOUR OWN ROUTE BURN CALORIES READ A BOOK LISTEN TO THE BIRDS CHECK OUT THE SCENERY

    E-Print Network [OSTI]

    Weiblen, George D

    A BOOK LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR BURN CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS RE- DUCE YOUR CARBON FOOTPRINT FRESH

  18. A Combined Doctrine of Knowledge for Plato

    E-Print Network [OSTI]

    Laidlaw-Johnson, E. A.

    describes the soul as a long-lived thing that wears out several short-lived bodies much as a person wears out several coats in a life time (Ph. 87d). While this soul/body distinction will aid in our understanding of knowledge, it is the soul...—a man's recollection of a single piece of knowledge. The characterizations of learning in the Phaedo and Meno are compatible with the theory of knowledge via recollection-the doctrine introduced in the Meno. Gearly, both the Phaedo and Meno accounts...

  19. Pseudo-random construction and reduced complexity decoding for low density parity check codes

    E-Print Network [OSTI]

    Prabhakar, Abhiram

    2001-01-01T23:59:59.000Z

    &, randomly constrn(t(&d panty-check inatrix at, thv, d&x o&1&&r can hc prohil&it. ivc in somr. applicatio&is. &Vh(:n a systvn& has a svt. of &liffcr&&nt LDI'(, ' codv&n each of t, hc parity-vhvrk matri?s nc&. 'd t, o hv, storvd in the rcceivcr. Anot h& r...)(Lkc(vtr, k)) L=l, k fr ('2. 1fi) Vr stprr(L, L(Tm )) = g srpn(LL, (l:r&, .)) k=1 kgr ('2. 17) Thc Eq. 2. 17 must hv. vomput&. &1 for a111=1. 2. p ? 1 and an cfficicnt, approach is nscd. First rkc fin&1 two &tuarititi&ls i&)1 arid Sl givvrl )ly Pg k...

  20. Urban spatial-temporal activity structures: a New Approach to Inferring the Intra-urban Functional Regions via Social Media Check-In Data

    E-Print Network [OSTI]

    Zhi, Ye; Wang, Shaowen; Deng, Min; Gao, Jing; Li, Haifeng

    2014-01-01T23:59:59.000Z

    Most existing literature focuses on the exterior temporal rhythm of human movement to infer the functional regions in a city, but they neglects the underlying interdependence between the functional regions and human activities which uncovers more detailed characteristics of regions. In this research, we proposed a novel model based on the low rank approximation (LRA) to detect the functional regions using the data from about 15 million check-in records during a yearlong period in Shanghai, China. We find a series of latent structures, called urban spatial-temporal activity structure (USTAS). While interpreting these structures, a series of outstanding underlying associations between the spatial and temporal activity patterns can be found. Moreover, we can not only reproduce the observed data with a lower dimensional representative but also simultaneously project both the spatial and temporal activity patterns in the same coordinate system. By utilizing the K-means clustering algorithm, five significant types ...

  1. GRACE at ONE-LOOP: Automatic calculation of 1-loop diagrams in the electroweak theory with gauge parameter independence checks

    E-Print Network [OSTI]

    G. Belanger; F. Boudjema; J. Fujimoto; T. Ishikawa; T. Kaneko; K. Kato; Y. Shimizu

    2006-04-18T23:59:59.000Z

    We describe the main building blocks of a generic automated package for the calculation of Feynman diagrams. These blocks include the generation and creation of a model file, the graph generation, the symbolic calculation at an intermediate level of the Dirac and tensor algebra, implementation of the loop integrals, the generation of the matrix elements or helicity amplitudes, methods for the phase space integrations and eventually the event generation. The report focuses on the fully automated systems for the calculation of physical processes based on the experience in developing GRACE-loop. As such, a detailed description of the renormalisation procedure in the Standard Model is given emphasizing the central role played by the non-linear gauge fixing conditions for the construction of such automated codes. The need for such gauges is better appreciated when it comes to devising efficient and powerful algorithms for the reduction of the tensorial structures of the loop integrals. A new technique for these reduction algorithms is described. Explicit formulae for all two-point functions in a generalised non-linear gauge are given, together with the complete set of counterterms. We also show how infrared divergences are dealt with in the system. We give a comprehensive presentation of some systematic test-runs which have been performed at the one-loop level for a wide variety of two-to-two processes to show the validity of the gauge check. These cover fermion-fermion scattering, gauge boson scattering into fermions, gauge bosons and Higgs bosons scattering processes. Comparisons with existing results on some one-loop computation in the Standard Model show excellent agreement. We also briefly recount some recent development concerning the calculation of mutli-leg one-loop corrections.

  2. Toward the 24-Hour Knowledge Factory

    E-Print Network [OSTI]

    Gupta, Amar

    2004-03-12T23:59:59.000Z

    The term 24-Hour Knowledge Factory connotes a globally distributed work environment in which members of the global team work on a project around the clock; each member of the team works the normal workday hours that pertain ...

  3. Toward the 24-Hour Knowledge Factory

    E-Print Network [OSTI]

    Gupta, Amar

    2004-12-10T23:59:59.000Z

    The term 24-Hour Knowledge Factory connotes a globally distributed work environment in which members of the global team work on a project around the clock; each member of the team works the normal workday ...

  4. Explicit Evidence Systems with Common Knowledge

    E-Print Network [OSTI]

    Sola, Rolf Haenni

    Explicit Evidence Systems with Common Knowledge Samuel Bucheli, Roman Kuznets, and Thomas Studer Institut f¨ur Informatik und angewandte Mathematik, Universit¨at Bern Bern, Switzerland { bucheli, kuznets

  5. Speech production knowledge in automatic speech recognition 

    E-Print Network [OSTI]

    King, Simon; Frankel, Joe; Livescu, Karen; McDermott, Erik; Richmond, Korin; Wester, Mirjam

    2007-01-01T23:59:59.000Z

    Although much is known about how speech is produced, and research into speech production has resulted in measured articulatory data, feature systems of different kinds and numerous models, speech production knowledge is almost totally ignored...

  6. Data Mining and Knowledge Discovery: Practice Notes

    E-Print Network [OSTI]

    Novak, Petra Kralj

    1 Data Mining and Knowledge Discovery: Practice Notes Petra Kralj Novak Petra.Kralj.Novak@ijs.si and exam · 2013/1/15: Written exam, seminar proposal discussion · 2013/2/12: Data mining seminar

  7. Data Mining and Knowledge Discovery: Practice Notes

    E-Print Network [OSTI]

    Novak, Petra Kralj

    1 Data Mining and Knowledge Discovery: Practice Notes Petra Kralj Novak Petra.Kralj.Novak@ijs.si on Weka 3: Descriptive data mining ­ Discussion about seminars and exam · 2013/12/16: Written exam

  8. DesignMinders: Preserving and Sharing Informal Software Design Knowledge

    E-Print Network [OSTI]

    van der Hoek, André

    DesignMinders: Preserving and Sharing Informal Software Design Knowledge Gerald Bortis and André knowledge. For example, knowledge management systems that allow developers to populate and search, andre}@ics.uci.edu Abstract. Software design is a knowledge-intensive activity. Knowledge is both

  9. Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs

    E-Print Network [OSTI]

    Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs Tetsu Iwata1 and Lei Wang2 of the zero block, and is assumed to be publicly known data for verification. ISO/IEC 9797-1:2011 illustrates check value with the ISO/IEC 9797-1 MACs. Keywords: ANSI X9.24-1:2009, key check value, ISO/IEC 9797

  10. Born to be Wild: Using Communities of Practice as a Tool for Knowledge Management

    E-Print Network [OSTI]

    Chanal, Valérie

    2010-01-01T23:59:59.000Z

    This paper looks at what happens when Communities of Practice are used as a tool for Knowledge Management. The original concept of a Community of Practice appears to have very little in common with the knowledge sharing communities found in Knowledge Management, which are based on a revised view of 'cultivated' communities. We examine the risks and benefits of cultivating Communities of Practice rather than leaving them 'in the wild'. The paper presents the findings from two years of research in a small microelectronics firm to provide some insights into the wild vs domesticated dichotomy and discusses the implications of attempting to tame Communities of Practice in this way.

  11. Knowledge-to-Action Guides: Preparing Families to Be Partners in Making Educational Decisions

    E-Print Network [OSTI]

    Turnbull, Ann P.; Zuna, Nina; Hong, Joo Young; Hu, Xiaoyi; Kyzar, Kathleen; Obremski, Shea; Summers, Jean Ann; Turnbull, H. Rutherford; Stowe, Matthew J.

    2010-01-01T23:59:59.000Z

    parents become experts in special education, and help make good decisions about their children's education programs? Knowledge to action (KTA) guides are one resource, providing families access to top tier knowledge on evidence- based practice... Coordination Providing Emotional Snppoil to Families Through Parent to Parent Programs Video in English and Spajiish Parent quotes/action steps from Community of Practice 4 family stories 4 stale education department family- friendly guides 3 family stories...

  12. An Ontological Schema for Sharing Conceptual Engineering Knowledge

    E-Print Network [OSTI]

    Mizoguchi, Riichiro

    An Ontological Schema for Sharing Conceptual Engineering Knowledge Yoshinobu Kitamura and Riichiro have been suffering the difficulty in sharing conceptual engineering knowledge about functionality. Introduction In the engineering design community, the importance of knowledge sharing among designers has been

  13. Capturing and Using Knowledge about the Use of Visualization Toolkits

    SciTech Connect (OSTI)

    Del Rio, Nicholas R.; Pinheiro da Silva, Paulo

    2012-11-02T23:59:59.000Z

    When constructing visualization pipelines using toolkits such as Visualization Toolkit (VTK) and Generic Mapping Tools (GMT), developers must understand (1) what toolkit operators will transform their data from its raw state to some required view state and (2) what viewers are available to present the generated view. Traditionally, developers learn about how to construct visualization pipelines by reading documentation and inspecting code examples, which can be costly in terms of the time and effort expended. Once an initial pipeline is constructed, developers may still have to undergo a trial and error process before a satisfactory visualization is generated. This paper presents the Visualization Knowledge Project (VisKo) that is built on a knowledge base of visualization toolkit operators and how they can be piped together to form visualization pipelines. Developers may now rely on VisKo to guide them when constructing visualization pipelines and in some cases, when VisKo has complete knowledge about some set of operators (i.e., sequencing and parameter settings), automatically generate a fully functional visualization pipeline.

  14. The Possibility of Checking the Equivalence Principle in a Null Gravitational Redshift by a Two-Resonator Laser System

    E-Print Network [OSTI]

    R. A. Daishev; Z. G. Murzakhanov; A. F. Skochilov

    2008-01-04T23:59:59.000Z

    A scheme of an optical detector is proposed for checking Einsteins equivalence principle (EEP) in a null gravitational redshift experiment and for testing methods for calculating the length of a resonator in a weak variable gravitational field by recording the variations of the difference frequency of resonators caused by lunisolar variations of the geopotential in a double or a two-resonator laser system.

  15. Checking Herbrand Equalities and Beyond Markus MullerOlm 1 , Oliver Ruthing 1 , and Helmut Seidl 2

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Checking Herbrand Equalities and Beyond Markus MË?uller­Olm 1 , Oliver RË?uthing 1 , and Helmut Seidl Markus MË?uller­Olm, Oliver RË?uthing, and Helmut Seidl This deficiency is still present in the algorithm

  16. g:\\self care\\cold sore throat cough allergy 8/08 SELF CARE CHECK LIST FOR COLD, SORE

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    g:\\self care\\cold sore throat cough allergy 8/08 SELF CARE CHECK LIST FOR COLD, SORE THROAT, COUGH worse? NO YES Do you have chest pain, wheezing or any difficulty with breathing? NO YES Are you coughing, hacky cough? Expectorant (guaifenesin/Robitussin) Cough suppressant (dextromethorphan/ DM) Do you have

  17. Donate or sell your furniture, electronics, etc. Check out these helpful resources to recycle your unwanted items

    E-Print Network [OSTI]

    Alvarez-Cohen, Lisa

    Donate or sell your furniture, electronics, etc. · Check out these helpful resources to recycle's EcoDirectory can help you answer your recycling and reuse questions. (http. Call 510-528-4052 or visit http://www.accrc.org. Recycle cardboard boxes. 1. Flatten your boxes

  18. Use of NWS Weather Measurements for Cross-checking Local Weather Measurements

    E-Print Network [OSTI]

    Crowley, G. D.; Haberl, J. S.

    1994-01-01T23:59:59.000Z

    attached to a Federal Aviation Administration (FAA) ground tower at the airport. Figure 1. Locution of LuunSTAR urui NWS weuther stution puirs witlrin the stute of Texus 111 the case of the hygrothermometer display unit, both ch;mnels of 'ambient... condition, precipitation, thunderstorms, tornadoes. etc.) to aid in aviation reporting and to broadcast environmentzd conditions for public knowledge. Until the early 1990's many of these surface observing stations have relied on a collection...

  19. SU-D-BRD-07: Automatic Patient Data Audit and Plan Quality Check to Support ARIA and Eclipse

    SciTech Connect (OSTI)

    Li, X; Li, H; Wu, Y; Mutic, S; Yang, D [Washington University School of Medicine, St. Louis, MO (United States)

    2014-06-01T23:59:59.000Z

    Purpose: To ensure patient safety and treatment quality in RT departments that use Varian ARIA and Eclipse, we developed a computer software system and interface functions that allow previously developed electron chart checking (EcCk) methodologies to support these Varian systems. Methods: ARIA and Eclipse store most patient information in its MSSQL database. We studied the contents in the hundreds database tables and identified the data elements used for patient treatment management and treatment planning. Interface functions were developed in both c-sharp and MATLAB to support data access from ARIA and Eclipse servers using SQL queries. These functions and additional data processing functions allowed the existing rules and logics from EcCk to support ARIA and Eclipse. Dose and structure information are important for plan quality check, however they are not stored in the MSSQL database but as files in Varian private formats, and cannot be processed by external programs. We have therefore implemented a service program, which uses the DB Daemon and File Daemon services on ARIA server to automatically and seamlessly retrieve dose and structure data as DICOM files. This service was designed to 1) consistently monitor the data access requests from EcCk programs, 2) translate the requests for ARIA daemon services to obtain dose and structure DICOM files, and 3) monitor the process and return the obtained DICOM files back to EcCk programs for plan quality check purposes. Results: EcCk, which was previously designed to only support MOSAIQ TMS and Pinnacle TPS, can now support Varian ARIA and Eclipse. The new EcCk software has been tested and worked well in physics new start plan check, IMRT plan integrity and plan quality checks. Conclusion: Methods and computer programs have been implemented to allow EcCk to support Varian ARIA and Eclipse systems. This project was supported by a research grant from Varian Medical System.

  20. Explicit Evidence Systems with Common Knowledge

    E-Print Network [OSTI]

    Bucheli, Samuel; Studer, Thomas

    2010-01-01T23:59:59.000Z

    Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya's minimal bimodal explicit evidence logic, which is a two-agent version of LP. We discuss the relationship of our logic to the multi-agent modal logic S4 with common knowledge. Finally, we give a brief analysis of the coordinated attack problem in the newly developed language of our logic.

  1. The Machinery of Knowledge: An Ontology-Registry for a Geospatial Knowledge

    E-Print Network [OSTI]

    Stock, Kristin

    1 The Machinery of Knowledge: An Ontology-Registry for a Geospatial Knowledge Infrastructure for Geospatial Science, University of Nottingham, UK 2 Allworlds Geothinking, UK 3 EDINA, UK 4 Cardiff University *Corresponding author: Centre for Geospatial Science, School of Geography, University of Nottingham, NG7 2RD, UK

  2. Toward a consistency cross-check of eddy covariance flux–based and biometric estimates of ecosystem carbon balance

    E-Print Network [OSTI]

    2009-01-01T23:59:59.000Z

    in a southern boreal aspen forest, Agric. For. Meteorol. ,water balances of a boreal aspen forest, 1994 – 2003, Global

  3. Dynamic Visibility Checking for Vision-Based Motion Planning Simon Leonard and Elizabeth A. Croft and James J. Little

    E-Print Network [OSTI]

    Little, Jim

    velocity control aspect is not suitable for the majority of industrial robots. Typically, industrial robots

  4. A self-checking fiber optic dosimeter for monitoring common errors in brachytherapy applications

    SciTech Connect (OSTI)

    Yin, Y.; Lambert, J.; Yang, S.; McKenzie, D. R.; Jackson, M.; Suchowerska, N. [Physics School, University of Sydney, New South Wales 2006 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia) and Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia); Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia) and Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia)

    2009-07-15T23:59:59.000Z

    Scintillation dosimetry with optical fiber readout [fiber optic dosimetry (FOD)] requires accurate measurement of light intensity. It is therefore vulnerable to loss of calibration if any changes occur in the efficiency of the optical pathway between the scintillator and the light detector. The authors show in this article that common types of errors that arise during clinical use for brachytherapy applications can be quantified using a light emitting diode to stimulate the scintillator, the so-called LED-FOD method, in an integrated and easy-to-use control unit that incorporates a compact peripheral component interconnect extension for instrumentation. Common sources of error include bending and mechanical compression of the fiber optic components and changes in the temperature of the scintillator. The authors show that the method can detect all the common errors studied in this work and that different types of errors can result in different correlations between the LED stimulated signal and the brachytherapy source signal. For a single-type error the LED-FOD can be used easily for system diagnosis and validation with the possibility to correct the dosimeter reading if the correlation between the LED stimulated signal and the brachytherapy source signal can be defined. For more complex errors, resulting from two or more errors occurring simultaneously, the LED-FOD method can also allow the clinician to make a judgment on the reliability of the dosimeter reading. This self-checking method can enhance the clinical robustness of the FOD for achieving accurate dose control.

  5. Home Fire Safety Inspection Checklist A fire can occur in any part of your home. Use this checklist to make a safety check of your house or

    E-Print Network [OSTI]

    Marsh, David

    to make a safety check of your house or apartment. Review it with everyone in the house or apartment. Ask ash trays throughout the house? o Do you check for smoldering cigarette butts in the furniture alarm(s) every month? o Do you replace the battery of your battery operated smoke alarm every year? #12

  6. The Varieties of Self-Knowledge

    E-Print Network [OSTI]

    Kabeshkin, Anton Sergeevich

    2012-07-16T23:59:59.000Z

    to it. In particular, drawing from the works of G.E.M. Anscombe5 and Kieran Setiya,6 I will attempt to link it with the so-called ?knowledge how.? However, this suggested link will have only the hypothetical status, and I will raise some problems...

  7. Removed Barriers: 3.32 Knowledge

    E-Print Network [OSTI]

    Fabrikant, Sara Irina

    Students Average Values from Entry and Exit Surveys for Participants in 2006 Workshops ENTRY 1 BarriersResults EXIT 2 Removed Barriers: 3.32 Knowledge 3.67 GIS 3.46 Data Access 3.68 Software Use 3

  8. Proof of Proximity of Knowledge Serge Vaudenay

    E-Print Network [OSTI]

    ://lasec.epfl.ch Abstract. Public-key distance bounding schemes are needed to defeat relay attacks in payment systems. So far, only two such schemes exist, but fail to fully protect against malicious provers. In this paper. Like proofs of knowledge, these protocols must satisfy completeness, soundness (protection

  9. Formalizing Information Security Knowledge Stefan Fenz

    E-Print Network [OSTI]

    Formalizing Information Security Knowledge Stefan Fenz Vienna University of Technology Vienna ontology which provides an on- tological structure for information security domain knowl- edge. Besides of the considered organization is incorporated. An evaluation conducted by an information security expert team has

  10. `KNOWLEDGE AND VIRTUE: RESPONSE TO KELP'

    E-Print Network [OSTI]

    Edinburgh, University of

    1 `KNOWLEDGE AND VIRTUE: RESPONSE TO KELP' DUNCAN PRITCHARD University of Edinburgh In a very interesting paper, `Pritchard on Virtue Epistemology', Christoph Kelp argues that my recent critique ability). In particular, RVE does not involve any appeal to an anti-luck condition.2 As Kelp makes clear

  11. The Life Sciences and Knowledge for a

    E-Print Network [OSTI]

    and environmental monitoring and assessment 2009­2012 #12;1SLU's strategy for research, education and environmental, education and environmental monitoring and assessment The Life Sciences and Knowledge for a Sustainable Future SLU's strategy for research, education and environmental monitoring and assessment 2009­2012 #12

  12. Global Emergence of Frontier Knowledge November 2013

    E-Print Network [OSTI]

    Yamamoto, Hirosuke

    , Infrastructure, Medical and Biologi- cal Engineering, Mineral Resources, Nano Physics, SustainabilityGlobal Emergence of Frontier Knowledge November 2013 Nov. 7th U.Católica (Casa Central) 09:00 Doors, Culture & Body, Earthquakes, Tsunami & Volcanoes, Element & Material Sciences, Food Resource

  13. Report on the project Building knowledge

    E-Print Network [OSTI]

    Report on the project Building knowledge To build citizens To build cities UPF CAMPUS ICÀRIA INTERNATIONAL PROJECT 2010 International Campus of Excellence Programme #12;UPF CAMPUS ICÀRIA INTERNATIONAL version of this document can be found at: www.upf.edu/icaria UPF CAMPUS ICÀRIA INTERNATIONAL PROJECT

  14. Data Mining and Knowledge Discovery: Practice Notes

    E-Print Network [OSTI]

    Novak, Petra Kralj

    1 Data Mining and Knowledge Discovery: Practice Notes dr. Petra Kralj Novak Petra.Kralj.Novak@ijs.si and exam · 2013/12/16: Written exam, seminar proposal discussion · 2014/1/8: Data mining seminar gain becomes the root 7. Divide the set S into subsets Si according to the values of A 8. Repeat steps

  15. Data Mining and Knowledge Petra Kralj Novak

    E-Print Network [OSTI]

    Novak, Petra Kralj

    1 Data Mining and Knowledge Discovery Petra Kralj Novak Petra.Kralj.Novak@ijs.si 2011/11/08 #12 in Weka ­ Discussion about seminars and exam ­ Hands on Weka 3 · 2011/12/20: Written exam, seminar. Divide the set S into subsets Si according to the values of A 8. Repeat steps 1-7 on each Si Test

  16. WEB OF KNOWLEDGE --WEB OF SCIENCE--

    E-Print Network [OSTI]

    Wu, Yih-Min

    WEB OF KNOWLEDGE --WEB OF SCIENCE-- #12; Web of Science (SCIE, SSCI, AHCI) EndNote Journal Citation Reports (JCR) Essential Science Indicators (ESI) ResearcherID.com #12;WEB OF SCIENCE ? · · · · EndNoteweb Copyright © 2009 Shou Ray Information Service Co., Ltd #12;Web of Science

  17. Prediction Markets Partition model of knowledge

    E-Print Network [OSTI]

    Fiat, Amos

    Prediction Markets Partition model of knowledge Distributed information markets Convergence time bounds Computational Aspects of Prediction Markets David M. Pennock and Rahul Sami December 5, 2012 Presented by: Rami Eitan David M. Pennock and Rahul Sami Computational Aspects of Prediction Markets #12

  18. Semantic Knowledge Management for Education Andrea Kohlhase

    E-Print Network [OSTI]

    Kohlhase, Michael

    Semantic Knowledge Management for Education Andrea Kohlhase Dept. of Mathematics and Computer.kohlhase@jacobs-university.de Abstract `Semantic technologies' are touted as the next big wave in Educational Technology notions e.g. of `seman- tics', yielding specific problems in their interplay. In this paper we take a look

  19. A SAGA OF KNOWLEDGE Table of Contents

    E-Print Network [OSTI]

    Charette, André

    The University moves out of the Latin Quarter onto Mount Royal, into a new building designed by architect Ernest, was a landmark in the annals of Francophone philanthropy. This report reflects the winds of renewal coursing teaching and lively student life. Ours is a saga of knowledge such has rarely unfolded in North America

  20. Alerts in BIOSIS Previews via ISI Web of Knowledge

    E-Print Network [OSTI]

    California at San Diego, University of

    Alerts in BIOSIS Previews® via ISI Web of Knowledge The alerting capability in ISI Web of Knowledge research. This powerful feature is accessible via the ISI Web of Knowledge homepage, where you can log on emailing of search results, follow these steps: 1. Sign in to ISI Web of Knowledge via the link on the ISI

  1. Knowledge Engineering for non-Engineers Tatiana Gavrilova

    E-Print Network [OSTI]

    Boyer, Edmond

    Knowledge Engineering for non-Engineers Tatiana Gavrilova Graduate School of Management - Saint be interesting for the knowledge engineering research and practicising community. KEYWORDS: knowledge engineering-233" DOI : 10.1007/978-3-642-16327-2_28 #12;2 Knowledge Engineering for non-Engineers is one

  2. Applying Semantic Web Technologies to Knowledge Sharing in Aerospace Engineering

    E-Print Network [OSTI]

    Ciravegna, Fabio

    Applying Semantic Web Technologies to Knowledge Sharing in Aerospace Engineering A.-S. Dadzie , R. This paper details an integrated methodology to optimise Knowledge reuse and sharing, illustrated with a use of Knowledge from legacy documents via automated means, or directly in systems interfacing with Knowledge

  3. November, 1994 Page 1 MEASURING THE VALUE OF KNOWLEDGE 1

    E-Print Network [OSTI]

    Reich, Yoram

    ). The study of knowledge valuation methods is also motivated by more immediate reasons. The first and most general motivation is related to education and knowledge acquisition: Knowledge valuation methods can help is methodological: Knowledge valuation methods can support the evaluation of systems developed in research

  4. Implementation Plan for the Office of Nuclear Energy Knowledge Management Program

    SciTech Connect (OSTI)

    Kimberlyn C. Mousseau

    2011-12-01T23:59:59.000Z

    The primary purpose of the Department of Energy (DOE), Office of Nuclear Energy (NE) Knowledge Management (KM) Program is to capture, share, disseminate, and ensure the ability to apply the knowledge created by the major nuclear energy Research and Development (R&D) programs. In support of the KM program, the Implementation Plan for the Office of NE KM Program outlines the knowledge management and distributed data environment that is required for its success. In addition to enumerating some strategic goals and objectives, this document characterizes the initial program and identifies computer-based areas of investment required for increased knowledge sharing and collaboration. It identifies and addresses investments already in existence and describes how these investments can be further enhanced and implemented to support a distributed KM program. The Idaho National Laboratory (INL) is leading the effort to identify and address these investments through the implementation of a distributed KM program that includes participants from ten of the major DOE national laboratories.

  5. In Proc. of the 14th International Conference on Knowledge Engineering and Knowledge Management EKAW 2004, to appear.

    E-Print Network [OSTI]

    Mizoguchi, Riichiro

    In Proc. of the 14th International Conference on Knowledge Engineering and Knowledge Management. Functionality is one of the key concepts in understanding an artifact and in engineering domain knowledge. Although the importance of sharing of engineering knowledge in industry has been widely recognized, from

  6. City Knowledge Patterns: A standard for Smart City Knowledge management Nooshin Allahyari, Mark S. Fox, and Michael Gruninger

    E-Print Network [OSTI]

    City Knowledge Patterns: A standard for Smart City Knowledge management Nooshin Allahyari, Mark S in recogniz- ing knowledge requirements of city government. This model, which we denote as City Knowledge category of the city government, and is comprised of a set of inter-relate concepts and attributes

  7. MJ no more: Using Concurrent Wikipedia Edit Spikes with Social Network Plausibility Checks for Breaking News Detection

    E-Print Network [OSTI]

    Steiner, Thomas; Summers, Ed

    2013-01-01T23:59:59.000Z

    We have developed an application called Wikipedia Live Monitor that monitors article edits on different language versions of Wikipedia, as they happen in realtime. Wikipedia articles in different languages are highly interlinked. For example, the English article en:2013_Russian_meteor_event on the topic of the February 15 meteoroid that exploded over the region of Chelyabinsk Oblast, Russia, is interlinked with the Russian article on the same topic. As we monitor multiple language versions of Wikipedia in parallel, we can exploit this fact to detect concurrent edit spikes of Wikipedia articles covering the same topics, both in only one, and in different languages. We treat such concurrent edit spikes as signals for potential breaking news events, whose plausibility we then check with full-text cross-language searches on multiple social networks. Unlike the reverse approach of monitoring social networks first, and potentially checking plausibility on Wikipedia second, the approach proposed in this paper has th...

  8. Simple and Flexible Revocation Checking with Privacy John Solis and Gene Tsudik

    E-Print Network [OSTI]

    -related contexts. The peer-based PGP/GPG [2, 8] format represents another popular approach. Since a certificate

  9. Evaluation of natural enemies of greenbug, Schizaphis graminum (Rondani), on sorghum using two approaches of the insecticidal check method

    E-Print Network [OSTI]

    Rao, Asha

    1996-01-01T23:59:59.000Z

    trends can be derived from this analysis. In correlation analyses, mean pest density and mean enemy densities are plotted versus time (Carter and Dixon 1982, Miller and Strichler 1984, Hawkins 1992). These plots illustrate the seasonal abundance... of The Insecticidal Check Method, (August 1996) Asha Rao, B. S. , University of Agricultural Sciences, Bangalore, India Co-Chairs of Advisory Coaanittee: Dr. Frank E. Gilstrap Dr. Gerald J. Michels, Jr. Enemy removal experiments and enemy trap experiments were...

  10. Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue)

    E-Print Network [OSTI]

    Oliver, Douglas L.

    Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue) B 420-460 Live Dead UV Blue Alexa 350 DAPI Indo-1(Violet) Hoechst 33342 C - empty Violet 405 A 505-550 Pac. Orange V500 VioGreen BVio 510 Viability Dye eF506 Alexa 430 Sapphire B 420-460 Pac. Blue eF450 V

  11. The Library is open 24/5 Fall & Spring Summer hours vary -check lib.usf.edu

    E-Print Network [OSTI]

    Meyers, Steven D.

    The Library is open 24/5 Fall & Spring Summer hours vary - check lib.usf.edu After midnight, USF ID.lib.usf.edu/guides Teaching a Course? Learn how to integrate the library into Canvas Place items on reserve using PRESTO! Contact the library's Reserve Team at reserves@lib.usf.edu or 813-974-4182 Invite a librarian to join your

  12. Knowledge Discovery, Knowledge Management and Enterprise-Wide Information Technology Tools Final Report

    SciTech Connect (OSTI)

    Patton, Robert M [ORNL; Symons, Christopher T [ORNL; Gorman, Bryan L [ORNL; Treadwell, Jim N [ORNL

    2012-04-01T23:59:59.000Z

    A final report on an ORNL task to establish a knowledge discovery and management tool to retrieve and recommend information from existing S&T documents for the Office of Naval Research Global.

  13. Inverse diffusion from knowledge of power densities

    E-Print Network [OSTI]

    Bal, Guillaume; Monard, Francois; Triki, Faouzi

    2011-01-01T23:59:59.000Z

    This paper concerns the reconstruction of a diffusion coefficient in an elliptic equation from knowledge of several power densities. The power density is the product of the diffusion coefficient with the square of the modulus of the gradient of the elliptic solution. The derivation of such internal functionals comes from perturbing the medium of interest by acoustic (plane) waves, which results in small changes in the diffusion coefficient. After appropriate asymptotic expansions and (Fourier) transformation, this allow us to construct the power density of the equation point-wise inside the domain. Such a setting finds applications in ultrasound modulated electrical impedance tomography and ultrasound modulated optical tomography. We show that the diffusion coefficient can be uniquely and stably reconstructed from knowledge of a sufficient large number of power densities. Explicit expressions for the reconstruction of the diffusion coefficient are also provided. Such results hold for a large class of boundary...

  14. Health, safety, and environmental risks from energy production: A year-long reality check

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01T23:59:59.000Z

    projects based CO 2 enhanced oil recovery in the U.S. 9thprovides CO 2 for enhanced oil recovery. Over the course of

  15. A Decidable Timeout based Extension of Propositional Linear Temporal Logic

    E-Print Network [OSTI]

    Misra, Janardan

    2010-01-01T23:59:59.000Z

    We develop a timeout based extension of propositional linear temporal logic (which we call TLTL) to specify timing properties of timeout based models of real time systems. TLTL formulas explicitly refer to a running global clock together with static timing variables as well as a dynamic variable abstracting the timeout behavior. We extend LTL with the capability to express timeout constraints. From the expressiveness view point, TLTL is not comparable with important known clock based real-time logics including TPTL, XCTL, and MTL, i.e., TLTL can specify certain properties, which cannot be specified in these logics (also vice-versa). We define a corresponding timeout tableau for satisfiability checking of the TLTL formulas. Also a model checking algorithm over timeout Kripke structure is presented. Further we prove that the validity checking for such an extended logic remains PSPACE-complete even in the presence of timeout constraints and infinite state models. Under discrete time semantics, with bounded timeo...

  16. Surgeons' Knowledge and Practices Regarding the Role of Radiation Therapy in Breast Cancer Management

    SciTech Connect (OSTI)

    Zhou, Jessica [Department of Radiation Oncology, University of Michigan, Ann Arbor, Michigan (United States); Griffith, Kent A. [Department of Biostatistics, University of Michigan, Ann Arbor, Michigan (United States); Hawley, Sarah T.; Zikmund-Fisher, Brian J. [Department of Internal Medicine, University of Michigan, Ann Arbor, Michigan (United States); Janz, Nancy K. [Department of Health Behavior and Health Education, University of Michigan School of Public Health, Ann Arbor, Michigan (United States); Sabel, Michael S. [Department of Surgery, University of Michigan, Ann Arbor, Michigan (United States); Katz, Steven J. [Department of Internal Medicine, University of Michigan, Ann Arbor, Michigan (United States); Jagsi, Reshma, E-mail: rjagsi@med.umich.edu [Department of Radiation Oncology, University of Michigan, Ann Arbor, Michigan (United States)

    2013-12-01T23:59:59.000Z

    Purpose: Population-based studies suggest underuse of radiation therapy, especially after mastectomy. Because radiation oncology is a referral-based specialty, knowledge and attitudes of upstream providers, specifically surgeons, may influence patients' decisions regarding radiation, including whether it is even considered. Therefore, we sought to evaluate surgeons' knowledge of pertinent risk information, their patterns of referral, and the correlates of surgeon knowledge and referral in specific breast cancer scenarios. Methods and Materials: We surveyed a national sample of 750 surgeons, with a 67% response rate. We analyzed responses from those who had seen at least 1 breast cancer patient in the past year (n=403), using logistic regression models to identify correlates of knowledge and appropriate referral. Results: Overall, 87% of respondents were general surgeons, and 64% saw >10 breast cancer patients in the previous year. In a scenario involving a 45-year-old undergoing lumpectomy, only 45% correctly estimated the risk of locoregional recurrence without radiation therapy, but 97% would refer to radiation oncology. In a patient with 2 of 20 nodes involved after mastectomy, 30% would neither refer to radiation oncology nor provide accurate information to make radiation decisions. In a patient with 4 of 20 nodes involved after mastectomy, 9% would not refer to radiation oncology. Fewer than half knew that the Oxford meta-analysis revealed a survival benefit from radiation therapy after lumpectomy (45%) or mastectomy (32%). Only 16% passed a 7-item knowledge test; female and more-experienced surgeons were more likely to pass. Factors significantly associated with appropriate referral to radiation oncology included breast cancer volume, tumor board participation, and knowledge. Conclusions: Many surgeons have inadequate knowledge regarding the role of radiation in breast cancer management, especially after mastectomy. Targeted educational interventions may improve the quality of care.

  17. In the networked society people, knowledge, devices,

    E-Print Network [OSTI]

    Zhao, Yuxiao

    . The work will mix theoretical work with simulation evaluations, based on existing or emerging Ericsson vertical positioning component. Furthermore, network based solution requirements are typically tighter indoor. The developed network-based algorithms will be based on various radio network measurements from

  18. Effective Date: July 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 31, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS Snow Cover ATBD 474-00038 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  19. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS Earth Gridding 474-00028 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  20. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify-00047 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  1. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https-00030 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Active Fires 474-00030 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  2. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify-00046 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  3. Effective Date: July 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 31, 2011 Revision - Check the JPSS MIS Server at https-00053 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Geolocation ATBD 474-00053 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  4. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify ATBD 474-00045 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  5. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https Cloud Cover Layers 474-00044 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  6. Effective Date: March 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https3 474-00001-04-03 Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 4 Pt3 474-00001-04-03 Effective Date: March 31, 2011 Revision - i Check the JPSS MIS Server

  7. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00029 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Total Column Ozone 474-00029 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  8. Effective Date: March 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https 8 474-00001-08 Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 8 474-00001-08 Effective Date: March 31, 2011 Revision - i Check the JPSS MIS Server

  9. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00037 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https ST ATBD 474-00037 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  10. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00039 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Vegetation Index ATBD 474-00039 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  11. Effective Date: July 18, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 18, 2011 Revision - Check the JPSS MIS Server at https 474-00001-07-01 Effective Date: July 18, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 7 P1 474-00001-07-01 Effective Date: July 18, 2011 Revision - i Check the JPSS MIS Server

  12. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00049 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https AOT APSP 474-00049 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  13. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 22, 2011 Revision - Check the JPSS MIS Server at https ACO ATBD 474-00050 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  14. Effective Date: July 5, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https ­ Vol 6 474-00001-06 Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 6 474-00001-06 Effective Date: July 5, 2011 Revision - i Check the JPSS MIS Server at https

  15. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https ATBD 474-00042 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS CEPS COP ATBD 474-00042 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  16. Effective Date: August 13, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: August 13, 2011 Revision - Check the JPSS MIS Server at https-00001-03 Effective Date: August 13, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 3 474-00001-03 Effective Date: August 13, 2011 Revision - i Check the JPSS MIS Server

  17. Effective Date: July 5, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https: July 5, 2011 Revision - 2 Check the JPSS MIS Server at https ­External ­ Vol 5 474-00001-05 Effective Date: July 5, 2011 Revision - i Check the JPSS MIS Server at https

  18. Building Knowledge-enabled Cloud Robotics Applications using the Ubiquitous Network Robot Platform

    E-Print Network [OSTI]

    Building Knowledge-enabled Cloud Robotics Applications using the Ubiquitous Network Robot Platform of distributed robotic applications. Our aim is to modularize applications by factoring out environment- , task base that is shared between the robots and service applications. Robot control decisions can

  19. ABDUCTIVE LOGIC PROGRAMMING Abductive Logic Programming is a high level knowledge representation

    E-Print Network [OSTI]

    Moraitis, Pavlos

    ABDUCTIVE LOGIC PROGRAMMING Abductive Logic Programming is a high level knowledge representation framework that allows us to solve problems declaratively based on abductive reasoning. It extends normal predicates. Problem solving is effected by deriving hypotheses on these abducible predicates (abductive hy

  20. Integration of Business and Industrial Knowledge on Services to Set Trusted Business Communities of

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    ones) to define extended business service models, paying a particular attention on "fIntegration of Business and Industrial Knowledge on Services to Set Trusted Business Communities, the European Union promotes clearly internet of services based solutions to support innovative business