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

Computer Based Training: Check Valves 1.0  

Science Conference Proceedings (OSTI)

ETTM Check Valves is a computer based training module that allows users to access training when desired and review it at their own pace. It provides graphics and limited interactive features to enhance learning. The purpose of this module is to provide the user with a basis for selecting and sizing a check valve for nuclear station applications. While more than one valve type can be used for most applications, the intent is to point out the differences between check valve designs and to assist the user i...

2010-10-07T23:59:59.000Z

2

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

3

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

4

Run-time validation of knowledge-based systems  

Science Conference Proceedings (OSTI)

As knowledge bases become more complex it is increasingly unlikely that they will have been validated against all possible data and therefore an increasing risk of making errors. Run-time validation is checking whether the output of a knowledge base ... Keywords: anomalies, outliers, prudence, ripple-down rules, validation

Angela Finlayson, Paul Compton

2013-06-01T23:59:59.000Z

5

A Searchable Knowledge Map Based on Ontology  

Science Conference Proceedings (OSTI)

Knowledge visualization and retrieval are the key techniques to implement effective knowledge management. Traditional research on knowledge map emphasizes on building global view of knowledge base, but ignores its support to knowledge retrieval. In this ... Keywords: knowledge map, search, ontology

Qi Xiong; Yingling Wang; Jianmei Guo; Guilin Wu

2008-12-01T23:59:59.000Z

6

Property Checking Driven Abstract Interpretation-Based Static Analysis  

Science Conference Proceedings (OSTI)

Concrete semantics used for abstract interpretation analyses are generally expressed as fixpoints. Checking a property on this kind of semantics can be done by intersecting the fixpoint with a specification related to the property. In this paper, we ...

Damien Massé

2002-01-01T23:59:59.000Z

7

Knowledge Capital: How Knowledge-Based Enterprises are Really Built  

Science Conference Proceedings (OSTI)

From the Publisher:"Knowledge Capital: How Knowledge-Based Enterprises Really Get Built begins by defining the parameters of knowledge management and intellectual capital. An important task of a modern organization is to create an integrated strategy ...

Jay L. Chatzkel

2003-06-01T23:59:59.000Z

8

LINDEN: linking named entities with knowledge base via semantic knowledge  

Science Conference Proceedings (OSTI)

Integrating the extracted facts with an existing knowledge base has raised an urgent need to address the problem of entity linking. Specifically, entity linking is the task to link the entity mention in text with the corresponding real world entity in ... Keywords: entity linking, fact integration, knowledge base, semantic knowledge, wikipedia

Wei Shen; Jianyong Wang; Ping Luo; Min Wang

2012-04-01T23:59:59.000Z

9

The representation of inconsistent knowledge in advanced knowledge based systems  

Science Conference Proceedings (OSTI)

Contradiction handling is one of the central problems in AI. There are different approaches to dealing with contradictions and other types of inconsistency. We describe an approach based on logical varieties, which are complex structures constructed ... Keywords: inconsistent knowledge, legal knowledge based systems, logic of reasonable inferences, logical varieties

Mark Burgin; Kees C. N. J. de Vey Mestdagh

2011-09-01T23:59:59.000Z

10

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

11

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

12

An Insulating Glass Knowledge Base  

SciTech Connect

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

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

2005-08-01T23:59:59.000Z

13

Query-Answering CG Knowledge Bases  

Science Conference Proceedings (OSTI)

Conceptual graphs are a good choice for constructing and exploiting a knowledge base. In several of our projects (semantic portal for e-tourism, exploitation of digital object corpus, etc.), we have to query such bases. So it is natural to consider queries ...

Michel Leclère; Nicolas Moreau

2008-07-01T23:59:59.000Z

14

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 ?

15

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 ?

16

THERM -- Knowledge Base THERM 6.3  

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

glazing systems Reporting Computer System Info to LBNL for Troubleshooting Check Gravity Vector on Condensation Resistance Files Before Simulating Info for IT Administrators...

17

A knowledge sorting and matrix representation approach for developing knowledge-based product design systems  

Science Conference Proceedings (OSTI)

Knowledge acquisition plays a very important role in constructing a knowledge-based system. As the most time-consuming phase, it has been recognized as the bottleneck in developing a knowledge-based system (KBS). This paper presents a knowledge sorting ...

ZhiMing Rao; Chun-Hsien Chen

2007-09-01T23:59:59.000Z

18

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)

19

On using causal knowledge to recognize vital signals: knowledge-based interpretation of arrhythmias  

Science Conference Proceedings (OSTI)

We have proposed a knowledge-based system for the recognition of time varying vitual signals, such as electrocardiograms. This paper discusses its causal model approach. A prototype system exhibits the efficacy of the method of knowledge base stratification, ...

Tetsutaro Shibahara

1985-08-01T23:59:59.000Z

20

Community-Based Development of Knowledge Products  

Science Conference Proceedings (OSTI)

International organizations and government agencies have developed and collected a wealth of knowledge resources relevant to poor communities; however, the people who need these resources most often do not know these materials exist or are unable to ... Keywords: Community Knowledge Management, Graphical User Interfaces, Knowledge Networking, Knowledge Sharing, Multimedia

Zbigniew Mikolajuk

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


21

Bounded model checking of infinite state systems  

Science Conference Proceedings (OSTI)

Bounded model checking (BMC) is an attractive alternative to symbolic model checking, since it often allows a more efficient verification. The idea of BMC is to reduce the model checking problem to a satisfiability problem of the underlying base logic, ... Keywords: Bounded model checking, Global model checking, Infinite state systems, Local model checking, Temporal logic hierarchy

Tobias Schuele; Klaus Schneider

2007-02-01T23:59:59.000Z

22

Extensible Prototyping for pragmatic engineering of knowledge-based systems  

Science Conference Proceedings (OSTI)

Knowledge-based systems (KBSs) have been built and practically applied in various contexts for decades. Yet, they still challenge developers by their complexity: Apart from a sound knowledge base they likewise require comprehensive user interface (UI) ... Keywords: Agile development, Engineering knowledge-based systems, Evolutionary prototyping, Mixed fidelity prototyping, Participatory development, UI prototyping

Martina Freiberg; Albrecht Striffler; Frank Puppe

2012-09-01T23:59:59.000Z

23

Knowledge-based strategies: a foundation of a typology  

Science Conference Proceedings (OSTI)

Knowledge, besides being recognised as a business asset, is being considered a crucial component of business strategy. As a result, companies are investing heavily in Information Systems (IS) technologies. Unfortunately, very often the investments ... Keywords: IS technologies, business strategy, information systems, information technology, knowledge management, knowledge-based strategy, typology

Meir Russ; Jeannette K. Jones; Robert Fineman

2005-04-01T23:59:59.000Z

24

Design of a knowledge-based logistics strategy system  

Science Conference Proceedings (OSTI)

Traditionally, the formulation of logistics strategies to execute various logistics services is done by human experts. In this paper, a knowledge-based logistics strategy system (KLSS) is designed in helping them to support the logistics strategy development ... Keywords: Case-based reasoning, Data warehouse, Knowledge-based system, Logistics strategy, On-line analytical processing

Harry K. H. Chow; K. L. Choy; W. B. Lee; Felix T. S. Chan

2005-08-01T23:59:59.000Z

25

Knowledge representation and case-based reasoning in a knowledge management system for ambient intelligence products  

Science Conference Proceedings (OSTI)

The paper presents the theoretical background and realization of a KM system for the technically advanced customer and product support in the Ambient Intelligence (AmI) domain. Current products include more and more elements of AmI. AmI area is still ... Keywords: ambient intelligence, case-based reasoning, customer support system, diagnostics system, knowledge management system, knowledge representation

Ljubisa Urosevic; Sandor Kopacsi; Dragan Stokic; Ana Rita Campos; Geza Bognar

2006-02-01T23:59:59.000Z

26

Measuring and repairing inconsistency in probabilistic knowledge bases  

Science Conference Proceedings (OSTI)

In this paper we present a family of measures aimed at determining the amount of inconsistency in probabilistic knowledge bases. Our approach to measuring inconsistency is graded in the sense that we consider minimal adjustments in the degrees of certainty ... Keywords: CADIAG-2, Inconsistency, Measures of inconsistency, Probabilistic knowledge bases, Probabilistic satisfiability

David Picado Muiòo

2011-09-01T23:59:59.000Z

27

Learning adaptation knowledge to improve case-based reasoning  

Science Conference Proceedings (OSTI)

Case-Based Reasoning systems retrieve and reuse solutions for previously solved problems that have been encountered and remembered as cases. In some domains, particularly where the problem solving is a classification task, the retrieved solution can ... Keywords: Adaptation knowledge, Case-based reasoning, Introspective learning, Knowledge acquisition, Machine learning

Susan Craw; Nirmalie Wiratunga; Ray C. Rowe

2006-11-01T23:59:59.000Z

28

Extracting Meronyms for a Biology Knowledge Base Using Distant Supervision  

E-Print Network (OSTI)

proven elusive. This paper reports on a thor- ough exploration of distant supervision to learn a meronymExtracting Meronyms for a Biology Knowledge Base Using Distant Supervision Xiao Ling, Daniel S Information Extraction; Relation Extraction; Distant Su- pervision; Automated Knowledge Base Construction 1

Anderson, Richard

29

LUBM: A benchmark for OWL knowledge base systems  

Science Conference Proceedings (OSTI)

We describe our method for benchmarking Semantic Web knowledge base systems with respect to use in large OWL applications. We present the Lehigh University Benchmark (LUBM) as an example of how to design such benchmarks. The LUBM features an ontology ... Keywords: Evaluation, Knowledge base system, Lehigh University Benchmark, Semantic Web

Yuanbo Guo; Zhengxiang Pan; Jeff Heflin

2005-10-01T23:59:59.000Z

30

Communication and Knowledge: How is the knowledge base of an economy constructed?  

E-Print Network (OSTI)

The competitive advantages in a knowledge-based economy can no longer be attributed to single nodes in the network. Political economies are increasingly reshaped by knowledge-based developments that upset market equilibria and institutional arrangements. The network coordinates the subdynamics of (i) wealth production, (ii) organized novelty production, and (iii) private appropriation versus public control. The interaction terms generate a complex dynamics which cannot be expected to contain central coordination. However, the knowledge infrastructure of systems of innovations can be measured, for example, in terms of university-industry-government relations. The mutual information in these three dimensions indicates the globalization of the knowledge base. Patent statistics and data from the Internet are compared in terms of this indicator.

Leydesdorff, Loet

2009-01-01T23:59:59.000Z

31

The Knowledge Dictionary: A KBMS architecture for the many-to-many coupling of knowledge based-systems to databases  

Science Conference Proceedings (OSTI)

The effective management and leveraging of organizational knowledge has become the focus of much research in the computer industry. One specific area is the creation of information systems that combine the ability to manage large stores of data, making it available to many users, with the ability to reason and make inferences over bodies of knowledge capturing specific expertise in some problem domain. A Knowledge Base Management System (KBMS) is a system providing management of a large shared knowledge base for (potentially) many knowledge-based systems (KBS). A KBMS architecture for coupling knowledge-based systems to databases has been developed. The architecture is built around a repository known as the Knowledge Dictionary-a multi-level self-describing framework that facilitates the KBS-DBMS integration. Th Knowledge Dictionary architecture allows the following enhancements to be made to be made to the KBS environment: knowledge sharing among multiple KBS applications; knowledge management of semantic integrity over large-scale (declarative) knowledge bases; and, knowledge maintenance as the declarative portion of the shared knowledge base evolves over time. This dissertation discusses the architecture of the Knowledge Dictionary, and the underlying knowledge representation framework, focusing on how it is used to provide knowledge management services to the KBS applications having their declarative knowledge base components stored as databases in the DBMS. The specific service investigated is the management of semantic integrity of the knowledge base.

Davis, J.P.

1989-01-01T23:59:59.000Z

32

THERM -- Knowledge Base THERM 6.3  

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

other than fenestration systems. The Boundary Conditions are based on the ASHRAE 2009 Handbook of Fundamentals, Chapter 26, Table 1. Surface Conductances and Resistances for...

33

The data dictionary: A view into the CTBT knowledge base  

Science Conference Proceedings (OSTI)

The data dictionary for the Comprehensive Test Ban Treaty (CTBT) knowledge base provides a comprehensive, current catalog of the projected contents of the knowledge base. It is written from a data definition view of the knowledge base and therefore organizes information in a fashion that allows logical storage within the computer. The data dictionary introduces two organization categories of data: the datatype, which is a broad, high-level category of data, and the dataset, which is a specific instance of a datatype. The knowledge base, and thus the data dictionary, consist of a fixed, relatively small number of datatypes, but new datasets are expected to be added on a regular basis. The data dictionary is a tangible result of the design effort for the knowledge base and is intended to be used by anyone who accesses the knowledge base for any purpose, such as populating the knowledge base with data, or accessing the data for use with automatic data processing (ADP) routines, or browsing through the data for verification purposes. For these two reasons, it is important to discuss the development of the data dictionary as well as to describe its contents to better understand its usefulness; that is the purpose of this paper.

Shepherd, E.R.; Keyser, R.G.; Armstrong, H.M. [and others

1997-08-01T23:59:59.000Z

34

The process for integrating the NNSA knowledge base.  

SciTech Connect

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

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

2009-03-01T23:59:59.000Z

35

M.: An Ontology-Based Framework for Representing Organizational Knowledge  

E-Print Network (OSTI)

Abstract: This paper describes an ontology-based organizational knowledge representation framework focused on the specification of a two kinds of ontologies: the top level ontology containing concepts characterizing the typical organizational background and COKE ontologies representing so called core organizational knowledge entities. The framework constitutes an abstract representation of organizational knowledge providing a semantic support for designing knowledge management infrastructure able to interoperate with systems already existing in an organization. Moreover, the annotation of COKE w.r.t. the top level ontology allowed by the framework facilitates their semi-automatic handling, retrieval and evolution monitoring.

Andrea Gualtieri; Massimo Ruffolo

2005-01-01T23:59:59.000Z

36

Knowledge-based cluster development in India : opportunities and challenges  

E-Print Network (OSTI)

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

Singla, Chandan Dev

2008-01-01T23:59:59.000Z

37

Knowledge based systems: From process control to policy analysis  

SciTech Connect

Los Alamos has been pursuing the use of Knowledge Based Systems for many years. These systems are currently being used to support projects that range across many production and operations areas. By investing time and money in people and equipment, Los Alamos has developed one of the strongest knowledge based systems capabilities within the DOE. Staff of Los Alamos` Mechanical & Electronic Engineering Division are using these knowledge systems to increase capability, productivity and competitiveness in areas of manufacturing quality control, robotics, process control, plant design and management decision support. This paper describes some of these projects and associated technical program approaches, accomplishments, benefits and future goals.

Marinuzzi, J.G.

1993-06-01T23:59:59.000Z

38

Knowledge based systems: From process control to policy analysis  

SciTech Connect

Los Alamos has been pursuing the use of Knowledge Based Systems for many years. These systems are currently being used to support projects that range across many production and operations areas. By investing time and money in people and equipment, Los Alamos has developed one of the strongest knowledge based systems capabilities within the DOE. Staff of Los Alamos' Mechanical Electronic Engineering Division are using these knowledge systems to increase capability, productivity and competitiveness in areas of manufacturing quality control, robotics, process control, plant design and management decision support. This paper describes some of these projects and associated technical program approaches, accomplishments, benefits and future goals.

Marinuzzi, J.G.

1993-01-01T23:59:59.000Z

39

RoSy: a rough knowledge base system  

Science Conference Proceedings (OSTI)

This paper presents a user-oriented view of ${\\mathcal R}o{\\mathcal S}y$, a ${\\mathcal R}{\\rm ough}$ Knowledge Base ${\\mathcal S}$ystem. The system tackles two problems not fully answered by previous research: the ability to define rough sets in terms ...

Robin Andersson; Aida Vitória; Jan Ma?uszy?ski; Jan Komorowski

2005-08-01T23:59:59.000Z

40

Knowledge-based navigation system for building health diagnosis  

Science Conference Proceedings (OSTI)

Medical records are important diagnostic tools designed to assist doctors in the management of their patients' health. Maintenance records are vital for on-site building managers in a comparable sense when planning the operational life cycle of the buildings ... Keywords: Decision-making, Diagnosis, Facility management, Information retrieval, Knowledge-based systems, Maintenance

Chih-Yuan Chang, Ming-Da Tsai

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


41

A knowledge based model of electric utility operations. Final report  

SciTech Connect

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

NONE

1993-08-11T23:59:59.000Z

42

Grid result checking  

Science Conference Proceedings (OSTI)

Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the framework of program testing or property testing, where the issue is the ... Keywords: grids, result checking, simulation

Cécile Germain-Renaud; Dephine Monnier-Ragaigne

2005-05-01T23:59:59.000Z

43

A knowledge-based approach to optimize switching in substations  

Science Conference Proceedings (OSTI)

Automatic sequence switching has been an important pursuit in the field of substation automation. This paper presents an intelligent approach to optimize switching sequences in electric substations. This paper starts with a presentation of the optimal sequence switching problem. It then suggests a knowledge-based model of a substation switch network organized in a tri-level hierarchical structure, and a set of basic techniques suitable for the general task of network re-organization. An intelligent optimal sequence switching strategy for substations based on modelling techniques is presented. An expert system in PROLOG used to formalize the sequence of switching operations and an application in substations is described.

Zhang, Z.Z.; Hope, G.S.; Malik, O.P. (Dept. of Electrical Engineering, Univ. of Calgary (CA))

1990-01-01T23:59:59.000Z

44

Knowledge based engineering: Between AI and CAD. Review of a language based technology to support engineering design  

Science Conference Proceedings (OSTI)

Knowledge based engineering (KBE) is a relatively young technology with an enormous potential for engineering design applications. Unfortunately the amount of dedicated literature available to date is quite low and dispersed. This has not promoted the ... Keywords: Engineering design, Generative design, Knowledge based design, Knowledge based engineering, Knowledge engineering, Rule based design

Gianfranco La Rocca

2012-04-01T23:59:59.000Z

45

Knowledge-based system for design of signalized intersections  

Science Conference Proceedings (OSTI)

For an efficient traffic operation in intelligent highway systems, traffic signals need to respond to the changes in roadway and traffic demand. The phasing and timing of traffic signals requires the use of heuristic rules of thumb to determine what phases are needed and how the green time should be assigned to them. Because of the need for judgmental knowledge in solving this problem, this study has used knowledge-based expert-system technology to develop a system for the phasing and signal timing (PHAST) of an isolated intersection. PHAST takes intersection geometry and traffic volume as input and generates appropriate phase plan, cycle length, and green time for each phase. The phase plan and signal timing change when intersection geometry or traffic demand changes. This paper describes the intended system functionality, the system architecture, the knowledge used to phase and time an intersection, the implementation of the system, and system verification. PHAST's performance was validated using phase plans and timings of several intersections.

Linkenheld, J.S. (Triton Consulting Engineers, Ltd., Schaumburg, IL (US)); Benekohal, R.F. (Dept. of Civil Engineering, Univ. of Illinois, Urbana, IL (US)); Garrett, J.H. Jr. (Dept. of Civil Engineering, Carnegie-Mellon Univ., Pittsburgh, PA (US))

1992-03-01T23:59:59.000Z

46

Checking Security Policy Compliance  

E-Print Network (OSTI)

Ensuring compliance of organizations to federal regulations is a growing concern. This paper presents a framework and methods to verify whether an implemented low-level security policy is compliant to a high-level security policy. Our compliance checking framework is based on organizational and security metadata to support refinement of high-level concepts to implementation specific instances. Our work uses the results of refinement calculus to express valid refinement patterns and their properties. Intuitively, a low-level security policy is compliant to a high-level security policy if there is a valid refinement path from the high-level security policy to the low-level security policy. Our model is capable of detecting violations of security policies, failures to meet obligations, and capability and modal conflicts.

Gowadia, Vaibhav; Kudo, Michiharu

2008-01-01T23:59:59.000Z

47

Study on Knowledge Management Model Based on Business Process  

Science Conference Proceedings (OSTI)

As an encouraging innovation and breakthrough of management model, knowledge management is required by the management practice of hydropower development enterprises. However, there are still several limitations and insufficiencies in current practice ... Keywords: knowledge management, hydropower development enterprise, business process

Ziye Li; Youmin Xi; Jing Ge

2008-10-01T23:59:59.000Z

48

Competition policy for technological innovation in an era of knowledge-based economy  

Science Conference Proceedings (OSTI)

The knowledge-based economy has become the major trend in international society in the 21st century. Exploring the characteristics of the knowledge-based economy and establishing an appropriate economic paradigm for accelerating technological innovation ... Keywords: Competition policy, ICT platforms, Knowledge-based economy, Technological innovation

George J. Y. Hsu; Yi-Hsing Lin; Zheng-Yi Wei

2008-12-01T23:59:59.000Z

49

Capturing and answering questions posed to a knowledge-based system  

Science Conference Proceedings (OSTI)

As part of the ongoing project, Project Halo, our goal is to build a system capable of answering questions posed by novice users to a formal knowledge base. In our current context, the knowledge base covers selected topics in physics, chemistry, and ... Keywords: controlled language, knowledge-based systems, problem solving, question answering

Peter Clark; Shaw-Yi Chaw; Ken Barker; Vinay Chaudhri; Philip Harrison; James Fan; Bonnie John; Bruce Porter; Aaron Spaulding; John Thompson; Peter Yeh

2007-10-01T23:59:59.000Z

50

Dynamic interaction in knowledge based systems: An exploratory investigation and empirical evaluation  

Science Conference Proceedings (OSTI)

In response to the need for knowledge based support in unstructured domains, researchers and practitioners have begun developing systems that mesh the traditional attributes of knowledge based systems (KBS) and decision support system (DSS). One such ... Keywords: Advisory systems, Decision support systems, Dynamic interaction, Knowledge based systems

Brandon A. Beemer; Dawn G. Gregg

2010-11-01T23:59:59.000Z

51

Knowledge-based modeling using GIS: nonpoint source pollution application  

E-Print Network (OSTI)

The concept of visualization in hydrologic modeling is discussed. A concept for integrating a knowledge-based system for analyzing simulation results is introduced. Visualization and expert, computer-based analysis when combined together produces a powerful tool for spatial data analysis and decision support. An application of such an integrated system in the context of nonpoint source (NPS) pollution control has been discussed to demonstrate these concepts. After a simulated implementation of the BMP recommendations, about 40 percent of the reduction in the area contributing above threshold limits (5 t/ac/yr) while 60 percent reduction in terms of volume of soil was observed over the watershed, for given rainfall conditions. The system provides an unique opportunity to evaluate and visualize the effects of alternative management practices used for erosion control. It was found that with appropriate land management, about at least a 40 percent reduction in the area exceeding the threshold can be obtained for rainfall ranging from 0.5 to 5 inches. A methodology for addressing nutrient management has been developed as well. Although the domain specific nature of the system limits the alternatives assessed, the system addresses the need for GIS based data analysis and interpretation, and also generates an optimum best management practices (BMPS) map for NPS pollution control.

Mohite, Mahendra P.

1993-01-01T23:59:59.000Z

52

Model checking education for software engineers in Japan  

Science Conference Proceedings (OSTI)

This paper is the preliminary report of a joint research project on developing a body of knowledge on model checking. The project is being carried out by four organizations that give model checking courses to software engineers in Japan. The paper explains ... Keywords: body of knowledge, evaluation, training

Hideaki Nishihara; Koichi Shinozaki; Koji Hayamizu; Toshiaki Aoki; Kenji Taguchi; Fumihiro Kumeno

2009-06-01T23:59:59.000Z

53

Content selection from an ontology-based knowledge base for the generation of football summaries  

Science Conference Proceedings (OSTI)

We present an approach to content selection that works on an ontology-based knowledge base developed independently from the task at hand, i.e., Natural Language Generation. Prior to content selection, a stage akin to signal analysis and data ...

Nadjet Bouayad-Agha; Gerard Casamayor; Leo Wanner

2011-09-01T23:59:59.000Z

54

Rule-based query answering method for a knowledge base of economic crimes  

E-Print Network (OSTI)

We present a description of the PhD thesis which aims to propose a rule-based query answering method for relational data. In this approach we use an additional knowledge which is represented as a set of rules and describes the source data at concept (ontological) level. Queries are posed in the terms of abstract level. We present two methods. The first one uses hybrid reasoning and the second one exploits only forward chaining. These two methods are demonstrated by the prototypical implementation of the system coupled with the Jess engine. Tests are performed on the knowledge base of the selected economic crimes: fraudulent disbursement and money laundering.

Bak, Jaroslaw

2011-01-01T23:59:59.000Z

55

Active and Knowledge-based Process Safety Incident Retrieval System  

E-Print Network (OSTI)

The sustainability and continued development of the chemical industry is to a large extent dependent on learning from past incidents. The failure to learn from past mistakes is rather not deliberate but due to unawareness of the situation. Incident databases are excellent resources to learn from past mistakes; however, in order to be effective, incident databases need to be functional in disseminating the lessons learned to users. Therefore, this research is dedicated to improving user accessibility of incident databases. The objective of this research is twofold. The first objective is improving accessibility of the database system by allowing the option of word search as well as folder search for the users. This will satisfy research needs of users who are aware of the hazards at hand and need to access the relevant information. The second objective is to activate the database via integration of the database with an operational software. This will benefit research needs of users who are unaware of the existing hazards. Literature review and text mining of Major Accident Reporting System (MARS) database short reports are employed to develop an initial taxonomy, which is then refined and modified by expert review. The incident reports in MARS database is classified to the right folders in the taxonomy and implemented in a database system based on Microsoft Excel, where the users can retrieve information using folder search as well as word search option via a user friendly interface. A program coded in JAVA is prepared for integrating the incident database with a Management of Change (MOC) software prototype. A collection of keywords on hazardous substances and equipment is prepared. If the keywords exist in the MOC interface, they will be highlighted, and with the click of a button, will return up to ten relevant incident reports. Using an active and knowledge-based system, people can learn from incidents and near-misses and will be more active to reduce the frequency of recurring incidents.

Khan, Sara Shammni

2010-08-01T23:59:59.000Z

56

Plenary lecture 3: knowledge based multimedia system for teacher's education  

Science Conference Proceedings (OSTI)

This paper deals with a concept of Knowledge system which is created to support medern learning and teaching. Educational technology is constantly changing and improving in line with the development of science and information technology. Traditional ...

Danimir Mandic

2010-02-01T23:59:59.000Z

57

Uncertainty management in a distributed knowledge based system  

Science Conference Proceedings (OSTI)

In many situations, a knowledge source may not give definite hypothesis; it can only express its belief and disbelief in multiple hypotheses, We present a scheme of uncertainty management in such a system. Disbelief is given a considerable importance ...

Naseem A. Khan; Ramesh Jain

1985-08-01T23:59:59.000Z

58

VR based knowledge transfer in medical technology and techniques  

Science Conference Proceedings (OSTI)

This paper reports on an ongoing project’s use of virtual reality (VR) technologies to support vocational training. Three-dimensional interactive VR models can be employed to support the innovative transfer of knowledge about complex equipment ...

Wolfram Schoor; Rüdiger Mecke; Martina Rehfeld

2006-05-01T23:59:59.000Z

59

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

E-Print Network (OSTI)

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

2009-01-01T23:59:59.000Z

60

Evaluating disaster management knowledge model by using a frequency-based selection technique  

Science Conference Proceedings (OSTI)

Disaster Management (DM) is a multidisciplinary endeavour and a very difficult knowledge domain to model. It is a diffused area of knowledge that is continuously evolving and informally represented. Metamodel is the output artefact of metamodelling, ... Keywords: disaster management, frequency-based selection, knowledge model, metamodel, model transformation

Siti Hajar Othman; Ghassan Beydoun

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


61

The Research on Ontology-based Knowledge Visualization in E-Learning Resources Management  

Science Conference Proceedings (OSTI)

Today, e-learning resources management is more and more important. How to organize the knowledge resources and how to help students establish knowledge systems become the focus of the e-learning research. In this paper, we mainly research the ontology-based ... Keywords: e-learning, ontology, knowledge visualization

Yuan Zhang; Xin Sun

2008-12-01T23:59:59.000Z

62

An agent-based legal knowledge acquisition methodology for agile public administration  

Science Conference Proceedings (OSTI)

This paper proposes a knowledge elicitation method based on serious gaming for theory construction about the effects of the law on the behaviours of agents. These games provide input to simulations of business process and product design alternatives. ... Keywords: knowledge acquisition, legal knowledge engineering, public administration

Alexander Boer; Tom van Engers

2011-06-01T23:59:59.000Z

63

Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant  

Science Conference Proceedings (OSTI)

The modeling and analysis of hybrid systems is a recent and challenging research area which is actually dominated by two main lines: a functional analysis based on the description of the system in terms of discrete state (hybrid) automata (whose goal ...

Marco Gribaudo; A. Horváth; Andrea Bobbio; Enrico Tronci; Ester Ciancamerla; Michele Minichino

2002-09-01T23:59:59.000Z

64

Knowledge-based collaborative engineering of pipe networks in the upstream and downstream petroleum industry  

Science Conference Proceedings (OSTI)

This paper describes an approach to the development of a framework for the automation of the detailed engineering cycle based on the integration of concurrent and collaborative engineering models with knowledge-based engineering. The framework is illustrated ... Keywords: Agents, Collaborative design, Interoperability framework, Knowledge-based engineering

Leonid Sheremetov; Ildar Batyrshin; Manuel Chi; Armando Rosas

2008-12-01T23:59:59.000Z

65

Knowledge and transaction based domestic energy saving support system  

Science Conference Proceedings (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, it performs indirect control. Indirect control means that a smart system ... Keywords: home energy management system, indirect control, knowledge management

Hiroki Shigeyoshi; Shuki Inoue; Keniti Tamano; Shingo Aoki; Hiroshi Tsuji; Tsuyoshi Ueno

2011-09-01T23:59:59.000Z

66

Domain experts' knowledge-based intelligent decision support system in occupational shoulder and neck pain therapy  

Science Conference Proceedings (OSTI)

This research develops a fuzzy knowledge-based decision support system (FKBDSS) that measures and predicts the degree of severity of the work-related risk associated with shoulder and neck pain (SNP) that is a prevalent pain complaint in an occupational ... Keywords: Analytic hierarchy processing, Domain expert, Fuzzy knowledge-based decision support system, Fuzzy set theory, Musculoskeletal disorder, Shoulder and neck pain

T. Padma; P. Balasubramanie

2011-03-01T23:59:59.000Z

67

Medical image diagnosis of liver cancer by feedback GMDH-type neural network using knowledge base  

Science Conference Proceedings (OSTI)

A revised group method of data handling (GMDH)-type neural network algorithm using knowledge base for medical image diagnosis, is proposed and applied to medical image diagnosis of liver cancer. In this algorithm, the knowledge base for medical image ... Keywords: Artificial intelligence, GMDH, Medical image diagnosis, Neural networks

Tadashi Kondo; Junji Ueno; Shoichiro Takao

2013-02-01T23:59:59.000Z

68

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

Science Conference Proceedings (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

69

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

70

Developing an organizational attributes-based continuous-learning KM model for knowledge-intensive small firms  

Science Conference Proceedings (OSTI)

In this paper we draw on the knowledge market analogy and integrate the considerations of organizational culture and attributes, knowledge management (KM) guiding principles and continuous learning-based systems development into the design of a model ... Keywords: KM guiding principles, continuous learning, knowledge intensive firms, knowledge management, knowledge market, organizational culture

Pi-Sheng Deng

2006-12-01T23:59:59.000Z

71

Black Box Checking Doron Peled  

E-Print Network (OSTI)

Black Box Checking Doron Peled The University of Texas at Austin Department of Electrical and formalize this problem of black box checking and suggest several algorithms. Since the input to black box the given property. We call this problem black box checking. To simplify the discussion, we will not deal

Peled, Doron A.

72

BLACK BOX CHECKING DORON PELED  

E-Print Network (OSTI)

BLACK BOX CHECKING DORON PELED Bell Laboratories 600 Mountain Ave. Murray Hill, NJ 07974, USA MOSHE properties. We propose and formalize this problem of black box checking and suggest several algorithms. Since the input to black box checking is not given initially, as is the case in the classical model of computation

Vardi, Moshe Y.

73

A primer on model checking  

Science Conference Proceedings (OSTI)

Model checking is a widely used formal method for the verification of concurrent programs. This article starts with an introduction to the concepts of model checking, followed by a description of Spin, one of the foremost model checkers. Software tools ... Keywords: Erigone, Spin, concurrent programming, model checking, verification

Mordechai (Moti) Ben-Ari

2010-03-01T23:59:59.000Z

74

KBSLUA: A knowledge-based system applied in river land use assessment  

Science Conference Proceedings (OSTI)

The assessment of river land use is an important, but complex and time-consuming task that has to deal with a huge amount of data, domain regulations, legal aspects, and expert knowledge in terms of environmental protection, ecology, and water resource ... Keywords: Geographic information system, Knowledge-based system, River land use

Tzai-Zang Lee; Chien-Hsing Wu; Hsien-Hui Wei

2008-02-01T23:59:59.000Z

75

Web directories as a knowledge base to build a multi-agent system for information sharing  

Science Conference Proceedings (OSTI)

A neural based multi-agent system, exploiting the Web Directories as a Knowledge Base for information sharing and documents retrieval, is presented. The system is based on the E?Net architecture, a neural network capable of learning the activation ...

Giovanni Pilato; Salvatore Vitabile; Giorgio Vassallo; Vincenzo Conti; Filippo Sorbello

2004-12-01T23:59:59.000Z

76

A knowledge engineering exercise for accelerator fault diagnosis using the EMYCIN-based personal consultant (Texas Instruments)  

E-Print Network (OSTI)

A knowledge engineering exercise for accelerator fault diagnosis using the EMYCIN-based personal consultant (Texas Instruments)

Malandain, E

1987-01-01T23:59:59.000Z

77

Check 'n' crash: combining static checking and testing  

Science Conference Proceedings (OSTI)

We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inferred using theorem proving techniques by a static checker (ESC/Java), ... Keywords: automatic testing, dynamic analysis, extended static checking, static analysis, test case generation, usability

Christoph Csallner; Yannis Smaragdakis

2005-05-01T23:59:59.000Z

78

Methodologies for the development of knowledge-based systems, 1982–2002  

Science Conference Proceedings (OSTI)

Knowledge-based systems have often been criticised for the limited theoretical base upon which they are constructed. This view asserts that systems are often developed in an ad hoc, individual way that leads to unmaintainable, unreliable and non-rigorous ...

Robert Plant; Rose Gamble

2003-01-01T23:59:59.000Z

79

Hajj-QAES: A Knowledge-Based Expert System to Support Hajj Pilgrims in Decision Making  

Science Conference Proceedings (OSTI)

Most Muslim countries provide trainings to their pilgrims before departing for Mecca in order to assist them in achieving a perfect or mabrur hajj. However they probably encounter hajj related problems that require them to make immediate decisions especially ... Keywords: decision making, expert system, hajj complex problems, knowledge base

Shahida Sulaiman; Hasimah Mohamed; Muhammad Rafie Mohd Arshad; Nur' Aini Abdul Rashid; Umi Kalsom Yusof

2009-11-01T23:59:59.000Z

80

Graph-based reasoning in collaborative knowledge management for industrial maintenance  

Science Conference Proceedings (OSTI)

Capitalization and sharing of lessons learned play an essential role in managing the activities of industrial systems. This is particularly the case for the maintenance management, especially for distributed systems often associated with collaborative ... Keywords: Case-based reasoning, Conceptual graph rule, Experience feedback, Expert knowledge, Fleet considerations, Maintenance management

Bernard Kamsu-Foguem, Daniel Noyes

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


81

Semantic knowledge facilities for a web-based recipe database system supporting personalization  

Science Conference Proceedings (OSTI)

The recent explosive proliferation of interesting and useful data over the Web such as various recipes, while providing people with readily available information, brings out a challenging issue on how to manage such non-conventional data effectively. ... Keywords: constraint and rule, cooking graph, knowledge base, personalization, recipe, semantic modeling, user profiling

Liping Wang; Qing Li; Guozhu Dong; Yu Li

2008-05-01T23:59:59.000Z

82

A knowledge-based decision support system for shipboard damage control  

Science Conference Proceedings (OSTI)

The operational complexity of modern ships requires the use of advanced applications, called damage control systems (DCSs), able to assist crew members in the effective handling of dangerous events and accidents. In this article we describe the development ... Keywords: Damage control system, Decision support system, Expert system, Kill card, Knowledge-based system, Shipboard management

F. Calabrese; A. Corallo; A. Margherita; A. A. Zizzari

2012-07-01T23:59:59.000Z

83

Intrusion detection for mobile devices using the knowledge-based, temporal abstraction method  

Science Conference Proceedings (OSTI)

In this paper, a new approach for detecting previously unencountered malware targeting mobile device is proposed. In the proposed approach, time-stamped security data is continuously monitored within the target mobile device (i.e., smartphones, PDAs) ... Keywords: Android, Intrusion detection, Knowledge-based systems, Malware, Mobile devices, Temporal reasoning

Asaf Shabtai; Uri Kanonov; Yuval Elovici

2010-08-01T23:59:59.000Z

84

Building a case-based diet recommendation system without a knowledge engineer  

Science Conference Proceedings (OSTI)

We present a new approach to the effective development of menu construction systems that allow to automatically construct a menu that is strongly tailored to the individual requirements and food preferences of a client. In hospitals and other health ... Keywords: Case-based reasoning, Dietary menu construction, Knowledge acquisition, Ripple-down rules

Abdus Salam Khan; Achim Hoffmann

2003-02-01T23:59:59.000Z

85

A cultural knowledge-based method to support the formation of homophilous online communities  

Science Conference Proceedings (OSTI)

We propose a three-step method to identify people in social networks sites (SNS) who are talking about the same topics, even though they may be from different cultural backgrounds. Our method uses a cultural knowledge base from the OMCS-Br project to ... Keywords: OMCS-Br, cultural translation, homophily, online communities, people with similarities

Junia C. Anacleto; Fernando C. Balbino; Gilberto Astolfi; Sidney Fels; Andre O. Bueno

2011-05-01T23:59:59.000Z

86

A knowledge-based approach for power system dynamic security assessment  

Science Conference Proceedings (OSTI)

This paper presents a knowledge-based method for predicting the robustness of a power system to severe disturbances. The method builds decision trees using the attributes which are closely related to the stability of the power system. A simple power ...

B. Jeyasurya; S. S. Venkata

1990-06-01T23:59:59.000Z

87

Statistical model checking: an overview  

Science Conference Proceedings (OSTI)

Quantitative properties of stochastic systems are usually specified in logics that allow one to compare the measure of executions satisfying certain temporal properties with thresholds. The model checking problem for stochastic systems with respect to ...

Axel Legay; Benoît Delahaye; Saddek Bensalem

2010-11-01T23:59:59.000Z

88

Optimizing Candidate Check Costs for Bitmap Indices  

SciTech Connect

In this paper, we propose a new strategy for optimizing the placement of bin boundaries to minimize the cost of query evaluation using bitmap indices with binning. For attributes with a large number of distinct values, often the most efficient index scheme is a bitmap index with binning. However, this type of index may not be able to fully resolve some user queries. To fully resolve these queries, one has to access parts of the original data to check whether certain candidate records actually satisfy the specified conditions. We call this procedure the candidate check, which usually dominates the total query processing time. Given a set of user queries, we seek to minimize the total time required to answer the queries by optimally placing the bin boundaries. We show that our dynamic programming based algorithm can efficiently determine the bin boundaries. We verify our analysis with some real user queries from the Sloan Digital Sky Survey. For queries that require significant amount of time to perform candidate check, using our optimal bin boundaries reduces the candidate check time by a factor of 2 and the total query processing time by 40 percent.

Rotem, Doron; Stockinger, Kurt; Wu, Kesheng

2005-07-10T23:59:59.000Z

89

An FPGA Implementation of Explicit-State Model Checking  

Science Conference Proceedings (OSTI)

We present PHAST, a pipelined hardware accelerated explicit-state model checker. The algorithms and methodologies used to perform the state checking in PHAST are based on the Murphi verifier, developed at Stanford University. Murphi has been used to ... Keywords: fpga, phast, murphi, formal verification, explicit-state, model checking, hash compaction

Mary Ellen Fuess; Miriam Leeser; Tim Leonard

2008-04-01T23:59:59.000Z

90

On technology for functional requirement-based reference design retrieval in engineering knowledge management  

Science Conference Proceedings (OSTI)

Engineering design is a knowledge-intensive process, and includes conceptual design, detailed design, engineering analysis, assembly design, process design, and performance evaluation. Each of these tasks involves various aspects of technical knowledge ... Keywords: Engineering design, Knowledge management, Knowledge retrieval

Yuh-Jen Chen; Yuh-Min Chen; Hui-Chuan Chu; Hao-Yun Kao

2008-03-01T23:59:59.000Z

91

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

Science Conference Proceedings (OSTI)

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

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

2011-06-15T23:59:59.000Z

92

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

93

Checking JML specifications using an extensible software model checking framework  

E-Print Network (OSTI)

Abstract. The use of assertions to express correctness properties of programs is growing in practice. Assertions provide a form of lightweight checkable specification that can be very effective in finding defects in programs and in guiding developers to the cause of a problem. A wide variety of assertion languages and associated validation techniques have been developed, but run-time monitoring is commonly thought to be the only practical solution. In this paper, we describe how specifications written in the Java Modeling Language (JML), a general purpose behavioral specification and assertional language for Java, can be validated using a customized model checker built on top of the Bogor model checking framework. Our experience illustrates the need for customized state-space representations and reduction strategies in model checking frameworks in order to effectively check the kind of strong behavioral specifications that can be written in JML. We discuss the advantages and trade-offs of model checking relative to other specification validation techniques and present data that suggest that

Edwin Rodríguez; Matthew B. Dwyer

2006-01-01T23:59:59.000Z

94

Specifying and checking component usage  

Science Conference Proceedings (OSTI)

One of today's challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications describing how a component should be used and checks these specifications in ... Keywords: automata, components, finite-state, flow analysis, specifications, verification

Steven P. Reiss

2005-09-01T23:59:59.000Z

95

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams  

Science Conference Proceedings (OSTI)

This paper presents an Interval Decision Diagram based approach to symbolic CSL model checking of Continuous Time Markov Chains which are derived from stochastic Petri nets. Matrix-vector and vector-matrix multiplication are the major tasks of exact ...

Martin Schwarick; Monika Heiner

2009-08-01T23:59:59.000Z

96

Analysis of molecular expression patterns and integration with other knowledge bases using probabilistic Bayesian network models  

Science Conference Proceedings (OSTI)

How can molecular expression experiments be interpreted with greater than ten to the fourth measurements per chip? How can one get the most quantitative information possible from the experimental data with good confidence? These are important questions whose solutions require an interdisciplinary combination of molecular and cellular biology, computer science, statistics, and complex systems analysis. The explosion of data from microarray techniques present the problem of interpreting the experiments. The availability of large-scale knowledge bases provide the opportunity to maximize the information extracted from these experiments. We have developed new methods of discovering biological function, metabolic pathways, and regulatory networks from these data and knowledge bases. These techniques are applicable to analyses for biomedical engineering, clinical, and fundamental cell and molecular biology studies. Our approach uses probabilistic, computational methods that give quantitative interpretations of data in a biological context. We have selected Bayesian statistical models with graphical network representations as a framework for our methods. As a first step, we use a nave Bayesian classifier to identify statistically significant patterns in gene expression data. We have developed methods which allow us to (a) characterize which genes or experiments distinguish each class from the others, (b) cross-index the resulting classes with other databases to assess biological meaning of the classes, and (c) display a gross overview of cellular dynamics. We have developed a number of visualization tools to convey the results. We report here our methods of classification and our first attempts at integrating the data and other knowledge bases together with new visualization tools. We demonstrate the utility of these methods and tools by analysis of a series of yeast cDNA microarray data and to a set of cancerous/normal sample data from colon cancer patients. We discuss extending our methods to inferring biological pathways and networks using more complex dynamic Bayesian networks.

Moler, Edward J.; Mian, I.S.

2000-03-01T23:59:59.000Z

97

Change in Knowledge Bases: Special Issue of Theory and Practice of Logic Programming - Submission deadline: July 31, 2001  

Science Conference Proceedings (OSTI)

Significant advances have recently been made in the area of updates of logic programs, and, more generally, updates of knowledge bases and their applications. Accordingly, the journal Theory and Practice of Logic Programming has planned a special ...

Luís Moniz Pereira; Teodor Przymusinski

2001-03-01T23:59:59.000Z

98

Software Model Checking with SPIN  

E-Print Network (OSTI)

The aim of this chapter is to give an overview ofthe theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threaded software (rather than hardware) systems. The treatment is focused on the logic model checker SPIN, which was designed for this specific domain of application. SPIN implements an automata-theoretic method of verification. Although the tool has been available for over 15years, it continues to ev olve, adopting new optimization strategies from time to time to help it tackle larger verification problems. This chapter explains how the tool works, and

Gerard J. Holzmann

2005-01-01T23:59:59.000Z

99

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

SciTech Connect

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

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

1992-05-01T23:59:59.000Z

100

Model Checking Complete Requirements Specifications Using Abstraction  

Science Conference Proceedings (OSTI)

Although model checking has proven remarkably effective in detecting errors in hardware designs, its success in the analysis of software specifications has been limited. Model checking algorithms for hardware verification commonly use Binary Decision ... Keywords: SCR, abstraction, model checking, requirements specification, verification

Ramesh Bharadwaj; Constance L. Heitmeyer

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


101

A Default Logic Based Framework for Context-Dependent Reasoning with Lexical Knowledge  

Science Conference Proceedings (OSTI)

Lexical knowledge is increasingly important in information systems—for example in indexing documents using keywords, or disambiguating words in a query to an information retrieval system, or a natural language interface. However, it is a difficult ... Keywords: default logic, knowledge representation, lexical knowledge, non-monotonic logic, reasoning under uncertainty

Anthony Hunter

2001-01-01T23:59:59.000Z

102

Developing a knowledge-based perspective on coordination: The case of global software projects  

Science Conference Proceedings (OSTI)

We have attempted to bring together two areas which are challenging for both IS research and practice: forms of coordination and management of knowledge in the context of global, virtual software development projects. We developed a more comprehensive, ... Keywords: Coordination, Coordination mechanisms, Global software projects, Knowledge flows, Knowledge management, Software development

Julia Kotlarsky; Paul C. van Fenema; Leslie P. Willcocks

2008-03-01T23:59:59.000Z

103

Network Based Educational Environment How Libraries and Librarians Become Organizers of Knowledge Access and Resources  

E-Print Network (OSTI)

In this paper we will highlight some important issues which will influence the redefinition of roles and duties of libraries and librarians in a networked based educational environment. Although librarians will also keep their traditional roles of faculty support services as well as reference service and research assistance, we identify the participation in the instructional design process, the support in the evaluation, development and use of a proper authoring system and the customization of information access, as being the domains where libraries and librarians should mainly involve themselves in the next future and make profit of their expertise in information and knowledge organization in order to properly and effectively support the institutions in the use of Information Technology in education.

Pettenati, M C; Pettenati, Corrado

2000-01-01T23:59:59.000Z

104

Temporal Logic Model Checking of CSP:  

E-Print Network (OSTI)

We study the possibility of doing LTL model checking on CSP speci cations in the context of re nement. We present a technique to perform LTL model checking of CSP processes using re nement checking in general and the FDR tool in particular. We present a tool which automates the translation process from LTL model checking to CSP re nement. Also, if time permits, we will present another tool which uses latest generation Prolog technology to symbolically animate, compile, and model check CSP speci cations.

Tools And Techniques; Michael Leuschel; Ivan Wolton; Thierry Massart; Laksono Adhianto

2001-01-01T23:59:59.000Z

105

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

SciTech Connect

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

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

2003-09-23T23:59:59.000Z

106

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

SciTech Connect

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

Rich Johnson; Kimberlyn C. Mousseau; Hyung Lee

2011-09-01T23:59:59.000Z

107

Supporting multi-criteria decisions based on a hierarchical structure by taking advantage of acquired knowledge  

Science Conference Proceedings (OSTI)

In this paper, an approach to decision making is described. It combines a knowledge acquisition technique, a multi-attribute decision making technique, a validation technique and a machine learning algorithm. The suggested system is an extension of a ... Keywords: E-commerce assistant, Hierarchical decision support systems, Knowledge driven decision support systems, Product search assistant

J. J. Castro-Schez; R. Miguel; V. Herrera; J. A. Albusac

2013-01-01T23:59:59.000Z

108

Fuzzy Linguistic Knowledge Based Behavior Extraction for Building Energy Management Systems  

SciTech Connect

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

Dumidu Wijayasekara; Milos Manic

2013-08-01T23:59:59.000Z

109

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

SciTech Connect

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

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

2012-01-17T23:59:59.000Z

110

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

SciTech Connect

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

Kimberlyn C. Mousseau

2011-10-01T23:59:59.000Z

111

The DOE Knowledge Base Mthodology for the Creation of an Optimal Spatial Tessellation  

SciTech Connect

The DOE Knowledge Base is a library of detailed information whose purpose is to improve the capability of the United States National Data Center (USNDC) to monitor compliance with the Comprehensive Test Ban Treaty (CTBT). Much of the data contained by the Knowledge Base is spatial in nature, and some of it is used to improve the accuracy with which seismic locations are determined while maintaining or improving current calculational perfor- mance. In this presentation, we define and describe the methodology used to create spatial tessellations of seismic data which are utilized with a gradient-modified natural-neighbor interpolation method to evaluate travel-time corrections. The goal is to interpolate a specified correction surface, or a group of them, with prescribed accuracy and surface smoothness requirements, while minimizing the number of data points necessary to represent the surface. Maintain- ing accuracy is crucial toward improving the precision of seismic origin location. Minimizing the number of nodes in the tessellation improves calculational and data access efficiency and performance. The process requires two initialization steps and an iterated 7 step algorithm for inserting new tessellation nodes. First, M residual data from ground truth events are included in the tessellation. These data remain fixed throughout the creation of the triangular tessellation. Next, a coarse grid of nodes is laid over the region to be tessellated. The coarse grid is necessary to define the boundary of the region to be tessellated. Next the 7 step iterated algorithm is performed to add new nodes to the tessellation to ensure that accuracy and smoothness requirements are met. These steps include 1) all data points in the tessellation are linked together to form a triangular tessellation using p standard Delaunay tessellation technique; 2) all of the data points, excluding the original data and boundruy nodes, are smoothed using a length-weighted Laplacian smoother to remove poorly formed triangles; 3) all new data points are assigned corrections by performing a Non-stationary Bayesian Kriging calculation for each new triangle node; 4) all nodes that exceed surface roughness requirements are split by inserting a new node at the mid-points of the edges that share the rough nod% 5) all remaining triangle edge midpoints and centers are inte~olated using gradient-modified natural-neighbor interpolation and kriged using the Bayesian IGiging algoritlm 6) new nodes are inserted into the tessellation at all edge and triangle mid-points that exceed the specified relative error tolerance between the interpo- lated and Iaiged values, and 7) all new insertion nodes are added to the tessellations node list. Steps 1 through 7 are repeated until all relative error and surface smoothness requirements are satisfied. Results indicate that node densities in the tessellation are largest in regions of high surface curvature as expected. Generally, gradient modified natural-neighbor interpolation methods do a better job than linear natural-neighbor methods at meeting accuracy requirements which translates to fewer nodes necessary to represent the surface.

Hipp, J.R.; Moore, S.G.; Shepherd, E.; Young, C.J

1998-10-20T23:59:59.000Z

112

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

113

Connecting communities through ICT: boundary crossing and knowledge sharing in a web-based 'community of communities'  

Science Conference Proceedings (OSTI)

Information and Communication Technologies (ICTs) provide the means to connect the members of a community across geographical or institutional boundaries. However, there are relatively few examples that utilise ICT to connect the members of different ... Keywords: ICT, boundary crossing, communities of practice, computer science teaching, educational material, knowledge sharing, online communities, professional development, secondary education, teacher development, virtual communities, web-based communities

Stefanos Ziovas; Maria Grigoriadou

2008-11-01T23:59:59.000Z

114

Coping with Change and Novelty in Energy Facility Operations: Recommendations for Knowledge-Based, Extra-Procedural Problem Solving  

Science Conference Proceedings (OSTI)

Energy industry workers are sometimes faced with novel circumstances, situations not fully specified in procedures, or problems for which they have no ready solutions. This report describes the characteristics of knowledge-based problem solving for effective response under such circumstances. It also recommends management approaches for fostering development of requisite skills in energy industry workers.

2001-11-19T23:59:59.000Z

115

Automated consistency checking of requirements specifications  

Science Conference Proceedings (OSTI)

This article describes a formal analysis technique, called consistency checking, for automatic detection of errors, such as type errors, nondeterminism, missing cases, and circular definitions, in requirements specifications. The technique ... Keywords: application-independent properties, consistency checking, formal requirements modeling, software cost reduction methodology, tabular notations

Constance L. Heitmeyer; Ralph D. Jeffords; Bruce G. Labaw

1996-07-01T23:59:59.000Z

116

Model checking of software for microcontrollers  

Science Conference Proceedings (OSTI)

The interest of industries in model checking software for microcontrollers is increasing. However, there are currently no appropriate tools that can be applied by embedded systems developers for the direct verification of software for microcontrollers ... Keywords: Assembly code, formal verification, microcontroller, model checking, static analysis

Bastian Schlich

2010-03-01T23:59:59.000Z

117

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

118

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 and dynamic process necessary to maintain navigable waterways. Dredge engineers use pipeline engineering and slurry transport principles to determine the production rate of a pipeline dredge system. Engineers then use cost engineering factors to determine the expense of the dredge project. Previous work in engineering incorporated an object{oriented expert{system to determine cost and scheduling of mid{rise building construction where data objects represent the fundamental elements of the construction process within the program execution. A previously developed dredge cost estimating spreadsheet program which uses hydraulic engineering and slurry transport principles determines the performance metrics of a dredge pump and pipeline system. This study focuses on combining hydraulic analysis with the functionality of an expert{system to determine the performance metrics of a dredge pump and pipeline system and its resulting schedule. Field data from the U.S. Army Corps of Engineers pipeline dredge, Goetz, and several contract daily dredge reports show how accurately the DKBES can predict pipeline dredge production. Real{time dredge instrumentation data from the Goetz compares the accuracy of the Pipeline Analytical Program to actual dredge operation. Comparison of the Pipeline Analytical Program to pipeline daily dredge reports shows how accurately the Pipeline Analytical Program can predict a dredge project's schedule over several months. Both of these comparisons determine the accuracy and validity of the Pipeline Analytical Program and DKBES as they calculate the performance metrics of the pipeline dredge project. The results of the study determined that the Pipeline Analytical Program compared closely to the Goetz eld data where only pump and pipeline hydraulics a ected the dredge production. Results from the dredge projects determined the Pipeline Analytical Program underestimated actual long{term dredge production. Study results identi ed key similarities and di erences between the DKBES and spreadsheet program in terms of cost and scheduling. The study then draws conclusions based on these ndings and o ers recommendations for further use.

Wilson, Derek Alan

2010-12-01T23:59:59.000Z

119

Efforts by the nuclear industry to evaluate check valve failures  

SciTech Connect

Recent studies identified approximately 4000 check valve failures that occurred from 1984-1991. Of these, approximately 1600 were determined to be significant enough to require further analysis. This is to be compared with the existing check valve population of nearly 21,000 valves. The strategy proposed in this paper is to establish a refined, centralized check valve failure/reliability database based in part on existing Institute of Nuclear Power Operations (INPO) Nuclear Plant Reliability Data System (NPRDS) data. Ideally the database would be maintained in a central location, augmented with specific component information, overall reliability information, and updated at least biannually. The data would be available to sort and search as desired. The conceptual plan is provided and possible uses of the database are given.

Hart, K.; McElhaney, K.L.; Casada, D.A.

1994-12-31T23:59:59.000Z

120

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

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

Statistical model checking qos properties of systems with SBIP  

Science Conference Proceedings (OSTI)

BIP is a component-based framework supporting rigorous design of embedded systems. This paper presents SBIP, an extension of BIP that relies on a new stochastic semantics that enables verification of large-size systems by using Statistical Model Checking. ...

Saddek Bensalem; Marius Bozga; Benoit Delahaye; Cyrille Jegourel; Axel Legay; Ayoub Nouri

2012-10-01T23:59:59.000Z

122

Incorporating personalized gene sequence variants, molecular genetics knowledge, and health knowledge into an EHR prototype based on the Continuity of Care Record standard  

Science Conference Proceedings (OSTI)

Objectives: The current volume and complexity of genetic tests, and the molecular genetics knowledge and health knowledge related to interpretation of the results of those tests, are rapidly outstripping the ability of individual clinicians to recall, ... Keywords: Electronic health record, Information filters, Molecular Genetic Information, Personalized information, Sequence variants, Standards

Xia Jing; Stephen Kay; Thomas Marley; Nicholas R. Hardiker; James J. Cimino

2012-02-01T23:59:59.000Z

123

Knowledge-Based Project Planning Hctor Muoz-Avila1,2  

E-Print Network (OSTI)

of an Aircraft System to the Fire Control Subsystem and its related elements, adopted from MIL-HDBK-881. Figure 4, J. (1999). Knowledge Management Handbook, CRC Press, Boca Raton, FL. MIL-HDBK-881. (1993). Work Breakdown Structure. Department of Defense Handbook. MIL-HDBK-881. Muñoz-Avila, H.; McFarlane, D.; Aha; D

Nau, Dana S.

124

Knowledge-basedInference Methodsfor Modeling Technical Systems Gerd Kamp and Bernd Neumann  

E-Print Network (OSTI)

, especially for the language ALCF which we have chosen for our system (for a description of ALCF see [6]). 1 resulting concept languageALCF(D) is still decidable. Hence, there exist sound and completeal- gorithms for the above inference services in ALCF(D). To our knowledge,TAXONis the only description logic system

Hamburg,.Universität

125

A Fuzzy Graph-Based Model for Selecting Knowledge Management Tools in Innovation Processes  

Science Conference Proceedings (OSTI)

The evolution of organization, management, and production processes is moving towards more complexity every day. An improvement of the performance by the recovery and reuse of resources can be reached by going beyond traditional boundaries and by enforcing ... Keywords: Conflict Resolution, Fuzzy Linguistic Aggregation, Graph Theory, Knowledge Management, Process Innovation

Kouroush Jenab; Ahmad R. Sarfaraz

2012-01-01T23:59:59.000Z

126

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 estimates of oil and gas reserves ?" In qualitative terms, good recoverable reserves have high hydrocarbon from oil elds in the Alaska Basin. Preliminary results demonstrate the e ectiveness of this method

127

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

128

A frame knowledge system for managing financial decision knowledge  

Science Conference Proceedings (OSTI)

Managing decision knowledge or expertise from domain experts is one of the most exciting challenges in today's knowledge management field. The nature of decision knowledge in determining a firm's financial health is context-dependent, intangible, and ... Keywords: Financial decision management, Frame knowledge representation, Jess, Knowledge acquisition, Knowledge-based system

Weissor Shiue; Sheng-Tun Li; Kuan-Ju Chen

2008-10-01T23:59:59.000Z

129

Smog Check II Evaluation California Inspection and  

E-Print Network (OSTI)

Smog Check II Evaluation Glossary . . . . . . . . . . . . California Inspection and Maintenance Review Committee #12;Contents Glossary of Acronyms ____________________________________________ 1 Glossary of Terms _______________________________________________ 3 #12;G-1 Glossary of Acronyms APCD Air

Denver, University of

130

Fair Model Checking of Abstractions (Extended Abstract)  

E-Print Network (OSTI)

. The abstract transitions (dashed and fat arrows) are explained further on. A transition system models of a model by ignoring certain static aspects. Such a reduction is usually necessary to render model checking

Dams, Dennis

131

Declarative symbolic pure-logic model checking  

E-Print Network (OSTI)

Model checking, a technique for findings errors in systems, involves building a formal model that describes possible system behaviors and correctness conditions, and using a tool to search for model behaviors violating ...

Shlyakhter, Ilya, 1975-

2005-01-01T23:59:59.000Z

132

Network assisted file system consistency checking  

E-Print Network (OSTI)

This thesis reports on the design and implementation of Network Assisted NFSCK (or NAN), an extension to NFSCK, a research project about checking file system consistency at NetApp. NFSCK requires disk space to store temporary ...

Zehender, Nicholas (Nicholas G.)

2011-01-01T23:59:59.000Z

133

Knowledge management in mobile environment  

Science Conference Proceedings (OSTI)

Many knowledge management activities occur in working places and in our daily activities. On such occasions, mobile devices are tools to connect people with knowledge bases. In the mobile scenarios, the important knowledge management issue is how to ... Keywords: handheld devices, knowledge applications, knowledge sharing, m-commerce, mobile commerce, mobile communications, mobile devices, mobile knowledge management

Xiaoqing Li; Te-Wei Wang

2007-09-01T23:59:59.000Z

134

Knowledge-Based Multi-Criteria Optimization to Support Indoor Positioning  

E-Print Network (OSTI)

University of Potsdam, Germany Abstract Indoor position estimation constitutes a central task in home-based

Schaub, Torsten

135

Fair SMG and Linear Time Model Checking  

E-Print Network (OSTI)

SMG is a system designed to generate a finite state model of a program from the program itself and an operational semantics for the programming language. This finite state model can then be model-checked to verify desired temporal properties of the original program. In this paper we first show how we have incorporated notions of fairness into SMG; in particular, a user is now able to define semantics with "fair" constructs, for example, parallel, repetitive choice, etc. The user can, indeed, mix different forms of fairness checking. Secondly we describe a practical approach to model checking of linear temporal formulae over the fair structures generated by SMG. Our approach is a refinement and extension of the fair-satisfiability algorithms, presented earlier by Lichtenstein and Pnueli, together with techniques developed in our practical implementations of decision procedures for linear temporal logic.

Howard Barringer; Michael D. Fisher; Graham D. Gough

1989-01-01T23:59:59.000Z

136

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

137

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

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

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

138

Secretary Chu Visits Russian Seaport, Checks Out Second Line...  

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

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

139

A knowledge infrastructure for intelligent query answering in location-based services  

Science Conference Proceedings (OSTI)

Intelligent query answering in Location-based Services refers to their capability to provide mobile users with personalized and contextualized answers. Personalization is expected to lead to answers that better match user's interests, as inferable from ... Keywords: Context-awareness, Contextualization, Location-based services, Ontology, Personalization, Query answering, User profile

Shijun Yu; Stefano Spaccapietra

2010-07-01T23:59:59.000Z

140

Shootout-89, A Comparative Evaluation of Knowledge-based Systems That Forecast Severe Weather  

Science Conference Proceedings (OSTI)

During the summer of 1989, the Forecast Systems Laboratory of the National Oceanic and Atmospheric Administration sponsored an evaluation of artificial-intelligence-based systems that forecast severe convective storms. The evaluation experiment, ...

W. R. Moninger; C. Lusk; W. F. Roberts; J. Bullas; Bde Lorenzis; J. C. McLeod; E. Ellison; J. Flueck; P. D. Lampru; K. C. Young; J. Weaver; R. S. Philips; R. Shaw; T. R. Stewart; S. M. Zubrick

1991-09-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

Taxonomic knowledge structure discovery from imagery-based data using the neural associative incremental learning (NAIL) algorithm  

Science Conference Proceedings (OSTI)

An important component of higher level fusion is knowledge discovery. One form of knowledge is a set of relationships between concepts. This paper addresses the automated discovery of ontological knowledge representations such as taxonomies/thesauri ... Keywords: Associative learning, Incremental learning, Information fusion, Knowledge structure, Multi-target classification, Ontology learning, Taxonomy

Bradley J. Rhodes

2007-07-01T23:59:59.000Z

142

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":""}]}

143

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

144

A proposal for mobile game based learning to promote knowledge of the a famosa fortress  

Science Conference Proceedings (OSTI)

The A Famosa fortress in Melaka is an important historical site which offers a significant insight into the history of Melaka and Malaysia. A research project was carried out over the period between 2007 to 2010 in order to develop a conjectural layout ... Keywords: a famosa, game-based learning, game-play, historical heritage

Mohamad Izani; Michael Grant; Aishah Razak

2012-10-01T23:59:59.000Z

145

Knowledge-based duty cycle estimation in wireless sensor networks: Application for sound pressure monitoring  

Science Conference Proceedings (OSTI)

Wireless sensor networks comprise an important research area and a near future for industry and communications. Wireless sensor networks contain resource-constrained sensor nodes that are powered by small batteries, limited process and memory and wireless ... Keywords: Constrained device, Fuzzy rule based system, Multi-agent system, Sound pressure, Wireless sensor network

J. C. Cuevas-Martinez; J. Canada-Bago; J. A. Fernandez-Prieto; M. A. Gadeo-Martos

2013-02-01T23:59:59.000Z

146

Improving the effectiveness of monitoring and control systems exploiting knowledge-based approaches  

Science Conference Proceedings (OSTI)

This paper illustrates how the adoption of techniques typical of artificial intelligence (AI) could improve the performance of monitoring and control systems (MCSs). Traditional MCSs are designed according to a three-level architectural pattern in which ... Keywords: Agent-based model, Automotive systems, Correlation agency, Monitoring and control systems, ST-logic

Stefania Bandini; Fabio Sartori

2005-09-01T23:59:59.000Z

147

An automata-theoretic approach for model-checking systems with unspecified components  

Science Conference Proceedings (OSTI)

This paper introduces a new approach for the verification of systems with unspecified components. In our approach, some model-checking problems concerning a component-based system are first reduced to the emptiness problem of an oracle finite automaton, ...

Gaoyan Xie; Zhe Dang

2004-09-01T23:59:59.000Z

148

Visualization of research fronts and knowledge bases by three-dimensional areal densities of bibliographically coupled publications and co-citations  

Science Conference Proceedings (OSTI)

In this work the well known scientometric concepts of bibliographically coupled publications and co-cited references were applied to produce interactive maps of research fronts and knowledge bases of research fields. This article proposes a method and ... Keywords: 3D-visualisation, Battery research, Bibliographic coupling, Co-citation analysis, Emerging research fronts, Jaccard index, Knowledge bases, Local paper density, Research fronts, Science mapping, Similarity, Spatial density

Edgar Schiebel

2012-05-01T23:59:59.000Z

149

A RULE EXERCISER FOR KNOWLEDGE BASE ENHANCEMENT IN EXPERT SYSTEMS BY  

E-Print Network (OSTI)

The author gives a rough theory o ( the use o ( plausibility (unctions and evaluation schemes to model plausible reasoning on imprecise, inexact, and incomplete data. A pragmatically motivated methodology (or establishing plausibility (unctions and evaluation schemes in new rule bases is proposed as well as severa! figures o ( merit. The techniques presented in the paper are applied to a case study involving soybean diagnosis and monkey behavior disbased on a proposed methodology. The results o ( the study are summarised and an evaluation o ( the proposed methods is presented. iv ACKNOWLEDGEMENTS I would like to thank my thesis advisor, Dr. Rysu,rd ~ichalski, ror countless ideas and suggestions. He provided me with motivation and the original impetus for this thesis. I thank him ror the opportunity to set my own goals and approaches to the basic problems. I also thank Dr. A.B. Baskin, Dr. R. Stepp, Tom Channic, Steve Borodkin, Tony:--':owicki, and Bob Reinke, who were also helpful. I am grateful to several funding agencies which supported my activities:

Carl Thomas U~rik; Carl Thomas Uhrik; Texu A

1986-01-01T23:59:59.000Z

150

Optimized synthesis of concurrently checked controllers  

SciTech Connect

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

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

1990-04-01T23:59:59.000Z

151

Model-Checking CSP-Z  

E-Print Network (OSTI)

Abstract. Model-checking is now widely recognised as an efficient method for analysing computer system properties, such as deadlock-freedom. Its practical applicability is due to existing automatic tools which deal with tedious proofs. Another increasingly research area is formal language integration where the capabilities of each language are used to capture precisely some aspects of a system. In this paper we describe a formal strategy for deadlock analysis of specifications in CSP-Z (a language which integrates CSP and Z). We also show how FDR (a modelchecker originally developed for CSP) can be adapted for CSP-Z. Finally, we present a subset of a CSP-Z formal specification of a real Brazilian artificial microsatellite, and use FDR to check that the specification is deadlock-free.

Alexandre Mota; Augusto Sampaio

1998-01-01T23:59:59.000Z

152

Pre-resistance-welding resistance check  

DOE Patents (OSTI)

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

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

1991-01-01T23:59:59.000Z

153

Pre-resistance-welding resistance check  

DOE Patents (OSTI)

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

Destefan, D.E.; Stompro, D.A.

1989-06-08T23:59:59.000Z

154

Is it possible to check microcomponent coatings?  

Science Conference Proceedings (OSTI)

Optical microcomponents are increasingly used in laser optical systems because of their many and novel industrial applications. These components are coated in order to enhance their optical performance, but optical characterizations are very difficult due to the shapes and small size. Thus, to perform this kind of measurement, special devices are needed. It is difficult to check component optical responses after manufacturing. Thus a new method, developed by the French Atomic Energy and Alternative Energies Commission, is proposed to fill this gap.

Piombini, Herve; Voarino, Philippe; Lemarchand, Fabien

2011-03-20T23:59:59.000Z

155

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

Science Conference Proceedings (OSTI)

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

Rich Johnson; Hyung Lee; Kimberlyn C. Mousseau

2011-09-01T23:59:59.000Z

156

2013-11-04: NIST Handbook 133 - Volumetric - Checking the ...  

Science Conference Proceedings (OSTI)

NIST Handbook 133 - Volumetric - Checking the Net Contents of Packaged Goods. Purpose: The focus of this training will ...

2013-10-23T23:59:59.000Z

157

Eliciting Local Spatial Knowledge for Community-Based Disaster Risk Management: Working with Cybertracker in Georgian Caucasus  

Science Conference Proceedings (OSTI)

CyberTracker CT participatory field data collection software is used as an element of Participatory GIS for acquiring, geo-referencing, storing and transferring local spatial knowledge. It has been developed initially for animal tracking, ecological ... Keywords: Community Surveys, Disaster Risk, Georgia, Local Knowledge, Participatory GIS Geo-Information Systems, Software Application, Vulnerability

Valentina Spanu, Michael Keith McCall

2013-04-01T23:59:59.000Z

158

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

E-Print Network (OSTI)

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

Travé-Massuyès, Louise

159

An ontological approach for modeling technical standards for compliance checking  

Science Conference Proceedings (OSTI)

This paper gives an overview of a formal semantic-based approach of modeling some regulations in the photovoltaic field to help the delivering of technical assessments at the French scientific center on Building Industry (CSTB). Starting from regulatory ... Keywords: E-Government, E-regulations, building industry, knowledge management, ontology, semantic web

Khalil Riad Bouzidi; Catherine Faron-Zucker; Bruno Fies; Nhan Le Thanh

2011-08-01T23:59:59.000Z

160

Accelerating explicit state model checking on an FPGA: PHAST.  

E-Print Network (OSTI)

??Verification has become an increasingly important part of the hardware design process. One technique used to verify digital circuits is explicit state model checking. PHAST,… (more)

Tie, Mary Ellen

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


161

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

162

An automated translator for model checking time constrained workflow systems  

Science Conference Proceedings (OSTI)

Workflows have proven to be a useful conceptualization for the automation of business processes. While formal verification methods (e.g., model checking) can help ensure the reliability of workflow systems, the industrial uptake of such methods has been ... Keywords: automated translation, distributed model checking, modeling, time, workflow systems

Ahmed Shah Mashiyat; Fazle Rabbi; Hao Wang; Wendy MacCaull

2010-09-01T23:59:59.000Z

163

MARCIE: model checking and reachability analysis done efficiently  

Science Conference Proceedings (OSTI)

MARCIE is a tool for the analysis of generalized stochastic Petri nets which can be augmented by rewards. The supported analysis methods range from qualitative and quantitative standard properties to model checking of established temporal logics. MARCIE's ... Keywords: generalized stochastic petri nets, model checking, simulation

Monika Heiner, Christian Rohr, Martin Schwarick

2013-06-01T23:59:59.000Z

164

Solving production scheduling problems using advanced model checking tools  

Science Conference Proceedings (OSTI)

The main scope of this paper is the implementation of a method for production scheduling, using advanced model checking tools. This method makes use of timed automata to model complex production scheduling problems such as the job-shop and the open-shop ... Keywords: distributed manufacturing, job-shops, model checking, production scheduling, timed automata

Dimitrios Panopoulos; Kostas Metaxiotis

2006-06-01T23:59:59.000Z

165

Situated cognition and knowledge acquisition research  

Science Conference Proceedings (OSTI)

In the early years of knowledge acquisition research there was considerable discussion about the possibility of obtaining knowledge from experts, based on the ideas of situated cognition. The central idea from situated cognition was that knowledge is ... Keywords: Knowledge acquisition, Knowledge engineering, Ripple-Down Rules, Situated cognition

Paul Compton

2013-02-01T23:59:59.000Z

166

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.

167

Assessment of Vapor Intrusion at MGP Sites: Review of Current Knowledge, Practices, and Proposed Field-Based Research Program  

Science Conference Proceedings (OSTI)

Vapor intrusion (VI) is the migration of volatile or semi-volatile chemicals from subsurface contaminated soil or groundwater to indoor air in the overlying building. In the past decade, VI has emerged as a major environmental issue. This report presents a review of the current knowledge, practices, and research needs for VI, including the current regulatory status at both the federal and state level. The report also provides a summary of a proposed field-focused research program to be implemented at two...

2008-03-31T23:59:59.000Z

168

Feedback Based Architecture for Reading Check Courtesy Amounts  

E-Print Network (OSTI)

In recent years, a number of large-scale applications continue to rely heavily on the use of paper as the dominant medium, either on intra-organization basis or on inter-organization basis, including ...

Palacios, Rafael

2004-12-10T23:59:59.000Z

169

User Manual for CSP_VANA: A Check Standards Measurement and Database Program for Microwave Network Analyzers  

E-Print Network (OSTI)

Vector network analyzers are a convenient way to measure scattering parameters of a variety of microwave devices. However, these instruments, unlike oscilloscopes for example, require a relatively high degree of user knowledge and expertise. Due to the complexity of the instrument and of the calibration process, there are many ways in which an incorrect measurement may be produced. The Microwave Project, which is part of SNL's Primary Standards Laboratory, routinely uses check standards to verify that the network analyzer is operating properly. In the past, these measurements were recorded manually and, sometimes, interpretation of the results was problematic. To aid our measurement assurance process, a software program was developed to automatically measure a check standard and compare the new measurements with an historical database of measurements of the same device. The program acquires new measurement data from selected check standards, plots the new data against the mean and stan...

Leonard Duda Primary; Leonard E. Duda

1997-01-01T23:59:59.000Z

170

Analyzing Interaction Orderings with Model Checking  

Science Conference Proceedings (OSTI)

Human-Computer Interaction (HCI) systems control an ongoing interaction between end-users and computer-based systems. For software-intensive systems, a Graphic User Interface (GUI) is often employed for enhanced usability. Traditional approaches to validation ...

Matthew B. Dwyer; Robby; Oksana Tkachuk; Willem Visser

2004-09-01T23:59:59.000Z

171

Region Type Checking for Core-Java  

E-Print Network (OSTI)

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

Chin, Wei Ngan

172

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

173

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.

174

Towards constant bandwidth overhead integrity checking of untrusted data  

E-Print Network (OSTI)

We present a trace-hash scheme and an adaptive tree-trace scheme to improve the performance of checking the integrity of arbitrarily-large untrusted data, when using only a small fixed-sized trusted state. Currently, hash ...

Clarke, Dwaine E. (Dwaine Errol), 1976-

2005-01-01T23:59:59.000Z

175

Checking violation tolerance of approaches to database integrity  

Science Conference Proceedings (OSTI)

A hitherto unquestioned assumption made by all methods for integrity checking has been that the database satisfies its constraints before each update. This consistency assumption has been exploited for improving the efficiency of determining whether ...

Hendrik Decker; Davide Martinenghi

2006-10-01T23:59:59.000Z

176

A static compliance-checking framework for business process models  

Science Conference Proceedings (OSTI)

Regulatory compliance of business operations is a critical problem for enterprises. As enterprises increasingly use business process management systems to automate their business processes, technologies to automatically check the compliance of process ...

Y. Liu; S. Müller; K. Xu

2007-04-01T23:59:59.000Z

177

Efficient probabilistic model checking of systems with ranged probabilities  

Science Conference Proceedings (OSTI)

We introduce a new technique to model check reachability properties on Interval Discrete-Time Markov Chains (IDTMC). We compute a sound over-approximation of the probabilities of satisfying a given property where the accuracy is characterized in terms ...

Khalil Ghorbal; Parasara Sridhar Duggirala; Vineet Kahlon; Franjo Ivan?i?; Aarti Gupta

2012-09-01T23:59:59.000Z

178

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

SciTech Connect

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

Greg Weirs; Hyung Lee

2011-09-01T23:59:59.000Z

179

Knowledge transfer frameworks  

Science Conference Proceedings (OSTI)

While theories abound concerning knowledge transfer in organisations, little empirical work has been undertaken to assess any possible relationship between repositories of knowledge and those responsible for the use of knowledge. This paper develops ... Keywords: hybrid approach, knowledge administration, knowledge management, knowledge storage, knowledge transfer framework

Sajjad M Jasimuddin; Nigel Connell; Jonathan H Klein

2012-05-01T23:59:59.000Z

180

A grid infrastructure for text mining of full text articles and creation of a knowledge base of gene relations  

Science Conference Proceedings (OSTI)

We demonstrate the application of a grid infrastructure for conducting text mining over distributed data and computational resources. The approach is based on using LexiQuest Mine, a text mining workbench, in a grid computing environment. We describe ...

Jeyakumar Natarajan; Niranjan Mulay; Catherine DeSesa; Catherine J. Hack; Werner Dubitzky; Eric G. Bremer

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


181

A Knowledge-Based System for the Diagnosis and Prediction of Short-Term Climatic Changes in the North Atlantic  

Science Conference Proceedings (OSTI)

Understanding and predicting climate change is the key problem in climatology. The most well-accepted current approach to this problem involves the development of general circulation models(GCMs).This approach is based on modeling fundamental ...

Sergei Rodionov; James H. Martin

1996-08-01T23:59:59.000Z

182

The Development of a Prototype Coupled Analysis and Nowcasting Knowledge-based System for Complex-Terrain Interaction Studies  

Science Conference Proceedings (OSTI)

An experimental weather classification, analysis, and nowcasting system, based upon a combination of artificial intelligence techniques and conventional numerical modeling, and designed for use as a real-time range/field forecasting aid, is ...

Montie M. Orgill; John D. Kincheloe; Robert A. Sutherland

1992-06-01T23:59:59.000Z

183

Prior Knowledge  

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

working on other Web-based projects that one might use to develop this understanding. Project Contact: Tom Jordan Web Maintainer: qnet-webmaster@fnal.gov Last Update: 18 December...

184

LIM-G: Learner-initiating instruction model based on cognitive knowledge for geometry word problem comprehension  

Science Conference Proceedings (OSTI)

Computer-assisted instruction systems have been broadly applied to help students solve math word problem. The majority of such systems, which are based on an instructor-initiating instruction strategy, provide pre-designed problems for the learners. ... Keywords: Diagrammatic and telegraphic representation, Geometry word problem, Intelligent tutoring system, Learner-initiating instruction, Problem comprehension, Problem posing, Problem solving

Wing-Kwong Wong; Sheng-Cheng Hsu; Shih-Hung Wu; Cheng-Wei Lee; Wen-Lian Hsu

2007-05-01T23:59:59.000Z

185

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

186

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

187

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

188

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

189

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

190

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

191

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

192

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

193

Conformance checking of interacting processes with overlapping instances  

Science Conference Proceedings (OSTI)

The usefulness of process models (e.g., for analysis, improvement, or execution) strongly depends on their ability to describe reality. Conformance checking is a technique to validate how good a given process model describes recorded executions of the ... Keywords: artifacts, conformance, overlapping process instances, process models

Dirk Fahland; Massimiliano De Leoni; Boudewijn F. Van Dongen; Wil M. P. Van Der Aalst

2011-08-01T23:59:59.000Z

194

National propane safety week caps fifth anniversary of GAS Check  

SciTech Connect

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

Prowler, S.

1990-09-01T23:59:59.000Z

195

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

196

Checking Access to Protected Members in the Java Virtual Machine  

E-Print Network (OSTI)

to a protected instance field declared in a superclass c of s, and that c and s belong to different packages package, declares a protected field with name n and descriptor d. This necessary condition can be checked resolution will be protected and declared in a superclass of s that belongs to a different package. Thus

Coglio, Alessandro

197

Model Checking Partial State Spaces with 3-Valued Temporal Logics  

Science Conference Proceedings (OSTI)

We address the problem of relating the result of model checking a partial state space of a system to the properties actually possessed by the system. We represent incomplete state spaces as partial Kripke structures, and give a 3-valued interpretation ...

Glenn Bruns; Patrice Godefroid

1999-07-01T23:59:59.000Z

198

Toward Knowledge Preconditions for Composition of SemanticWeb Services  

Science Conference Proceedings (OSTI)

Several researches have been proposed to formalize the knowledge preconditions problem; an action or a plan is epistemically feasible. However, since the feasibility is only checked at design-time and is assumed that it also will be carried out at run-time, ...

Sang-Kyun Kim; Taekyung Lee; Kyu-Chul Lee

2005-04-01T23:59:59.000Z

199

DOE G 430.1-1 Chp 13, Check Estimates and Independent Costs  

Directives, Delegations, and Requirements

This chapter describes check estimates and their procedures and various types of independent cost estimates.

1997-03-28T23:59:59.000Z

200

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

E-Print Network (OSTI)

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

Manning, Sturt

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

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

E-Print Network (OSTI)

The bipartite graph of an LDPC code is typically constructed at random. The memory required to store the randomly constructed parity-check matrix at the decoder can be prohibitive in some applications. When a system has a set of different LDPC codes, each of the parity-check matrices need to be stored in the receiver. Another disadvantage of random constructions methods is that it results in prominent error floors. In this thesis, a novel technique is presented for constructing the bipartite graph of LDPC codes using maximum length linear congruential sequences generated by a simple recursion instead of random construction techniques. For this class of codes it is proved that regular LDPC codes can be constructed without any cycles of length shorter than 6. Simulation results show that these codes provide almost the same performance of a constrained random construction that explicitly avoids cycles of length less than 6. These codes show a better or comparable performance with LDPC codes based on finite geometries. These codes are easily constructed for low rates and require longer lengths for higher rates. A constrained construction technique for constructing irregular LDPC codes is studied and its performance compared with randomly constructed codes. In the second part of the thesis the message passing LDPC decoder is altered for reduced complexity. Updations of log-likelihood values(LLR) at bit nodes are stopped once they reach a threshold of reliability. The effect of threshold on complexity reduction and performance degradation is studied. It is found that the complexity is far less when compared to systems that do not have a mechanism to stop the iterations. When compared with systems that employ cyclic redundancy check or parity checks to stop the iterations, this scheme results in only a small reduction of 20 to 35 percent in complexity at the cost of a small performance degradation.

Prabhakar, Abhiram

2001-01-01T23:59:59.000Z

202

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

203

ANALYSIS OF CHECK VALVE DISC MOTION DURING A FLOW TRANSIENT  

SciTech Connect

An analysis of the dynamics of a check valve disc under the influence of a flow transient is presented. The impact velocities of the disc and the pressure surge resulting from extinguishing a fluid velocity are predicted. This analysis develops the equations of motion of a simple swing disc check valve from Newton's Second Law. Modifications of the analysis necessary for application to other types of valves are described. The developed equations are progiammed for the Philco-2000 digital computer in FORTRAN as the SLAM Code. The Code input consists of the characteristics of the valve and the flow transient. The output of the code includes the dynamics of the valve disc as a function of time and the pressure surge induced by valve closure. (H.G.G.)

Fuls, G.M.

1962-12-01T23:59:59.000Z

204

Checking Access to Protected Members in the Java Virtual Machine #  

E-Print Network (OSTI)

to a protected instance field declared in a superclass c of s, and that c and s belong to di#erent packages is protected and declared in a superclass of s that belongs to a di#erent package. The additional check that D for m to be protected and declared in a superclass of s that belongs to a di#erent package is that some

Coglio, Alessandro

205

Model-Checking CSP-OZ Specifications with FDR  

E-Print Network (OSTI)

CSP-OZ is a formal method integrating two different specifications formalisms into one: the formalism Object-Z for the description of static aspects, and the process algebra CSP for the description of the dynamic behaviour of systems. The semantics of CSP-OZ is failure divergence taken from the process algebra side. In this paper we propose a method for checking correctness of CSP-OZ specifications via a translation into the CSP dialect of the model checker FDR.

Clemens Fischer; Heike Wehrheim

1999-01-01T23:59:59.000Z

206

"Medium-tech" industries may be of greater importance to a local economy than "High-tech" firms: New methods for measuring the knowledge base of an economic system  

E-Print Network (OSTI)

In this paper we offer a way to measure the knowledge base of an economy in terms of probabilistic entropy. This measure, we hypothesize, is an indication of the extent to which a system, including the economic system, self-organizes. In a self-organizing system, interactions between dimensions or subsystems will unintentionally give rise to anticipations that are properly aligned. The potential reduction of uncertainty can be measured as negative entropy in the mutual information among three (or more) dimensions. For a knowledge-based economy, three dimensions can be considered as key: the distribution of firm sizes, the geographical locations, and the technological classifications of firms. Based on statistics of these three dimensions and drawing on a unique dataset of all Dutch firms registered with the Chambers of Commerce, we are able to refine well-known empirical findings for the geographical dimension. Counter-intuitive, however, are our empirical findings for the dimension of technology. Knowledge d...

Dolfsma, Wilfred

2009-01-01T23:59:59.000Z

207

Natural language query processing for life science knowledge  

Science Conference Proceedings (OSTI)

As the progress of life science, human knowledge about life science keeps increased and diversified. To effectively access the diverse and complex knowledge base, people need to cope with complex representation of desired knowledge pieces. As a potential ...

Jin-Dong Kim; Yasunori Yamamoto; Atsuko Yamaguchi; Mitsuteru Nakao; Kenta Oouchida; Hong-Woo Chun; Toshihisa Takagi

2010-08-01T23:59:59.000Z

208

User`s guide for the KBERT 1.0 code: For the knowledge-based estimation of hazards of radioactive material releases from DOE nuclear facilities  

Science Conference Proceedings (OSTI)

The possibility of worker exposure to radioactive materials during accidents at nuclear facilities is a principal concern of the DOE. The KBERT software has been developed at Sandia National Laboratories under DOE support to address this issue by assisting in the estimation of risks posed by accidents at chemical and nuclear facilities. KBERT is an acronym for Knowledge-Based system for Estimating hazards of Radioactive material release Transients. The current prototype version of KBERT focuses on calculation of doses and consequences to in-facility workers due to accidental releases of radioactivity. This report gives detailed instructions on how a user who is familiar with the design, layout and potential hazards of a facility can use KBERT to assess the risks to workers in that facility. KBERT is a tool that allows a user to simulate possible accidents and observe the predicted consequences. Potential applications of KBERT include the evaluation of the efficacy of evacuation practices, worker shielding, personal protection equipment and the containment of hazardous materials.

Browitt, D.S.; Washington, K.E.; Powers, D.A. [and others

1995-07-01T23:59:59.000Z

209

Text Authoring, Knowledge Acquisition and Description Logics  

E-Print Network (OSTI)

We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describing closed-world authoring situations, in which the knowledge base is used for constraining the possible documents and orienting the user's selections. Then we move to open-world authoring situations in which, additionally, choices made during authoring are echoed back to the knowledge base. In this way the information implicitly encoded in a document becomes explicit in the knowledge base and can be re-exploited for simplifying the authoring of new documents. We show how

Marc Dymetman

2002-01-01T23:59:59.000Z

210

Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study  

E-Print Network (OSTI)

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

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

2012-01-01T23:59:59.000Z

211

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 October 15, 2012 - 3:19pm Addthis Change your...

212

Check out the latest pic of EERE's Solar. Read more athttp:...  

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

Check out the latest pic of EERE's Solar. Read more at http:1.usa.govaRHDwx cc @energy.gov Check out the latest pic of EERE's Solar. Read more at http:1.usa.govaRHDwx cc...

213

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

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

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

214

Research on Human Capital in Knowledge-Intensive Business Services  

Science Conference Proceedings (OSTI)

Knowledge-intensive business services are the main participants in the knowledge-based economy. Knowledge creation, spread and accumulation are strategic methods for KIBS to remain competitive. For KIBS, the achievement of its value is based on activities ... Keywords: knowledge-intensive business services, human capital, staff role conversion mode, team management mode

Jun Tao

2012-10-01T23:59:59.000Z

215

MRM: A matrix representation and mapping approach for knowledge acquisition  

Science Conference Proceedings (OSTI)

Knowledge acquisition plays a critical role in constructing a knowledge-based system (KBS). It is the most time-consuming phase and has been recognized as the bottleneck of KBS development. This paper presents a matrix representation and mapping (MRM) ... Keywords: General sorting, Knowledge acquisition, Knowledge-based systems, Matrix representation and mapping, Rule generation

Chun-Hsien Chen; Zhiming Rao

2008-05-01T23:59:59.000Z

216

Isomorph-free model enumeration: a new method for checking relational specifications  

Science Conference Proceedings (OSTI)

Software specifications often involve data structures with huge numbers of value, and consequently they cannot be checked using standard state exploration or model-checking techniques. Data structures can be expressed with binary relations, and operations ... Keywords: formal specification, model checking, model finding, object models, pruning, relational calculus, relational specifications, symmetry

Daniel Jackson; Somesh Jha; Craig A. Damon

1998-03-01T23:59:59.000Z

217

On application of multi-rooted binary decision diagrams to probabilistic model checking  

Science Conference Proceedings (OSTI)

In this paper we consider the applicability of multi-rooted binary decision diagrams for the probabilistic model checking. The symbolic probabilistic model checking involves manipulation of functions and matrices with the values in [0,1], and multi-terminal ... Keywords: binary decision diagrams, probabilistic model checking

Dmitry Bugaychenko

2012-01-01T23:59:59.000Z

218

Self modelling knowledge networks  

Science Conference Proceedings (OSTI)

What the scope of knowledge management (KM) is concerned, the focus of attention is shifting towards inter-organisational aspects resulting in new requirements for the KM process. This paper introduces the concept of self modelling knowledge networks ...

Volker Derballa; Antonia Albani

2005-10-01T23:59:59.000Z

219

Efficient Decompositional Model-Checking for Regular Timing Diagrams  

E-Print Network (OSTI)

There is a growing need to make verification tools easier to use. A solution that does not require redesigning the tool is to construct front-ends providing specification notations that are close to those used in practice. Timing diagrams are such a widely used graphical notation, one that is often more appealing than a "linear" textual notation. This paper introduces a class of timing diagrams called Regular Timing Diagrams (RTDs). RTDs have a precise syntax and a formal semantics that is simple and corresponds to common usage. In addition, RTDs have an inherent compositional structure, which is exploited to provide an efficient algorithm for model-checking an RTD with respect to a system description. The algorithm has time complexity that is a small polynomial in the size of the diagram and linear in the size of the structure. We demonstrate the applicability of our algorithms by verifying that a master-slave system satisfies its specification RTDs.

Nina Amla; E. Allen Emerson; Kedar S. Namjoshi

1999-01-01T23:59:59.000Z

220

From data to knowledge mining  

Science Conference Proceedings (OSTI)

Most past approaches to data mining have been based on association rules. However, the simple application of association rules usually only changes the user's problem from dealing with millions of data points to dealing with thousands of rules. Although ... Keywords: Data Mining, Knowledge Cohesion, Ontology, Sense Making, Text Mining

Ana cristina Bicharra garcia; Inhauma Ferraz; Adriana s. Vivacqua

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


221

Temporal representation of ecological knowledge  

E-Print Network (OSTI)

This MSc thesis proposes a temporal logic to represent knowledge about seasonal cycles in ecosystems. The logic is mainly based on what we call modular temporal classes, and a simple temporal logic interpreter system is also defined and implemented to reason with ecological sentences expressed in a temporal language we call NatureTime.

Edjard De Souza Mota

1994-01-01T23:59:59.000Z

222

A unifying perspective on knowledge updates  

Science Conference Proceedings (OSTI)

We introduce an abstract update framework based on viewing a knowledge base as the set of sets of models of its elements and performing updates by introducing additional interpretations --- exceptions --- to the sets of models of elements ...

Martin Slota; João Leite

2012-09-01T23:59:59.000Z

223

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective  

Science Conference Proceedings (OSTI)

Abstract¿During the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve ... Keywords: Specification languages, knowledge-based systems, dynamics, inference control, update logics.

Pascal van Eck; Joeri Engelfriet; Dieter Fensel; Frank van Harmelen; Yde Venema; Mark Willems

2001-05-01T23:59:59.000Z

224

Family of Finite Geometry Low-Density Parity-Check Codes for Quantum Key Expansion  

E-Print Network (OSTI)

We consider a quantum key expansion (QKE) protocol based on entanglement-assisted quantum error-correcting codes (EAQECCs). In these protocols, a seed of a previously shared secret key is used in the post-processing stage of a standard quantum key distribution protocol like the Bennett-Brassard 1984 protocol, in order to produce a larger secret key. This protocol was proposed by Luo and Devetak, but codes leading to good performance have not been investigated. We look into a family of EAQECCs generated by classical finite geometry (FG) low-density parity-check (LDPC) codes, for which very efficient iterative decoders exist. A critical observation is that almost all errors in the resulting secret key result from uncorrectable block errors that can be detected by an additional syndrome check and an additional sampling step. Bad blocks can then be discarded. We make some changes to the original protocol to avoid the consumption of the preshared key when the protocol fails. This allows us to greatly reduce the bit error rate of the key at the cost of a minor reduction in the key production rate, but without increasing the consumption rate of the preshared key. We present numerical simulations for the family of FG LDPC codes, and show that this improved QKE protocol has a good net key production rate even at relatively high error rates, for appropriate choices of these codes.

Kung-Chuan Hsu; Todd A. Brun

2013-03-07T23:59:59.000Z

225

Building a Knowledge Brokering System using social network analysis: A case study of the Korean financial industry  

Science Conference Proceedings (OSTI)

The importance of knowledge is increasing in our global and knowledge-based society. As a part of knowledge management, successful knowledge transfer can improve an organization's competitive advantages and increase an organization's valuable knowledge ... Keywords: Knowledge Brokering System, Knowledge management, Knowledge transfer, Social network analysis

Sungjin Kim; Euiho Suh; Youngjoon Jun

2011-11-01T23:59:59.000Z

226

Supercomputing | Knowledge Discovery | ORNL  

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

that provide a significant advancement in automating the knowledge discovery process. We research and apply methods to efficiently provide comprehensive, accurate,...

227

Coded modulation with Low Density Parity Check codes  

E-Print Network (OSTI)

This thesis proposes the design of Low Density Parity Check (LDPC) codes for cases where coded modulation is used. We design these codes by extending the idea of Density Evolution (DE) that has been introduced as a powerful tool to analyze LDPC codes. We first discuss methods by which we can design these codes for higher order constellations like 8 Phase Shift Keying (PSK) and 16 Quadrature Amplitude Modulation (QAM). We present simulation results that are within 0.22 dB and 0.4 dB within the constrained capacity of 8 PSK and 16 QAM constellations respectively in an Additive White Gaussian Noise (AWGN) channel. In the second part, we investigate serial concatenation of LDPC codes and minimum shift keying (MSK) with iterative decoding. We show that the design of LDPC codes is crucially dependent on the realization of the MSK modulator. For MSK modulators with non-recursive continuous phase encoders (CPEs), optimal codes for BPSK are optimal whereas for MSK modulators with recursive CPEs the BPSK codes are not optimal. We show that for non-recursive CPEs, iterative demodulation and decoding is not required even though the CPE has memory. However, iterative demodulation is essential for recursive CPEs. For recursive CPEs, we design LDPC codes using density evolution and differential evolution by looking at the graph structure of the CPE and considering message passing between both these codes. The resulting codes provide significantly improved performance over the existing codes.

Narayanaswami, Ravi

2001-01-01T23:59:59.000Z

228

V-172: ISC BIND RUNTIME_CHECK Error Lets Remote Users Deny Service Against Recursive Resolvers  

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

A defect exists which allows an attacker to crash a BIND 9 recursive resolver with a RUNTIME_CHECK error in resolver.c

229

Time and Encoding Effects in the Concealed Knowledge Test  

E-Print Network (OSTI)

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

Seymour, Travis L.; Fraynt, Becky R.

2009-01-01T23:59:59.000Z

230

Formalizing information security knowledge  

Science Conference Proceedings (OSTI)

Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper describes a security ontology which provides an ontological structure for ... Keywords: information security, risk management, security ontology

Stefan Fenz; Andreas Ekelhart

2009-03-01T23:59:59.000Z

231

Capturing Undocumented Expert Knowledge  

Science Conference Proceedings (OSTI)

Public Service Electric and Gas Company (PSEG) faces the retirements of skilled, productive experts in the areas of asset management system protection engineering and pipe-type cable design and operations. The project team used the Electric Power Research Institute (EPRI) guidelines and methods, described in the EPRI report Capturing and Using High-Value Undocumented Knowledge in the Nuclear Industry: Guidelines and Methods (1002896) to capture and retain the tacit knowledge held by these key experts. Th...

2005-08-31T23:59:59.000Z

232

11MEDICAL CHECK UP 11.1 Students' Annual Medical Examination  

E-Print Network (OSTI)

23 11.1 11.2 11MEDICAL CHECK UP 11.1 Students' Annual Medical Examination All students are required to take the annual medical examination which takes place in spring. Please make sure to check the home page or the bulletin board for the exact date and time. Medical examination is also held

233

Toyota IS Business Planning All about PlanDoCheckAct  

E-Print Network (OSTI)

Toyota IS Business Planning All about PlanDoCheckAct Xiang Tjoa, BSc BMI, 1202952 27 January 2008 Toyota Motor Europe Information Systems Division Business Planning Avenue: Dr. C. Verhoef Version 2.6 #12;Toyota IS Business Planning All about PlanDoCheckAct 2

Bhulai, Sandjai

234

Information Management, Analytics & Optimization Services IMS Security Health Check Service Offering  

E-Print Network (OSTI)

Offering The IMS Security Health Check is a special service offering from the IMS Laboratory TechnicalInformation Management, Analytics & Optimization Services IMS Security Health Check Service two to three weeks after the conclusion of the on-site visit. · Service from the IMS Laboratory

235

Information Management, Analytics & Optimization Services IMS System High Availability Health Check Service Offering  

E-Print Network (OSTI)

Information Management, Analytics & Optimization Services IMS System High Availability Health Check Service Offering The IMS System High Availability Health Check is a special service offering from the IMS Laboratory Technical Specialist Group will be happy to help. Visit our website at: ibm.com/software/data/services

236

Information Management, Analytics & Optimization Services IMS Application Health Check Service Offering  

E-Print Network (OSTI)

Offering The IMS Application Health Check is a special service offering from the IMS laboratory TechnicalInformation Management, Analytics & Optimization Services IMS Application Health Check Service, and possible enhancements to · Service from the IMS Laboratory Technical Specialist group · Get to know

237

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

238

Using Knowledge Management and the . . .  

E-Print Network (OSTI)

Evidence based medicine (EBM) is a discipline which synthesises research findings on the effectiveness of medical treatments to support clinical decision making. To make a practical difference, this information needs to be disseminated and used in everyday clinical practice. This paper describes a highly successful knowledge management project, which uses the Internet to make the latest medical evidence available at the point of care. We describe how the project was implemented, its organisational impact, success factors and barriers encountered. The theoretical significance of this work is that this is one of the first empirical studies of a knowledge management project in the public sector. The practical significance of this study is that it provides a model for other similar organisations to follow in implementing such a project.

Daniel L. Moody; Graeme G. Shanks

1999-01-01T23:59:59.000Z

239

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

240

NIST Handbook 133 Checking the Net Contents of Packaged ...  

Science Conference Proceedings (OSTI)

... Determining the Net Contents of Compressed Gas in Cylinders ... The product will expand or contract based on a rise or fall in product temperature. ...

2012-11-02T23: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

Event:Knowledge as currency: Generating and disseminating knowledge...  

Open Energy Info (EERE)

as currency: Generating and disseminating knowledge for climate change adaptation in Africa Jump to: navigation, search Calendar.png Knowledge as currency: Generating and...

242

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)

243

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

244

Statistical abstraction and model-checking of large heterogeneous systems  

Science Conference Proceedings (OSTI)

We propose a new simulation-based technique for verifying applications running within a large heterogeneous system. Our technique starts by performing simulations of the system in order to learn the context in which the application is used. Then, it ...

Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Caillaud; Benoît Delahaye; Axel Legay

2010-06-01T23:59:59.000Z

245

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

Science Conference Proceedings (OSTI)

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

Ishii, M.; Xu, Y.; Revankar, S.T. [Purdue University, West Lafayette, IN 47907 (United States)

2002-07-01T23:59:59.000Z

246

Photonic circuits for iterative decoding of a class of low-density parity-check codes  

E-Print Network (OSTI)

Photonic circuits in which stateful components are coupled via guided electromagnetic fields are natural candidates for native implementation of iterative stochastic algorithms based on propagation of information around a graph. Conversely, such message passing algorithms suggest novel circuit architectures for signal processing and computation that are well matched to nanophotonic device physics. Here we construct and analyze a quantum optical model of a photonic circuit for iterative decoding of a class of low-density parity-check (LDPC) codes called expander codes. Our circuit can be understood as an open quantum system whose autonomous dynamics map straightforwardly onto the subroutines of an LDPC decoding scheme, with several attractive features: it can operate in the ultra-low power regime of photonics in which quantum fluctuations become significant, is robust to noise and component imperfections, achieves comparable performance to known iterative algorithms for this class of codes, and provides an instructive example of how nanophotonic cavity quantum electrodynamic components can enable useful new information technology even if the solid-state qubits on which they are based are heavily dephased and cannot support large-scale entanglement.

Dmitri S. Pavlichin; Hideo Mabuchi

2013-06-03T23:59:59.000Z

247

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

248

Knowledge mapping for rapidly evolving domains: A design science approach  

Science Conference Proceedings (OSTI)

Knowledge mapping can provide comprehensive depictions of rapidly evolving scientific domains. Taking the design science approach, we developed a Web-based knowledge mapping system (i.e., Nano Mapper) that provides interactive search and analysis on ... Keywords: Design science, Information systems, Knowledge mapping

Yan Dang; Yulei Zhang; Paul Jen-Hwa Hu; Susan A. Brown; Hsinchun Chen

2011-01-01T23:59:59.000Z

249

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

250

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

251

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

252

Checking system rules using system-specific, programmer-written compiler extensions  

Science Conference Proceedings (OSTI)

Systems software such as OS kernels, embedded systems, and libraries must obey many rules for both correctness and performance. Common examples include "accesses to variable A must be guarded by lock B," "system calls must check user pointers for validity ...

Dawson Engler; Benjamin Chelf; Andy Chou; Seth Hallem

2000-10-01T23:59:59.000Z

253

Using Sun Glint to Check the Relative Calibration of Reflected Spectral Radiances  

Science Conference Proceedings (OSTI)

Observations of sunlight reflected from regions of sun glint are used to check the relative calibration of spectral radiances obtained with imaging radiometers. Reflectances at different wavelengths for sun-glint regions are linearly related. ...

Gunnar Luderer; James A. Coakley Jr.; William R. Tahnk

2005-10-01T23:59:59.000Z

254

Solving Basis Pursuit: Heuristic Optimality Check and Solver ...  

E-Print Network (OSTI)

Dec 21, 2012 ... 1 Institute for Analysis and Algebra, TU Braunschweig, Germany ... cope with this problem by designing the test set in such a way that the .... An alternative is based on l1-norm concentration: For a fixed ..... the solution path ? : ? ÞÑ x¦ ... all deterministic pivot rules, see, e.g., [21]), reflecting the possible ...

255

High throughput low power decoder architectures for low density parity check codes  

E-Print Network (OSTI)

A high throughput scalable decoder architecture, a tiling approach to reduce the complexity of the scalable architecture, and two low power decoding schemes have been proposed in this research. The proposed scalable design is generated from a serial architecture by scaling the combinational logic; memory partitioning and constructing a novel H matrix to make parallelization possible. The scalable architecture achieves a high throughput for higher values of the parallelization factor M. The switch logic used to route the bit nodes to the appropriate checks is an important constituent of the scalable architecture and its complexity is high with higher M. The proposed tiling approach is applied to the scalable architecture to simplify the switch logic and reduce gate complexity. The tiling approach generates patterns that are used to construct the H matrix by repeating a fixed number of those generated patterns. The advantages of the proposed approach are two-fold. First, the information stored about the H matrix is reduced by onethird. Second, the switch logic of the scalable architecture is simplified. The H matrix information is also embedded in the switch and no external memory is needed to store the H matrix. Scalable architecture and tiling approach are proposed at the architectural level of the LDPC decoder. We propose two low power decoding schemes that take advantage of the distribution of errors in the received packets. Both schemes use a hard iteration after a fixed number of soft iterations. The dynamic scheme performs X soft iterations, then a parity checker cHT that computes the number of parity checks in error. Based on cHT value, the decoder decides on performing either soft iterations or a hard iteration. The advantage of the hard iteration is so significant that the second low power scheme performs a fixed number of iterations followed by a hard iteration. To compensate the bit error rate performance, the number of soft iterations in this case is higher than that of those performed before cHT in the first scheme.

Selvarathinam, Anand Manivannan

2005-08-01T23:59:59.000Z

256

Paralization and check pointing of GPU applications through program transformation  

SciTech Connect

GPUs have emerged as a powerful tool for accelerating general-purpose applications. The availability of programming languages that makes writing general-purpose applications for running on GPUs tractable have consolidated GPUs as an alternative for accelerating generalpurpose applications. Among the areas that have bene#12;ted from GPU acceleration are: signal and image processing, computational uid dynamics, quantum chemistry, and, in general, the High Performance Computing (HPC) Industry. In order to continue to exploit higher levels of parallelism with GPUs, multi-GPU systems are gaining popularity. In this context, single-GPU applications are parallelized for running in multi-GPU systems. Furthermore, multi-GPU systems help to solve the GPU memory limitation for applications with large application memory footprint. Parallelizing single-GPU applications has been approached by libraries that distribute the workload at runtime, however, they impose execution overhead and are not portable. On the other hand, on traditional CPU systems, parallelization has been approached through application transformation at pre-compile time, which enhances the application to distribute the workload at application level and does not have the issues of library-based approaches. Hence, a parallelization scheme for GPU systems based on application transformation is needed. Like any computing engine of today, reliability is also a concern in GPUs. GPUs are vulnerable to transient and permanent failures. Current checkpoint/restart techniques are not suitable for systems with GPUs. Checkpointing for GPU systems present new and interesting challenges, primarily due to the natural di#11;erences imposed by the hardware design, the memory subsystem architecture, the massive number of threads, and the limited amount of synchronization among threads. Therefore, a checkpoint/restart technique suitable for GPU systems is needed. The goal of this work is to exploit higher levels of parallelism and to develop support for application-level fault tolerance in applications using multiple GPUs. Our techniques reduce the burden of enhancing single-GPU applications to support these features. To achieve our goal, this work designs and implements a framework for enhancing a single-GPU OpenCL application through application transformation.

Solano-Quinde, Lizandro Dami#19; an [Ames Laboratory

2012-11-15T23:59:59.000Z

257

The impact of ciminal background checks on the selection of school volunteers as reported by human resource professionals of selected Texas public school districts  

E-Print Network (OSTI)

The purpose of this study was to examine the impact of criminal background checks on the selection of school volunteers as reported by human resource professionals in selected Texas public school districts. Ninety Texas school districts were randomly selected for this study, and results were categorized by the size of the school district based on student population. Survey responses were analyzed using descriptive and inferential statistics. A Chi-square analysis was performed to determine if there were significant differences (p ? 0.05) in responses to research questions based on size of the school district. Findings in the study included the following: 1. There was no difference in the school district approach to policy and procedure development based on the size of the school district as it pertained to criminal background checks of school volunteers. 2. There was no difference in response rate based on the size of the school district regarding type of offense, number of offenses, adjudication process, and type of criminal history data search. 3. There was a significant difference (p ? 0.05) in approach between largesized and small-sized school districts regarding the acceptable timeframe concerning recency of offense on a volunteer criminal history record. 4. There was no difference in response rate based on the size of the school district regarding the effectiveness of criminal background check procedures in eliminating potential volunteers who might pose a threat or risk to teachers, staff, and students. The following are recommendations for further study: 1. A similar study could assess the responses from teachers, staff, and/or students to determine if these different education categories possess different perceptions regarding the impact of criminal background checks on school volunteers. 2. A further study could analyze the specific written policies of school districts and determine the decision criteria for each level of offense. 3. This study focused on school volunteers. A research study could specifically focus on the impact of criminal background checks on parent volunteers, or conversely be more general, focusing on the impact of criminal background checks on professional or auxiliary employees.

Smith, Richard Kimball

2006-05-01T23:59:59.000Z

258

Advanced Technology and Knowledge Transfer  

Science Conference Proceedings (OSTI)

This paper reports on a specific food and agribusiness industry project, employing new technological capabilities to better transfer expert knowledge. Knowledge transfer and technical support are key components of this project. VisIT, which stands for ...

Geetanjali Tandon; Steven T. Sonka

2003-01-01T23:59:59.000Z

259

The Trouble with `Tacit Knowledge'  

Science Conference Proceedings (OSTI)

The development and maintenance of organized cooperative work practices require, as an integral feature, what can loosely be termed `didactic practices' or `mutual learning' (giving and receiving instruction, advice, direction, guidance, recommendation, ... Keywords: knowledge, knowledge management, practice

Kjeld Schmidt

2012-06-01T23:59:59.000Z

260

In search of `architectural knowledge'  

Science Conference Proceedings (OSTI)

The software architecture community puts more and more emphasis on 'architectural knowledge'. However, there appears to be no commonly accepted definition of what architectural knowledge entails, which makes it a fuzzy concept. In order to obtain a better ... Keywords: architectural knowledge, systematic review

Remco C. de Boer; Rik Farenhorst

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


261

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

262

"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

263

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

264

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.

265

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.

266

CheckMATE: Confronting your Favourite New Physics Model with LHC Data  

E-Print Network (OSTI)

In the first three years of running, the LHC has delivered a wealth of new data that is now being analysed. With over 20 fb$^{-1}$ of integrated luminosity, both ATLAS and CMS have performed many searches for new physics that theorists are eager to test their model against. However, tuning the detector simulations, understanding the particular analysis details and interpreting the results can be a tedious task. CheckMATE (Check Models At Terascale Energies) is a program package which accepts simulated event files in many formats for any model. The program then determines whether the model is excluded or not at 95% C.L. by comparing to many recent experimental analyses. Furthermore the program can calculate confidence limits and provide detailed information about signal regions of interest. It is simple to use and the program structure allows for easy extensions to upcoming LHC results in the future. CheckMATE can be found at: http://checkmate.hepforge.org

Drees, Manuel; Kim, Jong Soo; Schmeier, Daniel; Tattersall, Jamie

2013-01-01T23:59:59.000Z

267

Compreshensive industry poll sparks ideas on new push for GAS check  

SciTech Connect

This paper provides a comprehensive survey of active participants, inactive participants, and non-participants in the GAS Check program which served as the focus of considerable discussion at a recent GAS Check Committee meeting in Oak Brook, Ill. In an effort to encourage greater involvement in the program by marketers and consumers alike, committee members voted to undertake a number of important activities now and in the near future. These actions include: Contacting homeowners' insurance companies (through their national association, if applicable) regarding possible discounts or other incentives that would encourage policyholders to participate in GAS Check. NPGA's desire to obtain insurance company endorsement arose from the finding that many homeowners are simply not interested in the program.

1991-02-01T23:59:59.000Z

268

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

269

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

270

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.

271

Business implications of knowledge-based systems  

Science Conference Proceedings (OSTI)

This two part paper explores management issues raised by expert systems (ES). In the first section, a brief history of ES is presented, and the competitive potential of ES is analyzed from a business policy perspective. The second section, appearing ...

John J. Sviokla

1986-07-01T23:59:59.000Z

272

Robust automated knowledge capture.  

SciTech Connect

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

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

2011-10-01T23:59:59.000Z

274

Check Point  

E-Print Network (OSTI)

Protocol Support for High Availability of IKEv2/IPsec The IPsec protocol suite is widely used for business-critical network traffic. In order to make IPsec deployments highly available, more scalable, and failure-resistant, they are often implemented as IPsec High Availability (HA) clusters. However, there are many issues in IPsec HA clustering, and in particular in Internet Key Exchange Protocol version 2 (IKEv2) clustering. An earlier document, "IPsec Cluster Problem Statement", enumerates the issues encountered in the IKEv2/IPsec HA cluster environment. This document resolves these issues with the least possible change to the protocol. This document defines an extension to the IKEv2 protocol to solve the main issues of "IPsec Cluster Problem Statement " in the commonly deployed hot standby cluster, and provides implementation advice for other issues. The main issues solved are the synchronization of IKEv2 Message ID counters, and of IPsec replay counters. Status of This Memo This is an Internet Standards Track document. This document is a product of the Internet Engineering Task Force (IETF). It represents the consensus of the IETF community. It has received public review and has been approved for publication by the

R. Singh; G. Kalyani; Y. Nir; Y. Sheffer; D. Zhang

2011-01-01T23:59:59.000Z

275

Knowledge Facilitation Project  

Science Conference Proceedings (OSTI)

... Auditing of the equipment status is very time consuming, and we are developing a web-based RFID application to automate the process. ...

2010-11-05T23:59:59.000Z

276

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 morphing--a knowledge modeling task that allows the integration of heterogeneous medical knowledge

Abidi, Syed Sibte Raza

277

Mining ontological knowledge using Nyaya framework  

Science Conference Proceedings (OSTI)

Ontology has become the buzzword of the knowledge and semantics community. The process of automatically constructing an ontology with completeness and reduced time has become the need of the hour. This paper presents the method for automatically constructing ... Keywords: India, NLP, Nyaya Sastra, WordNet, categories, concepts, internet, natural language processing, networks, nontaxonomical relations, online organisations, ontological knowledge, ontology, open source intelligence, philosophy, semantics, semi-supervised learning, taxonomical relations, taxonomies, virtual organisations, web based organisations, web documents, web mining, world wide web

D. Judia Salome; Ranjani Parthasarathi

2011-11-01T23:59:59.000Z

278

Using model checking to analyze the system behavior of the LHC production grid  

Science Conference Proceedings (OSTI)

DIRAC (Distributed Infrastructure with Remote Agent Control) is the grid solution designed to support production activities as well as user data analysis for the Large Hadron Collider ''beauty'' experiment. It consists of cooperating distributed services ... Keywords: Distributed system, Grid, LHC, Model checking, Process algebra, Workflow

Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri Bal

2013-10-01T23:59:59.000Z

279

Modelling and model checking suspendible business processes via statechart diagrams and CSP  

Science Conference Proceedings (OSTI)

When modelling object behaviour with UML statechart diagrams, the history mechanism can be useful for modelling the suspension of a ''normal'' business process upon certain ''abnormal'' events together with the subsequent resumption, as illustrated by ... Keywords: History mechanism, Model checking, Object behaviour, Process modelling, Statechart diagrams

W. L. Yeung; K. R. P. H. Leung; Ji Wang; Wei Dong

2007-03-01T23:59:59.000Z

280

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

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

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

282

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

283

Distributed data possession checking for securing multiple replicas in geographically-dispersed clouds  

Science Conference Proceedings (OSTI)

Distributing multiple replicas in geographically-dispersed clouds is a popular approach to reduce latency to users. It is important to ensure that each replica should have availability and data integrity features; that is, the same as the original data ... Keywords: Cloud computing, Complete bidirectional directed graph, Data security, Multiple replicas data possession checking, Optimal spanning tree

Jing He; Yanchun Zhang; Guangyan Huang; Yong Shi; Jie Cao

2012-09-01T23:59:59.000Z

284

How the design of JML accommodates both runtime assertion checking and formal verification  

Science Conference Proceedings (OSTI)

Specifications that are used in detailed design and in the documentation of existing code are primarily written and read by programmers. However, most formal specification languages either make heavy use of symbolic mathematical operators, which discourages ... Keywords: JML language, formal methods, java language, program verification, programming by contract, runtime assertion checking, specification languages

Gary T. Leavens; Yoonsik Cheon; Curtis Clifton; Clyde Ruby; David R. Cok

2005-03-01T23:59:59.000Z

285

Embedding conformance checking in a process intelligence system in hospital environments  

Science Conference Proceedings (OSTI)

Process intelligence is an effective means to analyze and improve business processes in companies with high degree of automation. Hospitals are also facing high pressure to be profitable with ever decreasing available funds in a stressed healthcare sector, ... Keywords: conformance checking, process modeling in healthcare, visualization and monitoring healthcare processes

Kathrin Kirchner; Nico Herzberg; Andreas Rogge-Solti; Mathias Weske

2012-09-01T23:59:59.000Z

286

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

287

Original paper: An integrated model for simulation of border-check irrigated dairy pasture production systems  

Science Conference Proceedings (OSTI)

Border-check irrigation is the predominant method of applying water to dairy pastures in Australia. Dairy pastures consume 40% of total irrigation water in Australia and, with irrigation water security in Australia under threat from climate variability/change ... Keywords: Dairy pasture systems, Integrated modeling tools, Surface irrigation hydraulics

P. Douglas; K. B. Dassanayake; D. F. Chapman; I. R. Johnson; M. Khanna; H. Malano

2010-10-01T23:59:59.000Z

288

Vol. 4, No. 8, 2005 Checking Access to Protected Members in  

E-Print Network (OSTI)

) ensures that a protected member m declared in c is accessible, outside the package p of c, only (on to a protected member m declared in a class c CL that belongs to a package different from s and such that c > s is protected and declared in a superclass of s that belongs to a different package. The additional check

Coglio, Alessandro

289

USING BOX-JENKINS MODELS TO FORECAST FISHERY DYNAMICS: IDENTIFICATION, ESTIMATION, AND CHECKING  

E-Print Network (OSTI)

USING BOX-JENKINS MODELS TO FORECAST FISHERY DYNAMICS: IDENTIFICATION, ESTIMATION, AND CHECKING Roy MENDELSSOHN! ABSTRACT Box·Jenkins models are suggested as appropriate models for forecasting fishery dynamics in Hawaii. An actual 12-month forecast is shown to give a reasonable fit to the observed data. Most

290

A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems  

Science Conference Proceedings (OSTI)

We have developed a new approximate probabilistic model-checking method for untimed properties in probabilistic systems, expressed in a probabilistic temporal logic (PCTL, CSL). This method, in contrast to the existing ones, does not require the ... Keywords: CSL, CTMC, DTMC, PCTL

Paul Jennings; Arka P. Ghosh; Samik Basu

2012-06-01T23:59:59.000Z

291

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

E-Print Network (OSTI)

energy yield against an expected, simulated value. A PV simulation model, which employs inexpensiveRemote performance check and automated failure identification for grid-connected PV systems reliable operation of small systems up to 5 kWp. The detection and identification of a failure is strongly

Heinemann, Detlev

292

Taking our own medicine: applying the refinement calculus to state-rich refinement model checking  

Science Conference Proceedings (OSTI)

In this paper, we advocate the use of formal specification and verification in software development for high-integrity and safety-critical systems, where mechanical proof plays a central role. In particular, we emphasise the crucial importance of applying ... Keywords: formal verification, model checking, theorem proving

Leo Freitas; Ana Cavalcanti; Jim Woodcock

2006-11-01T23:59:59.000Z

293

Building a strategic focus on knowledge  

Science Conference Proceedings (OSTI)

An emerging picture of what it takes to build a strategic focus on knowledge across the enterprise is beginning to take shape as the knowledge movement gains momentum in organisations across the globe. Organisations are applying knowledge management ... Keywords: communities, content management, culture change, document management, expertise-mapping, retention, intellectual capital, knowledge, knowledge management, knowledge sharing, knowledge worker, portals, repositories

Dan Holtshouse

2003-07-01T23:59:59.000Z

294

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.

295

An elusive antecedent of superior firm performance: The knowledge management factor  

Science Conference Proceedings (OSTI)

Knowledge management (KM) concepts, principles, and technologies provide a foundation for understanding and building systems for acquiring, assimilating, selecting, generating, and emitting knowledge-a crucial resource of the firm. In the knowledge management ... Keywords: COMPUSTAT, Financial performance, Firm performance, KM, Knowledge management, Resource-based theory

Clyde W. Holsapple; Jiming Wu

2011-12-01T23:59:59.000Z

296

Knowledge Assisted Visualization: Knowledge-assisted visualization of seismic data  

Science Conference Proceedings (OSTI)

We present novel techniques for knowledge-assisted annotation and computer-assisted interpretation of seismic data for oil and gas exploration. We describe the existing procedure for oil and gas search which consists of manually extracting information ... Keywords: 2D textures, 3D textures, Illustrative visualization, Knowledge-assisted visualization, Rapid interpretation, Seismic interpretation

Daniel Patel; Øyvind Sture; Helwig Hauser; Christopher Giertsen; M. Eduard Gröller

2009-10-01T23:59:59.000Z

297

ISI Web of Knowledge111 , ,1111  

E-Print Network (OSTI)

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

Daniel, Rosenfeld

298

Knowledge representation and machine translation  

Science Conference Proceedings (OSTI)

This paper describes a new knowledge representation called "frame knowledge representation-0" (FKR-0), and an experimental machine translation system named ATLAS/I which uses FKR-0.The purpose of FKR-0 is to stored information required for machine translation ...

Susumu Sawai; Hiromichi Fukushima; Masakatsu Sugimoto; Naoya Ukai

1982-07-01T23:59:59.000Z

299

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)

300

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

E-Print Network (OSTI)

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

Selmic, Sandra

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

Towards knowledge management: a case study  

Science Conference Proceedings (OSTI)

Knowledge is the unique resource for value creation and maintenance in the emerging global economy. Contemporary organisations require diverse knowledge workers to develop knowledge competencies and also collaborate in multiple ways to create new knowledge ... Keywords: knowledge management, knowledge-driven organisation, learning strategy

R. P. Mohanty

2003-08-01T23:59:59.000Z

302

Beyond the map: issues in the design of a virtual 3D knowledge space for aboriginal knowledge  

Science Conference Proceedings (OSTI)

This paper examines the role of Virtual Reality technologies (in particular, the Digital Songlines Environment), in the expression of a sustainable Aboriginal landscape knowledge base. The effectiveness of these new kinds of knowledge practice is framed ... Keywords: cross cultural, design, information visualization, virtual heritage

Malcolm Pumpa

2007-09-01T23:59:59.000Z

303

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

304

Model-Checking CSP-Z: Strategy, Tool Support and Industrial Application  

E-Print Network (OSTI)

Model-checking is now widely accepted as an ecient method for analysing computer system properties, such as deadlock-freedom. Its practical applicability is due to existing automatic tools which deal with tedious proofs. Another research area of increasing interest is formal language integration where the capabilities of each language are used to capture precisely some aspects of a system. In this paper we propose a general strategy for model-checking CSP-Z specications using as tool support the FDR model-checker. The CSP-Z language is a semantical integration of CSP and Z, such that CSP handles the concurrent aspects of a system, and Z the data structures part. We also present a modular approach for model-checking complex CSP-Z specications, specically to verify deadlock-freedom. Finally, we present a CSP-Z specication for a subset of a real Brazilian articial microssatellite, and apply the proposed strategy to prove that this specication is deadlock-free. Key words: Model-Chec...

Alexandre Mota; Augusto Sampaio

2001-01-01T23:59:59.000Z

305

Isolated proofs of knowledge and isolated zero knowledge  

Science Conference Proceedings (OSTI)

We consider proof of knowledge protocols where the cheating prover may communicate with some external adversarial environment during the run of the proof. Without additional setup assumptions, no witness hiding protocol can securely ensure that the prover ...

Ivan Damgård; Jesper Buus Nielsen; Daniel Wichs

2008-04-01T23:59:59.000Z

306

Microsoft Word - FPD PMCDP CHECK LIST LEVEL 4_January_1_2010  

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

equivalent experience). NA NA NA 4.4.2 Demonstrate expert-level knowledge of techniques used in conducting public hearings. Fulfillment of this competency may be...

307

Knowledge modelling and managing for the development of an artificial accommodation system  

Science Conference Proceedings (OSTI)

A typical situation for useful employment of knowledge based models is the conceptualisation of a new technical system, where the system components with their characteristic properties will be configured in such a manner, that a target function is guaranteed ... Keywords: artificial lens, formalized information, frames, knowledge base, knowledge representations, software models

K. P. Scherer

2008-08-01T23:59:59.000Z

308

Crowdsourced knowledge: peril and promise for conceptual structures research  

Science Conference Proceedings (OSTI)

Recent efforts to create natural-language, question-answering systems for the World Wide Web exploit the vast availability of information in Web resources as a knowledge base. Researchers who develop these systems explicitly assume that what is most ...

Mary Keeler

2011-07-01T23:59:59.000Z

309

Review: Knowledge management and knowledge management systems: conceptual foundations and research issues  

Science Conference Proceedings (OSTI)

Knowledge is a broad and abstract notion that has defined epistemological debate in western philosophy since the classical Greek era. In the past few years, however, there has been a growing interest in treating knowledge as a significant organizational ... Keywords: knowledge management, knowledge management review, knowledge management systems, organizational knowledge management, research issues in knowledge management

Maryam Alavi; Dorothy E. Leidner

2001-03-01T23:59:59.000Z

310

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

311

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

312

Challenges and Directions in Knowledge Asset Trading  

Science Conference Proceedings (OSTI)

This paper addresses the area that is at the intersection of Knowledge Management and Electronic Commerce. This area refers to the exchange and trade of explicit and implicit knowledge at an inter-organisational level. Electronic knowledge marketplaces ...

Dimitris Apostolou; Gregory Mentzas; Andreas Abecker; Wolf-Christian Eickhoff; Wolfgang Maas; Panos Georgolios; Kostas Kafentzis; Sophia Kyriakopoulou

2002-12-01T23:59:59.000Z

313

Business Metadata: Capturing Enterprise Knowledge: Capturing Enterprise Knowledge  

Science Conference Proceedings (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

314

Knowledge Assisted Visualization Knowledge-assisted visualization of seismic data  

E-Print Network (OSTI)

exploration. We describe the existing procedure for oil and gas search which consists of manually extracting for knowledge-assisted annotation and computer-assisted interpretation of seismic data for oil and gas. Introduction Whether we like it or not the world is dependent on energy. Oil and gas accounts for around 64

315

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

Science Conference Proceedings (OSTI)

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

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

2010-09-15T23:59:59.000Z

316

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

317

Totally self-checking checker for a parallel unordered coding scheme  

SciTech Connect

Bose has developed a parallel unordered coding scheme using only r checkbits for 2[sup r] information bits. This code can detect all unidirectional errors and requires simple parallel encoding/decoding. The information symbols can be separated from the check symbols. However, the information symbols containing all zeros and all ones need to be transformed to two other information symbols. This allows one to reduce the number of checkbits over Berger code by 1. Since information symbols containing a power-of-two number of bits are quite common, this coding scheme should become quite popular. In this brief contribution, a modular, economical, and easily testable totally self-checking (TSC) checker design for the above code is described. The TSC concept is well known for providing concurrent error detection of transient as well as permanent faults. Our design is self-testing with at most only 2r + 16 codeword tests. This means that if k is the number of information bits, the size of the codeword test set is only O(log[sub 2] k). This is the first known TSC checker design for this code. 19 refs.

Burns, S.W.; Jha, N.K. (Int Paper Co., Jay, ME (United States))

1994-04-01T23:59:59.000Z

318

Technology and Access to Knowledge - CECM  

E-Print Network (OSTI)

Feb 9, 1998 ... Technology and Access to Knowledge. Mathematics as a branch of human knowledge is several millenia old, and though each individual ...

319

Inducing Morphemes Using Light Knowledge  

Science Conference Proceedings (OSTI)

Allomorphic variation, or form variation among morphs with the same meaning, is a stumbling block to morphological induction (MI). To address this problem, we present a hybrid approach that uses a small amount of linguistic knowledge in the form of orthographic ... Keywords: Morphological induction, allomorphy, computational linguistics, machine learning

Michael Tepper; Fei Xia

2010-03-01T23:59:59.000Z

320

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.


321

Evaluation of similarity measures for knowledge profiles from an expert directory: a field study  

Science Conference Proceedings (OSTI)

Expert directories describe the knowledge of the staff. From field data of an implementation of such an expert directory we calculated weighted connections between employees based on their shared topics. These relations will be used for recommending ... Keywords: expert directories, expert recommender, expert recommender systems, knowledge management, knowledge profile similarity

Wilko Kraß; Ulrich Försterling

2012-09-01T23:59:59.000Z

322

The ESTEEM platform: enabling P2P semantic collaboration through emerging collective knowledge  

Science Conference Proceedings (OSTI)

In this paper, we present Esteem (Emergent Semantics and cooperaTion in multi-knowledgE EnvironMents), a community-based P2P platform for supporting semantic collaboration among a set of independent peers, without prior reciprocal knowledge and no predefined ... Keywords: Data and service discovery, Emergent collective knowledge, Ontologies, Semantic collaboration

Stefano Montanelli; Devis Bianchini; Carola Aiello; Roberto Baldoni; Cristiana Bolchini; Silvia Bonomi; Silvana Castano; Tiziana Catarci; Valeria Antonellis; Alfio Ferrara; Michele Melchiori; Elisa Quintarelli; Monica Scannapieco; Fabio A. Schreiber; Letizia Tanca

2011-04-01T23:59:59.000Z

323

Case study: Securing knowledge in organizations: lessons from the defense and intelligence sectors  

Science Conference Proceedings (OSTI)

The interest in the field of knowledge management continues to grow at an astounding rate. An organization must leverage its core competencies, which are mostly knowledge-based resources, in order to survive and thrive in the current marketplace. While ... Keywords: Knowledge management, National security, Security

Kevin C. Desouza; Ganesh K. Vanapalli

2005-02-01T23:59:59.000Z

324

Enterprise Knowledge Management System for Nuclear Power Plants  

Science Conference Proceedings (OSTI)

Although initially proposed by the Nuclear Sector, an enterprise knowledge management system can support the work of all business sectors ... fossil generation, nuclear generation, power delivery, environment, as well as business operations. The motivation for this project is the concern that valuable skills, expertise and the corporate knowledge base may be lost due to retirements and other forms of attrition associated with an aging workforce. As originally conceived, the objective of this BSI project ...

2005-01-23T23:59:59.000Z

325

Software Metrics Knowledge and Databases for Project Management  

Science Conference Proceedings (OSTI)

Abstract¿Construction and maintenance of large, high-quality software projects is a complex, error-prone, and difficult process. Tools employing software database metrics can play an important role in efficient execution and management of such large ... Keywords: Knowledge-based tools for software project management, efficiency and robustness in large-scale software development, knowledge abstraction from raw data, software metrics databases, test and evaluation, cost-effective project management.

Raymond A. Paul; Tosiyasu L. Kunii; Yoshihisa Shinagawa; Muhammad F. Khan

1999-01-01T23:59:59.000Z

326

Indigenous knowledge organization: An Indian scenario  

Science Conference Proceedings (OSTI)

The basic component of any country's knowledge system is its Indigenous Knowledge (IK). This paper presents an overview of IK by defining it as a local and tacit knowledge that is unique to a given culture or society and forms the basis for local-level ... Keywords: IK initiatives, Indigenous knowledge, Protection and India, Social development

Siriginidi Subba Rao

2006-06-01T23:59:59.000Z

327

Extending knowledge management to mobile workplaces  

Science Conference Proceedings (OSTI)

Knowledge and Knowledge Management (KM) are evolving into an increasingly eminent source of competitive advantage. However, for the time being, the potential of KM is usually limited to stationary workplaces. This excludes a multiplicity of mobile workers, ... Keywords: knowledge management, mobile added values, mobile business processes, mobile commerce, mobile knowledge management

Volker Derballa; Key Pousttchi

2004-03-01T23:59:59.000Z

328

MAICE: a tool for knowledge representation  

Science Conference Proceedings (OSTI)

In the present work the software MAICE is shown as a solution for knowledge representation. This software is a visual modeling tool which allows to represent the rules that define a given knowledge universe, independently of specific application area ... Keywords: electrical systems management, electrical transformer diagnosis, fuzzy logic, knowledge modeling, knowledge representation

Fabricio M. Oliveira; Leizer Schnitman; Herman A. Lepkison; J. F. Corrêa; Almir L. Néri, Jr.; J. A. M. Felippe de Souza

2007-11-01T23:59:59.000Z

329

Bayesian Network Inference with Qualitative Expert Knowledge for Decision Support Systems  

Science Conference Proceedings (OSTI)

In this paper, we consider a methodology that utilizes qualitative expert knowledge for inference in a Bayesian network. The decision-making assumptions and the mathematical equation for Bayesian inference are derived based on data and knowledge obtained ... Keywords: Bayesian network, Bayesian network inference, decision-support systems, qualitative expert knowledge, probability inequality constraints Bayesian network, Bayesian network inference, decision-support systems, qualitative expert knowledge, probability inequ

Nipat Jongsawat; Wichian Premchaiswadi

2010-06-01T23:59:59.000Z

330

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

331

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.

332

Conceptual navigation in knowledge management environments using NavCon  

Science Conference Proceedings (OSTI)

This article presents conceptual navigation and NavCon, an architecture that implements this navigation in World Wide Web pages. NavCon architecture makes use of ontology as metadata to contextualize user search for information. Based on ontologies, ... Keywords: Conceptual navigation, Context-based navigation, Knowledge management, Ontology, Semantic Web

Jose Renato Villela Dantas; Pedro Porfirio Muniz Farias

2010-07-01T23:59:59.000Z

333

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":""}]}

334

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

335

Essential Body of Knowledge (EBK)  

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

The Office of the Chief Information Officer (OCIO) utilized DOE cyber security policy, industry best practices and lessons learned, and comprehensive internal needs assessments to identify fundamental cyber security functional roles and associated responsibilities. In addition, core competencies were identified that represent the ‘core’ skill set needed by cyber security professionals to adequately fulfill their functional roles. This collective information was further used to define the Enterprise Essential Body of Knowledge (EBK).

336

The Power of a Question: A Case Study of Two Organizational Knowledge Capture Systems  

E-Print Network (OSTI)

Designers have many options for how to encode knowledge, although most are based on declarative representations. This paper explores the use of questions to represent knowledge. Practioner experiences implementing two knowledge resources using a question-based representation are described. In both resources, the use of "questions" was chosen as both a nonthreatening way of engaging users and for its value in initiating thinking processes. Both systems have succeeded in capturing the interest of users and serve as valuable components of the organization's knowledge capture program. This paper describes the systems, the underlying design approach, and results from system evaluation. Since the goal of any knowledge resource is to facilitate the reuse of knowledge, it is important to understand the impact that different knowledge representations could have on system acceptance. This study raises several research issues based on experiences using the unusual representation of "questions." 1.

Lynne P. Cooper

2003-01-01T23:59:59.000Z

337

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

338

Workplan and Annex: Solar Resource Knowledge Management  

DOE Green Energy (OSTI)

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

339

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

340

Knowledge Discovery from Sensor Data for Security Applications  

Science Conference Proceedings (OSTI)

Evolving threat situations in a post 9/11 world demand faster and more reliable decisions to thwart the adversary. One critical path to enhanced threat cognizance is through online knowledge discovery based on dynamic, heterogeneous data available from strategically placed wide-area sensor networks. The knowledge discovery process needs to coordinate adaptive predictive analysis with real-time analysis and decision support systems. The ability to detect precursors and signatures of rare events and change from massive and disparate data in real-time may require a paradigm shift in the science of knowledge discovery. This chapter describes a case study in the area of transportation security to describe both the key challenges, as well as the possible solution strategies, in this high-priority area. A suite of knowledge discovery tools developed for the purpose is described along with a discussion on future requirements.

Ganguly, Auroop R [ORNL; Omitaomu, Olufemi A [ORNL; Walker, Randy M [ORNL

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


341

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

342

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

Science Conference Proceedings (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

343

Microsoft Word - FPD PMCDP CHECK LIST LEVEL 4_January_1_2011  

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

1 1 1 of 7 REQUIRED COMPETENCIES* FOR EACH COMPETENCY, INDICATE METHOD OF FULFILLMENT PMCDP COURSE PMP PE/RA LICENSE EQUIV. TRG EXPERIENCE 4.1 General Project Management This competency shall have been developed to an expert-level of knowledge at Level 3. Therefore, no additional competency training/equivalency is required in this category for Level 4 federal project directors. 4.2 Leadership/Team Building 4.2.1 Demonstrate expert-level knowledge of OMB processes and requirements. Fulfillment of this competency may be achieved through the following: 1) the successful completion of the PMCDP core course, Executive Communications; OR 2) the description of the candidate's demonstrated equivalent experience (since there is no equivalent class

344

Microsoft Word - FPD PMCDP CHECK LIST LEVEL 2_January_1_2010  

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

0 0 1 of 10 REQUIRED COMPETENCIES* FOR EACH COMPETENCY, INDICATE METHOD OF FULFILLMENT PMCDP COURSE PMP PE/RA LICENSE EQUIV. TRG EXPERIENCE 2.1 General Project Management 2.1.1 Demonstrate working-level knowledge of systems engineering. Fulfillment of this competency may be achieved through the following: 1) the successful completion of the PMCDP core course, Advanced Concepts in Project Management; OR 2) a description of the candidate's demonstrated equivalent experience (since there is no equivalent class to Advanced Concepts in Project Management, you must demonstrate equivalent experience). N/A N/A N/A 2.1.2 Demonstrate working-level knowledge of value management. Fulfillment of this competency may be achieved through the following: 1) the successful completion of the PMCDP core

345

Microsoft Word - FPD PMCDP CHECK LIST LEVEL 2_January_1_2011  

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

1 1 1 of 10 REQUIRED COMPETENCIES* FOR EACH COMPETENCY, INDICATE METHOD OF FULFILLMENT PMCDP COURSE PMP PE/RA LICENSE EQUIV. TRG EXPERIENCE 2.1 General Project Management 2.1.1 Demonstrate working-level knowledge of systems engineering. Fulfillment of this competency may be achieved through the following: 1) the successful completion of the PMCDP core course, Advanced Concepts in Project Management; OR 2) a description of the candidate's demonstrated equivalent experience (since there is no equivalent class to Advanced Concepts in Project Management, you must demonstrate equivalent experience). N/A N/A N/A 2.1.2 Demonstrate working-level knowledge of value management. Fulfillment of this competency may be achieved through the following: 1)

346

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

SciTech Connect

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

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

2009-07-15T23:59:59.000Z

347

Knowledge sharing between design and manufacture  

Science Conference Proceedings (OSTI)

The aim of this research is to develop a representation method that allows knowledge to be readily shared between collaborating systems (agents) in a design/manufacturing environment. Improved mechanisms for interpreting the terms used to describe knowledge ...

Sean D. Cochrane; Keith Case; Robert I. Young; Jenny A. Harding; Samir Dani

2005-09-01T23:59:59.000Z

348

Multi-dimensional Dynamic Knowledge Representation  

Science Conference Proceedings (OSTI)

According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. These may represent time (e.g. in updates), specificity (e.g. in taxonomies), strength ...

João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira

2001-09-01T23:59:59.000Z

349

A precise computational approach to knowledge  

E-Print Network (OSTI)

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

Pass, Rafael (Rafael Nat Josef)

2006-01-01T23:59:59.000Z

350

Semantic Filtering by inference on domain knowledge in spoken language dialogue systems  

E-Print Network (OSTI)

General natural dialogue processing requires large amounts of domain knowledge as well as linguistic knowledge in order to ensure acceptable coverage and understanding. There are several ways of integrating lexical resources (e.g. dictionaries, thesauri) and knowledge bases or ontologies at different levels of dialogue processing. We concentrate in this paper on how to exploit domain knowledge for filtering interpretation hypotheses generated by a robust semantic parser. We use domain knowledge to semantically constrain the hypothesis space. Moreover, adding an inference mechanism allows us to complete the interpretation when information is not explicitly available. Further, we discuss briefly how this can be generalized towards a predictive natural interactive system.

Afzal Ballim; Vincenzo Pallotta

2000-01-01T23:59:59.000Z

351

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

352

VPN MANUAL Windows 7 Check to ensure OleMiss wireless is visible in the network connections.  

E-Print Network (OSTI)

VPN MANUAL ­ Windows 7 Check to ensure OleMiss wireless is visible in the network connections, click Continue. #12;VPN MANUAL ­ Windows 7 Next, you will be prompted to Launch the Cisco Agent. Click to `Run' the file. #12;VPN MANUAL ­ Windows 7 The Cisco Agent will likely take a few minutes to fully

Tchumper, Gregory S.

353

Performance evaluation of robotic knowledge representation (PERK)  

Science Conference Proceedings (OSTI)

In this paper, we explore some ways in which symbolic knowledge representations have been evaluated in the past and provide some thoughts on what should be considered when applying and evaluating these types of knowledge representations for real-time ... Keywords: knowledge representation, ontologies, performance metrics, real-time, robotics

Craig Schlenoff; Sebti Foufou; Stephen Balakirsky

2012-03-01T23:59:59.000Z

354

Knowledge awareness in CSCL: A psychological perspective  

Science Conference Proceedings (OSTI)

In this paper, a specific group awareness approach for CSCL settings, namely knowledge awareness, is presented. We classify knowledge awareness in relation to already well-established concepts like shared mental models, common ground, and transactive ... Keywords: Computer-supported collaborative learning, Group awareness, Knowledge awareness, Spatially distributed groups

Tanja Engelmann; Jessica Dehler; Daniel Bodemer; Jürgen Buder

2009-07-01T23:59:59.000Z

355

A social recommender mechanism for improving knowledge sharing in online forums  

Science Conference Proceedings (OSTI)

Nowadays, online forums have become a useful tool for knowledge management in Web-based technology. This study proposes a social recommender system which generates discussion thread and expert recommendations based on semantic similarity, profession ... Keywords: Expert finding, Knowledge sharing, Online forums, Recommender systems, Semantic analysis, Social relation

Yung-Ming Li; Tzu-Fong Liao; Cheng-Yang Lai

2012-09-01T23:59:59.000Z

356

PROMETHEE II: A knowledge-driven method for copper exploration  

Science Conference Proceedings (OSTI)

This paper describes the application of a well-known Multi Criteria Decision Making (MCDM) technique called Preference Ranking Organization METHod for Enrichment Evaluation (PROMETHEE II) to explore porphyry copper deposits. Various raster-based evidential ... Keywords: Knowledge-driven method, Mineral prospectivity mapping, Now Chun deposit, PROMETHEE II, Porphyry copper, Various geo-datasets

Maysam Abedi; S. Ali Torabi; Gholam-Hossain Norouzi; Mohammad Hamzeh; Gholam-Reza Elyasi

2012-09-01T23:59:59.000Z

357

Knowledge Innovation System and Customer Impact of Knowledge-Intensive Business Services  

Science Conference Proceedings (OSTI)

Following the development of economy, the service industry has already exceeded the manufacturing industry and has been one country's leading industry. Providing knowledge is the service way of Knowledge-Intensive business services (KIBS). KIBS are the ... Keywords: knowledge-intensive business service, knowledge innovation, innovation system, customer influence

Jun Tao

2012-10-01T23:59:59.000Z

358

Integrating scientific with indigenous knowledge: constructing knowledge alliances for land management in india  

Science Conference Proceedings (OSTI)

Information systems design and development processes by their very nature involve a multiplicity of knowledge systems, including the technology itself, the methodologies for system development, and knowledge relating to the application domain. When an ... Keywords: boundary objects, india, indigenous knowledge, information systems, less developed countries, participation, rural development, scientific knowledge

Satish K. Puri

2007-06-01T23:59:59.000Z

359

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

360

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

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

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

362

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

363

The role of knowledge management in supply chains: evidence from the Italian food industry  

Science Conference Proceedings (OSTI)

This study deals with interorganisational Knowledge Management (KM) in the Italian food industry. Based on case studies, the paper defines the need for knowledge sharing amongst supply chain members in different collaborative activities. Then ... Keywords: Italy, SCM, case studies, collaborative supply networks, e-business, electronic business, food industry, food supply chain, information technology, knowledge management, supply chain collaboration, supply chain management, supply chain performance

Mariano Corso; Seyhan Firdevs Dogan; Riccardo Mogre; Alessandro Perego

2010-01-01T23:59:59.000Z

364

Windows NT/2000/XP Sicherheits-Check RRZE, G. Hofmann 1/1 23.06.2004  

E-Print Network (OSTI)

Windows NT/2000/XP Sicherheits-Check RRZE, G. Hofmann 1/1 23.06.2004 Stand: 23.Juni 2004, Gerd://www.rrze.uni-erlangen.de/hilfe/security/patches.shtml · Aktuellste Hotfixes (fausus.exe) http://www.rrze.uni-erlangen.de/dienste/arbeiten-rechnen/windows/fausus.shtml · Internet-Explorer Hotfixes (Windows-Update) http://windowsupdate.microsoft.com · Virenscanner (06

Fiebig, Peter

365

Microsoft Word - FPD PMCDP CHECK LIST LEVEL 1_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 1.1 General Project Management 1.1.1 Demonstrate working-level knowledge of the federal project director's roles and responsibilities. Fulfillment of this competency may be achieved through the following: 1) the successful completion of the PMCDP core course, Project Management Systems and Practices in DOE; OR, 2) a description of the candidate's demonstrated equivalent experience or understanding of the federal project directors roles and responsibilities (since there is no equivalent class to Project Management Systems and Practices in DOE, you must demonstrate equivalent experience). If the applicant does not currently possess experience

366

Microsoft Word - FPD PMCDP CHECK LIST LEVEL 1_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 1.1 General Project Management 1.1.1 Demonstrate working-level knowledge of the federal project director's roles and responsibilities. Fulfillment of this competency may be achieved through the following: 1) the successful completion of the PMCDP core course, Project Management Systems and Practices in DOE; OR, 2) a description of the candidate's demonstrated equivalent experience or understanding of the federal project directors roles and responsibilities (since there is no equivalent class to Project Management Systems and Practices in DOE, you must demonstrate equivalent experience). If the applicant does not currently possess experience

367

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 -

368

Raptor: An Enterprise Knowledge Discovery Engine  

MS OCS, Office, Search, and SharePoint directories and files that form a knowledge management platform, as well as Wikis, tag clouds, and other ...

369

Mobile digital calendars in knowledge work  

Science Conference Proceedings (OSTI)

This article investigates the usage of mobile digital-calendar solutions in a knowledge work setting through the means of an empirical survey (n = 220) among managers and experts in a global telecommunications company. It is indicated, that the mobile digital ... Keywords: PIM, calendar use, digital calendars, electronic calendaring, electronic scheduling, global telecommunications, knowledge work, mobile calendars, mobile communications, mobile computing, personal information management

Anna Sell

2008-08-01T23:59:59.000Z

370

Extracting failure knowledge with associative search  

Science Conference Proceedings (OSTI)

We applied associative OR search on a Failure Knowledge Database with 1,242 failure accidents and 41 failure scenarios in the book "100 Scenarios of Failure" to find cases most analogous to risks that engineers were concerned with. Ninety engineers provided ... Keywords: associative search, failure knowledge, risk management

Masayuki Nakao; Kensuke Tsuchiya; Yoshiaki Harita; Kenji Iino; Hiroshi Kinukawa; Satoshi Kawagoe; Yuji Koike; Akihiko Takano

2007-06-01T23:59:59.000Z

371

Representation of context-dependant knowledge in ontologies: A model and an application  

Science Conference Proceedings (OSTI)

Most of current Information and Knowledge Based Systems manage impressive amounts of information, ranging from local databases to resources imported from the web. In addition to widely pointed-out integration and maintenance difficulties, other common ... Keywords: Context-aware systems, Knowledge representation, Medical informatics, Mobile systems, Ontologies

Fernando Bobillo; Miguel Delgado; Juan Gómez-Romero

2008-11-01T23:59:59.000Z

372

Assessing the impact of knowledge management strategies announcements on the market value of firms  

Science Conference Proceedings (OSTI)

Although there is much literature on the relationship between KM strategies and organizational performance, the benefit of KM strategies is not well understood. We addressed this issue by exploring how KM strategies influence a firm's market value using ... Keywords: Event study methodology, Knowledge management strategy, Knowledge-based view, Market value, Stock market reaction

Byounggu Choi; Ana Maria Jong

2010-01-01T23:59:59.000Z

373

Evolution of knowledge creation and diffusion: the revisit of Taiwan's Hsinchu Science Park  

Science Conference Proceedings (OSTI)

The Hsinchu Science Park in Taiwan has been synonymous with dynamic and flourishing high-tech industries and companies since the 1980s. Using patent citation data, this empirical study shows that Taiwan's Hsinchu Science Park is a healthy and knowledge-based ... Keywords: Knowledge flows, Patent citation, R11, R58, Region innovation system, Science Park, Taiwan

Mei-Chih Hu

2011-09-01T23:59:59.000Z

374

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.

375

Developing a geoscience knowledge framework for a national geological survey organisation  

Science Conference Proceedings (OSTI)

Geological survey organisations (GSOs) are established by most nations to provide a geoscience knowledge base for effective decision-making on mitigating the impacts of natural hazards and global change, and on sustainable management of natural resources. ... Keywords: 3D models, Cyber-infrastructure, Geological mapping, Knowledge management, Ontology

Andrew S. Howard; Bill Hatton; Femke Reitsma; Ken I. G. Lawrie

2009-04-01T23:59:59.000Z

376

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

377

C:\\Eco-SSLs\\Check of Attachment 4-1\\Draft Eco-SSL Update Notice...  

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

distribution was assumed for the variable (y) for concentration of acid-insoluble ash in scat and the results were based on 100,000 iterations instead of 3200. Estimating...

378

VIVACE context based search platform  

Science Conference Proceedings (OSTI)

One of the key challenges of knowledge management is to provide the right knowledge to the right person at the right time. To face this challenge, a context based search platform was developed in the frame of the European Integrated Project VIVACE. This ... Keywords: analogy and case based reasoning, context aware systems and applications, context modelling, knowledge management

Romaric Redon; Andreas Larsson; Richard Leblond; Barthelemy Longueville

2007-08-01T23:59:59.000Z

379

Data Visualization for Quality-Check Purposes of Monitored Electricity Consumption in All Office Buildings in the ESL Database  

E-Print Network (OSTI)

This report comprises an effort to visualize the monitored electricity consumption in all office buildings (not including the office buildings comprising other functions as classrooms and laboratories, for instance) in the ESL database. This data visualization, basically long-term and short-term time series plots serves as a preliminary quality check of the data available. A preliminary inspection of the data was performed, by viewing the channels to provide a clear identification of creep, missing data gaps, turned-off periods, and sudden big changes that suggest changes in the building operation or an addition to the building.

Sreshthaputra, A.; Abushakra, B.; Haberl, J. S.; Claridge, D. E.

2000-01-01T23:59:59.000Z

380

On challenges and opportunities of designing integrated IT platforms for supporting knowledge works in organizations  

E-Print Network (OSTI)

Designing and implementing comprehensive IT-based support environments for KM in organizations is fraught with many problems. Solving them requires intimate knowledge about the information usage in knowledge works and the scopes of technology intervention. In this paper, the Task-oriented Organizational Knowledge Management or TOKM, a design theory for building integrated IT platforms for supporting organizational KM, is proposed. TOKM brings together two apparently mutually exclusive practices of building KM systems, the task-based approach and the generic or universalistic approach. In developing the design, the information requirements of knowledge workers in light of an information usage model of knowledge works is studied. Then the model is extended to study possibilities of more advanced IT support and formulate them in form of a set of meta-requirements. Following the IS design theory paradigm, a set of artifacts are hypothesized to meet the requirements. Finally, a design method, as a possible approac...

Laha, Arijit

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


381

Design and Implementation of a Zero-Knowledge Authentication Framework for Java Card  

Science Conference Proceedings (OSTI)

Zero-knowledge authentication protocols are an alternative to authentication protocols based on public key cryptography. Low processing and memory consumption make them especially suitable for implementation in smart card microprocessors, which are severely ...

Kenan Kalajdzic; Ahmed Patel; Laleh Golafshan; Mona Taghavi

2011-07-01T23:59:59.000Z

382

Combining Microarrays and Biological Knowledge for Estimating Gene Networks via Bayesian Networks  

Science Conference Proceedings (OSTI)

We propose a statistical method for estimating a genenetwork based on Bayesian networks from microarray geneexpression data together with biological knowledge includingprotein-protein interactions, protein-DNA interactions,binding site information, existing ...

Seiya Imoto; Tomoyuki Higuchi; Takao Goto; Kousuke Tashiro; Satoru Kuhara; Satoru Miyano

2003-08-01T23:59:59.000Z

383

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

384

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

E-Print Network (OSTI)

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

Avnet, Mark Sean

2009-01-01T23:59:59.000Z

385

DIY CHECKLIST FOR RENTERS Check your lease carefully. Make a very detailed inspection report before signing lease, include photos. Develop a good  

E-Print Network (OSTI)

DIY CHECKLIST FOR RENTERS Check your lease carefully. Make a very detailed inspection report before. Carpetdyeingforpaleandstainedcarpet. Re-caulkingandre-groutingofkitchenandbathrooms. Tileandbathresurfacingpaint. DIY FOR RENTERS;12DOM_MI089 DIY CHECKLIST FOR RENTERS WALLS Low-adhesivetapeorhookstohangartwork(neveruse Blu

Peters, Richard

386

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

E-Print Network (OSTI)

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

Webb, Peter

387

Aspects in Information Modelling and Knowledge Bases Research  

Science Conference Proceedings (OSTI)

The Faculty of electrical engineering and computer science is one of biggest faculties in the frame of the University of Maribor, Slovenia. Originally the basic research area of the faculty was in engineering but for many years a lot of research activities ...

Aida Kamišai?; Domen Mongus; Luka Pavli?; Sandi Pohorec; Andrej Sev?nikar; Mateja Verli?; Tatjana Welzer; Marko Hölbl

2010-07-01T23:59:59.000Z

388

Amoeba-Based Fuzzy Computing for Uncertain Knowledge Processing  

E-Print Network (OSTI)

(e.g., car- bon nanotube transistors), molecular (e.g., or- ganic), DNA, optical, micro-Aciego, J.L. Verdegay (eds): Proceedings of IPMU'08, pp. 792­797 Torremolinos (M´alaga), June 22­27, 2008

Munakata, Toshinori

389

An Argument-based Approach to Reasoning with Clinical Knowledge  

E-Print Network (OSTI)

publications do, i.e., that reviews and even more so meta-analyses take time to perform and therefore lag, London, WC1E 6BT, UK bMount Vernon Hospital, Northwood, Middlesex, HA6 2RN, UK Abstract Better use obtained from clinical trials and studies. We aim for (1) a simple language for representing the results

Hunter, Anthony

390

LBNL Windows & Daylighting Software -- WINDOW5: Knowledge Base  

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

can have any name with the "mdb" extension) -- you can browse to the file with the browse button (its default location is in Program FilesLBNLLBNL Shared directory). bullet In...

391

KITSS: a knowledge-based translation system for test scenarios  

Science Conference Proceedings (OSTI)

Machine-assisted language translation systems for technical documents, guide humans through a process of selecting and composing variant partial translations. The constrained nature of technical sublanguages makes language processing aids cost-effective ...

Van E. Kelly; Mark A. Jones

1993-07-01T23:59:59.000Z

392

Forgetting for knowledge bases in DL-Lite  

Science Conference Proceedings (OSTI)

To support the reuse and combination of ontologies in Semantic Web applications, it is often necessary to obtain smaller ontologies from existing larger ontologies. In particular, applications may require the omission of certain terms, e. g., concept ... Keywords: 68T30, Description logics, Forgetting, Ontology

Zhe Wang; Kewen Wang; Rodney Topor; Jeff Z. Pan

2010-02-01T23:59:59.000Z

393

Image-based querying of urban knowledge databases  

E-Print Network (OSTI)

We extend recent automated computer vision algorithms to reconstruct the global three-dimensional structures for photos and videos shot at fixed points in outdoor city environments. Mosaics of digital stills and embedded ...

Bae, Soonmin

394

Knowledge based lacunas detection and segmentation for ancient paintings  

Science Conference Proceedings (OSTI)

Lacunas are a common form of the damage that can occur to paintings and more often to murals. Taking Dunhuang murals as research background, a new algorithm to detect and segment the lacuna area from mural images is proposed, which consists of a training ... Keywords: bayesian classification, concurrent detection and segmentation, deterioration murals, graph cuts, image segmentation, mean shift

Jianming Liu; Dongming Lu

2007-09-01T23:59:59.000Z

395

Knowledge-based editing and visualization for hypermedia encyclopedias  

Science Conference Proceedings (OSTI)

One of the main goals in developing digital libraries is to provide users with opportunities for accessing and using information in highly flexible and user-oriented ways not available in current information repositories. This implies a focus on supporting ...

Christoph Hüser; Klaus Reichenberger; Lothar Rostek; Norbert A. Streitz

1995-04-01T23:59:59.000Z

396

Knowledge-Based Automation of a Design Method for ...  

Science Conference Proceedings (OSTI)

... 3.3.4 SARA Design Apprentice Another approach, reported in the literature by Lor and Berry [19], transforms requirements into a design, but without ...

2009-02-03T23:59:59.000Z

397

Proposed Task Description for Knowledge-Base Population at ...  

Science Conference Proceedings (OSTI)

... LDC reserves the right to limit assessment to top ... Lines should have the following tab-separated columns: ... NIL and Columns 5-9 should be left empty ...

2013-05-29T23:59:59.000Z

398

A framework for knowledge-based team training  

E-Print Network (OSTI)

Teamwork is crucial to many disciplines, from activities such as organized sports to economic and military organizations. Team training is difficult and as yet there are few automated tools to assist in the training task. As with the training of individuals, effective training depends upon practice and proper training protocols. In this research, we defined a team training framework for constructing team training systems in domains involving command and control teams. This team training framework 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, as team training systems incorporating new protocols or coaching capabilities can be more easily built. For this framework (called CAST-ITT) we developed an underlying intelligent agent architecture known as CAST (Collaborative Agents Simulating Teamwork). CAST provides the underlying model of teamwork and agents to simulate virtual team members. CAST-ITT (Intelligent Team Trainer) uses CAST to also monitor trainees, and support performance assessment and coaching for the purposes of evaluating the performance of a trainee as a member of a team. CAST includes a language for describing teamwork called MALLET (Multi-Agent Logic Language for Encoding Teamwork). MALLET allows us to codify the behaviors of team members (both as virtual agents and as trainees) for use by CAST. In demonstrating CAST-ITT through an implemented team training system called TWP-DDD we have shown that a team training system can be built that uses the framework (CAST-ITT) and has good performance and can be used for achieving real world training objectives.

Miller, Michael Scott

2006-08-01T23:59:59.000Z

399

WEB-BASED RESOURCES ENHANCE HYDROGEN SAFETY KNOWLEDGE  

Science Conference Proceedings (OSTI)

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

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

2013-06-18T23:59:59.000Z

400

Cold Start Knowledge Base Population at TAC 2012 Task ...  

Science Conference Proceedings (OSTI)

... Simpson (per:parents, per:title) Ground Truth: :BartSimpson per:parents :HomerSimpson :HomerSimpson per:title "Attack-dog trainer" Submission ...

2013-04-19T23: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.


401

Finding Answers to Definition Questions Using Web Knowledge Bases  

E-Print Network (OSTI)

, Information and Computation, pages 484­492 #12;supposed to be the consequence between the greenhouse gas is the greenhouse gas? Answer 1 Greenhouse gas is a kind of gas that causes greenhouse effect. Answer 2 Greenhouse gases include carbon dioxide, methane, nitrous oxide, etc.. Questions like "What is the greenhouse gas

402

LBNL Windows & Daylighting Software -- COMFEN3: Knowledge Base  

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

(IGDB) NFRC Procedure for Creating Laminates Information about IGDB Some of the windows in Optics are bigger than my screen. How can I solve this? Report a bug or ask a...

403

A KNOWLEDGE FORMALISATION AND AGGREGATION-BASED METHOD FOR THE  

E-Print Network (OSTI)

information 5 Calculated 3D mineralogical model around Olympic Dam derived by integrating gravity and magnetic. % sericite Olympic Dam Acropolis Wirrda Well Torrens ? ? ? ? 0.0 0.2 0.4 0.6 0.8 1.0 Minimum magnetite.5 km 3 > 0.1 vol. % sulphides and hematite / 0.5 km 3 > 0.1 vol. % sericite / 0.5 km3 Olympic Dam

Paris-Sud XI, Université de

404

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":""}]}

405

Tableaux for Projection Computation and Knowledge Compilation  

Science Conference Proceedings (OSTI)

Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. On the basis of a unified view on projection computation and knowledge compilation, ...

Christoph Wernhard

2009-10-01T23:59:59.000Z

406

Indexing Flower Patent Images Using Domain Knowledge  

Science Conference Proceedings (OSTI)

The authors describe a new approach to indexing a specialized database using the color and spatial domain knowledge available for the database. They illustrate their approach by using it to solve the problem of indexing flower images when searching a ...

Madirakshi Das; R. Manmatha; Edward M. Riseman

1999-09-01T23:59:59.000Z

407

Semantology as basis for conceptual knowledge processing  

Science Conference Proceedings (OSTI)

Semantology has been introduced as the theory of semantic structures and their connections which, in particular, covers the methodology of activating semantic structures for representing conceptual knowledge. It is the main aim of this paper to explain ...

Peter Eklund; Rudolf Wille

2007-02-01T23:59:59.000Z

408

Knowledge organization : Beichuan Middle School architecture design  

E-Print Network (OSTI)

This Thesis is comprised of two interrelated parts: the first part attempts to incorporate Design and Methodology into the framework of Knowledge Organization, tries to refine/ redefine the workflow, and establishes a ...

Song, Kanda

2009-01-01T23:59:59.000Z

409

A hierarchical systems knowledge representation framework  

E-Print Network (OSTI)

We present the design and implementation of a framework for storing and analysing knowledge about engineering systems. The hierarchical entity-relation-attribute model is useful for large data sets, in which it can abstract ...

Sylvester, Igor Andrade

2007-01-01T23:59:59.000Z

410

An Ontology For Agent-Based Modeling And Simulation  

E-Print Network (OSTI)

Ontologies are a formal methodology for establishing a common vocabulary, for defining the concepts and relationships between those concepts of a particular domain, and for reasoning about the objects, behaviors, and knowledge that comprises the domain. In this paper, we present an ontology for agent-based modeling and simulation. Agent-based modeling and simulation has become an important and popular paradigm for the computational social and natural sciences; however, the application of this paradigm tends to be performed in an ad-hoc fashion leading to questions about underlying assumptions in an agent-based model, verification of the software implementation as a representation of that model, and validation of hypothesized conclusions inferred from data produced by computer simulation experiments. An ontology provides a formal, logical knowledge representation that supports automated reasoning. Such reasoning capability provides for consistency checking of the concepts and relationships in an agent-based model, can infer the assumptions inherent in a model, can infer the assumptions and the parameters inherent in a simulation or software representation of a model, and can enforce adherence to formal methods or best practices for verification and validation testing. These reasoning tasks direct, or at least inform, the modeler about relevant techniques and methods in the agent-based paradigm. The reasoning capability also provides a framework for automated generation of software code, automated design and execution of simulation experiments as well as automated generation and execution of validation tests for those experiments. Using the standard Ontology Web Language (OWL), we provide a complete, detailed ontology of agent-based modeling and simulation, and we show ho...

Scott Christley Xiaorong; Xiaorong Xiang; Greg Madey

2004-01-01T23:59:59.000Z

411

Evaluating airline-transit cooperation in airport rail and remote check-in services : a strategic approach for increased ridership  

E-Print Network (OSTI)

This thesis applies Lean Principles and Practices to the public transportation services sector. It is an innovative approach since the area of knowledge is most actively used in the production and manufacturing field. Other ...

Molina Cecchetti, Miguel Angel, 1979-

2004-01-01T23:59:59.000Z

412

3 Knowledge Systems: Outcome of the  

E-Print Network (OSTI)

was to identify near-term and medium-term opportunities for strengthening the content of agricultural education/curriculum and information systems to meet the needs of smallholder farmers in areas of the developing world where agriculture lags behind needs. Traditionally called extension, teaching and research, more recently these systems are recognized as complex, interactive activities of knowledge and technology use, generation and exchange among farmers, extension workers, teachers and researchers. Major workshop objectives were 1) to identify opportunities to give voice and access to smallholders (and their information support systems) using new social networking tools for agricultural content development; and 2) creating a new agricultural education, information and training matrix. Participants (see list of participants and workshop program at the end of this section) included agricultural scientists with experience in South Asia and Africa, representatives of NGOs specializing in agricultural issues, senior faculty from African, South Asia, European and US universities, agriculture graduate students from Asian and African countries, private sector representatives, representatives from international agriculture organizations, and information technology experts. The report generated after the workshop was very much a working document. It was quickly compiled so that the ideas and recommendations emerging from discussions could provide a basis for the followup workshop in Zambia just six weeks later in November 2007, described in Section 2. Participants at the Cornell workshop were invited to submit two-page project concepts based on the “problem space” and “solution hypotheses ” identified in the workshop synthesis (which follows), for consideration at the Zambia workshop. In all, 33 project concepts or “solution scenarios ” were submitted. These became the basis for work, discussions and development of full proposals at the Zambia workshop. 3 Cornell Workshop Report

unknown authors

2007-01-01T23:59:59.000Z

413

Precise time and space simulatable zero-knowledge  

Science Conference Proceedings (OSTI)

Traditionally, the definition of zero-knowledge states that an interactive proof of x ? L provides zero (additional) knowledge if the view of any polynomial-time verifier can be reconstructed by a polynomialtime simulator. Since this ... Keywords: precise zero-knowledge, proofs of knowledge, zero-knowledge

Ning Ding; Dawu Gu

2011-10-01T23:59:59.000Z

414

Utilizing active software to capture tacit knowledge for strategic use  

Science Conference Proceedings (OSTI)

Knowledge on the organization's own work-strategies for carrying out regular tasks are now being recognized as an increasingly more valuable resource. However, due to the complexity of eliciting the distributed, fragmented and partly tacit knowledge ... Keywords: active software, intelligent agents, knowledge elicitation methodology, knowledge management, tacit knowledge

Jenny Eriksson Lundström

2005-09-01T23:59:59.000Z

415

Synergy between data warehousing and knowledge management: three industries reviewed  

Science Conference Proceedings (OSTI)

Data warehousing is believed to be a competitive necessity. The management of knowledge supports the competitive advantage of organisations. Therefore, the effective use of data warehousing to store knowledge can be instrumental in supporting the competitive ... Keywords: corporate memory, data mining, data warehousing, information, information management, intellectual capital, knowledge harvesting, knowledge management, knowledge sharing, telecommunications

Denise Johnson McManus; Charles A. Snyder

2003-07-01T23:59:59.000Z

416

Automated Knowledge Annotation for Dynamic Collaborative Environments  

Science Conference Proceedings (OSTI)

This paper describes the Knowledge Encapsulation Framework (KEF), a suite of tools to enable automated knowledge annotation for modeling and simulation projects. This framework can be used to capture evidence (e.g., facts extracted from journal articles and government reports), discover new evidence (from similar peer-reviewed material as well as 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.

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

2009-05-19T23:59:59.000Z

417

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

E-Print Network (OSTI)

) Science helps develop our natural resources such as coal, gas, oil, and solar energy. Scientific knowledge today because of scientific knowledge. The development of our natural resources, such as coal, gas, oil natural environment and natural resources. Without science we will not be able to preserve our natural

Cobern, William W.

418

Climate Knowledge Brokers Workshop Resources | Open Energy Information  

Open Energy Info (EERE)

2013.pdf Ci Grasp update presentation 2013.pdf Asia Pacific Adaptation Network - Regional Climate Change Adaptation Knowledge Platform Africa Adaptation - Knowledge Management...

419

Capturing and Using Knowledge about the Use of Visualization Toolkits  

Science Conference Proceedings (OSTI)

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

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

2012-11-02T23:59:59.000Z

420

Organizational Learning: From Experience to Knowledge  

Science Conference Proceedings (OSTI)

Organizational learning has been an important topic for the journal Organization Science and for the field. We provide a theoretical framework for analyzing organizational learning. According to the framework, organizational experience interacts ... Keywords: creativity, innovation, knowledge transfer, learning curves, organizational learning, organizational memory

Linda Argote; Ella Miron-Spektor

2011-09-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

WEB OF KNOWLEDGE --WEB OF SCIENCE--  

E-Print Network (OSTI)

WEB OF KNOWLEDGE --WEB OF SCIENCE-- #12; Web of Science (SCIE, SSCI, AHCI) EndNote Journal Citation Reports (JCR) Essential Science Indicators (ESI) ResearcherID.com #12;WEB OF SCIENCE ? · · · · EndNoteweb Copyright © 2009 Shou Ray Information Service Co., Ltd #12;Web of Science

Wu, Yih-Min

422

Extracting chatbot knowledge from online discussion forums  

Science Conference Proceedings (OSTI)

This paper presents a novel approach for extracting high-quality ?thread-title, reply? pairs as chat knowledge from online discussion forums so as to efficiently support the construction of a chatbot for a certain domain. Given a forum, the ...

Jizhou Huang; Ming Zhou; Dan Yang

2007-01-01T23:59:59.000Z

423

Knowledge-Projection for Tele-Maintenance  

E-Print Network (OSTI)

-to-end system fault diagnosis and repair ­ Opening up opportunities to streamline the maintenance process Demo Data Mining GUI Query & Browse Facility System Trainer · Maintenance Procedures · Session Capture Navigator Query Engine Query Processing & Knowledge Retrieval Process Engine Dynamic Maintenance Management

Tu, Yicheng

424

Multimedia encyclopedia construction by mining web knowledge  

Science Conference Proceedings (OSTI)

In recent years, we have witnessed the blooming of Web 2.0 content such as Wikipedia, Flickr and YouTube, etc. How might we benefit from such rich media resources available on the internet? This paper presents a novel concept called Mediapedia, a dynamic ... Keywords: Multimedia encyclopedia, Web knowledge

Richang Hong, Zheng-Jun Zha, Yue Gao, Tat-Seng Chua, Xindong Wu

2013-08-01T23:59:59.000Z

425

A modelling approach to study learning processes with a focus on knowledge creation  

Science Conference Proceedings (OSTI)

In this paper, we present a modelling approach to study learning processes. We introduce the process/pedagogy/tools model and shown how its assembly-line style of process modelling can be used to describe which pedagogical aspects and which tools ... Keywords: LISREL method, SECI process framework, e-learning, knowledge conversion, knowledge creation, learning processes, online learning, pedagogical research, process modelling, validation, web-based learning

Ambjorn Naeve; Pertti Yli-Luoma; Milos Kravcik; Miltiadis D. Lytras

2008-09-01T23:59:59.000Z

426

NUCLEAR INCIDENT CAPABILITIES, KNOWLEDGE & ENABLER LEVERAGING  

Science Conference Proceedings (OSTI)

The detonation of a 10 Kiloton Improvised Nuclear Device (IND) is a serious scenario that the United States must be prepared to address. The likelihood of a single nuclear bomb exploding in a single city is greater today than at the height of the Cold War. Layered defenses against domestic nuclear terrorism indicate that our government continues to view the threat as credible. The risk of such an event is further evidenced by terrorists desire to acquire nuclear weapons. The act of nuclear terrorism, particularly an act directed against a large population center in the United States, will overwhelm the capabilities of many local and state governments to respond, and will seriously challenge existing federal response capabilities. A 10 Kiloton IND detonation would cause total infrastructure damage in a 3-mile radius and levels of radiation spanning out 3,000 square miles. In a densely populated urban area, the anticipated casualties would be in excess of several hundred thousand. Although there would be enormous loss of life, housing and infrastructure, an IND detonation is a recoverable event. We can reduce the risk of these high-consequence, nontraditional threats by enhancing our nuclear detection architecture and establishing well planned and rehearsed plans for coordinated response. It is also important for us to identify new and improved ways to foster collaboration regarding the response to the IND threat to ensure the demand and density of expertise required for such an event is postured and prepared to mobilize, integrate, and support a myriad of anticipated challenges. We must be prepared to manage the consequences of such an event in a deliberate manner and get beyond notions of total devastation by adopting planning assumptions around survivability and resiliency. Planning for such a scenario needs to be decisive in determining a response based on competencies and desired outcomes. It is time to synthesize known threats and plausible consequences into action. Much work needs to be accomplished to enhance nuclear preparedness and to substantially bolster and clarify the capacity to deploy competent resources. Until detailed plans are scripted, and personnel and other resources are postured, and exercised, IND specific planning remains an urgent need requiring attention and action. Although strategic guidance, policies, concepts of operations, roles, responsibilities, and plans governing the response and consequence management for the IND scenario exist, an ongoing integration challenge prevails regarding how best to get capable and competent surge capacity personnel (disaster reservists) and other resources engaged and readied in an up-front manner with pre-scripted assignments to augment the magnitude of anticipated demands of expertise. With the above in mind, Savannah River National Laboratory (SRNL) puts science to work to create and deploy practical, high-value, cost-effective nuclear solutions. As the Department of Energy's (DOE) applied research and development laboratory, SRNL supports Savannah River Site (SRS) operations, DOE, national initiatives, and other federal agencies, across the country and around the world. SRNL's parent at SRS also employs more than 8,000 personnel. The team is a great asset that seeks to continue their service in the interest of national security and stands ready to accomplish new missions. Overall, an integral part of the vision for SRNL's National and Homeland Security Directorate is the establishment of a National Security Center at SRNL, and development of state of the science capabilities (technologies and trained technical personnel) for responding to emergency events on local, regional, or national scales. This entails leveraging and posturing the skills, knowledge and experience base of SRS personnel to deliver an integrated capability to support local, state, and federal authorities through the development of pre-scripted requests for assistance, agreements, and plans. It also includes developing plans, training, exercises, recruitment strategies, and processes to e

Kinney, J.; Newman, J.; Goodwyn, A.; Dewes, J.

2011-04-18T23:59:59.000Z

427

A generic design environment for the rural industry knowledge acquisition  

Science Conference Proceedings (OSTI)

This paper describes a new knowledge acquisition method using a generic design environment where context-sensitive knowledge is used to build specific DSS for rural business. Although standard knowledge acquisition methods have been applied in rural ... Keywords: DSS process, Design environment, Knowledge acquisition, Rural application

Shah Jahan Miah; Don Kerr; John Gammack; Tom Cowan

2008-12-01T23:59:59.000Z

428

Complex organizational knowledge structures for new product development teams  

Science Conference Proceedings (OSTI)

When a new product development team faces challenges, such as the cross-functional knowledge conversion task, both simple and existing organizational structures are comprised of various management methods and knowledge characteristics, analogous to a ... Keywords: Complex, Knowledge conversion, New product development team, Organizational knowledge structure, Taiwanese

Han-Chao Chang; Ming-Ten Tsai; Chung-Lin Tsai

2011-07-01T23:59:59.000Z

429

Modelling decision making in fund raising management by a fuzzy knowledge system  

Science Conference Proceedings (OSTI)

In fund raising management the employment of a decision support system is crucial for optimising the results of fund raising campaigns. However, the current tools based on database technology are not able to suggest suitable fund raising strategies and ... Keywords: Computational methods, Economic modeling, Fund raising management, Fuzzy expert systems, Knowledge based systems

Luca Barzanti; Mauro Gaspari; Davide Saletti

2009-07-01T23:59:59.000Z

430

Records Schedule Contractor Checks  

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

REQUEST FOR RECORDS DlSPOSlTlON AWTHORlW I REQUEST FOR RECORDS DlSPOSlTlON AWTHORlW I ' O B N ~ U R ~ ~ ( 5 0 s I n s rrucrigns on r e v r r r m ) , .- , ' 1 0 NATIOXAL ARCHIVES and RECORDS ADMWIS?IWTION WR) lp"TE ~~~~k~ f . WASHINGTON. l X 20408 21- , f - $+$ [ r . F R O M (Agenc y o r w t l a b l ~ g h m ~ n l ) - Washington, DC 20585 Department of Energy -- -2, M ~ O R S U B D ~ V I S ~ O N . ' 3 MINOR SL)BDWISION 6 AGENCY CERTIFICATION I hereby ccnity that I am authorized to act for thir and that the rrcords roposed for dfsposal on of thir agency or vilrnor be needed after the the General Accounting Office, under the provisions Q Manual for Guidance of Federal Agencies, is nor required; a is attached; or hhu been rrqucrtcd. m u . Team Leader, Recards Mgt. '4, NAME OF P E R S O N wIm WHOM To CONFER .5. E L W H O N L A Mary AM Wallace . --..-*- -

431

Type checking and normalisation.  

E-Print Network (OSTI)

??This thesis is about Martin-Löf's intuitionistic theory of types (type theory). Type theory is at the same time a formal system for mathematical proof and… (more)

Chapman, James Maitland

2009-01-01T23:59:59.000Z

432

Hybrid type checking  

E-Print Network (OSTI)

Phase distinctions in type theory. Manuscript, 1988. [10]Typechecking dependent types and subtypes. In Lecture notesF. Pfenning. Intersection types and computational effects.

Flanagan, C

2006-01-01T23:59:59.000Z

433

Checking PDSF Quotas  

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

(MB) --- --- Inode --- FileSystem Usage Quota InDoubt Grace Usage Quota InDoubt Grace --- --- --- --- ----- --- ---...

434

Climate Knowledge Brokers Group | Open Energy Information  

Open Energy Info (EERE)

source source History View New Pages Recent Changes All Special Pages Semantic Search/Querying Get Involved Help Apps Datasets Community Login | Sign Up Search Page Edit History Facebook icon Twitter icon » Climate Knowledge Brokers Group 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

435

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

SciTech Connect

A final report on an ORNL task to establish a knowledge discovery and management tool to retrieve and recommend information from existing S&T documents for the Office of Naval Research Global.

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

2012-04-01T23:59:59.000Z

436

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

E-Print Network (OSTI)

of the decomposition, to the keystroke layer at the bottom. The analysis enables a close inspection of the knowledge.g. Bates, 1979; Drabenstott, 2000), systematic observations of experts performing complex tasks (e.g. Fidel

Bhavnani, Suresh K.

437

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

E-Print Network (OSTI)

intensity of capital ( ) and knowledge intensity ofintensity of capital and knowledge intensity of labor arewith low knowledge intensity of capital and low knowledge

Kim, Hyungkee

2007-01-01T23:59:59.000Z

438

Implementation Plan for the Office of Nuclear Energy Knowledge Management Program  

Science Conference Proceedings (OSTI)

The primary purpose of the Department of Energy (DOE), Office of Nuclear Energy (NE) Knowledge Management (KM) Program is to capture, share, disseminate, and ensure the ability to apply the knowledge created by the major nuclear energy Research and Development (R&D) programs. In support of the KM program, the Implementation Plan for the Office of NE KM Program outlines the knowledge management and distributed data environment that is required for its success. In addition to enumerating some strategic goals and objectives, this document characterizes the initial program and identifies computer-based areas of investment required for increased knowledge sharing and collaboration. It identifies and addresses investments already in existence and describes how these investments can be further enhanced and implemented to support a distributed KM program. The Idaho National Laboratory (INL) is leading the effort to identify and address these investments through the implementation of a distributed KM program that includes participants from ten of the major DOE national laboratories.

Kimberlyn C. Mousseau

2011-12-01T23:59:59.000Z

439

T.: A Financial Management Consultation Expert System with Constraint Satisfaction and Knowledge Refinement. The Third  

E-Print Network (OSTI)

This paper describes an expert system that integrates different sorts of expertise for financial management consultation: the quantitative-qualitative financial indices, their relationship equations and the enterprise management policies represented by knowledge production rules. The innovative idea is that it incorporates the Constraint Satisfaction Paradigm (CSP) and the Best-first Search (BFS) techniques to guide the task, whichevaluates the financial 'health ' condition of a company in a routine way, mirroring the processes of a certified public accountant, in order to determine which management policies are the best to be applied. The expert system performs a set of numerical simulations that incorporate the aspects of Knowledge Refinement and Qualitative Simulation under company cases, applying series of refinement strategies for the parameters of the financial knowledge base and the heuristic searching control functions. The integrated inference engine performance and efficiency with the heuristic functions selected to enforce the convergence of the problem solvers combined are depicted. Topics: AI applications, Learning and knowledge acquisition.

Pedro García del Valle y Durán; Takahira Yamaguchi

1994-01-01T23:59:59.000Z

440

Collaborative Knowledge Creation and Management in Information Retrieval  

E-Print Network (OSTI)

The final goal of Information Retrieval (IR) is knowledge production. However, it has been argued that knowledge production is not an individual effort but a collaborative effort. Collaboration in information retrieval is geared towards knowledge sharing and creation of new knowledge by users. This paper discusses Collaborative Information Retrieval (CIR) and how it culminates to knowledge creation. It explains how created knowledge is organized and structured. It describes a functional architecture for the development of a CIR prototype called MECOCIR. Some of the features of the prototype are presented as well as how they facilitate collaborative knowledge exploitation. Knowledge creation is explained through the knowledge conversion/transformation processes proposed by Nonaka and CIR activities that facilitate these processes are high-lighted and discussed

Odumuyiwa, Victor

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.


441

Velo: A Knowledge Management Framework for Modeling and Simulation  

Science Conference Proceedings (OSTI)

Modern scientific enterprises are inherently knowledge-intensive. Scientific studies in domains such as geosciences, climate, and biology require the acquisition and manipulation of large amounts of experimental and field data to create inputs for large-scale computational simulations. The results of these simulations are then analyzed, leading to refinements of inputs and models and additional simulations. The results of this process must be managed and archived to provide justifications for regulatory decisions and publications that are based on the models. In this paper we introduce our Velo framework that is designed as a reusable, domain independent knowledge management infrastructure for modeling and simulation. Velo leverages, integrates and extends open source collaborative and content management technologies to create a scalable and flexible core platform that can be tailored to specific scientific domains. We describe the architecture of Velo for managing and associating the various types of data that are used and created in modeling and simulation projects, as well as the framework for integrating domain-specific tools. To demonstrate realizations of Velo, we describe examples from two deployed sites for carbon sequestration and climate modeling. These provide concrete example of the inherent extensibility and utility of our approach.

Gorton, Ian; Sivaramakrishnan, Chandrika; Black, Gary D.; White, Signe K.; Purohit, Sumit; Lansing, Carina S.; Madison, Michael C.; Schuchardt, Karen L.; Liu, Yan

2012-03-01T23:59:59.000Z

442

Velo: Riding the Knowledge Management Wave for Simulation and Modeling  

Science Conference Proceedings (OSTI)

Modern scientific enterprises are inherently knowledge-intensive. In general, scientific studies in domains such as geosciences, climate, and biology require the acquisition and manipulation of large amounts of experimental and field data in order to create inputs for large-scale computational simulations. The results of these simulations must then be analyzed, leading to refinements of inputs and models and further simulations. Further, these results must be managed and archived to provide justifications for publications and regulatory decisions that are based on these models. In this paper we describe our Velo framework that is designed as a reusable, domain independent knowledge management infrastructure for modeling and simulation. Velo leverages, integrates, and extends open source collaborative and content management technologies to create a scalable and flexible core platform that can be tailored to specific scientific domains. In this paper we describe the architecture of Velo for managing and associating the various types of data that are used and created in modeling and simulation projects, as well as the framework for integrating domain-specific tools. To demonstrate a realization of Velo, we describe the Geologic Sequestration Software Suite (GS3) that has been developed to support geologic sequestration modeling. This provides a concrete example of the inherent extensibility and utility of our approach.

Gorton, Ian; Sivaramakrishnan, Chandrika; Black, Gary D.; White, Signe K.; Purohit, Sumit; Madison, Michael C.; Schuchardt, Karen L.

2011-05-28T23:59:59.000Z

443

Preserving physics knowledge at the fast flux test facility  

SciTech Connect

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

Wootan, D.; Omberg, R. [Pacific Northwest National Laboratory, 902 Battelle Boulevard, Richland, WA 99352 (United States); Makenas, B. J. [Ares Corporation, M/S A3-06, 825 Jadwin Avenue, Richland, WA 99352 (United States); Nielsen, D. L.; Nelson, J. V. [Indian Eyes, LLC, 2815 Saint Andrews Loop, Pasco, WA 99301 (United States); Polzin, D. L. [CH2MHill Plateau Remediation Company, M/S S2-42, P.O. Box 1600, Richland, WA 99352 (United States)

2012-07-01T23:59:59.000Z

444

Vehicle Technologies Office: Fact #441: October 30, 2006 Knowledge...  

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

1: October 30, 2006 Knowledge about E85 to someone by E-mail Share Vehicle Technologies Office: Fact 441: October 30, 2006 Knowledge about E85 on Facebook Tweet about Vehicle...

445

Overview of Knowledge Economy in the Arab Region  

E-Print Network (OSTI)

This paper employs both the descriptive and comparative approaches and uses the definition of knowledge and knowledge indicators used in the literature to examine the existence and development of the knowledge economy in the Arab region. We fill the gap in the Arab literature and present a more comprehensive analysis of the development of knowledge indicators in the Arab region. Our findings support the first hypothesis that the knowledge economy exists in the Arab region and coincides with a substantial knowledge gap compared to other world regions. Our results corroborate the second hypothesis concerning the variation in knowledge indicators, according to the structure of the economy in the Arab region, and support the third hypothesis concerning the poor and slow progress in the trend of knowledge – related indicators in the Arab region. Therefore, it is essential for the Arab region to enhance the

Samia Satti; Osman Mohamed Nour; Samia Satti; Osman Mohamed Nour

2013-01-01T23:59:59.000Z

446

Knowledge Discovery for Counterterrorism and Law Enforcement, 1 edition  

Science Conference Proceedings (OSTI)

Most of the research aimed at counterterrorism, fraud detection, or other forensic applications assumes that this is a specialized application domain for mainstream knowledge discovery. Unfortunately, knowledge discovery changes completely when the datasets ...

David Skillicorn

2008-11-01T23:59:59.000Z

447

Vehicle Technologies Office: Fact #324: June 14, 2004 Knowledge...  

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

4: June 14, 2004 Knowledge of Hybrid Electric Vehicles Continues to Grow to someone by E-mail Share Vehicle Technologies Office: Fact 324: June 14, 2004 Knowledge of Hybrid...

448

Proceedings of the fifth international conference on Knowledge capture  

Science Conference Proceedings (OSTI)

In today's knowledge-driven world, effective access to and use of information is a key enabler for progress. Modern technologies not only are themselves knowledge-intensive technologies, but also produce enormous amounts of new information that we must ...

Yolanda Gil; Natasha Noy

2009-09-01T23:59:59.000Z

449

Issues in knowledge access, retrieval and sharing - Case studies in a Caribbean health sector  

Science Conference Proceedings (OSTI)

In knowledge sharing forums different actors access each others knowledge to assist in their own decision making process. However, in absence of a formal knowledge management system this knowledge may not be available for use/reuse. In this research, ... Keywords: Healthcare sector, Internal knowledge-transaction costs, Knowledge flows, Knowledge items, Knowledge sharing

Gunjan Mansingh; Kweku-Muata Osei-Bryson; Han Reichgelt

2009-03-01T23:59:59.000Z

450

Knowledge audit for a large scale government KM strategy  

Science Conference Proceedings (OSTI)

The promise of increased organizational performance has brought about a high level of interest for knowledge management (KM) from the part of actors involved in research and practice over the last 15 years. Governments are also actively launching KM ... Keywords: knowledge audit, knowledge management planning

Marie-Christine Roy; Mireille Sager; Jean-Francois Ricard

2013-06-01T23:59:59.000Z

451

Language, logic and ontology: Uncovering the structure of commonsense knowledge  

Science Conference Proceedings (OSTI)

The purpose of this paper is twofold: (i) we argue that the structure of commonsense knowledge must be discovered, rather than invented; and (ii) we argue that natural language, which is the best known theory of our (shared) commonsense knowledge, should ... Keywords: Commonsense knowledge, Ontology, Reasoning, Semantics

Walid S. Saba

2007-07-01T23:59:59.000Z

452

Continuous improvement of knowledge management systems using Six Sigma methodology  

Science Conference Proceedings (OSTI)

Knowledge retrieval is a decisive part of the performance of a knowledge management system. In order to enhance retrieval accuracy, an effective performance evaluation mechanism is necessary. Nowadays, there is not a standard evaluation framework for ... Keywords: Knowledge retrieval evaluation, Six sigma

Chiajou Lin; F. Frank Chen; Hung-Da Wan; Yuh Min Chen; Glenn Kuriger

2013-06-01T23:59:59.000Z

453

Efficient zero-knowledge identification schemes which respect privacy  

Science Conference Proceedings (OSTI)

At first glance, privacy and zero-knowledgeness seem to be similar properties. A scheme is private when no information is revealed on the prover and in a zero-knowledge scheme, communications should not leak provers' secrets. Until recently, privacy ... Keywords: identification, privacy, zero-knowledge

Julien Bringer; Hervé Chabanne; Thomas Icart

2009-03-01T23:59:59.000Z

454

Towards a knowledge society in India: issues for management  

Science Conference Proceedings (OSTI)

The paper points out that in the evolutionary process of human society, different groups of people have been left at different levels. Therefore, within countries, it is necessary to identify these different levels and tailor modern knowledge/skill ... Keywords: knowledge management, knowledge society, skill management, technology management

Y. S. Rajan

2003-08-01T23:59:59.000Z

455

Inferring robot goals from violations of semantic knowledge  

Science Conference Proceedings (OSTI)

A growing body of literature shows that endowing a mobile robot with semantic knowledge and with the ability to reason from this knowledge can greatly increase its capabilities. In this paper, we present a novel use of semantic knowledge, to encode information ... Keywords: Description logics, Environment stabilization, Fault detection and isolation, Goal autonomy, Mobile robotics, Norms, Ontology, Planning, Semantic maps

Cipriano Galindo, Alessandro Saffiotti

2013-10-01T23:59:59.000Z

456

Integrated knowledge management model and system for construction projects  

Science Conference Proceedings (OSTI)

In the past there has been no structured approach to learning from construction projects once they are completed. Now, however, the construction industry is adapting concepts of tacit and explicit knowledge management to improve the situation. Top managers ... Keywords: COPRAS method, Construction projects management, Knowledge management, Multiple criteria and multivariant analysis, Tacit and explicit knowledge

L. Kanapeckiene; A. Kaklauskas; E. K. Zavadskas; M. Seniut

2010-10-01T23:59:59.000Z

457

Organizational Memory/Knowledge Effects on Productivity: A Longitudinal Study  

Science Conference Proceedings (OSTI)

This paper discusses a longitudinal study that explored the relationship between use of organizational memory and knowledge (OM/K) and knowledge worker productivity within the engineering group at a nuclear power plant. Three data points were taken over ... Keywords: Knowledge Management Systems, Organizational Memory Systems, Organizational Learning, IS Success

M. Jennex; L. Olfman

2002-01-01T23:59:59.000Z

458

GMS: preserving multiple expert voices in scientific knowledge management  

Science Conference Proceedings (OSTI)

Computer archives of scientific and engineering knowledge must insure the accuracy, completeness, and validity of their contents. Unfortunately, designers of these sites often overlook the social and cognitive context of scientific activity in favor ... Keywords: cognitive psychology, ethnography, expert communities, information architecture, interaction design, knowledge design, scientific knowledge management, user interface design

Adria H. Liszka; William A. Stubblefield; Stephen D. Kleban

2003-06-01T23:59:59.000Z

459

Visualizing Space-Based Interactions Among Distributed Agents ...  

Science Conference Proceedings (OSTI)

... Heidelberg 2006. Visualizing Space-Based Interactions Among Distributed ..... Knowledge Generation, Frame Problem, Cognitive Mapping. Lecture Notes in ...

460

Searching For Unlawful Carnal Knowledge Leif Azzopardi  

E-Print Network (OSTI)

exploratory search systems, Marshall suggested that it was only a matter of time before a "porn" based

Jose, Joemon M.

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

The National Medical Knowledge Bank: Commercialization ...  

Science Conference Proceedings (OSTI)

... Intelligent Agent-based Continuing Education - Activity Menu ... production cost • Agent technology - lesson planning; student model; tutor; ontology ...

1999-11-29T23:59:59.000Z

462

College Students‘ GIS Spatial Concept Knowledge Assessed by Concept Maps  

E-Print Network (OSTI)

The development of spatial thinking proficiency has been increasingly demanded in Geographic Information System (GIS) education. Despite this educational trend, there is little empirical research on college students' spatial concept knowledge, which critically affects the quality of spatial thinking. This study addressed the following three research questions: 1) What differences exist between students' understandings of spatial concepts at the beginning, middle, and end of an introductory-level GIS course?, 2) What spatial misconceptions students may possess while taking an introductory-level GIS course?, and 3) Which spatial concepts are easy or hard for undergraduate students to understand? The researcher asked twelve participants who were taking an introductory-level GIS course to create concept maps about space and revised their concept maps in three experiment sessions. For the first question, the researcher scored the sixty obtained concept maps and statistically analyzed those scores to examine if there is any significant difference among the scores of the three experiment sessions. For the second question, the researcher examined participants' misconceptions by analyzing the incorrect statements of distortion, map projection, and scale. For the third question, the researcher statistically analyzed concept-based scores to examine if there is any significant difference among the scores of three different complexity levels. A main finding for the first question was that there was a significant difference among the scores of the concept maps created in the first session and the scores of the concept maps revised in the second and third sessions. This implied that participants could successfully revise their own original concept maps in the middle of a semester. The result of the study of the second question indicated that a half of participants misunderstood the concepts of map projections and scale. This result suggested that some undergraduate students may have difficulty shifting from scientifically inappropriate spatial concept knowledge to appropriate knowledge. Analysis of the third question resulted that the concept-based scores of simple spatial concepts are significantly higher than the scores of complicated spatial concepts. This result inferred that participants' scores decreased as the complexity of the concepts increased.

Oda, Katsuhiko

2011-05-01T23:59:59.000Z

463

DOE Essential Body of Knowledge | Department of Energy  

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

Essential Body of Knowledge Essential Body of Knowledge DOE Essential Body of Knowledge DOE Essential Body of Knowledge & Core Competency Training The Office of the Chief Information Officer (OCIO) utilized DOE cybersecurity policy, best practices and lessons learned, and comprehensive internal needs assessments to identify fundamental cybersecurity functional roles and associated responsibilities to and define the essential body of knowledge (EBK) needed to support cybersecurity responsibilities and activities within the Department. Components of the EBK are assigned to each functional role, and customized curriculum is determined for each key role via core competency worksheets. The OCIO has determined the following roles to be key functional cyber roles within the Department:

464

Gradual typing with unification-based inference  

Science Conference Proceedings (OSTI)

Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over which portions of the program are statically checked based on the ... Keywords: dynamic typing, gradual typing, simply typed lambda calculus, static typing, type inference, unification

Jeremy G. Siek; Manish Vachharajani

2008-07-01T23:59:59.000Z

465

Valve Application, Maintenance, and Repair Guide: In Situ State-of-the-Art Valve Welding Repair (Gate, Globe, & Check Valves), Volum e 2  

Science Conference Proceedings (OSTI)

The Valve Application, Maintenance and Repair Guide is a three volume series that provides a generic overview of valve application selection, maintenance, and repair. Volume 2 of this series is a comprehensive guide for in situ weld repair of gate, globe, and check valve components such as bodies, bonnets, discs, and seats. The information in this guide, though directed toward nuclear plant personnel, will assist all power plant engineers, planners, and maintenance personnel responsible for valve mainten...

1996-12-31T23:59:59.000Z

466

Evaluation and selection in product design for mass customization: A knowledge decision support approach  

Science Conference Proceedings (OSTI)

Mass customization has been identified as a competitive strategy by an increasing number of companies. Family-based product design is an efficient and effective means to realize sufficient product variety, while satisfying a range of customer demands ... Keywords: Customer-Driven Design, Design Evaluation, Fuzzy Clustering, Fuzzy Ranking, Knowledge Support, Mass Customization, Multicriteria Decision Making, Product Family Design, Product Platform

Xuan F. Zha; Ram D. Sriram; Wen F. Lu

2004-01-01T23:59:59.000Z

467

Improving knowledge management through the support of image examination and data annotation using DICOM structured reporting  

Science Conference Proceedings (OSTI)

An important effort has been invested on improving the image diagnosis process in different medical areas using information technologies. The field of medical imaging involves two main data types: medical imaging and reports. Developments based on the ... Keywords: DICOM, DICOM-SR, Data gid, Knowledge database, Medical imaging

José Salavert Torres; J. Damian Segrelles Quilis; Ignacio Blanquer Espert; Vicente Hernandez GarcíA

2012-12-01T23:59:59.000Z

468

GEF-Knowledge Management Initiative | Open Energy Information  

Open Energy Info (EERE)

Knowledge Management Initiative Knowledge Management Initiative Jump to: navigation, search Name GEF Knowledge Management Initiative: Strategic Framework and Work-Plan for GEF-5 Agency/Company /Organization Global Environment Facility (GEF) Resource Type Dataset, Lessons learned/best practices Website http://www.thegef.org/gef/site Program Start 2010 References GEF Knowledge Management[1] GEF Knowledge Management Initiative: Strategic Framework and Work-Plan for GEF-5 Screenshot " In December 2010, the Secretariat launched the KMI with the goal of ensuring that GEF knowledge, information and data are identified, captured, and shared in their entirety and developed as a strategic asset in a coherent and comprehensive manner." References ↑ "GEF Knowledge Management"

469

Preservice teachers' knowledge of linear functions within multiple representation modes  

E-Print Network (OSTI)

This study examines preservice teachers’ knowledge in the case of linear functions. Teachers’ knowledge in general consists of their subject matter knowledge and their pedagogical content knowledge. In this study, teachers’ subject matter knowledge is examined by looking at their ability to adapt to different representation modes. The framework for subject matter content knowledge consists of five components: (1) flexibility across formal mathematical symbolisms; (2) flexibility between visual and algebraic representations; (3) flexibility within visual representations; (4) flexibility with real-life situations, and (5) procedural skills. In terms of pedagogical content knowledge, two aspects were examined across five corresponding components. These two aspects were knowledge of students’ conceptions and misconceptions, and teachers’ teaching strategies. The primary source of data for the study was from two tests and six interviews. The results showed preservice teachers performed poorly in terms of representation flexibility. Furthermore, most of the preservice teachers had limited knowledge of the nature and sources of students’ mistakes as well as effective teaching strategies to help students with their misconceptions. In terms of knowledge structure, representation flexibility was found to be significant in both CK and PCK compared to procedural skills. Moreover, the representational flexibility in terms of CK seemed to strongly predict the overall PCK performance. Representational flexibility seemed to be related to the use of instructional representations. Overall, there was a strong relationship between various components of CK and PCK.

You, Zhixia

2006-08-01T23:59:59.000Z

470

A flexible computer software package for industrial steam reformers and methanators based on rigorous heterogeneous mathematical models  

Science Conference Proceedings (OSTI)

An advanced software package for industrial steam reformers based upon heterogeneous models for the catalyst tube is developed and successfully checked against a number of top-fired and side-fired industrial reformers. The package is further developed ...

F. M. Alhabdan; M. A. Abashar; S. S. E. Elnashaie

1992-11-01T23:59:59.000Z

471

Preserving Physics Knowledge at the Fast Flux Test Facility  

Science Conference Proceedings (OSTI)

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

Wootan, David W.; Omberg, Ronald P.; Makenas, Bruce J.; Nielsen, Deborah L.; Nelson, Joseph V.; Polzin, David L.

2011-11-01T23:59:59.000Z

472

Capturing Process Knowledge for Facility Deactivation and Decommissioning |  

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

Capturing Process Knowledge for Facility Deactivation and Capturing Process Knowledge for Facility Deactivation and Decommissioning Capturing Process Knowledge for Facility Deactivation and Decommissioning The Office of Environmental Management (EM) is responsible for the disposition of a vast number of facilities at numerous sites around the country which have been declared excess to current mission needs. Capturing Process Knowledge for Facility Deactivation and Decommissioning More Documents & Publications Capturing Process Knowledge for Facility Deactivation and Decommissioning Deactivation & Decommissioning Knowledge Management Information Tool (D&D KM-IT) Above on the left is K-25, at Oak Ridge before and after the 844,000 sq-ft demolition. In addition, on the right: K Cooling Tower at Savannah River Site demolition.

473

Event:Climate and Development Knowledge Brokers Workshop | Open Energy  

Open Energy Info (EERE)

Brokers Workshop Brokers Workshop Jump to: navigation, search Calendar.png Climate and Development Knowledge Brokers Workshop: on 2011/06/03 The workshop, convened by the UK Climate and Development Knowledge Network (CDKN), German International Cooperation (GIZ) and PIK, will bring together 20-25 of the leading global and regional initiatives involved in online knowledge brokerage work on climate and development. This will include a mix of web portals and other knowledge sharing platforms. The overarching objective of the workshop is to improve collaboration and knowledge sharing within the sector, in order to help reduce duplication of effort and better meet the needs of developing country information users. Event Details Name Climate and Development Knowledge Brokers Workshop

474

On Combining the Knowledge of Heterogeneous Information Repositories  

E-Print Network (OSTI)

: The Internet facilitates access to a large amount of electronic information. However, in order to exploit the flood of information, sophisticated search facilities are needed which convert the inundation of electronic data coming from numerous sources into real knowledge. From this knowledge a whole range of users will benefit, from business people to casual surfers and shoppers on the Internet. Intelligent agents or knowledge brokers play a vital role in realizing this vision. This paper presents a framework for knowledge brokers who search for information which is potentially available but stored in a way not always foreseen how the information will be exploited. More striking, the paper presents an architectural framework where the user can retrieve and combine knowledge uniformly, irrespective of where or how the knowledge-representing information is stored. Lessons learned from a prototype implementation allow a discussion of shortcomings due to the emphasis of current informati...

Uwe M. Borghoff; Johann H. Schlichter

1996-01-01T23:59:59.000Z

475

Processes, data structures, and apparatuses for representing knowledge  

SciTech Connect

Processes, 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. (West Richland, WA); Thomson, Judi R. (Guelph, CA); Harvey, William J. (Richland, WA); Paulson, Patrick R. (Pasco, WA); Whiting, Mark A. (Richland, WA); Tratz, Stephen C. (Richland, WA); Chappell, Alan R. (Seattle, WA); Butner, R. Scott (Richland, WA)

2011-09-20T23:59:59.000Z

476

Knowledge Integration to Make Decisions About Complex Systems: Sustainability of Energy Production from Agriculture  

DOE Green Energy (OSTI)

A major bottleneck for improving the governance of complex systems, rely on our ability to integrate different forms of knowledge into a decision support system (DSS). Preliminary aspects are the classification of different types of knowledge (a priori or general, a posteriori or specific, with uncertainty, numerical, textual, algorithmic, complete/incomplete, etc.), the definition of ontologies for knowledge management and the availability of proper tools like continuous simulation models, event driven models, statistical approaches, computational methods (neural networks, evolutionary optimization, rule based systems etc.) and procedure for textual documentation. Following these views at University of Udine, a computer language (SEMoLa, Simple, Easy Modelling Language) for knowledge integration has been developed. SEMoLa can handle models, data, metadata and textual knowledge; it implements and extends the system dynamics ontology (Forrester, 1968; Joergensen, 1994) in which systems are modeled by the concepts of material, group, state, rate, parameter, internal and external events and driving variables. As an example, a SEMoLa model to improve management and sustainability (economical, energetic, environmental) of the agricultural farms is presented. The model (X-Farm) simulates a farm in which cereal and forage yield, oil seeds, milk, calves and wastes can be sold or reused. X-Farm is composed by integrated modules describing fields (crop and soil), feeds and materials storage, machinery management, manpower management, animal husbandry, economic and energetic balances, seed oil extraction, manure and wastes management, biogas production from animal wastes and biomasses.

Danuso, Francesco (University of Udine)

2008-06-18T23:59:59.000Z

477

Acquisition, Articulation, and Transferring of Knowledge in Professional Learning Communities (PLC)  

E-Print Network (OSTI)

The mastery of some form of esoteric knowledge unique to theas “experts who applied esoteric knowledge to particularand codified body of esoteric knowledge in the teaching

Vargas, Patricio

2011-01-01T23:59:59.000Z

478

Knowcations: the quest for a personal knowledge management solution  

Science Conference Proceedings (OSTI)

During the author's PhD studies in the early 90s, an idea originated for a database system (DBS) supporting Personal Knowledge Management (PKM). Since then, a prototype has been continuously expanded to integrate additional uses and functionalities. ... Keywords: KM building blocks, PKM, capacity development, collaboration, creativity, domains of ignorance, emotional capital, evolution, future of work, intellectual capital, knowledge society, knowns, mastery, memes, memetics, personal knowledge management, selfish gene, social capital, unknowns

Ulrich Schmitt

2012-09-01T23:59:59.000Z

479

Knowledge Partnership for Measuring Air Pollution and Greenhouse...  

Open Energy Info (EERE)

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

480

Fermilab Friends for Science Education | Tree of Knowledge  

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

at the Lederman Science Center is the lovely bronze sculptured tree adorned with brass leaves. The Tree of Knowledge is an opportunity for contributors to perpetuate their...

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 Workflow Design Process for Public Healthcare Knowledge ...  

A Workflow Design Process for Public Healthcare Knowledge Discovery Note: The technology described above is an early stage opportunity. Licensing rights to this ...

482

Knowledge, Skills, and Abilities for Key Radiation Protection...  

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

Notice No. 1 November 2007 DOE STANDARD KNOWLEDGE, SKILLS, AND ABILITIES FOR KEY RADIATION PROTECTION POSITIONS AT DOE FACILITIES U.S. Department of Energy FSC 6910...

483

Design of currency, markets, and economy for knowledge  

E-Print Network (OSTI)

Information markets benefit the communities they serve by facilitating electronic distributed exchange of information. Further benefits include enhancing knowledge sharing, innovation, and productivity. This research ...

Shen, Dawei

2012-01-01T23:59:59.000Z

484

Sustainable building technology knowledge representation: Using Semantic Web techniques  

Science Conference Proceedings (OSTI)

The global quest for sustainability in the exploitation of resources and the need for carbon foot-print reduction has resulted in the development of a large number of innovations and a huge amount of knowledge on sustainable building technologies. Unfortunately, ... Keywords: Knowledge representation, Ontology, Photovoltaic system, Semantic Web, Sustainable building technology

Joseph H. M. Tah; Henry F. Abanda

2011-08-01T23:59:59.000Z

485

Heart Knowledge A short time after being diagnosed with  

E-Print Network (OSTI)

Heart Knowledge A short time after being diagnosed with cancer in December of 2005 I was having healing." "Listen with your heart," he said. He insisted I put my full faith in my oncologist, my surgeon that I needed to attend to my "inner healing and heart knowledge." What did Cliff mean by "heart

O'Laughlin, Jay

486

Velo: riding the knowledge management wave for simulation and modeling  

Science Conference Proceedings (OSTI)

Modern scientific enterprises are inherently knowledge-intensive. In general, scientific studies in domains such as geosciences, climate, and biology require the acquisition and manipulation of large amounts of experimental and field data in order to ... Keywords: content management, knowledge management, scientific modeling, simulation, wiki

Ian Gorton; Chandrika Sivaramakrishnan; Gary Black; Signe White; Sumit Purohit; Michael Madison; Karen Schuchardt

2011-05-01T23:59:59.000Z

487

Knowledge management within information security: the case of Barings Bank  

Science Conference Proceedings (OSTI)

Managing the growing problem of computer fraud within organisations has led researchers and practitioners to emphasise the need to take into account the 'social' aspects of information security. In addition, wider organisational issues such as ... Keywords: Barings Bank, KM, computer fraud, information security management, knowledge management, manager awareness, opportunities, organisational functions, social aspects, tacit knowledge, technical aspects

Shalini Kesar

2008-07-01T23:59:59.000Z

488

Opportunities for knowledge management tools in clinical genetic services  

Science Conference Proceedings (OSTI)

This study aims to characterize the challenges in utilizing genetic information in health care and to identify opportunities for genetics knowledge management. Taking a grounded theory approach, we conducted semi-structured interviews with 48 New Zealand ... Keywords: clinical decision support systems, human genetics, knowledge management

Yulong Gu, Jim Warren, Karen Day

2011-01-01T23:59:59.000Z

489

Texas Tech University Knowledge Representation Group Reasoning about agents intentions  

E-Print Network (OSTI)

1 Texas Tech University Knowledge Representation Group Reasoning about agents intentions Justin Blount and Michael Gelfond October 17, 2011 #12;2 Texas Tech University Knowledge Representation Group) and a rational agents response to the failure of a plan to achieve its goal. #12;3 Texas Tech University

Zhang, Yuanlin

490

Texas Tech University Knowledge Representation Group Modular Action Language ALM  

E-Print Network (OSTI)

1 Texas Tech University Knowledge Representation Group Modular Action Language ALM Michael Gelfond and Daniela Inclezan Computer Science Department Texas Tech University February 11, 2010 #12;2 Texas Tech for specifying such diagrams. #12;3 Texas Tech University Knowledge Representation Group Action Languages and ASP

Zhang, Yuanlin

491

Identification of signatures in biomedical spectra using domain knowledge  

Science Conference Proceedings (OSTI)

Objective: Demonstrate that incorporating domain knowledge into feature selection methods helps identify interpretable features with predictive capability comparable to a state-of-the-art classifier. Methods: Two feature selection methods, one using ... Keywords: Classification of biomedical spectra, Consensus feature sets, Dimensionality reduction, Domain knowledge, Feature selection, Genetic algorithm, L1-norm SVM, Spectral signature

Erinija Pranckeviciene; Ray Somorjai; Richard Baumgartner; Moon-Gu Jeon

2005-11-01T23:59:59.000Z

492

Knowledge management in supply chain: An empirical study from France  

Science Conference Proceedings (OSTI)

Supply chain management has assumed a leading operations strategy position in both manufacturing and service industries, and over the past 10years companies have seriously implemented supply chain management strategies in their organizations. Knowledge ... Keywords: Empirical research, Framework, Knowledge management, Supply chain

Karine Evrard Samuel; Marie-Lyne Goury; Angappa Gunasekaran; Alain Spalanzani

2011-09-01T23:59:59.000Z

493

A knowledge representation model for the nuclear power generation domain  

Science Conference Proceedings (OSTI)

A knowledge representation model for the nuclear power field is proposed. The model is a generalized production rule function inspired by a neural network approach that enables the representation of physical systems of nuclear power plants. The article ... Keywords: Knowledge representation, Nuclear power plant, Physical systems, Production rules

Thiago Tinoco Pires

2007-11-01T23:59:59.000Z

494

Knowledge-Intensive Work in the Oil and Gas Industry  

E-Print Network (OSTI)

Knowledge-Intensive Work in the Oil and Gas Industry: A Case Study Thesis for the degree collaborative work practices within a large international oil and gas company (OGC). The work is founded empirical findings, we argue that in knowledge-intensive, interdisciplinary work such as oil and gas

Langseth, Helge

495

Strong concepts: Intermediate-level knowledge in interaction design research  

Science Conference Proceedings (OSTI)

Design-oriented research practices create opportunities for constructing knowledge that is more abstracted than particular instances, without aspiring to be at the scope of generalized theories. We propose an intermediate design knowledge form that we ... Keywords: Design research, bare-skin connection, seamfulness, social navigation, strong concepts

Kristina Höök; Jonas Löwgren

2012-10-01T23:59:59.000Z

496

Technical Specialized Knowledge and Secondary Shares in Initial Public Offerings  

Science Conference Proceedings (OSTI)

This paper utilizes an understudied but often utilized aspect of initial public offerings (IPOs), secondary shares, to examine whether the knowledge conditions of firms give rise to agency problems that limit the ability of founders and venture capitalists ... Keywords: IPOs, entrepreneurship, founder exit, secondary shares, specialized knowledge, venture capital

Marc T. Junkunc; Jonathan T. Eckhardt

2009-10-01T23:59:59.000Z

497

LEDSGP/tools/knowledge-portals | Open Energy Information  

Open Energy Info (EERE)

tools/knowledge-portals tools/knowledge-portals < LEDSGP‎ | tools Jump to: navigation, search LEDSGP Logo.png Advancing climate-resilient low emission development around the world Home About Tools Expert Assistance Events Publications Join Us Tools Activities Inventory LEDS Toolkits Knowledge Portals Featured Tools Knowledge Portals The following knowledge portals provided by our partner institutions also support climate-resilient low emission development. Clean Energy Solutions Center The Clean Energy Solutions Center serves as a first-stop clearinghouse of clean energy policy reports, data and tools, and provides interactive expert assistance and training forums. The Solutions Center is an initiative of the Clean Energy Ministerial, a global forum to share best practices and promote policies and programs that encourage and facilitate

498

Desalination 167 (2004) 27–37 Greywater reuse: knowledge management for sustainability  

E-Print Network (OSTI)

This paper aims to highlight the value of knowledge management in greywater reuse. It presents a model of knowledge management that shows how institutional knowledge can be created in water management. It is concluded that water knowledge is created through developing a process of transforming water tacit knowledge to explicit knowledge. The knowledge creation is realized through a process of socialization. Local knowledge can be formalized through the reflection of water professionals. A case study on greywater reuse in Jordan is presented.

Odeh Al-jayyousi

2004-01-01T23:59:59.000Z

499

Sharing tacit design knowledge in a distributed design environment  

E-Print Network (OSTI)

Throughout the life-cycle of a design project, architects rely heavily on their tacit design knowledge to support design decisions. Tacit knowledge is highly personal and implicit. As such, it encompasses expertise, intuitive understanding, and professional insight formed as a result of experience. Due to its implicit nature, tacit design knowledge is typically shared only among colleagues who work in the same office through face-toface interactions. With emerging Computer-Mediated Communication (CMC) technologies, designers face new opportunities for capturing and reusing tacit design knowledge. However, there is no accepted CMC strategy for sharing tacit design knowledge in the Architecture, Engineering, and Construction (AEC) industry. This research investigates the impact of tacit design knowledge on design performance in a distributed design environment supported by CMC software. The software was developed and tested in three design studios in which design students sought advice from experts in remote locations. It provides tools for showing images, such as drawings and renderings, and for engaging in a written dialogue (chat session). The written and graphic artifacts of the conversation are stored in a Web-accessible database. The chat sessions included the identification, clarification, and explanation of real problems. Dialogue records provide evidence of a significant influence upon the students� approach to conceptual design. Content analysis of the comments from the experts provides qualitative evidence for the software�s effectiveness. The participants shared past experience, professional recommendations, and intuitive expectations. In follow-up surveys, most participants reported that their experience with the software was very enjoyable and the software is well-designed to support sharing of design knowledge. This research also suggests that tacit design knowledge may be confidently captured and shared through careful strategic implementation of CMC technology in a distributed design environment. Demographic and attitudinal surveys of the participants suggest that enabling factors for sharing tacit design knowledge include knowledge sharing attitude, just-in-time expertise matching, and timing of the communication.

Woo, Jeong-Han

2005-08-01T23:59:59.000Z

500

Collaborative Ontological Engineering of Instructional Design Knowledge for an ITS Authoring Environment  

E-Print Network (OSTI)

Intelligence in an ITS authoring system could rely on content-based engineering of instructional design (ID) knowledge, i.e. based on principles such as conceptualization, standardization and theory-awareness. An ontology-based architecture with appropriate ontologies has been proposed for a theory-aware ITS authoring system. Ontological engineering (OE) as a collaborative process jointly conducted by an OE expert and an ID expert is presented as a step on a roadmap towards a theory-aware ITS authoring system.

Jacqueline Bourdeau; Riichiro Mizoguchi

2002-01-01T23:59:59.000Z