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


1

Computational fact checking from knowledge networks  

E-Print Network [OSTI]

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

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

2015-01-01T23:59:59.000Z

2

Software-Based Concurrent Control Flow Checking  

E-Print Network [OSTI]

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

Fey, Dietmar

3

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

E-Print Network [OSTI]

SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University to the verification of embedded soft- ware written in ANSI-C. We have extended the encodings from previous SMT. Keywords-Bounded Model Checking; Satisfiability Modulo Theories; Embedded ANSI-C Software; I. INTRODUCTION

4

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

E-Print Network [OSTI]

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

Wong, Tan F.

5

An Insulating Glass Knowledge Base  

SciTech Connect (OSTI)

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

6

THE SOFTWARE KNOWLEDGE BASE Bertrand Meyer  

E-Print Network [OSTI]

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

Meyer, Bertrand

7

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

E-Print Network [OSTI]

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

8

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

E-Print Network [OSTI]

SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University to the verification of embedded soft- ware written in ANSI-C. We have extended the encod- ings from previous SMT and linear arithmetic were considered, but no encoding was provided for ANSI-C [6] constructs such as bit

9

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

E-Print Network [OSTI]

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

Manolios, Panagiotis "Pete"

10

Check valve  

DOE Patents [OSTI]

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

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

1999-08-24T23:59:59.000Z

11

Check valve  

DOE Patents [OSTI]

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

Upton, H.A.; Garcia, P.

1999-08-24T23:59:59.000Z

12

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

E-Print Network [OSTI]

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

Cordeiro, Lucas; Marques-Silva, Joao

2009-01-01T23:59:59.000Z

13

A knowledge based approach to preliminary highway bridge design  

E-Print Network [OSTI]

focuses on the development of a knowledged based system which would help to guide the inexperienced engineer to a preliminary design configuration for highway bridges. The knowledge based system developed in this study focuses on the preliminary design...

Woodward, Richard Dean

1995-01-01T23:59:59.000Z

14

Knowledge base machines: requirements and short to medium term possibilities  

E-Print Network [OSTI]

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

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

15

Towards a Grid Information Knowledge Base , Marios D. Dikaiakos1  

E-Print Network [OSTI]

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

Pallis, George

16

The Cognitive Ergonomics of Knowledge-Based Design Support Systems  

E-Print Network [OSTI]

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

17

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

E-Print Network [OSTI]

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

Graham, Nick

18

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

E-Print Network [OSTI]

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

Ching-Yi Lai; Chung-Chin Lu

2007-12-02T23:59:59.000Z

19

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

E-Print Network [OSTI]

; (2) OIL, an ontology- based inference layer on top of the World-Wide Web; (3) an associated methodology; (4) validation by industrial case studies. This paper gives an overview of the On-To-Knowledge approach to knowledge management. 1. Heterogeneous Information Resources Need Semantic Access Support

van Harmelen, Frank

20

The process for integrating the NNSA knowledge base.  

SciTech Connect (OSTI)

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

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

Assertion Absorption in Object Queries over Knowledge Bases  

E-Print Network [OSTI]

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

Waterloo, University of

22

KNOWLEDGE-BASED DECISION SUPPORT IN OIL WELL DRILLING  

E-Print Network [OSTI]

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

Aamodt, Agnar

23

NetPal: A Dynamic Network Administration Knowledge Base  

E-Print Network [OSTI]

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

Milios, Evangelos E.

24

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

25

Integrating knowledge-based techniques into well-test interpretation  

SciTech Connect (OSTI)

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

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

1995-04-01T23:59:59.000Z

26

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

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

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

27

A Knowledge-based Approach for Lifelike Gesture Stefan Kopp  

E-Print Network [OSTI]

A Knowledge-based Approach for Lifelike Gesture Animation Stefan Kopp and Ipke Wachsmuth besides speech has moved into focus of human-computer interface researchers, as humans are more likely of gesture animations for an articulated figure. It com- bines a formalism for the representation

Moeller, Ralf

28

Knowledge-Based Design of Scheduling Systems Jrgen Sauer  

E-Print Network [OSTI]

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

Appelrath, Hans-Jürgen

29

Genetic Programming of Full Knowledge Bases for Fuzzy Logic Controllers  

E-Print Network [OSTI]

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

Fernandez, Thomas

30

ISPE: A knowledge-based system for fluidization studies  

SciTech Connect (OSTI)

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

Reddy, S.

1991-01-01T23:59:59.000Z

31

Using the DOE Knowledge Base for Special Event Analysis  

SciTech Connect (OSTI)

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

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

1998-10-20T23:59:59.000Z

32

Visual detectability analysis associate: a knowledge-based system  

E-Print Network [OSTI]

, Fischer (1982) points out, knowledge-based systems may be used as tools capable of expanding human potential, and Barr and Feigenbaum (1982, p. 81) go on to state that ". . . many systems can be viewed as consultants that formulate opinions and give.... ) describes AI as ". . . the science of making machines do things that would require intelligence if done by man. " Barr and Feigenbaum (1982) describe AI as a branch of computer science which involves the 20 study of the relationship between computation...

Haverda, Tony Houston

1989-01-01T23:59:59.000Z

33

A knowledge based model of electric utility operations. Final report  

SciTech Connect (OSTI)

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

34

Development of knowledge bases for large steam turbine transients  

SciTech Connect (OSTI)

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

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

1995-09-01T23:59:59.000Z

35

Knowledge-based modeling using GIS: nonpoint source pollution application  

E-Print Network [OSTI]

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

Mohite, Mahendra P.

2012-06-07T23:59:59.000Z

36

Knowledge-based stratigraphic well-log correlation  

E-Print Network [OSTI]

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

Denton, Michael A.

1990-01-01T23:59:59.000Z

37

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

E-Print Network [OSTI]

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

Treurniet, J.J.

2015-01-01T23:59:59.000Z

38

Identification of threats using linguistics-based knowledge extraction.  

SciTech Connect (OSTI)

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

Chew, Peter A.

2008-09-01T23:59:59.000Z

39

Plan generation strategies for a knowledge based process planning system  

E-Print Network [OSTI]

-12. Checking Manufacturability at Site 3-13. Plan Alternate Process 3-14. Review Plans Critically 3-15. Plan Refinement 3-16. Evaluation of Plans 45 47 48 49 50 52 3-17. Detail Plan 53 3-18. Understanding Part Features 55 3-19. Evolving... manufacturing system where quick decisions have to be made on the shop when production is interrupted for contingencies. 15 2. 3. 2 The Generative Approach A generative process planning system synthesizes new process plans automatically. It enables...

Hari, Umesh

1993-01-01T23:59:59.000Z

40

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

E-Print Network [OSTI]

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

Wong, Tan F.

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

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

E-Print Network [OSTI]

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

Wang, Kewen

42

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

E-Print Network [OSTI]

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

Middleton, Stuart E.

43

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

44

EXAMPLE FOR COMPLETE MANUSCRIPT STRATEGIC KNOWLEDGE MANAGEMENT IN SME BASED ON  

E-Print Network [OSTI]

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

45

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

E-Print Network [OSTI]

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

Boyer, Edmond

46

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

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

47

A heuristic knowledge base for plant hormone action  

E-Print Network [OSTI]

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

Finkelstein, David Benjamin

1993-01-01T23:59:59.000Z

48

A knowledge-based control paradigm for real-time systems  

E-Print Network [OSTI]

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

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

1988-08-24T23:59:59.000Z

49

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

E-Print Network [OSTI]

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

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

1988-01-01T23:59:59.000Z

50

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

E-Print Network [OSTI]

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

Pla, Ferran

51

Toward a consistency cross-check of eddy covariance fluxbased 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

52

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

E-Print Network [OSTI]

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

Wilson, Derek Alan

2011-02-22T23:59:59.000Z

53

Records Schedule Contractor Checks  

Broader source: Energy.gov (indexed) [DOE]

The Treasliry's Financial Management Service (FMS) R11rea11 has cited that the forensic value of orizinal checks are ncedcd to pursue forgery cases in accordance with the...

54

Ontology-Based Knowledge Acquisition for Neuromotor Functional Recovery in Stroke  

E-Print Network [OSTI]

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

Huang, Jingshan

55

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

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

56

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

E-Print Network [OSTI]

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

McLaren, Bruce Martin

57

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

E-Print Network [OSTI]

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

Lespérance, Yves

58

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

E-Print Network [OSTI]

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

Sidorov, Nikita

59

Knowledge-Based Automation of a Design Method for Concurrent Systems  

E-Print Network [OSTI]

Knowledge-Based Automation of a Design Method for Concurrent Systems Kevin L. Mills, Senior Member to automate a software design method for concurrent systems. The approach uses multiple paradigms to represent-system shell, compose CODA, an automated designer's assistant. Other forms of automated reasoning

60

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

E-Print Network [OSTI]

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

Katsumoto, Shingo

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

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

E-Print Network [OSTI]

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

Fernandez, Thomas

62

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

SciTech Connect (OSTI)

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

Reddy, S.

1991-01-01T23:59:59.000Z

63

Vendor Check-In Vendor Check-In Times  

E-Print Network [OSTI]

Vendor Check-In Vendor Check-In Times: 8:00am ­ 10:00am All vendors must check-in and have early. Participants may begin arriving as early as 10:00am. Vendor Parking is only available in the Vendor Parking Lot off of California Ave. Please refer to Vendor Parking Information. CHECK-IN PROCESS

Rose, Michael R.

64

STEP Intern Reference Check Sheet  

Broader source: Energy.gov [DOE]

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

65

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

SciTech Connect (OSTI)

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

Alten, S.

1992-01-01T23:59:59.000Z

66

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

E-Print Network [OSTI]

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

Jung, Jin Hwan

2005-08-29T23:59:59.000Z

67

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

SciTech Connect (OSTI)

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

Allen D. Malony; Sameer Shende

2011-08-15T23:59:59.000Z

68

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

SciTech Connect (OSTI)

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

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

1991-11-01T23:59:59.000Z

69

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

E-Print Network [OSTI]

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

Jin, Yaochu

70

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

E-Print Network [OSTI]

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

Liu, Shiyong; Vakser, Ilya A.

2011-07-11T23:59:59.000Z

71

Check Estimates and Independent Costs  

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

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

1997-03-28T23:59:59.000Z

72

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

SciTech Connect (OSTI)

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

73

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

SciTech Connect (OSTI)

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

William Grundy; Manuel Ares, Jr.; David Haussler

2001-06-18T23:59:59.000Z

74

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

SciTech Connect (OSTI)

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

75

Fuzzy Linguistic Knowledge Based Behavior Extraction for Building Energy Management Systems  

SciTech Connect (OSTI)

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

76

The contribution of knowledge bases to compliance assessment : a case study of industrial maintenance in the gas sector.  

E-Print Network [OSTI]

, particularly in the field of health, safety and environmental (HSE) risk management. Collaborative research the management of regulatory compliance. Originally oriented towards HSE issues, the long-term intention compliance management system. This paper therefore discusses the criteria for a knowledge base management

Paris-Sud XI, Université de

77

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

E-Print Network [OSTI]

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

Leeds, University of

78

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

E-Print Network [OSTI]

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

79

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 of Aberdeen Aberdeen, AB24 3UE, UK {jyu, ereiter, jhunter, ssripada}@csd.abdn.ac.uk Abstract: SumTime-Turbine produces textual summaries of archived time- series data from gas turbines. These summaries should help

Reiter, Ehud

80

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

E-Print Network [OSTI]

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

Valdes-Perez, Raul E.

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

Behavioral Model Equivalence Checking for Large Analog Mixed Signal Systems  

E-Print Network [OSTI]

is solved by interfacing a sequential quadratic programming (SQP) based optimizer with commercial circuit simulation tools, such as CADENCE SPECTRE. The proposed methodology is then applied for equivalence checking of a PLL as a test case and results...

Singh, Amandeep

2012-07-16T23:59:59.000Z

82

Vector network analyzer check standards measurements and database software  

SciTech Connect (OSTI)

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

Duda, L.E.

1996-05-01T23:59:59.000Z

83

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

SciTech Connect (OSTI)

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

84

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

E-Print Network [OSTI]

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

Devlin, Keith

85

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

E-Print Network [OSTI]

control schools (comprising 1133 children) completed the trial. The main reason for non-completion was time pressure of the school curriculum. Mean total nutrition knowledge score increased by 1.1 in intervention (baseline to follow-up: 28.3 to 29.2) and 0...

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

2010-03-10T23:59:59.000Z

86

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

E-Print Network [OSTI]

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

87

Integrity Checking for Uncertain Data Hendrik Decker  

E-Print Network [OSTI]

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

Martinenghi, Davide

88

DRIVER RECORD CHECK REQUEST FORM  

E-Print Network [OSTI]

DRIVER RECORD CHECK REQUEST FORM This form must be submitted to the Sport Clubs Office at least TWO weeks prior to your club's departure and serves as a request for permission to become an approved driver, please email us at sportclb@umn.edu or call 612-625-6017. Driver Information *Enter the following

Amin, S. Massoud

89

Pet Groomer? Check this out....  

E-Print Network [OSTI]

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

New Hampshire, University of

90

REFERENCE AND BACKGROUND CHECK PROCESS  

E-Print Network [OSTI]

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

Su, Xiao

91

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

SciTech Connect (OSTI)

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

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

1988-01-01T23:59:59.000Z

92

ACCOUNTS PAYABLE CHECK REQUEST FORM Vendor Name  

E-Print Network [OSTI]

ACCOUNTS PAYABLE CHECK REQUEST FORM Vendor Name Remit to Address City State Zip Code SECTION 2 INSTRUCTIONS Use the link to view approved categories. Vendor Number (if known) DP Requester AP Entry Check

de Lijser, Peter

93

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

E-Print Network [OSTI]

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

Tiwary, Ashutosh

1986-01-01T23:59:59.000Z

94

Model-Checking A Tutorial Introduction  

E-Print Network [OSTI]

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

Müller-Olm, Markus

95

Dynamic Testing of Check Valves William Rahmeyer  

E-Print Network [OSTI]

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

Rahmeyer, William J.

96

Local Model Checking Games (Extended Abstract)  

E-Print Network [OSTI]

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

Stirling, Colin

97

Local Model Checking Games (Extended Abstract)  

E-Print Network [OSTI]

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

Stirling, Colin

98

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

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

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

99

Payroll Check Direct Deposit Authorization  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLas ConchasPassive Solar Home Design Passive Solar Home Design June 24,F.Payroll Check Direct

100

A Knowledge-Based Approach for Power-Plant Availability Analysis  

E-Print Network [OSTI]

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

Reddy, A. Chandra Shekar

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

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

E-Print Network [OSTI]

Fire Alarm Testing and Inspection Planning and Vendor Check In/Check Out Process DOCUMENT PURPOSE This process is used for fire alarm testing and inspection pre-work planning and vendor check in and check out. BUILDING NAME/#: ___________________/_____ VENDOR: ________________________ TECHNICIAN

Webb, Peter

102

SUPPORTING DOMAIN SPECIFIC WEB-BASED SEARCH USING HEURISTIC KNOWLEDGE EXTRACTION  

E-Print Network [OSTI]

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

Gunanathan, Sudharsan

2010-01-16T23:59:59.000Z

103

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

E-Print Network [OSTI]

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

Glass, Emily Ann

1990-01-01T23:59:59.000Z

104

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

105

Static Consistency Checking for Distributed Specifications  

E-Print Network [OSTI]

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

Finkelstein, Anthony

106

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

E-Print Network [OSTI]

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

Abad, Enrique; Gil, Julia

2015-01-01T23:59:59.000Z

107

The BREIN-Roadmap with PROMOTE : A Use-Case Scenario of a Service-Based Knowledge Management Approach  

E-Print Network [OSTI]

Abstract: BREIN is an FP6 EC-Project dealing with the development of an intelligent grid infrastructure. A key knowledge management challenge to be addressed within the project is the distribution of the results from the project to the software development community, in order to foster the usage of the BREIN middleware. Therefore this project introduces the BREIN Roadmap. The Roadmap is realized applying the knowledge management approach PROMOTE that enables the knowledge transformation and distribution.

Robert Woitsch; Andrea Leutgeb

108

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

SciTech Connect (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

109

Knowledge-based control  

E-Print Network [OSTI]

, are examined. An aeronautical application is used to illuminate the concepts examined. Two levels of architecture are presented for implementing qualitative decision and control for an aircraft. A geometric rather than algebraic approach is taken...

Painter, John H.

1992-03-17T23:59:59.000Z

110

Fortuna: Model Checking Priced Probabilistic Timed Automata  

E-Print Network [OSTI]

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

Vaandrager, Frits

111

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

112

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

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

113

Knowledge information management toolkit and method  

DOE Patents [OSTI]

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

Hempstead, Antoinette R.; Brown, Kenneth L.

2006-08-15T23:59:59.000Z

114

Completeness and Complexity of Bounded Model Checking #  

E-Print Network [OSTI]

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

Ouaknine, Jol

115

Completeness and Complexity of Bounded Model Checking  

E-Print Network [OSTI]

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

Ouaknine, Jol

116

Asserting and Checking Determinism for Multithreaded Programs  

E-Print Network [OSTI]

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

Sen, Koushik

117

Knowledge Generation  

SciTech Connect (OSTI)

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

BRABSON,JOHN M.; DELAND,SHARON M.

2000-11-02T23:59:59.000Z

118

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

E-Print Network [OSTI]

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

Barr, Sheldon Martin

2013-01-07T23:59:59.000Z

119

Formalization of the data flow diagram rules for consistency check  

E-Print Network [OSTI]

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

Ibrahim, Rosziati; 10.5121/ijsea.2010.1406

2010-01-01T23:59:59.000Z

120

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

E-Print Network [OSTI]

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

Massachusetts at Lowell, University of

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

Check Out - Combustion Energy Frontier Research Center  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation Proposed New Substation SitesStandingtheirCheck In & Registration Check In &FAQ »

122

Efficient Model Checking of PSL Safety Properties Tuomas Launiainen  

E-Print Network [OSTI]

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

Heljanko, Keijo

123

Keep new concepts Check cognition level  

E-Print Network [OSTI]

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

Chaudhuri, Surajit

124

ModelChecking A Tutorial Introduction  

E-Print Network [OSTI]

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

Schmidt, David A.

125

Fortuna: Model Checking Priced Probabilistic Timed Automata  

E-Print Network [OSTI]

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

Vaandrager, Frits

126

CRADA CHECKLIST For Your Convenience, check off  

E-Print Network [OSTI]

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

Baker, Chris I.

127

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

SciTech Connect (OSTI)

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

128

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

129

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

E-Print Network [OSTI]

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

Spronck, Pieter

130

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

E-Print Network [OSTI]

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

Paris-Sud XI, Universit de

131

Knowledge Infusion Leslie G. Valiant  

E-Print Network [OSTI]

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

Valiant, Leslie

132

A VSLI design rule check program generator  

E-Print Network [OSTI]

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

Harwood, Ann Elizabeth Gelber

1985-01-01T23:59:59.000Z

133

Check Heat Transfer Surfaces | Department of Energy  

Broader source: Energy.gov (indexed) [DOE]

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarly Career Scientists'Montana. DOCUMENTS AVAILABLE FORSuperior Energy5-1 Chapter 5 Loswhen to check andthe

134

Deactivation & Decommissioning Knowledge Management Information...  

Broader source: Energy.gov (indexed) [DOE]

and use by its users supporting a strategic vision of its knowledge base becoming self-sustaining through active participation by the D&D community of practice. Deactivation &...

135

aerospace knowledge diffusion: Topics by E-print Network  

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

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

136

Checking Consistency of C and Verilog using Predicate Abstraction and Induction  

E-Print Network [OSTI]

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

137

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

E-Print Network [OSTI]

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

Selvarathinam, Anand Manivannan

2005-11-01T23:59:59.000Z

138

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.

139

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

E-Print Network [OSTI]

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

Beame, Paul

140

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

E-Print Network [OSTI]

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

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

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

E-Print Network [OSTI]

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

142

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

E-Print Network [OSTI]

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

Devlin, Patrick M

2015-01-03T23:59:59.000Z

143

ARKTOS: a knowledge engineering software tool for images  

E-Print Network [OSTI]

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

Soh, L. K.; Tsatsoulis, Costas

2002-12-01T23:59:59.000Z

144

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

SciTech Connect (OSTI)

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

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

2012-11-01T23:59:59.000Z

145

Bioenergy Knowledge Discovery Framework Recognized at National...  

Energy Savers [EERE]

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

146

Termination and Reduction Checking for HigherOrder Logic Programs  

E-Print Network [OSTI]

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

Pientka, Brigitte

147

Termination and Reduction Checking for Higher-Order Logic Programs  

E-Print Network [OSTI]

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

Pientka, Brigitte

148

Instruction Guide Paying Vendors: Checking Vouchers for Errors  

E-Print Network [OSTI]

Instruction Guide Paying Vendors: Checking Vouchers for Errors and Match Exceptions Updated the Pay Terms on the voucher · Changing the Vendor or Vendor address · Vouchering a PO that have receipts link or the Error Summary tab. #12;Instruction Guide Paying Vendors: Checking Vouchers for Errors

Watson, Craig A.

149

Designing programs that check their work \\Lambda Manuel Blum  

E-Print Network [OSTI]

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

Plotkin, Joshua B.

150

Formal Proof of Abstract Model Checking of Concurrent Garbage Collection  

E-Print Network [OSTI]

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

Hagiya, Masami

151

Verification of Parallel Garbage Collection by Abstract Model Checking  

E-Print Network [OSTI]

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

Hagiya, Masami

152

FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK ANIMAL CARE LAB  

E-Print Network [OSTI]

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

Eirinaki, Magdalini

153

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

154

Approximation-based Tree Regular Model-Checking  

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

155

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

E-Print Network [OSTI]

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

Guiltinan, Mark

156

Geospatial knowledge for territorial intelligence Pr. Robert Laurini Geospatial Knowledge  

E-Print Network [OSTI]

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

Laurini, Robert

157

When Model Checking Met Deduction Computer Science Laboratory  

E-Print Network [OSTI]

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

Clarke, Edmund M.

158

Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein  

E-Print Network [OSTI]

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

Finkelstein, Anthony

159

Checking Herbrand Equalities and Beyond Markus Muller-Olm1  

E-Print Network [OSTI]

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

Müller-Olm, Markus

160

Smog Check II Evaluation Part II: Overview of Vehicle  

E-Print Network [OSTI]

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

Denver, University of

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

Specifying and Checking Semantic Atomicity for Multithreaded Programs  

E-Print Network [OSTI]

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

Necula, George

162

WLDF 311 Treefrog Study; Fall 2007 Pipe Checking Protocol  

E-Print Network [OSTI]

WLDF 311 Treefrog Study; Fall 2007 Pipe Checking Protocol: 1. Arrange time to meet/travel to study that each pipe is checked. If there is a frog(s), then: a. Take the trap off the stake without letting frogs). If the frogs don't come out, put some more water in the pipe, swirl and "swoosh" them out. b. Pick up each frog

Johnson, Matthew

163

Reasoning About Knowledge Reasoning About Knowledge  

E-Print Network [OSTI]

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

Vardi, Moshe Y.

164

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

E-Print Network [OSTI]

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

Myers, Lawrence C.

165

Model Checking for Software Architectures Radu Mateescu  

E-Print Network [OSTI]

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

Joseph Fourier Grenoble-I, Universit

166

ISI Web of Knowledge111 -ISI Web of Knowledge  

E-Print Network [OSTI]

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

Ben-Or, Michael

167

Review: Knowledge and Environmental Policy  

E-Print Network [OSTI]

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

Little, Peter C.

2012-01-01T23:59:59.000Z

168

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

E-Print Network [OSTI]

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

Hull, Elaine

169

Rural Knowledge Clusters: Implications for Minnesota State  

E-Print Network [OSTI]

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

Levinson, David M.

170

Recording Scientific Knowledge  

SciTech Connect (OSTI)

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

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

2006-01-09T23:59:59.000Z

171

Check In & Registration - Combustion Energy Frontier Research Center  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation Proposed New Substation SitesStandingtheirCheck In & Registration Check In &

172

Supporting Knowledge Transfer through Decomposable Reasoning Artifacts  

SciTech Connect (OSTI)

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

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

2007-01-03T23:59:59.000Z

173

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

Pawlowski, Wojtek

174

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

E-Print Network [OSTI]

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

Levinson, David M.

175

Termination Checking: Comparing Structural Recursion and Sized Types by Examples  

E-Print Network [OSTI]

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

Abel, Andreas

176

Detecting Termination of Active Database Rules Using Symbolic Model Checking  

E-Print Network [OSTI]

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

Ray, Indrakshi

177

Eoeective Recognizability and Model Checking of Reactive Fioeo Automata  

E-Print Network [OSTI]

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

Sutre, Grégoire

178

National propane safety week caps fifth anniversary of GAS Check  

SciTech Connect (OSTI)

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

179

Equivalence Checking for Function Pipelining in Behavioral Synthesis  

E-Print Network [OSTI]

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

Xie, Fei

180

Check BMail account University sends all official communications  

E-Print Network [OSTI]

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

Suzuki, Masatsugu

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

Web Service Composition: a Reality Check Jianguo Lu, 2  

E-Print Network [OSTI]

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

Lu, Jianguo

182

Checking Session-Oriented Interactions between Web Services  

E-Print Network [OSTI]

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

183

Software Testing via Model Checking Fevzi Belli, Bari Gldali  

E-Print Network [OSTI]

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

Belli, Fevzi

184

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

185

Revising Specifications with CTL Properties using Bounded Model Checking  

E-Print Network [OSTI]

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

Finger, Marcelo

186

Page 1 September 2014EMC'2014 Software Model Checking  

E-Print Network [OSTI]

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

Clarke, Edmund M.

187

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

188

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

E-Print Network [OSTI]

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

Roscoe, Bill

189

Rev. January 30, 2012 1 REFERENCE and BACKGROUND CHECK  

E-Print Network [OSTI]

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

Eirinaki, Magdalini

190

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

E-Print Network [OSTI]

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

191

Removable check valve for use in a nuclear reactor  

DOE Patents [OSTI]

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

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

1988-01-01T23:59:59.000Z

192

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

E-Print Network [OSTI]

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

Anoymous,

1984-01-01T23:59:59.000Z

193

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

E-Print Network [OSTI]

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

Chen-Burger, Yun-Heh (Jessica)

194

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

E-Print Network [OSTI]

with respiratory insufficiency from mechanical ventilation may be complex and requires expertise obtained by long respiratory support and implemented a weaning procedure. The system is intended for patients whose spontaneous-based system, Medical decision-making, Process control, Real-time, Weaning from mechanical ventilation. inserm

Paris-Sud XI, Universit de

195

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

Broader source: Energy.gov (indexed) [DOE]

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

196

Energy Savings Tips on the Go: Check Out the New Energy Savers...  

Broader source: Energy.gov (indexed) [DOE]

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

197

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

Broader source: Energy.gov (indexed) [DOE]

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

198

At the Frontier of Knowledge  

E-Print Network [OSTI]

At any time, there are areas of science where we are standing at the frontier of knowledge, and can wonder whether we have reached a fundamental limit to human understanding. What is ultimately possible in physics? I will argue here that it is ultimately impossible to answer this question. For this, I will first distinguish three different reasons why the possibility of progress is doubted and offer examples for these cases. Based on this, one can then identify three reasons for why progress might indeed be impossible, and finally conclude that it is impossible to decide which case we are facing.

Sabine Hossenfelder

2010-01-20T23:59:59.000Z

199

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

E-Print Network [OSTI]

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

MacKay, David J.C.

200

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

E-Print Network [OSTI]

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

Hull, Elaine

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

INTENT TO ENROLL ADVANCED TUITION DEPOSIT BY CHECK/MONEY ORDER  

E-Print Network [OSTI]

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

202

Incremental learning for automated knowledge capture.  

SciTech Connect (OSTI)

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

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

2013-12-01T23:59:59.000Z

203

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.

Yksel, Ender; Nielson, Flemming; Zhu, Huibiao; Huang, Heqing

2012-01-01T23:59:59.000Z

204

SciTech Connect: Unitarity check in gravitational Higgs mechanism  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administrationcontroller systemsBi (2) Sr (2) CawithMicrofluidicJournal Article: Unitarity check in

205

Check Burner Air to Fuel Ratios | Department of Energy  

Broader source: Energy.gov (indexed) [DOE]

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarly Career Scientists'Montana. DOCUMENTS AVAILABLE FORSuperior Energy5-1 Chapter 5 Loswhen to check and

206

Reducing pressure loss of large diameter check valves  

SciTech Connect (OSTI)

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

NONE

1997-09-01T23:59:59.000Z

207

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

E-Print Network [OSTI]

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

208

A knowledge based constructability analysis prototype  

E-Print Network [OSTI]

costs, and project schedule prior to producing drawings; and when required, a cost analysis of alternatives to define the lowest total installed cost. " (O' Connor and Tucker 1983) A professional group, in lieu of a definition, has developed a...: ". . . an organized, creative approach which has for its purpose the effective identification of unnecessary costs, i. e. costs which provide neither quality nor use nor life nor appearance nor customer features. " (Barrie and Paulson 1984) Value engineering...

Winter, Laura Jo

1988-01-01T23:59:59.000Z

209

A knowledge based anthropometric data associate  

E-Print Network [OSTI]

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

Reitmeyer, Peter B.

1989-01-01T23:59:59.000Z

210

Bioenergy Science Center KnowledgeBase  

DOE Data Explorer [Office of Scientific and Technical Information (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.

211

Advancing the Hydrogen Safety Knowledge Base  

SciTech Connect (OSTI)

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

Weiner, Steven C.

2014-12-01T23:59:59.000Z

212

Strathclyde Links Useful Knowledge for Growing Companies  

E-Print Network [OSTI]

Strathclyde Links Useful Knowledge for Growing Companies The University of Strathclyde by an Interface enquiry. The original enquiry came from Kelso based Gill Orde in Catering; a company that provides of the department of Civil Engineering replied to the initial Interface enquiry and after meeting with the company

Mottram, Nigel

213

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

E-Print Network [OSTI]

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

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

2014-01-01T23:59:59.000Z

214

Model Checking for Industrial Applications Bernd-Holger Schlinglo  

E-Print Network [OSTI]

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

Schlingloff, Holger

215

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

SciTech Connect (OSTI)

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

VAN KATWIJK, C.

1999-07-01T23:59:59.000Z

216

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

E-Print Network [OSTI]

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

De Wet, G.F.

2007-01-01T23:59:59.000Z

217

Robust automated knowledge capture.  

SciTech Connect (OSTI)

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

218

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

SciTech Connect (OSTI)

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

Tornero-Lpez, Ana M.; Guirado, Damin; Ruiz-Arrebola, Samuel [Servicio de Radiofsica y Proteccin Radiolgica, Hospital Universitario San Cecilio, E-18012 Granada (Spain)] [Servicio de Radiofsica y Proteccin Radiolgica, Hospital Universitario San Cecilio, E-18012 Granada (Spain); Perez-Calatayud, Jose [Servicio de Radioterapia, Unidad de Radiofsica, Hospital Universitario y Politcnico La Fe, E-46026 Valencia (Spain)] [Servicio de Radioterapia, Unidad de Radiofsica, Hospital Universitario y Politcnico La Fe, E-46026 Valencia (Spain); Simancas, Fernando; Lallena, Antonio M. [Departamento de Fsica Atmica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain)] [Departamento de Fsica Atmica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain); Gazdic-Santic, Maja [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)] [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)

2013-12-15T23:59:59.000Z

219

Task-Oriented Knowledge Acquisition and Reasoning for  

E-Print Network [OSTI]

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

Börner, Katy

220

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

E-Print Network [OSTI]

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

Knowles, David William

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

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

E-Print Network [OSTI]

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

222

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

E-Print Network [OSTI]

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

Clarke, Edmund M.

223

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

E-Print Network [OSTI]

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

224

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with  

E-Print Network [OSTI]

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

Platzer, André

225

Review: Knowledge and Environmental Policy  

E-Print Network [OSTI]

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

Little, Peter C.

2012-01-01T23:59:59.000Z

226

Technology, legal knowledge and citizenship  

E-Print Network [OSTI]

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

Dominguez Rubio, Fernando; Lezaun, Javier

2014-01-01T23:59:59.000Z

227

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

228

A knowledge services roadmay for online learning  

E-Print Network [OSTI]

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

Rajagopal, Anand, 1979-

2005-01-01T23:59:59.000Z

229

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

E-Print Network [OSTI]

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

Prasanna, Viktor K.

230

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

E-Print Network [OSTI]

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

Jiang, Huiqiang

231

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

E-Print Network [OSTI]

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

Kuhlen, Rainer

232

Landscape Research, Knowledge and Change  

E-Print Network [OSTI]

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

233

Knowledge Capture and Transfer Program  

Broader source: Energy.gov [DOE]

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

234

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

E-Print Network [OSTI]

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

Gurvits, Leonid

235

Checking Design Constraints at Run-time Using OCL and AspectJ  

E-Print Network [OSTI]

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

Cheon, Yoonsik

236

Competency Knowledge Sub Domain Fundamental Knowledge and Clinical Reasoning  

E-Print Network [OSTI]

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

Leistikow, Bruce N.

237

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

E-Print Network [OSTI]

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

Bohn, Roger E.

2005-01-01T23:59:59.000Z

238

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

E-Print Network [OSTI]

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

Kim, Hyungkee

2007-01-01T23:59:59.000Z

239

E-Print Network 3.0 - adaptation knowledge discovery Sample Search...  

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

enhanced discovery of scientific resources, including publications... ) is a knowledge infrastructure with a web-based interface that aims to provide enhanced tools for the...

240

A knowledge portal for Norway  

E-Print Network [OSTI]

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

Johansen, Tom Henning

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

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

242

Enhance your Cyber Security Knowledge  

E-Print Network [OSTI]

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

243

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

E-Print Network [OSTI]

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

Zachmann, Gabriel

244

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

E-Print Network [OSTI]

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

Radha, Hayder

245

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

E-Print Network [OSTI]

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

Cheon, Yoonsik

246

Paralization and check pointing of GPU applications through program transformation  

SciTech Connect (OSTI)

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

247

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

SciTech Connect (OSTI)

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

Oji, L. N.

2013-03-07T23:59:59.000Z

248

Workplan and Annex: Solar Resource Knowledge Management  

SciTech Connect (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

249

Personal Data Sheet Please print clearly and check all that apply  

E-Print Network [OSTI]

EmplID: ePAF #: 14May2012 Personal Data Sheet Please print clearly and check all that apply New No Signature: Date: #12;Personal Data Sheet Ethnic Groups White: A person having origins in any of the original Hire: Personal Email Address:__________________________________________ Record Update: Please use

Wu, Shin-Tson

250

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

E-Print Network [OSTI]

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

Shaw, Leah B.

251

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

252

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

E-Print Network [OSTI]

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

253

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

E-Print Network [OSTI]

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

Pasareanu, Corina

254

MetaGame: An Animation Tool for Model-Checking Games  

E-Print Network [OSTI]

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

Müller-Olm, Markus

255

MetaGame: An Animation Tool for ModelChecking Games  

E-Print Network [OSTI]

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

Müller-Olm, Markus

256

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

E-Print Network [OSTI]

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

Kavcic, Aleksandar

257

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

E-Print Network [OSTI]

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

Vaandrager, Frits

258

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

E-Print Network [OSTI]

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

Stanford University

259

Directed and Heuristic Counterexample Generation for Probabilistic Model Checking -A Comparative Evaluation  

E-Print Network [OSTI]

, knwon from the literature on probabilistic model checking and one case study taken from the automotive of the hardware compo- nent. In embedded automotive systems, for instance, the software is often attached and Effect Analysis (pFMEA) [17, 4], is hence inevitably also software dependability analysis. It has been

Leue, Stefan

260

An Optimization Approach for Effective Formalized fUML Model Checking  

E-Print Network [OSTI]

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

Doran, Simon J.

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

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

E-Print Network [OSTI]

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

262

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

E-Print Network [OSTI]

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

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

2012-02-02T23:59:59.000Z

263

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

264

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

265

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

E-Print Network [OSTI]

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

Northern British Columbia, University of

266

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

E-Print Network [OSTI]

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

Boas, Harold P.

267

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

E-Print Network [OSTI]

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

Vardeman, Stephen B.

268

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

E-Print Network [OSTI]

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

269

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

270

Building Knowledge through Families of Experiments  

E-Print Network [OSTI]

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

Basili, Victor R.

271

Report on the project Building knowledge  

E-Print Network [OSTI]

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

272

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

E-Print Network [OSTI]

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

Colorado at Boulder, University of

273

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

E-Print Network [OSTI]

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

Colorado at Boulder, University of

274

Level 2.0 Quality Control Checklist 1. Instrument Performance Check: Evaluate data for occurrences of instrument failure  

E-Print Network [OSTI]

of transparency in the UV in early morning or late afternoon due to filter leakage or degradation; or sudden Check (or Vo Check): Evaluate pre- and post-field calibration to determine if filter degradation or non increases and decreases of the AOD in the UV channels due to electronic problems). 5. Cloud Contamination

275

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

276

D and D Knowledge Management Information Tool - 2012 - 12106  

SciTech Connect (OSTI)

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

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

2012-07-01T23:59:59.000Z

277

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

E-Print Network [OSTI]

:45 PLC Rehearsal II 5:00 - 6:30 CAR Dinner 7:00 ­ 9:00 CLC Sharing Our Songs Concert I 9:15 ­ 9:45 BEANTuesday, June 24 P. M. noon - 4:30 BEAN Registration/Check-in 5:00 - 7:00 CAR Dinner 7:30 PLC A. M. 7:30 - 8:30 CAR Breakfast (Lead Chaperone/Conductor/Intern mtg.) 9:00 - 11:15 PLC Rehearsal I

Bordenstein, Seth

278

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 knowledge is the truest form of knowledge. Alpha = 0.7475 Category 2: Scientific & the Economy (ECON

Cobern, William W.

279

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

SciTech Connect (OSTI)

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

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

2011-06-01T23:59:59.000Z

280

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

E-Print Network [OSTI]

Engineering Management Field Project The Interactive Knowledge Library: Capturing, Sharing and Synthesizing Tacit Knowledge in Engineering By Craig M. Eaton Fall Semester, 2006 An EMGT Field Project report submitted... of using a Wiki as a practical engineering knowledge management tool at the corporate level. 2 Chapter Two LITERATURE REVIEW Knowledge Management and Tacit Knowledge From the Merriam Webster Online dictionary (www.m-w.com accessed 16 th Sep 06...

Eaton, Craig M.

2006-12-15T23: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.


281

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.

282

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

E-Print Network [OSTI]

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

Ouhyoung, Ming

283

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

E-Print Network [OSTI]

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

284

Intelligent Management of Call Centre Knowledge Megan Vazey and Debbie Richards  

E-Print Network [OSTI]

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

Richards, Debbie

285

Data structures and apparatuses for representing knowledge  

DOE Patents [OSTI]

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

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

2014-02-18T23:59:59.000Z

286

Academic Knowledge Transfer in Social Networks  

E-Print Network [OSTI]

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

Slater, Mark David

2013-01-01T23:59:59.000Z

287

ORIGINAL PAPER The interdisciplinary engineering knowledge genome  

E-Print Network [OSTI]

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

Shai, Offer

288

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

E-Print Network [OSTI]

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

Ping, Li

289

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

290

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

E-Print Network [OSTI]

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

291

Knowledge management and learning in the organizational context  

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

292

Learning Energy Demand Domain Knowledge via Feature Transformation  

E-Print Network [OSTI]

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

Povinelli, Richard J.

293

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

SciTech Connect (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

294

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

SciTech Connect (OSTI)

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

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

2008-05-15T23:59:59.000Z

295

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

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-Up fromDepartmentTieCelebrate Earth Day withCharacterizationDiesel LosDepartment4 *Check

296

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

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublicIDAPowerPlantSitingConstruction.pdfNotify98.pdf Jump to: navigation,storage plan review check list.pdf Jump

297

A knowledge of the potential  

E-Print Network [OSTI]

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

Sali, Andrej

298

OBJECTIVES OF THE EDINBURGH KNOWLEDGE ENVIRONMENT  

E-Print Network [OSTI]

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

Painter, Kevin

299

A Product Software Knowledge Infrastructure for  

E-Print Network [OSTI]

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

Utrecht, Universiteit

300

Applied knowledge to meet society's needs.  

E-Print Network [OSTI]

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

Langendoen, Koen

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

Knowledge Framework Implementation with Multiple Architectures - 13090  

SciTech Connect (OSTI)

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

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

2013-07-01T23:59:59.000Z

302

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

E-Print Network [OSTI]

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

Vadala, Carin Elizabeth

2004-09-30T23:59:59.000Z

303

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

304

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

E-Print Network [OSTI]

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

Leonard Cook, Anna

2009-01-01T23:59:59.000Z

305

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

306

A Combined Doctrine of Knowledge for Plato  

E-Print Network [OSTI]

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

Laidlaw-Johnson, E. A.

307

A Probabilistic Active Knowledge Base Architecture for Observational Data Sources  

E-Print Network [OSTI]

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

Hazas, Mike

308

A graphical user interface for knowledge-based control  

E-Print Network [OSTI]

cruising to landing. However, in the interest of simulation simplicity, no models were designed to handle turning of the aircraft. Because the simulation ~a& 4m so MACH =m AS ~Z25 160 ~', PO ISO l I~it 20 l. e 22 ENGINE 2l Ezz oaz o. e 12 IO... adjusting the engine thrust to achieve the desired airspeed. The artificial horizon gauge (upper middle) emulates a gyroscopic gauge that maintains a constant, steady horizon. The artificial horizon indicates roll and pitch of the aircraft as a reference...

Russell, Paul Joseph

1992-01-01T23:59:59.000Z

309

Knowledge based process planning system for electronic assembly  

E-Print Network [OSTI]

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

Sabapathy, Arvindh

2012-06-07T23:59:59.000Z

310

Active and Knowledge-based Process Safety Incident Retrieval System  

E-Print Network [OSTI]

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

Khan, Sara Shammni

2011-10-21T23:59:59.000Z

311

An object-oriented, knowledge-based aircraft approach controller  

E-Print Network [OSTI]

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

Lass, Steven Lee

1995-01-01T23:59:59.000Z

312

Knowledge-based navigation in a hypertext network  

E-Print Network [OSTI]

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

Snell, James Robert

1990-01-01T23:59:59.000Z

313

Knowledge organization tool: a supercard-based system  

E-Print Network [OSTI]

Description card. 6 Rule Content card. 7 Characteristic card. Page 29 30 31 33 34 35 36 8 Graphics card. 9 Examples card. 10 Reference card. 11 Window buttons. 37 38 39 40 12 List of existing links to the selected window. 13 Arrow buttons...~~ Intelligent systems have increased in popularity over the last decade. Their advance is aided by the development of Expert System Building Tools (ESBTs) which provide an environment that allows even novices to build simple intelligent systems. However...

Van Buijtenen, Cindy M.

1991-01-01T23:59:59.000Z

314

Mapping Data to Higher-Order Description Logic Knowledge Bases  

E-Print Network [OSTI]

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

De Giacomo, Giuseppe

315

Lifting task design associate: a knowledge-based system  

E-Print Network [OSTI]

the task Each of these task traits are important and are highly interactive NIOSH combined these four methodologies to define a set of equations in order to evaluate a lifting task Although the NIOSH evaluation is very procedural in nature, the numerous... intelligent system technology with the NIOSH lifting guidelines in order to provide a tool that will assist the workstation designer in the use of the NIOSH 1981 and 1992 lifting guidelines This system is to be called the LiAing Task Design Associate (LTDA...

Brooks, Susan Elaine

1993-01-01T23:59:59.000Z

316

An Argument for Knowledge Variety in Evidence-Based Management  

E-Print Network [OSTI]

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

Martelli, Peter Fabrizio

2012-01-01T23:59:59.000Z

317

An Argument for Knowledge Variety in Evidence-Based Management  

E-Print Network [OSTI]

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

Martelli, Peter Fabrizio

2012-01-01T23:59:59.000Z

318

An Argument for Knowledge Variety in Evidence-Based Management  

E-Print Network [OSTI]

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

Martelli, Peter Fabrizio

2012-01-01T23:59:59.000Z

319

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

Miller, Michael Scott

2009-06-02T23:59:59.000Z

320

WEB-BASED RESOURCES ENHANCE HYDROGEN SAFETY KNOWLEDGE  

SciTech Connect (OSTI)

The U.S. Department of Energys 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

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

BIKE INFRASTRUCTURES Collecting knowledge of biking behavior  

E-Print Network [OSTI]

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

Hansen, René Rydhof

322

Strathclyde Links Useful Knowledge for Growing Companies  

E-Print Network [OSTI]

Strathclyde Links Useful Knowledge for Growing Companies Arecent project, supported by Strathclyde Tibor Illes in the Department of Management Science, with University spin- out company, Cascade applications. The company identified the need for academic research expertise when reviewing one

Mottram, Nigel

323

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

E-Print Network [OSTI]

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

Weiblen, George D

324

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

E-Print Network [OSTI]

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

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

2014-01-01T23:59:59.000Z

325

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

E-Print Network [OSTI]

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

326

RESEARCH OF DEVELOPMENT OF AGRICULTURAL KNOWLEDGE SERVICE IN  

E-Print Network [OSTI]

Abstract: With the global development of knowledge economy, the knowledge requirement of farmers is more, they select and gather a variety of information resource, and provide new knowledge production after refining

Boyer, Edmond

327

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]

............................................................... 38 Administrative Issues With Criminal History Background Checks on Volunteers............................... 40 x TABLE OF CONTENTS (continued) CHAPTER Page Respondent Superior, Sovereign Immunity, and the Scope of Employment...

Smith, Richard Kimball

2005-08-29T23:59:59.000Z

328

Knowledge Capture and Transfer Program | Department of Energy  

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

Knowledge Capture and Transfer Program Knowledge Capture and Transfer Program The Office of Learning and Workforce Development is working with Heads of Departmental Elements, DOE...

329

Knowledge Capture and Transfer Program (KCTP) "Newly Created...  

Broader source: Energy.gov (indexed) [DOE]

Knowledge Capture and Transfer Program (KCTP) "Newly Created" Powerpedia Page Knowledge Capture and Transfer Program (KCTP) "Newly Created" Powerpedia Page June 3, 2014 - 1:36pm...

330

Formal Verification of FBD-Based PLC Software at Software Design Phase Han Seong Son, Kee-Choon Kwon, Junbeom Yoo*, Sungdeok Cha*  

E-Print Network [OSTI]

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

331

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

E-Print Network [OSTI]

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

Müller-Olm, Markus

332

Renewing Music Library Materials Online Most checked out Music Library materials can be renewed through PantherCat  

E-Print Network [OSTI]

Renewing Music Library Materials Online Most checked out Music Library materials can be renewed://www.uwm.edu/Libraries/Music/about.html#loan. Please Note: Item loan periods are renewed from the date you renew them. If you renew an item one day full loan period you must wait to renew the item until its original due date. What can and cannot

Saldin, Dilano

333

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

E-Print Network [OSTI]

Donate or sell your furniture, electronics, etc. · Check out these helpful resources to recycle's EcoDirectory can help you answer your recycling and reuse questions. (http, debris bins or place curbside. The Alameda County Computer Resource Center picks up anything with a plug

Alvarez-Cohen, Lisa

334

Check WorkNet often for job vacancies or rely on the e-mail feature to  

E-Print Network [OSTI]

Check WorkNet often for job vacancies or rely on the e-mail feature to receive a message when a job Bowling Green, OH 43403-0150 419-372-2865 Review Postings Carefully All job vacancies include a job. Access Job Vacancies Using WorkNet Log-in to your MyBGSU portal. Scroll down to Misc Services, located

Moore, Paul A.

335

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

E-Print Network [OSTI]

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

Suzuki, Masatsugu

336

Design and implementation of a high data rate wireless system using Low-Density Parity-Check codes  

E-Print Network [OSTI]

The aim of this research is to design a high performance, high data rate, low cost wireless communications system for use in a typical outdoor environment. The use of Low-Density Parity-check (LDPC) codes as the forward error correction scheme...

Bhatt, Tejas Maheshbhai

2000-01-01T23:59:59.000Z

337

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

E-Print Network [OSTI]

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

Stock, Kristin

338

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

SciTech Connect (OSTI)

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

339

`KNOWLEDGE AND VIRTUE: RESPONSE TO KELP'  

E-Print Network [OSTI]

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

Edinburgh, University of

340

Global Emergence of Frontier Knowledge November 2013  

E-Print Network [OSTI]

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

Yamamoto, Hirosuke

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

Common Knowledge and Update in Finite Environments  

E-Print Network [OSTI]

Conference on Theoretical Aspects of Reasoning about Knowledge, (R. Fagin, ed.) pp. 225­242, Morgan Kaufmann and Misra, 1986; Fagin et al., 1991; Halpern and Moses, 1990; Halpern and Vardi, 1989; Panangaden and Taylor and Immerman, 1986; Halpern and Moses, 1992; Halpern and Vardi, 1988a; Halpern and Vardi, 1988b; Ladner

van der Meyden, Ron

342

Prediction Markets Partition model of knowledge  

E-Print Network [OSTI]

Prediction Markets Partition model of knowledge Distributed information markets Convergence time bounds Computational Aspects of Prediction Markets David M. Pennock and Rahul Sami December 5, 2012 Presented by: Rami Eitan David M. Pennock and Rahul Sami Computational Aspects of Prediction Markets #12

Fiat, Amos

343

A SAGA OF KNOWLEDGE Table of Contents  

E-Print Network [OSTI]

The University moves out of the Latin Quarter onto Mount Royal, into a new building designed by architect Ernest, was a landmark in the annals of Francophone philanthropy. This report reflects the winds of renewal coursing teaching and lively student life. Ours is a saga of knowledge such has rarely unfolded in North America

Charette, André

344

NUCLEAR INCIDENT CAPABILITIES, KNOWLEDGE & ENABLER LEVERAGING  

SciTech Connect (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

345

Alerts in BIOSIS Previews via ISI Web of Knowledge  

E-Print Network [OSTI]

Alerts in BIOSIS Previews® via ISI Web of Knowledge The alerting capability in ISI Web of Knowledge research. This powerful feature is accessible via the ISI Web of Knowledge homepage, where you can log on emailing of search results, follow these steps: 1. Sign in to ISI Web of Knowledge via the link on the ISI

California at San Diego, University of

346

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

E-Print Network [OSTI]

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

Marsh, David

347

Steps for Confirming a Vendor's Legitimacy 1. Check a vendor's legitimacy begin by calling the vendor's phone number listed to see if they  

E-Print Network [OSTI]

Steps for Confirming a Vendor's Legitimacy 1. Check a vendor's legitimacy begin by calling the vendor's phone number listed to see if they answer as the business 2. Check online with 3 different telephone sources to see if the phone number is listed for the vendor with the corresponding address 3

348

Implementation Plan for the Office of Nuclear Energy Knowledge Management Program  

SciTech Connect (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

349

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

E-Print Network [OSTI]

City Knowledge Patterns: A standard for Smart City Knowledge management Nooshin Allahyari, Mark S in recogniz- ing knowledge requirements of city government. This model, which we denote as City Knowledge category of the city government, and is comprised of a set of inter-relate concepts and attributes

350

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

SciTech Connect (OSTI)

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

351

Inverse diffusion from knowledge of power densities  

E-Print Network [OSTI]

This paper concerns the reconstruction of a diffusion coefficient in an elliptic equation from knowledge of several power densities. The power density is the product of the diffusion coefficient with the square of the modulus of the gradient of the elliptic solution. The derivation of such internal functionals comes from perturbing the medium of interest by acoustic (plane) waves, which results in small changes in the diffusion coefficient. After appropriate asymptotic expansions and (Fourier) transformation, this allow us to construct the power density of the equation point-wise inside the domain. Such a setting finds applications in ultrasound modulated electrical impedance tomography and ultrasound modulated optical tomography. We show that the diffusion coefficient can be uniquely and stably reconstructed from knowledge of a sufficient large number of power densities. Explicit expressions for the reconstruction of the diffusion coefficient are also provided. Such results hold for a large class of boundary...

Bal, Guillaume; Monard, Francois; Triki, Faouzi

2011-01-01T23:59:59.000Z

352

MJ no more: Using Concurrent Wikipedia Edit Spikes with Social Network Plausibility Checks for Breaking News Detection  

E-Print Network [OSTI]

We have developed an application called Wikipedia Live Monitor that monitors article edits on different language versions of Wikipedia, as they happen in realtime. Wikipedia articles in different languages are highly interlinked. For example, the English article en:2013_Russian_meteor_event on the topic of the February 15 meteoroid that exploded over the region of Chelyabinsk Oblast, Russia, is interlinked with the Russian article on the same topic. As we monitor multiple language versions of Wikipedia in parallel, we can exploit this fact to detect concurrent edit spikes of Wikipedia articles covering the same topics, both in only one, and in different languages. We treat such concurrent edit spikes as signals for potential breaking news events, whose plausibility we then check with full-text cross-language searches on multiple social networks. Unlike the reverse approach of monitoring social networks first, and potentially checking plausibility on Wikipedia second, the approach proposed in this paper has th...

Steiner, Thomas; Summers, Ed

2013-01-01T23:59:59.000Z

353

Precursor systems analyses of automated highway systems. Activity area C. Automated check-out. Final report, September 1993-November 1994  

SciTech Connect (OSTI)

The activity evaluates potential automatic-to-manual transition scenarios in terms of relative feasibility, safety, cost, and social implications. The check-out alternatives range from minimal testing of the operator and the vehicle to extensive testing of the operator and vehicle. The vehicle functions analysis presents a summary of functions that are critical to safe manual operation and proposes several options for validation. Two possible check-out processes are discussed, one intended for AHS lanes dedicated to automated traffic, and one intended for mixed mode lanes in which AHS and non-AHS vehicles are traveling. The transition to manual control will involve preparing the driver to resume manual operation prior to release of vehicle functions. Proposed tasks which could be used to determine that the driver is ready to receive control of the automated vehicle are examined.

Mangarelli, F.; Cochran, A.; Craig, D.; Michael, B.; Halseth, M.

1995-05-01T23:59:59.000Z

354

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

E-Print Network [OSTI]

Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue) B 420-460 Live Dead UV Blue Alexa 350 DAPI Indo-1(Violet) Hoechst 33342 C - empty Violet 405 A 505-550 Pac. Orange V500 VioGreen BVio 510 Viability Dye eF506 Alexa 430 Sapphire B 420-460 Pac. Blue eF450 V

Oliver, Douglas L.

355

Design techniques for graph-based error-correcting codes and their applications  

E-Print Network [OSTI]

by channels afterward. The discovery of turbo codes and rediscovery of Low Density Parity Check codes (LDPC) have revived the research in channel coding with novel ideas and techniques on code concatenation, iterative decoding, graph-based construction...

Lan, Ching Fu

2006-04-12T23:59:59.000Z

356

Knowledge Management at the Fast Flux Test Facility  

SciTech Connect (OSTI)

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

2013-06-01T23:59:59.000Z

357

Health, safety, and environmental risks from energy production: A year-long reality check  

E-Print Network [OSTI]

projects based CO 2 enhanced oil recovery in the U.S. 9thprovides CO 2 for enhanced oil recovery. Over the course of

Oldenburg, C.M.

2012-01-01T23:59:59.000Z

358

776 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 16, NO. 7, JULY 1997 [4] M. Diaz, P. Azema, and J. M. Ayache, "Unified design of self-checking  

E-Print Network [OSTI]

-checking sequential circuits," in Proc. IEEE Int. Test Conf., 1991, pp. 283­291. [10] I. Jansch and B. Courtois

Lin, Youn-Long Steve

359

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

Woo, Jeong-Han

2006-10-30T23:59:59.000Z

360

PMI: Knowledge Elicitation and De Bono's Thinking Tools  

E-Print Network [OSTI]

PMI: Knowledge Elicitation and De Bono's Thinking Tools M-M. Portmann & S. M. Easterbrook School's thinking tools, the PMI (plus - minus - interesting) and built a knowledge elicitation tool for use

Easterbrook, Steve

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

Surgeons' Knowledge and Practices Regarding the Role of Radiation Therapy in Breast Cancer Management  

SciTech Connect (OSTI)

Purpose: Population-based studies suggest underuse of radiation therapy, especially after mastectomy. Because radiation oncology is a referral-based specialty, knowledge and attitudes of upstream providers, specifically surgeons, may influence patients' decisions regarding radiation, including whether it is even considered. Therefore, we sought to evaluate surgeons' knowledge of pertinent risk information, their patterns of referral, and the correlates of surgeon knowledge and referral in specific breast cancer scenarios. Methods and Materials: We surveyed a national sample of 750 surgeons, with a 67% response rate. We analyzed responses from those who had seen at least 1 breast cancer patient in the past year (n=403), using logistic regression models to identify correlates of knowledge and appropriate referral. Results: Overall, 87% of respondents were general surgeons, and 64% saw >10 breast cancer patients in the previous year. In a scenario involving a 45-year-old undergoing lumpectomy, only 45% correctly estimated the risk of locoregional recurrence without radiation therapy, but 97% would refer to radiation oncology. In a patient with 2 of 20 nodes involved after mastectomy, 30% would neither refer to radiation oncology nor provide accurate information to make radiation decisions. In a patient with 4 of 20 nodes involved after mastectomy, 9% would not refer to radiation oncology. Fewer than half knew that the Oxford meta-analysis revealed a survival benefit from radiation therapy after lumpectomy (45%) or mastectomy (32%). Only 16% passed a 7-item knowledge test; female and more-experienced surgeons were more likely to pass. Factors significantly associated with appropriate referral to radiation oncology included breast cancer volume, tumor board participation, and knowledge. Conclusions: Many surgeons have inadequate knowledge regarding the role of radiation in breast cancer management, especially after mastectomy. Targeted educational interventions may improve the quality of care.

Zhou, Jessica [Department of Radiation Oncology, University of Michigan, Ann Arbor, Michigan (United States); Griffith, Kent A. [Department of Biostatistics, University of Michigan, Ann Arbor, Michigan (United States); Hawley, Sarah T.; Zikmund-Fisher, Brian J. [Department of Internal Medicine, University of Michigan, Ann Arbor, Michigan (United States); Janz, Nancy K. [Department of Health Behavior and Health Education, University of Michigan School of Public Health, Ann Arbor, Michigan (United States); Sabel, Michael S. [Department of Surgery, University of Michigan, Ann Arbor, Michigan (United States); Katz, Steven J. [Department of Internal Medicine, University of Michigan, Ann Arbor, Michigan (United States); Jagsi, Reshma, E-mail: rjagsi@med.umich.edu [Department of Radiation Oncology, University of Michigan, Ann Arbor, Michigan (United States)

2013-12-01T23:59:59.000Z

362

Time and Encoding Effects in the Concealed Knowledge Test  

E-Print Network [OSTI]

items). This weapon-focus effect has been demonstrated ina weapon) seem Table 2 Mean concealed knowledge effect on RT

Seymour, Travis L.; Fraynt, Becky R.

2009-01-01T23:59:59.000Z

363

Integration of Business and Industrial Knowledge on Services to Set Trusted Business Communities of  

E-Print Network [OSTI]

ones) to define extended business service models, paying a particular attention on "fIntegration of Business and Industrial Knowledge on Services to Set Trusted Business Communities, the European Union promotes clearly internet of services based solutions to support innovative business

Paris-Sud XI, Université de

364

Knowledge Networks and Science Data December 7, 2012, AGU12 IN54A-02.  

E-Print Network [OSTI]

$*$"*$Ocean Policy = Ecosystem Based Management =>"'$'()*(5%"$-%$ RegionalKnowledge Networks and Science Data Ecosystems December 7, 2012, AGU12 IN54A-02. Peter Fox (RPI/ Tetherless World Constellation and WHOI/AOP&E) pfox@cs.rpi.edu #12;What's ahead/pre-summary · Data ecosystems

Wright, Dawn Jeannine

365

Building Knowledge-enabled Cloud Robotics Applications using the Ubiquitous Network Robot Platform  

E-Print Network [OSTI]

Building Knowledge-enabled Cloud Robotics Applications using the Ubiquitous Network Robot Platform of distributed robotic applications. Our aim is to modularize applications by factoring out environment- , task base that is shared between the robots and service applications. Robot control decisions can

366

ABDUCTIVE LOGIC PROGRAMMING Abductive Logic Programming is a high level knowledge representation  

E-Print Network [OSTI]

ABDUCTIVE LOGIC PROGRAMMING Abductive Logic Programming is a high level knowledge representation framework that allows us to solve problems declaratively based on abductive reasoning. It extends normal predicates. Problem solving is effected by deriving hypotheses on these abducible predicates (abductive hy

Moraitis, Pavlos

367

Brief article Prior knowledge on the illumination position  

E-Print Network [OSTI]

-retinal knowledge (Rock, 1983). Recent experimental work has emphasized the study of prior knowledge and P was upside-down and consequently shadows were in the wrong place relative to the light source. The position. This explanation rests on the knowledge that the light source stays at the same location whether or not one

Mamassian, Pascal

368

Check-Testing of Manufacturer Self Reported Labeling Data& Compliance with MEPS  

SciTech Connect (OSTI)

China first adopted minimum energy performance standards (MEPS) in 1989. Today, there are standards for a wide range of domestic, commercial and selected industrial equipment. In 1999, China launched a voluntary endorsement label, which has grown to cover over 40 products including water-saving products. Further, in 2005, China started a mandatory energy information label that initially covered two products and in 2007 was extended to cover four products total including: air conditioners; household refrigerators; clothes washers; and unitary air conditioners. These programs have had an important impact in reducing the energy consumption of appliances in China. China has built up a strong infrastructure to develop and implement standards. Historically, however, the government's primary focus has been on the technical requirements for specifying efficiency performance. Less attention has been paid to monitoring and enforcement with a minimal commitment of resources and little expansion of administrative capacity in this area. Thus, market compliance with both mandatory standard and labeling programs has been questionable. Furthermore, actual energy savings have quite possibly been undermined as a result. The establishment of a regularized monitoring system for tracking compliance with the mandatory standard and energy information label programs in China is a major area for program improvement. Over the years, the Collaborative Labeling and Appliance Standards Program (CLASP) has partnered with several Chinese institutions to promote energy-efficient products in China. CLASP, together with its implementing partner Lawrence Berkeley National Laboratory (LBNL), has assisted China in developing and updating the above-mentioned standards and labeling programs. Because of the increasing need for the development of a monitoring system to track compliance with the standard, CLASP, with support from Japan's Ministry of Economy, Trade and Industry (METI) and the Institute of Energy Economics, Japan (IEEJ), has expanded its on-going collaboration with the China National Institute of Standards (CNIS) to include enforcement and monitoring. CNIS has already begun working on the issue of compliance. In early 2007, LBNL compiled a report, with the support of METI, summarizing the findings from these activities and indicating China's progress to date. The report concluded that although the existing legal basis for monitoring and enforcement is sufficient- with multiple laws and regulations defining the responsibility of each government agency and specifying a system of fines and penal-ties for non-compliance-compared with international best practices, there is still a big gap in China's monitoring and enforcement efforts for mandatory standards and labels. In sum, the report concludes that while the sample size is far smaller than the mid-term goal of developing a regular check testing program for 20 percent of the market for each of the three products, this study provides highly valuable feedback on manufacturer compliance rates in the absence of a large-scale national testing program. With METI/IEEJ support, CLASP could assist the China Energy Label Center (CELC) in expanding its verification testing programs to cover more models and products, and in developing a plan for ramping up the national verification testing program over the next three to five years. This is particularly important as the information labeling program gains more visibility and expands to additional product categories. CLASP could also assist CELC to plan for a round-robin testing scheme-first among three national laboratories with sub-sequent expansion of this program to other regional test laboratories--with the goal of improving the consistency of testing results from different testing laboratories.

Zhou, Nan; Zhou, Nan; Zheng, Nina; Fridley, David; Wang, Ruohong; Egan, Christine

2008-03-01T23:59:59.000Z

369

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

370

Knowledge Retention: Developing a Knowledge Transfer Plan for the Engineering Department at Wolf Creek Nuclear Operating Corporation  

E-Print Network [OSTI]

the engineering field is highly steeped in knowledge, it is imperative that tacit and explicit knowledge is retained and transferred in order to develop an effective and efficient organization. When individuals leave the company, they leave with more than what...

Bussard, Grant William

2013-05-17T23:59:59.000Z

371

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.

372

STALL STREET JOURNAL [A WEEKLY DOSE OF KNOWLEDGE  

E-Print Network [OSTI]

bottles, and plastic tubs or jars are not microwave safe. Check for a symbol indicating it is before using veggies. Follow these tips to prevent fires--and burned food. 1. Most plastic take-out containers, water, and heavy plastic wrap 3. Vent plastic wrap to allow steam to escape. 4. Always use oven mitts or a thick

Mahon, Bradford Z.

373

Stanford University Exploiting Channel Knowledge at the Tx in MISO and MIMO Wireless Exploiting Partial Channel Knowledge at  

E-Print Network [OSTI]

Stanford University Exploiting Channel Knowledge at the Tx in MISO and MIMO Wireless Exploiting Partial Channel Knowledge at the Transmitter in MISO and MIMO Wireless SPAWC 2003 Rome, Italy June 18 Exploiting Channel Knowledge at the Tx in MISO and MIMO Wireless Outline Introduction Perfect CSI

Paulraj, Arogyaswami

374

Intagorn et al. Harvesting Geospatial Knowledge from Social Metadata Harvesting Geospatial Knowledge from Social  

E-Print Network [OSTI]

Intagorn et al. Harvesting Geospatial Knowledge from Social Metadata Harvesting Geospatial Institute lerman@isi.edu ABSTRACT Up-to-date geospatial information can help crisis management community of the social photo-sharing site Flickr to learn geospatial concepts and relations. Our method leverages

Lerman, Kristina

375

Institute for Software Technology Model-Based Testing  

E-Print Network [OSTI]

t Institute for Software Technology Model-Based Testing Ausgewählte Kapitel Softwaretechnologie 2 2013/14 B.K. Aichernig Model-Based Testing 1 / 38 #12;t Institute for Software Technology Testing Testing: checking or measuring some quality characteristics of an executing system by performing

376

A review of "Inventing the Indigenous: Local Knowledge and Natural History in Early Modern Europe" by Alix Cooper  

E-Print Network [OSTI]

changing commercial and political landscape of the early modern period. Based on a compelling analysis of a vast array of natural history texts, manuscripts, and correspondence between naturalists, Cooper asserts that the influx of so-called ?exotic... of universities and institutionalized sites of knowledge, which generated a great deal of interest in botanical study and the recovery of regional natural histories. According to Cooper, the self-conscious formation of local envi- ronmental knowledge...

Chamberland, Celeste

2009-01-01T23:59:59.000Z

377

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics  

E-Print Network [OSTI]

introduced Hybrid Automata Stochastic Logic (HASL) [8] establishes a powerful framework for the analysis demonstrate the potential of HASL based verification in the context of genetic circuits. To this aim we properties related to this model, formally express them in HASL terms and, assess them with COSMOS

Paris-Sud XI, Université de

378

Rate-Adaptive Distributed Source Coding using Low-Density Parity-Check Codes  

E-Print Network [OSTI]

code C. Upon receipt of the syndrome, the distributed source decoder can narrow down the possible framework [7]. The distributed source encoder compresses X into its syndrome S with respect to a channel syndrome based on an aggressive code and the decoder attempts decoding. In the event that decoding

Girod, Bernd

379

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

ScienceCinema (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; Jrgensen, 1994) in which systems are modelled 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.

Francesco Danuso

2010-01-08T23:59:59.000Z

380

Processes, data structures, and apparatuses for representing knowledge  

DOE Patents [OSTI]

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

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

DOE Knowledge Management Community of Practice | Department of...  

Broader source: Energy.gov (indexed) [DOE]

to: - Share best practices for corporately promoting knowledge sharing for professional development and continual learning. - Create a sustainable network to strategize ways to...

382

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

383

Managing Knowledge for Innovations in Wind Power Industry.  

E-Print Network [OSTI]

?? On one side Innovation, innovation systems and knowledge management are two topics have been discussed so much by scholars before. The advantages gained through (more)

Karatas, Bora

2010-01-01T23:59:59.000Z

384

MHK Technologies/New Knowledge Wind and Wave Renewable Mobile...  

Open Energy Info (EERE)

Wave Renewable Mobile Wind and Wave Power Plant Platform < MHK Technologies Jump to: navigation, search << Return to the MHK database homepage New Knowledge Wind and Wave Renewable...

385

Equip Tourists with Knowledge Mined from Travelogues , Changhu Wang  

E-Print Network [OSTI]

-representative knowledge such as attractions (e.g., Golden Gate Bridge), styles (e.g., beach, history), and activ- ities (e

Narasayya, Vivek

386

Epistemic Friction: Reflections on Knowledge, Truth, and Logic  

E-Print Network [OSTI]

ARTICLE Epistemic Friction: Re?ections on Knowledge, Truth,requires both freedom and friction. Freedom to set up ourprograms, etc. , and friction (constraint) coming from two

Sher, Gila

2010-01-01T23:59:59.000Z

387

Exploration Best Practices and the OpenEI Knowledge Exchange...  

Energy Savers [EERE]

Exchange Webinar Exploration Best Practices and the OpenEI Knowledge Exchange Webinar slide presentation by Katherine Young, Timothy Reber and Kermit Witherbee on April 11, 2012....

388

The geography of the knowledge dynamics in genomics?.  

E-Print Network [OSTI]

??This research aims to come to an understanding of the knowledge dynamics of the relatively new scientific discipline: genomics. Hereby this research makes use of (more)

Ventura da Silva, A.G.

2011-01-01T23:59:59.000Z

389

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

390

Mechanistic insights into mode of action of potent natural antagonists of BACE-1 for checking Alzheimers plaque pathology  

SciTech Connect (OSTI)

Highlights: Accumulation of A? plaques is one of the major pathology associated with Alzheimers disease. Inhibition of ?-Secretase or BACE-1 offers a viable prospect to check the growth of these plaques. A large virtual dataset of natural compounds was screened against BACE-1. Top two hits were analyzed for thermodynamic and structural stability using MD simulations. Their detailed binding mode of actions were elucidated. -- Abstract: Alzheimers is a neurodegenerative disorder resulting in memory loss and decline in cognitive abilities. Accumulation of extracellular beta amyloidal plaques is one of the major pathology associated with this disease. ?-Secretase or BACE-1 performs the initial and rate limiting step of amyloidic pathway in which 3743 amino acid long peptides are generated which aggregate to form plaques. Inhibition of this enzyme offers a viable prospect to check the growth of these plaques. Numerous efforts have been made in recent years for the generation of BACE-1 inhibitors but many of them failed during the preclinical or clinical trials due to drug related or drug induced toxicity. In the present work, we have used computational methods to screen a large dataset of natural compounds to search for small molecules having BACE-1 inhibitory activity with low toxicity to normal cells. Molecular dynamics simulations were performed to analyze molecular interactions between the screened compounds and the active residues of the enzyme. Herein, we report two natural compounds of inhibitory nature active against ?-secretase enzyme of amyloidic pathway and are potent lead molecules against Alzheimers disease.

Dhanjal, Jaspreet Kaur [School of Biotechnology, Jawaharlal Nehru University, New Delhi 110067 (India)] [School of Biotechnology, Jawaharlal Nehru University, New Delhi 110067 (India); Goyal, Sukriti [Apaji Institute of Mathematics and Applied Computer Technology, Banasthali University, Tonk 304022, Rajasthan (India)] [Apaji Institute of Mathematics and Applied Computer Technology, Banasthali University, Tonk 304022, Rajasthan (India); Sharma, Sudhanshu [Department of Biotechnology, Delhi Technological University, New Delhi 110042 (India)] [Department of Biotechnology, Delhi Technological University, New Delhi 110042 (India); Hamid, Rabia [Department of Biochemistry, University of Kashmir, Srinagar 190006 (India)] [Department of Biochemistry, University of Kashmir, Srinagar 190006 (India); Grover, Abhinav, E-mail: abhinavgr@gmail.com [School of Biotechnology, Jawaharlal Nehru University, New Delhi 110067 (India)] [School of Biotechnology, Jawaharlal Nehru University, New Delhi 110067 (India)

2014-01-17T23:59:59.000Z

391

A comparison algorithm to check LTSA Layer 1 and SCORM compliance in e-Learning sites  

E-Print Network [OSTI]

The success of e-Learning is largely dependent on the impact of its multimedia aided learning content on the learner over the hyper media. The e-Learning portals with different proportion of multimedia elements have different impact on the learner, as there is lack of standardization. The Learning Technology System Architecture (LTSA) Layer 1 deals with the effect of environment on the learner. From an information technology perspective it specifies learner interaction from the environment to the learner via multimedia content. Sharable Content Object Reference Model (SCROM) is a collection of standards and specifications for content of web-based e-learning and specifies how JavaScript API can be used to integrate content development. In this paper an examination is made on the design features of interactive multimedia components of the learning packages by creating an algorithm which will give a comparative study of multimedia component used by different learning packages. The resultant graph as output helps...

Sengupta, Souvik; Banerjee, Nilanjan

2012-01-01T23:59:59.000Z

392

WORK PROGRAMME 2011 REGIONS OF KNOWLEDGE  

E-Print Network [OSTI]

on science and technology based development in full compliance with the priorities of the EUROPE 2020 research and technological development activities in a way which can contribute significantly to economic region as the other components of the cluster; · business entities (large enterprises and SMEs as defined

Rimon, Elon

393

Knowledge Engineering Technique for Cluster Development  

E-Print Network [OSTI]

, Yacine Ouzroute2 , Gilles Neubert2 , and Abdelaziz Bouras2 1 College of Arts, Media and Technology was tangibly applied in many countries, SMEs trended to link to each other to maintain their competitiveness-based economy is affected by the increasing use of information technologies. Most of industries try to use

Paris-Sud XI, Université de

394

WORK PROGRAMME 2010 REGIONS OF KNOWLEDGE  

E-Print Network [OSTI]

of regional players in enhancing science and technology based development. Its purpose is to enable regions to strengthen their capacity for investing in and conducting research and technological development activities components of the cluster; · business entities (large enterprises and SMEs as defined in the EC

Milano-Bicocca, Università

395

On Strong Normalization of the Calculus of Constructions with Type-Based Termination  

E-Print Network [OSTI]

On Strong Normalization of the Calculus of Constructions with Type-Based Termination Benjamin Gr.Gregoire,Jorge-Luis.Sacchini}@inria.fr Abstract. Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies con- sistency and decidability of type checking. Type-based termination

Paris-Sud XI, Universit de

396

Intelligent Mobile Agents for Information Retrieval and Knowledge Discovery from  

E-Print Network [OSTI]

or software agents for intelligent, selective, and context­sensitive data gathering and data assimilation assimilation, and knowl­ edge discovery using heterogeneous, distributed data and knowledge sources. (See [1Intelligent Mobile Agents for Information Retrieval and Knowledge Discovery from Distributed Data

Honavar, Vasant

397

Roadmapping as a Knowledge Creation Process: The PROLEARN Roadmap  

E-Print Network [OSTI]

Abstract: The paper presents a new approach to developing a roadmap for technologyenhanced professional training. The new methodology views roadmapping as a knowledge creation process and involves the key phases of foresight analysis (identification of prevalent visions) and gap analysis. A conceptual model of the roadmapping process as a knowledge creation exercise is introduced and discussed.

Vana Kamtsiou; Ambjrn Naeve; Lampros K. Stergioulas; Tapio Koskinen

398

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

399

Parameter estimation for knowledge and diagnosis of electrical machines  

E-Print Network [OSTI]

Chapitre 1 Parameter estimation for knowledge and diagnosis of electrical machines Jean in "Control Methods for Electrical Machines, ISTE Ltd and John Wiley & Sons Inc (Ed.) (2009) 207-243" DOI : 10.1002/9780470611760 #12;Chapter 1 Parameter estimation for knowledge and diagnosis of electrical machines 1

Boyer, Edmond

400

How Do Social Networks Affect Organizational Knowledge Utilization? David Dekker  

E-Print Network [OSTI]

How Do Social Networks Affect Organizational Knowledge Utilization? David Dekker University (cf. March, 1991). Organizational structures that coordinate this balance can be characterized-(0)24-361-1933 Email: d.dekker@nsm.kun.nl Key Words: Knowledge utilization, explorative and exploitative learning

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


401

A theoretical systemic analysis of organizational tacit knowledge memorization  

E-Print Network [OSTI]

. Thus, individual learning will lead to organizational learning, which later will differentiate1 A theoretical systemic analysis of organizational tacit knowledge memorization Iskander ZOUAGHI halshs-00665703,version1-2Feb2012 #12;2 A theoretical systemic analysis of organizational tacit knowledge

Paris-Sud XI, Université de

402

I' om Data Mining to Knowledge Discovery: Usama M. Fayyad  

E-Print Network [OSTI]

I' om Data Mining to Knowledge Discovery: Overview Usama M. Fayyad Jet Propulsion Laboratory knowledge discovery and data ~g. We begin with a definition of the KDD process and basic data mining :=c on the order of 50 giga- bytes of remotely sensed image data per hour when operational in the late 1990s

Raghavan, Vijay

403

Knowledge Discovery and Data Mining (KDDM) survey report.  

SciTech Connect (OSTI)

The large number of government and industry activities supporting the Unit of Action (UA), with attendant documents, reports and briefings, can overwhelm decision-makers with an overabundance of information that hampers the ability to make quick decisions often resulting in a form of gridlock. In particular, the large and rapidly increasing amounts of data and data formats stored on UA Advanced Collaborative Environment (ACE) servers has led to the realization that it has become impractical and even impossible to perform manual analysis leading to timely decisions. UA Program Management (PM UA) has recognized the need to implement a Decision Support System (DSS) on UA ACE. The objective of this document is to research the commercial Knowledge Discovery and Data Mining (KDDM) market and publish the results in a survey. Furthermore, a ranking mechanism based on UA ACE-specific criteria has been developed and applied to a representative set of commercially available KDDM solutions. In addition, an overview of four R&D areas identified as critical to the implementation of DSS on ACE is provided. Finally, a comprehensive database containing detailed information on surveyed KDDM tools has been developed and is available upon customer request.

Phillips, Laurence R.; Jordan, Danyelle N.; Bauer, Travis L.; Elmore, Mark T. (Oak Ridge National Laboratory, Oak Ridge, TN); Treadwell, Jim N. (Oak Ridge National Laboratory, Oak Ridge, TN); Homan, Rossitza A.; Chapman, Leon Darrel; Spires, Shannon V.

2005-02-01T23:59:59.000Z

404

Method and system for knowledge discovery using non-linear statistical analysis and a 1st and 2nd tier computer program  

DOE Patents [OSTI]

The invention relates to a method and apparatus for simultaneously processing different sources of test data into informational data and then processing different categories of informational data into knowledge-based data. The knowledge-based data can then be communicated between nodes in a system of multiple computers according to rules for a type of complex, hierarchical computer system modeled on a human brain.

Hively, Lee M. (Philadelphia, TN)

2011-07-12T23:59:59.000Z

405

E-Print Network 3.0 - adaptive control based Sample Search Results  

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

-4. These methods include intelligent control, neural control, adaptive fuzzy control, memory-based control... , knowledge- based control, adaptive nonlinear control, and...

406

Global optimization of data quality checks on 2-D and 3-D networks of GPR cross-well tomographic data for automatic correction of unknown well deviations  

SciTech Connect (OSTI)

Significant errors related to poor time zero estimation, well deviation or mislocation of the transmitter (TX) and receiver (RX) stations can render even the most sophisticated modeling and inversion routine useless. Previous examples of methods for the analysis and correction of data errors in geophysical tomography include the works of Maurer and Green (1997), Squires et al. (1992) and Peterson (2001). Here we follow the analysis and techniques of Peterson (2001) for data quality control and error correction. Through our data acquisition and quality control procedures we have very accurate control on the surface locations of wells, the travel distance of both the transmitter and receiver within the boreholes, and the change in apparent zero time. However, we often have poor control on well deviations, either because of economic constraints or the nature of the borehole itself prevented the acquisition of well deviation logs. Also, well deviation logs can sometimes have significant errors. Problems with borehole deviations can be diagnosed prior to inversion of travel-time tomography data sets by plotting the apparent velocity of a straight ray connecting a transmitter (TX) to a receiver (RX) against the take-off angle of the ray. Issues with the time-zero pick or distances between wells appear as symmetric smiles or frown in these QC plots. Well deviation or dipping-strong anisotropy will result in an asymmetric correlation between apparent velocity and take-off angle (Figure 1-B). In addition, when a network of interconnected GPR tomography data is available, one has the additional quality constraint of insuring that there is continuity in velocity between immediately adjacent tomograms. A sudden shift in the mean velocity indicates that either position deviations are present or there is a shift in the pick times. Small errors in well geometry may be effectively treated during inversion by including weighting, or relaxation, parameters into the inversion (e.g. Bautu et al., 2006). In the technique of algebraic reconstruction tomography (ART), which is used herein for the travel time inversion (Peterson et al., 1985), a small relaxation parameter will smooth imaging artifacts caused by data errors at the expense of resolution and contrast (Figure 2). However, large data errors such as unaccounted well deviations cannot be adequately suppressed through inversion weighting schemes. Previously, problems with tomograms were treated manually. However, in large data sets and/or networks of data sets, trial and error changes to well geometries become increasingly difficult and ineffective. Mislocation of the transmitter and receiver stations of GPR cross-well tomography data sets can lead to serious imaging artifacts if not accounted for prior to inversion. Previously, problems with tomograms have been treated manually prior to inversion. In large data sets and/or networks of tomographic data sets, trial and error changes to well geometries become increasingly difficult and ineffective. Our approach is to use cross-well data quality checks and a simplified model of borehole deviation with particle swarm optimization (PSO) to automatically correct for source and receiver locations prior to tomographic inversion. We present a simple model of well deviation, which is designed to minimize potential corruption of actual data trends. We also provide quantitative quality control measures based on minimizing correlations between take-off angle and apparent velocity, and a quality check on the continuity of velocity between adjacent wells. This methodology is shown to be accurate and robust for simple 2-D synthetic test cases. Plus, we demonstrate the method on actual field data where it is compared to deviation logs. This study shows the promise for automatic correction of well deviations in GPR tomographic data. Analysis of synthetic data shows that very precise estimates of well deviation can be made for small deviations, even in the presence of static data errors. However, the analysis of the synthetic data and the application of

Sassen, D. S.; Peterson, J. E.

2010-03-15T23:59:59.000Z

407

41. DISCOVERY, SEARCH, AND COMMUNICATION OF TEXTUAL KNOWLEDGE RESOURCES IN DISTRIBUTED SYSTEMS a. Discovering and Utilizing Knowledge Sources for Metasearch Knowledge Systems  

SciTech Connect (OSTI)

Advanced Natural Language Processing Tools for Web Information Retrieval, Content Analysis, and Synthesis. The goal of this SBIR was to implement and evaluate several advanced Natural Language Processing (NLP) tools and techniques to enhance the precision and relevance of search results by analyzing and augmenting search queries and by helping to organize the search output obtained from heterogeneous databases and web pages containing textual information of interest to DOE and the scientific-technical user communities in general. The SBIR investigated 1) the incorporation of spelling checkers in search applications, 2) identification of significant phrases and concepts using a combination of linguistic and statistical techniques, and 3) enhancement of the query interface and search retrieval results through the use of semantic resources, such as thesauri. A search program with a flexible query interface was developed to search reference databases with the objective of enhancing search results from web queries or queries of specialized search systems such as DOE's Information Bridge. The DOE ETDE/INIS Joint Thesaurus was processed to create a searchable database. Term frequencies and term co-occurrences were used to enhance the web information retrieval by providing algorithmically-derived objective criteria to organize relevant documents into clusters containing significant terms. A thesaurus provides an authoritative overview and classification of a field of knowledge. By organizing the results of a search using the thesaurus terminology, the output is more meaningful than when the results are just organized based on the terms that co-occur in the retrieved documents, some of which may not be significant. An attempt was made to take advantage of the hierarchy provided by broader and narrower terms, as well as other field-specific information in the thesauri. The search program uses linguistic morphological routines to find relevant entries regardless of whether terms are stored in singular or plural form. Implementation of additional inflectional morphology processes for verbs can enhance retrieval further, but this has to be balanced by the possibility of broadening the results too much. In addition to the DOE energy thesaurus, other sources of specialized organized knowledge such as the Medical Subject Headings (MeSH), the Unified Medical Language System (UMLS), and Wikipedia were investigated. The supporting role of the NLP thesaurus search program was enhanced by incorporating spelling aid and a part-of-speech tagger to cope with misspellings in the queries and to determine the grammatical roles of the query words and identify nouns for special processing. To improve precision, multiple modes of searching were implemented including Boolean operators, and field-specific searches. Programs to convert a thesaurus or reference file into searchable support files can be deployed easily, and the resulting files are immediately searchable to produce relevance-ranked results with builtin spelling aid, morphological processing, and advanced search logic. Demonstration systems were built for several databases, including the DOE energy thesaurus.

Zamora, Antonio

2008-03-18T23:59:59.000Z

408

Model-Based Testing : The Test of Formal Models  

E-Print Network [OSTI]

Model-Based Testing : The Test of Formal Models Jan Tretmans ESI & Radboud University Nijmegen #12;2 Testing (Software) Testing: checking or measuring some quality characteristics of an executing object by performing experiments in a controlled way w.r.t. a specification tester specification SUT System Under Test

409

Using Model-based Assurance to Strengthen Diagnostic Procedures  

E-Print Network [OSTI]

Using Model-based Assurance to Strengthen Diagnostic Procedures Robyn Lutz Jet Propulsion Lab diagnostic trees generated from system models are used to help check out diagnostic procedures. Diagnostic procedures are instructions used to isolate failures during operations. Assuring such procedures manually

Lutz, Robyn R.

410

COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.3.1 CRC Background Checking on Memory Regions  

E-Print Network [OSTI]

COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.3.1 CRC Background Checking on Memory. Brownsberger 2-13-01 The Center for Astrophysics and Space Astronomy Reviewed: Approved: COS DCE BOOT FSW v1 & Space Astronomy Initial Release COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.3.1 CRC

Colorado at Boulder, University of

411

COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.3.1 CRC Background Checking on Memory Regions  

E-Print Network [OSTI]

COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.3.1 CRC Background Checking on Memory. Brownsberger 2-13-01 The Center for Astrophysics and Space Astronomy Reviewed: Approved: COS DCE BOOT FSW v1 & Space Astronomy Initial Release COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.3.1 CRC

Colorado at Boulder, University of

412

STUDENT ORIENTATION CHECK-LIST It is a campus requirement that each Student that works in your department receive the appropriate and  

E-Print Network [OSTI]

STUDENT ORIENTATION CHECK-LIST It is a campus requirement that each Student that works in your. The Student Employment Program has a mission to enhance the student life of the student by on the job training and a professional experience. This may be the first time the student steps into a work environment and here

Yang, Eui-Hyeok

413

MOTOR VEHICLE RECORD AUTHORIZATION This form authorizes Parking and Transportation (PTS) Fleet Services to conduct a motor vehicle record check to  

E-Print Network [OSTI]

MOTOR VEHICLE RECORD AUTHORIZATION This form authorizes Parking and Transportation (PTS) Fleet Services to conduct a motor vehicle record check to verify eligibility to operate University of Michigan (U-M) vehicles. Form Instructions: Complete each section of the form Print and fax

Kirschner, Denise

414

Office of Nuclear Energy Knowledge Management Program Situational Analysis Report  

SciTech Connect (OSTI)

Knowledge management (KM) has been a high priority for the Department of Energy (DOE) Office of Nuclear Energy (NE) for the past several years. NE Programs are moving toward well-established knowledge management practices and a formal knowledge management program has been established. Knowledge management is being practiced to some level within each of the NE programs. Although it continues to evolve as NE programs evolve, a formal strategic plan that guides the implementation of KM has been developed. Despite the acceptance of KM within DOE NE, more work is necessary before the NE KM program can be considered fully successful. Per Dr. David J. Skyrme[1], an organization typically moves through the following evolutionary phases: (1) Ad-hoc - KM is being practiced to some level in some parts of the organization; (2) Formal - KM is established as a formal project or program; (3) Expanding - the use of KM as a discipline grows in practice across different parts of the organization; (4) Cohesive - there is a degree of coordination of KM; (5) Integrated - there are formal standards and approaches that give every individual access to most organizational knowledge through common interfaces; and (6) Embedded - KM is part-and-parcel of everyday tasks; it blends seamlessly into the background. According to the evolutionary phases, the NE KM program is operating at the two lower levels, Ad-hoc and Formal. Although KM is being practiced to some level, it is not being practiced in a consistent manner across the NE programs. To be fully successful, more emphasis must be placed on establishing KM standards and processes for collecting, organizing, sharing and accessing NE knowledge. Existing knowledge needs to be prioritized and gathered on a routine basis, its existence formally recorded in a knowledge inventory. Governance to ensure the quality of the knowledge being used must also be considered. For easy retrieval, knowledge must be organized according to a taxonomy that mimics nuclear energy programs. Technologies need to be established to make accessing the knowledge easier for the user. Finally, knowledge needs to be used as part of a well defined work process.

Kimberlyn C. Mousseau

2011-12-01T23:59:59.000Z

415

Sustaining knowledge in the neutron generator community and benchmarking study.  

SciTech Connect (OSTI)

In 2004, the Responsive Neutron Generator Product Deployment department embarked upon a partnership with the Systems Engineering and Analysis knowledge management (KM) team to develop knowledge management systems for the neutron generator (NG) community. This partnership continues today. The most recent challenge was to improve the current KM system (KMS) development approach by identifying a process that will allow staff members to capture knowledge as they learn it. This 'as-you-go' approach will lead to a sustainable KM process for the NG community. This paper presents a historical overview of NG KMSs, as well as research conducted to move toward sustainable KM.

Barrentine, Tameka C.; Kennedy, Bryan C.; Saba, Anthony W.; Turgeon, Jennifer L.; Schneider, Julia Teresa; Stubblefield, William Anthony; Baldonado, Esther

2008-03-01T23:59:59.000Z

416

accessing human knowledge: Topics by E-print Network  

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

articles on this tree. 'Technomimetics' is proposed as a new method of knowledge management in science and technology: it shall help find and organise information in an era of...

417

A Knowledge Management Platform for Documentation of Case Reports in  

E-Print Network [OSTI]

A Knowledge Management Platform for Documentation of Case Reports in Pharmacovigilance Florence systematic reviews are needed, there is little guidance on how systematic documentation of drug adverse documentation of pharmacovigilance case reports for the pharmaceutical industry and regulatory authorities

Paris-Sud XI, Universit de

418

Inductive Rules, Background Knowledge, and Skepticism Daniel Steel  

E-Print Network [OSTI]

Inductive Rules, Background Knowledge, and Skepticism Daniel Steel Department of Philosophy 503 S. Kedzie Hall Michigan State University East Lansing, MI 48823-1032 Email: steel@msu.edu #12;Abstract

Steel, Daniel

419

Preservice teachers' knowledge of linear functions within multiple representation modes  

E-Print Network [OSTI]

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

You, Zhixia

2009-05-15T23:59:59.000Z

420

The Role of Knowledge in Visual Shape Representation  

E-Print Network [OSTI]

This report shows how knowledge about the visual world can be built into a shape representation in the form of a descriptive vocabulary making explicit the important geometrical relationships comprising objects' shapes. ...

Saund, Eric

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


421

Knowledge production at the global frontier : the case of China  

E-Print Network [OSTI]

China is increasingly seen as a participant in the global knowledge economy, with recent studies have highlighted the rising number of scientists and engineers educated in Chinese institutions of higher education, and the ...

Fensterheim, Devin Robert

2009-01-01T23:59:59.000Z

422

Agricultural science students' perceptions and knowledge of hearing loss  

E-Print Network [OSTI]

knowledge level of hearing loss and hearing impairment, and its causes, and participants attitudes towards wearing hearing protection. The study design is descriptive and correlational with data collected using a written questionnaire with a controlled...

Slaydon, Sunny Leigh

2009-05-15T23:59:59.000Z

423

Assessing two-year-olds' knowledge of number agreement morphology  

E-Print Network [OSTI]

Previous research in the area of children's knowledge of number agreement morphology has yielded mixed results. Some researchers have found evidence for sensitivity to agreement morphology at as early as 16 months, while ...

Blossom, Megan Stratton

2013-12-31T23:59:59.000Z

424

INTRODUCTION What is research, but a blind date with knowledge.  

E-Print Network [OSTI]

CHAPTER 1 INTRODUCTION What is research, but a blind date with knowledge. -Will Henry The purpose for this thesis. Rationale for Study Through many generations of experimentation and theory-building, physics has

Minnesota, University of

425

The Olympics of science knowledge at DOE's New Jersey Regional...  

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

Olympics of science knowledge at DOE's New Jersey Regional Science Bowl at PPPL By Jeanne Jackson DeVoe March 3, 2014 Tweet Widget Google Plus One Share on Facebook The J Droids, a...

426

activating event knowledge: Topics by E-print Network  

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

decision making to people or applications. Nor does it provide the means for users to enter and share their "knowledge" that is useful for making the right decisions. This...

427

Knowledge Annotations in Scientific Workflows: An Implementation in Kepler  

E-Print Network [OSTI]

collection, model building, and simulation expertise, are working together to perform groundwater modeling. We evaluated the scientific process being used by the groundwater modeling team to understand how annotations. Key words: Scientific Workflows, Knowledge Annotations, Kepler 1 Introduction When scientists

Pinheiro da Silva, Paulo

428

Thermo2Pro: Knowledge dissemination for deep geothermal exploration  

E-Print Network [OSTI]

1/12 Thermo2Pro: Knowledge dissemination for deep geothermal exploration Philippe Calcagno1 territoires, Voreppe, France # now at Kitware, Villeurbanne, France p.calcagno@brgm.fr Keywords: Deep geothermal exploration, information system, Web tool, sedimentary basin, dissemination. Abstract

Paris-Sud XI, Université de

429

Encapsulating the meta-level knowledge in distributed artificial intelligence  

E-Print Network [OSTI]

solving process and resiliency and decentralized control to the distributed system as a whole. This capability extends distributed artificial intelligence techniques to a much broader range of application domains. ACKNOWLEDGMENTS As everyone who has... and methodologies are evolving that reduce the time and efFort in the development of production quality expert systems. Methods of knowledge acquisition, knowledge representation, inferencing, learn- ing, and a host of other non-traditional means of' computation...

Underbrink, Alvin Joseph

1988-01-01T23:59:59.000Z

430

Project title: The silent aircraft initiative (Knowledge Integration Community)  

E-Print Network [OSTI]

and the Massachusetts Institute of Technology (MIT). CMI was set up in 2000 to enhance the competitiveness, productivity and entrepreneurship of the UK economy by improving the effectiveness of knowledge exchange between university, industry and government. A ll pi ct... findings, present their own and keep up to date with other advances in their various fields. We also work with other knowledge transfer professionals to share our experiences and find new ways to engage, particularly with SMEs and existing initiatives...

2009-10-13T23:59:59.000Z

431

TEI Piraeus students' knowledge on the beneficial applications of nuclear physics: Nuclear energy, radioactivity - consequences  

E-Print Network [OSTI]

The recent nuclear accident in Japan revealed the confusion and the inadequate knowledge of the citizens about the issues of nuclear energy, nuclear applications, radioactivity and their consequences In this work we present the first results of an ongoing study which aims to evaluate the knowledge and the views of Greek undergraduate students on the above issues. A web based survey was conducted and 131 students from TEI Piraeus answered a multiple choice questionnaire with questions of general interest on nuclear energy, nuclear applications, radioactivity and their consequences. The survey showed that students, like the general population, have a series of faulty views on general interest nuclear issues. Furthermore, the first results indicate that our educational system is not so effective as source of information on these issues in comparison to the media and internet

Pilakouta, Mirofora

2011-01-01T23:59:59.000Z

432

Knowledges and abilities catalog for nuclear power plant operators: pressurized water reactors  

SciTech Connect (OSTI)

This document catalogs roughly 5300 knowledges and abilities of reactor operators and senior reactor operators. It results from a reanalysis of much larger job-task analysis data base compiled by the Institute of Nuclear Power Operations (INPO). Knowledges and abilities are cataloged for 45 major power plant systems and 38 emergency evolutions, grouped according to 11 fundamental safety functions (e.g., reactivity control and reactor coolant system inventory control). With appropriate sampling from this catalog, operator licensing examinations having content validity can be developed. A structured sampling procedure for this catalog is under development by the Nuclear Regulatory Commission (NRC) and will be published as a companion document, ''Examiners' Handbook for Developing Operator Licensing Examinations'' (NUREG-1121). The examinations developed by using the catalog and handbook will cover those topics listed under Title 10, Code of Federal Regulations, Part 55.

Not Available

1985-07-01T23:59:59.000Z

433

Checking PDSF Quotas  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsruc DocumentationP-Series to User Group and Userof a blast-resistant naval Charles

434

Attacking RSA-based Sessions in SSL/TLS* Vlastimil Klma  

E-Print Network [OSTI]

Attacking RSA-based Sessions in SSL/TLS* Vlastimil Klma , Ondej Pokorn1 and Toms Rosa2, 1 ICZ on RSA-based sessions in SSL/TLS protocols. These protocols incorporate the PKCS#1 (v. 1.5) encoding- secret can decrypt the whole captured SSL/TLS session. We show that incorporating a version number check

435

Prospective and Practicing Middle School Teachers' Knowledge of Curriculum for Teaching Simple Algebraic Equations  

E-Print Network [OSTI]

Knowledge of curriculum is a significant component of mathematical knowledge for teaching. However, clearly understanding knowledge of curriculum requires further refinement and substantial research. This study consists of three papers that aim...

Ma, Tingting

2012-11-28T23:59:59.000Z

436

Toward an Ontology-aware Support for Learning-Oriented Knowledge Management  

E-Print Network [OSTI]

the meaning of knowledge and the progress of organizational learning, it can provides appropriate support individual learning and organizational learning, it supports knowledge acquisition and creation- tion and use of knowledge and externalization of its product, and organizational learning, which

Mizoguchi, Riichiro

437

Entitlement advantage : the balance of local knowledge and capital access in real estate entitlements  

E-Print Network [OSTI]

Development is risky. The process of getting a shovel in the ground, steel into the sky, and rent checks into the bank involves distinct phases, each with their own risk and return profile. Generally considered the most ...

Kelley, Scott Edward

2007-01-01T23:59:59.000Z

438

A hydrochemical data base for the Hanford Site, Washington  

SciTech Connect (OSTI)

This data package contains a revision of the Site Hydrochemical Data Base for water samples associated with the Basalt Waste Isolation Project (BWIP). In addition to the detailed chemical analyses, a summary description of the data base format, detailed descriptions of verification procedures used to check data entries, and detailed descriptions of validation procedures used to evaluate data quality are included. 32 refs., 21 figs., 3 tabs.

Early, T.O.; Mitchell, M.D.; Spice, G.D.

1986-05-01T23:59:59.000Z

439

A Delphi algorithm that integrates knowledge for expert system development  

E-Print Network [OSTI]

yl f~HF being built to solve routine, medium, and difficult problems in areas such as: fault diagnosis of engine failures, design of cooling systems for automobiles and a controller for a closed environment life support system for the space shuttle... or extract key aspects of an expert's knowledge. Currently there are a few conventional methods such as interviewing which may or may not be able to readily explicate the expert' s representation of their knowledge. Thus, total reliance on any one method...

Layton, Terre Lou

1989-01-01T23:59:59.000Z

440

Knowledge and abilities catalog for nuclear power plant operators: boiling water reactors  

SciTech Connect (OSTI)

The Knowledge and Abilities Catalog for Nuclear Power Plant Operators: Boiling-Water Reactors (BWR) (NUREG-1123) provides the basis for the development of content-valid licensing examinations for reactor operators (ROs) and senior reactor operators (SROs). The examinations developed using the BWR Catalog and Examiners' Handbook for Developing Operator Licensing Examinations (NUREG-1121) will cover those topics listed under Title 10, Code of Federal Regulations, Part 55. The BWR Catalog contains approximately 7000 knowledge and ability (K/A) statements for ROs and SROs at boiling water reactors. Each K/A statement has been rated for its importance to the safe operation of the plant in a manner ensuring personnel and public health and safety. The BWR K/A Catalog is organized into five major sections: Plant-wide Generic Knowledge and Ability Statements, Plant Systems grouped by Safety Function, Emergency and Abnormal Plant Evolutions, Components, and Theory. The BWR Catalog represents a modification of the form and content of the K/A Catalog for Nuclear Power Plant Operators: Pressurized Water Reactors (NUREG-1122). First, categories of knowledge and ability statements have been redefined. Second, the scope of the definition of emergency and abnormal plant evolutions has been revised in line with a symptom-based approach. Third, K/As related to the operational applications of theory have been incorporated into the delineations for both plant systems and emergency and abnormal plant evolutions, while K/As pertaining to theory fundamental to plant operation have been delineated in a separate theory section. Finally, the components section has been revised.

Not Available

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


441

Integrating Knowledge Management and Human Resources via Skill Management  

E-Print Network [OSTI]

Integrating Knowledge Management and Human Resources via Skill Management Norbert Gronau. The human resources department can look for certain skills and compare the skills of an employee [Kreitmeier et al. 2000]. The company is able to save costs that otherwise apply to placing adverts for job

Appelrath, Hans-Jrgen

442

ISI Web of KnowledgeSM : Creating Alerts  

E-Print Network [OSTI]

ISI Web of KnowledgeSM : Creating Alerts http://isiknowledge.com/ The alerting capacity in ISI Web text · HTML · ISI ResearchSoft (for import into EndNote) · Field Tagged (for import into RefWorks) #12

Wurtele, Jonathan

443

BOOK REVIEW Cold War Social Science: Knowledge Production,  

E-Print Network [OSTI]

BOOK REVIEW Cold War Social Science: Knowledge Production, Liberal Democracy, and Human Nature, 2012. Reviewed by Paul Erickson, Wesleyan University Taken together, these two important books make intriguing statements about the way to write the histories of fields like psychology, sociology, anthropology

Solovey, Mark

444

Knowledge, Society and the Global Order A development perspective  

E-Print Network [OSTI]

Knowledge, Society and the Global Order A development perspective JNU 24th September, 2014 Milind-physical sector. Retreat of regional socio-technical agencies. Rise of international economists, sociologists, WB etc. () September 23, 2014 11 / 55 #12;Other areas... Cooking energy: simi

Sohoni, Milind

445

Cognitive Maps and Bayesian Networks for Knowledge Representation and Reasoning  

E-Print Network [OSTI]

Cognitive Maps and Bayesian Networks for Knowledge Representation and Reasoning Karima Sedki 1, France 2. Université européenne de Bretagne, France Email: louis.bonneau@agrocampus-ouest.fr Abstract--Cognitive individual's judgments, thinking or beliefs about a given problem. However, drawing inferences in cognitive

Paris-Sud XI, Université de

446

Reasoning About Knowledge: A Survey \\Lambda Joseph Y. Halpern  

E-Print Network [OSTI]

Programming, Vol. 4, D. Gabbay, C. J. Hogger, and J. A. Robinson, eds., Oxford University Press, 1995, pp. 1 appears in the Encyclopedia of Computer Science and Technology, Vol. 27, Supplement 12 (ed. A. Kent and J Knowledge: Proceedings of the 1986 Conference, Morgan Kaufmann, 1986 (J. Y. Halpern, ed.). Portions

Halpern, Joseph Y.

447

Important Cognitive Components of Domain-Specific Search Knowledge  

E-Print Network [OSTI]

the subject-specific terms to enter in a query. For example, many university students often buy electronicImportant Cognitive Components of Domain-Specific Search Knowledge Suresh K. Bhavnani School Many users have acquired a sophisticated understanding of searching the Web in specific domains

Bhavnani, Suresh K.

448

Inverse diffusion from knowledge of power densities Guillaume Bal  

E-Print Network [OSTI]

asymptotic expansions and (Fourier) transformation, this allow us to construct the power density) provides access to the power density H(x) = (x)|u|2 (x) for all x inside the domain of interestInverse diffusion from knowledge of power densities Guillaume Bal , Eric Bonnetier , Fran

Bal, Guillaume

449

Rural Knowledge Clusters: The Challenge of Rural Economic  

E-Print Network [OSTI]

Rural Knowledge Clusters: The Challenge of Rural Economic Prosperity Lee W. Munnich, Jr. Greg Schrock Karen Cook University of Minnesota 2002 Reviews of Economic Development Literature and Practice: No. 12 U.S. Economic Development Administration #12;Reviews of Economic Development Literature

Levinson, David M.

450

updated slides: http://sideinfo.wikkii.com Rich Prior Knowledge  

E-Print Network [OSTI]

updated slides: http://sideinfo.wikkii.com Rich Prior Knowledge in Learning for NLP Gregory Druck, Kuzman Ganchev, João Graça updated slides: http://sideinfo.wikkii.com 1 1 #12;updated slides: http://sideinfo.wikkii.com Goal: Build a Statistical NLP System · ` 2 2 #12;updated slides: http://sideinfo.wikkii.com Goal: Build

Taskar, Ben

451

Climate Change in Arizona: Current Knowledge and Future  

E-Print Network [OSTI]

's premier climate scientists discuss the impacts of climate change on Arizona's water, energy, healthClimate Change in Arizona: Current Knowledge and Future Collaborations Among the State Universities 230 Arizona State University, Tempe Campus Join us for a cross-university climate forum, as Arizona

Zhang, Junshan

452

IMKA: A Multimedia Organization System Combining Perceptual and Semantic Knowledge  

E-Print Network [OSTI]

-914-784-7320 jrsmith@watson.ibm.com ABSTRACT In this demo, we present the IMKA system, which implements the innovative extends existing knowledge representation tools in the text domain (e.g., semantic networks and Word, and enhanced searching using relevance feedback from users. However, existing systems still lack adequate

Chang, Shih-Fu

453

ITERATE: A Conceptual Clustering Knowledge Discovery in Databases  

E-Print Network [OSTI]

exploration and geology? It is common knowledge that drilling costs for new o shore prospects are in the range in drilling technology and data collection methods have led to oil companies and ancilliary companies new plays and prospects. A possible solution may be in developing the capability for retrieving

454

A Knowledge-Engine Architecture for a Competence Management Information  

E-Print Network [OSTI]

focus of our work is to support the management of employees' competencies through using a KM approach focus of our work is to support the management of employees' competencies through using a KM approachA Knowledge-Engine Architecture for a Competence Management Information System José Braga de

Kimble, Chris

455

Sensors for ecology Towards integrated knowledge of ecosystems  

E-Print Network [OSTI]

Sensors for ecology Towards integrated knowledge of ecosystems CNRS Institut ?cologie et scales. This book provides an overview of current sensors for ecology and makes a strong case of practical ecological applications, this text is meant to be an invaluable resource for students, researchers

van Tiggelen, Bart

456

Knowledge discovery using data mined from Nuclear Magnetic  

E-Print Network [OSTI]

Knowledge discovery using data mined from Nuclear Magnetic Resonance spectral images William J cyberinfrastructure Method Solid State ab initio calculations Nuclear Magnetic Resonance (NMR) Support Vector refined (and/or relaxed) structure, perform Self-Consistent Field calculation for electronic structure

Narasayya, Vivek

457

Knowledge Structures and Didactic Model Selection in Learning Object Navigation  

E-Print Network [OSTI]

Knowledge Structures and Didactic Model Selection in Learning Object Navigation Dietrich Albert' of the content of the learning objects, and (2) a `didactic preference level' of the specific preferences constraints and the didactic constraints are available. 1 Introduction According to the SCORM (Shareable

Paris-Sud XI, Université de

458

WRIGHT CONTRA MCDOWELL ON PERCEPTUAL KNOWLEDGE AND SCEPTICISM  

E-Print Network [OSTI]

1 WRIGHT CONTRA MCDOWELL ON PERCEPTUAL KNOWLEDGE AND SCEPTICISM DUNCAN PRITCHARD University of Edinburgh ABSTRACT. One of the key debates in contemporary epistemology is that between Crispin Wright (argumentation that he may or may not agree with), can be shown to be a viable alternative to Wright's anti

Edinburgh, University of

459

RANDOMIZING THE KNOWLEDGE ACQUISITION BOTTLENECK Stuart H. Rubin  

E-Print Network [OSTI]

applications. For example, the medical rule, IF the patient is coughing THEN prescribe cough syrup; is usually true. However, an expert medical system having this limited medical knowledge would prescribe cough specific rule: IF the patient is coughing AND the patient was just eating THEN apply Dr. Heimlich

Trajkovic, Ljiljana

460

Building Knowledge about Buildings Matthew T. Young and Eyal Amir  

E-Print Network [OSTI]

Building Knowledge about Buildings Matthew T. Young and Eyal Amir University of Illinois, Urbana The ability to encode information about the structure of buildings is essential for the development of applications which are able to reason about buildings and answer queries concerning their design and function

Amir, Eyal

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

Concrete vs. Abstract Problem Formats: A Disadvantage of Prior Knowledge  

E-Print Network [OSTI]

Concrete vs. Abstract Problem Formats: A Disadvantage of Prior Knowledge Andrew F. Heckler experiments examine the effects of varying the relative concreteness of physics word problems on student performance.Previous studies have found that concrete representations benefit performance for relatively

Heckler, Andrew F.

462

4th International Conference on Knowledge Science, Engineering & Management  

E-Print Network [OSTI]

ontology modeling and quality assurance · Semantic integration for ontology alignment, merging and mapping conceptualization knowledge of domains of interest. Other formalisms such as rules can be built upon ontologies and demonstrations. We solicit high-quality papers on the following topics, but not limited to: · Description logics

Leeds, University of

463

New Polynomial Classes for Logic-Based Abduction  

E-Print Network [OSTI]

We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given propositional knowledge base. We give a general algorithm, based on the notion of projection; then we study restrictions over the representations of the knowledge base and of the query, and find new polynomial classes of abduction problems.

Zanuttini, B

2011-01-01T23:59:59.000Z

464

Concurrent Zero-Knowledge Proofs for NP Joe Kilian y Erez Petrank z Ransom Richardson x  

E-Print Network [OSTI]

Cummings Center, Beverly, MA 01915. rrichard@groove.net. 1 #12; zero-knowledge protocols that are robustConcurrent Zero-Knowledge Proofs for NP #3; Joe Kilian y Erez Petrank z Ransom Richardson x November 26, 2001 Abstract A proof is concurrent zero-knowledge if it remains zero-knowledge when many

Petrank, Erez

465

A First Experimental Demonstration of Massive Knowledge Infusion Loizos Michael and Leslie G. Valiant  

E-Print Network [OSTI]

A First Experimental Demonstration of Massive Knowledge Infusion Loizos Michael and Leslie G situations. Knowledge Infusion is an approach to this problem in which the commonsense knowledge is acquired that chain- ing the learned rules is efficacious for reasoning. Introduction Knowledge Infusion

Valiant, Leslie

466

Power in Knowledge Management in Late Modern Times Hamid R. Ekbia1  

E-Print Network [OSTI]

apply a refined version of Foucault's notion of a "regime of truth" to show the institutionally (hence, the "knowledge society" and "knowledge economy") and a strategic resource of the firm (hence of the above relation in discussions of knowledge economy, in general, and of knowledge management

Indiana University

467

The evaluation within the development and deployment of IMS LD-based didactic materials: The MD2 + runtime adaptation approach  

E-Print Network [OSTI]

The evaluation within the development and deployment of IMS LD-based didactic materials: The MD2 in the didactic materials creation since it allows developers to check if the features of created material satisfy]. They have been applied to asses IMS LD based didactic material in conjunction with the experience provided

Paris-Sud XI, Université de

468

CSUF Clubs & Organizations!!! What can the Titan Pride Center do for you? The Titan Pride Center wants to help get the word out about CSUF clubs and organizations! Check out all of the ways we can help your group!  

E-Print Network [OSTI]

wants to help get the word out about CSUF clubs and organizations! Check out all of the ways we can help of your promotional materials. We will have a table ready for you and even help promote with you! Puzzle

de Lijser, Peter

469

Biofuel Distribution Datasets from the Bioenergy Knowledge Discovery Framework  

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

The Bioenergy Knowledge Discovery Framework invites users to discover the power of bioenergy through an interface that provides extensive access to research data and literature, GIS mapping tools, and collaborative networks. The Bioenergy KDF supports efforts to develop a robust and sustainable bioenergy industry. The KDF facilitates informed decision making by providing a means to synthesize, analyze, and visualize vast amounts of information in a relevant and succinct manner. It harnesses Web 2.0 and social networking technologies to build a collective knowledge system that can better examine the economic and environmental impacts of development options for biomass feedstock production, biorefineries, and related infrastructure. [copied from https://www.bioenergykdf.net/content/about] Holdings include datasets, models, and maps and the collections are growing due to both DOE contributions and individuals' data uploads.

470

Biofuel Production Datasets from DOE's Bioenergy Knowledge Discovery Framework (KDF)  

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

The Bioenergy Knowledge Discovery Framework invites users to discover the power of bioenergy through an interface that provides extensive access to research data and literature, GIS mapping tools, and collaborative networks. The Bioenergy KDF supports efforts to develop a robust and sustainable bioenergy industry. The KDF facilitates informed decision making by providing a means to synthesize, analyze, and visualize vast amounts of information in a relevant and succinct manner. It harnesses Web 2.0 and social networking technologies to build a collective knowledge system that can better examine the economic and environmental impacts of development options for biomass feedstock production, biorefineries, and related infrastructure. [copied from https://www.bioenergykdf.net/content/about]

Holdings include datasets, models, and maps and the collections arel growing due to both DOE contributions and data uploads from individuals.

471

Feedstock Production Datasets from the Bioenergy Knowledge Discovery Framework  

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

The Bioenergy Knowledge Discovery Framework invites users to discover the power of bioenergy through an interface that provides extensive access to research data and literature, GIS mapping tools, and collaborative networks. The Bioenergy KDF supports efforts to develop a robust and sustainable bioenergy industry. The KDF facilitates informed decision making by providing a means to synthesize, analyze, and visualize vast amounts of information in a relevant and succinct manner. It harnesses Web 2.0 and social networking technologies to build a collective knowledge system that can better examine the economic and environmental impacts of development options for biomass feedstock production, biorefineries, and related infrastructure. [copied from https://www.bioenergykdf.net/content/about] Holdings include datasets, models, and maps and the collections are growing due to both DOE contributions and data uploads from individuals.

472

Feedstock Logistics Datasets from DOE's Bioenergy Knowledge Discovery Framework (KDF)  

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

The Bioenergy Knowledge Discovery Framework invites users to discover the power of bioenergy through an interface that provides extensive access to research data and literature, GIS mapping tools, and collaborative networks. The Bioenergy KDF supports efforts to develop a robust and sustainable bioenergy industry. The KDF facilitates informed decision making by providing a means to synthesize, analyze, and visualize vast amounts of information in a relevant and succinct manner. It harnesses Web 2.0 and social networking technologies to build a collective knowledge system that can better examine the economic and environmental impacts of development options for biomass feedstock production, biorefineries, and related infrastructure. Holdings include datasets, models, and maps. [from https://www.bioenergykdf.net/content/about

473

Women in STEM: True Self-Knowledge and Achievement Motivation  

E-Print Network [OSTI]

of the requirements for the designation as an UNDERGRADUATE RESEARCH SCHOLAR Approved by Research Advisor: Dr. Rebecca Schlegel May 2014 Major: Psychology Womens and Gender Studies TABLE OF CONTENTS Page ABSTRACT 1.... Rebecca Schlegel Department of Psychology In this study, I will examine whether there is a relationship between true-self knowledge and motivation to remain in a STEM major among female STEM students. Specifically, I hypothesize that a greater...

Kavanaugh, Katherine Elizabeth

2013-12-12T23:59:59.000Z

474

Using Prior Knowledge in the Design of Classifiers  

E-Print Network [OSTI]

USING PRIOR KNOWLEDGE IN THE DESIGN OF CLASSIFIERS A Dissertation by MOHAMMAD SHAHROKH ESFAHANI Submitted to the Office of Graduate and Professional Studies of Texas A&M University in partial fulfillment of the requirements for the degree of DOCTOR... OF PHILOSOPHY Chair of Committee, Edward Russell Dougherty Co-Chair of Committee, Aniruddha Datta Committee Members, Byung-Jun Yoon Ivan Ivanov Head of Department, Chanan Singh May 2014 Major Subject: Electrical Engineering Copyright 2014 Mohammad Shahrokh...

Shahrokh Esfahani, Mohammad

2014-04-18T23:59:59.000Z

475

A Study of Practice Issues in Model-Based Verification Using the Symbolic Model Verifier (SMV)  

E-Print Network [OSTI]

vii Acknowledgements ix 1 Introduction 1 2 Background 3 2.1 Model-Based Verification 3 2.2 The Simplex Coordinated Demonstration System 4 3 Modeling with Statecharts 7 3.1 Statechart Notation 7 3.2 Creating the Statechart Model 8 4 Modeling Checking with the Symbolic Model Verifier (SMV) 11 4.1 Model Checking Steps 11 4.2 SMV Modeling Notation: 12 4.3 Creating the SMV Model 13 4.3.1 Learning SMV 13 4.3.2 Variables 14 4.3.3 Model Refinement 14 4.3.4 Iterations of the Model 15 4.3.5 Syntax Checking 16 4.4 Checking the Claims 16 4.4.1 Claim 1 17 4.4.2 Claim 2 17 4.4.3 Claim 3: 18 5 Process Metrics and Observations 21 5.1 Learning the System 21 5.2 Learning SMV Modeling Language and Tool 22 5.3 Modeling the System 22 5.4 Making Changes to the Models 23 5.5 Generating and Checking Claims 24 ii CMU/SEI-98-TR-013 6 Summary 25 6.1 Observations on the Modeling Effort 25 6.2 Observations on the Practice 26 6.3 Observations on Applicability 27 6.4 Future Work 27 7 References 29 Appendix ...

Using The; Grama R. Srinivasan; David P. Gluch; Mario Moya

1998-01-01T23:59:59.000Z

476

Standards-based Assessment of Development Toolchains in Safety-Critical Systems  

E-Print Network [OSTI]

Standards-based Assessment of Development Toolchains in Safety-Critical Systems Zolt´an Szatm in (domain-specific) standards that define criteria for the selection of techniques and measures on the basis of the standard, and a reasoning tool is applied to check whether the criteria are satisfied. I

Paris-Sud XI, Université de

477

Deutsche Telekom launches new integrated location-based services in selected markets across Europe  

E-Print Network [OSTI]

Deutsche Telekom launches new integrated location-based services in selected markets across Europe in Q4 last year, services will be available in 2010 in the Netherlands and other countries Deutsche and check the weather in the area. Deutsche Telekom's LBS service is truly for the mass market. From launch

Deutschmann, Rainer

478

Adapting ADA Architectural Design Knowledge to Product Design: Groundwork for a Function Based Approach  

E-Print Network [OSTI]

and 4th digits come as a pair. For example, b 7 is neuromusculoskeletal and movement related functions, where b750 to b789 cover movement functions; b750 is motor reflex functions, b760 is control of voluntary movements, b7601 is control of complex.... (August 2010) Shraddha Chandrakant Sangelkar, B. Tech., Veermata Jijabai Technological Institute, India Chair of Advisory Committee: Dr. Daniel A. McAdams Disability is seen as a result of an interaction between a person and that person...

Sangelkar, Shraddha Chandrakant

2011-10-21T23:59:59.000Z

479

A Tool to Support Knowledge Based Software Maintenance: The Software Service Jonathan I. Maletic  

E-Print Network [OSTI]

]: · Corrective · Perfective · Adaptive · Preventive/ Preservation Corrective maintenance is the correction, and corrective were originally used by Swanson [15]. Preventive maintenance is done to improve the future,8,14,12] and preventive maintenance is rarely done. However, it is assumed that a good software development methodology

Maletic, Jonathan I.

480

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

E-Print Network [OSTI]

The objective of this research was to develop and implement an on-line gypsum wallboard manufacturing expert system incorporating on-line process monitoring information and statistical process control. In support of this objective, several sub...

Lin, Kai Hsuan

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


481

all-atom knowledge-based energy: Topics by E-print Network  

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

6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 Next Page Last Page Topic Index 1 Free Energy Estimates of All-atom Protein Structures Using Generalized Belief Propagation...

482

Knowledge-based Registration & Segmentation of the Left Ventricle: A Level Set Approach  

E-Print Network [OSTI]

Paragios ¡ Mikael Rousson ¢ Visvanathan Ramesh ¡ ¡ Siemens Corporate Research ¢ I.N.R.I.A. 755 College Road-mail: nikos@scr.siemens.com Abstract In this paper, we propose a level set formulation to deal is obtained using the same criterion where the transformation that aligns the latest segmentation map

Paragios, Nikos

483

Knowledge-based adaptable design to support customer-oriented production system of industrial equipments  

E-Print Network [OSTI]

Engineering, Faculty of Engineering, King Mongkut's University of Technology North Bangkok (KMUTNB), Thailand 3 Thai-France Innovation Center (TFIC), King Mongkut's University of Technology North Bangkok demand and to adapt to SMEs where resources are limited is now needed. Design adaptability refers

Paris-Sud XI, Université de

484

Hyper-incursion and the Globalization of the Knowledge-Based Economy  

E-Print Network [OSTI]

In biological systems, the capacity of anticipation--that is, entertaining a model of the system within the system--can be considered as naturally given. Human languages enable psychological systems to construct and exchange mental models of themselves and their environments reflexively, that is, provide meaning to the events. At the level of the social system expectations can further be codified. When these codifications are functionally differentiated--like between market mechanisms and scientific research programs--the potential asynchronicity in the update among the subsystems provides room for a second anticipatory mechanism at the level of the transversal information exchange among differently codified meaning-processing subsystems. Interactions between the two different anticipatory mechanisms (the transversal one and the one along the time axis in each subsystem) may lead to co-evolutions and stabilization of expectations along trajectories. This recursive incursion on the incursive dynamics of expect...

Leydesdorff, Loet

2009-01-01T23:59:59.000Z

485

Domain specific ontology based semantic knowledge representation for efficient intelligent information retrieval; -.  

E-Print Network [OSTI]

??solutions. When specifying a search, users enter a small number of terms in the query. Yet the query describes the information need and is commonly (more)

Goudarm, Rayangouda

2012-01-01T23:59:59.000Z

486

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

E-Print Network [OSTI]

on top of a relational database management system (DBMS). BB1 [22] implements a domain-independent "blackboard control architecture" for AI systems that control, explain, and learn about their own problem-solving behavior. The blackboard control...

Hwang, Jyh-Chen

1986-01-01T23:59:59.000Z

487

A knowledge base approach to the design of tension leg platforms  

E-Print Network [OSTI]

follow the style of the Journal of Ocesa Engineering - An Interaatioaal Jouraal of Resemch aad tteretopment 1. eat Ulra a dfametefr dlraftl dare height paataaa flare diameter tether araterdept rfaer type of petroleum product and the distance... of the platform. This to reduce the stretch of the tethers. Reducing the stretch reduces the stress tethers hence reducing fatigue damage. Fig. 2 presents a basic TLP configuration. This figure shows a four-legged platform with flared columns, pontoons...

Rijken, Oriol Rafael

1991-01-01T23:59:59.000Z

488

Response time satisfaction in real-time knowledge-based systems  

E-Print Network [OSTI]

. OBJECTIVE AND APPROACH. 3, 1. The Role of CLIPS. 3. 2. Real-time KBS Architecture . 3. 3. Task Control. 3. 4. Task Processing. . 3. 5. Example Scenario. 3. 6. Summary. 4. CONCLUSION . REFERENCES. Page . Vill 16 17 LIST OF FIGURES Page Figure 1... in order to perform the tasks required in the time given. The static scheduler was invoked only once, before the system actually started running and receiving tasks. The schedule, once formed, did not change unless the system was shut down...

Frank, Deborah Lee

1990-01-01T23:59:59.000Z

489

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems c World Scientific Publishing Company  

E-Print Network [OSTI]

. Additionally, it is technologically feasible to store huge volumes of data with, more and more, lower costs. However, it results in an "information explosion" where there is a lot of useless data in which it is very technologies that make able to interpret the entire information available in order to find what is more

Paris-Sud XI, Universit de

490

References Aggeri, F. (1999). Environmental policies and innovation : a knowledge-based  

E-Print Network [OSTI]

of the French hemp system and its stakeholders. Journal of Industrial Hemp, 12(2), 67-85. hal-00696949,version1

Paris-Sud XI, Université de

491

Demonstration Integrated Knowledge-Based System for Estimating Human Error Probabilities  

SciTech Connect (OSTI)

Human Reliability Analysis (HRA) is currently comprised of at least 40 different methods that are used to analyze, predict, and evaluate human performance in probabilistic terms. Systematic HRAs allow analysts to examine human-machine relationships, identify error-likely situations, and provide estimates of relative frequencies for human errors on critical tasks, highlighting the most beneficial areas for system improvements. Unfortunately, each of HRA's methods has a different philosophical approach, thereby producing estimates of human error probabilities (HEPs) that area better or worse match to the error likely situation of interest. Poor selection of methodology, or the improper application of techniques can produce invalid HEP estimates, where that erroneous estimation of potential human failure could have potentially severe consequences in terms of the estimated occurrence of injury, death, and/or property damage.

Auflick, Jack L.

1999-04-21T23:59:59.000Z

492

GeoAgent-based Knowledge Acquisition, Representation, and Validation Chaoqing Yu  

E-Print Network [OSTI]

, which cannot be directly seen, particularly when dealing with human-environment interactions. These include such things as political policies, plans, and laws; cultural elements such as religions, morals of the highly complex, dynamic, linked, and scale- dependent human-environment relationships (Yarnal, 2001), we

Klippel, Alexander

493

Probabilistic Relational Model (PRM)_based Technical Knowledge Formalization for Dependability of an Industrial System  

E-Print Network [OSTI]

to develop a decision-making aid tool which purpose is to assess the dependability and performances). In order to improve business performances, maintenance is thus directly related to risk analysis to evaluate risk analysis, maintenance and dependability. The idea of this formalization is to unify multiple

Paris-Sud XI, Universit de

494

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

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administrationcontroller systemsBiSite CulturalDepartment2)isomeraseUS

495

Can Domain Knowledge Help Case Based Diagnosis? Lu Zhang, Frans Coenen, and Paul Leng  

E-Print Network [OSTI]

can deliver more than 3000 versions of its cookers to customers, making it possible to satisfy a very to maintain cookers of all these different models. In general, field engineers may need to be able to deal with any problem concerning any of the sold cookers, which may include versions previously unknown to them

Coenen, Frans

496

Machine Learning Research Group Working Paper 912 Refining Algorithms with KnowledgeBased Neural Networks  

E-Print Network [OSTI]

Networks: Improving the Chou­Fasman Algorithm for Protein Folding * Richard Maclin Jude W. Shavlik Computer­Fasman algorithm, a method for predicting how globular proteins fold. The Chou­Fasman algorithm cannot be elegantly and discuss the need for better definitions of solution quality for the protein­folding problem. 1

Liblit, Ben

497

Low power low-density parity-checking (ldpc) codes decoder design using dynamic voltage and frequency scaling  

E-Print Network [OSTI]

This thesis presents a low-power LDPC decoder design based on speculative scheduling of energy necessary to decode dynamically varying data frame in both block-fading channels and general AWGN channels. A model of a memory-efficient low-power high...

Wang, Weihuang

2009-05-15T23:59:59.000Z

498

Improving Cyber-Security of Smart Grid Systems via Anomaly Detection and Linguistic Domain Knowledge  

SciTech Connect (OSTI)

The planned large scale deployment of smart grid network devices will generate a large amount of information exchanged over various types of communication networks. The implementation of these critical systems will require appropriate cyber-security measures. A network anomaly detection solution is considered in this work. In common network architectures multiple communications streams are simultaneously present, making it difficult to build an anomaly detection solution for the entire system. In addition, common anomaly detection algorithms require specification of a sensitivity threshold, which inevitably leads to a tradeoff between false positives and false negatives rates. In order to alleviate these issues, this paper proposes a novel anomaly detection architecture. The designed system applies the previously developed network security cyber-sensor method to individual selected communication streams allowing for learning accurate normal network behavior models. Furthermore, the developed system dynamically adjusts the sensitivity threshold of each anomaly detection algorithm based on domain knowledge about the specific network system. It is proposed to model this domain knowledge using Interval Type-2 Fuzzy Logic rules, which linguistically describe the relationship between various features of the network communication and the possibility of a cyber attack. The proposed method was tested on experimental smart grid system demonstrating enhanced cyber-security.

Ondrej Linda; Todd Vollmer; Milos Manic

2012-08-01T23:59:59.000Z

499

The Oil and Natural Gas Knowledge Management Database from NETL  

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

The Knowledge Management Database (KMD) Portal provides four options for searching the documents and data that NETL-managed oil and gas research has produced over the years for DOEs Office of Fossil Energy. Information includes R&D carried out under both historical and ongoing DOE oil and gas research and development (R&D). The Document Repository, the CD/DVD Library, the Project Summaries from 1990 to the present, and the Oil and Natural Gas Program Reference Shelf provide a wide range of flexibility and coverage.

500

SEB Secretariat and Knowledge Manager | Department of Energy  

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGY TAXBalancedDepartmentRestrictions onSB Electronics BreaksSEB Secretariat and Knowledge