National Library of Energy BETA

Sample records for knowledge base check

  1. Knowledge-based control 

    E-Print Network [OSTI]

    Painter, John H.

    1992-03-17

    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 fields,thus offering a dual...

  3. 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

  4. 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

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

    E-Print Network [OSTI]

    Heinemann, Detlev

    INTELLIGENT PERFORMANCE CHECK OF PV SYSTEM OPERATION BASED ON SATELLITE DATA A. Drews* , J. Betcke of a fully automated service for performance check and error detection for photovoltaic (PV) systems by daily surveillance. Malfunctions of a grid-connected PV system, e.g. drop out of single module strings

  6. 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 to the verification of embedded soft- ware written in ANSI-C. We have extended the encodings from previous SMT. Keywords-Bounded Model Checking; Satisfiability Modulo Theories; Embedded ANSI-C Software; I. INTRODUCTION

  7. An Insulating Glass Knowledge Base

    SciTech Connect (OSTI)

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

    2005-08-01

    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.

  8. 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

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

    E-Print Network [OSTI]

    1 SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro, Bernd Fischer software written in ANSI-C in order to improve scalability and precision in a completely automatic way. We was provided for ANSI-C [5] constructs such as bit-level operations, fixed- point arithmetic, pointers (i

  10. 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 to the verification of embedded soft- ware written in ANSI-C. We have extended the encod- ings from previous SMT and linear arithmetic were considered, but no encoding was provided for ANSI-C [6] constructs such as bit

  11. 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

  12. T00706010013 rock check dam

    E-Print Network [OSTI]

    XY! ¬« T00706010013 rock check dam T00706010014 rock check dam T00702040012 established vegetation, green hatch area T00706010002 rock check dam T00706010011 rock check dam T00703120010 rock berm T00703020003 base course berm T00706010004 rock check dam T00706010009 rock check dam T00703020008 base course

  13. Check valve

    DOE Patents [OSTI]

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

    1999-08-24

    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.

  14. Check valve

    DOE Patents [OSTI]

    Upton, H.A.; Garcia, P.

    1999-08-24

    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.

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

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01

    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...

  16. IGENPRO knowledge-based operator support system.

    SciTech Connect (OSTI)

    Morman, J. A.

    1998-07-01

    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.

  17. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on -Protocols

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on -Protocols (Full Version) Jos present a comprehensive spec- ification language and a certifying compiler for ZK-PoK protocols based on -protocols and composition techniques known in literature. The compiler allows the fully automatic

  18. Expert Systems A knowledge-based approach to

    E-Print Network [OSTI]

    Lucas, Peter

    ): · Problem-solving method (PSM): ­ diagnostic PSM ­ planning and scheduling PSM ­ design and configuration PSM ­ decision-making PSM implemented in a reasoning method · Knowledge base specified

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

    E-Print Network [OSTI]

    the cognitive ergonomics of such systems, we have designed, built, and evaluated a domain-oriented designThe Cognitive Ergonomics of Knowledge-Based Design Support Systems Tamara Sumner Knowledge Media a critiquing system was designed, built, and evaluated for a specific area: phone-based interface design. Four

  20. The process for integrating the NNSA knowledge base.

    SciTech Connect (OSTI)

    Wilkening, Lisa K.; Carr, Dorthe Bame; Young, Christopher John; Hampton, Jeff; Martinez, Elaine

    2009-03-01

    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.

  1. KNOWLEDGE-BASED DECISION SUPPORT IN OIL WELL DRILLING

    E-Print Network [OSTI]

    Aamodt, Agnar

    KNOWLEDGE-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 for information handling, decision-making, and on-the-job learning for drilling personnel in their daily working

  2. An Operational Semantics for Knowledge Bases Ronald Fagin

    E-Print Network [OSTI]

    Halpern, Joseph Y.

    supported in part by the Air Force Office of Scientific Research (AFSC), under Contract F49620-91-C-0080. with a knowledge base a set of truth assignments. We de- scribe here a different semantic approach. We show

  3. A graphical user interface for knowledge-based control 

    E-Print Network [OSTI]

    Russell, Paul Joseph

    1992-01-01

    , a user interface, and an internal blackboard. The symbolic controller (meta-controller) exerts control on the numerical controller to produce the desired goals. The symbolic interpreter (interpreter) gathers raw numerical data from the dynamic... Meta- Controller OUTER LOOP Graphical Ustsr User' , I/O Interface Computer Simulation Knowledge-based Processor Figure 3. Architecture (GUI) for a knowledge-based controller. The objective of the research effort is to produce an object...

  4. An analysis of the SUDOC bibliographic knowledge base from a link validity viewpoint

    E-Print Network [OSTI]

    Croitoru, Madalina

    libraries (SUDOC), a bibli- ographical knowledge base maintained by the University Bibliographic Agency- tation) is a large bibliographical knowledge base managed by ABES (Agence Bibli- ographique de l

  5. Developing a knowledge base for the management of severe accidents

    SciTech Connect (OSTI)

    Nelson, W.R.; Jenkins, J.P.

    1986-01-01

    Prior to the accident at Three Mile Island, little attention was given to the development of procedures for the management of severe accidents, that is, accidents in which the reactor core is damaged. Since TMI, however, significant effort has been devoted to developing strategies for severe accident management. At the same time, the potential application of artificial intelligence techniques, particularly expert systems, to complex decision-making tasks such as accident diagnosis and response has received considerable attention. The need to develop strategies for accident management suggests that a computerized knowledge base such as used by an expert system could be developed to collect and organize knowledge for severe accident management. This paper suggests a general method which could be used to develop such a knowledge base, and how it could be used to enhance accident management capabilities.

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

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

    A KNOWLEDGE BASE FOR JUSTIFIED INFORMATION SECURITY DECISION-MAKING Daria Stepanova, Simon E.K. dasha stepanova@list.ru, s.e.parkin@ncl.ac.uk, aad.vanmoorsel@ncl.ac.uk Keywords: Information security Information Security Officer (CISO) within an organisation to ensure that such information is adequately

  7. The knowledge-based content management application design methodology

    E-Print Network [OSTI]

    Chen-Burger, Yun-Heh (Jessica)

    of the development life cycle of a software system based on the ICONS framework. The result of the work presented life cycle methodology. It allows the organisation that implements a knowledge management software two chapters are the presentation of the general context for life cycle and management methodologies

  8. A KNOWLEDGE-BASED CODE GENERATOR GENERATOR Christopher W. Fraser %

    E-Print Network [OSTI]

    Fraser, Christopher W.

    A KNOWLEDGE-BASED CODE GENERATOR GENERATOR Christopher W. Fraser % Department of Computer Science a good local code generator for an ALGOL-like language. It is organized as a production system of rules generation of compilers. Automatic generation of some compiler modules is already available; for example

  9. 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

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

    E-Print Network [OSTI]

    Hari, Umesh

    1993-01-01

    by the meta-knowledge entities called as meta-goals, meta-plans and meta-themes. These planning elements are then encapsulated into a plan generation mechanism within the master planner. The planning activity is stratified into four modules based... . 4. I Introduction 4. 2 Planning Mechanism 4. 3 Ontology of Planning Modes 4. 4 Meta-Planning Knowledge 4. 5 Architecture of the Master Planner V IDEFO MODELS OF PROCESS PLANNING ACTIVITIES Page 59 59 59 63 66 68 70 5. I Introduction 5...

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

    SciTech Connect (OSTI)

    Reddy, S.

    1991-01-01

    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.

  12. Combining Cost-Based and Rule-Based Knowledge in Complex Resource Allocation

    E-Print Network [OSTI]

    Powell, Warren B.

    Combining Cost-Based and Rule-Based Knowledge in Complex Resource Allocation Problems Arun Marar, for reasons that are not reflected in the objective function. Other examples that we have encountered include

  13. Knowledge based expert systems in engineering: Planning and design

    SciTech Connect (OSTI)

    Sriram, D.; Adey, R.A.

    1987-01-01

    AI technology and in particular knowledge based expert systems is now making a major impact in design with many systems being developed an applied in engineering. This book contains details on how these systems are developed and how they are being applied. Papers cover application of AI in project management, conceptual design, automated design systems, and process planning in many areas of engineering. Example systems discussed in the 31 papers include structural design, digital circuit design, road design plus many other applications.

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

    SciTech Connect (OSTI)

    1993-08-11

    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.

  15. XML-Based Formulation of Field Theoretical Models. A Proposal for a Future Standard and Data Base for Model Storage, Exchange and Cross-checking of Results

    E-Print Network [OSTI]

    A. Demichev; A. Kryukov; A. Rodionov

    2002-03-11

    We propose an XML-based standard for formulation of field theoretical models. The goal of creation of such a standard is to provide a way for an unambiguous exchange and cross-checking of results of computer calculations in high energy physics. At the moment, the suggested standard implies that models under consideration are of the SM or MSSM type (i.e., they are just SM or MSSM, their submodels, smooth modifications or straightforward generalizations).

  16. Massachusetts Institute of Technology Checking the Integrity of Memory in a Snooping-Based

    E-Print Network [OSTI]

    -Based Symmetric Multiprocessor (SMP) System Dwaine Clarke,G. Edward Suh, Blaise Gassend, Marten van Dijk, Srinivas Gassend, Marten van Dijk , and Srinivas Devadas MIT Computer Science and Artificial Intelligence

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

    Office of Scientific and Technical Information (OSTI)

    Soybean Knowledge Base (SoyKB): a Web Resource for Soybean Translational Genomics Citation Details In-Document Search Title: Soybean Knowledge Base (SoyKB): a Web Resource for...

  18. A Comparison of Data-Derived and Knowledge-Based Modeling of Pronunciation Variation 

    E-Print Network [OSTI]

    Wester, Mirjam; Fosler-Lussier, Eric

    This paper focuses on modeling pronunciation variation in two different ways: data-derived and knowledge-based. The knowledge-based approach consists of using phonological rules to generate variants. The data-derived approach consists of performing...

  19. 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 University, Hefei, Anhui 230039, China *** School of Systems, Management and Leadership, University--In current Cloud computing environments, management of data reliability has become a challenge. For data

  20. 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

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

    E-Print Network [OSTI]

    2009-01-01

    of ecosystem carbon balance S. Luyssaert, 1 M. Reichstein, 2controls on the carbon balances of three southern borealCROSS-CHECK FOR CO 2 BALANCES Yi, C. X. , D. E. Anderson, A.

  2. IN-DEPTH KNOWLEDGE-BASED MACHINE TRANSLATION

    E-Print Network [OSTI]

    distribution of the Penman sentence generator and text planner and the develop- ment of ancillary knowledge. Penman and its ancillary resources will be embedded into

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

    E-Print Network [OSTI]

    Munger, Tyler Rey

    2012-01-01

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

  4. 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

  5. Description Logics: Foundations for Class-based Knowledge Representation Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

    E-Print Network [OSTI]

    Calvanese, Diego

    Description Logics: Foundations for Class-based Knowledge Representation Diego Calvanese, Giuseppe Class-based languages express knowledge in terms of objects and classes, and have inspired a huge number of formalisms in computer science. Description logics form a family of both class-based and logic

  6. Developing Knowledge-Based Systems using the Semantic Weba

    E-Print Network [OSTI]

    Sleeman, Derek

    process: for example, for a PSM to work with a particular domain ontology, mappings would be defined between the two: the mappings would allow the PSM to access and use the domain knowledge provided by the domain ontology during the PSM's execution. Despite considerable research focused on making

  7. 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

  8. KnowledgeBased Software Assistant : A Knowledge Representation Model and its Implementation

    E-Print Network [OSTI]

    Boudjlida, Nacer

    of the software life­cycle. In this paper, we ørst propose concepts for software process model­ ing in order in the software life­cycle [?][?][?][?]. A ørst approach relies on an object base and a rule base. The obj in the ALF Project [?][?] (Advanced software engineering environment Logistics Framework) which aims

  9. Chinese Sentence Generation in a KnowledgeBased Machine Translation System

    E-Print Network [OSTI]

    Spirtes, Peter

    Chinese Sentence Generation in a Knowledge­Based Machine Translation System Tangqiu Li, Eric H presents a technique for generating Chinese sentences from the Interlingua expressions used in the KANT knowledge­based machine translation system. Chinese sentences are generated directly from the semantic

  10. Reasoning in inconsistent stratified knowledge bases Salem BENFERHAT --Didier DUBOIS --Henri PRADE

    E-Print Network [OSTI]

    Winckler, Marco Antonio Alba

    knowledge base issued from a source of information is "flat" (i.e., without any priority between items). But there is a total pre­ordering between the sources of information according to their reliability. In this case, merging different sources of information leads to a prioritized knowledge base, where the certainty level

  11. GENERATING PITCH ACCENTS IN A CONCEPT-TO-SPEECH SYSTEM USING A KNOWLEDGE BASE

    E-Print Network [OSTI]

    Williams, Sandra

    requiring particular emphasis or stress. Our pitch accenting algorithm uses a domain knowledge base the placement of pitch accents on syllables requiring particular emphasis or stress in an utterance, the subject labour intensive. However, we have demonstrated that a large knowledge base can be built automatically

  12. Knowledge-Based Dynamic Volumetric Cardiac Computed Tomography With Saddle Curve Trajectory

    E-Print Network [OSTI]

    Wang, Ge

    Knowledge-Based Dynamic Volumetric Cardiac Computed Tomography With Saddle Curve Trajectory Deepak simulations with the dynamic thorax phantom. Key Words: X-ray computed tomography, dynamic volumetric cardiac. In 2002, Wang et al10 proposed a dynamic knowledge-based cardiac volumetric CT for the circular trajectory

  13. 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

  14. 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 to extract such information from textual representations, and they fail to integrate information spread over

  15. 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

  16. 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-31

    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.

  17. 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-01

    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.

  18. 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

  19. Knowledge-based sizing of cogeneration plant in buildings

    SciTech Connect (OSTI)

    Williams, J.M.; Griffiths, A.J.; Knight, I.P.

    1998-10-01

    Cogeneration is now accepted as a cost-effective and environmentally friendly means of meeting some of a building`s heating and power needs. Cogeneration plants have been installed in many buildings throughout the United Kingdom. Because of commercial pressures, building owners and cogeneration companies are keen to reduce the time and money involved in sizing units, and a decision support tool has been developed to aid the engineer in selecting the unit size. An initial assessment of the sizing can be made with only knowledge of the building`s type, size, and location, which enables the model to be used in new build situations. For an existing building, the accuracy of the predictions can then be progressively improved by providing more information about the building`s energy use, enabling the optimum unit to be identified. This paper briefly describes the model and demonstrates its use through an example feasibility study.

  20. 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

  1. The Acquisition of Qualitative Physics Knowledge during Textbook-Based Physics Training

    E-Print Network [OSTI]

    VanLehn, Kurt

    The Acquisition of Qualitative Physics Knowledge during Textbook-Based Physics Training Rolf Several earlier investigations found that teaching standard textbook physics causes only moderate change in qualitative understanding. Many investigations have tried to explain why teaching textbook physics results

  2. M01506020006 log check dam

    E-Print Network [OSTI]

    XY! ¬« 35-0027 M01506020006 log check dam M01506020007 log check dam M01506020001 log check dam M location Berm Channel/swale Check dam Sediment trap/basin Gabion Seed and mulch Cap Established vegetation

  3. Representing Temporal Knowledge for Case-Based Prediction

    E-Print Network [OSTI]

    Aamodt, Agnar

    well drilling. 1 Introduction Most current CBR systems represent episodes as distinct snap. Our focus is on prediction problems for avoiding faulty situations. Based on a well-established theory-intensive CBR system Creek. The paper presents the theoretical foundation of the method, the representation

  4. 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

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

    E-Print Network [OSTI]

    Ares Jr., Manny

    Knowledge-based analysis of microarray gene expression data by using support vector machines to predict functional roles for unchar- acterized yeast ORFs based on their expression data. DNA microarray to discriminate between the members and non-members of a given functional class based on expression data. Having

  6. 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

  7. 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

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

    E-Print Network [OSTI]

    2009-01-01

    eddy covariance – based NEP has been tested against itscovariance – based estimates of NEP, GPP and Re but addsbased flux estimates of NEP, GPP, and Re require independent

  9. Optimizing Symbolic Model Checking for Statecharts

    E-Print Network [OSTI]

    Beame, Paul

    model checking to a statecharts model, that of an electrical power distribution (EPD) system for Boeing checking based on binary decision diagrams is a powerful formal verification technique for reactive systems of a collision avoidance system and a fault- tolerant electrical power distribution (EPD) system, both used

  10. i-footman: A Knowledge-Based Framework for Football Managers

    E-Print Network [OSTI]

    Panagiotis, Stamatopoulos

    i-footman: A Knowledge-Based Framework for Football Managers Vassilis Papataxiarhis, Vassileios-based framework aiming to provide assistive services to football managers. More precisely, the system accommodates a number of managing processes (e.g., selection of team composition) in the context of football by adopting

  11. BENCHMARKING THE TRANSITION TO AGILE MANUFACTURING: A KNOWLEDGE-BASED SYSTEMS APPROACH

    E-Print Network [OSTI]

    Wallingford, Eugene

    market share erosion to foreign-based "lean" 3 #12;manufacturers. These smaller, more flexible, and more inefficiencies associated with inflexible American-style mass-production. Lean manufacturers facilitatedBENCHMARKING THE TRANSITION TO AGILE MANUFACTURING: A KNOWLEDGE-BASED SYSTEMS APPROACH H. Fred

  12. AREX: A Knowledge-Based System for Auditor's Reports Mohamed A. Wahdan1

    E-Print Network [OSTI]

    Spronck, Pieter

    AREX: A Knowledge-Based System for Auditor's Reports Mohamed A. Wahdan1 , Pieter Spronck2 , Hamdi F. Ali3 , Eddy Vaassen4 , H.Jaap van den Herik5 Running title: Auditor Report Expert System-Based System for Auditor's Reports Mohamed A. Wahdan, Maastricht School of Management, The Netherlands Pieter

  13. Biomedical Named Entity Recognition: A Poor Knowledge HMM-Based Approach

    E-Print Network [OSTI]

    Rosso, Paolo

    Biomedical Named Entity Recognition: A Poor Knowledge HMM-Based Approach Natalia Ponomareva, Ferran of biomedical enti- ties. In this paper we present our Hidden Markov Model (HMM)-based biomedical NER system the problem of non- uniform distribution among biomedical entity classes and to provide the system

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

    E-Print Network [OSTI]

    2009-01-01

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

  15. Smog Check II Evaluation Part IV: Smog Check Costs and

    E-Print Network [OSTI]

    Denver, University of

    Smog Check II Evaluation Part IV: Smog Check Costs and Cost Effectiveness Are the Overall Costs of Smog Check? __________________ 2 2.1. Vehicle Testing Costs____________________________________________ 3 2.2. Repair Costs ___________________________________________________ 5 2.3. Administrative Costs

  16. Hybrid type checking

    E-Print Network [OSTI]

    Flanagan, C

    2006-01-01

    O’Callahan and J. -D. Choi. Hybrid dynamic data race detec-subtyping is sound, the hybrid compilation algorithmHybrid Type Checking Cormac Flanagan Department of Computer

  17. 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

  18. Interdisciplinarity at the Journal and Specialty Level: The Changing Knowledge Bases of the Journal

    E-Print Network [OSTI]

    Goldstone, Robert

    Interdisciplinarity at the Journal and Specialty Level: The Changing Knowledge Bases of the Journal during this same period. Interdiscipli- narity should be defined differently at the level of journals, & Okada, 1998; Van den Besselaar, in preparation; Von Eckardt, 2001)? The journal Cognitive Science pub

  19. CTSHIV: A Knowledge-Based System For the Management of HIV-infected Patients

    E-Print Network [OSTI]

    Pazzani, Michael J.

    See Ranjit Iyer Edison Schroeder Jeremiah Tilles Department of Information & Computer Science has developed. By monitoringthe HIV virus of the patient, the treatment strategy can be switched in response to mutations of the virus. CTSHIV contains a knowledge base that encodes information from

  20. From Field Notes Towards a Knowledge Base Piroska Lendvai, Steve Hunt

    E-Print Network [OSTI]

    Tilburg, Universiteit van

    . Introduction Besides housing collections of artifacts, cultural heritage institutions such as museums store machine learning tech- niques, to create several components of a knowledge base. The main softwares used In this example, the first unit up to the first comma com- prises the name of the animal collected, the next two

  1. Timedomain MRSI quantitation combining multivoxel processing, FIR based solvent suppression and prior knowledge

    E-Print Network [OSTI]

    Time­domain MRSI quantitation combining multivoxel processing, FIR based solvent suppression and prior knowledge P. Pels#, L. Vanhamme#, S. Van Hu#el#, and P. Van Hecke + # Katholieke Universiteit processing using a FIR filter for solvent suppression. The advantage of this multivoxel approach

  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. LEARNING OUTCOMES FOR THE PSYCHOLOGY MAJOR Goal 1. Knowledge Base of Psychology

    E-Print Network [OSTI]

    Bucci, David J.

    LEARNING OUTCOMES FOR THE PSYCHOLOGY MAJOR Goal 1. Knowledge Base of Psychology Demonstrate in psychology. Learning Outcomes 1.1 Characterize the nature of psychology as a discipline. a. Identify and explain the primary objectives of psychology: describing, understanding, predicting, and controlling

  4. 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

  5. --Accepted for publication in Knowledge Based Systems --Title: Entrainment, Dominance and Alliance in Supreme Court Hearings

    E-Print Network [OSTI]

    Benus, Stefan

    -- Accepted for publication in Knowledge Based Systems -- Title: Entrainment, Dominance by examining the role of entrainment -- - the propensity of conversational partners to behave like one another Court in the 2001 term. We examine several different measures of entrainment in justice-lawyer pairs

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

    SciTech Connect (OSTI)

    Reddy, S.

    1991-01-01

    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.

  7. S00906010006 rock check dam

    E-Print Network [OSTI]

    XY! 53-0002 53-0890 53-1036 53-0598 53-0860 53-0056 S00906010006 rock check dam S00906010005 rock check dam S00906010007 rock check dam S00903010009 earthen berm S00903010010 earthen berm S00903120003 Channel/swale Check dam Sediment trap/basin Gabion Seed and mulch Cap Established vegetation SWMU boundary

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

    SciTech Connect (OSTI)

    Sizirici, Banu; Tansel, Berrin; Kumar, Vivek

    2011-06-15

    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.

  9. 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, share, transfer and apply knowledge. This paper concludes by suggesting a matrix in a bid to comparing and processes. The paper concludes with developing a 5x20 matrix that elucidate how the five C's model

  10. Parametric Grid Information in the DOE Knowledge Base: Data Preparation, Storage, and Access

    SciTech Connect (OSTI)

    HIPP,JAMES R.; MOORE,SUSAN G.; MYERS,STEPHEN C.; SCHULTZ,CRAIG A.; SHEPHERD,ELLEN; YOUNG,CHRISTOPHER J.

    1999-10-01

    The parametric grid capability of the Knowledge Base provides an efficient, robust way to store and access interpolatable information which is needed to monitor the Comprehensive Nuclear Test Ban Treaty. To meet both the accuracy and performance requirements of operational monitoring systems, we use a new approach which combines the error estimation of kriging with the speed and robustness of Natural Neighbor Interpolation (NNI). The method involves three basic steps: data preparation (DP), data storage (DS), and data access (DA). The goal of data preparation is to process a set of raw data points to produce a sufficient basis for accurate NNI of value and error estimates in the Data Access step. This basis includes a set of nodes and their connectedness, collectively known as a tessellation, and the corresponding values and errors that map to each node, which we call surfaces. In many cases, the raw data point distribution is not sufficiently dense to guarantee accurate error estimates from the NNI, so the original data set must be densified using a newly developed interpolation technique known as Modified Bayesian Kriging. Once appropriate kriging parameters have been determined by variogram analysis, the optimum basis for NNI is determined in a process they call mesh refinement, which involves iterative kriging, new node insertion, and Delauny triangle smoothing. The process terminates when an NNI basis has been calculated which will fir the kriged values within a specified tolerance. In the data storage step, the tessellations and surfaces are stored in the Knowledge Base, currently in a binary flatfile format but perhaps in the future in a spatially-indexed database. Finally, in the data access step, a client application makes a request for an interpolated value, which triggers a data fetch from the Knowledge Base through the libKBI interface, a walking triangle search for the containing triangle, and finally the NNI interpolation.

  11. PVSAT-2: RESULTS OF FIELD TEST OF THE SATELLITE-BASED PV SYSTEM PERFORMANCE CHECK A.C. de Keizer1

    E-Print Network [OSTI]

    Heinemann, Detlev

    . of Electrical Engineering, University of Applied Sciences (FH) Magdeburg-Stendal, 39114 Magdeburg, Germany, ABSTRACT: Within the EU funded project PVSAT-2 an automated performance check for grid-connected PV systems information. The uncertainty in the simulated energy yield can be high for cloudy weather situations

  12. 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

  13. A knowledge-based method for making restoration plan of bulk power system

    SciTech Connect (OSTI)

    Shimakura, K.; Inagaki, J.; Matsunoki, Y. (Hokkaido Univ., Sapporo (Japan). Faculty of Science); Ito, M.; Fukui, S.; Hori, S. (Mitsubishi Electric Corp., 1-1-2 Wadasaki-cho, Hyogo-ku, Kobe (JP))

    1992-05-01

    In this paper a knowledge-based method is proposed for use in event of power system outages. This method uses general-purpose restoration knowledge not dependent on pre-outage system states in order to generate post-restoration target systems in which post-outage systems are taken as initial states. Conventionally post-outage system states are formed to emulate as closely as possible pre-outage system states, with system operations performed only within blackout systems. Therefore, depending on the amount of pre-outage load, some outage loads may be experienced in the restored system. Proposed here is a method by which system operations in both blackout systems and sound systems are combined according to the amount of load in the pre-outage systems, so that post-restoration system states with minimal outage loads from post-outage systems will be generated. A prototype system incorporating actual power systems and utilizing this method was built and tested under simulated conditions. The effectiveness of the proposed system is discussed on the basis of the test results.

  14. 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

  15. 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

  16. Knowledge-based Patient Data Generation Zhisheng Huang, Frank van Harmelen, Annette ten Teije, and Kathrin Dentler

    E-Print Network [OSTI]

    van Harmelen, Frank

    Knowledge-based Patient Data Generation Zhisheng Huang, Frank van Harmelen, Annette ten Teije and the quality of the data. By defining the required format, data can easily be generated based on realistic,Frank.van.Harmelen,annette,k.dentler}@cs.vu.nl Abstract. The development and investigation of medical applications require patient data from various

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

    SciTech Connect (OSTI)

    Chavez, Francesca C.; Mendius, E. Louise

    2003-09-23

    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.

  18. 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-18

    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.

  19. Check Estimates and Independent Costs

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

    1997-03-28

    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.

  20. Introduction to Knowledge Compilation

    E-Print Network [OSTI]

    Huang, Jinbo

    Introduction to Knowledge Compilation Jinbo Huang NICTA and Australian National University (based in part on Adnan Darwiche's tutorial) Jinbo Huang Introduction to Knowledge Compilation #12;Propositional Huang Introduction to Knowledge Compilation #12;Truth of Sentences Burglary Earthquake Alarm 1

  1. 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-01

    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.

  2. Better Knowledge Management Through Knowledge Engineering

    E-Print Network [OSTI]

    Preece, Alun

    Better Knowledge Management Through Knowledge Engineering: A Case Study in Drilling Optimisation management by a drilling optimisation group within a large service company. The three facets of the knowledge be built using conventional database software, special-purpose case-based reasoning or knowledge

  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-01

    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-17

    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-01

    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. 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

  8. A knowledge-based cone-beam x-ray CT algorithm for dynamic volumetric cardiac imaging

    E-Print Network [OSTI]

    Wang, Ge

    A knowledge-based cone-beam x-ray CT algorithm for dynamic volumetric cardiac imaging Ge Wanga, and wider coverage with multislice/cone- beam CT indicate a great potential for dynamic volumetric imaging/ helical multislice/cone-beam CT approach for dynamic volumetric cardiac imaging. This approach assumes

  9. Checking Paper PMENA 2011 final

    E-Print Network [OSTI]

    Rachael Kenney

    2013-03-27

    checking or verification tool in the classroom (e.g. Berry, Graham, & Smith, 2006; ... Smith, 2003) and may put more trust in their own work than in the calculator.

  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. Considerations on research efficiency and knowledge transfer in environmentally-based research groups

    E-Print Network [OSTI]

    Hernandez, Omar R

    2008-01-01

    A literature survey of how research groups and communities go about sharing ideas and transfer knowledge was performed. Previous studies were explored and used to ascertain how research groups spend their time. Collaborative ...

  12. A package TESTAS for checking some kinds of testability

    E-Print Network [OSTI]

    Trakhtman, Avraham

    A package TESTAS for checking some kinds of testability=C++ package. Introduction Locally testable and piecewise testable languages with generalizations and sufficient conditions and the algorithms used in the package are based on this approach. The locally

  13. Behavioral Model Equivalence Checking for Large Analog Mixed Signal Systems 

    E-Print Network [OSTI]

    Singh, Amandeep

    2012-07-16

    This thesis proposes a systematic, hierarchical, optimization based semi-formal equivalence checking methodology for large analog/mixed signal systems such as phase locked loops (PLL), analog to digital convertors (ADC) ...

  14. PASTE 2004 Page 1 June 2004 ""Model CheckingModel Checking"" Software withSoftware with

    E-Print Network [OSTI]

    Rajamani, Sriram K.

    PASTE 2004 Page 1 June 2004 ""Model CheckingModel Checking"" Software withSoftware with Patrice;PASTE 2004 Page 2 June 2004 ""Model CheckingModel Checking"" · Model Checking = systematic state deadlock Each component is modeled by a FSM. #12;PASTE 2004 Page 3 June 2004 Model Checking of Software

  15. ESoftCheck: Removal of Non-vital Checks for Fault Google Inc.

    E-Print Network [OSTI]

    Garzarán, María Jesús

    ESoftCheck: Removal of Non-vital Checks for Fault Tolerance Jing Yu Google Inc. jingyu techniques to determine which are the vital checks, that is, the minimum number of checks that are necessary to detect an error and roll back to a correct program state. ES- oftCheck identifies the vital checks

  16. Bounded Model Checking and Feature Omission Amin Alipour and Alex Groce

    E-Print Network [OSTI]

    Groce, Alex David

    counterexample to the system, in which case BMC verification implies system correctness. of model checking runs model checking, based on parallel runs over versions of a system in which features have been randomly. INTRODUCTION Model checking [5] is a technique for formal verification, which inspects all reachable states

  17. 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-01

    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.

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

    E-Print Network [OSTI]

    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 that the typical cost of drillinga new o shore well is in the range of $30- 40million,but the chance of that site

  19. Fluid relief and check valve

    DOE Patents [OSTI]

    Blaedel, K.L.; Lord, S.C.; Murray, I.

    1986-07-17

    A passive fluid pressure relief and check valve allows the relief pressure to be slaved to a reference pressure independently of the exhaust pressure. The pressure relief valve is embodied by a submerged vent line in a sealing fluid, the relief pressure being a function of the submerged depth. A check valve is embodied by a vertical column of fluid (the maximum back pressure being a function of the height of the column of fluid). The pressure is vented into an exhaust system which keeps the exhaust out of the area providing the reference pressure.

  20. Smog Check II Executive Summary

    E-Print Network [OSTI]

    Denver, University of

    to reduce air pollution emissions from vehicles by encouraging better ongoing maintenance of vehicles. Smog Check targets three types of pollution from vehicles: hydrocarbons (HC), nitrogen oxides (NOx, and ensuring the repair of vehicles with excessive emissions and broken or tampered emissions control systems

  1. A novel school-based intervention to improve nutrition knowledge in children: cluster randomised controlled trial

    E-Print Network [OSTI]

    Lakshman, Rajalakshmi R.; Sharp, Stephen J.; Ong, Ken K.; Forouhi, Nita G.

    2010-03-10

    Color My Pyramid. Journal of School Nursing 2009, 25:230-239. 44. Ellis RM, Ellis RC: Impact of a traffic light nutrition tool in a primary school. J R Soc Promot Health 2007, 127:13-21. 45. Devine CM, Olson CM, Frongillo EA: Impact of the Nutrition... for Life Program on Junior-High Students in New-York-State. Journal of School Health 1992, 62:381-385. 46. Garcia-Lascurain MC, Kicklighter JR, Jonnalagadda SS, Boudolf EA, Duchon D: Effect of a nutrition education program on nutrition-related knowledge...

  2. 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

  3. A Knowledge-Based Approach to Improving and Homogenizing Intensity Modulated Radiation Therapy Planning Quality Among Treatment Centers: An Example Application to Prostate Cancer Planning

    SciTech Connect (OSTI)

    Good, David [Medical Physics Graduate Program, Duke University, Durham, North Carolina (United States); Lo, Joseph [Medical Physics Graduate Program, Duke University, Durham, North Carolina (United States); Department of Radiology and Departments of Biomedical Engineering and Electrical and Computer Engineering, Duke University, Durham, North Carolina (United States); Lee, W. Robert [Department of Radiation Oncology, Duke University Medical Center, Durham, North Carolina (United States); Wu, Q. Jackie; Yin, Fang-Fang [Medical Physics Graduate Program, Duke University, Durham, North Carolina (United States); Department of Radiation Oncology, Duke University Medical Center, Durham, North Carolina (United States); Das, Shiva K., E-mail: shiva.das@duke.edu [Medical Physics Graduate Program, Duke University, Durham, North Carolina (United States); Department of Radiation Oncology, Duke University Medical Center, Durham, North Carolina (United States)

    2013-09-01

    Purpose: Intensity modulated radiation therapy (IMRT) treatment planning can have wide variation among different treatment centers. We propose a system to leverage the IMRT planning experience of larger institutions to automatically create high-quality plans for outside clinics. We explore feasibility by generating plans for patient datasets from an outside institution by adapting plans from our institution. Methods and Materials: A knowledge database was created from 132 IMRT treatment plans for prostate cancer at our institution. The outside institution, a community hospital, provided the datasets for 55 prostate cancer cases, including their original treatment plans. For each “query” case from the outside institution, a similar “match” case was identified in the knowledge database, and the match case’s plan parameters were then adapted and optimized to the query case by use of a semiautomated approach that required no expert planning knowledge. The plans generated with this knowledge-based approach were compared with the original treatment plans at several dose cutpoints. Results: Compared with the original plan, the knowledge-based plan had a significantly more homogeneous dose to the planning target volume and a significantly lower maximum dose. The volumes of the rectum, bladder, and femoral heads above all cutpoints were nominally lower for the knowledge-based plan; the reductions were significantly lower for the rectum. In 40% of cases, the knowledge-based plan had overall superior (lower) dose–volume histograms for rectum and bladder; in 54% of cases, the comparison was equivocal; in 6% of cases, the knowledge-based plan was inferior for both bladder and rectum. Conclusions: Knowledge-based planning was superior or equivalent to the original plan in 95% of cases. The knowledge-based approach shows promise for homogenizing plan quality by transferring planning expertise from more experienced to less experienced institutions.

  4. 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

  5. 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

  6. Why Do Voters Dismantle Checks and Balances?

    E-Print Network [OSTI]

    Acemoglu, Daron

    2011-07-17

    Voters often dismantle constitutional checks and balances on the executive. If such checks and balances limit presidential abuses of power and rents, why do voters support their removal? We argue that by reducing politician ...

  7. Why Do Voters Dismantle Checks and Balances?

    E-Print Network [OSTI]

    Acemoglu, Daron

    Voters often dismantle constitutional checks and balances on the executive. If such checks and balances limit presidential abuses of power and rents, why do voters support their removal? We argue that by reducing politician ...

  8. Amoeba-Based Knowledge Discovery Toshinori Munakata1*, Masashi Aono2, Masahiko Hara2

    E-Print Network [OSTI]

    Munakata, Toshinori

    par- adigms. 2 Amoeba-Based Computing A plasmodium of a true slime mold Physarum Polycephalum (Fig. 1a (fibrous proteins) taking contracting or relaxing states. Collectively interacting actomyosins in the gel layer generate rhythmic contraction-relaxation oscillation (period = 1~2 min) of vertical body thickness

  9. 1. Event Structuring as a General Approach to Building Knowledge in Time-Based Collections

    E-Print Network [OSTI]

    Ras, Zbigniew W.

    Ribarsky The University of North Carolina at Charlotte Zachary Wartell The University of North Carolina at Charlotte Wenwen Dou The University of North Carolina at Charlotte Keywords Time-based data collections sequence forms a narrative, or story. Such stories are powerful me- chanisms for human understanding

  10. Knowledge Discovery of Hydrocyclone s Circuit Based on SONFIS and SORST

    E-Print Network [OSTI]

    Ghaffari, H O; Irannajad, M

    2009-01-01

    This study describes application of some approximate reasoning methods to analysis of hydrocyclone performance. In this manner, using a combining of Self Organizing Map (SOM), Neuro-Fuzzy Inference System (NFIS)-SONFIS- and Rough Set Theory (RST)-SORST-crisp and fuzzy granules are obtained. Balancing of crisp granules and non-crisp granules can be implemented in close-open iteration. Using different criteria and based on granulation level balance point (interval) or a pseudo-balance point is estimated. Validation of the proposed methods, on the data set of the hydrocyclone is rendered.

  11. Model Checking CS 4271, Lecture 4, 2nd Feb 2012

    E-Print Network [OSTI]

    Roychoudhury, Abhik

    (A) = {| |= } Language(A) is defined as per the -regular notion of string acceptance It accepts infinite length strings-based testing LTL Property System Model From test spec. Copyright 2011 by Abhik Roychoudhury3 Model Checking No, with Counter-example trace Generated Test Encoding test specifications Def. 1 A trace satisfies a test

  12. 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

  13. 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

  14. 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-01

    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.

  15. 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-10

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

  16. ICALP 2004 Page 1 July 2004 Model CheckingModel Checking

    E-Print Network [OSTI]

    Rajamani, Sriram K.

    ICALP 2004 Page 1 July 2004 Model CheckingModel Checking with Multiwith Multi--Valued LogicsBell Laboratories, Lucent Technologies #12;ICALP 2004 Page 2 July 2004 MultiMulti--Valued Model Checking: Definition") returns a value in L. ­ Example: [(K,s0) p EX p] = (c (d b)) = b s0 p = c p = d p = b #12;ICALP 2004

  17. Procedure/Process Returned Checks (NSF)

    E-Print Network [OSTI]

    /7/2008 Contact information Department: Student Fiscal Services Contact: http://f2.washington.edu/fm/sfs/contact Telephone: 206-543-4694 Student Fiscal Services' Responsibilities Returned / Unpaid Check Procedure The banks, currently US Bank and Bank of America, forward unpaid checks to the Student Fiscal Services

  18. ...offers early cost-effectiveness check

    E-Print Network [OSTI]

    Oakley, Jeremy

    that an innovation is a `must' ­ offering lower costs for enhanced health outcomes. Or it might turn outMATCH Tool ...offers early cost- effectiveness check on innovations ® Medical Device Evaluation and costs persuade the NHS to buy the innovation? In just three hours, the company was able to check out its

  19. 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

  20. Knowledge Sharing Technology Stanford University KnowledgeSharingTechnology

    E-Print Network [OSTI]

    Pratt, Vaughan

    knowledge base to be constructed from scratch. As a result, most systems remain small to medium in size . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .15 3.2. Ontolingua: An Ontology Development Environment. Although tools have been developed to help with knowledge acquisition, knowledge base construction remains

  1. 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

    1996-01-01

    : 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

  2. Proceedings of FLAIRS-2002 1 Checking for Dimensional Correctness in Physics Equations

    E-Print Network [OSTI]

    Liew, Chun Wai

    Proceedings of FLAIRS-2002 1 Checking for Dimensional Correctness in Physics Equations C.W. Liew provides. This paper describes an example of a class of physics prob- lems whose answers are most naturally of algebra but also knowledge of physics concepts. This paper describes a technique for determining the dimen

  3. Scaffolding middle school students' content knowledge and ill-structured problem solving in a problem-based hypermedia learning environment 

    E-Print Network [OSTI]

    Bulu, Saniye Tugba

    2009-05-15

    of scientific content and problem-solving outcomes. Second, the study examined whether students’ prior knowledge and meta cognitive skills predict their success in problem solving across different scaffolding conditions. A total of nineteen classes were randomly...

  4. Knowledge information management toolkit and method

    DOE Patents [OSTI]

    Hempstead, Antoinette R.; Brown, Kenneth L.

    2006-08-15

    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.

  5. Integrity Checking for Uncertain Data Hendrik Decker

    E-Print Network [OSTI]

    Martinenghi, Davide

    Integrity Checking for Uncertain Data Hendrik Decker Instituto Tecnol´ogico de Inform´atica E uncertainty properties of data by integrity constraints, it can be hoped to achieve a double benefit: firstly

  6. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization a program can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness

  7. CONTENT KNOWLEDGE (Declarative Knowledge and Technical Skills): Students will demonstrate a broad knowledge of fundamental and applied engineering subjects: fluid

    E-Print Network [OSTI]

    Fernandez, Eduardo

    knowledge of fundamental and applied engineering subjects: fluid and solid mechanics, dynamics, hydrostatics System Design), students are required to have sound multi disciplinary knowledge of engineering' knowledge of engineering and science subjects and their achievement of technical skills based

  8. Evolution-based Learning of Ontological Knowledge for a Large-scale Multi-agent Simulation1

    E-Print Network [OSTI]

    Lazar, Alina

    a profound impact on the societies' physical and social environment. However, the task of developing a major impact on the efficiency and effectiveness of its use in a given application. In this paper we and social environments placed upon the agents and their interactions. The ontological knowledge represents

  9. Aiding Knowledge Capture by Searching for Extensions of Knowledge Models

    E-Print Network [OSTI]

    Leake, David B.

    , and provide a medium for building richly connected multimedia knowl- edge models--sets of linked concept maps knowledge among humans, not as carefully-crafted knowledge bases upon which machines will be performing and knowledge construction. The paper begins with a brief summary of the concept mapping process and the Cmap

  10. Active Knowledge

    E-Print Network [OSTI]

    Freuder, Eugene C.

    A progress report on the work described in Vision Flashes 33 and 43 on recognition of real objects. Emphasis is on the "active" use of knowledge in directing the flow of visual processing.

  11. A. Burns, A. Kusiak, and T. Letsche, Mining Transformed Data Sets, Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, M.Gh. Negoita, R.J.

    E-Print Network [OSTI]

    Kusiak, Andrew

    . Letsche, Mining Transformed Data Sets, Proceedings of the 8th International Conference on Knowledge-BasedA. Burns, A. Kusiak, and T. Letsche, Mining Transformed Data Sets, Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, M.Gh. Negoita, R

  12. FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs

    E-Print Network [OSTI]

    Basu, Samik

    , Stony Brook {dsaha, sas}@cs.sunysb.edu Abstract. We present the FocusCheck model-checking tool.): TACAS 2005, LNCS 3440, pp. 563­569, 2005. c Springer-Verlag Berlin Heidelberg 2005 #12;564 C.W. Keller

  13. Defining the knowledge base of our profession: a look at agricultural and extension education in the 21st century 

    E-Print Network [OSTI]

    Cummings, Gregory Aaron

    2005-08-29

    society is demanding be included for the 7 development of the most marketable professional agricultural educator in the 21st Century. Objectives The objectives of this research project were to: 1. Determine current core knowledge areas... statement with a 5 or 6 on a 1-6 rating scale. Contextual application: The use of an idea in a particular setting. Context facilitates or constrains the educator?s efforts through 1) its mission, philosophy, functions, structures, and processes, 2) its...

  14. 2 0 1 5 -2 0 1 6 R E N E W A L F O R M PARKING (check only one)PARKING (check only one)PARKING (check only one)PARKING (check only one)

    E-Print Network [OSTI]

    Weber, David J.

    this box, I am indicating that I would like to enter into the parking lottery for a space in the lot(s2 0 1 5 - 2 0 1 6 R E N E W A L F O R M FAYETTE SQUARE PARKING (check only one)PARKING (check only one)PARKING (check only one)PARKING (check only one) By checking this box, I am indicating that I plan

  15. Model Checking for Managers Wil Janssen1

    E-Print Network [OSTI]

    Mauw, Sjouke

    , workloads, critical path, data flow, process type, multistep simulation and in the development of correct systems. Applications range from software controlling storm surge barriers [Kars96 correctness requirements must be done carefully. Model checking is an activity for skilled computer scientists

  16. Statistical Model Checking in Uppaal: Lets Practice

    E-Print Network [OSTI]

    David, Alexandre

    analysis of hybrid systems. It does not suf- fer from decidability issues or state-space explosion compared to tradi- tional model-checking. Furthermore, it is applicable to more powerful formalisms correctness of systems and an analysis technique to study performance. The idea behind SMC is to gener- ate

  17. Current @ January 2012 RENEW CHECKED OUT ITEMS

    E-Print Network [OSTI]

    Wagner, Stephan

    Page 1 Current @ January 2012 RENEW CHECKED OUT ITEMS You may renew you own materials online. All material may be renewed except for materials with reserves and materials on which you owe fines. From (Login required). 4. Click on it. 5. This takes you to a new screen which says: e-Wits Catalogue Login. 6

  18. Dynamic Testing of Check Valves William Rahmeyer

    E-Print Network [OSTI]

    Rahmeyer, William J.

    Utah State University paper presented at the Nuclear Industry Check Valve Group, 1996 Winter Meeting deceleration is calculated from the piping system and flow change due to pump shutdown or closure of a control and Flomatic Valves. #12;2 BACKGROUND In a piping system, the shut down of a pump or the closure of a control

  19. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization for Mendler­Style Course­Of­Value Recursion can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness. For practical

  20. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization for Mendler-Style Course-Of-Value Recursion can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness. For practical

  1. 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-01

    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.

  2. Date______________________________ Enter Web Voucher # _____________________________ NON-STANDARD CHECK PROCESSING SERVICES FORM

    E-Print Network [OSTI]

    Xie, Xiaoliang Sunney

    the standard check service. Please review Check Processing Policy criteria (http://vpf-webDate______________________________ Enter Web Voucher # _____________________________ NON-STANDARD CHECK PROCESSING SERVICES FORM Harvard will issue checks outside the standard check service for non

  3. Pre-resistance-welding resistance check

    DOE Patents [OSTI]

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

    1991-01-01

    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.

  4. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK, For Unescorted Access to

    E-Print Network [OSTI]

    Su, Xiao

    FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK, For Unescorted Access to Radioactive Material of the law and prudent practices, conduct fingerprinting criminal history record checks on current employees an employee's or prospective employee's criminal history and fingerprinting record must be balanced

  5. Master's Thesis Hybrid Statistical Model Checking Technique for

    E-Print Network [OSTI]

    Master's Thesis Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Technique for Reliable Safety Critical Systems #12;Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Advisor : Professor Kim, Moonzoo by Kim, Youngjoo Department of Computer Science

  6. Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended

    E-Print Network [OSTI]

    Langmead, Christopher James

    Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended Abstract Abstract. We present a novel approach for predicting protein folding kinetics using techniques from checking. We tested our method on 19 test proteins. The quantitative predictions regarding folding rates

  7. 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

  8. Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automatatheoretic

    E-Print Network [OSTI]

    Emerson, E. Allen

    ­ current Programming General Terms: Verification, Model Checking, Temporal Logic, Abstraction AdditionalUtilizing Symmetry when Model Checking under Fairness Assumptions: An Automata­theoretic Approach E temporal logic model checking. In previous work it is shown how, using some basic notions of group theory

  9. A Knowledge-Based System for Auditor's Reports Mohamed A. Wahdan, Maastricht School of Management, The Netherlands

    E-Print Network [OSTI]

    Spronck, Pieter

    -Based System for Auditor's Reports Mohamed A. Wahdan, Maastricht School of Management, The Netherlands Pieter corporations are required by law to produce a yearly report on their financial situation. This financial report is accompanied by an auditor's report, which is an independent auditor's opinion on the fairness of the financial

  10. Check Out - Combustion Energy Frontier Research Center

    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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsiclouddenDVA N C E D BGene NetworkNuclear SecurityChattan ooga Eag le For dCheck InFAQ

  11. 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

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

    E-Print Network [OSTI]

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

    2011-01-01

    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...

  13. 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

  14. Check all SCHE Supply Purge Check Valves to Prevent Back Flow from SCHE into Helium Supply

    SciTech Connect (OSTI)

    MISKA, C.R.

    2000-10-23

    These valves are 1/2-inch check valves used to prevent SCHe backflow into the Helium System if pressure in the Helium System drops below the pressure of the control valve downstream of the SCHe supply bottles. (14 psig in trains A and B and 2 psig in trains C and D).

  15. 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

  16. Re-engineering knowledge networks for development

    E-Print Network [OSTI]

    Raghavan, Amrith, 1976-

    2004-01-01

    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 ...

  17. 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

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

    E-Print Network [OSTI]

    Devlin, Patrick M

    2015-01-03

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

  19. 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...

  20. CONTENT KNOWLEDGE (Declarative Knowledge): Students will demonstrate a broad knowledge of fundamental and applied engineering subjects: fluid and solid

    E-Print Network [OSTI]

    Fernandez, Eduardo

    ), students are required to have sound multidisciplinary knowledge of engineering and science subjects' knowledge of engineering and science subjects based on their performance in the senior design courses, formulate, and solve engineering problems by applying knowledge of mathematics, science and engineering

  1. Farmers' knowledge of soils in relation to cropping practices: A case study of farmers in upland rice based slash-and-burn

    E-Print Network [OSTI]

    van Kessel, Chris

    Farmers' knowledge of soils in relation to cropping practices: A case study of farmers in upland Understanding indigenous knowledge of soils has come to be seen as essential in understanding the local in relation to soil quality and cropping practices. Most farmers interviewed distinguished two or more soils

  2. Performance checks with the Alpha Sentry CAM

    SciTech Connect (OSTI)

    Rodgers, J.C.

    1994-08-01

    Before a CAM is put into service, it must be calibrated. The flow meter and detector must be calibrated with an external flow meter to provide accurate flow data, and the detector must be calibrated to produce accurate DPM data. Both flow and DPM data enter into the calculation of the Derived Air Concentration exposure (DAC-hr) by the CAM software. The focus of this report is on methods for checking that the DAC-hr alarm functionality has been properly calibrated and available in installed CAM instruments. The process begins with detector calibration. In order to calibrate the detector, the Alpha Sentry CAM is placed in an off-line calibration mode and detector efficiency calibration is selected. The user is prompted to enter the calibration source DPM and place the source in the CAM head. Upon latching the filter door with the source in place, a count is automatically initiated and completed. From the count data and the user entered DPM data, an efficiency is determined in the Alpha Sentry Manager (ASM) and stored in non-volatile memory in the CAM head electronics. This source is typically a plated {sup 239}Pu or {sup 241}Am source diffused into a stainless steel planchet.

  3. 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

  4. Deep Random Search for Efficient Model Checking of Timed Automata

    E-Print Network [OSTI]

    Grosu, Radu

    Deep Random Search for Efficient Model Checking of Timed Automata R. Grosu1 , X. Huang1 , S}@imag.fr Abstract. We present DRS (Deep Random Search), a new Las Vegas algorithm for model checking safety fringe, which is the starting point of additional deep random walks. The DRS algorithm is complete

  5. Criminal History Check Disclosure Notice and Release Authorization

    E-Print Network [OSTI]

    Escher, Christine

    background information may include, but are not limited to: address history; criminal records and historyCriminal History Check Disclosure Notice and Release Authorization *Please attach a copy of your% for National criminal history checks. Hiring Department Index Number: __________________ Activity Code

  6. Solving the Rehearsal Problem with Planning and with Model Checking

    E-Print Network [OSTI]

    Miller, Alice

    Solving the Rehearsal Problem with Planning and with Model Checking Peter Gregory , Alice Miller. Planning problems have been modelled and solved as constraint satis- faction problems [1­4]. Similarly, model checking problems have been modelled and solved as constraint satisfaction problems [5, 6

  7. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK ANIMAL CARE LAB

    E-Print Network [OSTI]

    Su, Xiao

    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

  8. Predicting Protein Folding Kinetics via Temporal Logic Model Checking

    E-Print Network [OSTI]

    Predicting Protein Folding Kinetics via Temporal Logic Model Checking Christopher James Langmead award from the U.S. Department of Energy. #12;Keywords: protein folding, model checking, temporal logic #12;Abstract We present a novel approach for predicting protein folding kinetics using techniques from

  9. Java Separate Type Checking is not Safe (Extended Abstract)

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Java Separate Type Checking is not Safe (Extended Abstract) Davide Ancona, Giovanni Lagorio,lagorio,zuccag@disi.unige.it Abstract. Java supports separate type-checking in the sense that com- pilation can be invoked on a single in the environment. However, the Java speci#12;cation does not de#12;ne precise rules on how this process should

  10. Analysis of Probabilistic Error Checking Procedures on Storage Systems

    E-Print Network [OSTI]

    Chen, Ing-Ray

    Analysis of Probabilistic Error Checking Procedures on Storage Systems ING-RAY CHEN AND I.-LING YEN Email: irchen@iie.ncku.edu.tw Conventionally, error checking on storage systems is performed on-the-fly (with probability 1) as the storage system is being accessed in order to improve the reliability

  11. 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

  12. 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

  13. 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

  14. Indigenous Knowledges Driving Technological Innovation

    E-Print Network [OSTI]

    Johnson, Jay T.; Hi‘ iaka Working Group

    2011-09-01

    stewardship of the dominant culture often do not mesh well with the indigenous [sic] knowledge and values of a native community. —Eric Riggs, “Field-based Education and Indigenous Knowledge” In February 2011 a National Science Foundation–funded workshop... The Hi‘iaka Working Group, the workshop attendees, and co-authors are Lilian Alessa, Carlos Andrade, Phil Cash Cash, Christian P. Giardina, Matt Hamabata, Craig Hammer, Kai Henifin, Lee Joachim, Jay T. Johnson, Kekuhi Kealiikanakaoleohaililani, Deanna...

  15. Exact Non-identity check is NQP-complete

    E-Print Network [OSTI]

    Yu Tanaka

    2009-03-04

    We define a problem "exact non-identity check": Given a classical description of a quantum circuit with an ancilla system, determine whether it is strictly equivalent to the identity or not. We show that this problem is NQP-complete. In a sense of the strict equivalence condition, this problem is different from a QMA-complete problem, non-identity check defined by D. Janzing etc. As corollaries, it is derived that exact equivalence check is also NQP-complete and that it is hard to minimize quantum resources of a given quantum gate array without changing an implemented unitary operation.

  16. 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

  17. High-Speed Computation of Cyclic Redundancy Checks

    E-Print Network [OSTI]

    Johnson, Eric E.

    and Computer Engineering New Mexico State University November 1995 Abstract Cyclic redundancy checks (CRCs) are widely used in error-prone channels to detect corruption of data blocks. This report describes

  18. Checking Your Car's 4000 Welds is Serious Business. Scientists...

    Energy Savers [EERE]

    Business. Scientists Just Made it Easier. March 4, 2015 - 10:45am Addthis Robotic welding is vital to auto manufacturing, but double checking the welds is done by hand....

  19. Terms & Conditions UC San Diego Check Inn 2015

    E-Print Network [OSTI]

    California at San Diego, University of

    ; these documents will be accessible online once your reservation has been confirmed. ELIGIBILITY Check Inn is only to educational institutions we are unable to house individuals who are visiting for vacation or tourism reasons

  20. Probabilistic Model Checking of the PDGF Signaling Pathway

    E-Print Network [OSTI]

    Mauw, Sjouke

    approach [7, 8], first introduced by Hart, An extended abstract appears in the proceedings of CompMod 2011 and communication protocols. In probabilistic (or stochastic) model checking, systems are normally represented

  1. Fast Directed Model Checking via Russian Doll Abstraction

    E-Print Network [OSTI]

    Hoffmann, Jörg -FR 6.2

    Fast Directed Model Checking via Russian Doll Abstraction Sebastian Kupferschmid1 , J¨org Hoffmann2 on a kind of Russian Doll principle, where the heuristic for a given problem arises through using UPPAAL

  2. A Vectorless Framework for Power Grid Electromigration Checking

    E-Print Network [OSTI]

    Najm, Farid N.

    A Vectorless Framework for Power Grid Electromigration Checking Mohammad Fawaz Department of ECE, instead of the traditional series model. Keywords Power grid, Electromigration, Verification, Redundancy, Opti- mization 1. INTRODUCTION Power grid verification has become an essential step in modern

  3. Model checking infinite-state systems: generic and specific approaches 

    E-Print Network [OSTI]

    To, Anthony Widjaja

    2010-01-01

    Model checking is a fully-automatic formal verification method that has been extremely successful in validating and verifying safety-critical systems in the past three decades. In the past fifteen years, there has been ...

  4. 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 ___________________________________ 12 7. Emissions of Individual Vehicles Vary from Test to Test ________ 15 8. Total Emissions

  5. Certification of Taxpayer Identification Number for Individuals Please check one

    E-Print Network [OSTI]

    Zallen, Richard

    Substitute Form W-9 Certification of Taxpayer Identification Number for Individuals Please check: ________________________ Middle: _____________________ Last: _______________________________ 2. U.S. taxpayer identification statements are true, correct, and complete and that: 1. The number shown on this form is my correct taxpayer

  6. Region Type Checking for Core-Java

    E-Print Network [OSTI]

    Chin, Wei Ngan

    Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept of regions was first ...

  7. City Knowledge Patterns: A Standard for Smart City Knowledge Management

    E-Print Network [OSTI]

    Fox, Mark S.

    City Knowledge Patterns: A Standard for Smart City Knowledge Management by Nooshin Allahyari Allahyar #12;! ! ! ! ii! ! City Knowledge Patterns: A Standard for Smart City Knowledge Management Nooshin......................................................................................................... 21 ! 3 City Knowledge Pattern

  8. 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

  9. 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

  10. 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

  11. Knowledge Media Institute Scholarly Discourse

    E-Print Network [OSTI]

    and implementation of a knowledge based hypertext environment called ScholOnto (for Scholarly Ontologies), which aims claims, argumentation and perspectives. A specialised web server will provide a medium for researchers to contest the significance of concepts and emergent structures. In so doing, participants construct

  12. Knowledge representations for sensemaking

    E-Print Network [OSTI]

    Nguyen, Hong-Linh Q

    2012-01-01

    I discuss the lessons learned during the design and implementation of three knowledge representations systems for sensemaking. The focus is on the tension that exists between a knowledge representation's role as a surrogate ...

  13. 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

  14. 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-01

    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)

  15. Time and Encoding Effects in the Concealed Knowledge Test

    E-Print Network [OSTI]

    Seymour, Travis L.; Fraynt, Becky R.

    2009-01-01

    The case for polygraph tests. In D. L. Faigman, D. H. Kaye,based guilty knowledge test. International Journal ofcountermeasures to P300-based tests of detection of

  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. Summary of tests made to check conformity of prototype PAM's, readers and chargers with specifications

    E-Print Network [OSTI]

    Moy, B; Stevenson, G R

    1975-01-01

    Summary of tests made to check conformity of prototype PAM's, readers and chargers with specifications

  18. Review: Knowledge and Environmental Policy

    E-Print Network [OSTI]

    Little, Peter C.

    2012-01-01

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

  19. 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

  20. Applying knowledge to reverse engineering problems Robert B. Fisher

    E-Print Network [OSTI]

    Fisher, Bob

    made at Edinburgh University based on projects that apply domain knowledge of standard shapes exploring `knowledge- based' techniques to help overcome these and other problems. The underlying theme follow standard conventions arising from tradition, utility or engineering design. This is a "knowledge

  1. Recording Scientific Knowledge

    SciTech Connect (OSTI)

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

    2006-01-09

    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.

  2. Combining Symbolic Execution and Model Checking for Data Flow Testing

    E-Print Network [OSTI]

    Su, Zhendong

    . Dynamic Symbolic Execution [14], [15] (DSE) is a widely accepted and effective approach for automatic testCombining Symbolic Execution and Model Checking for Data Flow Testing Ting Su Zhoulai Fu Geguang Pu@cs.ucdavis.edu Abstract--Data flow testing (DFT) focuses on the flow of data through a program. Despite its higher fault

  3. THE UNIVERSITY OF MISSISSIPPI POLICY ON BACKGROUND CHECKS

    E-Print Network [OSTI]

    Tchumper, Gregory S.

    employment such as arrests, expunged or sealed records. Applicants with a criminal history Credit Reporting Act (FCRA) mandates types of records that cannot be used to automatically deny check process. Human Resources contracts with an outside agency in executing the criminal, credit

  4. 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

  5. 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

  6. 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

  7. Curriculum Model Checking: Declarative Representation and Verification of Properties

    E-Print Network [OSTI]

    Torino, Università di

    Curriculum Model Checking: Declarative Representation and Verification of Properties Matteo Baldoni-10149 Torino (Italy) baldoni@di.unito.it,elisa.mrng@gmail.com Abstract. When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user

  8. 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

  9. Oracle Circuits for Branching-Time Model Checking

    E-Print Network [OSTI]

    Doyen, Laurent

    is at least exponen- tially more succinct than its pure-future fragment [LMS02b]. 2 There is a similar model checking problem [LMS01,LMS02a]. However, for some remaining logics, the techniques used in [LMS01,LMS02a] for proving p 2-hardness do not apply. The difficulty here is that, if these prob- lems

  10. Dynamic Delayed Duplicate Detection for External Memory Model Checking

    E-Print Network [OSTI]

    Evangelista, Sami

    is a method to prove that finite state systems match their spec- ification. Given a model of the system space, of the system to check the validity of the property. Despite its simplicity, its practical to benefit from the aggregate computational power and memory of a cluster of machines, or make use

  11. MEMS design rule checking: a batch approach for remote operation

    SciTech Connect (OSTI)

    Yarberry, V.R.

    1998-01-01

    This paper describes a design rule checking (DRC) tool developed as an aid for designing microelectromechanical structures (MEMS) using AutoCAD running on a Windows NT workstation. The application suite, MEMSdrc, consists of: a graphical user interface integrated into AutoCAD to invoke DRC, translation and interface software to communicate with a commercial IC layout design checking software package, and routines to interactively display and review the results. The user interface provides the capability to select a checking window area and specific DRC rules to be applied to the design. The MEMS structures, defined as 2D AutoCAD geometry are translated first into DXF format, then to GDSII format. A remote process transfers the files to a Unix workstation where Mentor Graphics ICverify is invoked to perform the layout design rule checks. Upon completion, the results are translated into DXF geometry and returned back to the Windows NT workstation to be overlaid onto the original design. A set of icons are provided for the user to interactively review the results inside of AutoCAD using a first/next/previous technique.

  12. Efficient Integrity Checking for Databases with Recursive Views

    E-Print Network [OSTI]

    Martinenghi, Davide

    Efficient Integrity Checking for Databases with Recursive Views Davide Martinenghi and Henning Christiansen Roskilde University, Computer Science Dept. P.O.Box 260, DK-4000 Roskilde, Denmark E-mail: {dm,henning-finding problems, such as network routing and travel planning. The introduction of re- cursion (since 1999

  13. 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

  14. Model checking LTL over controllable linear systems is decidable

    E-Print Network [OSTI]

    Pappas, George J.

    Model checking LTL over controllable linear systems is decidable Paulo Tabuada and George J. Pappas Department of Electrical and Systems Engineering University of Pennsylvania Philadelphia, PA 19104 {tabuadap,pappasg}@seas.upenn.edu Abstract. The use of algorithmic verification and synthesis tools for hy- brid systems is currently limited

  15. Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems

    E-Print Network [OSTI]

    @cs.kaist.ac.kr Abstract--Reliability of safety critical systems such as nuclear power plants and automobiles has become1 Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Youngjoo Kim a significant issue to our society. As more computing systems are utilized in these safety critical systems

  16. Statistical Model Checking for Networks of Priced Timed Automata

    E-Print Network [OSTI]

    David, Alexandre

    Statistical Model Checking for Networks of Priced Timed Automata Alexandre David1 , Kim G. Larsen1- and cost-bounded properties. A second contribution of the paper is the application of Statistical Model-time and hybrid systems with quantitative constraints on time, energy or more general continuous aspects [1

  17. Algorithms for first-order model checking Daniel Kral' (Warwick)

    E-Print Network [OSTI]

    Banaji,. Murad

    Algorithms for first-order model checking Daniel Kral' (Warwick) Meta-algorithms for deciding time algorithm of Frick and Grohe which applies to graphs with locally bounded tree- width. In this talk, we first survey commonly applied techniques to design FPT algorithms for FO properties. We

  18. 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

  19. Redundancy-Aware Electromigration Checking for Mesh Power Grids

    E-Print Network [OSTI]

    Najm, Farid N.

    Redundancy-Aware Electromigration Checking for Mesh Power Grids Sandeep Chatterjee ECE Department-emerging as a significant problem in modern integrated circuits (IC). Especially in power grids, due to shrinking wire the reliability of the grid by considering it entirely as a series system. However, a power grid with its many

  20. Laboratory Personnel Safety Check List Employee/Student Name_________________________________ Date_______________

    E-Print Network [OSTI]

    Rubloff, Gary W.

    Laboratory Personnel Safety Check List Employee/Student Name_________________________________ Date in the laboratory? 2. _______ Has the PI/Lab Supervisor discussed all hazardous components of the research? a in the laboratory? 4. _______ Has the PI/Lab Supervisor discussed the need for the employee/student to inform health

  1. 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

  2. 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

  3. Model-Checking One-Clock Priced Timed Automata

    E-Print Network [OSTI]

    Doyen, Laurent

    Model-Checking One-Clock Priced Timed Automata Patricia Bouyer1 , Kim G. Larsen2 , and Nicolas, Denmark kgl@cs.aau.dk Abstract. We consider the model of priced (a.k.a. weighted) timed au- tomata, 18, 7]. In particu- lar, as part of this effort, the notion of priced (or weighted) timed automata [4

  4. ModelChecking OneClock Priced Timed Automata

    E-Print Network [OSTI]

    Doyen, Laurent

    Model­Checking One­Clock Priced Timed Automata Patricia Bouyer 1# , Kim G. Larsen 2## , and Nicolas, Denmark kgl@cs.aau.dk Abstract. We consider the model of priced (a.k.a. weighted) timed au­ tomata, 18, 7]. In particu­ lar, as part of this e#ort, the notion of priced (or weighted) timed automata [4

  5. Shape Analysis through Predicate Abstraction and Model Checking

    E-Print Network [OSTI]

    Namjoshi, Kedar

    Shape Analysis through Predicate Abstraction and Model Checking Dennis Dams and Kedar S. Namjoshi framework with the analysis of some "classical" list manipulation programs, using our implementa- tion on a "classical" list reversal program. A detailed de- scription of the experiments, including input and result

  6. 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

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

    E-Print Network [OSTI]

    B. Feuerbacher

    2003-09-04

    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.

  8. Private Client Services A PERSONAL INSURANCE CHECK-UP

    E-Print Network [OSTI]

    Emmons, Scott

    Private Client Services A PERSONAL INSURANCE CHECK-UP FOR YOU AND YOUR FAMILY You've worked hard management services. PROTECTING YOUR FUTURE Identifying a need before it becomes a problem is key. Working-for-profit organizations? #12;Marsh is one of the Marsh & McLennan Companies, together with Guy Carpenter, Mercer

  9. 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

  10. PILOT'S HANDBOOK Aeronautical Knowledge

    E-Print Network [OSTI]

    #12;PILOT'S HANDBOOK of Aeronautical Knowledge 2003 U.S. DEPARTMENT OF TRANSPORTATION FEDERAL Matter.qxd 10/28/03 6:13 AM Page ii #12;iii PREFACE The Pilot's Handbook of Aeronautical Knowledge certification are presented. This handbook is useful to beginning pilots, as well as those pursuing more

  11. Removable check valve for use in a nuclear reactor

    DOE Patents [OSTI]

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

    1988-01-01

    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.

  12. Non-trivial checks of novel consistency relations

    SciTech Connect (OSTI)

    Berezhiani, Lasha; Khoury, Justin; Wang, Junpu E-mail: jkhoury@sas.upenn.edu

    2014-06-01

    Single-field perturbations satisfy an infinite number of consistency relations constraining the squeezed limit of correlation functions at each order in the soft momentum. These can be understood as Ward identities for an infinite set of residual global symmetries, or equivalently as Slavnov-Taylor identities for spatial diffeomorphisms. In this paper, we perform a number of novel, non-trivial checks of the identities in the context of single field inflationary models with arbitrary sound speed. We focus for concreteness on identities involving 3-point functions with a soft external mode, and consider all possible scalar and tensor combinations for the hard-momentum modes. In all these cases, we check the consistency relations up to and including cubic order in the soft momentum. For this purpose, we compute for the first time the 3-point functions involving 2 scalars and 1 tensor, as well as 2 tensors and 1 scalar, for arbitrary sound speed.

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

    E-Print Network [OSTI]

    Anoymous,

    1984-01-01

    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 Patterned Fabrics Amount of Fabric Needed... Fabric Preparation Pattern Placement For a Pleasi ng Effect For Matching Assembling the Garment Fabric Care References 3 4 4 5 5 5 6 7 7 7 7 7 9 10 10 11 PATTERNED FABRIC KNOW-HOW (Plaids, Stripes, Checks and Figured Designs...

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

    E-Print Network [OSTI]

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

    2005-01-01

    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, ...

  15. "I'd Like to Check Out Two Books, One DVD, and One Electrical...

    Energy Savers [EERE]

    "I'd Like to Check Out Two Books, One DVD, and One Electrical Meter, Please." "I'd Like to Check Out Two Books, One DVD, and One Electrical Meter, Please." December 8, 2009 -...

  16. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

    E-Print Network [OSTI]

    : Formal Verification, Abstraction, Model Checking, Hybrid Systems, Refinement, Counterexamples #12Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems Edmund Clarke a counterexample generated by the model checker. For hybrid systems, analysis of the counterexample requires

  17. 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

  18. 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

  19. IKRAFT: Interactive Knowledge Representation and Acquisition From Text

    E-Print Network [OSTI]

    Gil, Yolanda

    of formality and specificity how each piece of knowledge in the system was derived from original sources, which are often Web sources. If a knowledge base contains a trace of information about how each piece of knowledge portions of those sources. These connections are initially very high level and informal, and our ultimate

  20. 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

  1. 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

  2. Academic Handbook, Registration, Criminal Records Check (VSS) Page 1 Issued: 2011 12

    E-Print Network [OSTI]

    Lennard, William N.

    Academic Handbook, Registration, Criminal Records Check (VSS) Page 1 Issued: 2011 12 Criminal not require a Criminal Records Check or other screening procedure (e.g., Vulnerable Sector Screen {VSS should be aware that a criminal records check or VSS may be required by other facilities used

  3. Quantum algorithms to check Resiliency, Symmetry and Linearity of a Boolean function

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Quantum algorithms to check Resiliency, Symmetry and Linearity of a Boolean function Kaushik algorithms to check the order of resiliency, symmetry and linearity of a Boolean function that is available be exploited to check whether a Boolean function is symmetric (respectively linear) or not. Given a Boolean

  4. By April 15 Submit Abstract (electronically) Abstract Payment Form (with $35 check or credit card)

    E-Print Network [OSTI]

    Gadsby, David

    DEADLINES By April 15 Submit Abstract (electronically) Abstract Payment Form (with $35 check Rental Form (with check or credit card) Submit Late Abstract and Form (with $35 check or credit card.sgpweb.org For overnight delivery: Society of General Physiologists 35 Cumloden Drive Falmouth, MA 02540 #12;

  5. Review: Knowledge and Environmental Policy

    E-Print Network [OSTI]

    Little, Peter C.

    2012-01-01

    of environmental policy, environmental studies, politicalReview: Knowledge and Environmental Policy: Re-Imagining theRobert. Knowledge and Environmental Policy: Re-Imagining the

  6. Truth & Knowledge in Logic & Mathematics

    E-Print Network [OSTI]

    Sher, G

    2012-01-01

    In The princi- ples of mathematics (2nd ed. , pp. v—xiv).Knowledge in Logic 85 Mathematics Gila Sher Abstract In thistruth, knowledge, logic, mathematics, composite reference,

  7. Optimizing ZigBee Security using Stochastic Model Checking

    E-Print Network [OSTI]

    Yüksel, Ender; Nielson, Flemming; Fruth, Matthias; Kwiatkowska, Marta

    2012-01-01

    ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concern to ZigBee, and enhancements are prescribed in the latest ZigBee specication: ZigBee-2007. In this technical report, we identify an important gap in the specification on key updates, and present a methodology for determining optimal key update policies and security parameters. We exploit the stochastic model checking approach using the probabilistic model checker PRISM, and assess the security needs for realistic application scenarios.

  8. 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-01

    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.

  9. Check In & Registration - Combustion Energy Frontier Research Center

    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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsiclouddenDVA N C E D BGene NetworkNuclear SecurityChattan ooga Eag le For dCheck In

  10. Introduction Mapping knowledge domains

    E-Print Network [OSTI]

    Börner, Katy

    changes such as speed of growth and diversi- fication; highlight economic factors in information Department and School of Library and Information Science, Indiana University, Bloomington, IN 47405 The term that we have forgotten how recent is the change to computerized knowledge retrieval with search engines

  11. Check of AGT Relation for Conformal Blocks on Sphere

    E-Print Network [OSTI]

    V. Alba; And. Morozov

    2010-06-15

    The AGT conjecture identifying conformal blocks with the Nekrasov functions is investigated for the spherical conformal blocks with more than 4 external legs. The diagram technique which arises in conformal block calculation involves propagators and vertices. We evaluated vertices with two Virasoro algebra descendants and explicitly checked the AGT relation up to the third order of the expansion for the 5-point and 6-point conformal blocks on sphere confirming all the predictions of arXiv:0906.3219 relevant in this situation. We propose that U(1)-factor can be extracted from the matrix elements of the free field Vertex operators. We studied the n-point case, and found out that our results confirm the AGT conjecture up to the third order expansions.

  12. 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-01

    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, ...

  13. 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

  14. Advancing the Hydrogen Safety Knowledge Base

    SciTech Connect (OSTI)

    Weiner, Steven C.

    2014-12-01

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

  15. DBS eligibility guidance v2.1 October 2013 -1 -A guide to eligibility for criminal record checks

    E-Print Network [OSTI]

    Harman, Neal.A.

    . The DBS will be removing certain specified old and minor offences from criminal record certificates issued Act 1997 (Criminal Records) Regulations. Enhanced checks with children's and/or adult's barred list check(s) ­ To be eligible to request a check of the children's or adult's barred lists, the position

  16. 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

  17. Velo: Knowledge and Tool

    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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effectWorking WithTelecentricN A County road 39NewsDepartmentVelo: Knowledge and

  18. Casting out nines is a method for checking the accuracy of arithmetic ...

    E-Print Network [OSTI]

    Roames, Renee S

    2015-08-19

    Math 13700. Casting out Nines. Assignment #34. Casting out nines is a method for checking the accuracy of arithmetic. You can cast out nines by adding the ...

  19. Failure Modes and Causes for Swing and Lift Type Check Valves

    Office of Scientific and Technical Information (OSTI)

    Group (NIC), ORNL has reviewed and analyzed check valve failures from the Institute of Nuclear Power Operations' (INPOs') Nuclear Plant Reliability Database System (NPRDS)...

  20. Failure Modes and Causes for Swing and Lift Type Check Valves...

    Office of Scientific and Technical Information (OSTI)

    to the recent work performed by Oak Ridge National Laboratory (ORNL)relative to nuclear industry check valve performance, no information was readily available regarding the...

  1. A Computational Model of Knowledge-Intensive Learning and Problem Solving1

    E-Print Network [OSTI]

    Aamodt, Agnar

    1 A Computational Model of Knowledge-Intensive Learning and Problem Solving1 Agnar Aamodt Knowledge. If knowledge-based systems are to become more competent and robust in solving real world problems, they need model - a framework -for knowledge-intensive problem solving and learning from experience. The model has

  2. 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-01

    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.

  3. Making Automated Building Code Checking A Reality1 Charles S. Han, John Kunz, Kincho H. Law

    E-Print Network [OSTI]

    Stanford University

    Making Automated Building Code Checking A Reality1 Charles S. Han, John Kunz, Kincho H. Law Center for automated code-checking to be successful, the program that does the analysis of a building design must set of building codes. The complexity and changing nature of codes leads to delays in both the design

  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. 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

  6. Abstraction and CounterexampleGuided Refinement in Model Checking of Hybrid Systems

    E-Print Network [OSTI]

    : Formal Verification, Abstraction, Model Checking, Hybrid Systems, Refinement, Counterexamples #12; 1Abstraction and Counterexample­Guided Refinement in Model Checking of Hybrid Systems Edmund Clarke a counterexample generated by the model checker. For hybrid systems, analysis of the counterexample requires

  7. 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

  8. University of Washington | Human Resources | UTemp Staffing Program REFERENCE CHECKING CONSENT AND AUTHORIZATION FORM

    E-Print Network [OSTI]

    Matrajt, Graciela

    University of Washington | Human Resources | UTemp Staffing Program REFERENCE CHECKING CONSENT of Washington and have provided information about my previous employment. I authorize the University of Washington to conduct a reference check with my present and/or previous employer(s). I understand

  9. Attend VCS resume review sessions in RTH Check Viterbi graduate student blog for

    E-Print Network [OSTI]

    Zhou, Chongwu

    PhD Attend VCS resume review sessions in RTH 218 Check Viterbi graduate student blog for Ph con- nectSC and Company websites in fall Attend VCS Workshops Check Viterbi graduate student blog Viterbi graduate student blog at http://gappblog.usc.edu/ Attend Company Information Sessions (Employer

  10. Check list for introduction of new employees at the Department of Plant Protection Biology, SLU, Alnarp.

    E-Print Network [OSTI]

    Check list for introduction of new employees at the Department of Plant Protection Biology, SLU........................ .. ...................................................... 1. Routines and rules for insect and plant cultivation 2. Washing up routines 3. Ordering routines/supervisor............................................................................................. Check list for employee leaving the department Head

  11. 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

  12. MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and

    E-Print Network [OSTI]

    Czarnecki, Krzysztof

    MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers Edward present a method and an associated system, called Math- Check, that embeds the functionality of a computer algebra system (CAS) within the inner loop of a conflict-driven clause-learning SAT solver. SAT

  13. Context-Bounded Model Checking of LTL Properties for ANSI-C Software

    E-Print Network [OSTI]

    Context-Bounded Model Checking of LTL Properties for ANSI-C Software Jeremy Morse1 , Lucas Cordeiro in low-level programming languages like ANSI- C. In this paper, we describe and experiment such as ANSI-C [9, 23, 17]. In context-bounded model checking, the state spaces of such applications

  14. A Tool for Checking ANSI-C Programs Edmund Clarke, Daniel Kroening, and Flavio Lerda

    E-Print Network [OSTI]

    Clarke, Edmund M.

    A Tool for Checking ANSI-C Programs Edmund Clarke, Daniel Kroening, and Flavio Lerda Carnegie Mellon University Abstract. We present a tool for the formal verification of ANSI-C pro- grams using Bounded Model Checking (BMC). The emphasis is on us- ability: the tool supports almost all ANSI-C language

  15. A Nursery and Greenhouse Online Knowledge Center: Learning Opportunities

    E-Print Network [OSTI]

    Virginia Tech

    A Nursery and Greenhouse Online Knowledge Center: Learning Opportunities for Sustainable Practice and greenhouse operations. This is particularly important because these production facilities are typically and greenhouse industry. A web-based knowledge center provides the most cost-effective mechanism for information

  16. CS322 Fall 1999 Module 7 (Knowledge Representation Issues)

    E-Print Network [OSTI]

    Poole, David

    CS322 Fall 1999 Module 7 (Knowledge Representation Issues) Assignment 7 Solution. The aim. Consider the knowledge base: limit(Id,Year,Limit) 1999,david,cicsr208,120). course(cs322,1998,craig,cicsr208,100). course(cs327,1999,jim,cicsr202,50). (a) Give

  17. WIKIPEDIA AS DOMAIN KNOWLEDGE NETWORKS: Domain Extraction and Statistical Measurement

    E-Print Network [OSTI]

    Liu, Benyuan

    networks on, respectively, mathematics, physics, biology, and chemistry. We compare the mathematics domain, has developed and evolved rapidly into the most comprehensive online encyclopedia. While people enjoy of the target knowledge network with a trusted knowledge source, such as paper-based encyclopedia. Restricted

  18. Revising Knowledge in Multi-Agent System Using Preferences

    E-Print Network [OSTI]

    Pivkina, Inna

    Introduction Multi-Agents Systems (MAS) require coordination mechanisms to facilitate dynamic collaboration way of encoding policies for the integration of agent-generated knowledge (e.g., in a mediator) family of revisions. Each revision represents an updated version of the origi- nal knowledge base

  19. Applying knowledge to reverse engineering problems Robert B. Fisher

    E-Print Network [OSTI]

    Fisher, Bob

    University on applying domain knowledge of standard shapes and relationships to solve or improve reverse engi `knowledge-based' techniques to help overcome these and other problems. The underlying theme behind this set follow standard conventions arising from tradition or utility. We argue that exploiting this extra

  20. SU-E-T-357: Semi-Automated Knowledge-Based Radiation Therapy (KBRT) Planning for Head-And-Neck Cancer (HNC): Can KBRT Plans Achieve Better Results Than Manual Planning?

    SciTech Connect (OSTI)

    Lutzky, C; Grzetic, S; Lo, J; Das, S

    2014-06-01

    Purpose: Knowledge Based Radiation Therapy Treatment (KBRT) planning can be used to semi-automatically generate IMRT plans for new patients using constraints derived from previously manually-planned, geometrically similar patients. We investigate whether KBRT plans can achieve greater dose sparing than manual plans using optimized, organspecific constraint weighting factors. Methods: KBRT planning of HNC radiotherapy cases geometrically matched each new (query) case to one of the 105 clinically approved plans in our database. The dose distribution of the planned match was morphed to fit the querys geometry. Dose-volume constraints extracted from the morphed dose distribution were used to run the IMRT optimization with no user input. In the first version, all constraints were multiplied by a weighting factor of 0.7. The weighting factors were then systematically optimized (in order of OARs with increasing separation from the target) to maximize sparing to each OAR without compromising other OARs. The optimized, second version plans were compared against the first version plans and the clinically approved plans for 45 unilateral/bilateral target cases using the dose metrics: mean, median and maximum (brainstem and cord) doses. Results: Compared to the first version, the second version significantly reduced mean/median contralateral parotid doses (>2Gy) for bilateral cases. Other changes between the two versions were not clinically meaningful. Compared to the original clinical plans, both bilateral and unilateral plans in the second version had lower average dose metrics for 5 of the 6 OARs. Compared to the original plans, the second version achieved dose sparing that was at least as good for all OARs and better for the ipsilateral parotid (bilateral) and oral cavity (bilateral/unilateral). Differences in planning target volume coverage metrics were not clinically significant. Conclusion: HNC-KBRT planning generated IMRT plans with at least equivalent dose sparing to manually generated plans; greater dose sparing was achieved in selected OARs.

  1. A New Model for the Organizational Knowledge Life Cycle

    E-Print Network [OSTI]

    Luigi Lella; Ignazio Licata

    2007-05-08

    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.

  2. A New Model for the Organizational Knowledge Life Cycle

    E-Print Network [OSTI]

    Lella, Luigi

    2010-01-01

    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.

  3. 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

  4. Review: Knowledge and Environmental Policy

    E-Print Network [OSTI]

    Little, Peter C.

    2012-01-01

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

  5. 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

  6. 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

  7. Instant HR January 9, 2008 TOPIC: Compliance Issues -Sign Up Now for New Background Check and I-9 Training

    E-Print Network [OSTI]

    Hammack, Richard

    you need to follow for criminal records background checks and to become familiar with the federal I-9 using HireRight, the new on-line system for requesting criminal history background checks on all new

  8. Polar Shear Lag Analysis of a Composite of Concentric Cylinders with Longitudinal Cracks: Application to Internal Checking in Wood

    E-Print Network [OSTI]

    Nairn, John A.

    : Application to Internal Checking in Wood J.A.Nairn Wood Science and Engineering, Oregon State University the existence of internal checks lowers the value of the wood when it is milled into lumber (due to detrimental

  9. Design and Testing of Vacuum Breaker Check Valve for Simplified Boiling Water Reactor

    SciTech Connect (OSTI)

    Ishii, M.; Xu, Y.; Revankar, S.T.

    2002-07-01

    A new design of the vacuum breaker check valve was developed to replace the mechanical valve in a simplified boiling water reactor. Scaling and design calculations were performed to obtain the geometry of new passive hydraulic vacuum breaker check valve. In order to check the valve performance, a RELAP5 model of the simplified boiling water reactor system with the new valve was developed. The valve was implemented in an integral facility, PUMA and was tested for large break loss of coolant accident. (authors)

  10. 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

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

    E-Print Network [OSTI]

    Eaton, Craig M.

    2006-12-15

    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...

  12. Knowledge Discovery Overview Brian Worley

    E-Print Network [OSTI]

    Wang, Xiaorui "Ray"

    NIGHT DAY #12;ORNL Is Committed to the Knowledge Discovery Agenda · Entire Research Division Focused-aligned with this science agenda NIGHT DAY #12;Knowledge Discovery Challenge: Orchestrating a discovery process across data") VERDE Electric Grid Status (Real-Time Grid Awareness) Reference by URL Contributed content Reputation

  13. Model Checking FTA A. Thums and G. Schellhorn

    E-Print Network [OSTI]

    Reif, Wolfgang

    , that it is based on informal grounds, so safety flaws may be overlooked. This is an issue, where formal proofs can for software based, critical systems like aerospace, nuclear power plants, transportation, and medical control level hazards to failures of components, called (failure) events. The events are connected through gates

  14. Checking and Debugging of Two-level Sadegh SAIDI and Jean-Francois BOULICAUT

    E-Print Network [OSTI]

    Boulicaut, Jean-François

    Checking and Debugging of Two-level Grammars Sadegh SAIDI and Jean-Francois BOULICAUT Ecole Centrale de Lyon D6partement Math6matiques-Informatique-Syst~mes BP 163 F-69131 Ecully cedex e-mail : saidi

  15. ErikaCheck,Washington Scientists at a military medical facility in

    E-Print Network [OSTI]

    ErikaCheck,Washington Scientists at a military medical facility in Washington DC have lashed out on the campus of the Walter Reed Army Medical Center and at several smaller facilities in the Washington area

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

    E-Print Network [OSTI]

    Prabhakar, Abhiram

    2001-01-01

    The bipartite graph of an LDPC code is typically constructed at random. The memory required to store the randomly constructed parity-check matrix at the decoder can be prohibitive in some applications. When a system has a ...

  17. IJCAI-99 Workshop ML-5: Automating the Construction of Case-Based Reasoners, Stockholm 1999, S.S. Anand, A. Aamodt, D.W. Aha (eds.). pp 77-82 Learning Retrieval Knowledge from Data

    E-Print Network [OSTI]

    Aamodt, Agnar

    domain knowledge. In this paper we present a way to automate the construction and dynamical refinement approaches to this integration, within the domain of petroleum engineering ­ more specifically oil well drilling - in cooperation with the Norwegian oil company Saga. Some initial results are described

  18. SU-E-T-631: Commissioning and Comprehensive Evaluation of the ArcCHECK Cylindrical Diode Array for VMAT QA

    SciTech Connect (OSTI)

    Chaswal, V; Weldon, M; Gupta, N; Rong, Y

    2014-06-15

    Purpose: Commissioning and comprehensive evaluation of ArcCHECK phantom for dosimetry of VMAT QA, using 6MV photon beam with and without the flattening filter. Methods: ArcCHECK was evaluated for response dependency on linac dose rate, instantaneous dose rate, radiation field size, beam angle and couch insertion. Scatter dose characterization, consistency and symmetry of response, dosimetric accuracy of fixed aperture arcs and clinical VMAT plans were investigated. Measurements were done using TrueBeam™ STx accelerator (Console version 1.6) with a 6 MV beam with and without flattening filter. Reference dose-grids were calculated using Eclipse TPS Analytical Anisotropic Algorithm (AAA version 10.0.39). Planned doses were calculated using symmetric 2mm 3D dose grids with 4 degree angular resolution defaulted to each control point. Gamma evaluations were performed in absolute dose mode, with default normalization to maximum dose in the curved plane and a low dose threshold of 10% to restrict the analysis to clinically relevant areas. Global and local gamma indices at 3mm/3% and 2mm/2% level were computed using SNC software (version 6.0). Results: Results of gamma analysis demonstrated an overall agreement between ArcCHECK measured and TPS calculated reference doses. Field size dependency was within 0.5% of the reference. Dose-rate based dependency was well within 1% of the TPS reference and the angular dependency was ±3% of the reference, as tested for BEV angles. At the level of 3%/3mm, narrow and wide open arcs as well as clinical VMAT cases demonstrated high level of dosimetry accuracy in global gamma passing rates for both 6X and 6F beams. At the level of 2%/2mm two VMAT cases involving the narrow heavily modulated arcs demonstrated lower passing rates. Conclusion: ArcCHECK phantom with latest software and hardware upgrades is suitable for VMAT QA. For higher sensitivity of 2%/2mm gamma analysis, we intend to use it as one of the VMAT QA evaluation metrics.

  19. 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...

  20. Static Contract Checking for Haskell University of Cambridge

    E-Print Network [OSTI]

    Xu, Dana N.

    verification techniques have been applied to imperative and object­oriented languages, like Java and C describe a sound and automatic static verification framework for Haskell, that is based on contracts for functional languages [38, 12, 21, 20, 16]. In this paper, we present a sound and automatic method for static

  1. A Knowledge Engineering Method for New Product Development

    E-Print Network [OSTI]

    Perry, Nicolas; 10.3166/jds.19.117-133

    2012-01-01

    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.

  2. 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

  3. Managing Knowledge in a High Tech Company: Knowledge Sharing about Information Systems

    E-Print Network [OSTI]

    Danziger, Jim; Hull, Suzanne M.

    2000-01-01

    Managing Knowledge in a High Tech Company: Knowledge SharingMANAGING KNOWLEDGE IN A HIGH TECH COMPANY: KNOWLEDGE SHARINGend users in a large, high-tech company. There is widespread

  4. Checking the Reliability of a Linear-Programming based Approach towards

    E-Print Network [OSTI]

    Chen, Bill

    for single edge deletion and insertion, it was proposed in [7] to introduce a one-parameter family LPG an edge. It was shown that, for all large values of s, the LP problem LPG(s) has a unique solution that: The smallest value s = s (G) among all s 1 for which the corresponding problem LPG(s ) 2 #12;has, at least

  5. State-based Coverage Analysis and UML-driven Equivalence Checking for C++ State Machines

    E-Print Network [OSTI]

    Ould Ahmedou, Mohameden

    which states have been covered by unit, system and integration tests. Furthermore, the approach provides Introduction In the area of safety-critical hardware-depended software (SCHDS) like automation and engine controllers, avionics or medical devices, it is necessary to follow heavy-weight development processes (HWP

  6. PVSAT-2: INTELLIGENT PERFORMANCE CHECK OF PV SYSTEM OPERATION BASED ON SATELLITE DATA

    E-Print Network [OSTI]

    Heinemann, Detlev

    a Dept. of Energy and Semiconductor Research, University of Oldenburg, D-26111 Oldenburg, Germany b, D-86152 Augsburg Germany e Fraunhofer Institute for Solar Energy Systems, Heidenhofstraße2, D-79110-back rates for PV energy (0.5/kWh in Germany since spring 2000, similar initiatives are foreseen in other

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

    SciTech Connect (OSTI)

    Oji, L. N.

    2013-03-07

    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.

  8. 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

  9. Data Mining and Knowledge Discovery

    E-Print Network [OSTI]

    Novak, Petra Kralj

    Data Mining and Knowledge Discovery Part of Jozef Stefan IPS Programme - ICT3 and UL Programme. Introduction Data Mining in a Nutshell Predictive and descriptive DM techniques Data Mining and KDD process Technologies I. Introduction: First generation data mining Data Mining in a nutshell Predictive

  10. A knowledge portal for Norway

    E-Print Network [OSTI]

    Stølen, Ketil

    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

  11. Testing general relativity with gravitational waves: a reality check

    E-Print Network [OSTI]

    Michele Vallisneri

    2012-10-05

    The observations of gravitational-wave signals from astrophysical sources such as binary inspirals will be used to test General Relativity for self consistency and against alternative theories of gravity. I describe a simple formula that can be used to characterize the prospects of such tests, by estimating the matched-filtering signal-to-noise ratio required to detect non-General-Relativistic corrections of a given magnitude. The formula is valid for sufficiently strong signals; it requires the computation of a single number, the fitting factor between the General-Relativistic and corrected waveform families; and it can be applied to all tests that embed General Relativity in a larger theory, including tests of individual theories such as Brans-Dicke gravity, as well as the phenomenological schemes that introduce corrections and extra terms in the post-Newtonian phasing expressions of inspiral waveforms. The formula suggests that the volume-limited gravitational-wave searches performed with second-generation ground-based detectors would detect alternative-gravity corrections to General-Relativistic waveforms no smaller than 1-10% (corresponding to fitting factors of 0.9 to 0.99).

  12. The Varieties of Self-Knowledge 

    E-Print Network [OSTI]

    Kabeshkin, Anton Sergeevich

    2012-07-16

    actions I establish that we have a distinctive non-observational kind of self-knowledge and show some specific characteristics of this kind of self-knowledge. In the end I attempt to relate self-knowledge of mental actions to practical knowledge...

  13. 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

  14. Learning from Profession Knowledge: Application on Knitting

    E-Print Network [OSTI]

    Matta, Nada

    2010-01-01

    Knowledge Management is a global process in companies. It includes all the processes that allow capitalization, sharing and evolution of the Knowledge Capital of the firm, generally recognized as a critical resource of the organization. Several approaches have been defined to capitalize knowledge but few of them study how to learn from this knowledge. We present in this paper an approach that helps to enhance learning from profession knowledge in an organisation. We apply our approach on knitting industry.

  15. New Faculty Getting-Started Check List page 1 of 2 (Last updated: April 2015)

    E-Print Network [OSTI]

    . PARKING PERMIT & LOT ASSIGNMENT Don't get ticketed or towed. All vehicles parked on campus (including-Started Check List NOTES: (1) A printable campus map is available in the right-hand menu here: http://inside.mines.edu/Parking campus street parking) must be registered with Parking Services. Go to http://inside.mines.edu/Parking

  16. DEPARTMENT GUIDE FOR PROCESSING PRE-EMPLOYMENT BACKGROUND CHECKS FOR GRADUATE STUDENT EMPLOYEES

    E-Print Network [OSTI]

    Carver, Jeffrey C.

    of criminal records in a student's home country additional time may be taken securing a check will conduct a review of federal court records, municipal court records for all US addresses in the past 10 Policy, policy number 201.00 under HR Policy Manual, and Procedures for Securing Criminal Background

  17. Biomedical Engineering AND Chemical & Biological Engineering Student Name:_________________________ Curriculum Check Sheet 158 Credits

    E-Print Network [OSTI]

    TOTAL 15 TOTAL 16 2nd Year Fall 2nd Year Spring CBE 201 Material and Energy Balances (CBE 102 or MATH:_________________________ Curriculum Check Sheet 158 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year Spring CBE 310 Molecular Concepts and Applications (CBE 210

  18. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    13 TOTAL 15 2nd Year Fall 2nd Year Spring MATH 261 Calc for Physical Scientists III (MATH 161) F Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME Intro to Electrical Engineering (MATH 161; PH 142) F,S,SS 3 TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year

  19. Biomedical Engineering AND Chemical & Biological Engineering Student Name:_________________________ Curriculum Check Sheet 158 Credits

    E-Print Network [OSTI]

    TOTAL 15 TOTAL 16 2nd Year Fall 2nd Year Spring MATH 261 Calc for Physical Scientists III (MATH 161) F:_________________________ Curriculum Check Sheet 158 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME 3rd Year Fall 3rd Year Spring CBE 310 Molecular Concepts and Applications (CBE 210; MATH 340) F 3

  20. 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

  1. 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

  2. Co-op Scholar IT Check List CO-OP PROGRAM IT CHECKLIST FOR SUPERVISORS

    E-Print Network [OSTI]

    Diessel, Oliver

    Co-op Scholar IT Check List 1 CO-OP PROGRAM IT CHECKLIST FOR SUPERVISORS SCOPE: These guidelines access to relevant Company systems (eg e-mail) as soon as they start. The same dept/person must documentation including letter of offer, Confidentiality Agreement, OH&S safety audit etc is completed

  3. Temperature-and Energy-Constrained Scheduling in Multitasking Systems: A Model Checking Approach

    E-Print Network [OSTI]

    Mishra, Prabhat

    Temperature- and Energy-Constrained Scheduling in Multitasking Systems: A Model Checking Approach and temperature in micro- processors. This has raised urgent requirement for both power and thermal management in a temperature- and energy- constrained multi- tasking system. The state space explosion problem is alleviated

  4. Applicant MUST check one: EMPLOYEE Health Benefits Application City of New York

    E-Print Network [OSTI]

    Qiu, Weigang

    Applicant MUST check one: EMPLOYEE Health Benefits Application City of New York RETIREE Health OR PERSONNEL OFFICE ONLY I certify that the above employee/retiree is eligible for the New York City Health. New Enrollment Reinstatement Retirement Disability Retirement Accident Disability Retirement Drop

  5. Automatic Checking of SQL: Computerised Grading Dr Gordon Russell, g.russell@napier.ac.uk

    E-Print Network [OSTI]

    Russell, Gordon

    Automatic Checking of SQL: Computerised Grading Dr Gordon Russell, g.russell@napier.ac.uk Andrew a repository of documents, slides, and tutorial sheets. ActiveSQL takes this a stage further, offering interactive practical sessions for learning SQL. These sessions provide tutorial questions which the student

  6. Personalized Spell Checking using Neural Networks Tyler Garaas, Mei Xiao, and Marc Pomplun

    E-Print Network [OSTI]

    Pomplun, Marc

    Personalized Spell Checking using Neural Networks Tyler Garaas, Mei Xiao, and Marc Pomplun Visual., Boston, MA 02125-3393, USA tgaraas@cs.umb.edu, meixiao@cs.umb.edu, marc@cs.umb.edu Abstract. Spell;2 Tyler Garaas, Mei Xiao, and Marc Pomplun must be performed to transform one word into another, combined

  7. 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

  8. 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

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

    E-Print Network [OSTI]

    Sivakumar, Suresh

    2001-01-01

    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...

  10. Check svn for updated files / tests https://svn.cs.umd.edu/repos/geekos/project0

    E-Print Network [OSTI]

    Hollingsworth, Jeffrey K.

    code Check vfs.h TODO Add to mount point operations (why?) #12;fileio.h /* * An entry in an Access of file */ int size; /* size of the file */ unsigned int isUsed:1; /* is entry active */ unsigned int is]; /* ... */ struct VFS_ACL_Entry acls[VFS_MAX_ACL_ENTRIES]; /* ACL entries */ } GOSFSfileNode; #12;ACL system call

  11. 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

  12. 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

  13. 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

  14. 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

  15. welcome to university residences Boiler Gold Rush Check-In...........................Saturday, August 13 and

    E-Print Network [OSTI]

    Fernández-Juricic, Esteban

    welcome to university residences #12;Boiler Gold Rush Check-In...........................Saturday, August 13 and Sunday, August 14, 2011 Boiler Gold Rush residence hall systems in the United States. weLcomE! 1 #12;Boiler GoLD Rush ParticiPants Your regular

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

    E-Print Network [OSTI]

    Fletcher, Robin

    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 Library Genealogy Information: www.kfpl.ca/ and http://www.kfpl.ca/genealogy-resources Cyndi's List

  17. Remote performance check and automated failure identification for grid-connected PV systems

    E-Print Network [OSTI]

    Heinemann, Detlev

    Remote performance check and automated failure identification for grid-connected PV systems cloudy skies. This determines the quality of the PV simulation and finally the period of time, satellite data, PVSAT-2 1. Introduction Failure-free operation of grid-connected photovoltaic (PV) systems

  18. Determining root causes of drilling problems by combining cases and general knowledge

    E-Print Network [OSTI]

    Aamodt, Agnar

    -based, knowledge intensive, oil well drilling 1 Introduction Drilling of oil wells is an expensive offshore based reasoning to improve efficiency of oil well drilling. Their focus was on lost circulation, whichDetermining root causes of drilling problems by combining cases and general knowledge Samad

  19. Verifying a Virtual Component Interface-based PCI Bus Wrapper

    E-Print Network [OSTI]

    Verifying a Virtual Component Interface-based PCI Bus Wrapper with FormalCheck Annette Bunker properties of a VCI-compliant PCI 2.1 bus wrapper model in the formal verification tool, FormalCheck. Though a wrapper that takes VCI transactions as input and generate PCI 2.1 [Gro95] transactions as output, await

  20. A model of dynamic rewiring and knowledge exchange in R&D networks

    E-Print Network [OSTI]

    Tomasello, Mario Vincenzo; Schweitzer, Frank

    2015-01-01

    This paper investigates the process of knowledge exchange in inter-firm Research and Development (R&D) alliances by means of an agent-based model. Extant research has pointed out that firms select alliance partners considering both network-related and network-unrelated features (e.g. social capital versus complementary knowledge stocks). In our agent-based model, firms are located in a metric knowledge space. The interaction rules incorporate an exploration phase and a knowledge transfer phase, during which firms search for a new partner and then evaluate whether they can establish a profitable alliance to mutually exchange their knowledge stocks. The model parameters determining the overall system properties are the rate at which alliances form and disappear and the agents' interaction radius. Next, we define a novel indicator of performance, based on the distance traveled by the firms in the knowledge space. Remarkably, we find that - depending on the alliance formation rate and the interaction radius -...

  1. RFEDSCHK User's Manual (The RFEDS Lab Data Check routine), Environmental and Scientific Systems Information Resources: Version 1. 00

    SciTech Connect (OSTI)

    Not Available

    1992-05-01

    The RFEDS Laboratory Data Check routine (RFEDSCHK) preforms checks of the off-site laboratory data to identify missing and/or incorrect data which may exist. The check routine is designed to assist the laboratories to correct deficiencies contained in the data before it is sent to the Rocky Flats Environmental Management Department, there-by improving the quality of the data being placed in RFEDS. If the data passes the checks with no errors, the data will be acceptable for placement into RFEDS and delivery of the electronic data to EG G is appropriate. If errors are detected, the laboratory should correct the errors and perform the check again until the data is free of errors.

  2. Checking Quotas

    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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News PublicationsAudits &BradburyMayARM-0501 Marine Stratus Radiation,ACharles

  3. A Knowledge-Theoretic Approach to Distributed Problem Solving

    E-Print Network [OSTI]

    Woolridge, Mike

    A Knowledge-Theoretic Approach to Distributed Problem Solving Michael Wooldridge Department.J.Wooldridge@qmw.ac.uk Abstract. Traditional approaches to distributed problem solving have treated the problem as one of distributed search. In this paper, we propose an alternative, logic-based view of distributed problem solv

  4. A KnowledgeTheoretic Approach to Distributed Problem Solving

    E-Print Network [OSTI]

    Woolridge, Mike

    A Knowledge­Theoretic Approach to Distributed Problem Solving Michael Wooldridge Department.J.Wooldridge@qmw.ac.uk Abstract. Traditional approaches to distributed problem solving have treated the problem as one of distributed search. In this paper, we propose an alternative, logic­based view of distributed problem solv

  5. Equivalence in Knowledge Representation: Automata, Recurrent Neural Networks,

    E-Print Network [OSTI]

    Giles, C. Lee

    Equivalence in Knowledge Representation: Automata, Recurrent Neural Networks, and Dynamical Fuzzy finite state automata (DFA) can be synthesized by or mapped into recurrent neural networks by directly programming the DFA structure into the weights of the neural network. Based on those results, a synthesis

  6. ARKTOS: a knowledge engineering software tool for images

    E-Print Network [OSTI]

    Soh, L. K.; Tsatsoulis, Costas

    2002-12-01

    sides are able to efficiently assess the correctness of the system. To facilitate the knowledge engineering of the second stage, we have designed and built three Java-based graphical user interfaces: arktosGUI, arktosViewer and arktosEditor. arktos...

  7. A Data and Knowledge Management System for Intelligent Buildings 

    E-Print Network [OSTI]

    Hong, J.; Chen, Z.; Li, H.; Xu, Q.

    2006-01-01

    into three main stages: design, construction, and utilization. The concept is then developed to an integrated model for web-based information supply and sharing, and some key points of the construction of an information platform and a knowledge system portal...

  8. A Delphi algorithm that integrates knowledge for expert system development 

    E-Print Network [OSTI]

    Layton, Terre Lou

    1989-01-01

    . The Delphi Manager was validated by using an existing knowledge base (KB) that was compiled by a paper and pencil version of the Delphi Technique. This existing KB was part of a dissertation by Randall F. Scott entitled "A Computer Programmer Productivity...

  9. Preservice teachers' knowledge of linear functions within multiple representation modes 

    E-Print Network [OSTI]

    You, Zhixia

    2009-05-15

    This study examines preservice teachers’ knowledge in the case of linear functions. Teachers’ knowledge in general consists of their subject matter knowledge and their pedagogical content knowledge. In this study, teachers’ subject matter knowledge...

  10. Building Reconstruction from ALS: Integrating Shape knowledge

    E-Print Network [OSTI]

    Building Reconstruction from ALS: Integrating Shape knowledge and Manual Operation Biao Xiong George Vosselman #12;Introduction Primitive Buildings Constraint Least Square Fit Manual Operation Future work 2 #12;Introduction Primitive Buildings Building Knowledge Constraint Least Square Fit Manual

  11. A precise computational approach to knowledge

    E-Print Network [OSTI]

    Pass, Rafael (Rafael Nat Josef)

    2006-01-01

    The seminal work of Goldwasser, Micali and Rackoff put forward a computational approach to knowledge in interactive systems, providing the foundation of modern Cryptography. Their notion bounds the knowledge of a player ...

  12. Academic Knowledge Transfer in Social Networks

    E-Print Network [OSTI]

    Slater, Mark David

    2013-01-01

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

  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. D and D Knowledge Management Information Tool - 2012 - 12106

    SciTech Connect (OSTI)

    Upadhyay, H.; Lagos, L.; Quintero, W.; Shoffner, P.; DeGregory, J.

    2012-07-01

    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)

  15. Exploring equity in uptake of the NHS Health Check and a nested physical activity intervention trial

    E-Print Network [OSTI]

    Attwood, S.; Morton, K.; Sutton, S.

    2015-06-01

    %2Fharingeygovuk%2Ffiles%2Fnhs_ health_check_vascular_risk_assessment_and_management_best_ practice_guidance._department_of_health__2009.pdf&ei=xnbPVI6 gO8X58QWS3IGoDg&usg=AFQjCNFje9aiNitTy92d51YHlT8ydd TCuA&bvm=bv.85076809,d.dGc (1 February 2105...

  16. Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    (conc.) or 117 (conc.)) F,S,SS 1 TOTAL 16 TOTAL 15 2nd Year Fall 2nd Year Spring MATH 261 Calc Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME Attributes of Living System F,S,SS 4 TOTAL 15 TOTAL 15 3rd Year Fall 3rd Year Spring ECE 311 Linear Systems

  17. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    to Mechanical Eng F 3 TOTAL 15 TOTAL 15 2nd Year Fall 2nd Year Spring CIVE 260 Engr. Mechanics: Statics (MATH Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME or conc or 255 or conc) F,S 5 MECH 231 Engr Experimt'n (MECH 105; PH 142) F,S 3 TOTAL 17 TOTAL 17 3rd Year

  18. Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    (conc) or 117 (conc)) F,S,SS 1 TOTAL 16 TOTAL 15 2nd Year Fall 2nd Year Spring MATH 261 Calc Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME Year Fall 3rd Year Spring ECE 311 Linear Systems Analysis I (ECE 202; MATH 340 or MATH 345) F 3 ECE 312

  19. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    only) F 3 TOTAL 15 TOTAL 15 2nd Year Fall 2nd Year Spring CIVE 260 Engr. Mechanics: Statics (MATH 160 Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME or 255 (or conc)) F,S 5 MECH 231 Engr Experimt'n (MECH 102; PH 142) F,S 3 TOTAL 17 TOTAL 17 3rd Year Fall

  20. Biomedical Engineering AND Chemical & Biological Engineering Student Name:_________________________ Curriculum Check Sheet

    E-Print Network [OSTI]

    ; 155 or conc or 160 or conc) F,S,SS 5 TOTAL 15 TOTAL 16 2nd Year Fall 2nd Year Spring CBE 201 Material:_________________________ Curriculum Check Sheet 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME (PREREQS.; PH 141) F,S 5 TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year Spring BC 351 Principles of Biochem. (BZ 110

  1. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    Engineering (MATH 161; PH 142) F,S,SS 3 TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year Spring MECH 337 Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME 112 General Chemistry Lab I (CHEM 111 (conc.) or 117 (conc.)) F,S,SS 1 TOTAL 15 TOTAL 15 2nd Year Fall

  2. Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    TOTAL 15 TOTAL 15 3rd Year Fall 3rd Year Spring ECE 311 Linear Systems Analysis I (ECE 202; MATH 340 Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME General Chemistry Lab I (CHEM 111 or conc or 117 or conc) F,S,SS 1 TOTAL 16 TOTAL 15 2nd Year Fall 2nd

  3. 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

  4. Fingerprinting & Criminal Records Check for Student Teaching Page 1 of 2 1. Go to the school district/supervisory union office you will be student teaching

    E-Print Network [OSTI]

    Ashline, George

    Fingerprinting & Criminal Records Check for Student Teaching Page 1 of 2 1. Go to the school Center Fingerprint Authorization Certificate and Request for Criminal Record Check . When completing will be required to pay the school district $16.50 to cover the cost of the Criminal Record Check processing

  5. 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

  6. 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 current knowledge on the effects of oil and gas development and production on prairie grouse based to impacts from oil and gas development or (ii) correlative studies evaluating cause and effect relationships

  7. Rules for Knowledge Representation Rule-based knowledge representation is useful for specifying inference

    E-Print Network [OSTI]

    Hamburg,.Universität

    of market situations: · global-market collaps, shrinking, stagnation, growth, explosion · product-segment-samples - door-to-door-sales #12;3 5 Example of a Decision Rule IF global-market = collaps AND product-segment

  8. 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-18

    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.

  9. A Pervasive Computing Solution to Asset, Problem and Knowledge Management Suman K. Kalia, Charles C. Tappert, Allen Stix, and Fred Grossman

    E-Print Network [OSTI]

    Tappert, Charles

    A Pervasive Computing Solution to Asset, Problem and Knowledge Management Suman K. Kalia, Charles C the conceptualization, design, and construction of wireless laptop and PDA-based asset, problem and knowledge management Operating System PDA based asset, problem and knowledge management systems to assist a divisional desktop

  10. In Tecuci G. and Kodratoff Y. (eds), Machine Learning and Knowledge Acquisition: Integrated Approaches, pp. 13-50, Academic Press, 1995

    E-Print Network [OSTI]

    Tecuci, Gheorghe

    presents a new approach to the process of building a knowledge-based system which relies on a tutoring. Introduction Automating the process of building knowledge bases has long been the goal of both Knowledge that are extremely difficult for one may be easy for the other. For instance, automated learning systems have

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

    E-Print Network [OSTI]

    Yuri I. Ozhigov

    2015-06-17

    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.

  12. Secretary Chu Checks In on Biomass Pilot-Scale Facility | Department of

    Energy Savers [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 on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterestedReplacement-2-AA-1Research and FuelingEnergy Secretary Chu Checks In on

  13. 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

  14. Managing Knowledge Workers in Global Value Chains

    E-Print Network [OSTI]

    Brown, Clair; Linden, Greg

    2010-01-01

    Strategic Alliances. ” Strategic Management Journal, v.12,Overseas Knowledge. ” Strategic Management Journal, 22(4):Performance. ” Strategic Management Journal, 28(13): 1319–

  15. 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...

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

    Open Energy Info (EERE)

    Knowledge Exchange on Openei Abstract Though exploring for hydrothermal resources is not new, advances in exploration technologies and the pursuit of less visible resources have...

  17. Bioenergy Knowledge Discovery Framework Recognized at National...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    50 papers with wide-ranging topics in the field of geospatial information systems. The paper explains how the Bioenergy Knowledge Discovery Framework (KDF) is bringing together...

  18. ORIGINAL PAPER The interdisciplinary engineering knowledge genome

    E-Print Network [OSTI]

    Shai, Offer

    mastered all necessary knowledge to start and complete projects. Since the industrial revolution empirical discipline. The second industrial revolution saw the emergence of chemical and electrical

  19. Learning Energy Demand Domain Knowledge via Feature Transformation

    E-Print Network [OSTI]

    Povinelli, Richard J.

    -- 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. The first stage automatically captures energy demand forecasting domain knowledge through nonlinear

  20. 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-01

    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 ...

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

    E-Print Network [OSTI]

    Vadala, Carin Elizabeth

    2004-09-30

    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...

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

    E-Print Network [OSTI]

    Avnet, Mark Sean

    2009-01-01

    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 ...

  3. Communicating Knowledge: A Case Study for Improving Technician Productivity in the Telecom Industry

    E-Print Network [OSTI]

    Santos, Sonia M.

    2008-05-16

    Organizational success is based on productivity. Productivity at the Mountainside Moonpies Corporation is currently in decline due to the swift advancement of telecommunication technology, an aging workforce, and minimal investment in knowledge...

  4. 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

  5. Knowledge Framework Implementation with Multiple Architectures - 13090

    SciTech Connect (OSTI)

    Upadhyay, H.; Lagos, L.; Quintero, W.; Shoffner, P.; DeGregory, J.

    2013-07-01

    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)

  6. Bioenergy Knowledge Discovery Framework (KDF) Fact Sheet

    SciTech Connect (OSTI)

    2013-07-29

    The Bioenergy Knowledge Discovery Framework (KDF) is an online collaboration and geospatial analysis tool that allows researchers, policymakers, and investors to explore and engage the latest bioenergy research. This publication describes how the KDF harnesses Web 2.0 and social networking technologies to build a collective knowledge system that facilitates collaborative production, integration, and analysis of bioenergy-related information.

  7. Scientific Knowledge 1. What is the Problem?

    E-Print Network [OSTI]

    Giere, Ronald N.

    Chapter 1 Scientific Knowledge 1. What is the Problem? Since the end of World War II, the influence scientific knowledge.1 In spite of the undeniable successes of post World War II science, there have always-scientists. After World War II, widespread serious questions about the nature of scientific #12;Giere. Scientific

  8. 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

  9. 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 and Knowledge for a Sustainable Future #12;3SLU's strategy for research, education and environmental monitoring, education and environmental monitoring and assessment The Life Sciences and Knowledge for a Sustainable

  10. Research Challenges in Ubiquitous Knowledge Discovery

    E-Print Network [OSTI]

    Malerba, Donato

    .0 to ubiquitous computing and robotics, aim to create systems which are "smart", "intelligent" , "adap- tive" etcChapter 2 Research Challenges in Ubiquitous Knowledge Discovery Michael May, Bettina Berendt, Sabanci Uni- versity, Technion, University of Hasselt 2.1 Ubiquitous Knowledge Discovery

  11. Complete Knowledge Assumption Often you want to assume that your knowledge is complete.

    E-Print Network [OSTI]

    Valtorta, Marco

    Complete Knowledge Assumption Often you want to assume that your knowledge is complete. Example: assume that a database of what students are enrolled in a course is complete. The definite clause language is monotonic: adding clauses can't invalidate a previous conclusion. Under the complete knowledge

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

    E-Print Network [OSTI]

    Schuette, John Frederick

    1990-01-01

    . 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...

  13. A KNOWLEDGE-BASED APPROACH TO PROTEIN LOCAL STRUCTURE PREDICTION*

    E-Print Network [OSTI]

    Wong, Limsoon

    prediction method that assigns a measure called the local match rate to each position of an amino acid its amino acid sequence. Local structure prediction helps improve the per- formance of both profile@iis.sinica.edu.tw 1 #12;structures, predicting protein local structures from amino acid sequences is much more

  14. The Dynamics of Collaboration in Knowledge-Based Work Processes

    E-Print Network [OSTI]

    Rahmani, Morvarid

    2013-01-01

    and c d /c vs is small; and TM contracts primarily lead toTM contracts when R(x) is large, ? is small, p d /p s issmall and vice versa. To validate these contractual prescriptions, we compare the performance of the three contracts

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

    E-Print Network [OSTI]

    Martelli, Peter Fabrizio

    2012-01-01

    manufacturing firms. ” Strategic Management Journal 27(2):View of the Firm. ” Strategic Management Journal 18(Summer):innovativeness. ” Strategic Management Journal 25(6): 541-

  16. New vistas for knowledge-based information support

    E-Print Network [OSTI]

    Soergel, Dagobert

    College of Library and Information Services University of Maryland Office: (301) 405-2037 Fax (301) 314 Classification of business functions Intelligent document templates #12;3 Classification of business functions functions are needed to support it What other functions dose it support Who is responsible for this business

  17. 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

  18. Improving Design Optimization and Optimization-based Design Knowledge Discovery 

    E-Print Network [OSTI]

    Su, Zhouzhou

    2015-08-11

    ). .............................................................................................. 78 4.14 Results of Multi-Objective Optimization with Offline Simulation in Rhino/Grasshopper (Left and Right) and Octopus (Middle). .................... 80 4.15 Results of Multi-Objective Optimization with Offline Simulation... and D&C in Rhino/Grasshopper (Left) and Octopus (Right). .......................... 81 5.1 Comparison Between MIC and Other Methods ......................................... 90 5.2 The MIC Results of a Linear Relationship...

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

    E-Print Network [OSTI]

    Khan, Sara Shammni

    2011-10-21

    information using folder search as well as word search option via a user friendly interface. A program coded in JAVA is prepared for integrating the incident database with a Management of Change (MOC) software prototype. A collection of keywords... for the users to retrieve incident was developed using JAVA. Besides folder search, the users are provided with the option of word search to retrieve incident information. Folder searching along with word searching will help narrow down the users? scope...

  20. Amoeba-Based Knowledge Discovery System Toshinori Munakata

    E-Print Network [OSTI]

    Munakata, Toshinori

    slime mold Physarum Polycephalum (Fig. 1a), a unicellular amoeboid organism with a single gel layer computer whose elements are microscopic actomyosins (fibrous proteins) taking contracting or relaxing states. Collectively interacting actomyosins in the gel layer generate rhythmic contraction

  1. Modal Semantics for Knowledge Bases Dealing with Vague Concepts

    E-Print Network [OSTI]

    Bennett, Brandon

    ' and `The best man's speech was a complete disaster'.) Often the use of a seemingly simple concept may is green' the word `green' is vague not only in that there may be borderline cases of green (a yellowy green or a dark browny green) but also because the frog may have a yellow belly, black eyes and a pink

  2. Knowledge based expert systems for engineering: Classification, education and control

    SciTech Connect (OSTI)

    Sriram, D.; Adey, R.A.

    1987-01-01

    Applications in the book cover all branches of engineering including manufacturing, electrical and electronic systems, industrial automation, and civil engineering. Particular applications include gearbox selection, maintenance advisers, helicopter engine troubleshooting, power system control, network management, intelligent tutors, finite element advisers, diagnosis of mechanical failure, welding advisers, plant operation, structural optimisation and fault diagnosis.

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

    E-Print Network [OSTI]

    Lass, Steven Lee

    1995-01-01

    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 ...

  4. Knowledge-Based Evolutionary Linkage in MEMS Design Synthesis

    E-Print Network [OSTI]

    Cobb, Corie L.; Zhang, Ying; Agogino, Alice M.; Mangold, Jennifer

    2008-01-01

    sium of Micro- and Nano-Mechatronics for Information-basedgenetic programming in mechatronics systems design using

  5. Automatic Gloss Finding for a Knowledge Base using Ontological Constraints

    E-Print Network [OSTI]

    Cohen, William W.

    Runner [45], and PROSPERA [32], are all targeted at extracting general facts at Web scale. While facts

  6. Automatic Gloss Finding for a Knowledge Base using Ontological Constraints

    E-Print Network [OSTI]

    Murphy, Robert F.

    ) [7], TextRunner [45], and PROSPERA [33] are targeted at extracting facts at Web scale. While facts

  7. Automatic Gloss Finding for a Knowledge Base using Ontological Constraints

    E-Print Network [OSTI]

    Murphy, Robert F.

    -Language-Learning (NELL) [7], TextRunner [45], and PROSPERA [33] are targeted at extracting facts at Web scale. While

  8. 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-18

    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.

  9. Knowledge-Based Evolutionary Linkage in MEMS Design Synthesis

    E-Print Network [OSTI]

    Cobb, Corie L.; Zhang, Ying; Agogino, Alice M.; Mangold, Jennifer

    2008-01-01

    Introduction Microelectromechanical Systems (MEMS) are smallindustries for microelectromechanical sys- tems (MEMS). In:

  10. A framework for knowledge-based team training 

    E-Print Network [OSTI]

    Miller, Michael Scott

    2009-06-02

    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...

  11. Introducing knowledge into learning based on genetic programming

    E-Print Network [OSTI]

    Fernandez, Thomas

    typing, symbolic regression, units of measurement INTRODUCTION Automatic Programming is one of the most process. Key words | empirical equations, genetic programming, hydraulics, sediment transport, strong is the design of measurement cam- paigns and the collection of data. We usually measure forcing variables (those

  12. Knowledge-based stratigraphic well-log correlation 

    E-Print Network [OSTI]

    Denton, Michael A.

    1990-01-01

    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...

  13. An infrastructure mechanism for dynamic ontology-based knowledge infrastructures 

    E-Print Network [OSTI]

    Zurawski, Maciej

    2010-01-01

    mechanism that processes ontology change proposals from autonomous entities while maintaining user-defined consistency between the ontologies of these entities. This makes so called semantic autonomy possible. A core invention of our approach is to formalise...

  14. Knowledge-Based Evolutionary Linkage in MEMS Design Synthesis

    E-Print Network [OSTI]

    Cobb, Corie L.; Zhang, Ying; Agogino, Alice M.; Mangold, Jennifer

    2008-01-01

    and industries for microelectromechanical sys- tems (MEMS).1 Introduction Microelectromechanical Systems (MEMS) are

  15. Knowledge-Based Evolutionary Linkage in MEMS Design Synthesis

    E-Print Network [OSTI]

    Cobb, Corie L.; Zhang, Ying; Agogino, Alice M.; Mangold, Jennifer

    2008-01-01

    interaction in evolving MEMS designs: microresonator caseof evolu- tionary MEMS resonators. In: Proc. of the IEEESéquin, C.H. : Hierarchical MEMS synthesis and optimization.

  16. Improving Performance of Web Services Query Matchmaking with Automated Knowledge Acquisition

    E-Print Network [OSTI]

    Meng, Weiyi

    Improving Performance of Web Services Query Matchmaking with Automated Knowledge Acquisition that abstract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive, simple, and powerful query-based invocation system to end users. Web services based

  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. Formal Verification of FBD-Based PLC Software at Software Design Phase Han Seong Son, Kee-Choon Kwon, Junbeom Yoo*, Sungdeok Cha*

    E-Print Network [OSTI]

    Formal Verification of FBD-Based PLC Software at Software Design Phase Han Seong Son, Kee@salmosa.kaist.ac.kr ABSTRACT This article suggests an approach to formal verification of FBD-based PLC software at design phase checking and equivalence check on the FBDs. INTRODUCTION As Programmable Logic Controllers (PLC) have been

  19. 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-18

    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.

  20. Offshore Energy Knowledge Exchange Workshop Report

    SciTech Connect (OSTI)

    none,

    2012-04-12

    A report detailing the presentations and topics discussed at the Offshore Energy Knowledge Exchange Workshop, an event designed to bring together offshore energy industry representatives to share information, best practices, and lessons learned.

  1. Exploiting thesauri knowledge in medical guideline formalization

    E-Print Network [OSTI]

    ten Teije, Annette

    investigates whether medical knowledge acquired from several medical thesauri can be molded on a guideline program, under contract number IST-FP6- 508794 Protocure-II: www.protocure.org 2 Address: De Boelelaan

  2. 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-01

    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 ...

  3. 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

  4. 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

  5. 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

  6. QUASIINDEXICALS AND KNOWLEDGE REPORTS William J. Rapaport

    E-Print Network [OSTI]

    Krovi, Venkat

    . Our analysis solves a problem first observed by Hector­Neri Casta~neda, namely, that the simple rule se belief and knowledge reports. Our analysis solves a problem first observed by Hector­Neri Casta~neda

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

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs Tetsu Iwata1 and Lei Wang2, wang.lei@ntu.edu.sg Abstract. ANSI X9.24-1:2009 specifies the key check value, which is used to verify check value. As a result, we obtain a complete characterization of the impact of using ANSI X9.24-1 key

  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. The Ohio State University Office of Human Resources, Policy 4.15 Background Check Resources hr.osu.edu Revised 01/01/14, Page 1 of 1 Background Check

    E-Print Network [OSTI]

    Howat, Ian M.

    policy 1.50, hr.osu.edu/policy/policy150.pdf Security Standards Council's Payment Card Industry (PCI.osu.edu/documents/records-management/general-schedule.pdf Guide for Conducting Background Checks, hr.osu.edu/policy/resources/415standards.pdf Ohio Public) Data Security Standards, pcisecuritystandards.org/security_standards Summary of Your Rights Under

  10. TIPS FOR THE PARKING LOT When you approach your parked vehicle, visually check the area around the

    E-Print Network [OSTI]

    Shoubridge, Eric

    TIPS FOR THE PARKING LOT When you approach your parked vehicle, visually check the area around Always try to park in visible, well lit areas Try to avoid parking next to a larger pickup truck or van." Exercise extra caution when using underground and enclosed parking garages. Try not to go alone. Use

  11. 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

  12. LAB HAZARD CHECKLIST Please check the hazards that are associated with your lab and complete the section

    E-Print Network [OSTI]

    Firestone, Jeremy

    LAB HAZARD CHECKLIST Please check the hazards that are associated with your lab and complete of Environmental Health and Safety. HAZARDS: Biological Hazard ­ Biosafety levels 2 or 3 organisms present Laser Radiation Hazards ­Any work involving class 3b or 4 lasers Flammable Gas ­ Compressed gas cylinders

  13. 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

  14. 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-01

    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...

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

    SciTech Connect (OSTI)

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

    2012-11-02

    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.

  16. The Path to Transforming Knowledge into Energy Projects: DOE...

    Office of Environmental Management (EM)

    The Path to Transforming Knowledge into Energy Projects: DOE Tribal Renewable Energy Webinar Series 2015 The Path to Transforming Knowledge into Energy Projects: DOE Tribal...

  17. Organizing Migrations: People and Knowledge Flows in the Global Economy

    E-Print Network [OSTI]

    Norlander, Peter D.

    2014-01-01

    politics and economics of offshore outsourc- ing,” JournalCarol, “Controlling offshore knowledge workers: Power andof advanced industries offshore by spreading knowledge and

  18. Knowledge Partnership for Measuring Air Pollution and Greenhouse...

    Open Energy Info (EERE)

    Knowledge Partnership for Measuring Air Pollution and Greenhouse Gas Emissions in Asia Jump to: navigation, search Name Knowledge Partnership for Measuring Air Pollution and...

  19. The Digital Road to Scientific Knowledge Diffusion; A Faster...

    Office of Scientific and Technical Information (OSTI)

    of knowledge. In particular, it is important to understand whether advances in Internet searching can speed up the diffusion of scientific knowledge and accelerate...

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

    E-Print Network [OSTI]

    2009-01-01

    CO 2 and energy fluxes over a mixed hardwood forest in theand energy fluxes [Baldocchi et al. , 1988]. Forest Ecology

  1. Conformance Checking Based on Partially Ordered X. Lu, D. Fahland, W.M.P. van der Aalst

    E-Print Network [OSTI]

    van der Aalst, Wil

    is the alignment approach proposed in [6, 7], which relates behavior observed in a sequential #12;trace (i

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

    E-Print Network [OSTI]

    2009-01-01

    of this figure in the HTML. as GPP – NPP + Rh. Because theof this figure in the HTML. [ 39 ] Ideally the Ra/GPP and

  3. 2009 IEEE INTERNATIONAL CONFERENCE ON NATURAL LANGUAGE PROCESSING AND KNOWLEDGE ENGINEERING (IEEE NLP-KE'09) CASSIOPEIA

    E-Print Network [OSTI]

    Branco, António Horta

    of a model called Cassiopeia, whose aim is to allow for knowledge discovery in textual bases in distinct and domains. The Cassiopeia model uses the process of clusterization to obtain this knowledge, thereby dimensionality. In order to circumvent this, the Cassiopeia model uses the summarization process to reduce

  4. 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 natural environment and natural resources. Without science we will not be able to preserve our natural

  5. Separating the Knowledge Layers: Cognitive Analysis of Search Knowledge Through Hierarchical Goal Decompositions

    E-Print Network [OSTI]

    Bhavnani, Suresh K.

    of library and information science (LIS) should equally benefit by the use of analysis methods that require1 Separating the Knowledge Layers: Cognitive Analysis of Search Knowledge Through Hierarchical Goal. This analysis method progressively decomposes a given task starting from the task layer on the top

  6. Institute for Software Technology Model-Based Testing

    E-Print Network [OSTI]

    t Institute for Software Technology Model-Based Testing Ausgewählte Kapitel Softwaretechnologie 2 2013/14 B.K. Aichernig Model-Based Testing 1 / 38 #12;t Institute for Software Technology Testing-Based Testing 2 / 38 #12;t Institute for Software Technology Testing vs. Model Checking vs. Proving One proves

  7. Reliability-based calibration of design seismic response spectra and structural acceptance criteria

    E-Print Network [OSTI]

    Baker, Jack W.

    Reliability-based calibration of design seismic response spectra and structural acceptance criteria: Earthquake engineering design requires an evaluation of the structure's reliability over future seismic loads alternate "explicit" check, which commonly specifies a design spectrum and associated structural response

  8. A knowledge continuity management program for the energy, infrastructure and knowledge systems center, Sandia National Laboratories.

    SciTech Connect (OSTI)

    Menicucci, David F.

    2006-07-01

    A growing recognition exists in companies worldwide that, when employees leave, they take with them valuable knowledge that is difficult and expensive to recreate. The concern is now particularly acute as the large ''baby boomer'' generation is reaching retirement age. A new field of science, Knowledge Continuity Management (KCM), is designed to capture and catalog the acquired knowledge and wisdom from experience of these employees before they leave. The KCM concept is in the final stages of being adopted by the Energy, Infrastructure, and Knowledge Systems Center and a program is being applied that should produce significant annual cost savings. This report discusses how the Center can use KCM to mitigate knowledge loss from employee departures, including a concise description of a proposed plan tailored to the Center's specific needs and resources.

  9. RFEDSCHK User`s Manual (The RFEDS Lab Data Check routine), Environmental and Scientific Systems Information Resources: Version 1.00

    SciTech Connect (OSTI)

    Not Available

    1992-05-01

    The RFEDS Laboratory Data Check routine (RFEDSCHK) preforms checks of the off-site laboratory data to identify missing and/or incorrect data which may exist. The check routine is designed to assist the laboratories to correct deficiencies contained in the data before it is sent to the Rocky Flats Environmental Management Department, there-by improving the quality of the data being placed in RFEDS. If the data passes the checks with no errors, the data will be acceptable for placement into RFEDS and delivery of the electronic data to EG&G is appropriate. If errors are detected, the laboratory should correct the errors and perform the check again until the data is free of errors.

  10. Random Matrix Based Uncertainty Model for Complex Robotic Systems Javad Sovizi1, Aliakbar Alamdari2, Sonjoy Das3 and Venkat Krovi4

    E-Print Network [OSTI]

    Krovi, Venkat

    that are caused by lack of the system knowledge (and can be suppressed by increasing the state of the knowledge random variable based (RV-based) schemes require a detailed knowledge of the system parameters variation

  11. 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

  12. Concise Papers__________________________________________________________________________________________ Using Hybrid Knowledge Engineering and

    E-Print Network [OSTI]

    Liu, Yonghuai

    with digital image processing methods. The knowledge related to the mural colors is first categorized into four processing. æ 1 INTRODUCTION WITH the development of digital image processing, the restoration and preservation of art works using digital technology has been widely accepted as an effective and practical

  13. THE UK'S INNOVATION NETWORK KNOWLEDGE TRANSFER NETWORK

    E-Print Network [OSTI]

    ­ Support available from the Innovation Network Brian J. McCarthy ­ Knowledge Transfer Manager ­ Materials, entrepreneurs, academics and funders to develop new products and services. We help business to grow the economy people together `to make magic happen' 6,000+ Delegates per year #12;PAGE6 The KTN Structure · Materials

  14. Integrating Soil Ecological Knowledge into Restoration Management

    E-Print Network [OSTI]

    Pavao-Zuckerman, Mitchell

    Integrating Soil Ecological Knowledge into Restoration Management Liam Heneghan,1,2 Susan P. Miller that lead to restoration success. The discipline of soil ecology, which emphasizes both soil organisms the outcomes of restoration despite this variability. Here, we propose that the usefulness of this soil

  15. Comprehensible Knowledge Discovery: Gaining Insight from Data

    E-Print Network [OSTI]

    Pazzani, Michael J.

    and provide advice on how to reduce the likelihood of getting a certain disease. Analysis of a political to France, unless France ceased nuclear testing in the South Pacific. France paid a higher price to buy was identified. Most data mining systems cannot be given knowledge of economic and politics and are forced

  16. Learning Retrieval Knowledge from Data Helge Langseth

    E-Print Network [OSTI]

    Langseth, Helge

    of petroleum engineering ­ more specifically oil well drilling - in cooperation with the Norwegian oil company are linked within a semantic network of more general domain knowledge. In this paper we present a way Saga. Some initial results are described in this paper. The motivation for the work reported here

  17. SIMULATING PEDESTRIAN ROUTE SELECTION WITH IMPERFECT KNOWLEDGE

    E-Print Network [OSTI]

    Allan, Vicki H.

    SIMULATING PEDESTRIAN ROUTE SELECTION WITH IMPERFECT KNOWLEDGE Keywords: Multi-Agent Systems:Pedestrian choices allows pedestrians to make decisions in a timely and efficient manner. The heuristic function used of the pedestrian. We implement several common heuristic functions using the PLEASE simulation model and allow

  18. SIMULATING KNOWLEDGE AND INFORMATION IN PEDESTRIAN EGRESS

    E-Print Network [OSTI]

    Allan, Vicki H.

    SIMULATING KNOWLEDGE AND INFORMATION IN PEDESTRIAN EGRESS Kyle Feuz1,2 and Vicki Allan3 1Masters.allan@usu.edu Keywords: Reinforcement-Learning:Pedestrian Simulation:Egress Assistance:Congestion:Multi-Agent Systems Abstract: Accurate pedestrian simulation is a difficult yet important task. One of the main challenges

  19. Searching For Unlawful Carnal Knowledge Leif Azzopardi

    E-Print Network [OSTI]

    Azzopardi, Leif

    ]. When it comes to searching the web, numerous query log studies have shown that query terms relatedSearching For Unlawful Carnal Knowledge Leif Azzopardi School of Computing Science, University of Glasgow Glasgow, United Kingdom Leif.Azzopardi@glasgow.ac.uk ABSTRACT Search engines are often used

  20. 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

  1. 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

  2. Towards a Europe of Knowledge and

    E-Print Network [OSTI]

    Madsen, Claus

    Towards a Europe of Knowledge and Innovation World-class research as the centrepiece;Foreword The EIROforum Vision for Science and Europe I am proud that the European Space Agency currently holds the chair of the EIROforum, the partnership comprising Europe's seven intergovernmental re- search

  3. Technology transfer at CERN a study on inter-organizational knowledge transfer within multi-national R&D collaborations

    E-Print Network [OSTI]

    Huuse, H; Streit-Bianchi, M

    2004-01-01

    This study focus on the knowledge aspect of inter-organizational technology transfer projects. We have studied two large R&D collaborations where CERN is involved as one of several participating organizations, in order to reveal the causalities related to the knowledge transfer processes within these projects. The objective of the study is to understand how knowledge transfer happens, identify influencing factors to the process, and finally investigate the outcome of such processes. The study is founded on a thorough literature review where we examine different aspects of inter-organizational knowledge transfer. Based on the theory, we develop an analytic framework and establish different elements in the knowledge transfer process to study in more detail. This framework illustrates the relation between the different elements in a knowledge transfer process and provides the structure for our empirical foundation. We perform an explanatory embedded multiple case study and analyze our findings in terms of th...

  4. KnowledgeAssetManagementMentzasApostolou AbeckerYoung

    E-Print Network [OSTI]

    Chen-Burger, Yun-Heh (Jessica)

    123 KnowledgeAssetManagementMentzas·Apostolou Abecker·Young Gregoris Mentzas Dimitris Apostolou Knowledge Asset Management There are two main approaches to knowledge management (KM): · the process Asset Management presents a knowledge asset-centric approach, which fuses the previous two approaches

  5. 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

  6. 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

  7. 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

  8. Quantifying knowledge exchange in R&D networks: a data-driven model

    E-Print Network [OSTI]

    Tomasello, Mario Vincenzo; Schweitzer, Frank

    2015-01-01

    We develop an agent-based model to reproduce the process of link formation and to understand the effect of knowledge exchange in collaborative inter-firm networks of Research and Development (R&D) alliances. In our model, agents form links based on their previous alliance history and then exchange knowledge with their partners, thus approaching in a knowledge space. We validate our model against real data using a two-step approach. Through an inter-firm alliance dataset, we estimate the model parameters related to the alliance formation, at the same time reproducing the topology of the resulting collaboration network. Subsequently, using a dataset on firm patents, we estimate the parameters related to the process of knowledge exchange. The underlying knowledge space that we consider in our study is defined by real patent classes, allowing for a precise quantification of every firm's knowledge position. We find that real R&D alliances have a duration of around two years, and that the subsequent knowled...

  9. Implementation Plan for the Office of Nuclear Energy Knowledge Management Program

    SciTech Connect (OSTI)

    Kimberlyn C. Mousseau

    2011-12-01

    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.

  10. Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue)

    E-Print Network [OSTI]

    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. 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

  13. City Knowledge Patterns: A standard for Smart City Knowledge management Nooshin Allahyari, Mark S. Fox, and Michael Gruninger

    E-Print Network [OSTI]

    Sun, Yu

    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

  14. 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

  15. Knowledge Discovery, Knowledge Management and Enterprise-Wide Information Technology Tools Final Report

    SciTech Connect (OSTI)

    Patton, Robert M; Symons, Christopher T; Gorman, Bryan L; Treadwell, Jim N

    2012-04-01

    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.

  16. Supernetworks for theSupernetworks for the Management of KnowledgeManagement of Knowledge

    E-Print Network [OSTI]

    Nagurney, Anna

    International Conference on Knowledge, Culture and Change in Organisations, University of Greenwich, London #12;· Internet · Transportation/logistical networks · Other telecommunication networks · Energy Era #12;Network System Nodes Links Flows Transportation Urban Intersections, Roads Autos Homes, Places

  17. Knowledge Management at the Fast Flux Test Facility

    SciTech Connect (OSTI)

    Wootan, David W.; Omberg, Ronald P.

    2013-06-01

    One of the goals of the Department of Energy’s Office of Nuclear Energy, initiated under the Fuel Cycle Research and Development Program (FCRD) and continued under the Advanced Reactor Concepts Program (ARC) is to preserve the knowledge that has been gained in the United States on Liquid Metal Reactors (LMRs) that could support the development of an environmentally and economically sound nuclear fuel cycle. The Fast Flux Test Facility (FFTF) is the most recent LMR to operate in the United States, from 1982 to 1992, and was designed as a fully instrumented test reactor with on-line, real time test control and performance monitoring of components and tests installed in the reactor. The 10 years of operation of the FFTF provided a very useful framework for testing the advances in LMR safety technology based on passive safety features that may be of increased importance to new designs after the events at Fukushima. Knowledge preservation at the FFTF is focused on the areas of design, construction, and startup of the reactor, as well as on preserving information obtained from 10 years of successful operating history and extensive irradiation testing of fuels and materials. In order to ensure protection of information at risk, the program to date has sequestered reports, files, tapes, and drawings to allow for secure retrieval. The FFTF knowledge management program includes a disciplined and orderly approach to respond to client’s requests for documents and data in order to minimize the search effort and ensure that future requests for this information can be readily accommodated.

  18. Abnormal event identification in nuclear power plants using a neural network and knowledge processing

    SciTech Connect (OSTI)

    Ohga, Yukiharu; Seki, Hiroshi (Hitachi, Ltd. Energy Research Lab., Ibarakiken (Japan))

    1993-02-01

    The combination of a neural network and knowledge processing have been used to identify abnormal events that cause a reactor to scram in a nuclear power plant. The neural network recognizes the abnormal event from the change pattern of analog data for state variables, and this result is confirmed from digital data using a knowledge base of plant status when each event occurs. The event identification method is tested using test data based on simulated results of a transient analysis program for boiling water reactors. It is confirmed that a neural network can identify an event in which it has been trained even when the plant conditions, such as fuel burnup, differ from those used in the training and when the analog data contain white noise. The network does not mistakenly identify the nontrained event as a trained one. The method is feasible for event identification, and knowledge processing improves the reliability of the identification.

  19. 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

    ? Electrical Hazards: o Are appliances checked periodically for good operating conditions? o Are you careful alarm(s) every month? o Do you replace the battery of your battery operated smoke alarm every year? #12

  20. East Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system is scheduled to be on.

    E-Print Network [OSTI]

    Webb, Peter

    East Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system Coal Storage Building 39 NA Cooke Hall 56 Donhowe Building 044 East Gateway District Steam Distr. 199