Powered by Deep Web Technologies
Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


1

Computational fact checking from knowledge networks  

E-Print Network (OSTI)

Traditional fact checking by expert journalists cannot keep up with the enormous volume of information that is now generated online. Computational fact checking may significantly enhance our ability to evaluate the veracity of dubious information. Here we show that the complexities of human fact checking can be approximated quite well by finding the shortest path between concept nodes under properly defined semantic proximity metrics on knowledge graphs. Framed as a network problem this approach is feasible with efficient computational techniques. We evaluate this approach by examining tens of thousands of claims related to history, entertainment, geography, and biographical information using a public knowledge graph extracted from Wikipedia. Statements independently known to be true consistently receive higher support via our method than do false ones. These findings represent a significant step toward scalable computational fact-checking methods that may one day mitigate the spread of harmful misinformation...

Ciampaglia, Giovanni Luca; Rocha, Luis M; Bollen, Johan; Menczer, Filippo; Flammini, Alessandro

2015-01-01T23:59:59.000Z

2

Knowledge acquisition, consistency checking and concurrency control for Gene Ontology (GO)  

Science Journals Connector (OSTI)

......University Press 2003 Original Paper Knowledge acquisition, consistency checking and...for communicating biological data and knowledge. The Gene Ontology (GO; http...paper, we assess the applicability of a Knowledge Base Management System (KBMS), Protege-2000......

Iwei Yeh; Peter D. Karp; Natalya F. Noy; Russ B. Altman

2003-01-01T23:59:59.000Z

3

Creation of a Master Table for Checking Indication and Contraindication of Medicine from a Knowledge Base Linked with a Thesaurus  

Science Journals Connector (OSTI)

To develop a system for checking indication and contraindication of medicines in prescription order entry system, a master table consisting of the disease names corresponding to the medicines adopted in a hospita...

Shanmei Ji; Yasushi Matsumura; Shigeki Kuwata…

2004-12-01T23:59:59.000Z

4

RESFEN -- Knowledge Base  

NLE Websites -- All DOE Office Websites (Extended Search)

6.0 Knowledge Base 6.0 Knowledge Base Tip - use the Find function in your browser to search this page Last update:09/11/13 11:42 AM INSTALLATION Installation Problems Report Feature Does Not Work License Agreement Registration Issue: Can't Remember Account Password PROGRAM CHANGES Results PROGRAM FEATURES WINDOW 6.3 Window Libraries SI and IP Units Multi-Calc TIPS User Defined Windows RELEASE NOTES WEATHER DATA Cannot Find Weather File, Simulation Cancelled Converting Energy Plus EPW files to RESFEN Weather Files Weather Data Files United States Location Statistics Canada China Chile Japan ENERGY CALCULATIONS Whole House Total Energy Calculations COST CALCULATIONS How to Convert $/cubic foot to $/therm for Natural Gas HVAC MODELING How to Model Electric Resistance Heating KNOWN BUGS Below is a list of RESFEN modeling issues that have been discovered by

5

RESFEN -- Knowledge Base  

NLE Websites -- All DOE Office Websites (Extended Search)

5.0 Knowledge Base 5.0 Knowledge Base Tip - use the Find function in your browser to search this page Last update:09/11/13 11:41 AM INSTALLATION Installation Problems Hour Glass Cursor Does Not Go Away Weather File Installation Options Report Feature Does Not Work License Agreement Registration Issue: Can't Remember Account Password NEW FEATURES IN 5.0 Results WINDOW 5.2 Window Libraries WINDOW 5.2 DOE2 DAT files Database format is Different from Previous RESFEN Beta 1 and 2 SI and IP Units "All Windows the Same" Feature Changing Costs Doesn’t Cause Resimulation Multi-Calc Feature Window Library U-factor and SHGC Results (Algorithm Changes between WINDOW 4.1 and 5.0) WEATHER DATA Cannot Find Weather File, Simulation Cancelled Converting Energy Plus EPW files to RESFEN Weather Files

6

Software-Based Concurrent Control Flow Checking  

E-Print Network (OSTI)

overhead and moderate program size overhead. It was evaluated on di erent architectures. Error coverage the program code. At run-time, a simple watchdog processor monitors the address and data lines. Using and design of the preprocessor. Our checking algorithm is presented in section 4. An example of a modi ed

Fey, Dietmar

7

C3Bio.org - Knowledge Base  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Knowledge Base Community Help Can't find something in the Knowledge Base? Try...

8

The knowledge base of the oculomotor system  

Science Journals Connector (OSTI)

...research-article Discussion Meeting Issue Knowledge-based vision in man and machine organized...B. Barlow and R. L. Gregory The knowledge base of the oculomotor system Michael...involved in more than one task. The knowledge base of the oculomotor system. | In...

1997-01-01T23:59:59.000Z

9

LBNL Windows & Daylighting Software -- WINDOW5: Knowledge Base  

NLE Websites -- All DOE Office Websites (Extended Search)

6.3 Knowledge Base 6.3 Knowledge Base Tip - use the Find function in your browser to search this page Last update:11/04/13 01:16 PM Download WINDOW 6.3 Send feedback via email to WindowHelp@lbl.gov. Also as bugs and comments are submitted by testers, the will be posted on this Knowledge Base, so check here for the latest information about the program. CONTENTS INSTALLATION KNOWN BUGS ** Operating Systems -- Microsoft Windows 7 and Vista ** Environmental Conditions -- Kimura convection model not working Locked Files with Install/De-install Environmental Conditions -- Fixed Combined Coefficient Bug Installation Problems Error Message during Calc due to decimal point of "," Minimum computer requirements Importing THERM file into WINDOW generates "Unnamed file has a bad format" error message

10

LSB replacement steganography software detection based on model checking  

Science Journals Connector (OSTI)

Steganography software detection is one of effective approaches for steganography forensics using software analysis. In this paper a method of LSB replacement steganography software detection is proposed. Firstly three typical implementations of LSB ... Keywords: LSB replacement algorithm, automaton, model checking, steganography software

Zheng Zhao; Fenlin Liu; Xiangyang Luo; Xin Xie; Lu Yu

2012-10-01T23:59:59.000Z

11

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

12

LBNL Windows & Daylighting Software -- COMFEN3: Knowledge Base  

NLE Websites -- All DOE Office Websites (Extended Search)

COMFEN 4.0 COMFEN 4.0 Knowledge Base Last update:09/11/13 11:38 AM Download COMFEN Release Notes (includes a list of changes to the program by version) Send feedback via email to COMFENHelp@lbl.gov. Also as bugs and comments are submitted by testers, they will be posted on this Knowledge Base, so check here for the latest information about the program. CONTENTS INSTALLATION KNOWN ISSUES Installation Issues -- Administrator Between Blind Slat Width Greater than Glazing System Gap Installation Issues -- Microsoft.NET Using COMFEN 3 databases in COMFEN 4 Installation Problems COMFEN 4 database is not compatible with COMFEN 3.1 program Installation Directories by Operating System Site To Source Multiplier -- changing it does not invalidate results Minimum computer requirements

13

BrainKnowledge: A Human Brain Function Mapping Knowledge-Base System  

E-Print Network (OSTI)

BrainKnowledge: A Human Brain Function Mapping Knowledge-Base System Mei-Yu Hsiao & Chien and interpretation of fMRI data. Here, we present a human brain function mapping knowledge-base system (BrainKnowledge) that associates fMRI data analysis and literature search func- tions. BrainKnowledge not only contains indexed

Chen, Chein Chung

14

C3Bio.org - Knowledge Base: Tips  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Tips Knowledge Base Main page Categories All Articles Login & Registration...

15

C3Bio.org - Knowledge Base: Login & Registration  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Login & Registration Knowledge Base Main page Categories All Articles Login...

16

C3Bio.org - Knowledge Base: Miscellaneous  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Miscellaneous Knowledge Base Main page Categories All Articles Login &...

17

C3Bio.org - Knowledge Base: Members & Groups  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Members & Groups Knowledge Base Main page Categories All Articles Login &...

18

C3Bio.org - Knowledge Base: Tools  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Tools Knowledge Base Main page Categories All Articles Login & Registration...

19

C3Bio.org - Knowledge Base: All Articles  

NLE Websites -- All DOE Office Websites (Extended Search)

Knowledge Base All Articles Knowledge Base Main page Categories All Articles Login & Registration 9 Members & Groups 4 Miscellaneous 5 Tips 5 Tools 3 Search Search for articles...

20

LBNL Windows & Daylighting Software -- COMFEN3: Knowledge Base  

NLE Websites -- All DOE Office Websites (Extended Search)

5 5 (5.0.05 -- January 1, 2013) Last update:09/11/13 11:40 AM Download COMFEN Release Notes (includes a list of changes to the program by version) Send feedback via email to COMFENHelp@lbl.gov. Also as bugs and comments are submitted by testers, they will be posted on this Knowledge Base, so check here for the latest information about the program. CONTENTS INSTALLATION KNOWN ISSUES Installation Issues -- Administrator Between Blind Slat Width Greater than Glazing System Gap Installation Issues -- Microsoft.NET Site To Source Multiplier -- changing it does not invalidate results Installation Directories by Operating System Natural Ventilation -- heating load increases Minimum computer requirements Climate Data Does Not Display Project Database from Previous Versions -- where is it ?

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


21

LBNL Windows & Daylighting Software -- COMFEN3: Knowledge Base  

NLE Websites -- All DOE Office Websites (Extended Search)

4.1 4.1 (4.1.25 -- October 4, 2012) Last update:09/11/13 11:39 AM Download COMFEN Release Notes (includes a list of changes to the program by version) Send feedback via email to COMFENHelp@lbl.gov. Also as bugs and comments are submitted by testers, they will be posted on this Knowledge Base, so check here for the latest information about the program. CONTENTS INSTALLATION KNOWN ISSUES Installation Issues -- Administrator Between Blind Slat Width Greater than Glazing System Gap Installation Issues -- Microsoft.NET Site To Source Multiplier -- changing it does not invalidate results Installation Directories by Operating System Natural Ventilation -- heating load increases Minimum computer requirements Simulation Error When Calculating a Scenario Project Database from Previous Versions -- where is it ?

22

Knowledge based systems in nondestructive evaluation  

SciTech Connect

This paper dicusses the application of knowledge based systems technology to problems in nondestructive evaluation (NDE). The Saft Image Interpretation Assistant (SIIA) is used as an illustrative example. SIIA is a prototype knowledge based system designed to assist in making the operation of the Synthetic Aperture Focusing Technique (SAFT) Ultrasonic Inspection System more reliable and efficient. The two primary motivations for developing SIIA were to insure that the SAFT system is used correctly and consistently and to assist in interpreting the results of a SAFT inspection. Our initial goal was to develop a system to assist in the interpretation of the images resulting from a SAFT inspection. As we started to identify the structure of the inspection problem, however, we realized knowledge based system technology could be more effectively applied to develop a system that is in essence an on-line procedure generator that guides a user through a SAFT inspection. When fully developed such a system could assist in proper setup of the inspection equipment for each of the steps in a SAFT inspection and in interpreting the inspection results for each step. The first section of the paper describes the structure of the SAFT inspection problem. The next section discusses three forms of knowledge: procedural, structural, and inferential as they relate to the SAFT problem. The final section discusses the implications of this type of system for other NDE techniques and applications.

Melton, R.B.

1987-08-01T23:59:59.000Z

23

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

24

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

25

RESFEN -- Knowledge Base RESFEN 3.1  

NLE Websites -- All DOE Office Websites (Extended Search)

3.1 Knowledge Base 3.1 Knowledge Base Tip - use the Find function in your browser to search this page Last update:05/18/05 04:59 PM Below is a list of RESFEN modeling issues that have been discovered by users, and possible solutions. For RESFEN support, send email to RESFENHelp@lbl.gov If you have questions or need program support, please DO NOT telephone Santosh Philip at Gabel Associates (as shown in the RESFEN Help/About screen). Instead send email to RESFENHelp@lbl.gov CONTENTS INSTALLATION Installation Error -- "Error Number: 0x8002802B, Description: Element not found" DOE2 Files for RESFEN bullet WINDOW 5.0 DOE2 Report for RESFEN bullet Results using WINDOW 4.1 DOE2 DAT files do not seem correct (too large a difference in results between using and not using the DAT files)

26

The Knowledge Base Evolution in Biotechnology: A Social Network Analysis.  

E-Print Network (OSTI)

The Knowledge Base Evolution in Biotechnology: A Social Network Analysis. Jackie Krafft*, Francesco of the biotechnology sector. Knowledge is here considered a collective good represented as a co

Paris-Sud XI, Université de

27

The Knowledge Base Evolution in Biotechnology: A Social Network Analysis.  

E-Print Network (OSTI)

The Knowledge Base Evolution in Biotechnology: A Social Network Analysis. Jackie Kraffta dynamics of the biotechnology sector. Knowledge is here considered a collective good represented as a co

Paris-Sud XI, Université de

28

Knowledge-based framework for hypothesis formation in biochemical networks  

Science Journals Connector (OSTI)

......Spain, September 28-October 1, 2005 Knowledge-based framework for hypothesis formation...85281, USA Motivation: The current knowledge about biochemical networks is largely...constantly need to revise or extend existing knowledge. The revision and/or extension are......

Nam Tran; Chitta Baral; Vinay J. Nagaraj; Lokesh Joshi

2005-09-01T23:59:59.000Z

29

The dynamics of knowledge-intensive sectors' knowledge base: Evidence from Biotechnology and Telecommunications1  

E-Print Network (OSTI)

and Telecommunications1 Jackie Kraffta , Francesco Quatraroa,b , Pier Paolo Saviottic a) University of Nice Sophia for the knowledge base and its evolution in two knowledge intensive sectors: biotechnology and telecommunications and telecommunications, two knowledge intensive sectors. Extending the recombinant knowledge theoretical framework

Paris-Sud XI, Université de

30

Knowledge-based Data Mining Using Semantic Web  

Science Journals Connector (OSTI)

Abstract Semantic web offers a smarter web service which synchronizes and arranges all the data over web in a disciplined manner. In data mining over web, the accuracy of selecting necessary data according to user demand and pick them for output is considered as a major challenging task over the years. This paper proposes an approach to mapping data over the web 3.0 through ontology and access the required data via an intelligent agent. The agent provides all the searched data related to user query from which user can find desired information. When the user does not have sufficient search parameter, knowledge can be perceived from the information provided by the agent. The derivation of such unknown knowledge from the existing can be achieved by semantic web mining. We present an intelligent agent-based web mining model where users’ query is being searched by following existing traditional way, e.g. by Google. The intelligent agent checks the searched data and derives only those are the semantically related to users search parameter. A work-in-progress case study of University Faculty Information presented to examine the effectiveness of the proposed model.

Sumaiya Kabir; Shamim Ripon; Mamunur Rahman; Tanjim Rahman

2014-01-01T23:59:59.000Z

31

CHAPTER 5 KNOWLEDGE BASE ISSUES 5.1 Introduction  

E-Print Network (OSTI)

71 CHAPTER 5 KNOWLEDGE BASE ISSUES 5.1 Introduction This chapter describes the issues surrounding the knowledge base, which forms the foundation for the intelligent agents for the proposed system. The subject areas of knowledge engineering and knowledge representation are introduced, and the issues of choosing

O'Connor, Rory

32

Check valve  

DOE Patents (OSTI)

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.

Upton, H.A.; Garcia, P.

1999-08-24T23:59:59.000Z

33

Check valve  

DOE Patents (OSTI)

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.

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

1999-08-24T23:59:59.000Z

34

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

E-Print Network (OSTI)

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

Cordeiro, Lucas; Marques-Silva, Joao

2009-01-01T23:59:59.000Z

35

Activity-based knowledge contexts : an exploration of Niklas Luhmann's autopoietic social theories for knowledge management practice and systems.  

E-Print Network (OSTI)

??[Truncated abstract] The dominant approaches to knowledge management practice and the design of knowledge management systems are driven by a resource-based view of knowledge. In… (more)

Young, Regit

2006-01-01T23:59:59.000Z

36

Knowledge base machines: requirements and short to medium term possibilities  

E-Print Network (OSTI)

Cockshott,P. Kulkarni,K. Proceedings of the Second Workshop on Architectures for Large Knowledge Bases University of Manchester

Cockshott, P.; Kulkarni, K.; Proceedings of the Second Workshop on Architectures for Large Knowledge Bases University of Manchester [More Details

37

The Cognitive Ergonomics of Knowledge-Based Design Support Systems  

E-Print Network (OSTI)

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

38

A knowledge base of the chemical compounds of intermediary metabolism  

Science Journals Connector (OSTI)

......Press August 1992 other ORIGINAL PAPERS A knowledge base of the chemical compounds of intermediary...paper describes a publicly available knowledge base of the chemical compounds involved...consider the motivations for constructing a knowledge base of metabolic compounds, the methodology......

Peter D. Karp

1992-08-01T23:59:59.000Z

39

A Knowledge-based System with Audio-Visual Aids  

Science Journals Connector (OSTI)

......December 1989 research-article Articles A Knowledge-based System with Audio-Visual Aids...0298-52-4326. Email: tabata@ulis.ac.jp A Knowledge-based System with Audio-Visual Aids (KS/AV) is presented. KS/AV is a knowledge-based system that has multiple types......

Koichi Tabata; Shigeo Sugimoto

1989-12-01T23:59:59.000Z

40

Knowledge Base Modelling Based on Linguistics and Founded R.P. van de Riet  

E-Print Network (OSTI)

Knowledge Base Modelling Based on Linguistics and Founded in Logic F.Dignum+ R.P. van de Riet Free University, Amsterdam ABSTRACT Knowledge Base Systems should in principle be able to store and manipulate any sort of knowledge, including vague (indefinite) knowledge, knowledge about events and obligations

Dignum, Frank

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


41

Knowledge Based Enterprises, Knowledge Economy and Knowledge Management: Recommended Academic Journals  

E-Print Network (OSTI)

and Learning International Journal of Learning and Intellectual Capital International Journal of Technology Journal of Information Technology Journal of International Business Studies* Journal of Knowledge of Strategic Information Systems Journal of Technology Transfer Journal of the American Statistical

Graham, Nick

42

A Knowledge Management Support Environment based on Dual Loop Model  

E-Print Network (OSTI)

A Knowledge Management Support Environment based on Dual Loop Model Mitsuru Ikeda, Yusuke Hayashi individuals and organizations be properly understood and support learning for knowledge inheritance, and encourage the creation, the spreading and inheriting of new knowledge. This paper presents an framework

Mizoguchi, Riichiro

43

Knowledge-Intensive Case-Based Reasoning and Intelligent Tutoring  

E-Print Network (OSTI)

Knowledge-Intensive Case-Based Reasoning and Intelligent Tutoring Agnar Aamodt Department Norway agnar.aamodt@idi.ntnu.no Abstract. Knowledge-intensive CBR assumes that cases are enriched with general domain knowledge. In the system Creek, developed in our group, there is a strong coupling between

Aamodt, Agnar

44

Learning Collaboration Moderator Services: Supporting Knowledge based Collaboration  

E-Print Network (OSTI)

Learning Collaboration Moderator Services: Supporting Knowledge based Collaboration A. K. Choudhary.k.choudhary, j.a.harding, r.swarnkar, b.p.das, r.i.young}@lboro.ac.uk Abstract. Collaboration Moderator Services to knowledge based collaboration by providing a set of functionalities such as raising awareness of business

Paris-Sud XI, Université de

45

A knowledge based constructability analysis prototype  

E-Print Network (OSTI)

: "Optimum integration of construction knowledge and experience in planning, engineering, procurement, and field operations to achieve overall project objectives. " (Tatum, Vanegas, and Williams, 1986) When defined by the contractor, the following results... methods and technologies. " (Tatum 1987) 1. 2. 2 Project Delivery System The constructability of a project is also contingent on the project delivery system. A project delivery system is: ". . . an organizational concept which assigns specific...

Winter, Laura Jo

2012-06-07T23:59:59.000Z

46

KNOWLEDGE-BASED DECISION SUPPORT IN OIL WELL DRILLING  

E-Print Network (OSTI)

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. This is followed, in section 3, by an oil well drilling scenario and an example from a problem solving session

Aamodt, Agnar

47

Assertion Absorption in Object Queries over Knowledge Bases  

E-Print Network (OSTI)

Assertion Absorption in Object Queries over Knowledge Bases Jiewen Wu, Alexander Hudek, David Toman contribute to this development by introducing a novel adaptation of bi- nary absorption for DL knowledge satisfaction problems in which consistency is assumed, and then revisit absorption in this new setting. To date

Waterloo, University of

48

A knowledge based approach to preliminary highway bridge design  

E-Print Network (OSTI)

This study examines the preliminary design of several types of highway bridges using a knowledge based approach. There are many different types of highway bridges and the ability to choose the best type of structure and a reasonable starting point...

Woodward, Richard Dean

2012-06-07T23:59:59.000Z

49

Knowledge organization tool: a supercard-based system  

E-Print Network (OSTI)

KNOWLEDGE ORGANIZATION TOOL: A SUPERCARD-BASED SYSTEM A Thesis by CINDY M. VAN BUIJTENEN Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE... December 1991 Major Subject: Industrial Engineerng KNOWLEDGE ORGANIZATION TOOL: A SUPERCARD-BASED SYSTEM A Thesis by CINDY M. VAN BUIJTENEN Approved as to style and content by: Newton C. Ellis (Chair of Committee) Deborah A. Mitta (Member) Dick...

Van Buijtenen, Cindy M.

2012-06-07T23:59:59.000Z

50

Knowledge management practices in project-based organisations  

Science Journals Connector (OSTI)

The paper aims to describe the difficulties in knowledge sharing in project management and suggest solutions to these difficulties. Following a review of knowledge sharing in the literature, workshops are conducted with expert project management practitioners in 2006; in addition, a questionnaire survey of the participants of the workshops is conducted. The study finds that Small- and Medium-sized Enterprises (SMEs) had different knowledge-sharing arrangements from those of Multinational Corporations (MNCs). The work of SMEs was more likely to be based on company-level knowledge sharing and the commitment of employees to projects was less marked. SMEs did not use formal project management systems to manage their projects; rather, they relied on the knowledge of individuals. In all of the companies studied, the most important challenges were cultural – how managers enable learning and how people can learn from mistakes most effectively. The structural factors in Knowledge Management (KM) were also of importance. The study is highly context-oriented and local. There is a need for in-depth interviews regarding the conditions of knowledge sharing in project business. The study makes a contribution to a better understanding of the knowledge-sharing conditions in project business in SMEs and MNCs.

Maqsood Sandhu; Marja Naaranoja

2009-01-01T23:59:59.000Z

51

Evaluation of database technologies for the CTBT Knowledge Base prototype  

SciTech Connect

This document examines a number of different software technologies in the rapidly changing field of database management systems, evaluates these systems in light of the expected needs of the Comprehensive Test Ban Treaty (CTBT) Knowledge Base, and makes some recommendations for the initial prototypes of the Knowledge Base. The Knowledge Base requirements are examined and then used as criteria for evaluation of the database management options. A mock-up of the data expected in the Knowledge Base is used as a basis for examining how four different database technologies deal with the problems of storing and retrieving the data. Based on these requirement and the results of the evaluation, the recommendation is that the Illustra database be considered for the initial prototype of the Knowledge Base. Illustra offers a unique blend of performance, flexibility, and features that will aid in the implementation of the prototype. At the same time, Illustra provides a high level of compatibility with the hardware and software environments present at the US NDC (National Data Center) and the PIDC (Prototype International Data Center).

Keyser, R.; Shepard-Dombroski, E.; Baur, D.; Hipp, J.; Moore, S.; Young, C.; Chael, E.

1996-11-01T23:59:59.000Z

52

Integrating knowledge-based techniques into well-test interpretation  

SciTech Connect

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

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

1995-04-01T23:59:59.000Z

53

A graphical user interface for knowledge-based control  

E-Print Network (OSTI)

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-oriented... cruising to landing. However, in the interest of simulation simplicity, no models were designed to handle turning of the aircraft. Because the simulation ~a& 4m so MACH =m AS ~Z25 160 ~', PO ISO l I~it 20 l. e 22 ENGINE 2l Ezz oaz o. e 12 IO...

Russell, Paul Joseph

2012-06-07T23:59:59.000Z

54

C3Bio.org - Knowledge Base: Tips: Customize your "My HUB" page  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Tips Customize your "My HUB" page Knowledge Base Main page Categories...

55

C3Bio.org - Knowledge Base: Login & Registration: I've lost my...  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Login & Registration I've lost my password Knowledge Base Main page...

56

C3Bio.org - Knowledge Base: Login & Registration: I registered...  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Login & Registration I registered but cannot log in Knowledge Base...

57

C3Bio.org - Knowledge Base: Tips: Share a simulation session  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Tips Share a simulation session Knowledge Base Main page Categories All...

58

C3Bio.org - Knowledge Base: Login & Registration: Why can't I...  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Login & Registration Why can't I log in? Knowledge Base Main page...

59

C3Bio.org - Knowledge Base: Login & Registration: How do I change...  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Login & Registration How do I change my password? Knowledge Base Main...

60

C3Bio.org - Knowledge Base: Miscellaneous: How to View/Download...  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Miscellaneous How to ViewDownload Video Content? Knowledge Base Main...

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


61

C3Bio.org - Knowledge Base: Miscellaneous: Why the math question...  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Miscellaneous Why the math question? Knowledge Base Main page...

62

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

NLE Websites -- All DOE Office Websites (Extended Search)

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

63

Knowledge-Based Design of Scheduling Systems Jrgen Sauer  

E-Print Network (OSTI)

have to decide and control within the scheduling process. In different application areas scheduling1 Knowledge-Based Design of Scheduling Systems Jürgen Sauer Universität Oldenburg, FB Informatik Escherweg 2 D-26121 Oldenburg, Germany sauer@informatik.uni-oldenburg.de Abstract A Scheduling system shall

Appelrath, Hans-Jürgen

64

Multimodal knowledge-based analysis in multimedia event detection  

Science Journals Connector (OSTI)

Multimedia Event Detection (MED) is a multimedia retrieval task with the goal of finding videos of a particular event in a large-scale Internet video archive, given example videos and text descriptions. We focus on the multimodal knowledge-based analysis ... Keywords: acoustic concept indexing, adaptive semantic similarity, multimedia retrieval, visual concept signature

Ehsan Younessian; Teruko Mitamura; Alexander Hauptmann

2012-06-01T23:59:59.000Z

65

Genetic Programming of Full Knowledge Bases for Fuzzy Logic Controllers  

E-Print Network (OSTI)

Genetic Programming of Full Knowledge Bases for Fuzzy Logic Controllers Daryl Battle Lucent in fuzzy logic control applications. An extension to a rule learning GP system is presented that achieves and fuzzy logic. These methods have proven to be effective in designing intelligent control systems

Fernandez, Thomas

66

Parallel Spell-Checking Algorithm Based on Yahoo! N-Grams Dataset  

E-Print Network (OSTI)

Spell-checking is the process of detecting and sometimes providing suggestions for incorrectly spelled words in a text. Basically, the larger the dictionary of a spell-checker is, the higher is the error detection rate; otherwise, misspellings would pass undetected. Unfortunately, traditional dictionaries suffer from out-of-vocabulary and data sparseness problems as they do not encompass large vocabulary of words indispensable to cover proper names, domain-specific terms, technical jargons, special acronyms, and terminologies. As a result, spell-checkers will incur low error detection and correction rate and will fail to flag all errors in the text. This paper proposes a new parallel shared-memory spell-checking algorithm that uses rich real-world word statistics from Yahoo! N-Grams Dataset to correct non-word and real-word errors in computer text. Essentially, the proposed algorithm can be divided into three sub-algorithms that run in a parallel fashion: The error detection algorithm that detects misspelling...

Bassil, Youssef

2012-01-01T23:59:59.000Z

67

Using the DOE Knowledge Base for Special Event Analysis  

SciTech Connect

The DOE Knowledge Base is a library of detailed information whose purpose is to support the United States National Data Center (USNDC) in its mission to monitor compliance with the Comprehensive Test Ban Treaty (CTBT). One of the important tasks which the USNDC must accomplish is to periodically perform detailed analysis of events of high interest, so-called "Special Events", to provide the national authority with information needed to make policy decisions. In this paper we investigate some possible uses of the Knowledge Base for Special Event Analysis (SEA), and make recommendations for improving Knowledge Base support for SEA. To analyze an event in detail, there are two basic types of data which must be used sensor-derived data (wave- forms, arrivals, events, etc.) and regiohalized contextual data (known sources, geological characteristics, etc.). Cur- rently there is no single package which can provide full access to both types of data, so for our study we use a separate package for each MatSeis, the Sandia Labs-developed MATLAB-based seismic analysis package, for wave- form data analysis, and ArcView, an ESRI product, for contextual data analysis. Both packages are well-suited to pro- totyping because they provide a rich set of currently available functionality and yet are also flexible and easily extensible, . Using these tools and Phase I Knowledge Base data sets, we show how the Knowledge Base can improve both the speed and the quality of SEA. Empirically-derived interpolated correction information can be accessed to improve both location estimates and associated error estimates. This information can in turn be used to identi~ any known nearby sources (e.g. mines, volcanos), which may then trigger specialized processing of the sensor data. Based on the location estimate, preferred magnitude formulas and discriminants can be retrieved, and any known blockages can be identified to prevent miscalculations. Relevant historic events can be identilled either by spatial proximity searches or through waveform correlation processing. The locations and waveforms of these events can then be made available for side-by-side comparison and processing. If synthetic modeling is thought to be warranted, a wide variety of rele- vant contextu~l information (e.g. crustal thickness and layering, seismic velocities, attenuation factors) can be retrieved and sent to the appropriate applications. Once formedj the synthetics can then be brought in for side-by-side comparison and fhrther processing. Based on our study, we make two general recommendations. First, proper inter-process communication between sensor data analysis software and contextual data analysis sofisvare should be developed. Second, some of the Knowl- edge Base data sets should be prioritized or winnowed to streamline comparison with observed quantities.

Armstrong, H.M.; Harris, J.M.; Young, C.J.

1998-10-20T23:59:59.000Z

68

A framework for an innovative knowledge management system in knowlegde-based firms.  

E-Print Network (OSTI)

??This study examined how a knowledge management system can bring innovative behaviour to a knowledge based firm. The study developed a framework for such a… (more)

Lindner, Eli

2014-01-01T23:59:59.000Z

69

Development of knowledge bases for large steam turbine transients  

SciTech Connect

At this time, a number of high-qualified expert teams in different countries have accumulated significant experience in working up and introducing proficient algorithms of automated control, diagnostics, monitoring, on-line informative support, and off-line analysis for large steam turbines of fossil-fired and nuclear power plant units at their transients. In particular, such works were carried out at All-Russia Thermal Engineering Research Institute in Moscow. When put into effect, these developments do improve plant unit operation and maintenance. The creation of these algorithms is based on deep technological research of turbine transients with the use of their mathematical modeling. Currently, the central problem becomes a reiteration and adaptation of these developments to other objects which differ in design, scheme, and operation features. This problem is to be solved at the least cost. For certain complex tasks, it seems to be expedient to use expert system methodology with special knowledge bases. Along with the selection of such tasks, the creation of more or less general knowledge bases requires us to stratify the potential objects according to their principle features. The proposed forms of a knowledge presentation, including the mathematical models and logical rules, should correspond to the considered tasks and objects, as well as to the program tools to be applied. Such developments have been carried out for some tasks of the operating informative support and post-operating analysis of large steam turbine transients as well as their mathematical modeling.

Leyzerovich, A. [Washington Univ., St. Louis, MO (United States)

1995-09-01T23:59:59.000Z

70

Knowledge-based computational search for genes associated with the metabolic syndrome  

Science Journals Connector (OSTI)

......ORIGINAL PAPERS Data and text mining Knowledge-based computational search for genes...integrating the large amount of accumulated knowledge is seriously needed. A comprehensive...validity was confirmed by comparing the knowledge extracted by the ordering with existing......

Tsutomu Matsunaga; Masa-aki Muramatsu

2005-07-01T23:59:59.000Z

71

Knowledge-based modeling using GIS: nonpoint source pollution application  

E-Print Network (OSTI)

loss over the watershed ANSI (2 inch event). . 58 V. l 1 Simulated effect of recommended BMPs on actual soil loss (2 inch event). 59 V. 12 Spatial distribution of the actual soil loss over the watershed ANSI (3 inch event) . . 60 V. 13 Simulated... Modeling Environment 29 IV MATERIALS AND METHODS 1 Inputs from AGNPS/GRASS Interface 33 2 Knowledge-based Approa. ch 35 2. 1 Study Area: Animal Science Watershed (ANSI) 35 2. 2 Identification 2. 3 Watershed Management using Best Management Practices...

Mohite, Mahendra P.

2012-06-07T23:59:59.000Z

72

Plan generation strategies for a knowledge based process planning system  

E-Print Network (OSTI)

Feature Topology Constraints" Function 5. 4. 3 "Determine Tolerance Related Constraint" Function 5. 5 IDEFO Model of Manufacturing Entity Generation 5. 5. 1 "Interpret Design Implication" Function 5. 5. 2 "Identify Operation Types" Function 5. 5. 3...-9. Assimulate Part Dimensions Interpret Dimensional Tolerance Interpret Geometric Tolerance Check for Part Anomalies Checking Manufacturability 38 39 40 42 43 3-10 Determine Raw Material Configuration 3-11. Evolve Manufacturing Entities 3...

Hari, Umesh

2012-06-07T23:59:59.000Z

73

Energy-Aware Manufacturing Using Information Technology Tools: A Knowledge Based System Approach  

Science Journals Connector (OSTI)

This manuscript discusses the implementation of information technology tools; specifically, computerized Knowledge Based Systems (KBS), in managing the energy flows, conversions, and expenditures within manufacturing environments; including renewable ... Keywords: Energy Auditing, Energy Management, Energy Optimization, Knowledge Based Systems, Sustainable Manufacturing

Mohammed A. Omar, Ahmad Mayyas, Qilun Zhou

2014-01-01T23:59:59.000Z

74

From Check-in/Check-out to Be-in/Be-out: BLE-based Automated Journey Payment in Public Transportation:.  

E-Print Network (OSTI)

??The current Dutch OV-chipkaart payment system for public transportation is based on RFID cards and requires a lot of manual actions from travellers. In this… (more)

Treurniet, J.J.

2015-01-01T23:59:59.000Z

75

Knowledge-based simulation of DNA metabolism: prediction of enzyme action  

Science Journals Connector (OSTI)

......Press January 1991 other ORIGINAL PAPERS Knowledge-based simulation of DNA metabolism...CA 94305, USA We have developed a knowledge-based simulation of DNA metabolism...first step in the development of a large knowledge base to envision the metabolic pathways......

Douglas L. Brutlag; Adam R. Galper; David H. Millis

1991-01-01T23:59:59.000Z

76

Bisimulation and public announcements in logics of evidence-based knowledge  

E-Print Network (OSTI)

Bisimulation and public announcements in logics of evidence-based knowledge Bryan Renne Computer for Artemov's logics of evidence-based knowledge. Bisimulation allows us to study the effect of dynamic epistemic operation, add expressivity to the language of evidenced-based knowledge. It is also shown

Renne, Bryan

77

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

E-Print Network (OSTI)

PVSAT-2: RESULTS OF FIELD TEST OF THE SATELLITE-BASED PV SYSTEM PERFORMANCE CHECK A.C. de Keizer1 has been developed. Measured energy yield and simulated yield that is based on satellite information. The uncertainty in the simulated energy yield can be high for cloudy weather situations

Heinemann, Detlev

78

Knowledge-Intensive Case-Based Reasoning in CREEK Agnar Aamodt  

E-Print Network (OSTI)

Knowledge-Intensive Case-Based Reasoning in CREEK Agnar Aamodt Department of Computer.aamodt@idi.ntnu.no Abstract. Knowledge-intensive CBR assumes that cases are enriched with general domain knowledge. In CREEK, there is a very strong coupling between cases and general domain knowledge, in that cases are embedded within

Aamodt, Agnar

79

Identification of threats using linguistics-based knowledge extraction.  

SciTech Connect

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

Chew, Peter A.

2008-09-01T23:59:59.000Z

80

Knowledge Extraction from Neural Networks using the All-Permutations Fuzzy Rule Base  

E-Print Network (OSTI)

Knowledge Extraction from Neural Networks using the All-Permutations Fuzzy Rule Base Eyal Kolman and a specific fuzzy rule base to extract the knowledge embedded in the network. We demonstrate this using and comprehensible description of the knowledge learned by the network during its training. Keywords: Feedforward

Margaliot, Michael

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


81

A Knowledge Base for Integer Programming — A Meta-OR Approach  

Science Journals Connector (OSTI)

In this paper, we introduce the concept of “meta-OR” for formalizing the qualitive knowledge imbedded in the applications of OR/MS methods. “Meta-OR” is based on the meta-knowledge concept in artificial intell...

Fatameh Zahedi

1990-01-01T23:59:59.000Z

82

A knowledge-based intelligent electronic commerce system for selling agricultural products  

Science Journals Connector (OSTI)

This paper presents a knowledge-based intelligent e-commerce system for selling agricultural products. The KIES system not only provides agricultural products sales, financial analysis and sales forecasting, but also provides feasible solutions or actions ... Keywords: Knowledge-based intelligent system, Model base, Rule base, e-Commerce

W. Wen

2007-05-01T23:59:59.000Z

83

Determination of monitor unit check tolerances based on a comparison with measurement and treatment planning system data  

SciTech Connect

ABSTRACT: This work describes the experimental validation of treatment planning system monitor unit (MU) calculations against measurement for a range of scenarios. This, together with a comparison of treatment planning system MUs and an independent MU check method, allows the derivation of confidence intervals for the check process. Data were collected for open and 60° motorized wedge fields using an Elekta Synergy linac at 6 and 8 MV using homogeneous and heterogeneous phantoms. Masterplan (Version 4.0) pencil-beam and collapsed cone algorithms were used for the primary MU calculations with full inhomogeneity correction. Results show that both algorithms agree with measurement to acceptable tolerance levels in the majority of the cases studied. The confidence interval for the pencil-beam algorithm MU against an independent check was determined as + 1.6% to ?3.4%. This is modified to + 2.3% to ?2.5% when data collected with low-density heterogeneities are removed as this algorithm is not used clinically for these cases. The corresponding interval for the collapsed cone algorithm was + 1.2% to ?4.3%, indicating that an offset tolerance for the independent check is appropriate. Analysis of clinical conformal treatment plan data generated using the pencil-beam algorithm (1393 beams) returned 93% of beams within the independent check tolerance. Similarly, using the collapsed cone algorithm as the primary MU calculation, 77% (of 1434 beams) were within the confidence interval.

Curtis, Helen [Medical Physics Department, The James Cook University Hospital, Middlesbrough (United Kingdom); Richmond, Neil, E-mail: neil.richmond@stees.nhs.uk [Medical Physics Department, The James Cook University Hospital, Middlesbrough (United Kingdom); Burke, Kevin; Walker, Chris [Medical Physics Department, The James Cook University Hospital, Middlesbrough (United Kingdom)

2013-04-01T23:59:59.000Z

84

E-Print Network 3.0 - all-atom knowledge-based energy Sample...  

NLE Websites -- All DOE Office Websites (Extended Search)

atom representations. This dual strategy has found suc- cess in the challenging ab... - tide chains, the derivation of knowledge-based poten- tials from PDB structures hinges on...

85

C3Bio.org - Knowledge Base: Login & Registration: I registered...  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Login & Registration I registered in the past but cannot log in...

86

C3Bio.org - Knowledge Base: Login & Registration: Why is Hispanic...  

NLE Websites -- All DOE Office Websites (Extended Search)

(.jpg, .jpeg, .jpe, .bmp, .tif, .tiff, .png, .gif) Submit You are here: Home Knowledge Base Login & Registration Why is Hispanic Latino not a racial background...

87

Model checking grid security  

Science Journals Connector (OSTI)

Grid computing is one of the leading forms of high performance computing. Security in the grid environment is a challenging issue that can be characterized as a complex system involving many subtleties that may lead designers into error. This is similar to what happens with security protocols where automatic verification techniques (specially model checking) have been proved to be very useful at design time. This paper proposes a formal verification methodology based on model checking that can be applied to host security verification for grid systems. The proposed methodology must take into account that a grid system can be described as a parameterized model, and security requirements can be described as hyperproperties. Unfortunately, both parameterized model checking and hyperproperty verification are, in general, undecidable. However, it has been proved that this problem becomes decidable when jobs have some regularities in their organization. Therefore, this paper presents a verification methodology that reduces a given grid system model to a model to which it is possible to apply a “cutoff” theorem (i.e., a requirement is satisfied by a system with an arbitrary number of jobs if and only if it is satisfied by a system with a finite number of jobs up to a cutoff size). This methodology is supported by a set of theorems, whose proofs are presented in this paper. The methodology is explained by means of a case study: the Condor system.

F. Pagliarecci; L. Spalazzi; F. Spegni

2013-01-01T23:59:59.000Z

88

The relationship between technology-based and product-based knowledge and alliance formation in new firms  

Science Journals Connector (OSTI)

Firms are typically viewed as seeking alliances to achieve certain outcomes, advantages they perceive will result from these relationships. Our research investigates whether certain inputs, specifically knowledge, can explain differential alliance formation. Our empirical analysis of 67 new computer and telecommunications firms reveals that firms with more extensive technology-based and product-based knowledge are more likely to form alliances at a higher rate than those with less extensive knowledge. The implications for these findings are that alliances are more attractive to firms with a foundation of knowledge that can be leveraged, and firms with this knowledge have something of value to attract alliance partners.

Donna J. Kelley; Mark P. Rice; Lois S. Peters

2001-01-01T23:59:59.000Z

89

Development of a knowledge-based system for cogeneration plant design: Verification, validation and lessons learned  

Science Journals Connector (OSTI)

This paper presents the development of a knowledge-based system (KBS) prototype able to design natural gas cogeneration plants, demonstrating new features for this field. The design of such power plants represents a synthesis problem, subject to thermodynamic ... Keywords: Cogeneration, Design, Knowledge-based system, Validation, Verification

Jonny Carlos Da Silva, José Alexandre Matelli, Edson Bazzo

2014-09-01T23:59:59.000Z

90

Knowledge-based service architecture for multi-risk environmental decision support applications  

E-Print Network (OSTI)

Knowledge-based service architecture for multi-risk environmental decision support applications and fusion. This paper describes our work to date on environmental service oriented architecture. This paper describes our work to date on knowledge-based service architecture implementations for multi

Middleton, Stuart E.

91

A building’s refurbishment knowledge and device based decision support system  

Science Journals Connector (OSTI)

The integration of knowledge-based, devices-based and decision support systems have a very promising future in scientific research. The authors of this paper participated in the project Framework 6, ‘Bringing Retrofit Innovation to the Application ...

Edmundas Zavadskas; Arturas Kaklauskas; Povilas Vainiunas; Ruta Dubakiene; Andrius Gulbinas; Mindaugas Krutinis; Petras Cyras; Liudas Rimkus

2006-09-01T23:59:59.000Z

92

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

DOE Patents (OSTI)

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

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

2011-04-26T23:59:59.000Z

93

Modelling Knowledge-Based Systems Using UML Profile Mohd Syazwan Abdullah, Ian Benest Andy Evans, Chris Kimble  

E-Print Network (OSTI)

Modelling Knowledge-Based Systems Using UML Profile Mohd Syazwan Abdullah, Ian Benest Andy Evans,idb@cs.york.ac.uk andye,kimble@cs.york.ac.uk Abstract ­ Knowledge-based systems (KBS) play an important rôle in managing an organisation's knowledge initiated through knowledge management processes. These systems are designed

Kimble, Chris

94

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

E-Print Network (OSTI)

safety culture to enable effective use of available knowledge for the prevention of major accidentsKNOWLEDGE MANAGEMENT FOR INDUSTRIAL SAFETY, GENERIC RESOURCE PLATFORM COMBINED WITH AN ONTOLOGY to manage risks and maintain industrial safety is largely based on the capacity of various actors to acquire

Boyer, Edmond

95

Learning Design based on Graphical Knowledge-By Gilbert Paquette, Michel Lonard, Karin Lundgren-Cayrol,  

E-Print Network (OSTI)

design components can guide the construction of learning designs and help to classify them, where knowledge and competencies, learning design and delivery models are constructed in an integrated1 Learning Design based on Graphical Knowledge- Modeling By Gilbert Paquette, Michel Léonard, Karin

Paris-Sud XI, Université de

96

A heuristic knowledge base for plant hormone action  

E-Print Network (OSTI)

by the variance in hormone dose response experiments used in the past (Boerjan et. al 1992). Predicting plant growth based on hormone concentration is akin to predicting the price of a ton of wood fiber based exclusively on the number of acres planted...

Finkelstein, David Benjamin

1993-01-01T23:59:59.000Z

97

Knowledge and heuristic-based modeling of laser-scanned trees  

Science Journals Connector (OSTI)

We present a semi-automatic and efficient method for producing full polygonal models of range scanned trees, which are initially represented as sparse ... Keywords: Digitizing and scanning, knowledge-based modeling

Hui Xu; Nathan Gossett; Baoquan Chen

2007-10-01T23:59:59.000Z

98

C3Bio.org - Knowledge Base: Tools: Help! I'm getting a Java error...  

NLE Websites -- All DOE Office Websites (Extended Search)

Tools Help I'm getting a Java error Knowledge Base Main page Categories All Articles Login & Registration 9 Members & Groups 4 Miscellaneous 5 Tips 5 Tools 3 Help I'm...

99

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

E-Print Network (OSTI)

??A Pipeline Analytical Program and Dredging Knowledge{Base Expert{System (DKBES) determines a pipeline dredge's production and resulting cost and schedule. Pipeline dredge engineering presents a complex… (more)

Wilson, Derek Alan

2011-01-01T23:59:59.000Z

100

SUPPORTING DOMAIN SPECIFIC WEB-BASED SEARCH USING HEURISTIC KNOWLEDGE EXTRACTION  

E-Print Network (OSTI)

A SUPPORTING DOMAIN SPECIFIC WEB-BASED SEARCH USING HEURISTIC KNOWLEDGE EXTRACTION A Thesis by SUDHARSAN GUNANATHAN Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment... of the requirements for the degree of MASTER OF SCIENCE August 2008 Major Subject: Computer Science B SUPPORTING DOMAIN SPECIFIC WEB-BASED SEARCH USING HEURISTIC KNOWLEDGE EXTRACTION A Thesis by SUDHARSAN GUNANATHAN Submitted...

Gunanathan, Sudharsan

2010-01-16T23:59:59.000Z

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


101

A knowledge-based component library for high-level computer vision tasks  

Science Journals Connector (OSTI)

Abstract Computer vision is an interdisciplinary field that includes methods for acquiring, processing, analyzing, and understanding visual information. In computer vision, usually the approaches to solve problems are specific-application methods and, therefore, reusing captured knowledge in computer vision is hard. However, the aim of knowledge modeling (KM) is to capture and reuse knowledge to solve different problems. In this paper, we propose a knowledge-based component library for computer vision tasks such as video surveillance applications. The developed components are based on the region of interest (ROI) a well-known concept in the image processing and computer vision fields. We provide a set of reusable components that are specializations and/or compositions of ROIs. Finally, we propose several case studies that illustrate the feasibility of the proposal. Experimental results show that the proposed method deals effectively and efficiently with real-life computer vision problems.

D. Fernández-López; R. Cabido; A. Sierra-Alonso; A.S. Montemayor; J.J. Pantrigo

2014-01-01T23:59:59.000Z

102

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

E-Print Network (OSTI)

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

Pla, Ferran

103

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

E-Print Network (OSTI)

A DREDGING KNOWLEDGE{BASE EXPERT SYSTEM FOR PIPELINE DREDGES WITH COMPARISON TO FIELD DATA A Dissertation by DEREK ALAN WILSON Submitted to the O ce of Graduate Studies of Texas A&M University in partial ful llment of the requirements for the degree... of DOCTOR OF PHILOSOPHY December 2010 Major Subject: Ocean Engineering A DREDGING KNOWLEDGE{BASE EXPERT SYSTEM FOR PIPELINE DREDGES WITH COMPARISON TO FIELD DATA A Dissertation by DEREK ALAN WILSON Submitted to the O ce of Graduate Studies of Texas A...

Wilson, Derek Alan

2011-02-22T23:59:59.000Z

104

Translation of Graph-based Knowledge Representation in Multi-agent System  

Science Journals Connector (OSTI)

Abstract Agents provide a feasible mean for maintaining and manipulating large scale data. This paper deals with the problem of information exchange between different agents. It uses graph based formalism for the representation of knowledge maintained by an agent and graph transformations as a mean of knowledge exchange. Such a rigorous formalism ensures the cohesion of graph-based knowledge held by agents after each modification and exchange action. The approach presented in this paper is illustrated by a case study dealing with the problem of personal data held in different places (maintained by different agents) and the process of transmitting such information.11 Financial support for this study was provided from resources of National Center for Research and Development, the grant number \\{NCBiR\\} 0021/R/ID2/2011/01.

Leszek Kotulski; Adam S?dziwy; Barbara Strug

2014-01-01T23:59:59.000Z

105

Ontology-Based Knowledge Acquisition for Neuromotor Functional Recovery in Stroke  

E-Print Network (OSTI)

Ontology-Based Knowledge Acquisition for Neuromotor Functional Recovery in Stroke Christopher stroke, the leading cause of adult disability in the United States. The initial severity of hemiparesis response of stroke survivors does not always correlate with their initial level of impairment. This implies

Huang, Jingshan

106

A KNOWLEDGE BASED FRAMEWORK FOR THE DETECTION OF MEASUREMENT UNCERTAINTIES IN DERIVED SEA SURFACE CURRENT FIELDS  

E-Print Network (OSTI)

A KNOWLEDGE BASED FRAMEWORK FOR THE DETECTION OF MEASUREMENT UNCERTAINTIES IN DERIVED SEA SURFACE University of Technology, STS Institute, Hamburg, Germany 3 University of Hamburg, Centre for Marine with the currents to be measured. Optical flow due to other image features, e.g. ship wakes, does not correspond

Hamburg,.Universität

107

Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning  

E-Print Network (OSTI)

), in this paper, we present some empirical evidence to validate the effectiveness of us- ing knowledge-based planning techniques for solving WSC problems. In our experiments we utilize the PKS (Planning users to register/login prior to browsing resources. Some work has addressed the problem of planning un

Lespérance, Yves

108

Page 1 of 3 Title: eLearning Knowledge Base Group Terms of Reference  

E-Print Network (OSTI)

Learning Communications group and Control Interface and Integration group on implications for KB of upgrades · Update) Control Interface and Integration group ­ responsible for testing Control Interface and Integration group the operational delivery of user support documentation via the Knowledge Base (KB) and is under the sponsorship

Sidorov, Nikita

109

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

E-Print Network (OSTI)

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

Katsumoto, Shingo

110

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

E-Print Network (OSTI)

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

Fernandez, Thomas

111

Knowledge | Replication Knowledg owledge | Replication Knowledge | R  

E-Print Network (OSTI)

Knowledge | Replication Knowledg owledge | Replication Knowledge | R wledge | ReplicationKnowledge | Re dge | ReplicationKnowledge | Repl e | ReplicationKnowledge | Replica | ReplicationKnowledge | Replicatio Replication Knowledge | Replication ication Knowledge | Replication ationKnowledge | Replication

Shull, Kenneth R.

112

Knowledge-based algorithm for satellite image classification of urban wetlands  

Science Journals Connector (OSTI)

It has been a challenge to accurately detect urban wetlands with remotely sensed data by means of pixel-based image classification. This technical difficulty results mainly from inadequate spatial resolutions of satellite imagery spectral similarities between urban wetlands and adjacent land covers and spatial complexity of wetlands in human transformed heterogeneous urban landscapes. To address this issue an image classification approach has been developed to improve the mapping accuracy of urban wetlands by integrating the pixel-based classification with a knowledge-based algorithm. The algorithm includes a set of decision rules of identifying wetland cover in relation to their elevation spatial adjacencies habitat conditions hydro-geomorphological characteristics and relevant geo-statistics. ERDAS Imagine software was used to develop the knowledge base and implement the classification. The study area is the metropolitan region of Kansas City USA. SPOT satellite images of 1992 2008 and 2010 were classified into four classes - wetland farmland built-up land and forestland. The results suggest that the knowledge-based image classification approach can enhance urban wetland detection capabilities and classification accuracies with remotely sensed satellite imagery.

2014-01-01T23:59:59.000Z

113

The Use of Explanations in Knowledge-Based Systems: Cognitive Perspectives and a Process-Tracing Analysis  

Science Journals Connector (OSTI)

This exploratory research investigates the nature of explanation use and factors that influence it during users' interaction with a knowledge-based system (KBS) for decision-making. It draws upon several cognitive perspectives to help understand when, ... Keywords: Explanations Explanations In Expert Systems Knowledge Based Systems Verbal Protocol Analysis

Ji-Ye Mao; Izak Benbasat

2000-08-01T23:59:59.000Z

114

Measuring, monitoring, and assessing software process using PAMPA 2.0 knowledge-based system  

E-Print Network (OSTI)

Page 1 PAMPA 2.0 Knowledge Base Framework??????????????..?3 2 Integration of Rational Tools & MS Project..?????????????...15 3 PAMPA 2.0 Architecture..?????????????????????16 4 CMM Assessment Procedure..???????????????????..20 5.....??????????????????.......27 2. Rational Unified Process????????????.........27 3. ISO/IEC 12207???????????.??????...28 4. IEEE/EIA 12207..????????????????...28 F. Create an Intelligent Agent to Assess CMM Objectively?.......29 G. Measuring CMM Level???????????.????..30...

Jung, Jin Hwan

2005-08-29T23:59:59.000Z

115

SIIA: a knowledge based assistant for the SAFT ultrasonic inspection system  

SciTech Connect

The first section of the paper describes the structure of the problem and our conceptual design of the knowledge-based system. The next section describes the current state of the prototype SIIA system and relates some of our experiences in developing the system. The final section discusses our plans for future development of SIIA and the implications of this type of system for other nondestructive evaluation techniques and applications.

Melton, R.B.; Doctor, S.R.; Taylor, T.T.; Badalamente, R.V.

1986-07-01T23:59:59.000Z

116

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

Science Journals Connector (OSTI)

Current xenon oscillation control methods used in pressurized water reactors are knowledge intensive, and heuristic in nature. An expert system is developed to implement the heuristic constant axial offset control procedure to aid reactor operators in increasing the plant reliability by reducing the human error component of the failure probability. An expert system is written in the production system language, OPS5, with a forward chaining algorithm. It samples the reactor core with a certain time interval, evaluates the core status to determine the necessary corrective actions in terms of reactivity insertion, and selects the control parameter to realize this reactivity insertion. The amount of control action is determined using a knowledge base which consists of the differential rod worth curves, and the boron reactivity worth of a given reactor. The controller has been tested using a one-dimesional core model for verification of the rules and the code. It has been shown that, having the reactor dependent parameters in its knowledge base, the controller is able to follow a typical load demand for a daily cycle of a reactor, and is able to keep the axial offset within a target band.

Serhat Alten; Richard A Danofsky

1993-01-01T23:59:59.000Z

117

A rough set-based incremental approach for learning knowledge in dynamic incomplete information systems  

Science Journals Connector (OSTI)

Abstract With the rapid growth of data sets nowadays, the object sets in an information system may evolve in time when new information arrives. In order to deal with the missing data and incomplete information in real decision problems, this paper presents a matrix based incremental approach in dynamic incomplete information systems. Three matrices (support matrix, accuracy matrix and coverage matrix) under four different extended relations (tolerance relation, similarity relation, limited tolerance relation and characteristic relation), are introduced to incomplete information systems for inducing knowledge dynamically. An illustration shows the procedure of the proposed method for knowledge updating. Extensive experimental evaluations on nine UCI datasets and a big dataset with millions of records validate the feasibility of our proposed approach.

Dun Liu; Tianrui Li; Junbo Zhang

2014-01-01T23:59:59.000Z

118

Knowledge-Based Parallel Performance Technology for Scientific Application Competitiveness Final Report  

SciTech Connect

The primary goal of the University of Oregon's DOE "Ã?Â?competitiveness" project was to create performance technology that embodies and supports knowledge of performance data, analysis, and diagnosis in parallel performance problem solving. The target of our development activities was the TAU Performance System and the technology accomplishments reported in this and prior reports have all been incorporated in the TAU open software distribution. In addition, the project has been committed to maintaining strong interactions with the DOE SciDAC Performance Engineering Research Institute (PERI) and Center for Technology for Advanced Scientific Component Software (TASCS). This collaboration has proved valuable for translation of our knowledge-based performance techniques to parallel application development and performance engineering practice. Our outreach has also extended to the DOE Advanced CompuTational Software (ACTS) collection and project. Throughout the project we have participated in the PERI and TASCS meetings, as well as the ACTS annual workshops.

Allen D. Malony; Sameer Shende

2011-08-15T23:59:59.000Z

119

Knowledge-based system for use of FRP materials in cold regions  

Science Journals Connector (OSTI)

Fibre-Reinforced Polymer (FRP) composites provide significant advantages for construction of infrastructure in cold regions due (i) to lower weight resulting in greater ease in moving prefabricating components and more rapid construction and (ii) to tailorable performance characteristics giving potentially greater durability than conventional materials. However data related to performance characteristics, structural response and design is sparse and not easily available to the user community. The use of an integrated knowledge based system is seen as a means of alleviating this and providing a basis for further development of this class of materials.

Vistasp M. Karbhari

2007-01-01T23:59:59.000Z

120

Agent-Based Evolutionary Approach for Interpretable Rule-Based Knowledge Extraction  

E-Print Network (OSTI)

College of Electrical Engineering, Zhejiang University, Hangzhou 310027, PRC 4 Department of Electronic formulation and interpretability-based regulation method. Based on the obtained fuzzy sets, the Pittsburgh of fuzzy systems into considerations. In addition, the fuzzy set agents can cooperate with each other

Jin, Yaochu

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


121

Developing a Knowledge-Based System Using Rough Set Theory and Genetic Algorithms for Substation Fault Diagnosis  

Science Journals Connector (OSTI)

This chapter proposes a novel and hybrid approach using Rough Set Theory and a Genetic Algorithm (RS-GA) indexrough hybrid to extract knowledge from a set of events captured by (microprocessor based) protection, ...

Ching Lai Hor; Peter Crossley; Simon Watson…

2009-01-01T23:59:59.000Z

122

DECK: Distance and environment-dependent, coarse-grained, knowledge-based potentials for protein-protein docking  

E-Print Network (OSTI)

Background: Computational approaches to protein-protein docking typically include scoring aimed at improving the rank of the near-native structure relative to the false-positive matches. Knowledge-based potentials improve ...

Liu, Shiyong; Vakser, Ilya A.

2011-07-11T23:59:59.000Z

123

Knowledge-based approaches in strategic management: a review of the literature  

Science Journals Connector (OSTI)

Although Knowledge Management (KM) has been acknowledged as the most important resource and capability of an organisation, many academics' standpoints argue upon knowledge distinct characteristics. This paper is a critical review of KM literature and attempts to clarify different knowledge perspectives and offer a holistic picture of one of the most controversial issues to management science. We, first, build our critique on knowledge theory, explaining what knowledge is. Regarding different knowledge perspectives, such as Nonaka's, Tsoukas' and Blackler's, we attempt to clarify how knowledge interacts and is affected by their unique views. Second, we review KM theory according to the analysed knowledge perspectives. Finally, we categorise KM theory to three approaches: the cognitive, the community and the network approach, and we consider their impact to organisations.

Konstantinos C. Kostopoulos; Dimitrios A. Brachos; Sophia S. Philippidou; Ioannis N. Katsikis

2010-01-01T23:59:59.000Z

124

Knowledge-based integrative framework for hypothesis formation in biochemical networks  

Science Journals Connector (OSTI)

The current knowledge about biochemical networks is largely incomplete. Thus biologists constantly need to revise or extend existing knowledge. These revision or extension are first formulated as theoretical hypotheses, then verified experimentally. ...

Nam Tran; Chitta Baral; Vinay J. Nagaraj; Lokesh Joshi

2005-07-01T23:59:59.000Z

125

Collaboratively Constructing a VDL-Based Icon System for Knowledge Tagging  

Science Journals Connector (OSTI)

Tag system for a knowledge organization system centralizes and provides the tags that can be employed in classifying, sharing and seeking knowledge for personal or organizational use within a social community. Co...

Xiaoyue Ma; Jean-Pierre Cahier

2012-01-01T23:59:59.000Z

126

Knowledge acquisition method from domain text based on theme logic model and artificial neural network  

Science Journals Connector (OSTI)

In order to acquire knowledge from domain text such as failure analysis text of aviation product, a framework is proposed to enhance the efficiency and accuracy of knowledge acquisition. In this framework, sentence templates are defined to extract the ... Keywords: Artificial neural network, Domain text, Failure analysis report, Knowledge acquisition, Theme logic model

Jun Wang; Yunpeng Wu; Xuening Liu; Xiaoying Gao

2010-01-01T23:59:59.000Z

127

Engineering Application Way of Faults Knowledge Discovery Based on Rough Set Theory  

Science Journals Connector (OSTI)

For the knowledge acquisition puzzle of intelligence decision-making technology in mechanical industry, to use the Rough Set Theory (RST) as a kind of tool to solve the puzzle was researched. And the way to realize the knowledge discovery in engineering application is explored. A case extracting out the knowledge rules from a concise data table shows out some important information. It is that the knowledge discovery similar to the mechanical faults diagnosis is an item of complicated system engineering project. In where, first of all-important tasks is to preserve the faults knowledge into a table with data mode. And the data must be derived from the plant site and should also be as concise as possible. On the basis of the faults knowledge data obtained so, the methods and algorithms to process the data and extract the knowledge rules from them by means of RST can be processed only. The conclusion is that the faults knowledge discovery by the way is a process of rising upward. But to develop the advanced faults diagnosis technology by the way is a large-scale knowledge engineering project for long time. Every step in which should be designed seriously according to the tool's demands firstly. This is the basic guarantees to make the knowledge rules obtained have the values of engineering application and the studies have scientific significance. So, a general framework is designed for engineering application to go along the route developing the faults knowledge discovery technology.

Zhao Rongzhen; Li Chao; Dneg Linfeng

2011-01-01T23:59:59.000Z

128

From rhetoric to knowledge based actions – Challenges for outdoor recreation management in Sweden  

Science Journals Connector (OSTI)

Abstract This paper investigates how outdoor recreation is considered in the context of strong biodiversity conservation ambitions, and discusses the challenges associated with outdoor recreation management in two protected areas in Sweden. The research employs qualitative techniques such as interviews with key actors and examinations of documents. The results show that while the two planning processes show a sincere engagement and effort spent on outdoor recreation management, no clear strategies for or systematic treatment of outdoor recreation became apparent. Worse, clear deficits in knowledge and relevant competences have been identified, and generally available scientific knowledge about outdoor recreation has not been utilized. Concerns of outdoor recreation are typically addressed by biologists, instead of professionals with training in any of the social sciences or planning disciplines. Apparently these fundamental deficiencies with regards to outdoor recreation can only be improved if it is recognized as a land use interest in its own right. In order to improve management and planning processes, outdoor recreation needs to be institutionalized, and receive its own management guidelines and formal process agendas. Management implications The consideration of outdoor recreation in Sweden’s landscapes and protected areas lacks behind international standards. Currently it is not considered as a separate land use or planning objective, and modern recreational benefits of provision for health and wellbeing and the high esteem of outdoor recreation by the general population are ignored. Improvements would require a professional implementation process which should consider: – Area specific databases on outdoor recreation activities, including their spatial distribution; – A dedicated training and education in outdoor recreation planning and management (instead of it being an additional task for ecologically trained managers); – A strengthening of outdoor recreation research; – The mandated development and implementation of outdoor recreation related guidelines and monitoring plans; and – The development of specific frameworks sensitive to various ecological conditions (e.g. water based landscapes or forests).

Marie Stenseke; Anderas S. Hansen

2014-01-01T23:59:59.000Z

129

Check Estimates and Independent Costs  

Directives, Delegations, and Requirements

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.

1997-03-28T23:59:59.000Z

130

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

E-Print Network (OSTI)

SumTime-Turbine: A Knowledge-Based System to Communicate Gas Turbine Time-Series Data Jin Yu produces textual summaries of archived time- series data from gas turbines. These summaries should help evaluated. 1 Introduction In order to get the most out of gas turbines, TIGER [2] has been developed

Reiter, Ehud

131

Knowledge-based recognition of utility map sub-diagrams Simon J. Hickinbotham and Anthony G. Cohn  

E-Print Network (OSTI)

are represented as Figure 1. sub-diagrams in a typical utility map dotted lines on the map. The layout of cables to find visual objects in utility maps. The literature for extracting line primitives from raster mapsKnowledge-based recognition of utility map sub-diagrams Simon J. Hickinbotham and Anthony G. Cohn

Leeds, University of

132

Knowledge-based technology for solving complex systems of interrelated problems  

Science Journals Connector (OSTI)

The solution of a system of problems is modeled as a search among alternative paths on a semantic network. We consider representation of procedural knowledge and modeling of decision processes by production ru...

V. I. Gritsenko; V. A. Bogemskii; T. M. Kucherenko

133

Routine Form EIA-895 Edit Checks Each  

Gasoline and Diesel Fuel Update (EIA)

Routine Routine Form EIA-895 Edit Checks Each filing of the Form EIA-895 is manually checked for reasonableness and mathematical accuracy. Volumes are converted, as necessary, to a standard 14.73 psia pressure base. Value data are compared to the previous year's data for reasonableness. When data on nonhydrocarbon gases re- moved, gas vented and flared, and gas used for repressuring are not reported for a State that historically reported one or more of these items, a volume is imputed. The imputation is based on the average ratio of gas volumes in the missing category to total gross withdrawals in States with values reporting gas in that category. This average ratio is applied to the volume of total gross withdrawals reported by the State to calculate the volume for the missing items. State agencies are contacted by telephone in order to correct errors. Amended filings or resubmissions are not

134

Behavioral Model Equivalence Checking for Large Analog Mixed Signal Systems  

E-Print Network (OSTI)

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) and input/output (I...

Singh, Amandeep

2012-07-16T23:59:59.000Z

135

Knowledge Management and Assistance Systems  

E-Print Network (OSTI)

1 1 Knowledge Management and Assistance Systems Bernd Neumann WS 2007/08 2 Topics Introduction Applications of Knowledge-based Systems Role of Knowledge Management Knowledge Representation Techniques Semantic Networks Relational Structures Frame-based Knowledge Representation Rule-based Systems Case

Hamburg,.Universität

136

Vector network analyzer check standards measurements and database software  

SciTech Connect

Vector network analyzers provide a convenient way to measure scattering parameters of a variety of microwave devices. However, these instruments, unlike oscilloscopes, require a high degree of user knowledge and expertise. Measurement calibration or error correction must be done prior to use. There are many ways to make poor measurement or measurement. Check standards have been used to verify that the network analyzer is operating properly. A computer program was developed to automatically measure a check standard and compare the new measurements with an historical database of measurements of the check standard device. The program can acquire new measurement data from selected check standards, plot the new data against the mean and standard deviation of prior data for the check standard, and update the database files for the check standard. This paper describes the function of the software including a discussion of its capabilities. The way in which the software is used in our lab is also described. Finally, examples are given of how the software can detect potential measurement problems.

Duda, L.E.

1996-05-01T23:59:59.000Z

137

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

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.

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

2011-12-01T23:59:59.000Z

138

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

E-Print Network (OSTI)

is be- coming crucial in oil exploration and production. It is common knowledge in the oil industry/geological data from production wells and exploration sites, and then organizing them into large databases. Can estimates of oil and gas reserves ?" In qualitative terms, good recoverable reserves have high hydrocarbon

139

Duska Rosenberg & Keith Devlin -1 -1/11/07 Information-based Model for Knowledge Management  

E-Print Network (OSTI)

, Organizational Learning, Shared Knowledge, Situation Theory. 1 School of Management, Royal Holloway University use discourse analysis in order to bring to light social and organizational constraints that shape of organizational memory in a large manufacturing firm. The third is focused on analyzing the role of multimedia

Devlin, Keith

140

Knowledge-based support in Non-Destructive Testing for health monitoring of aircraft structures  

Science Journals Connector (OSTI)

Maintenance manuals include general methods and procedures for industrial maintenance and they contain information about principles of maintenance methods. Particularly, Non-Destructive Testing (NDT) methods are important for the detection of aeronautical ... Keywords: Aircraft industry, Conceptual graphs, Experienced knowledge, Formal visual reasoning, Maintenance procedure, Non-Destructive Testing

Bernard Kamsu-Foguem

2012-10-01T23:59:59.000Z

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


141

Vision without knowledge  

Science Journals Connector (OSTI)

...research-article Discussion Meeting Issue Knowledge-based vision in man and machine organized...Barlow and R. L. Gregory Vision without knowledge A. D. Milner School of Psychology...rely on a processing system which is not knowledge-based in a broad sense. Conversely...

1997-01-01T23:59:59.000Z

142

Incorporating on-line process data into a diagnostic knowledge-based system  

E-Print Network (OSTI)

to the manufacturing process. REVIEW OP LITERATURE This investigation involves three major areas of research: 1) The gypsum wallboard manufacturing process, 2) expert systems as applied to the wallboard manufacturing process, and 3) statistical process control... an expert system to a particular type of problem is described by Jones et al. (1989). These criteria are: 1. The domain is characterized by the use of expert knowledge, experience, and judgement. 2, Conventional (algorithmic) approaches to the problem...

Lin, Kai Hsuan

2012-06-07T23:59:59.000Z

143

REFERENCE AND BACKGROUND CHECK PROCESS  

E-Print Network (OSTI)

REFERENCE AND BACKGROUND CHECK PROCESS Workforce Planning | 408-924-2250 classcomp process. Workforce Planning will arrange this directly with the finalist(s) once the hiring manager has provided the finalist(s) name(s) to Workforce Planning. An exception to this process is for any candidates

Su, Xiao

144

Fire Alarm Testing and Inspection Planning and Vendor Check In/Check Out Process  

E-Print Network (OSTI)

Fire Alarm Testing and Inspection Planning and Vendor Check In/Check Out Process DOCUMENT PURPOSE This process is used for fire alarm testing and inspection pre-work planning and vendor check in and check out ____________________________________________________ CHECK IN PRIOR TO TESTING NOTES _____ Central Monitoring (BSAC) notified of daily testing start time

Webb, Peter

145

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

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.

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-01T23:59:59.000Z

146

Using knowledge in a complex decision-making process – Evidence and principles from the Danish Houting project's ecosystem-based management approach  

Science Journals Connector (OSTI)

Abstract In ecosystem-based management (EBM), the use of knowledge is considered an important means to reach sound decisions. However, EBM approaches typically entail complex decision-making processes, involving multiple actors and policy levels. Hence, it is questionable whether and how knowledge can be used as a means to reach sound decisions. This paper explores and evaluates the knowledge governance employed by decision-makers to successfully implement EBM in a complex setting. Conclusions are drawn from a case study based on 30 qualitative interviews, document analysis, and observational participation in Denmark's second largest river restoration project, the Houting project. Our findings suggest that disjointed knowledge governance, knowledge bases acknowledging different values and interests, and the use of experiments were crucial to the success, but at the same time partly restricted the quality, of decision-making in the project. Several suggestions are made on how to compensate for the shortcomings identified.

Diana Giebels; Arwin van Buuren; Jurian Edelenbos

2015-01-01T23:59:59.000Z

147

Applications of model checking at honeywell laboratories  

Science Journals Connector (OSTI)

This paper provides a brief overview of five projects in which Honeywell has successfully used or developed model checking...

Darren Cofer; Eric Engstrom; Robert Goldman; David Musliner…

2001-01-01T23:59:59.000Z

148

Dynamic Testing of Check Valves William Rahmeyer  

E-Print Network (OSTI)

Dynamic Testing of Check Valves William Rahmeyer Professor of Civil and Environmental Engineering;1 DYNAMIC FLOW TESTING OF CHECK VALVES by William Rahmeyer, Professor of Civil and Environmental Engineering objectives of this paper are: (1) to present a test method by which check valves can be dynamically tested

Rahmeyer, William J.

149

Check Point NGX R65 Security Administration  

Science Journals Connector (OSTI)

Check Point NGX R65 is the next major release of Check Point's flagship firewall software product, which has over 750,000 registered users. Check Point's NGX is the underlying security software platform for all of the company's enterprise firewall, VPN ... Keywords: Operating Systems, Security

Ralph Bonnell

2008-03-01T23:59:59.000Z

150

Knowledge-based model of hydrogen-bonding propensity in organic crystals  

Science Journals Connector (OSTI)

A new method is presented to predict which donors and acceptors form hydrogen bonds in a crystal structure, based on the statistical analysis of hydrogen bonds in the Cambridge Structural Database. The approach has potential application in identifying both likely and unusual hydrogen bonding, which can help to rationalize stable and metastable crystalline forms, of relevance to the drug development process in the pharmaceutical industry.

Galek, P.T.A.

2007-09-14T23:59:59.000Z

151

Increasing Knowledge Increasing Knowledge 29  

E-Print Network (OSTI)

28 Increasing Knowledge Increasing Knowledge 29 Expanding Leadership 36 Building Partnerships 43 the world. The challenges ahead are large, but WSP is preparing to meet them by increasing knowledge, expanding leadership, building partnerships, and seeking solutions. #12;29 Increasing Knowledge Increasing

Fay, Noah

152

Knowledge Warehouse Page 1 The Knowledge Warehouse  

E-Print Network (OSTI)

Knowledge Warehouse Page 1 The Knowledge Warehouse: Reusing Knowledge Components Michael Yacci-5416 email: may@it.rit.edu #12;Knowledge Warehouse Page 2 The Knowledge Warehouse: Reusing Knowledge Components Abstract Currently, there is little knowledge reuse across training, documentation

Yacci, Michael

153

Model checking Timed CSP Philip Armstrong Gavin Lowe Joel Ouaknine  

E-Print Network (OSTI)

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

Ouaknine, Joël

154

Motion planning with sequential convex optimization and convex collision checking  

Science Journals Connector (OSTI)

We present a new optimization-based approach for robotic motion planning among obstacles. Like CHOMP (Covariant Hamiltonian Optimization for Motion Planning), our algorithm can be used to find collision-free trajectories from naïve, straight-line initializations ... Keywords: Motion planning, convex collision checking, sequential convex optimization, trajectory optimization

John Schulman, Yan Duan, Jonathan Ho, Alex Lee, Ibrahim Awwal, Henry Bradlow, Jia Pan, Sachin Patil, Ken Goldberg, Pieter Abbeel

2014-08-01T23:59:59.000Z

155

Participatory learning and knowledge assessment with a game-based method relying on student-generated questions  

E-Print Network (OSTI)

A game based on student-generated multiple-choice questions (MCQs) was used to promote participatory learning and as a knowledge assessment tool in the framework of an elementary course in Photonics. Under the instructor's guidance, students were asked to author MCQs, including both question stems and four possible answers (three distractors and one correct answer). They were told that good enough questions would enter a repository from which MCQs for the final exam could be drawn. The student-generated MCQs were then reviewed by the instructor, who discarded unsuitable questions and made amendments to ensure quality standards. The resulting repository (with the key to the correct answers) was made available to the students, whereupon a subset of questions were selected by the instructor to set the MCQ test for the final exam (consisting of a MCQ test based on student-generated questions and a problem-solving part set entirely by the instructor). The MCQ repository was large enough to ensure that rote learnin...

Abad, Enrique; Gil, Julia

2015-01-01T23:59:59.000Z

156

Vertical pump with free floating check valve  

DOE Patents (OSTI)

A vertical pump with a bottom discharge having a free floating check valve isposed in the outlet plenum thereof. The free floating check valve comprises a spherical member with a hemispherical cage-like member attached thereto which is capable of allowing forward or reverse flow under appropriate conditions while preventing reverse flow under inappropriate conditions.

Lindsay, Malcolm (O'Hara Township, Allegheny County, PA)

1980-01-01T23:59:59.000Z

157

Strict Lower Bounds for Model Checking BPA  

E-Print Network (OSTI)

Strict Lower Bounds for Model Checking BPA Richard Mayr Institut f¨ur Informatik, Technische lower bounds for the complexity of several model checking problems for BPA and branching­time logics Algebra (BPA) processes were defined by Bergstra and Klop in [BK85]. They are transition systems

Ã?ayr, Richard

158

Part 1. Knowledge Bank License Agreement (A Community in the Knowledge Bank can designate a Community Administrator to submit digital objects into the  

E-Print Network (OSTI)

Part 1. Knowledge Bank License Agreement (A Community in the Knowledge Bank can designate submission process, the community administrator is asked to check acceptance of the Knowledge Bank License to accept the agreement and return it to the Knowledge Bank.) By submitting this agreement, the copyright

Howat, Ian M.

159

CoopNet: an Agent-based Model to Explore Knowledge Integration and Free Riding in Large  

E-Print Network (OSTI)

, Hales, D., Arteconi, S., Marcozzi, A., Chao, I., November 2007. 2008-01 Modelling decision making in fund raising management by a fuzzy knowledge system, Barzanti, L., Gas- pari, M., Saletti, D., February

Jesi, Gian Paolo

160

How Knowledge Validation Processes Affect Knowledge Contribution  

Science Journals Connector (OSTI)

To ensure that knowledge repositories contain high-quality knowledge, knowledge management research recommends that contributions to a repository undergo stringent validation processes. To date, however, no research has studied the impact of such processes ... Keywords: Knowledge Contribution Processes, Knowledge Management, Knowledge Repositories, Knowledge Sharing, Knowledge Sourcing, Reinforcement Theory, Signaling Theory, Validation Processes

Alexandra Durcikova; Peter Gray

2009-04-01T23:59:59.000Z

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


161

Knowledge Generation  

SciTech Connect

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

BRABSON,JOHN M.; DELAND,SHARON M.

2000-11-02T23:59:59.000Z

162

Strategic electric sector assessment methodology under sustainability conditions (SESAMS). Knowledge-based decision support framework: an enhanced methodology  

Science Journals Connector (OSTI)

Foreseeable growth in world population and the desire to maintain or improve a particular standard of living will lead to a substantial increase in future world-wide energy demands. Among the different energy carriers, electricity has become especially important because of its versatility and manifold connections with services that make our environment more liveable. Even innovative energy saving and pollution mitigation technologies often rely on electricity. The question which arises is what kind of global energy mix and designs of technologies used to produce, store, transmit and distribute electricity should be implemented in the future to provide these services as a fundamental desire in a way compatible with a sustainable development. There is a need to assess energy in a more comprehensive way, to introduce sustainability as a new paradigm and assess the consequences, to develop and test tools which could be helpful in the decision making process. The above issues, which affect the strategic planning of electric sector supply and end-use activities, both in developed and developing countries, will be addressed by the project proposed here in order to develop an integrated methodological tool for electric sector development. The use of models will assist decision makers and other actors such as citizens, politicians, and administrators involved in the process of selecting among options for future electricity generation in Switzerland, and in understanding alternative resource choices in the context of the sustainability criterion. The present paper introduces a new research project at ETH within the Alliance for Global Sustainability research framework. One of the goals of the project is to develop and utilise knowledge-based infrastructures (e.g., databases, expert systems) and power system simulation and multi-attribute decision support tools in conjunction with electric sector actors primarily in Switzerland and New England (USA) in order that decision-making takes place on a more informed and sound basis. In taking into account the timely development and dissemination of scenario option results, primary consideration will be given to national and industrial electricity concerns with the goal of assisting countries e.g. Switzerland, in the selection of acceptable energy options for the next 20 to 30 years.

Adrian V. Gheorghe; R.M. von Spakovsky; P.A. Haldi; Stefan Hirschberg; S. Connors

1999-01-01T23:59:59.000Z

163

Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP  

Science Journals Connector (OSTI)

The framework is based on formalizing these diagrams into the process algebra CSP to do trace refinement checking using FDR2. ... this kind of interactive feedback, the generated CSP model is augmented with trace...

Islam Abdelhalim; Steve Schneider…

2011-01-01T23:59:59.000Z

164

Reality Check: Cheaper Batteries are GOOD for America's Electric...  

Energy Savers (EERE)

Reality Check: Cheaper Batteries are GOOD for America's Electric Vehicle Manufacturers Reality Check: Cheaper Batteries are GOOD for America's Electric Vehicle Manufacturers...

165

Knowledge in perception and illusion  

Science Journals Connector (OSTI)

...research-article Discussion Meeting Issue Knowledge-based vision in man and machine organized...H. B. Barlow and R. L. Gregory Knowledge in perception and illusion Richard L...unconscious inferences from sensory data and knowledge derived from the past, perceptions are...

1997-01-01T23:59:59.000Z

166

Perceptions and Knowledge of Evidence-based Literacy Instruction among Elementary School Teachers of English Language Learners  

E-Print Network (OSTI)

district, and one border district. A total of 1,016 ELLs in kindergarten participated in the study. The findings of the research study suggest that Spanish-speaking students with high Spanish letter name and sound knowledge tend to show high levels...

Barr, Sheldon Martin

2013-01-07T23:59:59.000Z

167

KNOWLEDGE GRANULARITY AND REPRESENTATION OF KNOWLEDGE: TOWARDS  

E-Print Network (OSTI)

KNOWLEDGE GRANULARITY AND REPRESENTATION OF KNOWLEDGE: TOWARDS KNOWLEDGE GRID Maria A. Mach.owoc}@ue.wroc.pl ABSTRACT. Knowledge granularity, usually identified with the size of knowledge granules, seems to be real challenge for knowledge consumers as well as for knowledge creators. In this paper, relationships between

Boyer, Edmond

168

Tools for Viewing and Quality Checking ARM Data  

NLE Websites -- All DOE Office Websites (Extended Search)

Tools for Viewing and Quality Checking ARM Data Tools for Viewing and Quality Checking ARM Data S. Bottone and S. Moore Mission Research Corporation Santa Barbara, California Introduction Mission Research Corporation (MRC) is developing software tools to assist the Atmospheric Radiation Measurement (ARM) Data Quality Office with their data inspection tasks. One such tool is NCVweb, a web-based data analysis and visualization tool that allows for easy viewing of ARM NetCDF data files. This tool helps to eliminate the need of and problems associated with downloading large volumes of data, installing and configuring visualization software, or writing custom data exploration software. It has been upgraded this year with many new features described below. NCVweb can be used at the ARM Data Quality website directly via http://dq.arm.gov/ncvweb/ncvweb.cgi, or via the Data Quality

169

Bicycle Check Out/Check In Top section to be completed by Welcome Desk Staff Only  

E-Print Network (OSTI)

Bicycle Check Out/Check In Top section to be completed by Welcome Desk Staff Only Name-mail: _________________________________________ Bicycle #:__________ Helmet #:________ Pannier #:________ Date and Time Out: ______________________ (bicycle must be returned by the end of Recreation Center daily operating hours) Date and Time In

Massachusetts at Lowell, University of

170

Fact Check: Steve Spinner | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Fact Check: Steve Spinner Fact Check: Steve Spinner Fact Check: Steve Spinner September 29, 2011 - 5:12pm Addthis Some media outlets have asked us questions about the role that Steve Spinner played during his time at the Energy Department. He was an advisor on our Recovery Act team tasked with monitoring the progress of Recovery Act implementation, but had no role in making decisions on whether particular applications were approved. Here are some additional facts to help put this in context: Steve Spinner acted as a liaison between the Recovery Act Office and the Loan Programs Office. In that capacity, he played no role in the decision-making on or evaluation of individual loan applications or the awarding of any grants. Spinner started at the Department at the end of April 2009 - after

171

Efficient Model Checking of PSL Safety Properties Tuomas Launiainen  

E-Print Network (OSTI)

to be checked are safety properties. This work presents an efficient approach to model check safety properties properties. In this work we present an approach for model checking of safety properties expressed in PSLEfficient Model Checking of PSL Safety Properties Tuomas Launiainen Department of Information

Heljanko, Keijo

172

ClimateCHECK | Open Energy Information  

Open Energy Info (EERE)

ClimateCHECK ClimateCHECK Jump to: navigation, search Name ClimateCHECK Address 136 Clarence Street Place Ottawa, Ontario Zip K1N 5P8 Sector Carbon, Efficiency, Services Product web software Year founded 2007 Number of employees 11-50 Phone number 6132418000 Website http://www.climate-check.com Coordinates 45.429905°, -75.6910613° Loading map... {"minzoom":false,"mappingservice":"googlemaps3","type":"ROADMAP","zoom":14,"types":["ROADMAP","SATELLITE","HYBRID","TERRAIN"],"geoservice":"google","maxzoom":false,"width":"600px","height":"350px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"wmsoverlay":"","layers":[],"controls":["pan","zoom","type","scale","streetview"],"zoomstyle":"DEFAULT","typestyle":"DEFAULT","autoinfowindows":false,"kml":[],"gkml":[],"fusiontables":[],"resizable":false,"tilt":0,"kmlrezoom":false,"poi":true,"imageoverlays":[],"markercluster":false,"searchmarkers":"","locations":[{"text":"","title":"","link":null,"lat":45.429905,"lon":-75.6910613,"alt":0,"address":"","icon":"","group":"","inlineLabel":"","visitedicon":""}]}

173

Incremental integrity checking: limitations and possibilities  

E-Print Network (OSTI)

the problem to query containment, we show that no procedure exists that always returns the best incremental measuring the checking effort. In spite of this theoretical limitation, we develop an effective procedure and also applies to recursive databases. Finally, we point out the improvements with respect to previous

Martinenghi, Davide

174

Checking Temporal Integrity of Interactive Multimedia Documents  

E-Print Network (OSTI)

1 Checking Temporal Integrity of Interactive Multimedia Documents I. MIRBEL 1 , B. PERNICI 2 , T of Interactive Multimedia Document (IMD) scenarios at authoring time at various levels. The IMD flow is mainly, Temporal integrity #12; 2 1. Introduction An Interactive Multimedia Document (IMD) involves a variety

Mirbel, Isabelle

175

Reasoning about quantum knowledge  

E-Print Network (OSTI)

We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum computation. While we rely on structures developed earlier, we stress that our notion of quantum knowledge makes sense more generally in any agent-based model for distributed quantum systems. Several arguments are given to support our view that an agent's possibility relation should not be based on the reduced density matrix, but rather on local classical states and local quantum operations. In this way, we are able to analyse distributed primitives such as superdense coding and teleportation, obtaining interesting conclusions as to how the knowledge of individual agents evolves. We show explicitly that the knowledge transfer in teleportation is essentially classical, in that eventually, the receiving agent knows that its state is equal to the initial state of the sender. The relevant epistemic statements for teleportation deal with this correlation rather than with the actual quantum state, which is unknown throughout the protocol.

Ellie D'Hondt; Prakash Panangaden

2005-07-19T23:59:59.000Z

176

Delivery quality assurance with ArcCHECK  

SciTech Connect

Radiation therapy requires delivery quality assurance (DQA) to ensure that treatment is accurate and closely follows the plan. We report our experience with the ArcCHECK phantom and investigate its potential optimization for the DQA process. One-hundred seventy DQA plans from 84 patients were studied. Plans were classified into 2 groups: those with the target situated on the diodes of the ArcCHECK (D plans) and those with the target situated at the center (C plans). Gamma pass rates for 8 target sites were examined. The parameters used to analyze the data included 3%/3 mm with the Van Dyk percent difference criteria (VD) on, 3%/3 mm with the VD off, 2%/2 mm with the VD on, and x/3 mm with the VD on and the percentage dosimetric agreement “x” for diode plans adjusted. D plans typically displayed maximum planned dose (MPD) on the cylindrical surface containing ArcCHECK diodes than center plans, resulting in inflated gamma pass rates. When this was taken into account by adjusting the percentage dosimetric agreement, C plans outperformed D plans by an average of 3.5%. ArcCHECK can streamline the DQA process, consuming less time and resources than radiographic films. It is unnecessary to generate 2 DQA plans for each patient; a single center plan will suffice. Six of 8 target sites consistently displayed pass rates well within our acceptance criteria; the lesser performance of head and neck and spinal sites can be attributed to marginally lower doses and increased high gradient of plans.

Neilson, Christopher; Klein, Michael; Barnett, Rob [London Regional Cancer Program, London Health Sciences Centre, London, Ontario (Canada); Yartsev, Slav, E-mail: slav.yartsev@lhsc.on.ca [London Regional Cancer Program, London Health Sciences Centre, London, Ontario (Canada)

2013-04-01T23:59:59.000Z

177

Better Knowledge Management Through Knowledge Engineering  

E-Print Network (OSTI)

Better Knowledge Management Through Knowledge Engineering: A Case Study in Drilling Optimisation the term knowledge management has been used to describe the efforts of organisations to capture, store, and deploy knowledge. Most current knowledge management activities rely on database and web technology

Preece, Alun

178

Applying Knowledge Management techniques for building corporate  

E-Print Network (OSTI)

Applying Knowledge Management techniques for building corporate memories Ian Watson AI-CBR Computer-based reasoning and knowledge management... www.ai-cbr.org ...coincidentally I've just written a book about this... ...plug the book!!! www.ai-cbr.org Outline · Talk about ­ Knowledge ­ Knowledge management ­ Why CBR

Watson, Ian

179

Technical Knowledge Dissemination in -Foundation and Practice -  

E-Print Network (OSTI)

Technical Knowledge Dissemination in Industries - Foundation and Practice - Mamoru Ohta* , Masahiko}@ei.sanken.osaka-u.ac.jp Abstract Because the lifetime employment system is disappearing in Japan, "knowledge transfer" is becoming a more significant issue in industry. Knowledge-based systems will support the knowledge transference

Mizoguchi, Riichiro

180

Prior Knowledge  

NLE Websites -- All DOE Office Websites (Extended Search)

What do you know about Relativistic Lifetimes? What do you know about Relativistic Lifetimes?       Project Home - Prior Knowledge - Project Context - Resources Brainstorm In a small group write down everythingyou know about the applications of energy and momentum in HEP on butcher paper. At the same time write down questions or ideas that you are not sure about on another sheet of paper. After you have 10-20 good items, or just feel it is time to stop, go back and discuss each one. Look for connections between the items. Reorganize them into a diagram . . . this will serve as your first-order conceptual framework for discussing the energy-momentum relationship. These questions build a foundation for investigating this topic: What do we mean by the "lifetime" of a particle? Is it the time for

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


181

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

Science Journals Connector (OSTI)

SumTime-Turbine...produces textual summaries of archived time-series data from gas turbines. These summaries should help experts understand large...SumTime-Turbine is based on pattern detection, ...

Jin Yu; Ehud Reiter; Jim Hunter…

2003-01-01T23:59:59.000Z

182

Knowledge Infusion Leslie G. Valiant  

E-Print Network (OSTI)

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

Valiant, Leslie

183

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

E-Print Network (OSTI)

-Based System for Auditor's Reports Mohamed A. Wahdan, Maastricht School of Management, The Netherlands Pieter Spronck, IKAT, Faculty of General Sciences, Universiteit Maastricht, The Netherlands Hamdi F. Ali, Maastricht School of Management, The Netherlands Eddy Vaassen, AIM, Faculty of Economics, Universiteit

Spronck, Pieter

184

Knowledge Preconditions for Plans  

Science Journals Connector (OSTI)

......research-article Original Articles Knowledge Preconditions for Plans ERNEST DAVIS...of time and a possible worlds model of knowledge. The definitions strictly subsume previous...semantics of plans|formal theory of knowledge.| Knowledge Preconditions for Plans......

ERNEST DAVIS

1994-10-01T23:59:59.000Z

185

Knowledge Compilation for Closed World Reasoning and Circumscription  

Science Journals Connector (OSTI)

...Copyright 2001 Article Knowledge Compilation for Closed World Reasoning...world reasoning (CWR) from tractable knowledge bases (KBs). Both (basic) CWR...Accordingly, our results suggest knowledge compilation as a valuable, practical......

Sylvie Coste-Marquis; Pierre Marquis

2001-08-01T23:59:59.000Z

186

A knowledge-driven approach to cluster validity assessment  

Science Journals Connector (OSTI)

......other APPLICATIONS NOTE Gene expression A knowledge-driven approach to cluster validity...cluster validity based on similarity knowledge extracted from the Gene Ontology. Availability...The automated integration of background knowledge is fundamental to support the generation......

Nadia Bolshakova; Francisco Azuaje; Pádraig Cunningham

2005-05-01T23:59:59.000Z

187

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

E-Print Network (OSTI)

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

Doran, Simon J.

188

Checking Consistency of C and Verilog using Predicate Abstraction and Induction  

E-Print Network (OSTI)

consistency between an ANSI- C program and a circuit given in Verilog using Predicate Abstraction to existing tools that perform predicate abstraction, our approach is SAT-based and allows all ANSI Abstraction, Verilog, SAT, Equivalence Checking #12;1 Introduction ANSI-C is a language designed for best

189

Safe Compositional Specification of Networking Systems # TRAFFIC The Language and Its Type Checking  

E-Print Network (OSTI)

], and presents a type system based on desired safety assurance. We provide proofs on reduction (weak of a syntax­directed type checking algorithm implementing rules of the type system capable of inferring by the need to devise a formalism to describe Quality of Service (QoS) properties of flows and rigorously

190

Safe Compositional Specification of Networking Systems TRAFFIC The Language and Its Type Checking  

E-Print Network (OSTI)

], and presents a type system based on desired safety assurance. We provide proofs on reduction (weak of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring by the need to devise a formalism to describe Quality of Service (QoS) properties of flows and rigorously

191

-1- The Simplex Method - Computational Checks for the Simplex ...  

E-Print Network (OSTI)

check to see whether this solution does indeed satisfy BXB=b. Also, for the current tableau ...... Fundamentals of Mathematics for Business,. Social, and Life

gabi

2005-07-25T23:59:59.000Z

192

KnowledgeBased NLP ELYISZAB  

E-Print Network (OSTI)

is like a pipeline or an assembly line, i.e., the phases of nat­ ural language generation (NLG for short is applied again and again in an iterative fashion (for example, `select target' ! `apply rule' ! `repair approach to NLP. For example, [9] also claim speech repairs and other psychological evidence corroborate

Erdélyi-Szabó, Miklós

193

Knowledge of Language: Its Elements and Origins  

Science Journals Connector (OSTI)

2 October 1981 research-article Knowledge of Language: Its Elements and Origins...language is based on the assumption that knowledge of language can be properly characterized...concepts are those of 'grammar' and 'knowledge of grammar'. The concepts of 'language...

1981-01-01T23:59:59.000Z

194

The Knowledge Bazaar Brian Craker1  

E-Print Network (OSTI)

The Knowledge Bazaar Brian Craker1 and Frans Coenen2 1 Becoms Ltd, 69 Little Woodcote, Carshalton of Liverpool, Liverpool, L69 3BX. Email: frans@csc.liv.ac.uk Abstract The concept of the Knowledge Bazaar as a paradigm for the development of Expert Systems, whereby knowledge bases are created dynamically using

Coenen, Frans

195

Deductive Algorithmic Knowledge  

Science Journals Connector (OSTI)

......Original Articles Deductive Algorithmic Knowledge Riccardo Pucella Northeastern University...June 2005. The framework of algorithmic knowledge assumes that agents use algorithms to...reasoning about both implicit and explicit knowledge with the latter defined with respect......

Riccardo Pucella

2006-04-01T23:59:59.000Z

196

ARM - Traditional Knowledge  

NLE Websites -- All DOE Office Websites (Extended Search)

HomeroomTraditional Knowledge Outreach Home Room News Publications Traditional Knowledge Kiosks Barrow, Alaska Tropical Western Pacific Site Tours Contacts Students Study Hall...

197

Knowledge capitalisation based on textual and graphical semi-structured and non-structured information: case study in an industrial research centre at EADS  

Science Journals Connector (OSTI)

The aim of an industrial research centre is to produce knowledge to answer the requirements of operational units. So the constraints of cost, delay and quality also apply to research activities. Consequently, industrial research centres need to be rationalized, ... Keywords: ANITA approach, Design environments, Groupware, Knowledge/know-how, MICA approach, Non-structured information, Semi-structured information

Mickaël Gardoni; Christian Frank; François Vernadat

2005-01-01T23:59:59.000Z

198

Bioenergy Knowledge Discovery Framework Recognized at National...  

Energy Savers (EERE)

Knowledge Discovery Framework (KDF) is bringing together the bioenergy community through Web-based tools, and was presented by Bioenergy KDF team members from Oak Ridge National...

199

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

SciTech Connect

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

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

2012-11-01T23:59:59.000Z

200

Assumption-Commitment Support for CSP Model Checking  

E-Print Network (OSTI)

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

Paris-Sud XI, Université de

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


201

ModelChecking Quantum Protocols Simon J. Gay1  

E-Print Network (OSTI)

the stabilizer formalism) which are simulable in polynomial time. We discuss the QMC model checker, which for automated verification of properties of quantum systems using model- checking techniques. Properties to be simulable in polynomial time [11, 12, 13]. This is significant, as any kind of model-checking necessarily

Gay, Simon

202

The Do and Check Processes of an Energy Management System  

Energy.gov (U.S. Department of Energy (DOE))

This presentation covers the Do and Check processes of an Energy Management System. "Do" processes include training, documents, operational control, communication, design, and procurement. "Check" processes include measuring and monitoring, legal requirements, internal auditing, non-conformance (corrective and preventive), and records.

203

Formal Proof of Abstract Model Checking of Concurrent Garbage Collection  

E-Print Network (OSTI)

, the correctness of abstraction is not always easy to verify. In our pre- vious work, we applied abstract model with that of proving the concrete system from scratch (not by abstract model checking). In our previous work [6], whichFormal Proof of Abstract Model Checking of Concurrent Garbage Collection Koichi Takahashi Masami

Hagiya, Masami

204

Verification of Parallel Garbage Collection by Abstract Model Checking  

E-Print Network (OSTI)

have a finite state space provided that the abstraction mapping is powerful. M¨uller and Nipkow's work working on abstract model checking. In Section 4, the abstractions we defined on garbage #12; collectionVerification of Parallel Garbage Collection by Abstract Model Checking (Extended Abstract) Masami

Hagiya, Masami

205

Core competence (knowledge) (skill)  

E-Print Network (OSTI)

Core competence 8 5~8 2 3 4 5 6 7 8 PPS003 Ver. 1.1 2011/03/07 #12; 2 (knowledge) (skill) (attitude) Set of skill, knowledge or attitude which should be learned or acquired by each, 2000) (knowledge) (skill) (attitude) Set of skill, knowledge or attitude which should be learned

Wu, Yih-Min

206

7 - Foundations of Knowledge  

Science Journals Connector (OSTI)

Specific bodies of knowledge are built around embedded noun objects and the structural relation between these key clusters of knowledge centric objects (KCOs). Events, interactions, and social forces alter such \\{KCOs\\} and their structural relationships. Computational design of knowledge deploys these key objects, their interrelationships, and their interactions that can be stored, processed, and altered by knowledge machines (KMs). Structures of specific knowledge can be optimized to suit in the knowledge processor units (KPUs). The social processes modify prior knowledge at numerous levels ranging from gossip to creative problem solving. \\{KMs\\} also process and optimize clusters of \\{KCOs\\} to suit and explore windows of opportunity to heighten information to knowledge, notions, and valuable scientific concepts. In a sense, \\{KMs\\} and human mind handle act alike and follow intrinsic flow patterns to make the flow of knowledge organized, structured, scientific, useful, and possibly benevolent to the society.

Syed V. Ahamed

2014-01-01T23:59:59.000Z

207

Please complete the following information, check the meeting date you plan to attend, and return, along with $15 registration fee (checks or money order only), via mail  

E-Print Network (OSTI)

, along with $15 registration fee (checks or money order only), via mail to: Brittany Dittemore Headwaters

Guiltinan, Mark

208

Publishing and discovering knowledge services for design on UDDI  

Science Journals Connector (OSTI)

A precondition for internet-based collaborative design under an environment of distributed intelligent resources is that knowledge service providers can publish their own services globally and knowledge service requesters can conveniently and accurately ... Keywords: UDDI, Universal Description, Discovery and Integration, active magnetic bearings, bearing design, collaborative design, design process, knowledge acquisition, knowledge management, knowledge service, turbo-expander design, universal description, web-based design

Ai-bin Zhu; You-Bai Xie

2005-05-01T23:59:59.000Z

209

New Energy Basics Site: Check It Out! | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

New Energy Basics Site: Check It Out! New Energy Basics Site: Check It Out! New Energy Basics Site: Check It Out! August 23, 2010 - 7:30am Addthis Allison Casey Senior Communicator, NREL Interested in energy efficiency and renewable energy but a little confused by all the terms? Wondering how the technologies actually work? Maybe you're doing some research or working on a paper and just need a little background info. EERE's new Energy Basics site is the place for you. There you can learn things like how a wind turbine works and all about the different types of fuel cells. If you just need a quick definition of a term you've heard, check out the glossary. Energy Basics is not meant to replace Energy Savers or any of the program sites throughout the Office of Energy Efficiency and Renewable Energy.

210

Model Checking Networks of Telecommunications Services using SPIN  

E-Print Network (OSTI)

Model Checking Networks of Telecommunications Services using SPIN Mu y Calder and Alice Miller Department of Computing Science University of Glasgow Glasgow, Scotland. Abstract A basic telecommunications. keywords telecommunications services;Promela/Spin;communicating processes; distributed systems; formal

Miller, Alice

211

A Vectorless Framework for Power Grid Electromigration Checking  

E-Print Network (OSTI)

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

Najm, Farid N.

212

Precursors of Linguistic Knowledge  

Science Journals Connector (OSTI)

...29 October 1994 research-article Precursors of Linguistic Knowledge Jean M. Mandler It is agreed that infants require pre-existing...propositional forms of language. Precursors of linguistic knowledge. | It is agreed that infants require pre-existing conceptual...

1994-01-01T23:59:59.000Z

213

Knowledge & Skills Foundations  

E-Print Network (OSTI)

#12;Knowledge & Skills Foundations In the social sciences, incoming students succeed when they are armed with specific knowledge and skills--but above all, when they are ready to embrace the learning process. Basic Knowledge & Skills Students who are ready for entry-level courses are familiar

Hood, Craig

214

Education research Subject knowledge  

E-Print Network (OSTI)

Education research Subject knowledge and pedagogy in science teacher training October 2011 #12;Subject knowledge and pedagogy in science teacher training John Holman, Senior Fellow for Education subject knowledge (as opposed to general teaching skills), and whether there are significant variations

Rambaut, Andrew

215

Static balance checking for first-class modular systems of equations  

Science Journals Connector (OSTI)

Characterising a problem in terms of a system of equations is common to many branches of science and engineering. Due to their size, such systems are often described in a modular fashion by composition of individual equation system fragments. Checking ... Keywords: equation-based, equation-variable balance, first-class components, linear constraints, non-causal modelling, refinement types, structural analysis, systems of equations

John Capper; Henrik Nilsson

2010-05-01T23:59:59.000Z

216

THEORETICAL REVIEW Knowledge is power: How conceptual knowledge transforms  

E-Print Network (OSTI)

THEORETICAL REVIEW Knowledge is power: How conceptual knowledge transforms visual cognition Jessica the existing literature demonstrating the dynamic interplay between conceptual knowledge and visual perceptual showing that category knowledge can penetrate early stages of visual anal- ysis. We next discuss

Olson, Ingrid

217

Development of a tribological failure knowledge model  

Science Journals Connector (OSTI)

Many of the component failures occurring in service can be delayed by better incorporation of tribological principles into engineering design and maintenance. However, the concept of tribology has not yet penetrated successfully into the industry in ... Keywords: JDK 14, Java Swing, KBS, Protege, component failures, design practice, knowledge based systems, knowledge modelling, maintenance strategy, steam power plants, steam turbines, tribological failure, tribology, turbine failure

S. Panda; D. Mishra

2010-08-01T23:59:59.000Z

218

4 - Quantization of Knowledge  

Science Journals Connector (OSTI)

In this chapter, we introduce an analytical framework for constructing new modules of knowledge. This analytical foundation is then used for evaluating the quantity of knowledge and later a chain of procedures to quantify parameters of knowledge. Knowledge is acquired by a series of logical steps that rest on prior knowledge, and it extends the embedded knowledge as logical and deterministic deductive processes, such as connectivity, inference building, derivation, extension, and theorem proving. Typically, these processes are immune to time and place. The derived knowledge thus gains the status of being as stable and becomes itself a basis of new knowledge. We present the tools for the convoluting “force” of the verb function upon noun objects or “molecular knowledge objects.” The term convoluting conveys how the different verb functions and noun objects “behave” differently depending on the context and environment of the interaction between various objects. This type behavior object exists in other disciplines, such as chemistry, biology, and even molecules of water as glacier ice or as superheated steam.

Syed V. Ahamed

2014-01-01T23:59:59.000Z

219

Velo: Knowledge and Tool  

NLE Websites -- All DOE Office Websites (Extended Search)

Velo: Knowledge and Tool Integration for Collaborative Scientific Projects Carina Lansing, Kerstin Kleese van Dam 1 Scientific Project Life Cycle 2 Conceptual Modeling Simulation...

220

Recording Scientific Knowledge  

SciTech Connect

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.

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

2006-01-09T23:59:59.000Z

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


221

Checking in on Solar Decathlon 2011 | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Checking in on Solar Decathlon 2011 Checking in on Solar Decathlon 2011 Checking in on Solar Decathlon 2011 May 4, 2010 - 11:37am Addthis Allison Casey Senior Communicator, NREL This past October, we wrote a lot about the U.S. Department of Energy Solar Decathlon. If you haven't heard of the Solar Decathlon, it's a competition held every two years that challenges 20 collegiate teams to design, build, and operate solar-powered houses that are cost-effective, energy-efficient, and attractive. The teams assemble their houses in a village on the National Mall, where they compete in ten contests and open their houses to the public for tours. The next Solar Decathlon will take place in fall 2011, and though it's not front-page news right now, preparations for the 2011 event are well under way. Both DOE and the teams are busily preparing for next year's event, and

222

Reality Check: Cheaper Batteries are GOOD for America's Electric Vehicle  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Reality Check: Cheaper Batteries are GOOD for America's Electric Reality Check: Cheaper Batteries are GOOD for America's Electric Vehicle Manufacturers Reality Check: Cheaper Batteries are GOOD for America's Electric Vehicle Manufacturers September 16, 2011 - 11:05am Addthis Dan Leistikow Dan Leistikow Former Director, Office of Public Affairs Today's New York Times includes a story about loans the Department of Energy has issued for electric vehicle manufacturing. The story says that the price of advanced batteries for electric vehicles is rapidly declining. That's true. And it's also very good news, since it makes America more competitive. The story goes on to say that this price decline could hurt the electric vehicle manufacturers that the Department has extended loans to. That is not true. In fact, it's just the opposite. Think about it - cheaper

223

IID Energy - Commercial Rebate Program (Commercial Check Me) | Department  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

IID Energy - Commercial Rebate Program (Commercial Check Me) IID Energy - Commercial Rebate Program (Commercial Check Me) IID Energy - Commercial Rebate Program (Commercial Check Me) < Back Eligibility Commercial Savings Category Other Heating & Cooling Commercial Heating & Cooling Cooling Construction Commercial Weatherization Manufacturing Heat Pumps Appliances & Electronics Commercial Lighting Lighting Maximum Rebate General: $100,000 per customer per year; may not exceed 50% of the total installed cost of measures New Construction (Whole Building Approach - Owner): $150,000 per year New Construction (Whole Building Approach - Design Team): $30,000 per year New Construction (Systems Approach): $50,000 per year Program Info State California Program Type Utility Rebate Program Rebate Amount Programmable Thermostats: $50/unit

224

Checking in on Solar Decathlon 2011 | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Checking in on Solar Decathlon 2011 Checking in on Solar Decathlon 2011 Checking in on Solar Decathlon 2011 May 4, 2010 - 11:37am Addthis Allison Casey Senior Communicator, NREL This past October, we wrote a lot about the U.S. Department of Energy Solar Decathlon. If you haven't heard of the Solar Decathlon, it's a competition held every two years that challenges 20 collegiate teams to design, build, and operate solar-powered houses that are cost-effective, energy-efficient, and attractive. The teams assemble their houses in a village on the National Mall, where they compete in ten contests and open their houses to the public for tours. The next Solar Decathlon will take place in fall 2011, and though it's not front-page news right now, preparations for the 2011 event are well under way. Both DOE and the teams are busily preparing for next year's event, and

225

First Elements on Knowledge Discovery Guided by Domain Knowledge (KDDK)  

E-Print Network (OSTI)

First Elements on Knowledge Discovery Guided by Domain Knowledge (KDDK) Jean Lieber, Amedeo Napoli how knowledge discovery and knowl- edge processing may be combined. The knowledge discovery knowledge units. From a knowledge representa- tion perspective, the kdd process may take advantage of domain

Boyer, Edmond

226

Progress Energy Florida - Home Energy Check Audit and Rebate Program |  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

You are here You are here Home » Progress Energy Florida - Home Energy Check Audit and Rebate Program Progress Energy Florida - Home Energy Check Audit and Rebate Program < Back Eligibility Multi-Family Residential Residential Savings Category Home Weatherization Commercial Weatherization Heating & Cooling Commercial Heating & Cooling Cooling Sealing Your Home Ventilation Heat Pumps Insulation Design & Remodeling Windows, Doors, & Skylights Maximum Rebate Duct Test: $$150 Duct Repair: $100 per unit Reflective Roof: $150 Wall Insulation: $300 Replacement Windows - $250 Window Films/Screens - $100 Program Info State Florida Program Type Utility Rebate Program Rebate Amount Heat Pump (Heat Pump Replacement): $100 - $150 Heat Pump (Strip Heat Replacement): $250 - $350

227

Knowledge Transfer Partnerships is Europe's leading programme helping businesses to improve their competitiveness and productivity through the better use of knowledge,  

E-Print Network (OSTI)

Knowledge Transfer Partnerships is Europe's leading programme helping businesses to improve their competitiveness and productivity through the better use of knowledge, technology and skills that reside within the UK knowledge base. A Technology Strategy Board programme Accelerating Business Innovation #12

Molinari, Marc

228

DTMC Model Checking by SCC Reduction Erika brahm, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd  

E-Print Network (OSTI)

DTMC Model Checking by SCC Reduction Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker Theory of Hybrid Systems RWTH Aachen June 7, 2010 AlgoSyn Nils Jansen - SCC-based Model Counterexample Renement 5 Implementation and Case Studies 6 Conclusion and Future Work AlgoSyn Nils Jansen - SCC

Ábrahám, Erika

229

File:OperatingPermitCheckList.pdf | Open Energy Information  

Open Energy Info (EERE)

OperatingPermitCheckList.pdf OperatingPermitCheckList.pdf Jump to: navigation, search File File history File usage File:OperatingPermitCheckList.pdf Size of this preview: 463 × 599 pixels. Other resolution: 464 × 600 pixels. Full resolution ‎(1,275 × 1,650 pixels, file size: 28 KB, MIME type: application/pdf) File history Click on a date/time to view the file as it appeared at that time. Date/Time Thumbnail Dimensions User Comment current 13:27, 13 November 2012 Thumbnail for version as of 13:27, 13 November 2012 1,275 × 1,650 (28 KB) Dklein2012 (Talk | contribs) You cannot overwrite this file. Edit this file using an external application (See the setup instructions for more information) File usage There are no pages that link to this file. Retrieved from "http://en.openei.org/w/index.php?title=File:OperatingPermitCheckList.pdf&oldid=536405

230

It's Time for a National Energy Policy Reality Check  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Junc 21, 2001 Junc 21, 2001 It's Time for a National Energy Policy Reality Check A review of the current energy policy debate from a taxpayer and consumer perspective Contents Page Executive Summary ................................................................................................................... iii Introduction .................................................................................................................................. Purpose and Content of this Paper............................................................................................... Energy Policy Issues and the Outlook for Various Energy Sources ............................................ 1. The Demand for Price Controls ............................................................................................

231

Polymorphic CSP Type Checking Ping Gao and Robert Esser  

E-Print Network (OSTI)

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

Esser, Robert

232

Rev. January 30, 2012 1 REFERENCE and BACKGROUND CHECK  

E-Print Network (OSTI)

Rev. January 30, 2012 1 REFERENCE and BACKGROUND CHECK PROCESS HUMAN RESOURCES Workforce Planning, as allowed by law, and consistent with the job described. The appropriate Workforce Planning Analyst the documentation. (Please note that the review will take place in Human Resources, under a Workforce Planning

Eirinaki, Magdalini

233

Applying High Performance Computing to Analyzing by Probabilistic Model Checking  

E-Print Network (OSTI)

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

Schneider, Carsten

234

Web Service Composition: a Reality Check Jianguo Lu, 2  

E-Print Network (OSTI)

- 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

Lu, Jianguo

235

MEMS design rule checking: a batch approach for remote operation  

SciTech Connect

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.

Yarberry, V.R.

1998-01-01T23:59:59.000Z

236

Software Testing via Model Checking Fevzi Belli, Bari Gldali  

E-Print Network (OSTI)

Software Testing via Model Checking Fevzi Belli, Bari Güldali University of Paderborn, Dept-5251 603445/47; Fax: +49-5251 60 3246 Abstract. Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal

Belli, Fevzi

237

Swiss delegation checks out iCons November 9, 2011  

E-Print Network (OSTI)

Swiss delegation checks out iCons November 9, 2011 Scientists from the ?�cole Polytechnique F for a one-day meeting with faculty, students, and staff of the Integrated Concentration in Science (iCons Sciences Building and spent the day learning how the UMass Amherst iCons program is structured to provide

Auerbach, Scott M.

238

Progress on the State Explosion Problem in Model Checking ?  

E-Print Network (OSTI)

University of Technology, Austria veith@dbai.tuwien.ac.at Abstract. Model checking is an automatic on explicit state enumeration can only handle relatively small examples. This phenomenon is commonly called of these successes, however, additional research is needed to handle large designs of industrial complexity. This aim

Clarke, Edmund M.

239

Segment Protection for Embedded Systems Using Run-time Checks  

E-Print Network (OSTI)

Segment Protection for Embedded Systems Using Run-time Checks Matthew Simpson Bhuvan Middha Rajeev of un- reliability in many embedded systems. Without the segment-level protection it provides be dangerous and catastrophic in safety-critical systems. The tradi- tional method of testing embedded software

Barua, Rajeev

240

First experiences with the LHC BLM sanity checks  

E-Print Network (OSTI)

The reliability concerns have driven the design of the Large Hardron Collider (LHC) Beam Loss Monitoring (BLM) system from the early stage of the studies up to the present commissioning and the latest development of diagnostic tools. To protect the system against non-conformities, new ways of automatic checking have been developed and implemented. These checks are regularly and systematically executed by the LHC operation team to ensure that the system status is after each test "as good as new". The sanity checks are part of this strategy. They are testing the electrical part of the detectors (ionisation chamber or secondary emission detector), their cable connections to the front-end electronics, further connections to the back-end electronics and their ability to request a beam abort. During the installation and in the early commissioning phase, these checks have shown their ability to find also non-conformities caused by unexpected failure event scenarios. In every day operation, a non-conformity discovere...

Emery, J; Effinger, E; Nordt, A; Sapinski, M G; Zamantzas, C; 10.1088/1748-0221/5/12/C12044

2010-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


241

Practical Memory Checking with Dr. Memory Derek Bruening  

E-Print Network (OSTI)

Practical Memory Checking with Dr. Memory Derek Bruening Google bruening@google.com Qin Zhao Massachusetts Institute of Technology qin zhao@csail.mit.edu Abstract--Memory corruption, reading uninitialized memory, using freed memory, and other memory-related errors are among the most difficult programming bugs

Tomkins, Andrew

242

"Why Are Some Firms More Innovative? Knowledge Inputs, Knowledge Stocks,  

E-Print Network (OSTI)

"Why Are Some Firms More Innovative? Knowledge Inputs, Knowledge Stocks, and the Role of Global, Exporting, Knowledge and Technological Change Abstract Why do some firms create more knowledge than others stock of knowledge. But there is very little empirical evidence on production functions for new ideas

Sadoulet, Elisabeth

243

Flexible Knowledge Acquisition Through Explicit Representation of Knowledge Roles  

E-Print Network (OSTI)

Flexible Knowledge Acquisition Through Explicit Representation of Knowledge Roles Bill Swartout@isi.edu, gil@isi.edu Abstract A system that acquires knowledge from a user should be able to reflect upon the knowledge that it has--at each moment--and understand what kinds of new knowledge it needs to learn

Southern California, University of

244

Practical knowledge and abilities  

E-Print Network (OSTI)

The thesis is an exploration of the relations between know-how, abilities, and ordinary knowledge of facts. It is shown that there is a distinctively practical sort of know-how and a corresponding interpretation of 'S knows ...

Glick, Ephraim N

2009-01-01T23:59:59.000Z

245

UCEAO: Energy Knowledge Bank | Open Energy Information  

Open Energy Info (EERE)

UCEAO: Energy Knowledge Bank UCEAO: Energy Knowledge Bank Jump to: navigation, search Name UCEAO: Energy Knowledge Bank Place Ohio Website http://knowledgebank.uso.edu/ References University Clean Energy Alliance of Ohio (UCEAO)[1] LinkedIn Connections This article is a stub. You can help OpenEI by expanding it. UCEAO: Energy Knowledge Bank is an organization based in Ohio. References ↑ "University Clean Energy Alliance of Ohio (UCEAO)" Retrieved from "http://en.openei.org/w/index.php?title=UCEAO:_Energy_Knowledge_Bank&oldid=368110" Categories: Clean Energy Organizations Networking Organizations Organizations Stubs What links here Related changes Special pages Printable version Permanent link Browse properties 429 Throttled (bot load) Error 429 Throttled (bot load)

246

Knowledge and Science in the Theory of the Knowledge Square  

Science Journals Connector (OSTI)

Science is a sub-category of knowledge and hence it must satisfy the general conditions of the primary elements of the knowledge square and its derivatives of belief and analytical squares. As a sub-category of knowledge

Kofi Kissi Dompere

2013-01-01T23:59:59.000Z

247

The Medawar Lecture 2001 Knowledge for vision: vision for knowledge  

Science Journals Connector (OSTI)

...compiled by B. Heap The Medawar Lecture 2001 Knowledge for vision: vision for knowledge Richard L Gregory * * ( richard.gregory...key is innate and then individually learned knowledge, giving meaning to sensory signals. Inappropriate...

2005-01-01T23:59:59.000Z

248

Abstract A43: Comparing changes in cancer knowledge, health attitudes, and behavior by demographics and assimilation from a multi-tiered community-based model  

Science Journals Connector (OSTI)

...meeting-abstract Behavioral and Social Science Community-Based Participatory Research...Abstracts: Sixth AACR Conference: The Science of Cancer Health Disparities; December...Lubbock, TX, 2Texas Tech University Health Science Center, Lubbock, TX, 3University of...

Janani Rajbhandari Thapa; Conrad P. Lyford; Barent McCool; Barbara Pence; Audrey McCool

2014-11-01T23:59:59.000Z

249

check list for those with one abnormal BeLPT  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

CHECK LIST FOR THOSE WHO HAVE HAD, OR WHO IN THE FUTURE CHECK LIST FOR THOSE WHO HAVE HAD, OR WHO IN THE FUTURE HAVE, ONE ABNORMAL BeLPT _____ Fill out the EE-1 and EE-3 and include a copy of any abnormal BeLPT results that you have; review the EE-7 form. _____ Make a copy of the completed forms (one to keep for yourself). _____ Take the original copy of your forms (or mail them) to your nearest EEOICPA Resource Center. If you have already filed these forms, please do not fill them out again, just skip to the next item, below. _____ After you are accepted into the DOL program, choose a clinical center where you want to have your medical examinations. Circle the center you choose. _____ Call the clinical center where you want your medical examinations to be performed. ["I have an abnormal beryllium blood test and I need to get

250

Removable check valve for use in a nuclear reactor  

DOE Patents (OSTI)

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.

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

1988-01-01T23:59:59.000Z

251

Knowledge acquisition and modelling for knowledge-intensive CBR.  

E-Print Network (OSTI)

?? This thesis contains a study of state of the art knowledge acquisition modelling principles and methods for modelling general domain knowledge. This includes Newell's… (more)

Bakke, Elise

2005-01-01T23:59:59.000Z

252

Knowledge integration in teams : a systematic knowledge processing perspective.  

E-Print Network (OSTI)

???Knowledge integration plays an important role in teams, and prior research has found that it can positively influence team performance. However, knowledge integration is not… (more)

Zhang, Yixiang (???)

2010-01-01T23:59:59.000Z

253

Official Knowledge: Validation Mechanisms for Knowledge Management Systems.  

E-Print Network (OSTI)

??One of the most important roles of a knowledge management system is as a filter to verify, authenticate, or justify the knowledge of an organization.… (more)

Watkins, Jennifer H

2009-01-01T23:59:59.000Z

254

Turning Numbers into Knowledge: Mastering the Art of Problem Solving  

NLE Websites -- All DOE Office Websites (Extended Search)

Turning Numbers into Knowledge: Mastering the Art of Problem Solving Turning Numbers into Knowledge: Mastering the Art of Problem Solving Speaker(s): Jonathan Koomey Date: February 12, 2002 - 12:00pm Location: Bldg. 90 Seminar Host/Point of Contact: David Faulkner In this talk, Jonathan Koomey, Staff Scientist and Group Leader in the End-use Forecasting Group, will summarize key "tricks of the trade" summarized in his new book "Turning Numbers into Knowledge: Mastering the Art of Problem Solving". The book focuses on many lessons relevant to working effectively in the research world, including being prepared, creating appropriate documentation, doing back of the envelope calculations, and making good tables and graphs. For more details, check out the book's web site at: http://www.numbersintoknowledge.com

255

The knowledge used in vision and where it comes from  

Science Journals Connector (OSTI)

...research-article Discussion Meeting Issue Knowledge-based vision in man and machine organized...B. Barlow and R. L. Gregory The knowledge used in vision and where it comes from...Downing Street, Cambridge CB2 3EG UK Knowledge is often thought to be something brought...

1997-01-01T23:59:59.000Z

256

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

E-Print Network (OSTI)

Rural Knowledge Clusters: Innovation and Vitality in America's Rural Communities Prepared for: U Knowledge Clusters: Innovation and Vitality in America's Rural Communities Table of Contents Executive Summary 1 I. Context: The Challenge of Rural Community Vitality in a Knowledge-Based Global Economy 5 II

Levinson, David M.

257

Knowledge induction from medical databases with higher-order programming  

Science Journals Connector (OSTI)

Medical data mining is an emerging area of computational intelligence applied to automatically analyze patients' records aiming at the discovery of new knowledge potentially useful for medical decision making. Induced knowledge is anticipated not only ... Keywords: higher-order programming, logic-based knowledge induction, medical decision making, medical informatics

Nittaya Kerdprasop; Kittisak Kerdprasop

2009-10-01T23:59:59.000Z

258

CIVIC KNOWLEDGE Division of the  

E-Print Network (OSTI)

THE CIVIC KNOWLEDGE PROJECT ___________ ___________ Division of the Humanities University of Chicago CONTACT INFORMATION ___________ CIVIC KNOWLEDGE PROJECT OFFICE Edelstone Rm 133 6030 IDEAS ___________ The aim of the Civic Knowledge Project (CKP) is to develop and strengthen community

He, Chuan

259

Medical Knowledge Morphing: Towards Case-Specific Integration of Heterogeneous Medical Knowledge Resources  

E-Print Network (OSTI)

Medical Knowledge Morphing: Towards Case-Specific Integration of Heterogeneous Medical Knowledge interplay between various medical knowledge modalities--the spectrum of medical knowledge modalities spanning from tacit knowledge to experiential knowledge to explicit knowledge to data-induced knowledge

Abidi, Syed Sibte Raza

260

8 - Flow of Knowledge  

Science Journals Connector (OSTI)

Thermodynamics offers a conceptual entry into the domain of knowledge. The behavior of biological and life-form knowledge centric objects or \\{KCOs\\} tend to be probabilistic because their decision-making becomes individualistic, time, and situation dependent. Such variations are accommodated in the equations for kenergy and kentropy by suitable constants that traditionally relate energy and entropy in thermodynamics. These constants are initially “borrowed” from thermodynamics and then the equations are “modeled” after the classic equations in electrical engineering, yet again modified to fit into the science of knowledge. As it is seen in this chapter, the traditional physical sciences start to buckle under stress and psyche and emotions of humanist \\{KCOs\\} and the so-called constants start to become coefficients. These constants are not constants at all in the knowledge domain, but time- and nature-dependent (psychological and emotional) coefficients and attributes of humanist type KCOs. The equations that served as models start to show uncertainties generally associated with quantum mechanics. The methodologies in knowledge sciences converge into a discipline in its own right.

Syed V. Ahamed

2014-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


261

Supercomputing | Knowledge Discovery | ORNL  

NLE Websites -- All DOE Office Websites (Extended Search)

Mobile Applications Streaming/Real-time Data Data System Architectures for National Security Sensor Networks Visual Analytics Risk Analysis Materials Mathematics National Security Systems Modeling Engineering Analysis Behavioral Sciences Geographic Information Science and Technology Quantum Information Science Supercomputing and Computation Home | Science & Discovery | Supercomputing and Computation | Research Areas | Knowledge Discovery SHARE Knowledge Discovery The national level grand challenge in Computer Science is the ability to acquire, reduce, analyze and extract meaning from massive amounts of data. ORNL is studying methods for the discovery of "hidden laws and processes" underlying observable behaviors in complex systems. ORNL researchers are

262

Knowledge Entry Maps: ontology to structure method knowledge in the  

E-Print Network (OSTI)

Knowledge Entry Maps: ontology to structure method knowledge in the IT industry Remko Helms, Sjaak, utrecht university technical report UU-CS-2004-035 www.cs.uu.nl #12;Knowledge Entry Maps: ontology to structure method knowledge in the IT industry Remko Helms1 , Sjaak Brinkkemper1 , Job van Oosterum2 , Frank

Utrecht, Universiteit

263

High School Students' Modeling Knowledge High School Students' Modeling Knowledge  

E-Print Network (OSTI)

High School Students' Modeling Knowledge High School Students' Modeling Knowledge David Fortus of the authors. #12;High School Students' Modeling Knowledge Abstract Modeling is a core scientific practice. This study probed the modeling knowledge of high school students who had not any explicit exposure

264

Knowledge and implicit knowledge in a distributed environment: Preliminary Report  

E-Print Network (OSTI)

Knowledge and implicit knowledge in a distributed environment: Preliminary Report Ronald Fagin characterize the states of knowledge that are attainable in distributed systems, where communication is done by unreliable message exchange. The reason that certain states of knowledge are unattainable is a conservation

Fagin, Ron

265

Knowledge Entry Maps: structuring of method knowledge in the IT  

E-Print Network (OSTI)

Knowledge Entry Maps: structuring of method knowledge in the IT industry Remko Helms, Sjaak and computing sciences, utrecht university technical report UU-CS-2004-065 www.cs.uu.nl #12;Knowledge Entry Maps: structuring of method knowledge in the IT industry Remko Helms, Sjaak Brinkkemper Institute of Information

Utrecht, Universiteit

266

File:Temporary storage plan review check list.pdf | Open Energy...  

Open Energy Info (EERE)

storage plan review check list.pdf Jump to: navigation, search File File history File usage File:Temporary storage plan review check list.pdf Size of this preview: 463 599...

267

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

NLE Websites -- All DOE Office Websites (Extended Search)

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

268

SEP Success Story: Library Patrons in New York Check-Out Renewable...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Library Patrons in New York Check-Out Renewable Energy SEP Success Story: Library Patrons in New York Check-Out Renewable Energy December 27, 2011 - 10:05am Addthis The public...

269

On the limits of refinement-testing for model-checking CSP  

Science Journals Connector (OSTI)

Refinement-checking, as embodied in tools like FDR, PAT and ProB, is a popular approach for model-checking refinement-closed predicates of CSP processes. We consider the limits of this ... denotational predicate ...

Toby Murray

2013-03-01T23:59:59.000Z

270

Event:Knowledge as currency: Generating and disseminating knowledge for  

Open Energy Info (EERE)

as currency: Generating and disseminating knowledge for as currency: Generating and disseminating knowledge for climate change adaptation in Africa Jump to: navigation, search Calendar.png Knowledge as currency: Generating and disseminating knowledge for climate change adaptation in Africa: 13:20 - 14:40 on 2011/12/01 Side event at the Africa pavilion on knowledge production and sharing on adaptation in Africa with START and IDRC Event Details Name Knowledge as currency: Generating and disseminating knowledge for climate change adaptation in Africa Date 2011/12/01 Time 13:20 - 14:40 Location African Pavilion Tags Climate Knowledge Broker Ret LikeLike UnlikeLike You like this.Sign Up to see what your friends like. rieved from "http://en.openei.org/w/index.php?title=Event:Knowledge_as_currency:_Generating_and_disseminating_knowledge_for_climate_change_adaptation_in_Africa&oldid=391873

271

Leveraging collective knowledge  

Science Journals Connector (OSTI)

As more organizations begin to deploy taxonomies for categorization and faceted search, the cost of producing these knowledge models is becoming the largest expense on a project. At a cost of 200 - 300 dollars per topic, manually developing subject area ... Keywords: categorization, classification, library, tagging, taxonomy

Henry Kon; Michael Hoey

2005-10-01T23:59:59.000Z

272

INTENT TO ENROLL ADVANCED TUITION DEPOSIT BY CHECK/MONEY ORDER  

E-Print Network (OSTI)

ATDP INTENT TO ENROLL ADVANCED TUITION DEPOSIT BY CHECK/MONEY ORDER Important Note: Complete Deposit with a check or money order made payable to Portland State University. This $200 deposit in courses at Portland State University for fall term. Enclosed is a check/money order made payable

273

Precise Zero Knowledge Silvio Micali  

E-Print Network (OSTI)

Precise Zero Knowledge Silvio Micali Rafael Pass December 1, 2007 Abstract We put forward the notion of Precise Zero Knowledge and provide its first implementations in a variety of settings under standard complexity assumptions. Whereas the classical notion of Zero Knowledge bounds the knowledge

Keinan, Alon

274

Reducing pressure loss of large diameter check valves  

SciTech Connect

Transcend Inc., a consulting firm that specializes in the use of computer simulation to optimize existing equipment and system designs, was approached by Mannesmann Demag AG, Moenchengladbach, Germany to optimize the design of its DRV-B check valve. In one of the first applications of Computational Fluid Dynamics (CFD) technology to valve design, the pressure loss coefficient (K) of the DRV-B valve was lowered to 0.40--0.50 for valve sizes NPS48--NPS12, the lowest possible level for this type of valve. The flow efficiency is three times better than that of the earlier design. As a result, the optimized Mannesmann Demag DRV-B check valve provides a dramatic reduction in operating cost, particularly in transmission service where natural gas is transported over long distances. The reduced pressure loss saves compressor fuel cost. For the optimized valve, the incremental compressor fuel cost is reduced to 1.5-times the capital cost of the valve calculated over a 20-year Life Cycle Cost (LCC) period.

NONE

1997-09-01T23:59:59.000Z

275

10 - Knowledge Science  

Science Journals Connector (OSTI)

The human thought and machine processes are rendered (almost) seamless. The genius of amorphous creativity and steps of integrated creativity programmed into knowledge machines are bonded together. The machine processes are made subservient to human thought process, and machine will serve well in the structured segment of the unstructured creativity and hasten the overall processes of creativity. The synergy is enhanced by a new flavor of artificial creativity by hopping between skillful thought (at computer interfaces) and computational rigor (of knowledgeware).The basic methodology for the flow of knowledge is borrowed from thermodynamics and from electrical systems. The noise control principles are taken from signal processing where the signal contamination is examined by power spectrum analyzers (and Fourier analysis), and the reason for the contamination is systematically tracked and eliminated or canceled out to insignificant levels. The basis of transfer functions in the flow of signals through transmission media is driven deeper to derive the transformation matrices for the flow of information and knowledge through social media.

Syed V. Ahamed

2014-01-01T23:59:59.000Z

276

An integrated, interactive knowledge system which discovers and structures knowledge  

E-Print Network (OSTI)

' AN INTEGRATED, INTERACTIVE KNOWLEDGE SYSTEM WHICH DISCOVERS AND STRUCTURES KNOWLEDGE A Thesis by PAUL ANTHONY SQUHTERI Submitted to the Office of Graduate Studies of Texas A&M in partial fulfillment of the requirements for the degree... of MASTER OF SCIENCE May 1989 Major Subject: Computer Science AN INTEGRATED, INTERACTIVE KNOWLEDGE SYSTEM WHICH DISCOVERS AND STRUCTURES KNOWLEDGE A Thesis by PAUL ANTHONY SQ~RI Approved as to style and content by: Donald K. Friesen (Chair...

Squitteri, Paul Anthony

2012-06-07T23:59:59.000Z

277

Temporal approach to causal knowledge  

Science Journals Connector (OSTI)

......2000 Article Temporal approach to causal knowledge W Penczek Institute of Computer Science...ipiapan.waw.pl Temporal logic of causal knowledge over general partially ordered structures...states is defined. The definition of knowledge captures the change of state due to action......

W Penczek

2000-01-01T23:59:59.000Z

278

The Dynamics of Syntactic Knowledge  

Science Journals Connector (OSTI)

......Original Articles The Dynamics of Syntactic Knowledge Thomas agotnes Department of Informatics...logical omniscience problem by taking knowledge as primary rather than as defined in...1Introduction The most studied formal logics of knowledge and belief, epistemic and doxastic logics1......

Thomas Ågotnes; Natasha Alechina

2007-02-01T23:59:59.000Z

279

Modal Knowledge and Game Semirings  

Science Journals Connector (OSTI)

......Methods for Data and Modelling Modal Knowledge and Game Semirings 1 Bernhard Moller...algebras. We show that they can also model knowledge and belief logics as well as games without...Moreover, we show possibilities of handling knowledge update and revision algebraically. For......

Bernhard Möller

2013-01-01T23:59:59.000Z

280

Model Checking for Industrial Applications Bernd-Holger Schlinglo  

E-Print Network (OSTI)

Quality assurance in software development Formal design methods Safety-critical systems Reactive programs, multimedia, graphical user interfaces, ... H. Schlinglo , BISS 3 / 72 #12;Software quality assurance Why rules suggests rules { usually expert knowledge required { not accepted by system engineers Automatic

Schlingloff, Holger

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


281

Bioenergy Science Center KnowledgeBase  

DOE Data Explorer (OSTI)

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

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.

282

A Knowledge-Based Computer Animation System  

E-Print Network (OSTI)

This paper reproduces part of a doctoral thesis proposal describing the design of a system capable of generating animated drawings in response to a simple story. The representation and interaction of the various sources ...

Kahn, Kenneth M.

283

Knowledge base for an autonomic transport layer  

Science Journals Connector (OSTI)

The accelerated development of Internet and mobile devices has lead to new QoS-demanding distributed applications and new QoS-providing communication services, particularly at the transport level. The diversity of transport services and underlying networks ... Keywords: autonomic computing, model-driven architecture, ontology-driven architecture, transport protocols

Ernesto Exposito; Christophe Chassot; Michel Diaz

2011-06-01T23:59:59.000Z

284

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

E-Print Network (OSTI)

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

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

2014-01-01T23:59:59.000Z

285

Knowledge Capture and Transfer Program | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Performance-Based Culture » Performance-Based Culture » Knowledge Capture and Transfer Program Knowledge Capture and Transfer Program 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 of its current employees, through the Knowledge Capture and Transfer Program. This program is initiating immediate action to stem the potential loss of critical knowledge and skills possessed by older, retirement eligible employees. Recognizing adverse economic conditions and dwindling budgets, the DOE will utilize cost-effective methods, including leveraging the highly technical and diverse expertise within the Department, to help address its knowledge capture and transfer challenges.

286

Failure Modes and Causes for Swing and Lift Type Check Valves  

Office of Scientific and Technical Information (OSTI)

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

287

NUPRO process vent/MCO check valve - prevent backflow from process vent into MCO  

SciTech Connect

NUPRO process vent/MCO check valve - prevent backflow from process vent into MCO CGI-SNF-D-30-3-P4-040.

VAN KATWIJK, C.

1999-07-01T23:59:59.000Z

288

A project health check for coal mining caompanies : case of Douglas Middelburg optimisation project .  

E-Print Network (OSTI)

??The purpose of the study is to develop a project health check model to evaluate the status of projects within the coal mining industry. The… (more)

De Wet, G.F.

2007-01-01T23:59:59.000Z

289

Knowledge Encapsulation Framework for Collaborative Social Modeling  

SciTech Connect

This paper describes the Knowledge Encapsulation Framework (KEF), a suite of tools to enable knowledge inputs (relevant, domain-specific facts) to modeling and simulation projects, as well as other domains that require effective collaborative workspaces for knowledge-based task. This framework can be used to capture evidence (e.g., trusted material such as journal articles and government reports), discover new evidence (covering both trusted and social media), enable discussions surrounding domain-specific topics and provide automatically generated semantic annotations for improved corpus investigation. The current KEF implementation is presented within a wiki environment, providing a simple but powerful collaborative space for team members to review, annotate, discuss and align evidence with their modeling frameworks. The novelty in this approach lies in the combination of automatically tagged and user-vetted resources, which increases user trust in the environment, leading to ease of adoption for the collaborative environment.

Cowell, Andrew J.; Gregory, Michelle L.; Marshall, Eric J.; McGrath, Liam R.

2009-03-24T23:59:59.000Z

290

Knowledge sharing framework for sustainability of knowledge capital.  

E-Print Network (OSTI)

??Knowledge sharing is one of the most critical elements in a knowledgebased society. With huge concentration on communication facilities, there is a major shift in… (more)

Zadjabbariochtapeh, Behrang

2010-01-01T23:59:59.000Z

291

Task-Oriented Knowledge Acquisition and Reasoning for  

E-Print Network (OSTI)

-solvingknowledge that supports de- sign, a formal integrated model of knowledge for design is constructed. Based on the notion the interactive use of di erent kinds of knowledge in planning and design. 2 The Application Domain: Building is building design. In particular, the focus is on the installation in buildings with a complex infrastructure

Börner, Katy

292

Acquiring lexical knowledge using raw corpora and unsupervised clustering method  

Science Journals Connector (OSTI)

In this paper, we propose a computational model for automatic acquisition of lexical knowledge based on the principles of human language information processing. The proposed model assumes a hybrid model for the human lexical representation including ... Keywords: Entropy, Lexical knowledge acquisition, Mental lexicon, SOM

Kinam Park, Heuiseok Lim

2014-09-01T23:59:59.000Z

293

Correlated Knowledge Gradients: Example alternatives  

E-Print Network (OSTI)

Correlated Knowledge Gradients: Example -4 -2 0 2 4 alternatives value 0 10 20 30 -10 -8 -6 -4 -2 0;Correlated Knowledge Gradients: Example -4 -2 0 2 4 alternatives value 0 10 20 30 -10 -8 -6 -4 -2 0 num measurements log(KGfactor) 0 10 20 30 0 0.5 1 1.5 2 num measurements opportunitycost #12;Correlated Knowledge

Keinan, Alon

294

Nuclear knowledge development in Armenia  

Science Journals Connector (OSTI)

Armenia has rather a rich history of nuclear knowledge development. During the last several decades, depending upon circumstances related to the Armenian Nuclear Power Plant main milestones â?? construction, putting into operation, shutdown and restarting â?? nuclear knowledge has had its ups and downs. Though it has a high level of development, there is still a need to preserve accumulated nuclear knowledge through appropriate processes.

A.A. Gevorgyan

2008-01-01T23:59:59.000Z

295

Technology, legal knowledge and citizenship   

E-Print Network (OSTI)

through adjustment. Science, Technology and Human Values 31(3 Technology, legal knowledge and citizenship On the care ofhelp of these adaptive technologies, Jose had become able to

Dominguez Rubio, Fernando; Lezaun, Javier

2014-01-01T23:59:59.000Z

296

MOCHA: A Model Checking Tool that Exploits Design Structure L. de Alfaro R. Grosu  

E-Print Network (OSTI)

INTRODUCTION Model checking is emerging as a practical tool for automated debugging of embedded software (seeMOCHA: A Model Checking Tool that Exploits Design Structure R. Alur L. de Alfaro¡ R. Grosu ¢ T [7] for a survey, and [12, 11] for sample model checkers, and [8] for applications to software

de Alfaro, Luca

297

MOCHA: A Model Checking Tool that Exploits Design Structure L. de Alfaro  

E-Print Network (OSTI)

INTRODUCTION Model checking is emerging as a practical tool for automated debugging of embedded software (seeMOCHA: A Model Checking Tool that Exploits Design Structure R. Alur L. de Alfaro R. Grosu T [7] for a survey, and [12, 11] for sample model checkers, and [8] for applications to software

Grosu, Radu

298

Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC  

E-Print Network (OSTI)

(RPS) in Korea. Our approach is effective to check equivalence between FBDs and ANSI-C programs: Equivanelce Checking, Behavioral Consistency, FBDs, Ver- ilog, ANSI-C, HW-CBMC. 1 Introduction Controllers Heidelberg 2011 #12;398 D.-A. Lee, J. Yoo, and J.-S. Lee FBDs program into ANSI-C program to compile

299

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

E-Print Network (OSTI)

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

Clarke, Edmund M.

300

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

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


301

Document CHECK LIST for application to International Dentist Degree Program 2015-2016  

E-Print Network (OSTI)

Document CHECK LIST for application to International Dentist Degree Program 2015-2016 Check list: Track A: ___ Application Form and Fee Due: April 30, 2014 The application is not considered submitted until the Application, payment and all relevant documents are received. ___ Transcripts/Dental Degree

Major, Arkady

302

Unique Challenges of Managing Inductive Knowledge  

E-Print Network (OSTI)

1 p 1 Abstract Unique Challenges of Managing Inductive Knowledge produc� ing statistical significance inductive bias David Jensen Executive Summary Statistical Significance knowledge dis� covery Data Mining and Knowledge Discovery Intelligent Data Analysis et al. Tools for inducing knowledge from

Jensen, David

303

A knowledge services roadmay for online learning  

E-Print Network (OSTI)

In today's society, there is a need for organizations to have a robust knowledge infrastructure in place, so that they can create or acquire knowledge; store knowledge; disseminate knowledge, and protect and manage their ...

Rajagopal, Anand, 1979-

2005-01-01T23:59:59.000Z

304

WebChild: harvesting and organizing commonsense knowledge from the web  

Science Journals Connector (OSTI)

This paper presents a method for automatically constructing a large commonsense knowledge base, called WebChild, from Web contents. WebChild contains triples that connect nouns with adjectives via fine-grained relations like hasShape, hasTaste, evokesEmotion, ... Keywords: commonsense knowledge, knowledge bases, label propagation, web mining, word sense disambiguation

Niket Tandon; Gerard de Melo; Fabian Suchanek; Gerhard Weikum

2014-02-01T23:59:59.000Z

305

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

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Chu Checks In on Biomass Pilot-Scale Facility Chu Checks In on Biomass Pilot-Scale Facility Secretary Chu Checks In on Biomass Pilot-Scale Facility November 22, 2011 - 10:03am Addthis Secretary Steven Chu visited Kapolei, Hawaii, to check on the process of an integrated biorefinery project awarded $25 million through the Recovery Act to construct the facility. | Image courtesy of the Energy Department. Secretary Steven Chu visited Kapolei, Hawaii, to check on the process of an integrated biorefinery project awarded $25 million through the Recovery Act to construct the facility. | Image courtesy of the Energy Department. Liz Moore Project Manager, Office of Energy Efficiency and Renewable Energy Each biorefinery would: produce as much as 50 million gallons of drop-in green transportation fuels per year

306

Cultural Knowledge Systems: Synthesizing our knowledge of knowledge using grounded theory.  

E-Print Network (OSTI)

??Many applied academics, within and outside anthropology, have called for the incorporation of cultural knowledge in public policy and decision-making, and for the “bridging” of… (more)

Baker, Katreena

2011-01-01T23:59:59.000Z

307

ARKTOS: a knowledge engineering software tool for images  

E-Print Network (OSTI)

is to obtain a modestly accurate classification system quickly. Second, there is a refinement stage that involves evaluating the prototype, refining the knowledge base, modifying the design and re-evaluating the improved system. Since the refinement...

Soh, L. K.; Tsatsoulis, Costas

2002-12-01T23:59:59.000Z

308

NETL: Carbon Storage - Knowledge Sharing  

NLE Websites -- All DOE Office Websites (Extended Search)

Knowledge Sharing Knowledge Sharing Carbon Storage Knowledge Sharing Outreach Efforts at SECARB's Anthropogenic Test Site in Alabama Outreach Efforts at SECARB's Anthropogenic Test Site in Alabama In order to achieve the commercialization of CO2 storage technologies, the U.S. Department of Energy (DOE) acknowledges that knowledge sharing between various entities is essential. Distribution of the results and lessons learned from both field projects and Core R&D efforts will provide the foundation for future, large-scale CCS field tests across North America and in addressing future challenges associated with public acceptance, infrastructure (pipelines, compressor stations, etc.), and regulatory framework. DOE promotes information and knowledge sharing through various avenues including the Regional Carbon Sequestration Partnerships (RCSP)

309

File: How to Meet the Health Check Secure Remote Access Page 1 of 7 January 2013 Security Requirements  

E-Print Network (OSTI)

Requirements Technology Help Desk 412 624-HELP [4357] http://technology.pitt.edu How to Meet the Health Check......................................................................................................................................................................................4 Get Help.....................................................................................................................................................................................................6 Appendix: Anti-virus Tools (Products and Versions) Compatible with the Health Check

Jiang, Huiqiang

310

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

E-Print Network (OSTI)

: 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

Nairn, John A.

311

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

E-Print Network (OSTI)

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

Kuhlen, Rainer

312

11 - Knowledge Flow in Universities  

Science Journals Connector (OSTI)

In this chapter, a typical American university is chosen as a model for the quantitative analysis for the flow of knowledge in a reasonably well-defined academic setting. Knowledge flow assumes quantifiable patterns and much like the flow and retention of rain water over a given terrain of land; the quality (of teaching) and quantity (number of credit hours) of knowledge retained by students is estimated on a qualitative and quantitative basis. The model presented in this chapter is entirely generic. It can be applied in any center of learning and during any period of training, residency in limited time frame, or even to the evolution of species as they gain survival skills, and build their knowledge potential to survive, another generation, calamity, meteor fall, a catastrophic disaster, or a global nuclear fall-out. Though the probability of outcome is not accurately known, it is still bounded by confidence limits.

Syed V. Ahamed

2014-01-01T23:59:59.000Z

313

Knowledge Practices Laboratory Integrated Project  

E-Print Network (OSTI)

1 27490 KP-LAB Knowledge Practices Laboratory Integrated Project Information Society Technologies D documentation: http://www.kp-lab.org/intranet/work- packages/wp5/result/deliverable-5.3 hal-00593214,version1

Paris-Sud XI, Université de

314

Knowledge Practices Laboratory Integrated Project  

E-Print Network (OSTI)

1 27490 KP-LAB Knowledge Practices Laboratory Integrated Project Information Society Technologies D (METROPOLIA), Marina Scapola (DIBE) Review documentation: http://www.kp-lab.org/intranet/work-packages/wp5

Paris-Sud XI, Université de

315

Landscape Research, Knowledge and Change  

E-Print Network (OSTI)

Landscape Research, Knowledge and Change Division of Landscape Architecture SLU Uppsala The Landscape Architect Education 2 Research Themes 3 PhD Students 10 #12; Welcome to the Division of Landscape Architecture! Landscape Architecture is the art

316

Knowledge reduction in formal fuzzy contexts  

Science Journals Connector (OSTI)

Abstract Knowledge reduction is a basic issue in knowledge representation and data mining. Although various methods have been developed to reduce the size of classical formal contexts, the reduction of formal fuzzy contexts based on fuzzy lattices remains a difficult problem owing to its complicated derivation operators. To address this problem, we propose a general method of knowledge reduction by reducing attributes and objects in formal fuzzy contexts based on the variable threshold concept lattices. Employing the proposed approaches, we remove attributes and objects which are non-essential to the structure of a variable threshold concept lattice, i.e., with a given threshold level, the concept lattice constructed from a reduced formal context is made identical to that constructed from the original formal context. Discernibility matrices and Boolean functions are, respectively, employed to compute the attribute reducts and object reducts of the formal fuzzy contexts, by which all the attribute reducts and object reducts of the formal fuzzy contexts are determined without changing the structure of the lattice.

Ming-Wen Shao; Hong-Zhi Yang; Wei-Zhi Wu

2015-01-01T23:59:59.000Z

317

Checking in on Our Council on Women and Girls' Mentoring Program |  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Checking in on Our Council on Women and Girls' Mentoring Program Checking in on Our Council on Women and Girls' Mentoring Program Checking in on Our Council on Women and Girls' Mentoring Program July 26, 2011 - 12:04pm Addthis At the end of March we announced the start of a new mentoring program through our Council on Women and Girls, which matches up female undergraduate students in the DC area with women employees in science, engineering, technology, and mathematics (STEM) areas of work. (Check out the blog post here). This week, our mentoring program leaders in our Office of Human Capitol held a mentoring forum for our new mentoring program, featuring a mentoring action plan workshop, networking, and an evaluation of how the program is going so far. While we just announced this new program four months ago, we now have 27 pairs of mentors and mentees who are actively working together

318

V-156: Linux Kernel Array Bounds Checking Flaw Lets Local Users Gain  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

6: Linux Kernel Array Bounds Checking Flaw Lets Local Users 6: Linux Kernel Array Bounds Checking Flaw Lets Local Users Gain Elevated Privileges V-156: Linux Kernel Array Bounds Checking Flaw Lets Local Users Gain Elevated Privileges May 15, 2013 - 12:19am Addthis PROBLEM: Linux Kernel Array Bounds Checking Flaw Lets Local Users Gain Elevated Privileges PLATFORM: Version(s): 2.6.37 to 3.8.9 ABSTRACT: A vulnerability was reported in the Linux Kernel. REFERENCE LINKS: Linux Kernel SecurityTracker Alert ID: 1028565 CVE-2013-2094 IMPACT ASSESSMENT: Medium DISCUSSION: On systems compiled with PERF_EVENTS support, a local user can supply a specially crafted perf_event_open() call to execute arbitrary code on the target system with root privileges. The vulnerability resides in the perf_swevent_init() function in 'kernel/events/core.c'.

319

Check Out the New Alternative Fuel Station Locator | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Check Out the New Alternative Fuel Station Locator Check Out the New Alternative Fuel Station Locator Check Out the New Alternative Fuel Station Locator November 19, 2012 - 2:29pm Addthis Find Stations Plan a Route Location: Go Start: End: Go Fuel: All Fuels Biodiesel (B20 and above) Compressed Natural Gas Electric Ethanol (E85) Hydrogen Liquefied Natural Gas (LNG) Liquefied Petroleum Gas (Propane) more search options close × More Search Options Include private stations Include planned stations Owner All Private Federal State Local Utility Payment All American Express Discover MasterCard VISA Cash Checks CFN Clean Energy Fuel Man Gas Card PHH Services Voyager WEX Electric charger types Include level 1 Include level 2 Include DC fast Include legacy chargers Limit results to within 5 miles Limit results to within 5 miles

320

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

E-Print Network (OSTI)

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

Gurvits, Leonid

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


321

Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security  

E-Print Network (OSTI)

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

Abi-Antoun, Marwan

322

10. CHOOSE YOUR PAYMENT METHOD: Enclosed is a check made payable to the University of Connecticut  

E-Print Network (OSTI)

10. CHOOSE YOUR PAYMENT METHOD: Enclosed is a check made payable to the University of Connecticut: $ Connecticut Repertory Theatre ­ 802 Bolton Rd, U-1127, Storrs, CT 06269-1127 ­ Phone: 860-486-2113 2014 New

Alpay, S. Pamir

323

T-690: Check Point Endpoint Security On-Demand Client Lets Remote...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

replaces the Deployment Agent on their machine. In addition, it is recommended to patch user PCs. Check Point SupportCenter Addthis Related Articles T-635: Cisco AnyConnect...

324

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

E-Print Network (OSTI)

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

Boulicaut, Jean-François

325

Colorado's hydrothermal resource base---an assessment | Open...  

Open Energy Info (EERE)

Colorado's hydrothermal resource base---an assessment Author R.H. Pearl Published Colorado Geological Survey Resource Series, 1979 DOI Not Provided Check for DOI availability:...

326

Knowledge Mobilization in Actiong Presentation to SSHRC  

E-Print Network (OSTI)

Knowledge Mobilization in Actiong Presentation to SSHRC Rob Greenwood & Mike ClairRob Greenwood, · Knowledge Mobilization: Harris Centre Perspective · Knowledge Mobilization: Programs & Initiatives · The Harris Centre as Broker · Conclusion: Key Lessons · Knowledge in Motion 2008!Knowledge in Motion 2008

deYoung, Brad

327

COMMON KNOWLEDGE, COHERENT UNCERTAINTIES AND CONSENSUS  

E-Print Network (OSTI)

COMMON KNOWLEDGE, COHERENT UNCERTAINTIES AND CONSENSUS by Yakov Ben-Haim TECHNICAL REPORT ETR-2001 of Mechanical Engineering #12;Working Paper Common Knowledge, Coherent Uncertainties and Consensus Yakov Ben- and knowledge-functions, common knowledge and consensus. Our main results are that knowledge is constricted

Rimon, Elon

328

GIS Meets Social Media: Foursquare Check-ins and Economic Geography  

E-Print Network (OSTI)

Emily Fekete PhD Student University of Kansas GIS Meets Social Media: Foursquare Check-ins and Economic Geography Foursquare Methods ? Extract Venue Data from Foursquare ? Id number, Name, Street Address (street number, state, country, zip... code), Latitude, Longitude, Verified, Number of Check-ins, Number of Users, Number of Specials, Type of Special, Category of place ? Upload into ArcGIS Future Research ? Economic Geography and the Cultural Turn ? Why do people consume...

Fekete, Emily

2013-01-15T23:59:59.000Z

329

Knowledge management in a global setting: a critique of knowledge transfer and the role of knowledge workers.  

E-Print Network (OSTI)

??As a form of expert labour and organizational resource, knowledge workers are important in organizational life as producers and consumers of knowledge. The role of… (more)

Konstantinou, Efrosyni

2008-01-01T23:59:59.000Z

330

Knowledge Portals: Components, Functionalities, and Deployment Challenges  

E-Print Network (OSTI)

Knowledge Portals: Components, Functionalities, and Deployment Challenges Claudia Loebbecke University of Cologne Kevin Crowston Syracuse University School of Information Studies Abstract Knowledge Portals (KPs) are highly integrative Knowledge Management Systems (KMS) that promise to synthesize widely

Crowston, Kevin

331

Knowledge representation of signal transduction pathways  

Science Journals Connector (OSTI)

......University Press 2001 Original Paper Knowledge representation of signal transduction...topic that encompasses a large body of knowledge about the biochemical mechanisms. Since most of the knowledge of signal transduction resides in scientific......

Ken-ichiro Fukuda; Toshihisa Takagi

2001-09-01T23:59:59.000Z

332

Parity check matrices and product representations of squares Microsoft Research  

E-Print Network (OSTI)

of the known constructions of codes, e.g. codes based on bounded degree graphs such as expander codes [35, 36 contexts, e.g. certain BCH and Reed-Solomon codes [29], Turbo and Turbo- like codes [8, 25, 14, 7

Naor, Assaf

333

Parity check matrices and product representations of squares Microsoft Research  

E-Print Network (OSTI)

.g. codes based on bounded degree graphs such as expander codes [35, 36], and we also refer to [28 BCH and Reed­Solomon codes [29], Turbo and Turbo­ like codes [8, 25, 14, 7]). Additionally, the above

Naor, Assaf

334

Hydrogen Safety Knowledge Tools | Department of Energy  

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

Knowledge Tools Hydrogen Safety Knowledge Tools 2009 DOE Hydrogen Program and Vehicle Technologies Program Annual Merit Review and Peer Evaluation Meeting, May 18-22, 2009 --...

335

A Delphi algorithm that integrates knowledge for expert system development  

E-Print Network (OSTI)

as expertise resulting in inefficient solutions. This research focuses on the development of a model which used the Delphi Technique to simulate the process of integrating the knowledge of multiple experts into one tightly bound knowledge base. The devised... of simple symbolic manipulations, some of the real meaning has been lost when the capability was transferred from expert to program. Another difference between humans and ES is that the latter tends to have a very narrow focus while the former has a very...

Layton, Terre Lou

2012-06-07T23:59:59.000Z

336

Organizational knowledge and the Intranet  

Science Journals Connector (OSTI)

The Intranet phenomenon has been driven by the push of technology standards and the pull of organizational need to (1) communicate across geographic, organizational and functional barriers, and (2) collaborate among sites and with suppliers and customers. The objective of this study is to generate a theoretical framework for the interaction between organizational knowledge and the Intranet. The contribution of this paper is 4-fold. First, we generate a theoretical framework using the paradigm model of grounded theory. We show interactions between the Intranet and three organizational knowledge strategies taking into account drivers, the context, and intervening conditions. Second, previous research on organizational knowledge creation theory is incorporated into the framework. Third, the framework forms the basis for future empirical research on the business value of the Intranet. Finally, the study raises implications for IS developers, IS departments, management and researchers.

Judy E Scott

1998-01-01T23:59:59.000Z

337

Business Metadata: Capturing Enterprise Knowledge: Capturing Enterprise Knowledge  

Science Journals Connector (OSTI)

People have a hard time communicating, and also have a hard time finding business knowledge in the environment. With the sophistication of search technologies like Google, business people expect to be able to get their questions answered about the business ... Keywords: Database Management

William H. Inmon; Bonnie O'Neil; Lowell Fryman

2007-09-01T23:59:59.000Z

338

Competency Knowledge Sub Domain Fundamental Knowledge and Clinical Reasoning  

E-Print Network (OSTI)

on an understanding of the patient, pathophysiology, application of sound scientific principles, and fundamental mechanisms* and patient specific data** to address simple clinical cases (1,2) · Explains how the principles problems , addressing the pathophysiology and etiology (1,2) · Applies knowledge of the principles

Leistikow, Bruce N.

339

SEB Secretariat and Knowledge Manager  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

SEB Secretariat and Knowledge Manager SEB Secretariat and Knowledge Manager (SKM) Update Position was established last summer Among the duties and responsibilities are:  Developing and maintaining source selection templates and forms  Establishing, maintaining and disseminating Departmental SSO and SEB policy, procedures and guidance  Establishing SEB reporting requirements and tracking status of SEB activities against established milestones 1 Documents and Templates Prepared or Revised To Date * Issued - Acquisition Guide Chapter 1.4 - SEB Monthly Status Report template * Under Review - Competitive Range Determination template - Source Selection Decision Document template - Source Selection Plan template - Acquisition Guide Chapter 7.1 Revision - Acquisition Guide Chapter 15.1 Revision

340

HEART SMART NUTRITION KNOWLEDGE = POWER  

E-Print Network (OSTI)

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

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


341

A knowledge portal for Norway  

E-Print Network (OSTI)

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 The Administrative Streamlining Programme 33 Ongoing efforts 34 Key figures 16 Life sciences 17 UiO:Energy 17 Four

Johansen, Tom Henning

342

Knowledge Practices Laboratory Integrated Project  

E-Print Network (OSTI)

27490 KP-LAB Knowledge Practices Laboratory Integrated Project Information Society Technologies D6. Map-It. The installer program for Map-It v2.0.0 is available at: http://www.kp-lab.org/intranet-lab.org/intranet/testable-tools/kp-lab-tools/map-it/getting-started-with-map-it 3. Change Laboratory

Paris-Sud XI, Université de

343

A Self?Check System for Mental Health Care based on Nonlinear and Chaos Analysis  

Science Journals Connector (OSTI)

We applied nonlinear and chaos analysis to fingertip pulse wave data. The largest Lyapunov exponent a measure of the “divergence” of the trajectory of the attractor in phase space was found to be a useful index of mental health in humans particularly for the early detection of dementia and depressive psychosis and for monitoring mental changes in healthy persons. Most of the methods used for assessing mental health are subjective. A few of existing objective methods such as those using EEG and ECG for example are not simple to use and expansive. Therefore we developed an easy?to?use economical device a PC mouse with an integrated sensor for measuring the pulse waves and its required software to make the measurements. After about 1 min of measurement the Lyapunov exponent is calculated and displayed as a graph on the PC. An advantage of this system is that the measurements can be made very easily and hence mental health can be assessed during operating a PC using the pulse wave mouse. Moreover the measured data can be saved according to the time and date so diurnal changes and changes over longer time periods can be monitored as a time series and history. At the time the pulse waves are measured we ask the subject about his or her physical health and mood and use their responses along with the Lyapunov exponents as factors causing variation in the divergence. The changes in the Lyapunov exponent are displayed on the PC as constellation graphs which we developed to facilitate simpler self?diagnosis and problem resolution.

Mayumi Oyama?Higa; Tiejun Miao; Huaichang Cheng; Yuan Guang Tang

2007-01-01T23:59:59.000Z

344

Low Density Parity Check Codes Based on Finite Geometries and Balanced Incomplete Block Design  

E-Print Network (OSTI)

Bin Qaisar Electrical and Computer Engineering Department, Michigan State University. saadq@ieee.org I capacity performance on large collection of data transmission channels while simultaneously feasible algebraic or geometric methods have been found for construction of these codes. Most of the LDPC codes

Radha, Hayder

345

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

E-Print Network (OSTI)

, University of Utrecht, Padualaan 14, NL-3584 CH Utrecht, Netherlands d MeteoControl GmbH, Stadtjägerstr. 11 Freiburg, Germany f Dept. of Electrical Engineering, University of Applied Science (FH) Magdeburg

Heinemann, Detlev

346

An MDA approach to knowledge engineering  

Science Journals Connector (OSTI)

This paper proposes an MDA approach to knowledge engineering, centered on the CommonKADS knowledge model. The latter corresponds to the CIM level of MDA whereas PRR, which represents production rules and rulesets, corresponds to the PIM level. The paper ... Keywords: CommonKADS, Knowledge engineering, Knowledge model, Model-driven approach, Production rule, Production rule representation (PRR)

Nicolas Prat; Jacky Akoka; Isabelle Comyn-Wattiau

2012-09-01T23:59:59.000Z

347

The Energy Doctor Is In: Home Check-Ups to Save You Money | Department of  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

The Energy Doctor Is In: Home Check-Ups to Save You Money The Energy Doctor Is In: Home Check-Ups to Save You Money The Energy Doctor Is In: Home Check-Ups to Save You Money August 26, 2010 - 11:46am Addthis Andy Oare Andy Oare Former New Media Strategist, Office of Public Affairs What does this mean for me? Home energy assessments can help you take steps to drastically reduce your energy bills. Given all of the buzz around weatherization lately, and with temperatures getting ready to drop in the next month or so (hopefully), it's a worthwhile time to quickly talk about one of the most important initial steps to making your home more energy-efficient: getting a home energy assessment. A home energy assessment, also known as a home energy audit, is the first step to assess how much energy your home consumes and to evaluate what

348

Welcome to SSRL: User Check-In Procedures | Stanford Synchrotron Radiation  

NLE Websites -- All DOE Office Websites (Extended Search)

SSRL: User Check-In Procedures SSRL: User Check-In Procedures Note: SLAC will be closed for the holidays from December 21-January 5. SLAC has installed RFID proximity card readers which facilitate 24/7 access during normal operations - at the main entrance off Sand Hill Road, at the Alpine Road Gate, and at Security Gates 17 and Sector 30. Register and complete safety training before arrival. Scheduled users will obtain a SLAC ID badge with 30-90 days proximity access after completing training and check-in at the URA office in Building 120. If you have a proximity ID badge, contact URA to re-activate your proximity access before subsequent scheduled user experiments. If you do not yet have a proximity activated ID badge, enter SLAC from Sand Hill Road, turn right at the main entrance and visit the Security Office.

349

Energy Savings Tips on the Go: Check Out the New Energy Savers Mobile Site  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Savings Tips on the Go: Check Out the New Energy Savers Savings Tips on the Go: Check Out the New Energy Savers Mobile Site Energy Savings Tips on the Go: Check Out the New Energy Savers Mobile Site March 16, 2012 - 12:46pm Addthis Chris Stewart Senior Communicator at DOE's National Renewable Energy Laboratory For years, many of you have found energy-saving tips about how to save money and energy at home, in your vehicle, and at work on our EnergySavers desktop site. This month, we launched a new Energy Savers mobile website-which provides homeowners these with tips conveniently through your mobile device. Whether you're on the road, at the store, or talking with your home improvement contractor, you can find ways to make your home more comfortable and easier to heat and cool - and save money at the same time.

350

Fight Fall Allergies and Save Energy by Checking Your HVAC System |  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Fight Fall Allergies and Save Energy by Checking Your HVAC System Fight Fall Allergies and Save Energy by Checking Your HVAC System Fight Fall Allergies and Save Energy by Checking Your HVAC System October 15, 2012 - 3:19pm Addthis Change your furnace filter to help keep allergies at bay and keep your furnace and air conditioner running efficiently. | Photo courtesy of ©iStockphoto.com/JaniceRichard. Change your furnace filter to help keep allergies at bay and keep your furnace and air conditioner running efficiently. | Photo courtesy of ©iStockphoto.com/JaniceRichard. Elizabeth Spencer Communicator, National Renewable Energy Laboratory What does this mean for me? Change your furnace filters every month or two to keep your HVAC equipment operating efficiently. I have unbelievably horrible fall allergies. I've never figured out what

351

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

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

"I'd Like to Check Out Two Books, One DVD, and One Electrical "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 - 10:01am Addthis John Lippert Yesterday I wrote about my experience using a digital electrical meter at home. Today I'll discuss what I'm doing with promoting their use in my home town. According to one popular environmental Web site, there are a number of libraries providing free loan of these or similar devices, including: The Ottawa Public Library in Ottawa, Canada; the Brown County Library in Green Bay, Wisconsin; the Westport, Connecticut Public Library; hundreds of public libraries in Maine; and libraries in Gothenburg, Sweden. That sounded like a great idea, so I visited my local library to explore

352

Library Patrons in New York Check-Out Renewable Energy | Department of  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Library Patrons in New York Check-Out Renewable Energy Library Patrons in New York Check-Out Renewable Energy Library Patrons in New York Check-Out Renewable Energy December 27, 2011 - 12:52pm Addthis The public library in Esopus, New York, used Recovery Act funds to install two photovoltaic arrays expected to generate 31,200 kWh of electricity annually -- approximately 30 percent of the library’s electricity use and a savings of nearly $4,000 in energy costs each year. | Photo courtesy of New York State Energy Research and Development Authority (NYSERDA). The public library in Esopus, New York, used Recovery Act funds to install two photovoltaic arrays expected to generate 31,200 kWh of electricity annually -- approximately 30 percent of the library's electricity use and a savings of nearly $4,000 in energy costs each year. | Photo courtesy of

353

Secretary Chu Visits Russian Seaport, Checks Out Second Line of Defense  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Russian Seaport, Checks Out Second Line of Russian Seaport, Checks Out Second Line of Defense Nuclear Detection System Secretary Chu Visits Russian Seaport, Checks Out Second Line of Defense Nuclear Detection System June 7, 2011 - 8:59am Addthis John Gerrard What does this mean for me? The Second Line of Defense program cracks down on nuclear smuggling by installing radiation detection equipment at ports, border crossings and airports around the world. We've all seen the movies where errant nuclear material makes its way into the hands of terrorists, who then plan an attack on U.S. soil. It's pretty safe to say that this is a scenario no one wants to see play out in real life. In fact, in his first foreign policy speech, President Obama called it the "most immediate and extreme threat to global security."

354

Essential Body of Knowledge (EBK) October 2011  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Essential Body of Knowledge (EBK) Essential Body of Knowledge (EBK) October 2011 1 U.S. DEPARTMENT OF ENERGY Essential Body of Knowledge (EBK) A Competency and Functional Framework For Cyber Security Workforce Development Office of the Chief Information Officer Office of the Associate CIO for Cyber Security October 2011 DOE Essential Body of Knowledge (EBK) October 2011 2 Table of Contents Executive Summary ...............................................................................................................4 DOE Essential Body of Knowledge (EBK) .........................................................................5 1.1 Data Security ..............................................................................................................6

355

Testing general relativity with gravitational waves: a reality check  

E-Print Network (OSTI)

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

Michele Vallisneri

2012-07-19T23:59:59.000Z

356

Energy, Buildings and the Environment: A Sociology of Knowledge and  

NLE Websites -- All DOE Office Websites (Extended Search)

Energy, Buildings and the Environment: A Sociology of Knowledge and Energy, Buildings and the Environment: A Sociology of Knowledge and Technology Transfer Speaker(s): Elizabeth Shove Date: March 20, 2001 - 12:00pm Location: Bldg. 90 Seminar Host/Point of Contact: Satkartar K. Kinney Social scientists' contribution to the analysis of energy, buildings and the environment is frequently confined to the study of human behavior. This talk, based on the recent book, "A Sociology of Energy, Buildings and the Environment: Constructing Knowledge, Designing Practice", by Simon Guy and Elizabeth Shove (2000), outlines a range of other more challenging roles. Questions about the production and use of technical knowledge raise and engage with important issues for the sociology of science and technology, and for energy research and policy. How are technical

357

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

SciTech Connect

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.

Oji, L. N.

2013-03-07T23:59:59.000Z

358

Workplan and Annex: Solar Resource Knowledge Management  

SciTech Connect

''Solar Resource Knowledge Management'' will be a new task under the International Energy Agency's Solar Heating and Cooling Programme. The task development has involved researchers from Germany, France, Switzerland, Spain, Portugal, Italy, Canada, the U.S. that have been engaged in the use of satellite imagery to develop solar resource maps and datasets around the world. The task will address three major areas: (1) ''Benchmarking'' of satellite-based solar resource methods so that resource information derived from approaches developed in one country or based on a specific satellite can be quantitatively intercompared with methods from other countries using different satellites, as well as with ground data; (2) Data archiving and dissemination procedures, especially focusing on access to the data by end users; and (3) basic R&D for improving the reliability and usability of the data, and for examining new types of products important to the solar industry, such as solar resource forecasts.

Renne, D.

2005-01-01T23:59:59.000Z

359

Knowledge Strategies | Open Energy Information  

Open Energy Info (EERE)

Knowledge Strategies Knowledge Strategies Address 13 Atwell Ct Place Potomac, Maryland Zip 20854 Region Northeast - NY NJ CT PA Area Number of employees 1-10 Year founded 1981 Phone number 240-426-0770 Coordinates 39.0567453°, -77.1736144° Loading map... {"minzoom":false,"mappingservice":"googlemaps3","type":"ROADMAP","zoom":14,"types":["ROADMAP","SATELLITE","HYBRID","TERRAIN"],"geoservice":"google","maxzoom":false,"width":"600px","height":"350px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"wmsoverlay":"","layers":[],"controls":["pan","zoom","type","scale","streetview"],"zoomstyle":"DEFAULT","typestyle":"DEFAULT","autoinfowindows":false,"kml":[],"gkml":[],"fusiontables":[],"resizable":false,"tilt":0,"kmlrezoom":false,"poi":true,"imageoverlays":[],"markercluster":false,"searchmarkers":"","locations":[{"text":"","title":"","link":null,"lat":39.0567453,"lon":-77.1736144,"alt":0,"address":"","icon":"","group":"","inlineLabel":"","visitedicon":""}]}

360

Toward a Theory of Knowledge Reuse: Types of Knowledge Reuse Situations and Factors in Reuse Success  

Science Journals Connector (OSTI)

This paper represents a step toward a theory of knowledge reusability with emphasis on knowledge management systems and repositories, often called organizational memory systems. Synthesis of evidence from a wide variety of sources suggests four distinct ... Keywords: Collaboration Communities Of Practice, Experts Group, Intermediaries, Knowledge Management, Knowledge Repositories, Knowledge Reuse, Memory Teams, Novices Organization

M. Lynne Markus

2001-05-01T23:59:59.000Z

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


361

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

E-Print Network (OSTI)

TSSI Ver 2 Category 1: Epistemology (EPIST) Scientific knowledge is the most objective form of knowledge. We can be certain that scientific knowledge is reliable. The methods of science are the most reliable source of true, factual knowledge. Science is the best source of reliable knowledge. Scientific

Cobern, William W.

362

KNOWLEDGE SHARING OVER P2P KNOWLEDGE NETWORKS: A PEER ONTOLOGY AND SEMANTIC OVERLAY DRIVEN APPROACH  

E-Print Network (OSTI)

1 KNOWLEDGE SHARING OVER P2P KNOWLEDGE NETWORKS: A PEER ONTOLOGY AND SEMANTIC OVERLAY DRIVEN 1W5, Canada Effective knowledge sharing between communities of knowledge workers impacts has provided some solutions to knowledge sharing amongst peers. In this paper we present

Abidi, Syed Sibte Raza

363

Situated Learning and the Situated Knowledge Web: Exploring the Ground Beneath Knowledge Management  

Science Journals Connector (OSTI)

Knowledge is now recognized as an important basis for competitive advantage and many firms are beginning to establish initiatives to leverage and manage organizational knowledge. These include efforts to codify knowledge in repositories as well as efforts ... Keywords: Ethnographic Methods, Knowledge Management, Organizational Change, Qualitative Research, Situated Knowledge, Web Situated Learning

Sarma R. Nidumolu; Mani Subramani; Alan Aldrich

2001-05-01T23:59:59.000Z

364

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

E-Print Network (OSTI)

-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

Aamodt, Agnar

365

T-690: Check Point Endpoint Security On-Demand Client Lets Remote Users  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

0: Check Point Endpoint Security On-Demand Client Lets Remote 0: Check Point Endpoint Security On-Demand Client Lets Remote Users Execute Arbitrary Code T-690: Check Point Endpoint Security On-Demand Client Lets Remote Users Execute Arbitrary Code August 10, 2011 - 8:45am Addthis PROBLEM: Due to quality issues within the software, an attacker is able to access insecure methods from the "trustworthy" Java applet or ActiveX control and exploit those features to compromise all client systems that trust the correctly signed Java applet or ActiveX control (e.g. all users that need to use this software for accessing internal systems over company VPN). PLATFORM: Multiple products:- R65.70 - R70.40 - R71.30 - R75 - Connectra R66.1 - Connectra R66.1n - VSX R65.20 - VSX R67 ABSTRACT: Check Point Endpoint Security On-Demand Client Lets Remote Users Execute

366

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

E-Print Network (OSTI)

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

Paris-Sud XI, Université de

367

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

E-Print Network (OSTI)

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

Paris-Sud XI, Université de

368

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

E-Print Network (OSTI)

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

Fernández-Juricic, Esteban

369

Revised June 2013 This form can be used if you are: (Please check the appropriate box)  

E-Print Network (OSTI)

a certificate or diploma Changing to a new certificate or diploma Dropping a certificate or diploma * If you are declaring more than one certificate/diploma, please check all that apply on this form. CERTIFICATES Completed: Transfer Credit Hours: Staff Name: Staff Signature: Date: Student # Date of Birth DD/MM/YYYY Last

Northern British Columbia, University of

370

Criminal Background Check Request Form revised 08/13/2013 #404 Page 1 of 2  

E-Print Network (OSTI)

: Recruitment & Workforce Planning MS 1255 jobpath@tamu.edu Fax (979) 847-8877 NEED HELP? Recruitment & Workforce Planning Phone (979) 845-5154 jobpath@tamu.edu #12;Criminal Background Check Request Form revised-google-email-account.html It is important you read, understand and comply with following information: Recruitment and Workforce Planning

Boas, Harold P.

371

Soft-Input, Iterative, Reed-Solomon Decoding using Redundant Parity-Check Equations  

E-Print Network (OSTI)

approach to the iterative decoding of Reed-Solomon (RS) codes. The pre- sented methodology utilizesSoft-Input, Iterative, Reed-Solomon Decoding using Redundant Parity-Check Equations Jason Bellorado techniques is achievable with the presented methodology. The complexity of the proposed algorithm is orders

Kavcic, Aleksandar

372

Compositionality in Real-Time Model Checking Jasper Berendsen and Frits Vaandrager  

E-Print Network (OSTI)

Compositionality in Real-Time Model Checking Jasper Berendsen and Frits Vaandrager Radboud Universiteit Nijmegen Laquso Lunch Colloquium, 8 november 2007 Jasper Berendsen and Vaandrager Compositionality Modules, etc, CCS, I/O automata, ACP, mCRL2, etc Lamport: "In reality there are only states" Jasper

Vaandrager, Frits

373

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning  

Science Journals Connector (OSTI)

In this paper we discuss the application of a range of techniques to the verification of mission-critical flight software at NASA's Jet Propulsion Laboratory. For this type of application we want to achieve a higher level of confidence than can be achieved ... Keywords: 68N30, File systems, Flight software, Formal proof, Model checking, Testing, Verification

Alex Groce, Klaus Havelund, Gerard Holzmann, Rajeev Joshi, Ru-Gang Xu

2014-04-01T23:59:59.000Z

374

Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To  

E-Print Network (OSTI)

automated using a simulator or rapid prototype and such automation may increase the number of scenarios rapidly and eventually becomes infeasible as the size of the model grows, so that abstractionModel Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault

Pfeifer, Holger

375

Verifying Safety Properties of a PowerPCTM Microprocessor Using Symbolic Model Checking  

E-Print Network (OSTI)

opinions, findings and conclusions or recommendations expressed in this material are those of the authors that ordered binary decision diagrams can require exponential space. Recently a new technique called bounded confirm that bounded model check- ing can handle industrial examples. Since we, ourselves, are convinced

Clarke, Edmund M.

376

Title: Employee Background Checks Effective Date: October 1, 2011 Responsible Office: Provost  

E-Print Network (OSTI)

for certain university positions. Such checks, screening, or testing, are outside the scope of this policy. II are defined by the Code of Virginia (§ 2.2-1201.1) as those positions designated by the university as directly for all university positions, except for those exclusions made herein. Contract workers or vendors

Shaw, Leah B.

377

Model-Checking the Linux Virtual File System Andy Galloway1  

E-Print Network (OSTI)

and algorithms employed in VFS (cf. Sec. 3). Despite the recent advances in software model checking¨uhlberg1 , and Radu I. Siminiceanu2 1 Department of Computer Science, University of York, York YO10 5DD, UK. {andyg,luettgen,muehlber}@cs.york.ac.uk 2 National Institute of Aerospace, Hampton, Virginia 23666

Lüttgen, Gerald

378

Techniques for Efficient Software Checking Jing Yu, Maria Jesus Garzaran, and Marc Snir  

E-Print Network (OSTI)

] or SafetyNet [10]). Then they will rely on flexible and inexpensive software technology for error protectionTechniques for Efficient Software Checking Jing Yu, Mar´ia Jes´us Garzar´an, and Marc Snir in the number of transistors that can be inte- grated on a chip make processors more susceptible to radiation

Garzarán, María Jesús

379

Introduction to Model Checking Lecture # 1: Motivation, Background, and Course Organization  

E-Print Network (OSTI)

;Software Errors Software Correctness Model Checking Course Details Therac-25 Radiation Overdosing (1985. Dr. Ir. Joost-Pieter Katoen Lehrstuhl Software Modellierung and Verifikation April 19, 2010 #12-87) Radiation machine for treatment of cancer patients At least 6 cases of overdosis in period 1985­1987 ( 100

Ábrahám, Erika

380

Introduction to Model Checking Lecture # 1: Motivation, Background, and Course Organization  

E-Print Network (OSTI)

Errors Software Correctness Model Checking Course Details Therac-25 Radiation Overdosing (1985. Dr. Ir. Joost-Pieter Katoen Chair Software Modeling and Verification October 14, 2013 #12;Software-87) Radiation machine for treatment of cancer patients At least 6 cases of overdosis in period 1985­1987 ( 100

Ábrahám, Erika

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


381

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with  

E-Print Network (OSTI)

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Introduction The ultimate promise of the Smart Grid is that of a more stable, energy-efficient, adaptable, secure, resilient power grid, while delivering cheaper electricity. Cur- rently, energy consumption

Platzer, André

382

Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security  

E-Print Network (OSTI)

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

383

USING MODEL CHECKING TO DERIVE LOOP BOUNDS OF GENERAL LOOPS WITHIN ANSI-C APPLICATIONS FOR  

E-Print Network (OSTI)

USING MODEL CHECKING TO DERIVE LOOP BOUNDS OF GENERAL LOOPS WITHIN ANSI-C APPLICATIONS for applications written in ANSI-C. The described method uses a model checker and a binary search algorithm with little pro- gramming effort for applications written in ANSI-C. The performance is probably inferior

384

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

E-Print Network (OSTI)

in the September/October 1997 issue of Facility Management Journal 1 #12;2. A Building Model Standard In orderMaking Automated Building Code Checking A Reality1 Charles S. Han, John Kunz, Kincho H. Law Center set of building codes. The complexity and changing nature of codes leads to delays in both the design

Stanford University

385

Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts  

E-Print Network (OSTI)

98195­2350, U.S.A. +1­206­543­1695 {wchan,anderson,beame,notkin}@cs.washington.edu \\Lambda The Boeing Company, Seattle, U.S.A. {david.h.jones,william.e.warner}@boeing.com ABSTRACT Symbolic model checking system developed by the Boeing Commercial Airplane Group. The results disclosed subtle modeling

Beame, Paul

386

An Optimization Approach for Effective Formalized fUML Model Checking  

E-Print Network (OSTI)

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

Doran, Simon J.

387

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

E-Print Network (OSTI)

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

388

Two--mode optical tomograms: a possible experimental check of the Robertson uncertainty relations  

E-Print Network (OSTI)

The experimental check of two--mode Robertson uncertainty relations and inequalities for highest quadrature moments is suggested by using homodyne photon detection. The relation between optical tomograms and symplectic tomograms is used to connect the tomographic dispersion matrix and the quadrature components dispersion matrix of the two--mode field states.

V. I. Man'ko; G. Marmo; A. Simoni; F. Ventriglia

2012-02-02T23:59:59.000Z

389

IE 361 Module 14 Patterns on Control Charts and "Special Checks"/Extra Alarm Rules  

E-Print Network (OSTI)

3.4 of Statistical Quality Assurance Methods for Engineers Prof. Steve Vardeman and Prof. Max MorrisIE 361 Module 14 Patterns on Control Charts and "Special Checks"/Extra Alarm Rules Reading: Section equipment or a clear change in the quality of a raw material

Vardeman, Stephen B.

390

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

E-Print Network (OSTI)

Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 ECE 103 DC Circuit Analysis (MATH 160) S 3 Biomedical Engineering Courses Rev 11-27-12 Please note that curricula can change; be sure to check with your

391

Optimal phase estimation with arbitrary a priori knowledge  

SciTech Connect

The optimal-phase estimation strategy is derived when partial a priori knowledge on the estimated phase is available. The solution is found with the help of the most famous result from the entanglement theory: the positive partial transpose criterion. The structure of the optimal measurements, estimators, and the optimal probe states is analyzed. This Rapid Communication provides a unified framework bridging the gap in the literature on the subject which until now dealt almost exclusively with two extreme cases: almost perfect knowledge (local approach based on Fisher information) and no a priori knowledge (global approach based on covariant measurements). Special attention is paid to a natural a priori probability distribution arising from a diffusion process.

Demkowicz-Dobrzanski, Rafal [Faculty of Physics, University of Warsaw, ul. Hoza 69, PL-00-681 Warszawa (Poland)

2011-06-15T23:59:59.000Z

392

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

E-Print Network (OSTI)

technology solution currently available in order to enable the Interactive Knowledge Library concept. Capturing and sharing knowledge is achieved within the same tool, without any dedicated knowledge management organization. Contributions can be made...

Eaton, Craig M.

2006-12-15T23:59:59.000Z

393

Knowledge Elecitation for Factors Affecting Taskforce Productivity using a Questionnaire  

E-Print Network (OSTI)

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

Muhammad Sohail; Abdur Rashid Khan

2009-07-30T23:59:59.000Z

394

Thesaurus construction through knowledge representation  

Science Journals Connector (OSTI)

Semantic metadata describing subject content plays a vital role in supporting indexing and retrieval in Digital Libraries. Mechanisms used to deliver this metadata include keyword collections, thesauri and classifications. Constructing a large thesaurus, however, is a difficult process which can be facilitated through the application of knowledge representation techniques developed for managing and reasoning about concepts. We describe such a scheme – a Description Logic (DL) – and show through an example how a DL can play a part in the classification construction process, aiding in the production of coherent hierarchies and ensuring that the relationships represented in a thesaurus are sensible.

Sean Bechhofer; Carole Goble

2001-01-01T23:59:59.000Z

395

ICT Enabled Knowledge Sharing – Impact of ICT on Knowledge Sharing Barriers.  

E-Print Network (OSTI)

?? Studies in recent years have revealed that use of ICT can significantly impact knowledge sharing in organizations by enhancing the knowledge sharing process, reducing… (more)

Alamgir, Rana

2011-01-01T23:59:59.000Z

396

Strategic knowledge management : manging dynamic knowledge and small-worlds social networks.  

E-Print Network (OSTI)

??This thesis examines knowledge management from a social networking perspective, arguing that knowledge, as a social construct, has at its basis, people; and their interaction… (more)

Sastrowardoyo, Saraswati

2009-01-01T23:59:59.000Z

397

Reflected Knowledge and Trust in Global Collaboration  

Science Journals Connector (OSTI)

Scholars argue that direct knowledge about distant colleagues is crucial for fostering trust in global collaboration. However, their arguments focus mainly on how trust accrues from knowledge about distant collaborators' personal characteristics, relationships, ... Keywords: behavior, global work, organizational studies, trust

Mark Mortensen; Tsedal B. Neeley

2012-12-01T23:59:59.000Z

398

Revitalizing the Knowledge Capture & Transfer Program (KCTP)...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Revitalizing the Knowledge Capture & Transfer Program (KCTP) Revitalizing the Knowledge Capture & Transfer Program (KCTP) March 4, 2014 - 12:15pm Addthis HC-20 is in the process of...

399

Knowledge Flow Analysis for Security Protocols  

E-Print Network (OSTI)

Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of knowledge amongst principals. Because this ...

Torlak, Emina

2005-10-19T23:59:59.000Z

400

Building Knowledge through Families of Experiments  

E-Print Network (OSTI)

Building Knowledge through Families of Experiments Victor R. Basili, Fellow, IEEE, Forrest Shull, and build models that represent the common observations about the discipline. This paper discusses building knowledge in an incremental manner through the replication of experiments within families

Basili, Victor R.

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


401

Report on the project Building knowledge  

E-Print Network (OSTI)

Building knowledge To build citizens To build cities Report on the project #12;#12;RectoR's message 1. oveReport on the project Building knowledge To build citizens To build cities UPF CAMPUS ICÃ?RIA

402

Engaging construction stakeholders with sustainability through a knowledge harvesting platform  

Science Journals Connector (OSTI)

With the new regulations and policies related to climate change, the construction industry has been put under pressure to increase the sustainability of its practices. Many organisations are now adapting their practices to meet government legislative ... Keywords: Construction, Knowledge-based engineering, Semantic web, Service oriented computing, Social networks, Sustainability

Ioan Petri, Tom Beach, Yacine Rezgui, Ian E. Wilson, Haijiang Li

2014-04-01T23:59:59.000Z

403

Rough Set Approximations in Formal Concept Analysis and Knowledge Spaces  

E-Print Network (OSTI)

Rough Set Approximations in Formal Concept Analysis and Knowledge Spaces Feifei Xu1,2 , Yiyu Yao2 a generalized definition of rough set approximations, based on a subsystem of subsets of a universe. The sub set approximations. 1 Introduction Rough set theory [6, 7] is an extension of the set theory with two

Yao, Yiyu

404

The Life Sciences and Knowledge for a  

E-Print Network (OSTI)

The Life Sciences and Knowledge for a Sustainable Future SLU's strategy for research, education monitoring and assessment The Life Sciences and Knowledge for a Sustainable Future #12;2 The Life Sciences and Knowledge for a Sustainable Future #12;3SLU's strategy for research, education and environmental monitoring

405

A PRECISE COMPUTATIONAL APPROACH TO KNOWLEDGE  

E-Print Network (OSTI)

A PRECISE COMPUTATIONAL APPROACH TO KNOWLEDGE by Rafael Pass Submitted to the Department of Figures 6 1 Introduction 12 1.1 Zero-Knowledge Proofs . . . . . . . . . . . . . . . . . . . . . . . 12 1.2 Proofs of Knowledge . . . . . . . . . . . . . . . . . . . . . . . . 17 1.3 Overview of the Thesis

Keinan, Alon

406

Chapter ??. Knowledge as infrastructure Ole Hanseth  

E-Print Network (OSTI)

1 Chapter ??. Knowledge as infrastructure Ole Hanseth Introduction ICT solutions are often designed process because of the need for the construction and adoption of a lot of new knowledge. For example, new knowledge is required about the design of better business processes in various business sectors

Hanseth, Ole

407

Scientific Knowledge 1. What is the Problem?  

E-Print Network (OSTI)

Chapter 1 Scientific Knowledge 1. What is the Problem? Since the end of World War II, the influence knowledge, medicine and the military being prime examples. If one includes computer technology, one could scientific knowledge.1 In spite of the undeniable successes of post World War II science, there have always

Giere, Ronald N.

408

Rural Knowledge Clusters: Implications for Minnesota State  

E-Print Network (OSTI)

Rural Knowledge Clusters: Implications for Minnesota State Colleges and Universities Prepared for. The Institute does not itself take positions on issues of public policy. #12;Rural Knowledge Clusters 3 Rural Knowledge Clusters: Model of Rural Innovation 5 Approach and Research Design 8 Case Studies

Levinson, David M.

409

COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.1.3 Check Upload Integrity  

E-Print Network (OSTI)

COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.1.3 Check Upload Integrity Date. Brownsberger 2-13-01 The Center for Astrophysics and Space Astronomy Reviewed: Approved: COS DCE BOOT FSW v1 Initial Release COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.1.3 Check Upload Integrity

Colorado at Boulder, University of

410

COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.1.3 Check Upload Integrity  

E-Print Network (OSTI)

COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.1.3 Check Upload Integrity Date. Brownsberger 2-13-01 The Center for Astrophysics and Space Astronomy Reviewed: Approved: COS DCE BOOT FSW v1 Initial Release COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.1.3 Check Upload Integrity

Colorado at Boulder, University of

411

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

SciTech Connect

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.

Not Available

1992-05-01T23:59:59.000Z

412

Knowledge Nodes: the Building Blocks of a Distributed Approach to Knowledge Management  

E-Print Network (OSTI)

Knowledge Nodes: the Building Blocks of a Distributed Approach to Knowledge Management Matteo criticise the objectivistic approach that underlies most current sys- tems for Knowledge Management. We show that such an approach is incompatible with the very nature of what is to be managed (i.e., knowledge), and we argue

Bouquet, Paolo

413

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

E-Print Network (OSTI)

1 The Machinery of Knowledge: An Ontology-Registry for a Geospatial Knowledge Infrastructure not discovered using current search approaches. This paper describes an architecture for a geospatial knowledge is the ontology-registry. The ontology-registry stores all of the content that supports the knowledge

Stock, Kristin

414

KNOWLEDGE WORKER PRODUCTIVITY A Journey from Islands of Knowledge to Mutual Understanding in  

E-Print Network (OSTI)

KNOWLEDGE WORKER PRODUCTIVITY A Journey from Islands of Knowledge to Mutual Understanding in Global, use of collaboration technologies, and engagement to improve knowledge worker productivity during MORE "A Journey from Islands of Knowledge to Mutual Under- standing in Global Business Meetings," media

Das, Rhiju

415

Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking  

E-Print Network (OSTI)

We present two new hybrid techniques that replace the synchronized product used in the automata-theoretic approach for LTL model checking. The proposed products are explicit graphs of aggregates (symbolic sets of states) that can be interpreted as B\\"uchi automata. These hybrid approaches allow on the one hand to use classical emptiness-check algorithms and build the graph on-the-fly, and on the other hand, to have a compact encoding of the state space thanks to the symbolic representation of the aggregates. The Symbolic Observation Product assumes a globally stuttering property (e.g., LTL \\ X) to aggregate states. The Self-Loop Aggregation Product} does not require the property to be globally stuttering (i.e., it can tackle full LTL), but dynamically detects and exploits a form of stuttering where possible. Our experiments show that these two variants, while incomparable with each other, can outperform other existing approaches.

Duret-Lutz, Alexandre; Poitrenaud, Denis; Thierry-Mieg, Yann

2011-01-01T23:59:59.000Z

416

Hydrothermal Exploration Best Practices and Geothermal Knowledge Exchange  

Open Energy Info (EERE)

Hydrothermal Exploration Best Practices and Geothermal Knowledge Exchange Hydrothermal Exploration Best Practices and Geothermal Knowledge Exchange on Openei Jump to: navigation, search OpenEI Reference LibraryAdd to library Conference Paper: Hydrothermal Exploration Best Practices and Geothermal 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 created a need to outline exploration best practices. This multi-year study outlines 21 geothermal exploration regions in the Western United States. These regions were developed based on the U.S. Geological Survey (USGS) physiographic regions, then adjusted to fit geothermal parameters such as differences in geologic regime, structure, heat source, surface effects

417

Microsoft Word - PMCDP Knowledge Diagram Updates March 26 2009.doc  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

(PMCDP) KNOWLEDGE DIAGRAM (PMCDP) KNOWLEDGE DIAGRAM Certification is based on competencies and is cumulative. For example, to fulfill requirements for Level 3, competency requirements for Levels 1, 2, and 3 must be attained. 1 Competency (Knowledge/Skill) Category Project Director Level Core Courses, Electives, and Work/Development Activities 1. General Project Management 2. Leadership / Team Building 3. Scope Management 4. Communication Management 5. Quality / Safety Management 6. Cost Management 7. Time Management 8. Risk Management 9. Contract Management 10. Integration Management PM Level 1 FPD for projects with TPC Greater than $5M and equal to or less than $20 million Core Courses: 1. Project Management Essentials* 2. Project Management Systems and Practices in DOE

418

Microsoft Word - Knowledge Diagram 4_30_2008.doc  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

PMCDP) KNOWLEDGE DIAGRAM PMCDP) KNOWLEDGE DIAGRAM Certification is based on competencies and is cumulative. For example, to fulfill requirements for Level 3, competency requirements for Levels 1, 2, and 3 must be attained. Competency (Knowledge/Skill) Category Project Director Level Core Courses, Electives, and Work/Development Activities 1. General Project Management 2. Leadership / Team Building 3. Scope Management 4. Communication Management 5. Quality / Safety Management 6. Cost Management 7. Time Management 8. Risk Management 9. Contract Management 10. Integration Management PM Level 1 FPD for projects with TPC Greater than $5M and equal to or less than $20 million Core Courses: 1. Project Management (PM) Essentials* 2. Project Management Systems and Practices in DOE

419

End of Summer Check Up: How Did You Do? | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

End of Summer Check Up: How Did You Do? End of Summer Check Up: How Did You Do? End of Summer Check Up: How Did You Do? September 1, 2009 - 11:53am Addthis Well, the end of summer is in sight. Labor Day is on the horizon, kids are getting ready to go back to school... and the summer energy efficiency tips we've given you are about to be retired for the year. Not all of them, but some apply only to the warm weather months, and so they'll get a rest while we retool for winter. We're going to switch back to Stay Warm, Save Money (our "winter clothes" as it were), to help you get ready to save money during the cold months. But before we go... let's level with each other for a second. It's okay, it's just you and me. Did you get started on making your home energy efficient this summer? Did you buy the stuff you needed, get started... and

420

The creative city matrix: a framework for urban knowledge ecosystems  

Science Journals Connector (OSTI)

Knowledge work, creativity and innovation have turned into major urban industries. But how do urban environments activate their potentials and production processes? What are the constituting elements of a 'creative city', and how are they interrelated? The article presents a theoretical framework for the post-industrial creative city as a knowledge ecosystem. A new model is presented which categorises the constitutive components of knowledge environments according to parameters of spatial, organisational, and economic value. Presented in the format of a three-dimensional matrix, the model allows a holistic representation of urban knowledge ecosystems and their creative environments. The matrix enables different applications and scales of analysis: a synchronous view of creative urban environments in total, a diachronic view highlighting the evolution of companies or micro-environments, and also a profiling of single local components. Depending on these scaling, the matrix can be used either as analytical tool to investigate properties of individual components within a city's knowledgescape, or as a strategic device for general knowledge-based city development.

Liudmila Gridneva; Jörg Rainer Noennig

2014-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


421

Microsoft Word - PMCDP Knowledge Diagram Updates March 26 2009...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Knowledge Diagram Updates March 26 2009.doc Microsoft Word - PMCDP Knowledge Diagram Updates March 26 2009.doc Microsoft Word - PMCDP Knowledge Diagram Updates March 26 2009.doc...

422

SEB Secretariat and Knowledge Manager | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

SEB Secretariat and Knowledge Manager SEB Secretariat and Knowledge Manager SEB Secretariat and Knowledge Manager More Documents & Publications Source Selection Procurement &...

423

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

E-Print Network (OSTI)

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

Beck, Jeffrey L.

424

Intelligent Management of Call Centre Knowledge Megan Vazey and Debbie Richards  

E-Print Network (OSTI)

knowledge environment presented by the Help-desk, Call Centre and Support Centre. As well, it is a general expert system approaches and vendor solutions for the help- desk / support center, we have reviewed a collaborative web-based knowledge acquisition tool that will support the acquisition and re

Richards, Debbie

425

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

426

Combining Multiple Dimensions of Knowledge in API Migration Thiago Tonelli Bartolomei1  

E-Print Network (OSTI)

Combining Multiple Dimensions of Knowledge in API Migration Thiago Tonelli Bartolomei1 , Mahdi dimensions of knowledge about APIs so that we can support API migration by wrapping or transformation in new ways. That is, we assess wrapper-based API re-implementations and provide guidance for migrating API

Czarnecki, Krzysztof

427

Exploring knowledge diffusion among nations: a study of core technologies in fuel cells  

Science Journals Connector (OSTI)

Technological trajectory is a representation of the development of technology. Based on the analysis of the trajectories of prominent technologies, we can explore the phenomena of technology evolution and knowledge diffusion. In this study, we focus ... Keywords: Knowledge diffusion, Membrane electrode assembly (MEA), Patent citation network, Proton exchange membrane fuel cells (PEMFCs), Technological trajectory

Mei Hsiu-Ching Ho; Vincent H. Lin; John S. Liu

2014-07-01T23:59:59.000Z

428

Data structures and apparatuses for representing knowledge  

DOE Patents (OSTI)

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.

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

2014-02-18T23:59:59.000Z

429

Zero-knowledge against quantum attacks  

E-Print Network (OSTI)

This paper proves that several interactive proof systems are zero-knowledge against quantum attacks. This includes a few well-known classical zero-knowledge proof systems as well as quantum interactive proof systems for the complexity class HVQSZK, which comprises all problems having "honest verifier" quantum statistical zero-knowledge proofs. It is also proved that zero-knowledge proofs for every language in NP exist that are secure against quantum attacks, assuming the existence of quantum computationally concealing commitment schemes. Previously no non-trivial proof systems were known to be zero-knowledge against quantum attacks, except in restricted settings such as the honest-verifier and common reference string models. This paper therefore establishes for the first time that true zero-knowledge is indeed possible in the presence of quantum information and computation.

John Watrous

2005-11-03T23:59:59.000Z

430

Subsurface Knowledge Reference Page | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Subsurface Knowledge Reference Page Subsurface Knowledge Reference Page Subsurface Knowledge Reference Page The below listing provides additional references related to Subsurface & Groundwater Remediation. The references are categorized by documents types (e.g., Strategic Plans, Groundwater Plume Map Booklets, etc.) and under each "document type", there is a list of documents and/or hyperlinks to a reference. The Subsurface Knowledge Reference Page will continue to reflect additional information as it is identified. Strategic Plans Scientific Opportunities to Reduce Risk in Groundwater and Soil Remediation Scientific Opportunities for Monitoring at Environmental Remediation Sites (SOMERS) Groundwater Plume Map Booklets Groundwater Contamination and Treatment at Department of Energy Sites -

431

Academic Knowledge Transfer in Social Networks  

E-Print Network (OSTI)

179 7.1.4 Gamification of academic knowledgean experiment in gamification of knowledge transfer withina process commonly known as Gamification. Introduction There

Slater, Mark David

2013-01-01T23:59:59.000Z

432

The Bioenergy Knowledge Discovery Framework (KDF) | Department...  

Energy Savers (EERE)

and investors to explore and engage the latest bioenergy research. The KDF harnesses Web 2.0 and social networking technologies to build a collective knowledge system that...

433

ORIGINAL PAPER The interdisciplinary engineering knowledge genome  

E-Print Network (OSTI)

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

Shai, Offer

434

Nuclear knowledge portal for supporting licensing and controlling nuclear activities in the Brazilian Nuclear Energy Commission  

Science Journals Connector (OSTI)

The knowledge economy is pivotal for moving the wealth and development of traditional industrial sectors â?? abundant in manual labour, raw materials and capital â?? to areas whose products, processes and services are rich in technology and knowledge. Even in research areas such as nuclear energy, where goods are based on high technology, the ability to transform information into knowledge, and knowledge into decisions and actions, is extremely important. Therefore, the value of products from these areas depends more and more on the degree of innovation, technology and intelligence incorporated by them. Thus, it has become increasingly important and relevant to acquire strategic knowledge and make it available to the organisation. Therefore, the objective of this paper is to present the construction of a Nuclear Knowledge Portal for aiding and streamlining the Licensing and Management activities of the CNEN.

E. Gomes; F. Braga

2005-01-01T23:59:59.000Z

435

Multimedia Knowledge Integration, Summarization and Evaluation Ana B. Benitez  

E-Print Network (OSTI)

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

Chang, Shih-Fu

436

The Social Brain: Neural Basis of Social Knowledge  

E-Print Network (OSTI)

The Social Brain: Neural Basis of Social Knowledge Ralph Adolphs California Institute of Technology FurtherANNUAL REVIEWS #12;Contents KNOWLEDGE OF MINDS . . . . . . . . . 694 Comparative Studies . . . . . . . . . . . . . . . 694 Knowledge of the Minds of Others . . . . . . . . . . . . . . . . . . . . . . . 694 Knowledge

Dickerson, Brad

437

Knowledge management and learning in the organizational context  

E-Print Network (OSTI)

63 Knowledge management and learning in the organizational context Albena Antonova, Elissaveta and explicit knowledge, considers organizational learning and knowledge workers specifics. In the centre management, learning, organizational learning 1. THE KNOWLEDGE DIMENSIONS The concepts and nature

Paris-Sud XI, Université de

438

To appear in Proceedings, International Symposium on Requirements Engineering, York, England, March 26-27, 1995 1 Consistency Checking of SCR-Style Requirements Speci cations  

E-Print Network (OSTI)

26-27, 1995 1 Consistency Checking of SCR-Style Requirements Speci cations Constance Heitmeyer checking that mechanically checks requirements speci cations, expressed in the SCR tab- ular notation. As background, the SCR notation for specifying requirements is reviewed. A formal re- quirements model

439

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

E-Print Network (OSTI)

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

440

Effective usage of a clearance check to avoid a collision in Gamma Knife Perfexion radiosurgery with the Leksell skull frame  

Science Journals Connector (OSTI)

......unrestricted reuse, distribution, and reproduction in any medium, provided the original work is properly cited. Effective usage of a clearance check to avoid a collision in Gamma Knife Perfexion radiosurgery with the Leksell skull frame Hisato Nakazawa......

Hisato Nakazawa; Takahiko Tsugawa; Yoshimasa Mori; Masahiro Hagiwara; Masataka Komori; Chisa Hashizume; Yuta Shibamoto; Tatsuya Kobayashi

2014-11-01T23:59:59.000Z

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


441

LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning, and Yang Meng Tan  

E-Print Network (OSTI)

LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning. They are intended to retain the ease of use and efficiency of tradi- James Horning can be reached at the DEC Systems

Evans, David

442

LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning, and Yang Meng Tan \\Lambda  

E-Print Network (OSTI)

LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning. They are intended to retain the ease of use and efficiency of tradi­ \\Lambda James Horning can be reached at the DEC

Evans, David

443

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

E-Print Network (OSTI)

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

444

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

E-Print Network (OSTI)

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

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

2005-12-21T23:59:59.000Z

445

Analyzing Knowledge Transfer Effectiveness An Agent-Oriented Modeling Approach  

E-Print Network (OSTI)

Analyzing Knowledge Transfer Effectiveness ­ An Agent-Oriented Modeling Approach Markus Strohmaier of knowledge between knowledge workers represents one of the main challenges of knowledge management. Knowledge transfer instruments, such as the experience factory concept, represent means for facilitating knowledge

446

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

E-Print Network (OSTI)

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

K. H. Ho; H. F. Chau

2008-07-14T23:59:59.000Z

447

On Representing Commonsense Knowledge \\Lambda Benjamin Kuipers  

E-Print Network (OSTI)

knowledge is knowledge about the world that ``everybody knows.'' Everybody knows that water is wet, that round things roll downhill, that to drive somewhere you have to get in the car first, that if you insult or raging fires. How can we account for the power and usefulness of commonsense knowl­ edge? More

Kuipers, Benjamin

448

A knowledge of the potential  

E-Print Network (OSTI)

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

Sali, Andrej

449

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

E-Print Network (OSTI)

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

Pierson, Andrew Stuart (Andrew Drew Stuart)

2013-01-01T23:59:59.000Z

450

Effective Supervised Knowledge Extraction for an mHealth System for Fall Detection  

Science Journals Connector (OSTI)

Fall detection is an important task in telemedicine. In this paper an approach based on supervised knowledge extraction is presented. A fall recordings database is analyzed offline and a set of IF...THEN rules...

G. Sannino; I. De Falco; G. De Pietro

2014-01-01T23:59:59.000Z

451

Climate Knowledge Brokers Group | Open Energy Information  

Open Energy Info (EERE)

Climate Knowledge Brokers Group Climate Knowledge Brokers Group (Redirected from Knowledge Brokers Workshop) Jump to: navigation, search Home | 2013 Workshop | Previous Events | CKB Snapshots | Collaborative Projects | Shared Tools What is the CKB Group? The Climate Knowledge Brokers (CKB) Group is an emerging alliance of around 50 of the leading global, regional and national websites specialising in climate and development information. It brings together a diverse set of information players, from international organisations to research institutes, NGOs and good practice networks, and covers the full breadth of climate related themes. The focus is on primarily online initiatives, and those that play an explicit knowledge brokerage role, rather than being simply institutional websites. Its goal is to improve access to climate information by coordinating and

452

A Data and Knowledge Management System for Intelligent Buildings  

E-Print Network (OSTI)

words: Intelligent building; Assessment; Methodology; Information system 1. INTRODUCTION It is the development and application of modern technologies in the areas of information, communication, materials, and machinery in the construction... Future, Vol.VIII-6-3 management of IBs. It is the authors? initiative to put forward an integrated methodology for lifecycle information management and knowledge utilization of IBs. The methodology will be described by using a novel prototype based...

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

2006-01-01T23:59:59.000Z

453

Knowledge Provenance: An Approach to Modeling and Maintaining The Evolution and Validity of Knowledge  

E-Print Network (OSTI)

Knowledge Provenance: An Approach to Modeling and Maintaining The Evolution and Validity of Knowledge Mark S. Fox and Jingwei Huang Enterprise Integration Laboratory, University of Toronto 40 St. This paper addresses the problem of how to determine the validity and origin of information/knowledge

Fox, Mark S.

454

An Argument for Knowledge Variety in Evidence-Based Management  

E-Print Network (OSTI)

the concept of “safety culture” drawn from the literature ontypology, knowing that safety culture aligns with the valuesthe mechanisms by which safety culture affects communication

Martelli, Peter Fabrizio

2012-01-01T23:59:59.000Z

455

An Argument for Knowledge Variety in Evidence-Based Management  

E-Print Network (OSTI)

including decision efficiency, organizational legitimacy,efficiency, harm to workers or clients/patients, and the overall threat to organizational

Martelli, Peter Fabrizio

2012-01-01T23:59:59.000Z

456

An Argument for Knowledge Variety in Evidence-Based Management  

E-Print Network (OSTI)

Quarterly 70: 646-75. Hacking I. (1983). “Representing andapproaches of Lakatos, Hacking, Toulmin, Worrall, Laudan,anti-realism) defended by Ian Hacking and Nancy Cartwright.

Martelli, Peter Fabrizio

2012-01-01T23:59:59.000Z

457

Knowledge and Transaction Based Domestic Energy Saving Support System  

Science Journals Connector (OSTI)

To save home energy, this paper proposes an energy saving support system named KNOTES. By notifying the users of their energy consumption status and giving them suitable advice, ... users to change their life-sty...

Hiroki Shigeyoshi; Shuki Inoue…

2011-01-01T23:59:59.000Z

458

Knowledge-based navigation in a hypertext network  

E-Print Network (OSTI)

text book. With the advent of modem digital computer systems and mass storage techniques the use of machines for information storage and recall became a reality. Information stared in computer files usually are organized alike their paper Manuscript...

Snell, James Robert

1990-01-01T23:59:59.000Z

459

Active and Knowledge-based Process Safety Incident Retrieval System  

E-Print Network (OSTI)

topics saved for quick access. The database search system developed in this research is similar to that of CCPS-PSID in the way that it offers folder search and word search. However, the PSID has a single level of folders (keyword list... maximum of four levels. Moreover, word search within a folder has also been included for the search system, which further improves searching capabilities. 5 Some of the existing incident databases that are open to public or accessible by Mary Kay O...

Khan, Sara Shammni

2011-10-21T23:59:59.000Z

460

C3Bio.org - Knowledge Base: Tools: Signed Applet  

NLE Websites -- All DOE Office Websites (Extended Search)

The Great Pyramid is found in... - Select an answer - Egypt Japan Canada Rocks The North Pole Please leave this field blank. required Problem: required Attach a screenshot:...

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


461

An object-oriented, knowledge-based aircraft approach controller  

E-Print Network (OSTI)

the LOFFTI project on a SPARC IPC running UNIX with X Windows. The project is documented in a 1994 NASA Contractor Reports. As Figure 6 indicates, the graphical user interface serves as the interface between the pilot and the controller. The GUI's primary...

Lass, Steven Lee

1995-01-01T23:59:59.000Z

462

Intelligent Open CNC System Based on the Knowledge Server Concept  

Science Journals Connector (OSTI)

In an ideal scenario of intelligent machine tools [18] the human mechanist was almost replaced by the controller. During the last decade many efforts have been made to get closer to this ideal scenario, but the w...

János Nacsa

2002-01-01T23:59:59.000Z

463

Knowledge-based vision and simple visual machines  

Science Journals Connector (OSTI)

...supported by a grant from the Commonwealth...D. thesis, School of Computer Studies, University...University of Leeds School of Computer Studies Research...connectionism and the computer metaphor. Technical...University of Sussex School of Cognitive and...

1997-01-01T23:59:59.000Z

464

Knowledge based process planning system for electronic assembly  

E-Print Network (OSTI)

. In both cases the connection is made permanent by soldering the leads. The two methods require different component geometries, assembly machines and soldering methods. Of these, surface mount method is a relatively new technology and is becoming... of solder paste or adhesives, cleaning processes, material handling, inspection and testing Operations [11, 12, 13]. Assembly Operations are concerned with the delivery of components to a specified location on the board. Assembly Operations can...

Sabapathy, Arvindh

2012-06-07T23:59:59.000Z

465

Knowledge-based stratigraphic well-log correlation  

E-Print Network (OSTI)

developed MUD expert system to assist engineers in diagnosing possible causes of drilling mud problems such as contaminants, high temperature or pressure, or inadequate use of chemical additives, and to recommend treatments. 4S The system represents... developed MUD expert system to assist engineers in diagnosing possible causes of drilling mud problems such as contaminants, high temperature or pressure, or inadequate use of chemical additives, and to recommend treatments. 4S The system represents...

Denton, Michael A.

2012-06-07T23:59:59.000Z

466

Ontology-based mobile learning and knowledge testing  

Science Journals Connector (OSTI)

The article presents the architecture of a complex, mobilised content authoring system. This approach changes the current structure of content development at Corvinus University of Budapest, serving the needs of mobile learners better by enabling context and location aware learning. Through its main components – educational ontology, content management system, adaptive testing system, mobilised learning management system – the system is also capable to tackle the challenges of communication, collaboration and content delivery regardless of time and space. Certain components were even tested by business informatics BSc students and the outcomes of this pilot are also described in detail.

Reka Vas; Barna Kovacs; Gabor Kismihok

2009-01-01T23:59:59.000Z

467

A framework for knowledge-based team training  

E-Print Network (OSTI)

provides an underlying model of teamwork and programming interfaces to provide services that ease the construction of team training systems. Also, the framework enables experimentation with training protocols and coaching to be conducted more readily...

Miller, Michael Scott

2009-06-02T23:59:59.000Z

468

C3Bio.org - Knowledge Base: Members & Groups  

NLE Websites -- All DOE Office Websites (Extended Search)

Mickey Mouse is a... - Select an answer - Chicken Teapot Suitcase Penguin Mouse Please leave this field blank. required Problem: required Attach a screenshot: optional (.jpg,...

469

C3Bio.org - Knowledge Base: Tips: Renaming Sessions  

NLE Websites -- All DOE Office Websites (Extended Search)

Mickey Mouse is a... - Select an answer - Teapot Suitcase Mouse Penguin Chicken Please leave this field blank. required Problem: required Attach a screenshot: optional (.jpg,...

470

Knowledge-based gene expression classification via matrix factorization  

Science Journals Connector (OSTI)

......detection of new, yet unknown classes (Saidi et al., 2004). For a detailed account...data. Nature (2001) 2:418-427. Saidi SA , et al. Independent component analysis...detection of new, yet unknown classes (Saidi et al., 2004). For a detailed account......

R. Schachtner; D. Lutter; P. Knollmüller; A. M. Tomé; F. J. Theis; G. Schmitz; M. Stetter; P. Gómez Vilda; E. W. Lang

2008-08-01T23:59:59.000Z

471

Knowledge Management Based Cooperation for Energy Cost Optimization  

Science Journals Connector (OSTI)

The paper presents studies on the improvement and development of cooperation methods for cost optimization in power supply systems using polygeneration technology. A support for cooperating operators, which ar...

Dariusz Choinski; Radoslaw Dymek…

2013-01-01T23:59:59.000Z

472

Knowledge Based Descriptive Neural Networks Department of Computer Science,  

E-Print Network (OSTI)

keep the good feature of nonlinearity in neural networks but also have explanation of underlying made up of simple units configured in a highly interconnected network. Neural networks are normally in such diverse applications as handwriting recognition, medical diagnosis, exchange rate prediction, stock market

Yao, JingTao

473

Microsoft Word - FPD PMCDP CHECK LIST LEVEL 3_January 1_2010  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

0 0 1 of 8 REQUIRED COMPETENCIES* FOR EACH COMPETENCY, INDICATE METHOD OF FULFILLMENT PMCDP COURSE PMP PE/RA LICENSE EQUIV. TRG EXPERIENCE 3.1 General Project Management 3.1.1 Demonstrate expert-level knowledge of program management and portfolio analysis. Fulfillment of this competency may be achieved through the following: 1) the successful completion of the PMCDP core course, Program Management & Portfolio Analysis; OR 2) the successful completion of an equivalent course or training; OR 3) demonstrated equivalent experience. N/A N/A N/A 3.1.2 Demonstrate expert-level knowledge of DOE O 413.3A Change 1 and all separately issued Guides relating to the Order by providing specific project examples of their comprehensive, intensive knowledge of the Order and supplemental Guides.

474

Microsoft Word - FPD PMCDP CHECK LIST LEVEL 3_January 1_2011  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

1 1 1 of 8 REQUIRED COMPETENCIES* FOR EACH COMPETENCY, INDICATE METHOD OF FULFILLMENT PMCDP COURSE PMP PE/RA LICENSE EQUIV. TRG EXPERIENCE 3.1 General Project Management 3.1.1 Demonstrate expert-level knowledge of program management and portfolio analysis. Fulfillment of this competency may be achieved through the following: 1) the successful completion of the PMCDP core course, Program Management & Portfolio Analysis; OR 2) the successful completion of an equivalent course or training; OR 3) demonstrated equivalent experience. N/A N/A N/A 3.1.2 Demonstrate expert-level knowledge of DOE O 413.3B and all separately issued Guides relating to the Order by providing specific project examples of their comprehensive, intensive knowledge of the

475

Passport to Knowledge | Open Energy Information  

Open Energy Info (EERE)

Passport to Knowledge Passport to Knowledge Jump to: navigation, search Logo: Passport to Knowledge Name Passport to Knowledge Place Morristown, New Jersey Region Northeast - NY NJ CT PA Area Coordinates 40.7967667°, -74.4815438° Loading map... {"minzoom":false,"mappingservice":"googlemaps3","type":"ROADMAP","zoom":14,"types":["ROADMAP","SATELLITE","HYBRID","TERRAIN"],"geoservice":"google","maxzoom":false,"width":"600px","height":"350px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"wmsoverlay":"","layers":[],"controls":["pan","zoom","type","scale","streetview"],"zoomstyle":"DEFAULT","typestyle":"DEFAULT","autoinfowindows":false,"kml":[],"gkml":[],"fusiontables":[],"resizable":false,"tilt":0,"kmlrezoom":false,"poi":true,"imageoverlays":[],"markercluster":false,"searchmarkers":"","locations":[{"text":"","title":"","link":null,"lat":40.7967667,"lon":-74.4815438,"alt":0,"address":"","icon":"","group":"","inlineLabel":"","visitedicon":""}]}

476

Computational Discovery of Communicable Scientific Knowledge  

Science Journals Connector (OSTI)

In this paper we distinguish between two computational paradigms for knowledge discovery that share the notion of heuristic search, but differ in the importance they place on using scientific formalisms to sta...

Pat Langley; Jeff Shrager; Kazumi Saito

2002-01-01T23:59:59.000Z

477

Background Knowledge, Category Labels, and Similarity Judgment  

E-Print Network (OSTI)

are more special than shared physical features. The goal of this dissertation is to provide evidence that complements these conflicting views. I suggest that the role of labels varies depending on the background knowledge: types of categories (living things...

Yu, Na-Yung

2011-10-21T23:59:59.000Z

478

Precarious knowledge: assessing contextualist strategies in epistemology  

E-Print Network (OSTI)

Contextualism in epistemology is the thesis that the truth conditions of knowledge attributions are context-sensitive, where facts about both the subject's context and the attributor's context are relevant. This view allows for two persons, say...

Robichaud, Christopher John

2012-06-07T23:59:59.000Z

479

BIKE INFRASTRUCTURES Collecting knowledge of biking behavior  

E-Print Network (OSTI)

collection #12;2 A&D FILES ISSN: 1603-6204 VOLUME 51 TITEL Collecting knowledge of biking behavior into three sections (3 x 70 respondents, i.e. 210 respondents in total) ­ each section following the same

Hansen, René Rydhof

480

Reframing research on intuitive science knowledge  

Science Journals Connector (OSTI)

Education research has devoted significant effort to understanding the intuitive knowledge students bring to bear in reasoning about formal science. In addition to documenting the specific content of students' conceptions in particular domains, some ...

Rosemary S. Russ; Bruce Sherin

2008-06-01T23:59:59.000Z

Note: This page contains sample records for the topic "knowledge base check" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


481

A characterization of check valve degradation and failure experience in the nuclear power industry: 1984-1990. Volume 1  

SciTech Connect

Check valve operating problems in recent years have resulted in significant operating transients, increased cost and decreased system availability. As a result, additional attention has beau given to check valves by utilities (resulting in the formation of the Nuclear Industry Check Valve Group), as well as the US Nuclear Regulatory Commission and the American Society of Mechanical Engineers Operation and Maintenance Committee. All these organizations have the fundamental goal of ensuring reliable operation of check valves. A key ingredient to an engineering-oriented reliability improvement effort is a thorough understanding of relevant historical experience. A detailed review of historical failure data, available through the Institute of Nuclear Power Operation`s Nuclear Plant Reliability Data System, has been conducted. The focus of the review is on check valve failures that have involved significant degradation of the valve internal parts. A variety of parameters are considered, including size, age, system of service, method of failure discovery, the affected valve parts, attributed causes, and corrective actions.

Casada, D.A.; Todd, M.D. [Oak Ridge National Lab., TN (United States)] [Oak Ridge National Lab., TN (United States)

1993-09-01T23:59:59.000Z

482

Knowledge management in continuous product innovation: a contingent approach  

Science Journals Connector (OSTI)

There is a growing interest in new organisational forms and integrated managerial and technological approaches supporting companies in continuously innovating their products and processes to survive in a turbulent environment. Successful product innovation will more and more depend upon a company's ability to manage knowledge and integrate a growing number of competencies within and outside the organisational boundaries. These abilities require a complex set of interrelated managerial, technological and organisational conditions that must be designed according to the individual firm's characteristics. This paper aims to identify and analyse the relation between individual firms' contingent variables and managerial approaches to foster knowledge management in product innovation. Evidence is based on a survey of 70 companies, including European and Australian firms, developed within the Euro-Australian cooperation project entitled CIMA (Continuous Improvement for global innovation management).

Stefano Ronchi; Ross Chapman; Mariano Corso

2003-01-01T23:59:59.000Z

483

Knowledge sharing within strategic alliance networks and its influence on firm performance: the liner shipping industry  

Science Journals Connector (OSTI)

With increasing ubiquity of globalisation and the knowledge-based economy, the significance of knowledge as a critical firm resource is widely acknowledged, whilst strategic alliances are increasingly employed as instruments for knowledge sharing. The progressive formation of prominent alliance networks has also spurred much research on the effects of alliance networks on firm performance. With scant maritime-related research on such areas and strategic alliances being rampant in liner shipping, it is important to understand the knowledge dynamics within liner shipping alliance networks and examine their impact on firm performance. An exploratory approach, via face-to-face interviews with liner shipping executives, was adopted to obtain detailed insights and understanding for all research objectives. The findings of this study revealed existing mechanisms of knowledge sharing within liner shipping alliance networks, illustrate how information sharing amongst partners enhances firm performance, and demonstrate the positive yet limited moderating effects of geographical proximity on the former relationship.

Beverly S.Y. Tan; Vinh V. Thai

2014-01-01T23:59:59.000Z

484

The role of socialization in Knowledge management in virtual teams  

Science Journals Connector (OSTI)

The literature shows that new Knowledge creation methods underline the importance of team networks as a pillar of Knowledge creation in modern Organizations. Sharing tacit Knowledge is one of the difficulties of virtual teams (VTs). This is due to knowledge ... Keywords: cultural facilitator factors, knowledge management, learning socialization content, socialization tactics, virtual teams

Artemis Akhgar; Aryan Gholipour

2011-07-01T23:59:59.000Z

485

PMI: Knowledge Elicitation and De Bono's Thinking Tools  

E-Print Network (OSTI)

PMI: Knowledge Elicitation and De Bono's Thinking Tools M-M. Portmann & S. M. Easterbrook School@cogs.susx.ac.uk> Abstract. Much attention in knowledge acquisition has been directed at the question "What is Knowledge arrangements of knowledge, and discuss how having knowledge about something can be used to avoid thinking

Easterbrook, Steve

486

A characterization of check valve degradation and failure experience in the nuclear power industry: 1991 Failures, Volume 2  

SciTech Connect

Review and characterization of check valve failures taken from the Institute of Nuclear Power Operation`s Nuclear Plant Reliability Data System was performed in accordance with part two of a three-phase project sponsored by the US Nuclear Regulatory Commission. The analysis was performed for check valve failures occurring in 1991 and is intended to update the previous analysis performed for the time period 1984--1990. To maintain consistency and for ease of the 1991 analysis presents the same parameters and cross-correlations in essentially the same format as the 1984--1990 study. Additional data was obtained for the 1991 analysis, including information related to specific check valve type. This information is presented in a separate section of the report.

McElhaney, K.L. [Oak Ridge National Lab., TN (United States)

1995-07-01T23:59:59.000Z

487

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

E-Print Network (OSTI)

City Knowledge Patterns: A standard for Smart City Knowledge management Nooshin Allahyari, Mark S in recogniz- ing knowledge requirements of city government. This model, which we denote as City Knowledge Patterns, is a set of standard Knowledge Patterns identifying the concepts required to represent municipal

488

Culture effects on the knowledge sharing in multi-national virtual classes: A mixed method  

Science Journals Connector (OSTI)

Abstract In multi-national and cross-cultural virtual classes, students’ cultural values have significant impacts on knowledge sharing process. According to Hofstede’s cultural dimensions, we conducted a mixed method to investigate how national cultural values effect on explicit and implicit knowledge sharing within a multi-national virtual class. First, we adopted a qualitative case study with 6 semi-structure interviews to explore the culture effects on knowledge sharing. Second, we conducted a cross-sectional survey to examine the interaction effects of culture and different knowledge sharing motivations. These findings suggest some cultural values (i.e., collectivism) directly impact knowledge sharing, while most cultural values (i.e., power distance, uncertainty avoidance, and Confucian dynamism) have interactive effects with knowledge sharing motivations. Furthermore, we also found some cultural values, like concern for face, have complex effects on knowledge sharing. This research contributes to the knowledge sharing literature, and provides practical implications for the organization work of computer-based education systems.

Xi Zhang; Patricia Ordóñez de Pablos; Qingkun Xu

2014-01-01T23:59:59.000Z

489

The dynamics of alliance knowledge management : synergistic knowledge sharing between international airlines in Thailand.  

E-Print Network (OSTI)

??The use of knowledge between organisations in alliance networks has been the critical source of collectively creating and sustaining core competences. The awareness of the… (more)

Sirisrisornchai, Thitarree

2009-01-01T23:59:59.000Z

490

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

E-Print Network (OSTI)

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

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

2014-01-01T23:59:59.000Z

491

RESEARCH OF DEVELOPMENT OF AGRICULTURAL KNOWLEDGE SERVICE IN  

E-Print Network (OSTI)

Abstract: With the global development of knowledge economy, the knowledge requirement of farmers is more, they select and gather a variety of information resource, and provide new knowledge production after refining

Boyer, Edmond

492

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

E-Print Network (OSTI)

Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs Tetsu Iwata1 and Lei Wang2, 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

493

Knowledge Capture and Transfer Program | Department of Energy  

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

Knowledge Capture and Transfer Program Knowledge Capture and Transfer Program The Office of Learning and Workforce Development is working with Heads of Departmental Elements, DOE...

494

Knowledge Capture and Transfer Program (KCTP) "Newly Created...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Knowledge Capture and Transfer Program (KCTP) "Newly Created" Powerpedia Page Knowledge Capture and Transfer Program (KCTP) "Newly Created" Powerpedia Page June 3, 2014 - 1:36pm...

495

Knowledge evaluation in product lifecycle design and support  

Science Journals Connector (OSTI)

Abstract Enterprises are focusing more and more on knowledge issues for global product development. This paper describes knowledge evolution processes in product development activities and proposes a knowledge evaluation method in product lifecycle design. The paper also theoretically analyzes the evaluation model and illustrates how knowledge values can be assessed by case study. The case study shows how knowledge values calculated by the model can provide suggestions about which knowledge to choose and what to do next. The knowledge evaluation model serves as a useful tool for managing knowledge in product lifecycle design and support.

Yang Xu; Alain Bernard; Nicolas Perry; Jing Xu; Shigeo Sugimoto

2014-01-01T23:59:59.000Z

496

New Jersey Institute of Technology Center for Building Knowledge...  

Open Energy Info (EERE)

Building Knowledge Jump to: navigation, search Name: New Jersey Institute of Technology Center for Building Knowledge Place: University Heights Newark, NJ Information About...

497

Knowledge Management and Clinical Framework for Cross Country Healthcare Organizations.  

E-Print Network (OSTI)

??Healthcare organizations are big source of knowledge creation. Acquiring knowledge, storing and transferring it to others in affective way has its own importance for healthcare… (more)

Saeed., Rizwan

2009-01-01T23:59:59.000Z

498

Unsupervised Knowledge Discovery in Medical Databases Using Relevance Networks  

E-Print Network (OSTI)

Page 1 Unsupervised Knowledge Discovery in Medical Databases Using Relevance Networks Atul J Butte databases for unsupervised medical knowledge discovery without a prior model or information. Observations

Babu, M. Madan

499

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

Energy Savers (EERE)

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

500

Hydrogen Knowledge and Opinions Assessment | Department of Energy  

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

Knowledge and Opinions Assessment Hydrogen Knowledge and Opinions Assessment 2009 DOE Hydrogen Program and Vehicle Technologies Program Annual Merit Review and Peer Evaluation...