National Library of Energy BETA

Sample records for results semantic mediawiki

  1. Semantic Mediawiki | OpenEI Community

    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 Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavyAgency (IRENA)OptionsEquivalentBScirado BrasilSemantic Mediawiki

  2. Semantic Mediawiki Semantic Forms update | OpenEI Community

    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 Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop Inc Jump to:Newberg,EnergyEastCarbonOpenSchulthess GroupSmartSellafieldSemantic

  3. OpenEI Community - Semantic Mediawiki

    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 Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop Inc Jump to:Newberg, Oregon:OGE EnergyOklahoma: EnergyOpenOpenEIper39/0 en City

  4. OpenEI Community - mediawiki

    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 Home Page on QA:QA J-E-1 SECTION J APPENDIXsourceII JumpQuarterly Smart Grid Data available for download onst,/0 enBigWaterResult

  5. Semantic MediaWiki GeoChart | OpenEI Community

    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 Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop Inc Jump to:Newberg,EnergyEastCarbonOpenSchulthess GroupSmartSellafield

  6. Explaining Text Clustering Results using Semantic Andreas Hotho, Steffen Staab, Gerd Stumme

    E-Print Network [OSTI]

    Staab, Steffen

    of the explanation of why a cluster has been formed (e.g., just state `this cluster is about Volkswagen' instead of stating `this cluster is about Volkswagen and about VW'); (B2) to exploit semantic hierarchies of words

  7. Semantic Responsibility 

    E-Print Network [OSTI]

    Toribio, Josefa

    2002-01-01

    In this paper I attempt to develop a notion of responsibility (semantic responsibility) that is to the notion of belief what epistemic responsibility is to the notion of justification. 'Being semantically responsible' ...

  8. A Typed Operational Semantics for Type Theory 

    E-Print Network [OSTI]

    Goguen, Healfdene

    Untyped reduction provides a natural operational semantics for type theory. Normalization results say that such a semantics is sound. However, this reduction does not take type information into account and gives no information ...

  9. MediaWiki API

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

    euquery empty to list all external links Can be empty, or One value: http, https, ftp, irc, gopher, telnet, nntp, worldwind, mailto, news, svn, git, mms Default: euquery - Search...

  10. MediaWiki API

    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 Home Page on QA:QAsource History ViewMayo, Maryland: Energy Resources Jump to:Electric Coop, IncSouthVirginia:Medford, Maine:xml

  11. Abstracting over Semantic Theories 

    E-Print Network [OSTI]

    Holt, Alexander G B

    The topic of this thesis is abstraction over theories of formal semantics for natural language.It is motivated by the belief that a metatheoretical perspective can contribute both to a better theoretical understanding of semantic theories...

  12. Introduction Semantic Web

    E-Print Network [OSTI]

    Nejdl, Wolfgang

    Introduction Semantic Web Ontologies Linked Data Information Sources Information Extraction Web Application Use Cases Knowledge Bases Entity Linking Entity Retrieval Linked Data Quality Conclusions Papers for Presentations Resources Semantic Web: Extracting and Mining Structured Data from

  13. mediawiki | OpenEI Community

    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 Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop IncIowa (UtilityMichigan)data book Homefuelleasing Homemaps Home Jweers'smax

  14. Hardware Architecture for Semantic Comparison 

    E-Print Network [OSTI]

    Mohan, Suneil

    2012-07-16

    Semantic Routed Networks provide a superior infrastructure for complex search engines. In a Semantic Routed Network (SRN), the routers are the critical component and they perform semantic comparison as their key computation. ...

  15. Frame-Semantic Parsing

    E-Print Network [OSTI]

    Das, Dipanjan

    Frame semantics is a linguistic theory that has been instantiated for English in the FrameNet lexicon. We solve the problem of frame-semantic parsing using a two-stage statistical model that takes lexical targets (i.e., ...

  16. Logical Foundations Semantic Web

    E-Print Network [OSTI]

    Murawski, Andrzej

    Logical Foundations for the Semantic Web Ian Horrocks and Ulrike Sattler University of Manchester Manchester, UK {horrocks|sattler}@cs.man.ac.uk #12;Introduction #12;History of the Semantic Web · Web of the Web was much more ambitious than the reality of the existing (syntactic) Web: · TBL (and others) have

  17. Semantic Web Pascal Hitzler

    E-Print Network [OSTI]

    Hitzler, Pascal

    Chapter 1 Semantic Web Pascal Hitzler Kno.e.sis Center, Wright State University, Dayton, OH, USA 1.1.1 Languages for Representing Knowledge on the Web ............................. 2 1.1.2 Formal the Semantic Web Vision ................................ 4 1.1.4 Linked Data

  18. LEARNING SEMANTICS-ENHANCED LANGUAGE MODELS APPLIED TO UNSUEPRVISED WSD

    SciTech Connect (OSTI)

    VERSPOOR, KARIN [Los Alamos National Laboratory; LIN, SHOU-DE [Los Alamos National Laboratory

    2007-01-29

    An N-gram language model aims at capturing statistical syntactic word order information from corpora. Although the concept of language models has been applied extensively to handle a variety of NLP problems with reasonable success, the standard model does not incorporate semantic information, and consequently limits its applicability to semantic problems such as word sense disambiguation. We propose a framework that integrates semantic information into the language model schema, allowing a system to exploit both syntactic and semantic information to address NLP problems. Furthermore, acknowledging the limited availability of semantically annotated data, we discuss how the proposed model can be learned without annotated training examples. Finally, we report on a case study showing how the semantics-enhanced language model can be applied to unsupervised word sense disambiguation with promising results.

  19. Chinese character decoding: a semantic bias? Clay Williams Thomas Bever

    E-Print Network [OSTI]

    Bever, Thomas G.

    Chinese character decoding: a semantic bias? Clay Williams · Thomas Bever Published online: 6 April on Chinese character decoding were examined. Our results suggest that semantic and phonetic radicals are each response times. These results are interpreted to indicate that while educated native Chinese speakers have

  20. An Architecture for Supporting Information in Dynamically Assembled Semantic Grids

    E-Print Network [OSTI]

    from a prototype that is applied to sensor and collaboration grids. 1 Introduction Semantic Grid [1 be united into a collection of Semantic Grid services that are needed to build application Grid systems maintains most dynamic information which is the session related metadata generated as result of interactions

  1. Temporal Representation in Semantic Graphs

    SciTech Connect (OSTI)

    Levandoski, J J; Abdulla, G M

    2007-08-07

    A wide range of knowledge discovery and analysis applications, ranging from business to biological, make use of semantic graphs when modeling relationships and concepts. Most of the semantic graphs used in these applications are assumed to be static pieces of information, meaning temporal evolution of concepts and relationships are not taken into account. Guided by the need for more advanced semantic graph queries involving temporal concepts, this paper surveys the existing work involving temporal representations in semantic graphs.

  2. Semantic Web 30Artificial

    E-Print Network [OSTI]

    van Harmelen, Frank

    312007.11 "" Semantic Web 30Artificial IntelligenceKnowledge Representation Inductive Web datasets ---- Tim Berners-Lee Tim Berners-Lee " "" " Web 2.0---- Web Web 2.0 Frank van Harmelen W3C OWL Web Sesame RDF Aduna 100 Hirsch 35 5 15 ECAI2002 3 ISWC

  3. Semantics for algebraic operations 

    E-Print Network [OSTI]

    Plotkin, Gordon; Power, John

    2003-01-01

    Given a category C with finite products and a strong monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form ?_x : (Tx)n ! Tx provides a definitive semantics for algebraic operations ...

  4. Semantic Web Enabled Composition of Web Services

    E-Print Network [OSTI]

    Medjahed, Brahim

    Semantic Web Enabled Composition of Web Services Brahim Medjahed Dissertation submitted Falls Church, Virginia, USA Keywords: Semantic Web - Web Service - Ontology - Service Composition. Copyright 2004, Brahim Medjahed #12;Semantic Web Enabled Composition of Web Services Brahim Medjahed

  5. JAS - a Java action semantics

    E-Print Network [OSTI]

    Brown, D.F.; Watt, D.A.

    Brown,D.F. Watt,D.A. Proceedings of 2nd International Workshop on Action Semantics pp 43-56 Dept of Computer Science, University of Aarhus

  6. Semantic physical science

    E-Print Network [OSTI]

    Murray-Rust, Peter; Rzepa, Henry S

    2012-08-03

    be easily located. In addition, PMR has added his own comments in the blog posts so that readers can link through to ideas expressed here and in his commentaries. ? Introduction - Peter Murray-Rust [11] ? Why we (PNNL) are supporting semantic science - Bill... a very well-established implicit onto- logical framework (e.g. scientific units). Bill Shelton runs an analytical and computational group at Pacific Northwest National Laboratory (PNNL) [34] where he is committed to making data widely available...

  7. Semantic Web Services Christoph Bussler

    E-Print Network [OSTI]

    Semantic Web Services Christoph Bussler Oracle Corporation The 12th International World Wide Web Conference Budapest, Hungary, May 23rd, 2003 #12;Semantic (Web Services) Christoph Bussler Oracle Corporation(WS) = workflow management ++ S(WS) = [ your current web services prototype ] Ignored experience in a field

  8. Semantic Web: From RDF to ontology web

    E-Print Network [OSTI]

    Grigoras, .Romulus

    30/09/2015 1 Semantic Web: From RDF to ontology web language N. Aussenac-Gilles IRIT- CNRS aussenac@irit.fr MELODI group http://www.irit.fr/-Equipe-MELODI- Oct. 2015 1Semantic web - 4 Ontologies and Semantic Web Plan Cours I ­ Semantic Web: introduction Cours II ­ first steps: a web of data RDF RDFs Cours III

  9. Semantic Enrichment for Building Information Modeling

    E-Print Network [OSTI]

    Belsky, Michael; Sacks, Rafael; Brilakis, Ioannis

    2015-01-01

    developed that can infer such relationships from the geometry and spatial topology. Tools such as Siemens Synchronous Technology (Siemens), for example, can use data from multiple CAD systems. Given a model in B- rep the tools can process it into a feature... models are usually generated in heterogeneous computing platforms and as a result the semantics are hidden in information structures of different product data formats. This imposes difficulties for seamless interoperability and efficient reuse...

  10. Two ERP studies on Dutch temporal semantics Giosu`e Baggio

    E-Print Network [OSTI]

    Amsterdam, University of

    Two ERP studies on Dutch temporal semantics Giosu`e Baggio #12;Abstract Although meaning has been to make sense of empirical data. In this thesis we try to fill this gap presenting the results of two ERP memory, have different ERP correlates. In brief, our work suggests that the use of formal semantics

  11. On the equivalence of state transformer semantics and predicate transformer semantics

    E-Print Network [OSTI]

    Keimel, Klaus

    On the equivalence of state transformer semantics and predicate transformer semantics Dedicated and the author [13] have worked out the equivalence between state transformer semantics and predicate transformer the last section, where the equivalence of predicate and state transformer semantics is finally put

  12. The Semantics of Semantic Annotation Department of Communication and Information Sciences,

    E-Print Network [OSTI]

    occurred earlier in the discourse, knowledge of what nonlinguistic sources of information are available (eThe Semantics of Semantic Annotation Harry Bunt Department of Communication and Information. This is a speculative paper, describing a recently started effort to give a formal semantics to semantic annotation

  13. Modeling Computations in a Semantic Network

    E-Print Network [OSTI]

    Marko A. Rodriguez; Johan Bollen

    2007-05-31

    Semantic network research has seen a resurgence from its early history in the cognitive sciences with the inception of the Semantic Web initiative. The Semantic Web effort has brought forth an array of technologies that support the encoding, storage, and querying of the semantic network data structure at the world stage. Currently, the popular conception of the Semantic Web is that of a data modeling medium where real and conceptual entities are related in semantically meaningful ways. However, new models have emerged that explicitly encode procedural information within the semantic network substrate. With these new technologies, the Semantic Web has evolved from a data modeling medium to a computational medium. This article provides a classification of existing computational modeling efforts and the requirements of supporting technologies that will aid in the further growth of this burgeoning domain.

  14. Simulating a Semantic Network in LMS

    E-Print Network [OSTI]

    Koton, Phyllis A.

    1980-09-29

    A semantic network is a collection of nodes and the links between them. The nodes represent concepts, functions and entities, and the links represent relationships between varoius nodes. Any semantic network must be supplied ...

  15. Roget's Thesaurus and Semantic Similarity

    E-Print Network [OSTI]

    Jarmasz, Mario

    2012-01-01

    We have implemented a system that measures semantic similarity using a computerized 1987 Roget's Thesaurus, and evaluated it by performing a few typical tests. We compare the results of these tests with those produced by WordNet-based similarity measures. One of the benchmarks is Miller and Charles' list of 30 noun pairs to which human judges had assigned similarity measures. We correlate these measures with those computed by several NLP systems. The 30 pairs can be traced back to Rubenstein and Goodenough's 65 pairs, which we have also studied. Our Roget's-based system gets correlations of .878 for the smaller and .818 for the larger list of noun pairs; this is quite close to the .885 that Resnik obtained when he employed humans to replicate the Miller and Charles experiment. We further evaluate our measure by using Roget's and WordNet to answer 80 TOEFL, 50 ESL and 300 Reader's Digest questions: the correct synonym must be selected amongst a group of four words. Our system gets 78.75%, 82.00% and 74.33% of ...

  16. Semantic Web: Challenges and introductive notions

    E-Print Network [OSTI]

    Grigoras, .Romulus

    30/09/2015 1 Semantic Web: Challenges and introductive notions N. Aussenac-Gilles IRIT- CNRS aussenac@irit.fr MELODI group http://www.irit.fr/-Equipe-MELODI- Ontologies and Semantic Web Objectives oct. 2015 2Semantic web - 1 Theoretical Groudings Motivations / Applications Technologies Sources Emprunts

  17. Semantic Web Research anno 2006: main streams,

    E-Print Network [OSTI]

    van Harmelen, Frank

    Semantic Web Research anno 2006: main streams, popular fallacies, current status and future. In this topical1 paper we try to give an analysis and overview of the current state of Semantic Web research. We point to different in- terpretations of the Semantic Web as the reason underlying many contro- versies

  18. International Journal on Semantic Web and

    E-Print Network [OSTI]

    Chen-Burger, Yun-Heh (Jessica)

    ON AIR!!! International Journal on Semantic Web and Information Systems (Discount to SIG members) DON'T MISS: TOM GRUBER INTERVIEW (page 4) BulletinSemantic Web & Information Systems The Official Quarterly Newsletter of AIS Special Interest Group on Semantic Web and Information Systems AIS SIGSEMIS http

  19. Social networks and the Semantic Web

    E-Print Network [OSTI]

    Baeza-Yates, Ricardo

    Social networks and the Semantic Web Peter Mika Business Informatics group Dept. of Computer technology for the social sciences Social network mining from the Web Semantics-based data management Browsing and visualization Case study Network Analysis of Semantic Web research 2. Network Analysis

  20. Dealing with Uncertainty in the Semantic Web

    E-Print Network [OSTI]

    Theune, Mariët

    Dealing with Uncertainty in the Semantic Web Tjitze Rienstra M.Sc. Thesis November 8, 2009. Paul van der Vet Dr. Maarten Fokkinga #12;#12;Abstract Standardizing the Semantic Web is still of the Semantic Web, are yet to be standardized. One of these is dealing with uncertainty. Like classical logic

  1. Towards a Statistically Semantic Web Gerhard Weikum

    E-Print Network [OSTI]

    Waldmann, Uwe

    1/44 Towards a Statistically Semantic Web Gerhard Weikum weikum@mpi-sb.mpg.de http://www.mpi-sb.mpg: ,,There is no semantic anything in CS." Alon Halevy: ,,Structure + Statistics = Semantics" Tim Berners of one`s ignorance." 4/44 #12;A Few Challenging Queries (on Web / Deep Web / Intranet / Personal Info

  2. Einsatz von Web Services im Semantic Web

    E-Print Network [OSTI]

    Moeller, Ralf

    Einsatz von Web Services im Semantic Web am Beispiel der RACER Engine und OWL-QL Jan Galinski Aufbau der Arbeit . . . . . . . . . . . . . . . . . . . . . 2 2 Grundlagen 5 2.1 Semantic Web . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1.1 Komponenten des Semantic Web . . . . . . . . . . . . . . . . . . . . 6 2.1.2 Repräsentation

  3. LDRD final report : first application of geospatial semantic graphs to SAR image data.

    SciTech Connect (OSTI)

    Brost, Randolph C.; McLendon, William Clarence,

    2013-01-01

    Modeling geospatial information with semantic graphs enables search for sites of interest based on relationships between features, without requiring strong a priori models of feature shape or other intrinsic properties. Geospatial semantic graphs can be constructed from raw sensor data with suitable preprocessing to obtain a discretized representation. This report describes initial work toward extending geospatial semantic graphs to include temporal information, and initial results applying semantic graph techniques to SAR image data. We describe an efficient graph structure that includes geospatial and temporal information, which is designed to support simultaneous spatial and temporal search queries. We also report a preliminary implementation of feature recognition, semantic graph modeling, and graph search based on input SAR data. The report concludes with lessons learned and suggestions for future improvements.

  4. Knowledge Engineering rediscovered: Towards Reasoning Patterns for the Semantic Web

    E-Print Network [OSTI]

    van Harmelen, Frank

    Knowledge Engineering rediscovered: Towards Reasoning Patterns for the Semantic Web Frank van Amsterdam annette@cs.vu.nl Holger Wache University of Applied Sciences Northwestern Switzerland holger.wache@fhnw.ch ABSTRACT The extensive work on Knowledge Engineering in the 1990s has resulted in a systematic analysis

  5. Coalgebras and Monads in the Semantics of Java

    E-Print Network [OSTI]

    Poll, Erik

    of sequential Java from a combined coal- gebraic/monadic perspective. It turns out that these separate Jacobs and Erik Poll). Preprint submitted to Elsevier Science 5th February 2002 #12;type, describing with parameters. It has become standard in semantics to describe the result type on the right hand side

  6. Semantic Interoperability for Big Data

    E-Print Network [OSTI]

    Baclawski, Kenneth B.

    Semantic Interoperability for Big Data Ken Baclawski College of Computer and Information Science Northeastern University #12;August 11, 2014 2 Emergence of Big Data The phenomenon was studied in the early based on the information scarcity model. #12;August 11, 2014 3 Characteristics of Big Data Large

  7. Smart World 2004 Semantic Modeling

    E-Print Network [OSTI]

    Brock, David

    Smart World 2004 Semantic Modeling December 8th , 2004 Modern business and operations managers decisions, and translate new data capabilities into new waves of productivity? At Smart World 2004, hear how such as interoperable data modeling and interactive simulation. Register now for Smart World 2004 to envision a fully

  8. SPINNING THE SEMANTIC WEB INTRODUCTION

    E-Print Network [OSTI]

    Wahlster, Wolfgang - Deutsche Forschungszentrum für Künstliche Intelligenz & FR 6.2

    SPINNING THE SEMANTIC WEB INTRODUCTION Dieter Fensel, Jim Hendler, Henry Lieberman, and Wolfgang Wahlster The World Wide Web (WWW) has drastically changed the availability of electronically accessible (http://www.w3c.org) expects around a billion Web users and an even higher number of available documents

  9. Geothermal Regulatory Roadmap | OpenEI Community

    Open Energy Info (EERE)

    developer Type Term Title Author Replies Last Post sort icon Blog entry developer New Robust References Jweers 1 8 Aug 2013 - 09:12 Blog entry developer Semantic Mediawiki...

  10. Perceptually Based Techniques for Semantic Image Classification and Retrieval

    E-Print Network [OSTI]

    Pappas, Thrasyvoulos N.

    Perceptually Based Techniques for Semantic Image Classification and Retrieval Dejan Depalov, Schaumburg, IL, 60196 ABSTRACT The accumulation of large collections of digital images has created the need semantically, according to meaningful categories. We present a new approach for semantic classification

  11. Googling the Grey: Open Data, Web Services, and Semantics

    E-Print Network [OSTI]

    Kansa, Eric C.; Kansa, Sarah Whitcher; Burton, Margie M.; Stankowski, Cindy

    2010-01-01

    the Grey: Open Data, Web Services, and Semantics 2007. Anthe Grey: Open Data, Web Services, and Semantics ERIC C.the Grey: Open Data, Web Services, and Semantics distintas

  12. Semantic Features for Classifying Referring Search Terms

    SciTech Connect (OSTI)

    May, Chandler J.; Henry, Michael J.; McGrath, Liam R.; Bell, Eric B.; Marshall, Eric J.; Gregory, Michelle L.

    2012-05-11

    When an internet user clicks on a result in a search engine, a request is submitted to the destination web server that includes a referrer field containing the search terms given by the user. Using this information, website owners can analyze the search terms leading to their websites to better understand their visitors needs. This work explores some of the features that can be used for classification-based analysis of such referring search terms. We present initial results for the example task of classifying HTTP requests countries of origin. A system that can accurately predict the country of origin from query text may be a valuable complement to IP lookup methods which are susceptible to the obfuscation of dereferrers or proxies. We suggest that the addition of semantic features improves classifier performance in this example application. We begin by looking at related work and presenting our approach. After describing initial experiments and results, we discuss paths forward for this work.

  13. Semantic Web Service Architecture --Evolving Web Service Standards toward the Semantic Web

    E-Print Network [OSTI]

    Staab, Steffen

    Coverpage Semantic Web Service Architecture -- Evolving Web Service Standards toward the Semantic Web Tanja Sollazzo, Siegfried Handschuh, Steffen Staab, Martin Frank Abstract. The importance of Web by Semantic Web technologies such that a smooth evolution from Web services in the current Web to Web services

  14. Position paper: A real Semantic Web for mathematics deserves a real semantics

    E-Print Network [OSTI]

    Wiedijk, Freek

    in terms of the third layer. We propose a ``Math­ Wiki'' to harness Web 2.0 tools and techniques is that a web of mathematical documents, definitions and proofs should be given a fully­fledged semanticsPosition paper: A real Semantic Web for mathematics deserves a real semantics P. Corbineau, H

  15. Position paper: A real Semantic Web for mathematics deserves a real semantics

    E-Print Network [OSTI]

    in terms of the third layer. We propose a "Math- Wiki" to harness Web 2.0 tools and techniques to the rich is that a web of mathematical documents, definitions and proofs should be given a fully-fledged semanticsPosition paper: A real Semantic Web for mathematics deserves a real semantics P. Corbineau, H

  16. Position paper: A real Semantic Web for mathematics deserves a real semantics

    E-Print Network [OSTI]

    Wiedijk, Freek

    of the third layer. We propose a "Math- Wiki" to harness Web 2.0 tools and techniques to the rich Position paper: A real Semantic Web for mathematics deserves a real semantics in a system for formal mathematical logic. Semantic Web tools [2] support the first two of these

  17. Semantics-based dynamic Web Service composition

    E-Print Network [OSTI]

    Fujii, Keita; Suda, Tatsuya

    2006-01-01

    Composition of Semantic Web Services, in Proceedings of thefor Rapid Composition of Web Services in a Peer-to-PeerInternational Conference on Web Services (ICWS), pp. 576-

  18. Acclimatizing Taxonomic Semantics for Hierarchical Content Classification

    E-Print Network [OSTI]

    Liu, Huan

    Acclimatizing Taxonomic Semantics for Hierarchical Content Classification Lei Tang Dept. of Comp in con- tent classification. However, we observe through empirical study that the performance semantics-based hierarchy does not work well in con- tent classification, and how it could be improved

  19. Geo-semantic Segmentation Shervin Ardeshir1

    E-Print Network [OSTI]

    are obtained about the approximate location of the semantic entities such as buildings and streets in the image the Figure 1: Labeling semantic entities in the image such as buildings (red) and streets (green) alongside regions such as buildings, roads, etc. and are available for many urban areas, mak- ing it a suitable

  20. Programming Language Semantics David A. Schmidt

    E-Print Network [OSTI]

    Schmidt, David A.

    Programming Language Semantics David A. Schmidt Department of Computing and Information Sciences Kansas State University October 24, 1995 A programming language possesses two fundamental features: syntax and semantics. Syntax refers to the appearance of the well­formed programs of the language

  1. SOUR CREAM: Toward Semantic Processing of Recipes

    E-Print Network [OSTI]

    SOUR CREAM: Toward Semantic Processing of Recipes Dan Tasse and Noah A. Smith CMU-LTI-08., Pittsburgh, PA 15213 www.lti.cs.cmu.edu #12;SOUR CREAM: Toward Semantic Processing of Recipes Dan Tasse Recipes, Capacitating Relatively Exciting Applications Meanwhile). The aim of this project is to develop

  2. Semantic search integration to climate data

    SciTech Connect (OSTI)

    Devarakonda, Ranjeet; Palanisamy, Giri; Pouchard, Line Catherine; Shrestha, Biva

    2014-01-01

    In this paper we present how research projects at Oak Ridge National Laboratory are using Semantic Search capabilities to help scientists perform their research. We will discuss how the Mercury metadata search system, with the help of the semantic search capability, is being used to find, retrieve, and link climate change data. DOI: 10.1109/CTS.2014.6867639

  3. Semantic Web Technologies for the Adaptive Web

    E-Print Network [OSTI]

    Nejdl, Wolfgang

    23 Semantic Web Technologies for the Adaptive Web Peter Dolog1 and Wolfgang Nejdl2 1 Department.de Abstract. Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a foundation

  4. SILK: Higher Level Rules with Defaults and Semantic Scalability

    E-Print Network [OSTI]

    . · Comparison to other semantic rule systems and standardsp y · RIF, BRMS, OWL, DBMS, etc. · Conclusions

  5. A Thesaurus-Based Semantic Classification of English Collocations

    E-Print Network [OSTI]

    A Thesaurus-Based Semantic Classification of English Collocations Chung-chi Huang, Chiung-hui Tseng.jschang}@gmail.com Abstract We propose a new method for organizing the numerous collocates into semantic thesaurus categories. The approach introduces a thesaurus-based semantic classification model automatically learning semantic

  6. 24.973 Advanced Semantics, Spring 2005

    E-Print Network [OSTI]

    Fintel, Kai von

    Current work on semantics and questions of logic and meaning for syntactic systems in generative grammar. From the course home page: Course Description This course is the second of the three parts of our graduate introduction ...

  7. Reconciling Semantic Heterogeneity in Web Services Composition

    E-Print Network [OSTI]

    Li, Xitong

    Service Oriented Computing (SOC) is a popular computing paradigm for the development of distributed Web applications. Service composition, a key element of SOC, is severely hampered by various types of semantic heterogeneity ...

  8. DEPARTMENT OF COMPUTER SCIENCES Semantics of Orc

    E-Print Network [OSTI]

    Misra, Jayadev

    DEPARTMENT OF COMPUTER SCIENCES Semantics of Orc William Cook and Jayadev Misra Department call with handle Ů Ů Response Ý publish silent transition Response is outside the control of Orc

  9. An Algebraic Semantics of Prolog Control 

    E-Print Network [OSTI]

    Ross, Brian James

    applications using the semantics include proving program termination, verifying transformations which use cut, and characterising some control issues of partial evaluation. Since progress algebras have already been used to model concurrency, this thesis...

  10. Semantic associative network for text analysis (SANTA) 

    E-Print Network [OSTI]

    Airhart, Robert William

    2000-01-01

    Based on theories of associations, the Semantic Associative Network for Text Analysis (SANTA) has been developed. Nodes in the network represent words and links between nodes represent the association strengths between ...

  11. Semantic Web Service Architecture --Evolving Web Service Standards toward the Semantic Web

    E-Print Network [OSTI]

    Staab, Steffen

    community the adoption of their schemes into industry (quasi-)standards for Web services is far from trivialCoverpage Semantic Web Service Architecture -- Evolving Web Service Standards toward the Semantic services has been recognized and widely accepted by industry and academic research. However, the two worlds

  12. OWL Ontology as Semantic PublicationSemantic Publishing of Knowledge about Amino Acids

    E-Print Network [OSTI]

    Stevens, Robert

    this as an ontology writ- ten in OWL and presented as XML/RDF. The classification of amino acids is based on taylor's original description of the amino acid's physicochemical properties are captured with value parti- tionsOWL Ontology as Semantic PublicationSemantic Publishing of Knowledge about Amino Acids #12;[ Robert

  13. Semantic Similarity in a Taxonomy: An Information-Based Measure and its Application to Problems of Ambiguity in Natural Language

    E-Print Network [OSTI]

    Resnik, P

    2011-01-01

    This article presents a measure of semantic similarity in an IS-A taxonomy based on the notion of shared information content. Experimental evaluation against a benchmark set of human similarity judgments demonstrates that the measure performs better than the traditional edge-counting approach. The article presents algorithms that take advantage of taxonomic similarity in resolving syntactic and semantic ambiguity, along with experimental results demonstrating their effectiveness.

  14. Lexical semantics and knowledge representation in multilingual sentence generation

    E-Print Network [OSTI]

    Toronto, University of

    Lexical semantics and knowledge representation in multilingual sentence generation by Manfred Stede semantics and knowledge representation in multilingual sentence generation Manfred Stede Doctor approach to automatic language generation that focuses on the need to produce a range of di erent

  15. Operational approach to semantics and translation for programming languages 

    E-Print Network [OSTI]

    Li, Wei

    1983-01-01

    The problems of semantics and translation for concurrent programming languages are studied in this thesis. A structural operational approach is introduced to specify the semantics of parallelism and communication. Using ...

  16. Piggy Bank: Experience the Semantic Web Inside Your Web Browser

    E-Print Network [OSTI]

    Huynh, David

    The Semantic Web Initiative envisions a Web wherein information is offered free of presentation, allowing more effective exchange and mixing across web sites and across web pages. But without substantial Semantic Web ...

  17. Ontology-Schmology1 in search of informal semantics

    E-Print Network [OSTI]

    Stock, Kristin

    Ontology-Schmology1 : in search of informal semantics Dr Kristin Stock Centre for Geospatial for representing the semantics of geographic concepts. These ontologies take the form of formal languages

  18. Finding analogies in semantic networks using the singular value decomposition

    E-Print Network [OSTI]

    Krishnamurthy, Jayant (Jayant S.)

    2009-01-01

    We present CROSSBRIDGE, an algorithm for finding analogies in large, sparse semantic networks. We treat analogies as comparisons between domains of knowledge. A domain is a small semantic network, i.e., a set of concepts ...

  19. Perspectives on semantics of the place from online resources

    E-Print Network [OSTI]

    Biderman, Assaf

    We present a methodology for extraction of semantic indexes related to a given geo-referenced place. These lists of words correspond to the concepts that should be semantically related to that place, according to a number ...

  20. The Proof Theory and Semantics of Intuitionistic Modal Logic 

    E-Print Network [OSTI]

    Simpson, Alex K

    Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard theory arises from interpreting the semantic definitions in the ordinary meta-theory of informal ...

  1. Semantic Ranking and Result Visualization for Life Sciences Publications

    E-Print Network [OSTI]

    Ross, Kenneth A.

    . PubMed (www.pubmed.gov) is the most significant bibli- ographic source in the domain of life sciences

  2. On the Semantic Security of Functional Encryption Schemes Manuel Barbosa1 and Pooya Farshim2

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    and impossibility results for adaptive token-extraction attack scenarios that shed further light on the potential the equivalence result of O'Neill between indistinguishability and semantic security to restricted adaptive token, and hence natural approaches to prove its (restricted) adaptive security fail. This complements the equiv

  3. Semantic Interpretation Using KL-ONE 1 Norman K. Sondheimer

    E-Print Network [OSTI]

    &Webber 80a, Bobrow&Webber 80b] on semantic interpretation using KL-ONE to represent knowledge. The approach

  4. An Outlook on Semantic Business Process Mining and Monitoring

    E-Print Network [OSTI]

    van der Aalst, Wil

    An Outlook on Semantic Business Process Mining and Monitoring A.K. Alves de Medeiros1 , C-of-the-art in analysis techniques. In this paper we present an outlook on the opportunities and challenges on semantic Springer-Verlag Berlin Heidelberg 2007 #12;An Outlook on Semantic Business Process Mining and Monitoring

  5. Describing Spatial Relations using Informal Semantics Kristin Stock1

    E-Print Network [OSTI]

    Stock, Kristin

    Describing Spatial Relations using Informal Semantics Kristin Stock1 1 University of Nottingham, NG7 2RD, Nottingham Tel. +44(0)787 299 3270 Email: kristin.stock@nottingham.ac.uk Web address: http, people tend to think in terms of informal semantics. Informal semantics take the form of cognitive models

  6. Database-Aware Semantically-Smart Storage Muthian Sivathanu

    E-Print Network [OSTI]

    Arpaci-Dusseau, Andrea

    the differ- ences when building database-aware storage. We find that semantically-smart disk systems can to require changes for semantically smart storage. To build database-aware storage, we investigate twoDatabase-Aware Semantically-Smart Storage Muthian Sivathanu , Lakshmi N. Bairavasundaram , Andrea C

  7. Description Logics as Ontology Languages for the Semantic Web

    E-Print Network [OSTI]

    Baader, Franz

    Description Logics as Ontology Languages for the Semantic Web Franz Baader 1 , Ian Horrocks 2. The vision of a Semantic Web has recently drawn consider- able attention, both from academia and industry. Description logics are often named as one of the tools that can support the Semantic Web and thus help to make

  8. Faceted Semantic Search for Personalized Social Search

    E-Print Network [OSTI]

    Mas, Massimiliano Dal

    2012-01-01

    Actual social networks (like Facebook, Twitter, Linkedin, ...) need to deal with vagueness on ontological indeterminacy. In this paper is analyzed the prototyping of a faceted semantic search for personalized social search using the "joint meaning" in a community environment. User researches in a "collaborative" environment defined by folksonomies can be supported by the most common features on the faceted semantic search. A solution for the context-aware personalized search is based on "joint meaning" understood as a joint construal of the creators of the contents and the user of the contents using the faced taxonomy with the Semantic Web. A proof-of concept prototype shows how the proposed methodological approach can also be applied to existing presentation components, built with different languages and/or component technologies.

  9. Information Technology The Mobile Semantic Web

    E-Print Network [OSTI]

    Li, Yuan-Fang

    Information Technology The Mobile Semantic Web Shonali Krishnaswamya & Yuan-Fang Lib a Institute and applications (when needed) - Battery Usage ­ Continuous communication is more expensive on energy usage than capabilities, screen size, battery life §Mobile users require quick feedback §Attention Span approx 15

  10. Pointer Semantics with Forward Propagation Sujata Ghosh

    E-Print Network [OSTI]

    Koolen, Marijn

    Statistical Institute Kolkata, West Bengal, India Benedikt L¨owe Institute for Logic, Language and Computation and Statistics Indian Institute of Technology Kanpur 208016, India Abstract Pointer semantics describing a formal of Mathematics, Visva- Bharati, Santiniketan, India. Additional affiliations: Department Mathematik, Universit

  11. Semantically Enabled Exploratory Video Search Jrg Waitelonis

    E-Print Network [OSTI]

    Weske, Mathias

    . The user enters a query string that might consist out of one or several keywords and Google's web searchSemantically Enabled Exploratory Video Search Jörg Waitelonis joerg comes the challenge of efficient methods in video content management, content-based video search

  12. Usicg Semantic Networks Data Base Management

    E-Print Network [OSTI]

    Mylopoulos, John

    144 Usicg Semantic Networks for Data Base Management bY Nicholas Roussopoulos John FIylopoulos. INTRODUCTION=------,---- "he usefulness of Data Base tlanagement Systems (DBMSs) is severely restricted on the execution of a particular data base operation the current systems can account for are related to cost

  13. SEMANTIC MEMORY University of Western Ontario

    E-Print Network [OSTI]

    Jones, Michael

    . Reisberg (Ed.). The Oxford Handbook of Cognitive Psychology Ken McRae Department of Psychology Social Science Centre University of Western Ontario London, ON, Canada N6A 5C2 Email: kenm@uwo.ca Phone: (519;Semantic Memory 2 1. INTRODUCTION Concepts and meaning are fundamental components of nearly all aspects

  14. Machine Assisted Proofs for Generic Semantics to Compiler Transformation Correctness Theorems 

    E-Print Network [OSTI]

    Kahn, Saif U

    semantic definitions to abstract machines. Such transformations require correctness theorems that quantify over the class of operational semantics. In implementation terms this indicates the need to ensure both the class of operational semantics...

  15. The large-scale structure of semantic networks: statistical analyses and a model for semantic growth

    E-Print Network [OSTI]

    Mark Steyvers; Joshua B. Tenenbaum

    2001-10-01

    We present statistical analyses of the large-scale structure of three types of semantic networks: word associations, WordNet, and Roget's thesaurus. We show that they have a small-world structure, characterized by sparse connectivity, short average path-lengths between words, and strong local clustering. In addition, the distributions of the number of connections follow power laws that indicate a scale-free pattern of connectivity, with most nodes having relatively few connections joined together through a small number of hubs with many connections. These regularities have also been found in certain other complex natural networks, such as the world wide web, but they are not consistent with many conventional models of semantic organization, based on inheritance hierarchies, arbitrarily structured networks, or high-dimensional vector spaces. We propose that these structures reflect the mechanisms by which semantic networks grow. We describe a simple model for semantic growth, in which each new word or concept is connected to an existing network by differentiating the connectivity pattern of an existing node. This model generates appropriate small-world statistics and power-law connectivity distributions, and also suggests one possible mechanistic basis for the effects of learning history variables (age-of-acquisition, usage frequency) on behavioral performance in semantic processing tasks.

  16. Graph Mining Meets the Semantic Web

    SciTech Connect (OSTI)

    Lee, Sangkeun (Matt) [ORNL; Sukumar, Sreenivas R [ORNL; Lim, Seung-Hwan [ORNL

    2015-01-01

    The Resource Description Framework (RDF) and SPARQL Protocol and RDF Query Language (SPARQL) were introduced about a decade ago to enable flexible schema-free data interchange on the Semantic Web. Today, data scientists use the framework as a scalable graph representation for integrating, querying, exploring and analyzing data sets hosted at different sources. With increasing adoption, the need for graph mining capabilities for the Semantic Web has emerged. We address that need through implementation of three popular iterative Graph Mining algorithms (Triangle count, Connected component analysis, and PageRank). We implement these algorithms as SPARQL queries, wrapped within Python scripts. We evaluate the performance of our implementation on 6 real world data sets and show graph mining algorithms (that have a linear-algebra formulation) can indeed be unleashed on data represented as RDF graphs using the SPARQL query interface.

  17. From RESTful Services to RDF: Connecting the Web and the Semantic Web

    E-Print Network [OSTI]

    Alarcon, Rosa; Wilde, Erik

    2010-01-01

    S: Semantic Markup for Web Services. Member Submission, W3C,Web Services . . . . . . . . . . . . . . . . . . . . .Constructing Semantic Web Services from Online Sources. In

  18. The static and dynamic semantics of Standard ML

    E-Print Network [OSTI]

    Watt, D.A.

    Watt,D.A. Proceedings of 2nd International Workshop on Action Semantics pp 155-172 Dept of Computer Science, University of Aarhus

  19. Semantic Web for Manufacturing Web Services

    SciTech Connect (OSTI)

    Kulvatunyou, Boonserm; Ivezic, Nenad

    2002-06-01

    As markets become unexpectedly turbulent with a shortened product life cycle and a power shift towards buyers, the need for methods to rapidly and cost-effectively develop products, production facilities and supporting software is becoming urgent. The use of a virtual enterprise plays a vital role in surviving turbulent markets. However, its success requires reliable and large-scale interoperation among trading partners via a semantic web of trading partners' services whose properties, capabilities, and interfaces are encoded in an unambiguous as well as computer-understandable form. This paper demonstrates a promising approach to integration and interoperation between a design house and a manufacturer by developing semantic web services for business and engineering transactions. To this end, detailed activity and information flow diagrams are developed, in which the two trading partners exchange messages and documents. The properties and capabilities of the manufacturer sites are defined using DARPA Agent Markup Language (DAML) ontology definition language. The prototype development of semantic webs shows that enterprises can widely interoperate in an unambiguous and autonomous manner; hence, virtual enterprise is realizable at a low cost.

  20. this version: May 13, 2011 A semantic virtual machine

    E-Print Network [OSTI]

    Neumaier, Arnold

    this version: May 13, 2011 A semantic virtual machine Arnold Neumaier Peter Schodl Fakult¨at f://www.mat.univie.ac.at/neum/FMathL Abstract A semantic virtual machine (SVM) is a variant of a programable register machine that combines the transparency and simplicity of the action of a Turing machine with a clearly arranged assembler

  1. Towards an Accessible Web through Semantic Web Standards

    E-Print Network [OSTI]

    Watt, Stephen M.

    1 Towards an Accessible Web through Semantic Web Standards Clare M. So, Mark Perry and Stephen M Abstract-- Making information on the Web accessible to all people, including to those having special needs than actual semantic content that is rendered by alternative technologies. To make the Web more

  2. A Multilevel Composability Model for Semantic Web Services

    E-Print Network [OSTI]

    Medjahed, Brahim

    A Multilevel Composability Model for Semantic Web Services Brahim Medjahed, Member, IEEE, and Athman Bouguettaya, Senior Member, IEEE Abstract--We propose a composability model to ascertain that Web a performance study (analytical and experimental) of the proposed algorithms. Index Terms--Web service, semantic

  3. SHOE: A Blueprint for the Semantic Web James Hendler

    E-Print Network [OSTI]

    Heflin, Jeff

    SHOE: A Blueprint for the Semantic Web Je He in James Hendler Sean Luke February 21, 2003 Abstract The term Semantic Web was coined by Tim Berners-Lee to describe his proposal for \\a web of meaning," as opposed to the \\web of links" that currently exists on the Internet. To achieve this vision, we need

  4. SIMPLIcity: Semantics-Sensitive Integrated Matching for Picture LIbraries

    E-Print Network [OSTI]

    Tian, Qi

    SIMPLIcity: Semantics-Sensitive Integrated Matching for Picture LIbraries James Z. Wang, Member, IEEE, Jia Li, Member, IEEE, and Gio Wiederhold, Fellow, IEEE AbstractĐThe need for efficient content, commerce, education, and Web image classification and searching. We present here SIMPLIcity (Semantics

  5. From notation to semantics: there and back again

    E-Print Network [OSTI]

    Torino, UniversitĂ  di

    From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 its users to define their own notation in an incremental way, using a basic set of primitive software. Fig. 1. Architecture of the notational framework. #12;From notation to semantics: there and back

  6. Semantics of time travel in a generative information space 

    E-Print Network [OSTI]

    Khandelwal, Madhur Jugalkishore

    2005-02-17

    to Java by a framework named ecologylab.xml, which was developed as a part of this thesis. These computational keyframe semantics serve as the basis for interaction semantics. A user study was conducted in the form of a design competition, to evaluate...

  7. Semantics and Syntax A Legacy of Alan Turing

    E-Print Network [OSTI]

    Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Semantics and Syn- tax was one of the central activities of the Alan Turing Year 2012 (ATY). The ATY, many of which were leaders of their respective fields. Alan Turing's work was too broad for a coherent

  8. Towards an Accessible Web through Semantic Web Standards

    E-Print Network [OSTI]

    Perry, Mark

    Towards an Accessible Web through Semantic Web Standards Clare M. So, Mark Perry and Stephen M Abstract-- Making information on the Web accessible to all people, including to those having special needs than actual semantic content that is rendered by alternative technologies. To make the Web more

  9. The SILK System: Scalable and Expressive Semantic Benjamin Grosof

    E-Print Network [OSTI]

    Polz, Martin

    with the main existing forms of knowledge/data in the Semantic Web and deep Web. These features cope the Se- mantic Web to large knowledge bases in science and busi- ness that answer questions, proactively fundamental requirements for scaling the Semantic Web to Very Large Knowledge Bases (VLKBs) in business

  10. Semantic Management of Web Services Daniel Oberle1

    E-Print Network [OSTI]

    Staab, Steffen

    Semantic Management of Web Services Daniel Oberle1 , Steffen Lamparter1 , Andreas Eberhart2, staab@uni-koblenz.de Abstract. We present semantic management of Web Services as a paradigm that is located between the two extremes of current Web Services standards descrip- tions and tools, which we

  11. SEMANTIC DATA INTEGRATION IN A MULTIPLE REPRESENTATION ENVIRONMENT

    E-Print Network [OSTI]

    Köbben, Barend

    SEMANTIC DATA INTEGRATION IN A MULTIPLE REPRESENTATION ENVIRONMENT J.E. Stotera , R.L.G. Lemmensa in a multiple representation environment. Important principles of this environment are 1) the data sets of a new technology in the semantic data integration process of different data sets: machine ontology using

  12. Verifying an Open Compiler Using Multi-Language Semantics

    E-Print Network [OSTI]

    Ahmed, Amal

    Verifying an Open Compiler Using Multi-Language Semantics: Technical Report James T. Perconti for our FCA model. #12;Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under

  13. Database Description with SDM: A Semantic Database Model

    E-Print Network [OSTI]

    McLeod, Dennis

    Database Description with SDM: A Semantic Database Model MICHAEL HAMMER Massachusetts Institute of Technology and DENNIS McLEOD University of Southern California SDM is a high-level semantics-based database description and structuring formalism (database model) for databases. This database model is designed

  14. 2004-09-16 | Greg Jane 1 Semantic representation

    E-Print Network [OSTI]

    Janée, Greg

    2004-09-16 | Greg Janée 1 Semantic representation · Semantic definitions ­ explicit representations property rights ­ programmatic interpretation would be beneficial · Here's a common framework for both #12;2004-09-16 | Greg Janée 2 Archival item facets · (Identifier) · Metadata · Data · Intellectual property rights #12;2004

  15. Agents on the Web Reconciling the Semantics of

    E-Print Network [OSTI]

    Huhns, Michael N.

    Agents on the Web Consensus Ontologies Reconciling the Semantics of Web Pages andAgents 92, but the light is better here." As you build a Web site, it is worthwhile to ask a similar question: "Should you this question. ReconcilingWeb Semantics Web searches typically yield pointers to a large number of Web sites

  16. Semi-Automatically Mapping Structured Sources into the Semantic Web

    E-Print Network [OSTI]

    Lerman, Kristina

    Taheriyan1 , and Parag Mallick2 1 University of Southern California Information Sciences InstituteSemi-Automatically Mapping Structured Sources into the Semantic Web Craig A. Knoblock1 , Pedro- automatic approach to map structured sources to ontologies in order to build semantic descriptions (source

  17. Automatically Constructing Semantic Web Services from Online Sources

    E-Print Network [OSTI]

    Lerman, Kristina

    of Southern California Information Sciences Institute 4676 Admiralty Way Marina del Rey, CA 90292 {ambite into Semantic Web Services. In general, the type of source that we focus on in this paper are informationAutomatically Constructing Semantic Web Services from Online Sources Jos´e Luis Ambite, Sirish

  18. Semantic e-Science and Geology Clinton Smyth1

    E-Print Network [OSTI]

    Poole, David

    Semantic e-Science and Geology Clinton Smyth1 , David Poole2 and Rita Sharma3 1 Georeference Online@cs.ubc.ca Abstract e-Science, as implemented for the study of geology with Geographic Information Systems over the Internet, has highlighted the need for standardization in the semantics of geology, and stimulated

  19. Predicting Panel Ratings for Semantic Characteristics of Lung Nodules

    E-Print Network [OSTI]

    Schaefer, Marcus

    Predicting Panel Ratings for Semantic Characteristics of Lung Nodules Dmitriy Zinovev De@cdm.depaul.edu ABSTRACT In reading CT scans with potentially malignant lung nodules, radiologists make use of high level a second opinion - predicting these semantic characteristics for lung nodules. In our previous work, we

  20. Narrative Semantic Web --Case National Finnish Epic Kalevala

    E-Print Network [OSTI]

    Hyvönen, Eero

    on the semantic web as semantic structures [1] that can be used for enriching end-user reading experience, videos, and agrarian Finnish artifacts in the collections of Finnish memory and media organizations, the narrative episode-scene structure is visualized in the application as an interactive graph for a quick

  1. Event Structure Semantics of Orc Sidney Rosario1

    E-Print Network [OSTI]

    Cook, William R.

    Event Structure Semantics of Orc Sidney Rosario1 , David Kitchin3 , Albert Benveniste1 , William into asymmetric event structures. The semantics is de- veloped for Orc, an orchestration language in which concurrent services are invoked to achieve a goal while managing time-outs, exceptions, and priority. Orc

  2. UMND1: Unsupervised Word Sense Disambiguation Using Contextual Semantic Relatedness

    E-Print Network [OSTI]

    Pedersen, Ted

    UMND1: Unsupervised Word Sense Disambiguation Using Contextual Semantic Relatedness Siddharth@d.umn.edu Abstract In this paper we describe an unsuper- vised WordNet-based Word Sense Disam- biguation system. The system disambiguates a target word by using WordNet-based measures of semantic relat- edness to find

  3. Unlocking the Semantics of Roget's Thesaurus Using Formal Concept Analysis

    E-Print Network [OSTI]

    Old, L. John

    Unlocking the Semantics of Roget's Thesaurus Using Formal Concept Analysis L. John Old School of Computing, Napier University, j.old(at)napier.ac.uk Abstract. Roget's Thesaurus is a semantic dictionary: implications and Type-10 chain components. 1 Introduction Like The Bible and Shakespeare, Roget's Thesaurus

  4. Emergent Semantics in BibSonomy Andreas Hotho1

    E-Print Network [OSTI]

    TAGora project

    , a new breed of so-called "Web 2.0" applications is currently emerging on the Web. These include user tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual, and discuss first steps towards emergent semantics. 1 Introduction Complementing the Semantic Web effort

  5. Peer Rewiring in Semantic Overlay Networks under Churn

    E-Print Network [OSTI]

    Petrakis, Euripides G.M.

    Peer Rewiring in Semantic Overlay Networks under Churn Paraskevi Raftopoulou1 and Euripides G of a semantic overlay network that supports full-fledged information retrieval in the presence of peer churn. We adopt a model for peer churn, and study the effect of network dynamics on peer organisation

  6. A Scalable Approach to Learn Semantic Models of Structured Sources

    E-Print Network [OSTI]

    Ambite, José Luis

    of information available on the Web is available in sources such as relational databases, spreadsheets, XML, JSON concepts and relationships within a domain, and source descriptions are formal specifications of semanticA Scalable Approach to Learn Semantic Models of Structured Sources Mohsen Taheriyan, Craig A

  7. A System for Building Semantic Maps of Indoor Environments

    E-Print Network [OSTI]

    Amigoni, Francesco

    A System for Building Semantic Maps of Indoor Environments Exploiting the Concept of Building of indoor environments refers to the task of build- ing representations of these environments that associate knowledge. Usually, the classifiers that build semantic maps process data coming from laser range scanners

  8. Elements of a National Semantic Web Infrastructure --Case Study Finland on the Semantic Web

    E-Print Network [OSTI]

    Hyvönen, Eero

    the contents and services it is dealing with, then better interoperability of web systems can be obtained and transportation, power plants and electrical networks are needed for energy sup- ply, or GSM standards interoperable, intelligent services on the coming semantic web. In our view, the infrastructure should be open

  9. On the Precision of Search Engines: Results from a Controlled Experiment

    E-Print Network [OSTI]

    Ulm, Universität

    , conventional, non-semantic search engines index and rank web pages [3]. When a user enters a search queryOn the Precision of Search Engines: Results from a Controlled Experiment Hasan Girit, Robert, search engines adopt a key role. Besides conventional search engines such as Google, semantic search

  10. Resolving local ambiguity using semantics of shape.

    SciTech Connect (OSTI)

    Diegert, Carl F.

    2010-05-01

    We demonstrate a new semantic method for automatic analysis of wide-area, high-resolution overhead imagery to tip and cue human intelligence analysts to human activity. In the open demonstration, we find and trace cars and rooftops. Our methodology, extended to analysis of voxels, may be applicable to understanding morphology and to automatic tracing of neurons in large-scale, serial-section TEM datasets. We defined an algorithm and software implementation that efficiently finds all combinations of image blobs that satisfy given shape semantics, where image blobs are formed as a general-purpose, first step that 'oversegments' image pixels into blobs of similar pixels. We will demonstrate the remarkable power (ROC) of this combinatorial-based work flow for automatically tracing any automobiles in a scene by applying semantics that require a subset of image blobs to fill out a rectangular shape, with width and height in given intervals. In most applications we find that the new combinatorial-based work flow produces alternative (overlapping) tracings of possible objects (e.g. cars) in a scene. To force an estimation (tracing) of a consistent collection of objects (cars), a quick-and-simple greedy algorithm is often sufficient. We will demonstrate a more powerful resolution method: we produce a weighted graph from the conflicts in all of our enumerated hypotheses, and then solve a maximal independent vertex set problem on this graph to resolve conflicting hypotheses. This graph computation is almost certain to be necessary to adequately resolve multiple, conflicting neuron topologies into a set that is most consistent with a TEM dataset.

  11. Visions of a Semantic Molecular Future

    E-Print Network [OSTI]

    Murray-Rust, Peter; Brooks, Brian; Bolton, Charlotte

    2011-07-05

    unswerving support. Tony Hey, Andy Parker and others in eScience for a great opportunity to develop ideas in the context of an exciting national program. To Martin Dove and many colleagues in the eMinerals and MaterialsGrid projects (Mark Calleja, Toby White... . Many in JISC and collaborating projects (Brian Mathews, Jeremy Frey, Simon Coles) and now David Shotton. To Tony Hey, Alex Wade, Lee Dirks and others in Microsoft Research for a concerted and personal approach to making semantics a reality through Chem4...

  12. Semantic Typology Semantics of Locative Relations in Rongga (ISO 639-3: ROR)

    E-Print Network [OSTI]

    Aryawibawa, I. Nyoman

    2008-08-15

    (1980). Besides, such responses from the native language consultants are important in semantic analysis as voiced by Hymes (in Berlin, 1968: 31) ?An unfortunate distrust of the native speaker as anything but a source of sounds has sometimes led... examples of how the principles can be used to help select an appropriate spatial term in a complex spatial relation between objects. For example, given a situation of interaction between a socket and a bulb, we have to decide between in and under...

  13. Integrating Personal Web Data through Semantically Enhanced Web Portal

    E-Print Network [OSTI]

    Integrating Personal Web Data through Semantically Enhanced Web Portal Lidia Rovan, Tomislav Jagust: Currently, the World Wide Web is mostly composed of isolated and loosely connected "data islands Web usage process. Creating infrastructure that would support automation of that process

  14. On the semantics of phi features on pronouns

    E-Print Network [OSTI]

    Sudo, Yasutada, Ph. D. Massachusetts Institute of Technology

    2012-01-01

    This thesis investigates three topics relating to the semantics of phi features on pronouns. Part I focuses on gender features on pronouns. Following previous studies (Cooper 1983, Heim & Kratzer 1998), I claim that they ...

  15. An Operational Semantics for Knowledge Bases Ronald Fagin

    E-Print Network [OSTI]

    Halpern, Joseph Y.

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

  16. Graph-based privacy preference expression for the semantic web

    E-Print Network [OSTI]

    Wagner, Ryan Randall, 1980-

    2004-01-01

    The Web is changing. Originally a medium for human-readable documents, the next generation Semantic Web is opening up toolkit that provides vast opportunities for sharing information that is encoded in a machine-readable ...

  17. KAoS Policy Management for Semantic Web Services 

    E-Print Network [OSTI]

    Uszok, A; Bradshaw, J M; Jeffers, R; Johnson, M; Tate, Austin; Dalton, J; Aitken, Stuart

    2004-01-01

    capabilities (www.swsi.org). These new capabilities should more fully harness Web Services' power through explicit representations of Web resources' underlying semantics and the development of an intelligent Web infrastructure that can fully exploit them...

  18. Semantic Taxonomy Induction from Heterogenous Evidence Computer Science Department

    E-Print Network [OSTI]

    Ng, Andrew Y.

    Semantic Taxonomy Induction from Heterogenous Evidence Rion Snow Computer Science Department­ tic taxonomies. Previous algorithms for taxonomy induction have typically focused on independent over heterogenous relationships to optimize the entire structure of the taxonomy, using knowl­ edge

  19. Semantic Taxonomy Induction from Heterogenous Evidence Computer Science Department

    E-Print Network [OSTI]

    Ng, Andrew Y.

    Semantic Taxonomy Induction from Heterogenous Evidence Rion Snow Computer Science Department- tic taxonomies. Previous algorithms for taxonomy induction have typically focused on independent over heterogenous relationships to optimize the entire structure of the taxonomy, using knowl- edge

  20. eScience, Semantic Computing and the Cloud

    E-Print Network [OSTI]

    eScience, Semantic Computing and the Cloud Towards a Smart Cyberinfrastructure for eScience Tony Hey Corporate Vice President Microsoft Research #12;eScience #12;· Data collection ­ Sensor networks

  1. Policy and Contract Management for Semantic Web Services 

    E-Print Network [OSTI]

    Uszok, A; Bradshaw, J M; Jeffers, R; Johnson, M; Tate, Austin; Dalton, J; Aitken, Stuart

    This paper summarizes our efforts to develop capabilities for policy and contract management for Semantic Web Services applications. KAoS services and tools allow for the specification, management, analyzes, disclosure and enforcement of policies...

  2. Representing the Semantics of Geographic Information in Ontologies 

    E-Print Network [OSTI]

    Ou, Yang

    2007-08-15

    Currently, one of the key issues facing applications and integration of Geographic Information Systems is the lack of interoperability among various systems due to the diversity of data representations. The semantics of ...

  3. Query-based database policy assurance using semantic web technologies

    E-Print Network [OSTI]

    Soltren, José Hiram

    2009-01-01

    In this thesis, we present a novel approach to database security which looks at queries instead of the database tables themselves. In doing so, we use a number of Semantic Web technologies to define rules, translate queries, ...

  4. GPSZip : semantic representation and compression system for GPS using coresets

    E-Print Network [OSTI]

    Wu, Cathy, M. Eng. Massachusetts Institute of Technology

    2013-01-01

    We present a semantic approach for compressing mobile sensor data and focus on GPS streams. Unlike popular text-compression methods, our approach takes advantage of the fact that agents (robotic, personal, or vehicular) ...

  5. Semantic web portals: state-of-the-art Holger Lausen, Ying Ding, Michael Stollberg, Dieter Fensel, Ruben Lara Hernandez and

    E-Print Network [OSTI]

    Menczer, Filippo

    Semantic web portals: state-of-the-art survey Holger Lausen, Ying Ding, Michael Stollberg, Dieter application of semantic web technologies in web portals and corresponding achievable improvements for identifying the potential improvement made by semantic web technology. Design

  6. 80 : 41 1 (2014.1) (A Semantic Relation-based Retrieval Method in

    E-Print Network [OSTI]

    Cho, Sung-Bae

    Semantic Relation Count General Semantic Relation (Is A) 12 Paid Work related 90 Household Work related 12 Passive Leisure related 126 Entertainment Events related 48 Active Leisure related 258 Social

  7. Making Sense of Sentences in Schizophrenia: Electrophysiological Evidence for Abnormal Interactions Between Semantic and Syntactic Processing

    E-Print Network [OSTI]

    Kuperberg, Gina

    by semantically related, relative to unrelated words (Bentin, Mc- Carthy, & Wood, 1985; Rugg, 1985 is called the N400 effect. In schizophrenia, stud- ies of the N400 effect in semantic priming paradigms have

  8. A Roadmap for Rules and RuleML in the Semantic Web Benjamin Grosof

    E-Print Network [OSTI]

    11/22/00 A Roadmap for Rules and RuleML in the Semantic Web Benjamin Grosof MIT Sloan School+OIL. In this paper, we give a roadmap for rules in the Semantic Web, including overview, design rationale

  9. The Theory of Interacting Deductions and its Application to Operational Semantics 

    E-Print Network [OSTI]

    Wilson, Andrew

    This thesis concerns the problem of complexity in operational semantics definitions. The appeal of modern operational semantics is the simplicity of their metatheories, which can be regarded as theories of deduction about ...

  10. Wittgenstein and semantic presuppositions generated by definite descriptions in subject-position 

    E-Print Network [OSTI]

    Margutti Pinto, Paulo Roberto

    The purpose of this work is to characterize the problem of semantic presuppositions generated by definite descriptions in subject-position in the light of a reassessment of the semantic framework of the Russell/ Strawson ...

  11. A widget library for creating policy-aware semantic Web applications

    E-Print Network [OSTI]

    Hollenbach, James Dylan

    2010-01-01

    In order to truly reap the benefits of the Semantic Web, there must be adequate tools for writing Web applications that aggregate, view, and edit the widely varying data the Semantic Web makes available. As a step toward ...

  12. Sentence based semantic similarity measure for blog-posts

    E-Print Network [OSTI]

    Aziz, Mehwish

    2012-01-01

    Blogs-Online digital diary like application on web 2.0 has opened new and easy way to voice opinion, thoughts, and like-dislike of every Internet user to the World. Blogosphere has no doubt the largest user-generated content repository full of knowledge. The potential of this knowledge is still to be explored. Knowledge discovery from this new genre is quite difficult and challenging as it is totally different from other popular genre of web-applications like World Wide Web (WWW). Blog-posts unlike web documents are small in size, thus lack in context and contain relaxed grammatical structures. Hence, standard text similarity measure fails to provide good results. In this paper, specialized requirements for comparing a pair of blog-posts is thoroughly investigated. Based on this we proposed a novel algorithm for sentence oriented semantic similarity measure of a pair of blog-posts. We applied this algorithm on a subset of political blogosphere of Pakistan, to cluster the blogs on different issues of political...

  13. Available online at www.sciencedirect.com Web Semantics: Science, Services and Agents

    E-Print Network [OSTI]

    van Harmelen, Frank

    Available online at www.sciencedirect.com Web Semantics: Science, Services and Agents on the World Wide Web 5 (2007) 225­226 Editorial Where is the Web in the Semantic Web? This special issue collects together selected papers from the Semantic Web track of the 2006 World Wide Web Confer- ence. The central

  14. PERCEPTUAL FEATURE SELECTION FOR SEMANTIC IMAGE CLASSIFICATION Dejan Depalov, Thrasyvoulos N. Pappas

    E-Print Network [OSTI]

    Pappas, Thrasyvoulos N.

    PERCEPTUAL FEATURE SELECTION FOR SEMANTIC IMAGE CLASSIFICATION Dejan Depalov, Thrasyvoulos N collections of digital images. The goal is to organize the contents semantically, according to mean- ingful categories. In recent papers we introduced a new approach for semantic image classification that relies

  15. The First International Semantic Web Conference (ISWC2002), Sardinia, Italy, June 2002.

    E-Print Network [OSTI]

    Patel-Schneider, Peter F.

    The First International Semantic Web Conference (ISWC2002), Sardinia, Italy, June 2002. Building the Semantic Web on XML Peter F. Patel-Schneider and J´er^ome Sim´eon Bell Labs Research, Murray Hill, NJ, U.S.A. pfps,simeon¡ @research.bell-labs.com Abstract. The semantic discontinuity between World-Wide Web

  16. The First International Semantic Web Conference (ISWC2002), Sardinia, Italy, June 2002.

    E-Print Network [OSTI]

    Patel-Schneider, Peter F.

    The First International Semantic Web Conference (ISWC2002), Sardinia, Italy, June 2002. Building the Semantic Web on XML Peter F. Patel­Schneider and Jâ??erâ??ome Simâ??eon Bell Labs Research, Murray Hill, NJ, U.S.A. fpfps,simeong@research.bell­labs.com Abstract. The semantic discontinuity between World­Wide Web

  17. Web Service Discovery via Semantic Association Ranking and Hyperclique Pattern Discovery

    E-Print Network [OSTI]

    Xiong, Hui

    Web Service Discovery via Semantic Association Ranking and Hyperclique Pattern Discovery Aabhas V.bornhoevd@sap.com Abstract Semantic Web technology is a promising first step for automated web service discovery. Most current approaches for web service discovery cater to semantic web services, i.e., web services that have

  18. McIlraith, Stanford University 05/23/2003 Semantic Web Services

    E-Print Network [OSTI]

    McIlraith, Stanford University 05/23/2003 Semantic Web Services Panel WWW12 Sheila Mc 05/23/2003 Obstacles: Need for Wide-spread Adoption · Many of the benefits of Semantic Web Services (SWS) are dependent upon relatively wide-spread adoption of Web Service descriptions in a Semantic Web

  19. A Fully Abstract Semantics for a Firstorder Functional Language with Logic Variables

    E-Print Network [OSTI]

    Jagadeesan, Radha

    general, and can be used to give semantics to any constraint­based logic programming languages. Our]: Functional Programming; D.3.1 [Programming Languages]: Formal Definitions and Theory ­ semantics; D.3.2 [Programming Languages]: Dataflow Languages; F.3.2 [Theory of Computation]: Semantics of Programming Languages

  20. Web Information Extraction for the Creation of Metadata in Semantic Web

    E-Print Network [OSTI]

    Web Information Extraction for the Creation of Metadata in Semantic Web Ching-Long Yeh and Yu using the information extraction technology for the Semantic Web. The information extraction system Semantic Web is an emerging technology working by building a metadata layer upon the current web and using

  1. Creating and Using Geospatial Ontology Time Series in a Semantic Cultural Heritage Portal

    E-Print Network [OSTI]

    Hyvönen, Eero

    Creating and Using Geospatial Ontology Time Series in a Semantic Cultural Heritage Portal Tomi annotations in semantic cultural heritage portals commonly make spatiotemporal references to historical heritage portal CULTURESAMPO to sup- port faceted semantic search of contents and to visualize historical

  2. Crowdsourcing Semantics for Big Data in Geoscience Applications Tom Narock1

    E-Print Network [OSTI]

    Hitzler, Pascal

    Crowdsourcing Semantics for Big Data in Geoscience Applications Tom Narock1 and Pascal Hitzler 1 the potential to overcome some of the issues currently surrounding Big Data. Semantic technologies, and complexity of data sources ­ the very definition of Big Data. Yet, for some tasks, semantic algorithms do

  3. Using Semantic Treemaps to categorize and visualize bookmark files Computer Science Department

    E-Print Network [OSTI]

    Börner, Katy

    or favorite collections without any convenient tool to help them identify the subjects of the Web pages the semantic relationships of web pages in personal bookmark or favorites collections based on their semantic pages. The Web pages are clustered hierarchically based on their semantic similarities. A utility

  4. A framework for using reference ontologies as a foundation for the semantic web

    E-Print Network [OSTI]

    Washington at Seattle, University of

    1 A framework for using reference ontologies as a foundation for the semantic web James F. Brinkley The semantic web is envisioned as an evolving set of local ontologies that are gradually linked together-used in clinical applications. As such they have the potential to be a foundation for the semantic web if methods

  5. Automatic Semantic Labelling of Urban Areas using a rule-based

    E-Print Network [OSTI]

    Automatic Semantic Labelling of Urban Areas using a rule-based approach and realized with Me and the actual implementation of a model to perform an automatic semantic labelling of urban areas. For this assignment we looked at automatic semantic labelling of very high resolution airborne images (derived ortho

  6. Agents and the Semantic Web PhD Course of the Computer

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Agents and the Semantic Web PhD Course of the Computer Science and Engineering Program, DIBRIS, University of Genova (Slide from http://www.urenio.org/2011/11/17/semantic-web-for-smart-cities/) Instructors: According to the seminal work of Berners-Lee, Hendler and Lassila (2001) "The Semantic Web is not a separate

  7. 5/21/2004 Copyright 2004 by Benjamin Grosof. All Rights Reserved Remarks on Rules and Semantic Web Services

    E-Print Network [OSTI]

    , Stanford; BA Applied Math Econ/Mgmt, Harvard · Semantic web services is main research area: ­ Rules as core participant in Semantic Web Services Initiative ­ which coordinates world-wide SWS research and early Generation Web Semantic Web Services Semantic Web techniques Web Services techniques First Generation Web XML

  8. On Intra-page and Inter-page Semantic Analysis of Web Pages Jicheng Wang, Gangshan Wu

    E-Print Network [OSTI]

    On Intra-page and Inter-page Semantic Analysis of Web Pages Jun Wang Jicheng Wang, Gangshan Wu processable, this paper presents a new approach to intra-page and inter-page semantic analysis of Web pages. Our approach consists of Web pages structure analysis and semantic clustering for intra-page semantic

  9. Semantics for a Quantum Programming Language by Operator Algebras

    E-Print Network [OSTI]

    Kenta Cho

    2014-12-30

    This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite category of the category of W*-algebras and normal completely positive subunital maps is an elementary quantum flow chart category in the sense of Selinger. As a consequence, it gives a denotational semantics for Selinger's first-order functional quantum programming language QPL. The use of operator algebras allows us to accommodate infinite structures and to handle classical and quantum computations in a unified way.

  10. this version: July 7, 2009 A semantic Turing machine

    E-Print Network [OSTI]

    Neumaier, Arnold

    this version: July 7, 2009 A semantic Turing machine Arnold Neumaier Peter Schodl Fakultät für machine (STM) is a variant of a programable register machine that combines the transparency and simplicity of the action of a Turing machine with a clearly arranged assembler-style programming language and a user

  11. Semantic requirements for an integrated bill of materials syste 

    E-Print Network [OSTI]

    Anupindi, Sharma Rambhadra

    1993-01-01

    of the product. In this research we take the position that "integration" is an issue that must be addressed on a semantic level first. Fast changing needs and competition in the global market place have raised the awareness of the importance of integration...

  12. Semantics and Syntax A Legacy of Alan Turing

    E-Print Network [OSTI]

    Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza) Nigel P. Smart (Bristol) 1 Basic in Cam- bridge, included Turing's 100th birthday on 23 June 1912 at King's College, and combined-semantics divide are a major obstacle for progress in our fields, and the programme aimed at bridging this divide

  13. On the concurrent semantics of Algebraic Graph Grammars #

    E-Print Network [OSTI]

    Baldan, Paolo

    â??a di Pisa, Italy baldan@dsi.unive.it andrea@di.unipi.it Abstract. Graph grammars are a powerful model. These semantics have served as basis for the development of a variety of modelling and verification techniques graph transformation systems as an alternative model of concurrency, extending Petri nets. The basic

  14. Engineering Associations: From Models to Code and Back through Semantics

    E-Print Network [OSTI]

    Easterbrook, Steve

    Engineering Associations: From Models to Code and Back through Semantics Zinovy Diskin1 , Steve the most basic types are implemented in modern forward and reverse engineering tools. In this paper, we A basic type of class diagram is a graph whose nodes are classes and edges are associations between them

  15. SEMANTIC MOTION CONCEPT RETRIEVAL IN NON-STATIC BACKGROUND UTILIZING

    E-Print Network [OSTI]

    Shyu, Mei-Ling

    concepts containing motion information such as racing car and dancing. In order to achieve high retrieval INFORMATION DIANTING LIU* and MEI-LING SHYU Department of Electrical and Computer Engineering University accuracy comparing with those static concepts such as car or person in semantic retrieval tasks

  16. An Operational Semantics for JavaScript Sergio Maffeis1

    E-Print Network [OSTI]

    Mitchell, John C.

    that we considered include SpiderMonkey [17] (used by Firefox), the Rhino [4] implementation for JavaAn Operational Semantics for JavaScript Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 to JavaScript, as a basis for analyzing security properties of web applications and mashups. The se

  17. Robust Photo Retrieval Using World Semantics Hugo Liu*, Henry Lieberman*

    E-Print Network [OSTI]

    Lieberman, Henry

    ), and keyword co-occurrence statistics (Peat and Willet, 1991; Lin, 1998), as well as resources generated robust involves query expansion using a thesaurus or other lexical resource. The chief limitation a world semantic resource. The resource is automatically constructed from a large-scale freely available

  18. Annotation, Composition and Invocation of Semantic Web Services

    E-Print Network [OSTI]

    Staab, Steffen

    Annotation, Composition and Invocation of Semantic Web Services Sudhir Agarwal, Siegfried Handschuh://www.aifb.uni-karlsruhe.de/WBS Abstract The way that web services are currently being developed places them beside rather than within web services, viz. support for semi-automatic composition and invocation of web services that have

  19. AUTOMATIC AND ROBUST SEMANTIC REGISTRATION OF 3D HEAD SCANS

    E-Print Network [OSTI]

    Eisert, Peter

    useful for error- prone vision techniques like stereo analysis but also for model based repairing for applications such as 3D graphics production and also for computer vision research. Laser scanners are the primeAUTOMATIC AND ROBUST SEMANTIC REGISTRATION OF 3D HEAD SCANS David C. Schneider, Peter Eisert

  20. Semantic Web Interaction on Internet Relay Chat Jennifer Golbeck

    E-Print Network [OSTI]

    Kent, University of

    Kingdom Tel: +44 (0)1227 764000 ext. 7754 E-mail: pjm2@kent.ac.uk ABSTRACT Internet Relay Chat (IRC) is a chat system that has millions of users. IRC robots (bots) are programs that sit in chat rooms and provide different services to users. The IRC bot as a mechanism for human interaction with the Semantic

  1. From Distributional to Semantic Similarity James Richard Curran

    E-Print Network [OSTI]

    Curran, James R.

    From Distributional to Semantic Similarity James Richard Curran TH E U N I V E R S ITY OF E D I N B in Chapter 3, Massi- miliano Ciaramita providing his supersense data used in Chapter 6 and Robert Curran

  2. Adding Semantics to Data-Driven Paraphrasing Ellie Pavlick1

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    minimal/significant husband/marry to found/party clean/cleanse tower/building boy/young girl oil/oil priceAdding Semantics to Data-Driven Paraphrasing Ellie Pavlick1 Johan Bos2 Malvina Nissim2 Charley (Figure 1). In contrast, data-driving paraphrasing typically sidesteps de- veloping a clear definition

  3. Semantic Information Modeling for Emerging Applications in Smart Grid

    E-Print Network [OSTI]

    Hwang, Kai

    Semantic Information Modeling for Emerging Applications in Smart Grid Qunzhi Zhou, Sreedhar Grid modernizes power grid by integrating digital and information technologies. Millions of smart existing and new information sources with the grow of Smart Grid information space. In particular, dynamic

  4. Robust Photo Retrieval Using World Semantics Hugo Liu*, Henry Lieberman*

    E-Print Network [OSTI]

    Robust Photo Retrieval Using World Semantics Hugo Liu*, Henry Lieberman* * MIT Media Laboratory Photos annotated with textual keywords can be thought of as resembling documents, and querying for photos motivated rather than conceptually motivated. In our photo domain, we propose a mechanism for robust

  5. Verifying an Open Compiler Using Multi-Language Semantics

    E-Print Network [OSTI]

    Ahmed, Amal

    Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the compiler will only be used to compile whole programs. We present a new methodology

  6. Computational approaches to discovering semantics in molecular biology

    SciTech Connect (OSTI)

    Lipton, R.J. ); Marr, T.G. . Theoretical Div.); Welsh, J.D. . Dept. of Biology)

    1989-07-01

    One of the central questions of molecular biology is the discovery of the semantics of DNA. This discovery relies in a critical way on a variety of expensive computations. In order to solve these computations, both parallel computers and special-purpose hardware play a major role.

  7. Data and Metadata on the Semantic Grid Geoffrey Fox

    E-Print Network [OSTI]

    Data and Metadata on the Semantic Grid Geoffrey Fox Community Grids Laboratory Indiana University to have in information systems; roughly the Grid of Sensors and databases. We contrasted type of Grid one has, metadata or data about data will be important. The term is as always loosely

  8. Defining Well-Founded Semantics for Revision Programming

    E-Print Network [OSTI]

    Pivkina, Inna

    Defining Well-Founded Semantics for Revision Programming Inna V. Pivkina Department of Computer programming is a formalism to describe and enforce constraints on belief sets, databases, and more generally programming and approximating justified revisions. The first two approaches are obtained via embeddings

  9. The Semantic Web: Collective Intelligence on the Web

    E-Print Network [OSTI]

    Staab, Steffen

    The Semantic Web: Collective Intelligence on the Web Maciej Janik, Ansgar Scherp, and Steffen Staab lastname@uni-koblenz.de Institute for Web Science and Technologies, WeST University of Koblenz-Landau Abstract. The World Wide Web has turned hypertext into a success story by enabling world-wide sharing

  10. Exploiting the Social and Semantic Web for Guided Web Archiving

    E-Print Network [OSTI]

    Senellart, Pierre

    Exploiting the Social and Semantic Web for Guided Web Archiving Thomas Risse1 , Stefan Dietze1. The constantly growing amount of Web content and the suc- cess of the Social Web lead to increasing needs for Web archiving. These needs go beyond the pure preservation of Web pages. Web archives are turning

  11. Applying Semantic Web Technologies to Knowledge Sharing in Aerospace Engineering

    E-Print Network [OSTI]

    Ciravegna, Fabio

    Applying Semantic Web Technologies to Knowledge Sharing in Aerospace Engineering A.-S. Dadzie , R. This paper details an integrated methodology to optimise Knowledge reuse and sharing, illustrated with a use of Knowledge from legacy documents via automated means, or directly in systems interfacing with Knowledge

  12. A Language for Task Orchestration and its Semantic Properties

    E-Print Network [OSTI]

    Cook, William R.

    and Jayadev Misra The University of Texas at Austin {dkitchin,wcook,misra}@cs.utexas.edu Abstract. Orc, business process management, and web service orchestration. Orc provides constructs to orchestrate or communication. In this paper, we show a trace-based semantic model for Orc, which induces a congru- ence on Orc

  13. Java: Semantics and Type Soundness Gaurav S. Kc

    E-Print Network [OSTI]

    Yang, Junfeng

    Java: Semantics and Type Soundness Gaurav S. Kc B. Eng., Department of Computing Imperial College of Science, Technology and Medicine e-mail: gsk1@doc.ic.ac.uk Abstract Java is a programming language of programming applications. The main problem with Java is that it has borrowed so many features from so many

  14. Termination Semantics of Logic Programs with Cut and Related Features

    E-Print Network [OSTI]

    Giesl, Juergen

    Termination Semantics of Logic Programs with Cut and Related Features Jamie Andrews Dept of termination for logic programs. I am particularly interested in the termination of logic programs which use practical features such as the Prolog ``cut''. In order to prove termination of such programs

  15. Service Discovery and Component Reuse with Semantic Interfaces

    E-Print Network [OSTI]

    Amyot, Daniel

    of liveness properties. The same mechanisms also enable component reuse. We discuss how UML 2.0 can support) with technologies such as Web services. Services are autonomous platform-independent computational elements, and we modeling and goal expressions that enables the definition of semantic interfaces and the evaluation

  16. Semantic Sensor Net: An Extensible Framework Lionel M. Ni1

    E-Print Network [OSTI]

    Liu, Yunhao

    (MEMS) have led to the wide deployment of large-scale wireless sensor networks (WSN), which promisesSemantic Sensor Net: An Extensible Framework Lionel M. Ni1 , Yanmin Zhu1 , Jian Ma1 , Minglu Li2-ml@cs.sjtu.edu.cn Abstract. Existing approaches for sensor networks suffer from a number of critical drawbacks. First

  17. Semantical Considerations on Dialectical and Practical Commitments Munindar P. Singh

    E-Print Network [OSTI]

    Semantical Considerations on Dialectical and Practical Commitments Munindar P. Singh Department of Computer Science North Carolina State University Raleigh, NC 27695-8206, USA singh@ncsu.edu Abstract in previous work. This paper considers "social" commitments as introduced in (Singh 1991): by one agent

  18. Modeling Buffers with Data Refresh Semantics in Automotive Architectures

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    Modeling Buffers with Data Refresh Semantics in Automotive Architectures Linh T.X. Phan1 Reinhard,lee}@cis.upenn.edu reinhard.schneider@rcs.ei.tum.de samarjit@tum.de ABSTRACT Automotive architectures consist of multiple estimate various timing and perfor- mance metrics for automotive ECU networks consisting of buffers

  19. Discriminative, Semantic Segmentation of Brain Tissue in MR Images

    E-Print Network [OSTI]

    Soatto, Stefano

    Discriminative, Semantic Segmentation of Brain Tissue in MR Images Zhao Yi1 , Antonio Criminisi2 , Jamie Shotton2 , and Andrew Blake2 1 University of California, Los Angeles, USA. zyi@ucla.edu. 2 is presented for the automatic segmentation and classification of brain tissue from 3D MR scans. It uses

  20. Syntactic and Semantic Knowledge in the DELPHI Unification Grammar

    E-Print Network [OSTI]

    use of Definite Clause Gram- mar work, but which has less often been utilized in the work syntactic analyses and semantic analyses made by the Delphi gram- mar, with emphasis placed on the use are atoms prefixed by colons ":", or functional terms consisting of a functor and zero or more features

  1. CP-networks: semantics, complexity, approximations and extensions

    E-Print Network [OSTI]

    Walsh, Toby

    CP-networks: semantics, complexity, approximations and extensions F. Rossi, K. B. Venable Dept Constraint Computation Centre, University College Cork Cork, Ireland tw@4c.ucc.ie July 23, 2002 Abstract CP-networks are an elegant and compact qualitative framework for ex- pressing preferences. Unfortunately, reasoning with CP

  2. Semantic Lexicon Acquisition for Learning Natural Language Interfaces

    E-Print Network [OSTI]

    representations. The goal of this research is to automate lexicon construction for an integrated NLP system of an integrated system that learns to parse novel sentences into semantic representations, such as logical to help automate the construction of NLP sys- tems can eliminate much of the difficultyof building

  3. Opening the Loops -Towards Semantic, Information-centric Networking

    E-Print Network [OSTI]

    Opening the Loops - Towards Semantic, Information-centric Networking in the Internet of Things}@comsys.rwth-aachen.de Abstract--The advent of the Internet of Things (IoT) paradigm in increasing deployments promises and distributed implementation of the proposed infrastructure. I. INTRODUCTION The vision of an Internet of Things

  4. Norwegian Semantic Days, April 26-27, 2006, Stavanger, Norway Semantic Web Applications in the Public Sector in Finland

    E-Print Network [OSTI]

    Hyvönen, Eero

    in the Public Sector in Finland ­ Building the Basis for a National Semantic Web Infrastructure Eero Hyvönen Computing Research Group (SeCo) P.O. Box 5500 FIN-02015 TKK, FINLAND eero.hyvonen@tkk.fi http framework in Finland, and demonstrate its usefulness in practical applications (Hyvönen et al., 2005b

  5. Measuring semantic similarities by combining gene ontology annotations and gene co-function networks

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Peng, Jiajie; Uygun, Sahra; Kim, Taehyong; Wang, Yadong; Rhee, Seung Y.; Chen, Jin

    2015-02-14

    Background: Gene Ontology (GO) has been used widely to study functional relationships between genes. The current semantic similarity measures rely only on GO annotations and GO structure. This limits the power of GO-based similarity because of the limited proportion of genes that are annotated to GO in most organisms. Results: We introduce a novel approach called NETSIM (network-based similarity measure) that incorporates information from gene co-function networks in addition to using the GO structure and annotations. Using metabolic reaction maps of yeast, Arabidopsis, and human, we demonstrate that NETSIM can improve the accuracy of GO term similarities. We also demonstratemore »that NETSIM works well even for genomes with sparser gene annotation data. We applied NETSIM on large Arabidopsis gene families such as cytochrome P450 monooxygenases to group the members functionally and show that this grouping could facilitate functional characterization of genes in these families. Conclusions: Using NETSIM as an example, we demonstrated that the performance of a semantic similarity measure could be significantly improved after incorporating genome-specific information. NETSIM incorporates both GO annotations and gene co-function network data as a priori knowledge in the model. Therefore, functional similarities of GO terms that are not explicitly encoded in GO but are relevant in a taxon-specific manner become measurable when GO annotations are limited.« less

  6. Semantic Annotation and Human Language Kalina Bontcheva, Hamish Cunningham, Atanas Kiryakov and Valentin Tablan

    E-Print Network [OSTI]

    Bontcheva, Kalina

    Semantic Annotation and Human Language Technology Kalina Bontcheva, Hamish Cunningham, Atanas tools. For example, printing or compute cycle or storage services. In these cases the opposite need

  7. The 3rd DBCLS BioHackathon: improving life science data integration with Semantic Web technologies

    E-Print Network [OSTI]

    2013-01-01

    as: Katayama et al. : The 3rd DBCLS BioHackathon: improvingSEMANTICS Open Access The 3rd DBCLS BioHackathon: improving

  8. Semantic Fusion of Live Web Content: System Design and Implementation Experiences

    E-Print Network [OSTI]

    Lenders, Vincent

    Semantic Fusion of Live Web Content: System Design and Implementation Experiences Vincent Lenders armasuisse, Switzerland vincent.lenders@armasuisse.ch Abstract--Conventional Web search models

  9. Semantic Support for Visualisation in Collaborative AI Planning 

    E-Print Network [OSTI]

    Lino, N; Tate, Austin; Chen-Burger, Y-H

    In the last decades, many advances have been made in intelligent planning systems. Significant improvements related to core problems, providing faster search algorithms and shortest plans have been proposed. However, there is a lack in researches...This work proposes a general framework for visualisation of planning information using an approach based on semantic modelling. It intends to enhance the notion of knowledge-based planning applying it to other aspects of planning...

  10. Semantic Search in Peer-to-Peer Systems

    E-Print Network [OSTI]

    Zhu, Yingwu "Jason"

    to enter the data center that hosts the search database, due to the fact that it takes time for robots38 Semantic Search in Peer-to-Peer Systems Yingwu Zhu Yiming Hu 38.1 Introduction 38.2 Search in Unstructured P2P Systems 38.2.1 Random Walks 38.2.2 Guided Search 38.2.3 Similar Content Group-Based Search 38

  11. Semantic Web Service Framework to Intelligent Distributed Manufacturing

    SciTech Connect (OSTI)

    Kulvatunyou, Boonserm

    2005-12-01

    As markets become unexpectedly turbulent with a shortened product life cycle and a power shift towards buyers, the need for methods to develop products, production facilities, and supporting software rapidly and cost-effectively is becoming urgent. The use of a loosely integrated virtual enterprise based framework holds the potential of surviving changing market needs. However, its success requires reliable and large-scale interoperation among trading partners via a semantic web of trading partners services whose properties, capabilities, and interfaces are encoded in an unambiguous as well as computer-understandable form. This paper demonstrates a promising approach to integration and interoperation between a design house and a manufacturer that may or may not have prior relationship by developing semantic web services for business and engineering transactions. To this end, detailed activity and information flow diagrams are developed, in which the two trading partners exchange messages and documents. The properties and capabilities of the manufacturer sites are defined using DARPA Agent Markup Language (DAML) ontology definition language. The prototype development of semantic webs shows that enterprises can interoperate widely in an unambiguous and autonomous manner. This contributes towards the realization of virtual enterprises at a low cost.

  12. Context Interchange Mediation for Semantic Interoperability and Dynamic Integration of Autonomous Information Sources in the Fixed Income Securities Industry

    E-Print Network [OSTI]

    Siegel, Michael

    2003-02-10

    We examine semantic interoperability problems in the fixed income securities industry and propose a knowledge representation architecture for context interchange ...

  13. Hierarchical Architecture for Semantic Peer-to-Peer Web Service Discovery Junmin Jia, Chun Meng, and Heyue Zhou

    E-Print Network [OSTI]

    Markopoulou, Athina

    Hierarchical Architecture for Semantic Peer-to-Peer Web Service Discovery Junmin Jia, Chun Meng/output parameters and subsumption relationships is also proposed. Keywords-semantic web service; peer-to-peer; service discov- ery; ontology management; matchmaking algorithm I. INTRODUCTION Semantic Web service (SWS

  14. Graduate Students Seminar Bloomfield 527 14:30 15:30 Integration of System Models into the Semantic Web

    E-Print Network [OSTI]

    Levit, Anna

    into the Semantic Web: Representation of OPM Models in RDF Format Shmuela Jacobs Supervisors: Prof's Dov Dori of a system. Semantic Web concepts offer opportunities for easier and more efficient collaboration between, structure, and behavior, into the Semantic Web. The research deals with the first integration stages

  15. We present a prototype of a semantic browser-based annotation tool SAHA, that eases the process

    E-Print Network [OSTI]

    Hyvönen, Eero

    Abstract We present a prototype of a semantic browser- based annotation tool SAHA, that eases the process of creating ontological descriptions of documents e.g. for semantic portals. SAHA supports collabo SAHA to ontology servers. The tool is being tested in practical semantic portal projects. 1

  16. Automatically Grounding Semantically-enriched Conceptual Models to Concrete Web Services

    E-Print Network [OSTI]

    Gal, Avigdor

    Automatically Grounding Semantically-enriched Conceptual Models to Concrete Web Services Eran Toch semantic Web services. We envision a world in which a designer defines a "virtual" Web service as part of a business process, while requiring the system to seek actual Web services that match the specifi- cations

  17. Motivation Introduction Linear maps as stream circuits Final semantics In conclusion Linear systems, coalgebraically

    E-Print Network [OSTI]

    Rutten, Jan

    Motivation Introduction Linear maps as stream circuits Final semantics In conclusion Linear systems, coalgebraically Jan Rutten CWI & Vrije Universiteit Amsterdam CALCO 2007 #12;Motivation Introduction Linear maps as stream circuits Final semantics In conclusion Motivation Why linear systems, coalgebraically? · Very

  18. Compositional Reactive Semantics of SystemC and Verification with RuleBase

    E-Print Network [OSTI]

    Gupta, Rajesh

    C. Keywords: SystemC, semantics, verification, model checking 1 Introduction System-level modeling using for verification of SystemC com- ponents, providing a powerful workbench for testing and verification. 2 OverviewCompositional Reactive Semantics of SystemC and Verification with RuleBase Rudrapatna K

  19. Learning pixel-wise signal energy for understanding semantics Jeffrey Ng*, Shaogang Gong

    E-Print Network [OSTI]

    Gong, Shaogang

    Learning pixel-wise signal energy for understanding semantics Jeffrey Ng*, Shaogang Gong Department of semantics for differentiating between different types of change. Conventional approaches for tracking while pixel energy histories are used to extract fast-change signatures from short-term events

  20. Corpora and Cognition: The Semantic Composition of Adjectives and Nouns in the Human Brain

    E-Print Network [OSTI]

    Corpora and Cognition: The Semantic Composition of Adjectives and Nouns in the Human Brain Alona number FA865013C7360. #12;Keywords: language, brain imaging, machine learning, distributional semantics. In memory of my father, Jonathan Fyshe who had a lifelong interest in the brain. #12;4 #12;Abstract

  1. Adding Semantics to Web Services Standards Kaarthik Sivashanmugam, Kunal Verma, Amit Sheth, John Miller

    E-Print Network [OSTI]

    Miller, John A.

    Adding Semantics to Web Services Standards Kaarthik Sivashanmugam, Kunal Verma, Amit Sheth, John of Georgia Athens, GA 30602 Abstract With the increasing growth in popularity of Web services, discovery of relevant Web services becomes a significant challenge. One approach is to develop semantic Web services

  2. Semantic contamination and mathematical proof: Can a non-proof prove? 1

    E-Print Network [OSTI]

    MejĂ­a Ramos, Juan Pablo

    Semantic contamination and mathematical proof: Can a non-proof prove? 1 Juan Pablo Mej contamination effect plays a role in determining how students engage with mathematical proof, a fundamental, reasoning, semantic contamination Argumentation and proof are widely accepted as being central

  3. A Semantic Approach for Schema Evolution and Versioning in ObjectOriented Databases

    E-Print Network [OSTI]

    Franconi, Enrico

    A Semantic Approach for Schema Evolution and Versioning in Object­Oriented Databases Enrico In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object­oriented model for schema versioning and evolution can

  4. Configuration of Smart Environments Made Simple Combining Visual Modeling with Semantic Metadata and Reasoning

    E-Print Network [OSTI]

    Configuration of Smart Environments Made Simple Combining Visual Modeling with Semantic Metadata, Belgium Abstract--We present an approach that combines semantic metadata and reasoning with a visual' environment (e.g., smart thermostats) or provide relevant contextual information (e.g., motion sensors

  5. Modeling and Querying Metadata in the Semantic Sensor Web: the Model stRDF and the

    E-Print Network [OSTI]

    Koubarakis, Manolis

    Modeling and Querying Metadata in the Semantic Sensor Web: the Model stRDF and the Query Language extend RDF, which will often be the metadata model of choice in the Semantic Sensor Web, with a uniform and Kapodistrian University of Athens Greece {koubarak,kkyzir}@di.uoa.gr Abstract. RDF will often be the metadata

  6. A Framework for Media Adaptation Using the Web and the Semantic Web

    E-Print Network [OSTI]

    Joseph Fourier Grenoble-I, Université

    A Framework for Media Adaptation Using the Web and the Semantic Web S´ebastien Laborie and Antoine Zimmermann SMAP'07 1 S´ebastien Laborie and Antoine Zimmermann Media Adaptation using the Web and the Semantic Web #12;Introduction Motivations Information Anytime Anywhere Mona Lisa Image PNG format 560 x 864

  7. November2012 IU Bloomington Pascal Hitzler Semantic Web and Big Data

    E-Print Network [OSTI]

    Hitzler, Pascal

    November2012 ­ IU Bloomington ­ Pascal Hitzler Semantic Web and Big Data ­ Opportunities://www.pascal-hitzler.de/ #12;November2012 ­ IU Bloomington ­ Pascal Hitzler 2 Contents · Big Data, Linked Data, Semantic Web · The Big Data Added Value Pipeline · Fragments #12;November2012 ­ IU Bloomington ­ Pascal Hitzler 3 Big

  8. Experiments in Web Page Classification for Semantic Web Asad Satti, Nick Cercone, Vlado Keselj

    E-Print Network [OSTI]

    Keselj, Vlado

    Experiments in Web Page Classification for Semantic Web Asad Satti, Nick Cercone, Vlado Keselj address the problem of web page classification within the framework of automatic annotation for Semantic-known classification algorithms are evaluated on the task of web-page classification using the text of web pages. When

  9. A TREE SEMANTICS OF AN ORCHESTRATION Tony Hoare, Microsoft Research Labs, Cambridge, U.K.

    E-Print Network [OSTI]

    Misra, Jayadev

    This paper presents a formal semantics of a language, called Orc, which is de- scribed in a companion paper[3 This paper presents a formal semantics of a language, called Orc, which is described in a companion paper[3] in this volume. Orc is designed to or- chestrate executions of independent entities, called sites. Orchestration

  10. Web 2.0 vs. the Semantic Web: A Philosophical Assessment Luciano Floridi1, 2

    E-Print Network [OSTI]

    Floridi, Luciano

    Web 2.0 vs. the Semantic Web: A Philosophical Assessment Luciano Floridi1, 2 1 Research Chair at the development of the so-called Semantic Web and Web 2.0 from this perspective and try to forecast their future failed in the past. Regarding Web 2.0, I argue that, although it is a rather ill-defined project, which

  11. Towards Ontological Context Mediation for Semantic Web Database Integration: Translating COIN Ontologies Into OWL

    E-Print Network [OSTI]

    possible by the use of the COIN do- main model that expresses the ontology of the subject matter types, attributes, modifiers, and elevation axioms. Semantic types are vocabulary terms that are used. The semantic types are arranged in a relationship hierarchy using "is-a" links. The "is-a" links define

  12. Automatic Semantic Subject Indexing of Web Documents in Highly Inected Languages

    E-Print Network [OSTI]

    Hyvönen, Eero

    Automatic Semantic Subject Indexing of Web Documents in Highly Inected Languages Reetta Sinkkilä://www.seco.tkk.fi/ Abstract. Structured semantic metadata about unstructured web doc- uments can be created using automatic subject indexing methods, avoid- ing laborious manual indexing. A succesful automatic subject indexing

  13. Equational Termination by Semantic Labelling Hitoshi Ohsaki \\Lambda Aart Middeldorp y Jurgen Giesl z

    E-Print Network [OSTI]

    Giesl, Juergen

    Equational Termination by Semantic Labelling Hitoshi Ohsaki \\Lambda Aart Middeldorp y J¨urgen Giesl z Semantic labelling (Zantema [5]) is a powerful tool for proving termination of term rewrite, parameterized by three choices: (1) the well­founded order on the underlying algebra (partial order vs. quasi

  14. Improving Semantics In Mobile Devices Profiling: A Model Conceptual Formalisation and Ontology Specification 

    E-Print Network [OSTI]

    Lino, N; Tate, Austin; Chen-Burger, Y-H

    In this work we discuss and propose a new approach for semantic enhancement in mobile devices profiling. This work is motivated by the lack of semantic in existing profiling methods and is part of a broaden framework for visualisation of intelligent...

  15. Combining CSP and ObjectZ: Finite or Infinite Trace Semantics?

    E-Print Network [OSTI]

    Olderog, Ernst-Rüdiger

    Combining CSP and Object­Z: Finite or Infinite Trace Semantics? Clemens Fischer Universit semantics as a means of com­ bining CSP with Object­Z. The purpose of this combination is to more effectively specify complex, concurrent systems: while CSP is ideal for modelling systems of concurrent

  16. GM-Security and Semantic Security Revisited Yevgeniy Dodis Matthias Ruhl

    E-Print Network [OSTI]

    Dodis, Yevgeniy

    GM-Security and Semantic Security Revisited Yevgeniy Dodis Matthias Ruhl MIT Laboratory give a simple proof that GM-security and semantic security are equivalent security no- tions for public security definitions which are still the mostly used ones today. The two notions are called `GM

  17. Semantic Routed Network for Distributed Search Engines 

    E-Print Network [OSTI]

    Biswas, Amitava

    2011-08-08

    Searching for textual information has become an important activity on the web. To satisfy the rising demand and user expectations, search systems should be fast, scalable and deliver relevant results. To decide which objects ...

  18. Towards a Semantic Lexicon for Biological Language Processing

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Verspoor, Karin

    2005-01-01

    This paper explores the use of the resources in the National Library of Medicine's Unified Medical Language System (UMLS) for the construction of a lexicon useful for processing texts in the field of molecular biology. A lexicon is constructed from overlapping terms in the UMLS SPECIALIST lexicon and the UMLS Metathesaurus to obtain both morphosyntactic and semantic information for terms, and the coverage of a domain corpus is assessed. Over 77% of tokens in the domain corpus are found in the constructed lexicon, validating the lexicon's coverage of the most frequent terms in the domain and indicating that the constructedmore »lexicon is potentially an important resource for biological text processing.« less

  19. How do I push or pull bulk wiki pages from OpenEI mediawiki instance...

    Open Energy Info (EERE)

    on this Please check out http:en.openei.orgcommunityblogopenei-downloadupload-automation-scripts Rmckeel on 10 October, 2012 - 11:00 Groups Menu You must login in order to...

  20. V-236: MediaWiki CentralAuth Extension Authentication Bypass...

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

    an error when handling auto-logins and can be exploited to bypass the authentication mechanism by providing a valid username within the "centralauthUser" cookie. IMPACT: Security...

  1. MediaWiki Open-Source Software as Infrastructure for Electronic Resources Outreach

    E-Print Network [OSTI]

    Jackson, Millie; Blackburn, Jonathan D.; McDonald, Robert H.

    2007-01-01

    Jonathan Blackburn (MLIS) is the Web Development LibrarianRobert H. McDonald (MMus, MLIS) is the Project Manager for

  2. How do I push or pull bulk wiki pages from OpenEI mediawiki instance? |

    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 Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EA JumpDuimen RiverScoring Tool Jump to:Ethanol LLCJump to:|

  3. V-236: MediaWiki CentralAuth Extension Authentication Bypass Vulnerability

    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: Alternative FuelsofProgram: Report1538-1950 TimelineUtility-Scale Solar throughVulnerabilityLogin|

  4. Gasping for AIR Why we need Linked Rules and Justifications on the Semantic Web

    E-Print Network [OSTI]

    Kagal, Lalana

    2011-04-16

    The Semantic Web is a distributed model for publishing, utilizing and extending structured information using Web protocols. One of the main goals of this technology is to automate the retrieval and integration of data and ...

  5. Collaboration in the Semantic Grid: A Basis for e-Learning 

    E-Print Network [OSTI]

    Page, K R; Michaelides, D T; Buckingham Shum, S J; Chen-Burger, Y-H; Dalton, J; De Roure, D C; Eisenstadt, M; Potter, S; Shadbolt, N R; Tate, Austin; Bachler, M; Komzak, J

    2005-01-01

    The CoAKTinG project aims to advance the state of the art in collaborative mediated spaces for the Semantic Grid. This paper presents an overview of the hypertext and knowledge based tools which have been deployed to ...

  6. Geometric, topological & semantic analysis of multi-building floor plan data

    E-Print Network [OSTI]

    Whiting, Emily J

    2006-01-01

    Generating a comprehensive model of a university campus or other large urban space is a challenging undertaking due to the size, geometric complexity, and levels of rich semantic information contained in inhabited environments. ...

  7. Event Correlation: Language and Semantics Cesar Sanchez, Sriram Sankaranarayanan, Henny Sipma,

    E-Print Network [OSTI]

    Sánchez, César

    Event Correlation: Language and Semantics C´esar S´anchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David Dill, and Zohar Manna Computer Science Department Stanford University {cesar,srirams

  8. Event Correlation: Language and Semantics Cesar Sanchez, Sriram Sankaranarayanan, Henny Sipma,

    E-Print Network [OSTI]

    Sánchez, César

    Event Correlation: Language and Semantics Câ??esar Sâ??anchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David Dill, and Zohar Manna # Computer Science Department Stanford University {cesar,srirams

  9. CSCE 330 Fall 2000 Example of Denotational Semantics for a Program

    E-Print Network [OSTI]

    Valtorta, Marco

    i mem1; empty; empty >); where mem1 = f; ; g: The two assignments change the state in such a way(fact)); mem2; empty; empty >); where mem2 = f; ; g: Let us now use the semantics

  10. Using a Foundational Ontology to Investigate the Semantics Behind the Concepts of the i* Language

    E-Print Network [OSTI]

    Wieringa, Roel

    that by investigating the semantics behind the i* core concepts. For that, we apply a foundational ontology named UFO, UFO 1 Introduction Nowadays, the community that develops i* is relatively big and these developers

  11. Using Bidirectional Semantic Rules for Generation Jim Barnett and Inderjeet Mani

    E-Print Network [OSTI]

    Using Bidirectional Semantic Rules for Generation Jim Barnett and Inderjeet Mani Microelectronics these rules in Common Lisp as part of the KBNL system [Barnett et M. 90] at MCC, but nothing depends

  12. Can a Many-Valued Language Functionally Represent its own Semantics

    E-Print Network [OSTI]

    Ketland, Jeffrey

    2003-01-01

    Tarski’s Indefinability Theorem can be generalized so that it applies to many-valued languages. We introduce a notion of strong semantic self-representation applicable to any (sufficiently rich) interpreted many-valued ...

  13. Using Semantic Similarity to Predict Angle and Distance of Objects in Images

    E-Print Network [OSTI]

    Davies, Jim

    sterling@sterlingsomers .com Jonathan Gagné Dept. Systems Design Engineering University of Waterloo 200Using Semantic Similarity to Predict Angle and Distance of Objects in Images Sterling Somers

  14. The SALSA Corpus: a German corpus resource for lexical semantics Aljoscha Burchardt, Katrin Erk, Anette Frank,

    E-Print Network [OSTI]

    Padó, Sebastian

    The SALSA Corpus: a German corpus resource for lexical semantics Aljoscha Burchardt, Katrin Erk, Saarland University Language Technology Lab, DFKI GmbH Saarbrücken, Germany {albu, erk, frank, kowalski

  15. Comparing and Combining Semantic Verb Classifications Oliver Culo, Katrin Erk, Sebastian Pado+,

    E-Print Network [OSTI]

    Padó, Sebastian

    Comparing and Combining Semantic Verb Classifications Oliver Culo, Katrin Erk, Sebastian Pad version of FrameNet (Erk et al., 2003); however, while Schulte im Walde classifies the manner of motion

  16. Semantic Role Labelling With Chunk Sequences Ulrike Baldewein, Katrin Erk, Sebastian Pad

    E-Print Network [OSTI]

    Semantic Role Labelling With Chunk Sequences Ulrike Baldewein, Katrin Erk, Sebastian Padó Saarland University Saarbrücken, Germany {ulrike,erk,pado}@coli.uni-sb.de Detlef Prescher University of Amsterdam

  17. Analyzing models for semantic role assignment using confusability Katrin Erk and Sebastian Pad

    E-Print Network [OSTI]

    Padó, Sebastian

    Analyzing models for semantic role assignment using confusability Katrin Erk and Sebastian Padó Computational Linguistics Saarland University Saarbrücken, Germany {erk,pado}@coli.uni-sb.de Abstract We analyze

  18. TEXTUAL ECONOMY THROUGH CLOSE COUPLING OF SYNTAX AND SEMANTICS Matthew Stone Bonnie Webber

    E-Print Network [OSTI]

    Stone, Matthew

    TEXTUAL ECONOMY THROUGH CLOSE COUPLING OF SYNTAX AND SEMANTICS Matthew Stone Bonnie Webber Dept, thatexploitsthe hearer's recognitionof inferentiallinkstomaterial elsewhere withina sentence. Textual economy argue that achieving textual economy imposes strong requirements on the representation and reasoning

  19. HUMAN ROBOT INTERACTION THROUGH SEMANTIC INTEGRATION OF MULTIPLE MODALITIES, DIALOG MANAGEMENT, AND CONTEXTS

    E-Print Network [OSTI]

    Johnson, David Orville

    2008-01-01

    The hypothesis for this research is that applying the Human Computer Interaction (HCI) concepts of using multiple modalities, dialog management, context, and semantics to Human Robot Interaction (HRI) will improve the performance of Instruction...

  20. Emergent Semantics Through Interaction in Image Databases Simone Santini, Amarnath Gupta and Ramesh Jain

    E-Print Network [OSTI]

    Gupta, Amarnath

    Emergent Semantics Through Interaction in Image Databases Simone Santini, Amarnath Gupta and Ramesh Laboratory, University of California, San Diego, {ssantini,jain}@ece.ucsd.edu. Amarnath Gupta is with the San

  1. Fully Reflexive Intensional Type Analysis in Type Erasure Semantics # Bratin Saha Valery Trifonov Zhong Shao

    E-Print Network [OSTI]

    Trifonov, Valery

    Fully Reflexive Intensional Type Analysis in Type Erasure Semantics # Bratin Saha Valery Trifonov Zhong Shao Department of Computer Science Yale University {saha,trifonov,shao}@cs.yale.edu Abstract

  2. Semantic-Sensitive Web Information Retrieval Model for HTML Documents

    E-Print Network [OSTI]

    Bassil, Youssef

    2012-01-01

    With the advent of the Internet, a new era of digital information exchange has begun. Currently, the Internet encompasses more than five billion online sites and this number is exponentially increasing every day. Fundamentally, Information Retrieval (IR) is the science and practice of storing documents and retrieving information from within these documents. Mathematically, IR systems are at the core based on a feature vector model coupled with a term weighting scheme that weights terms in a document according to their significance with respect to the context in which they appear. Practically, Vector Space Model (VSM), Term Frequency (TF), and Inverse Term Frequency (IDF) are among other long-established techniques employed in mainstream IR systems. However, present IR models only target generic-type text documents, in that, they do not consider specific formats of files such as HTML web documents. This paper proposes a new semantic-sensitive web information retrieval model for HTML documents. It consists of a...

  3. Encoding and analyzing aerial imagery using geospatial semantic graphs

    SciTech Connect (OSTI)

    Watson, Jean-Paul; Strip, David R.; McLendon, William C.; Parekh, Ojas D.; Diegert, Carl F.; Martin, Shawn Bryan; Rintoul, Mark Daniel

    2014-02-01

    While collection capabilities have yielded an ever-increasing volume of aerial imagery, analytic techniques for identifying patterns in and extracting relevant information from this data have seriously lagged. The vast majority of imagery is never examined, due to a combination of the limited bandwidth of human analysts and limitations of existing analysis tools. In this report, we describe an alternative, novel approach to both encoding and analyzing aerial imagery, using the concept of a geospatial semantic graph. The advantages of our approach are twofold. First, intuitive templates can be easily specified in terms of the domain language in which an analyst converses. These templates can be used to automatically and efficiently search large graph databases, for specific patterns of interest. Second, unsupervised machine learning techniques can be applied to automatically identify patterns in the graph databases, exposing recurring motifs in imagery. We illustrate our approach using real-world data for Anne Arundel County, Maryland, and compare the performance of our approach to that of an expert human analyst.

  4. T2Ku: Building a Semantic Wiki of Mathematics

    E-Print Network [OSTI]

    Pan, Minqi

    2012-01-01

    We introduce T2Ku, an open source project that aims at building a semantic wiki of mathematics featuring automated reasoning(AR) techniques. We want to utilize AR techniques in a way that truly helps mathematical researchers solve problems in the real world, instead of building another ambitious yet useless system. By setting this as our objective, we exploit pragmatic design decisions that have proven feasible in other projects, while still employs a loosely coupled architecture to allow better inference programs to be integrated in the future. In this paper, we state the motivations and examine state-of-the-art systems, why we are not satisfied with those systems and how we are going to improve. We then describe our architecture and the way we implemented the system. We present examples showing how to use its facilities. T2Ku is an on-going project. We conclude this paper by summarizing the development progress and encouraging the reader to join the project.

  5. National Science Foundation Industry/University Cooperative Research Center for e-Design! SEEK: Semantic Extraction of Engineering Knowledge from a Functional Basis Perspective!

    E-Print Network [OSTI]

    Mountziaris, T. J.

    : Semantic Extraction of Engineering Knowledge from a Functional Basis Perspective! REU Student: Leo Xuzhang these documents for them to be useful.! Represent Engineering Knowledge in a Semantic Framework using Ontology engineering knowledge such as functional basis or materials used! v Extracted knowledge is added as semantic

  6. Ovtcharova. Dynamic Meta-data Generation for the Semantic Web A REFLECTIVE APPROACH TO DYNAMIC META-DATA

    E-Print Network [OSTI]

    Rubinstein, Benjamin

    Ovtcharova. Dynamic Meta-data Generation for the Semantic Web A REFLECTIVE APPROACH TO DYNAMIC META-DATA GENERATION FOR THE SEMANTIC WEB Stanislava Ovtcharova 1 1 School of Computer Science, The University of Adelaide POSTER ABSTRACT As the World Wide Web grows and evolves, a new breed of services is being

  7. 2/1/2006 Copyright 2006 by Benjamin Grosof. All Rights Reserved Rule-based Semantic Services

    E-Print Network [OSTI]

    · Leader for 3 major software projects: 1 open source, 2 commercial · Semantic+web+services is main-Editor, Semantic Web Services Initiative ­ which coordinates world- wide SWS research and early standards design Representation in XML; Agents; with Web Services · Why it Matters for Business ­ Knowledge-based Services

  8. Developing Registries for the Semantic Sensor Web using stRDF and stSPARQL (short paper)

    E-Print Network [OSTI]

    Koubarakis, Manolis

    for the problem at hand, since spatial and temporal metadata figure prominently in the description of sensorsDeveloping Registries for the Semantic Sensor Web using stRDF and stSPARQL (short paper) Kostis of registering and discovering sen- sors, sensor services and other related resources in the Semantic Sensor Web

  9. What Would It Mean to Blog on the Semantic Web? David R. Karger1 and Dennis Quan2

    E-Print Network [OSTI]

    Prié, Yannick

    What Would It Mean to Blog on the Semantic Web? David R. Karger1 and Dennis Quan2 1 MIT Computer@us.ibm.com Abstract. The phenomenon known as Web logging ("blogging") has helped re- alize an initial goal of the Web, we feel there are two questions worth posing: (1) do blog entries have semantic structure that can

  10. Visual Languages `94 Repenning, A., "Bending Icons: Syntactic and Semantic Transformation of Icons," Proceedings of the 1994 IEEE

    E-Print Network [OSTI]

    Repenning, Alexander

    Visual Languages `94 Reprint: Repenning, A., "Bending Icons: Syntactic and Semantic Transformation-303. Bending Icons: Syntactic and Semantic Transformations of Icons Alex Repenning Department of Computer. These transformations can significantly reduce the laborious work of icon designers and programmers. This paper

  11. A Measurement Ontology Generalizable for Emerging Domain Applications on the Semantic Web

    E-Print Network [OSTI]

    Dalkilic, Mehmet

    and Operations Management Department Raj Soin College of Business, Wright State University 3640 Colonel Glen, and not on other measurement concepts such as sampling, mean values, and evaluations of quality based. Keywords: Semantic Web, Ontology, Measurement, Quality Control, Microarray analysis, Ontological

  12. Agent-based semantic composition of Web services using distributed description logics

    E-Print Network [OSTI]

    Pellier, Damien

    Agent-based semantic composition of Web services using distributed description logics Mourad Ouziri.ouziri,damien.pellier}@parisdescartes.fr Abstract. An important research challenge consists in composing web services in an automatic be processed by composing sev- eral services. Each web service is often written by different designers

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  14. The Semantic Web: A New Opportunity and Challenge for Human Language Technology

    E-Print Network [OSTI]

    Bontcheva, Kalina

    The Semantic Web: A New Opportunity and Challenge for Human Language Technology Kalina Bontcheva, UK S1 4DP {kalina,hamish}@dcs.shef.ac.uk http://gate.ac.uk Abstract. This position paper motivates University of Barcelona. #12;2 Kalina Bontcheva and Hamish Cunningham Other services do not have this close

  15. A Tested Semantics for Getters, Setters, and Eval in JavaScript

    E-Print Network [OSTI]

    Krishnamurthi, Shriram

    present S5, a semantics for the strict mode of the ECMAScript 5.1 (JavaScript) programming language. S5 shrinks the large source language into a manageable core through an implemented trans- formation programming languages, so their study is likely to have broad applicability. Categories and Subject

  16. AC 2008-1449: ONTOLOGIES AND WEB-SEMANTICS FOR IMPROVEMENT OF CURRICULUM IN CIVIL ENGINEERING

    E-Print Network [OSTI]

    McLeod, Dennis

    AC 2008-1449: ONTOLOGIES AND WEB-SEMANTICS FOR IMPROVEMENT OF CURRICULUM IN CIVIL ENGINEERING Jean Engineering and Chair of the Sonny Astani Department of Civil and Environmental Engineering. He received his Nazila Mokarram is a Ph.D Student in the Sonny Astani Department of Civil and Environmental Engineering

  17. Semantics for the Internet of Things: early progress and back to the future

    E-Print Network [OSTI]

    Barnaghi, Payam M.

    of the IoT initiative is supported by the capabilities of manufacturing low-cost and energy. However, the heterogeneity of the "Things" makes interoperability among them a challenging problem, which and volatility of the IoT data impose significant challenges to existing information systems. The semantic Web

  18. The FungalWeb Ontology The Core of a Semantic Web Application for Fungal Genomics

    E-Print Network [OSTI]

    Haarslev, Volker

    -Nejad, Christopher J.O Baker, Greg Butler, Volker Haarslev Department of Computer Science and Software Engineering and knowledge, but most of the information generated by biologists is in the contextual form e.g. natural specification of biological knowledge to make the information computationally accessible and semantically clear

  19. The semantic processing of continuous quantities for discrete terms in ontologies

    E-Print Network [OSTI]

    Rydeheard, David

    The semantic processing of continuous quantities for discrete terms in ontologies Shenghui Wang1 automate the processing of texts which describe continuous quantities allowing, for example, query. The processing of words and phrases for continuous quantities raises important is- sues in the treatment

  20. Corpora and Cognition: The Semantic Composition of Adjectives and Nouns in the Human Brain

    E-Print Network [OSTI]

    Corpora and Cognition: The Semantic Composition of Adjectives and Nouns in the Human Brain Alona and Nouns in the Human Brain Alona Fyshe February 2015 CMU-ML-15-100 Machine Learning Department School; Air Force Research Laboratory: contract number FA865013C7360. #12;Keywords: language, brain imaging

  1. NASA/TM-2009-215770 Rewriting Logic Semantics of a Plan

    E-Print Network [OSTI]

    Muńoz, César A.

    June 2009 NASA/TM-2009-215770 Rewriting Logic Semantics of a Plan Execution Language Gilles Dowek University of Illinois at Urbana-Champaign, Illinois #12;NASA STI Program . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA scientific

  2. Schematic Generation of English-prose Semantics for a Risk Analysis Language Based on UML Interactions

    E-Print Network [OSTI]

    Střlen, Ketil

    Schematic Generation of English-prose Semantics for a Risk Analysis Language Based on UML risk-driven testing, we have developed CORAL, a language for risk analysis based on UML interac- tions that is linear to the complexity of CORAL diagrams in terms of size. Keywords-risk analysis language; risk

  3. Towards the use of Cr-rules and Semantic Contents in ASP for planning in GIS

    E-Print Network [OSTI]

    Wolf, Christian

    Towards the use of Cr-rules and Semantic Contents in ASP for planning in GIS Claudia Zepeda Cort, using cr-rules. Keywords: Answer sets, GIS, Planning. 1 Introduction Government is responsible as part of a Geographical In- formation System (GIS) in order to give decision support. Besides, our work

  4. The Hidden Web, XML and the Semantic Web: Scientific Data Management Perspectives

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    , Performance Keywords Deep Web, Domain-Specific Markup Languages, Hidden Web, Multidisciplinary workThe Hidden Web, XML and the Semantic Web: Scientific Data Management Perspectives Fabian M Télécom; Télécom Paristech; CNRS LTCI Paris France pierre@xsenellart.com ABSTRACT The World Wide Web

  5. A Unified Abstraction for Messaging on the Semantic Web Dennis Quan

    E-Print Network [OSTI]

    , Semantic Web, e-mail, instant messaging, IRC, newsgroups, annotation, web logs, blogs, news feeds, user-mail, but instant messaging (IM), Internet Relay Chat (IRC), and Usenet newsgroups have also found widespread use in functionality in the clients for these systems. E- mail clients, instant messengers, and IRC clients all have

  6. Research Paper Contextualization of Geospatial Database Semantics for Human-GIS

    E-Print Network [OSTI]

    Klippel, Alexander

    of spatial data. At the moment, geographical information systems either impose simple semantic structure a to GeoInformatica - An International Journal on Advances of Computer Science for Geographic Information Systems. Accepted for publication: spring 2006. #12;Abstract Human interactions with geographical

  7. FORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY MODELING

    E-Print Network [OSTI]

    Xu, Haiping

    that DRBD provides a powerful tool for system reliability modeling, and our proposed verification approachFORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY-scale computer-based systems. KEY WORDS Reliability modeling, dynamic reliability block diagrams (DRBD), Object

  8. Biological Question Answering with Syntactic and Semantic Feature Matching an Improved Mean Reciprocal Ranking Measurement

    E-Print Network [OSTI]

    Chu, Hao-hua

    . An improved mean reciprocal rank (MRR) measurement, mean average reciprocal rank (MARR), and an efficient formula to reduce the computational complexity of the MARR are proposed to address the same score problem. With our syntactic and semantic features, our system achieves a Top-1 MARR of 74.11% and Top-5 MARR of 76

  9. Semantics of Database Transformations? Susan Davidson1, Peter Buneman1, and Anthony Kosky2

    E-Print Network [OSTI]

    Pennsylvania, University of

    including database integration, evolution of database systems, and implementing user views and data to schema evolution, integrating heterogeneous databases, and merging user views or mapping between dataSemantics of Database Transformations? Susan Davidson1, Peter Buneman1, and Anthony Kosky2 1 Dept

  10. Semantics for Reasoning with Contradictory Extended Logic Anastasia Analyti & Sakti Pramanik

    E-Print Network [OSTI]

    Analyti, Anastasia

    -free semantics (CFS). CFS is defined as the least fixpoint of a monotonic operator. Every extended program with rule prioritization has at least one stable c-model. We show that the CFS of a program P coincides with the least stable c-model of P. A sound and complete proof procedure to answer queries based on CFS

  11. Mind Your Metadata: Exploiting Semantics for Configuration, Adaptation, and Provenance in

    E-Print Network [OSTI]

    Gil, Yolanda

    to the data. The metadata captured includes sensor descriptions, data characteristics, data types, and processMind Your Metadata: Exploiting Semantics for Configuration, Adaptation, and Provenance, mariam, fabio, knoblock}@isi.edu {tharmon, villamizar_amaya}@ucmerced.edu Abstract. Scientific metadata

  12. TOWARDS SEMANTIC INTERACTION IN HIGH-DETAIL REALTIME TERRAIN AND CITY VISUALIZATION

    E-Print Network [OSTI]

    Behnke, Sven

    to the availability of huge high-resolution 2.5d digital surface models (Hirschm¨uller, 2005). As sensors also record. Reconstructions from these aerial data will help to match and integrate data obtained from terrestrial sensors (Fr in that they add more and finer semantic categories and metadata (Kolbe et al., 2005). Se- mantic models based

  13. Universal Semantic Communication II: A Theory of Goal-Oriented Communication

    E-Print Network [OSTI]

    Sudan, Madhu

    Universal Semantic Communication II: A Theory of Goal-Oriented Communication Brendan Juba Madhu of the task of meaningful communication among intelligent entities (players, agents) without any prior common language. Our generic thesis is that such communication is feasible provided the goals of the communicating

  14. Finding your way through blogspace: Using semantics for cross-domain blog analysis

    E-Print Network [OSTI]

    Navigli, Roberto

    Finding your way through blogspace: Using semantics for cross-domain blog analysis Bettina Berendt's Internet, and it is increasingly recognised that blogs are much more than "meaningless chatter". Many syntax- based approaches exist to analyse the text and the net- work structure between blogs. While

  15. Semantic Film Preview Classification Using Low-Level Computable Features Zeeshan Rasheed Yaser Sheikh Mubarak Shah

    E-Print Network [OSTI]

    Sheikh, Yaser Ajmal

    Semantic Film Preview Classification Using Low-Level Computable Features Zeeshan Rasheed Yaser Orlando, Fl 32826, USA Abstract This paper presents a framework for the classification of feature films- mantic film interpretation, currently using low-level video features and knowledge of ubiquitous

  16. Semantic Analysis of Web Site Audience by Integrating Web Usage Mining and Web

    E-Print Network [OSTI]

    Libre de Bruxelles, Université

    Semantic Analysis of Web Site Audience by Integrating Web Usage Mining and Web Content Mining Jean://www.jrc.it/langtech Abstract. With the emergence of the World Wide Web, analyzing and improving Web communication has become essential to adapt the Web content to the visitors' expectations. Web communication analysis

  17. Making Sense of your Data An Introduction to Semantic Modeling for

    E-Print Network [OSTI]

    Brock, David

    of the 2004 E. Grosvenor Plowman Award given by the Council of Logistics Management Previously published engineering from the Indian Institute of Technology, Kanpur and a master's degree in logistics from MITMaking Sense of your Data An Introduction to Semantic Modeling for Logistical Systems David L

  18. AN INTRODUCTION TO SEMANTIC MODELING FOR LOGISTICAL SYSTEMS David L. Brock

    E-Print Network [OSTI]

    Brock, David

    logistics at the forefront of management for many firms. Recent developments, such asAuto-ID technology and interact with the phys- ical world. Such computing systems open new opportunities for logistics managementAN INTRODUCTION TO SEMANTIC MODELING FOR LOGISTICAL SYSTEMS by David L. Brock Massachusetts

  19. SHALMANESER A Toolchain For Shallow Semantic Parsing Katrin Erk and Sebastian Pad

    E-Print Network [OSTI]

    Padó, Sebastian

    SHALMANESER­ A Toolchain For Shallow Semantic Parsing Katrin Erk and Sebastian Padó Computational Linguistics Saarland University Saarbrücken, Germany erk,pado@coli.uni-sb.de Abstract This paper presentsNet (Fillmore et al., 2003) for English, SALSA (Erk et al., 2003) for German, and the Prague Dependency Treebank

  20. The Semantics of Power and ARM Multiprocessor Machine The HOL Specification

    E-Print Network [OSTI]

    Sewell, Peter

    The Semantics of Power and ARM Multiprocessor Machine Code The HOL Specification Jade Alglave2 Contents i Full Contents ii i #12;BRIEF CONTENTS ii I common coretypes 1 II common types 3 III ppc arm axiomatic model 6 IV arm coretypes 14 V arm types 19 VI arm ast 21 VII arm opsem 24 VIII arm seq monad 36 IX

  1. The Semantics of Power and ARM Multiprocessor Machine The HOL Specification

    E-Print Network [OSTI]

    Sewell, Peter

    The Semantics of Power and ARM Multiprocessor Machine Code The HOL Specification Jade Alglave 2 III ppc arm axiomatic model 6 IV arm coretypes 14 V arm types 19 VI arm ast 21 VII arm opsem 24 VIII arm seq monad 36 IX arm event monad 43 X arm decoder 51 XI arm program 55 XII ppc coretypes 58 XIII

  2. Evaluating fluid semantics for passive stochastic process algebra cooperation Richard A. Haydena

    E-Print Network [OSTI]

    Imperial College, London

    Evaluating fluid semantics for passive stochastic process algebra cooperation Richard A. Haydena , Jeremy T. Bradleya aDept. of Computing, Imperial College London, Huxley Building, 180 Queen's Gate massive performance models. Passive cooper- ation is a popular cooperation mechanism frequently used

  3. SEWeP: Using Site Semantics and a Taxonomy to Enhance the Web Personalization Process

    E-Print Network [OSTI]

    Eirinaki, Magdalini

    SEWeP: Using Site Semantics and a Taxonomy to Enhance the Web Personalization Process M. Eirinaki Patision 76, Athens, 10434, GREECE (30210) 8203519 {eirinaki, mvazirg, varlamis}@aueb.gr ABSTRACT Web personalization is the process of customizing a Web site to the needs of each specific user or set of users

  4. SEWeP: Using Site Semantics and a Taxonomy to Enhance the Web Personalization Process1

    E-Print Network [OSTI]

    Eirinaki, Magdalini

    1 SEWeP: Using Site Semantics and a Taxonomy to Enhance the Web Personalization Process1 1 of Informatics Patision 76, Athens, 10434, GREECE {eirinaki, lampos, mvazirg, varlamis}@aueb.gr Abstract Web personalization is the process of customizing a Web site to the needs of each specific user or set of users

  5. From Ontology Selection and Semantic Web to an Integrated Information System for Food-

    E-Print Network [OSTI]

    Peng, Yun

    From Ontology Selection and Semantic Web to an Integrated Information System for Food- borne Diseases and Food Safety Xianghe Yan1,* , Yun Peng2 , Jianghong Meng3 , Juliana Ruzante3 , Pina M for Food Safety and Applied Nutrition (JIFSAN), University of Maryland, College Park, MD 20742

  6. Semantic Partitioning of Web pages Srinivas Vadrevu, Fatih Gelgi, and Hasan Davulcu

    E-Print Network [OSTI]

    Davulcu, Hasan

    Semantic Partitioning of Web pages Srinivas Vadrevu, Fatih Gelgi, and Hasan Davulcu Department the structural and presentation regularities of the Web pages to automatically transform them into hierarchical content structures. These content structures enable us to automatically annotate labels in the Web pages

  7. 03-60-569: Semantic Web (2013 Fall) University of Windsor

    E-Print Network [OSTI]

    Lu, Jianguo

    tasks for the Web Search Engine Crawling: collect the web pages; Indexing: There are tools that help us first and depth first crawling; Crawling OSNs and Deep web Near duplicate detection Detect similar pages for semantic web in google matches estimated. 7,610,000 pages in 2009 14,000,000 pages in 2011 Only first a few

  8. A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand

    E-Print Network [OSTI]

    Strickland, Stevie

    A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand Northeastern University dimvar@ccs.neu.edu wand@ccs.neu.edu Abstract. Orc [9] is a language for task orchestration. It has binding, and proving an adequacy theorem to relate them. Also, we investigate strong bisimulation in Orc

  9. A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand

    E-Print Network [OSTI]

    Tobin-Hochstadt, Sam

    A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand Northeastern University dimvar@ccs.neu.edu wand@ccs.neu.edu Abstract. Orc [9] is a language for task orchestration. It has validates some useful equivalences between Orc processes; since the se- mantics is compositional

  10. A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand

    E-Print Network [OSTI]

    Strickland, Stevie

    A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand Northeastern University dimvar@ccs.neu.edu wand@ccs.neu.edu Abstract. Orc [6] is a language for task orchestration. It has treatment of variable binding, and proving an adequacy theorem to relate them. 1 Introduction Orc [6

  11. A Timed Semantics of Orc Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra

    E-Print Network [OSTI]

    Cook, William R.

    A Timed Semantics of Orc Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra The University of Texas at Austin Abstract Orc is a kernel language for structured concurrent programming. Orc provides support sequential and concurrent execution, and concurrent execution with blocking and termination. Orc

  12. TEXTUAL ECONOMY THROUGH CLOSE COUPLING OF SYNTAX AND SEMANTICS Matthew Stone Bonnie Webber

    E-Print Network [OSTI]

    TEXTUAL ECONOMY THROUGH CLOSE COUPLING OF SYNTAX AND SEMANTICS ·Matthew Stone Bonnie Webber Dept efficientdescriptionsofobjects, actions and events. Wedefinea typeof efficiency, textual economy, thatexploitsthehearer goals, and is therefore overloaded in the sense of Pollack [18]. We argue that achieving textual economy

  13. The Semantic Structure of Roget's Thesaurus Cross-References L. John Old

    E-Print Network [OSTI]

    Old, L. John

    100 The Semantic Structure of Roget's Thesaurus Cross-References L. John Old Edinburgh Napier University Scotland, United Kingdom Abstract This study analyzed a database version of Roget's Thesaurus (Roget's International Thesaurus, 3rd Edition, 1962) for connectivity patterns among cross

  14. SEMANTIC MATCHING OFFERS AND JOB SEARCHBETWEEN JOB 72, Quai des Carri6res

    E-Print Network [OSTI]

    SEMANTIC MATCHING OFFERS AND JOB SEARCHBETWEEN JOB REQUESTS COLING 90 Jos6 VEGA GSI-ERLI 72, Quai objective of this system which was developed for the LE MONDE daily newspaper, is to offer an efficient tool number of advertisements in the printed press. Traditionally, offers of employment appear in newspapers

  15. A Semantically-Adaptive Strategy for Energy-Efficiency in Wireless Medical Monitoring Devices

    E-Print Network [OSTI]

    Potkonjak, Miodrag

    behaviors, and (ii) a savings in energy by precluding communication of typical measurements. FromA Semantically-Adaptive Strategy for Energy- Efficiency in Wireless Medical Monitoring Devices for energy-efficient operation of wireless monitoring devices under the premise that medical experts

  16. Subjective Logic Extensions for the Semantic Web Davide Ceolin, Archana Nottamkandath, and Wan Fokkink

    E-Print Network [OSTI]

    Fokkink, Wan

    Subjective Logic Extensions for the Semantic Web Davide Ceolin, Archana Nottamkandath, and Wan. Subjective logic is a powerful probabilistic logic which is use- ful to handle data in case of uncertainty. Subjective logic and the Seman- tic Web can mutually benefit from each other, since subjective logic

  17. FlowField: Investigating the Semantics of Caress Timothy Chen, Sidney Fels

    E-Print Network [OSTI]

    British Columbia, University of

    FlowField: Investigating the Semantics of Caress Timothy Chen, Sidney Fels Electrical & Computer [Fels et al. 1997; Fels and Mase 1999]. Furthermore, having a direct relation be- tween action. References FELS, S., AND MASE, K. 1999. Iamascope: A Graphical Musical Instru- ment. Computers and Graphics

  18. Approval Sheet Title of Dissertation: Semantically-Linked Bayesian Networks: A

    E-Print Network [OSTI]

    Peng, Yun

    of Computer Science and Electrical Engineering Date Approved: __________________ #12;Curriculum Vitae Name. Submitted to the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI06). Rong. In Proceedings of the Fourth International Semantic Web Conference (ISWC2005), Galway, Ireland, November 2005

  19. Semantics and Verification of Information-Based Protocols Munindar P. Singh

    E-Print Network [OSTI]

    Semantics and Verification of Information-Based Protocols Munindar P. Singh Department of Computer Science North Carolina State University Raleigh, NC 27695-8206, USA singh@ncsu.edu ABSTRACT Information protocols, agent communication 1. INTRODUCTION We take as our point of departure Singh's [13] recent work

  20. Generalized Augmented Transition Network Grammars For Generation From Semantic Networks 1

    E-Print Network [OSTI]

    Shapiro, Stuart C.

    to the grammar. This is useful for testing and debugging the grammar. Simmons 1973 uses a standard ATN THEME), where CA1-LOCUS and THEME are labels of arcs emanating from the semantic node, and VACT stands the CA1-LOCUS, then have the active form of the verb, and end with a string denoting the THEME

  1. ALTERNATIVE QUESTIONS IN THE SYNTAX-SEMANTICS Eun-Jung Yoo

    E-Print Network [OSTI]

    ALTERNATIVE QUESTIONS IN THE SYNTAX-SEMANTICS INTERFACE Eun-Jung Yoo Department of English Language with alternative questions in English, and proposes an analysis employing an alternative operator. I claim that the alternative question interpretation is not obtained by such syntactic processes as movement or gapping

  2. Representing Genomic Knowledge in the UMLS Semantic Network , Carol Friedman, Ph.D.2,1

    E-Print Network [OSTI]

    Yu, Hong

    Representing Genomic Knowledge in the UMLS Semantic Network Hong Yu1 , Carol Friedman, Ph.D.2 2 Department of Computer Science, Queens College CUNY 3 Center for Genomics Research, Columbia University 4 Yeshiva University Genomics research has a significant impact on the understanding and treatment

  3. Book Reviews Semantic Interpretation and the Resolution of Ambiguity Similar discussions apply to parsing. Fifty thousand

    E-Print Network [OSTI]

    Book Reviews Semantic Interpretation and the Resolution of Ambiguity Similar discussions apply, continuing work by Eric Atwell and Geoffrey Sampson at Leeds has greatly improved on this figure, using Theory 6:129-137. Sampson, Geoffrey1986SimulatedAnnealingas a ParsingTech- nique. In Universityof Leeds

  4. Aesthetic preferences for architecture do not rely on commonly shared semantic distinctions

    E-Print Network [OSTI]

    Vessel, Edward A.

    Aesthetic preferences for architecture do not rely on commonly shared semantic distinctions judgments of architecture? · Visual preferences for unfamiliar real-world scenes show a high degree differentiate images of unfamiliar architecture beyond a small range of basic-level distinctions, e.g. office

  5. 03-60-569: Semantic Web (2013 Fall) September 11, 2013

    E-Print Network [OSTI]

    Lu, Jianguo

    · Course web site: http://cs.uwindsor.ca/~jlu/569 · Personal web site: http://cs.uwindsor.ca/~jlu · Office detection, page rank al- gorithm, latent semantic indexing; · Mining online social network; · Ontology value decomposition), 4 Reading materials MMD Anand Rajaraman and Jeff Ullman, Mining of massive

  6. A Semantic Web Service and Simulation Framework to Intelligent Distributed Manufacturing

    SciTech Connect (OSTI)

    Son, Young Jun; Kulvatunyou, Boonserm; Cho, Hyunbo; Feng, Shaw

    2005-11-01

    To cope with today's fluctuating markets, a virtual enterprise (VE) concept can be employed to achieve the cooperation among independently operating enterprises. The success of VE depends on reliable interoperation among trading partners. This paper proposes a framework based on semantic web of manufacturing and simulation services to enable business and engineering collaborations between VE partners, particularly a design house and manufacturing suppliers.

  7. Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment 

    E-Print Network [OSTI]

    Uszok, A; Bradshaw, J M; Jeffers, R; Tate, Austin; Dalton, J

    In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing these capabilities within the context of two ...

  8. Semantic Information Integration and Processing for Demand Response Optimization Qunzhi Zhou, Sreedhar Natarajan, Yogesh Simmhan and Viktor Prasanna

    E-Print Network [OSTI]

    Hwang, Kai

    Semantic Information Integration and Processing for Demand Response Optimization Qunzhi Zhou Demand response optimization (DR) deals with curtailing power consumption when peak demand on the power for Dynamic Demand Response Optimization Existing DR programs are typically based on static planning

  9. Decrements in Children's Responses to Big and Tall: A Reconsideration of the Potential Cognitive and Semantic Causes

    E-Print Network [OSTI]

    Gathercole, V. C. Mueller

    1980-01-01

    The potential causes of decrements in children's understanding of big and tall (Maratsos, 1973, 1974) are reconsidered. Five hypotheses are examined in detail. Two of them, the strong cognitive hypothesis and the strong semantic hypothesis, offer...

  10. Classification of semantic relations in different syntactic structures in medical text using the MeSH hierarchy

    E-Print Network [OSTI]

    Bhooshan, Neha

    2005-01-01

    Two different classification algorithms are evaluated in recognizing semantic relationships of different syntactic compounds. The compounds, which include noun- noun, adjective-noun, noun-adjective, noun-verb, and verb-noun, ...

  11. Using architectures for semantic interoperability to create journal clubs for emergency response

    SciTech Connect (OSTI)

    Powell, James E [Los Alamos National Laboratory; Collins, Linn M [Los Alamos National Laboratory; Martinez, Mark L B [Los Alamos National Laboratory

    2009-01-01

    In certain types of 'slow burn' emergencies, careful accumulation and evaluation of information can offer a crucial advantage. The SARS outbreak in the first decade of the 21st century was such an event, and ad hoc journal clubs played a critical role in assisting scientific and technical responders in identifying and developing various strategies for halting what could have become a dangerous pandemic. This research-in-progress paper describes a process for leveraging emerging semantic web and digital library architectures and standards to (1) create a focused collection of bibliographic metadata, (2) extract semantic information, (3) convert it to the Resource Description Framework /Extensible Markup Language (RDF/XML), and (4) integrate it so that scientific and technical responders can share and explore critical information in the collections.

  12. Semantic Search in E-Discovery: An Interdisciplinary Approach David Graus1

    E-Print Network [OSTI]

    Oard, Doug

    , Maarten de Rijke1 David van Dijk2 , Hans Henseler2 Nina van der Knaap3 {d.p.graus, z.ren, derijke}@uva.nl {d.v.van.dijk, j.henseler}@hva.nl n.van.der.knaap@law.leidenuniv.nl 1 ISLA, University of Amsterdam 2. In our work, which follows up on previous work by van Dijk et al. (2011), we study how semantic search

  13. Syllabus Description of AAAI-10 Conference Tutorial SP3 to be held July 11, 2010 "Rules on the Semantic Web: Advances in Knowledge Representation and Standards"

    E-Print Network [OSTI]

    Polz, Martin

    /services. Recent progress includes major initial industry standards from W3C and OMG nearing finalization on the Semantic Web: Advances in Knowledge Representation and Standards" Benjamin Grosof (main presenter), Vulcan rules is perhaps the most important frontier today for the Semantic Web's core technology and standards

  14. Semantic trees: New foundations for automatic theorem-proving 

    E-Print Network [OSTI]

    Hayes, Patrick J.

    1973-01-01

    This dissertation is concerned with theorem-proving by computer. It does not contain a great number of new results, in the sense of new computational devices for improving the efficiency of theorem-proving programs. ...

  15. Advanced Semantic Search: The Medical World as an Example

    E-Print Network [OSTI]

    Shamir, Ron

    to be specific. · The example query "Which disease has the symptom of coughing?" brings a result set in hakia of coughing?" #12;20 4. Handling Concept Matching · Perhaps the most challenging functionality among all

  16. Advanced Knowledge Technologies at the Midterm: Tools and Methods for the Semantic Web 

    E-Print Network [OSTI]

    Shadbolt, N; Ciravegna, F; Domingue, J; Hall, W; Motta, E; O'Hara, K; Robertson, D; Sleeman, D; Tate, Austin; Wilks, Y

    2004-01-01

    In a celebrated essay on the new electronic media, Marshall McLuhan wrote in 1962:...Our private senses are not closed systems but are endlessly translated into each other in that experience which we call consciousness. Our extended senses, tools, technologies, through the ages, have been closed systems incapable of interplay or collective awareness. Now, in the electric age, the very instantaneous nature of co-existence among our technological instruments has created a crisis quite new in human history. Our extended faculties and senses now constitute a single field of experience which demands that they become collectively conscious. Our technologies, like our private senses, now demand an interplay and ratio that makes rational co-existence possible. As long as our technologies were as slow as the wheel or the alphabet or money, the fact that they were separate, closed systems was socially and psychically supportable. This is not true now when sight and sound and movement are simultaneous and global in extent. (McLuhan 1962, p.5, emphasis in original)...Over forty years later, the seamless interplay that McLuhan demanded between our technologies is still barely visible. McLuhan’s predictions of the spread, and increased importance, of electronic media have of course been borne out, and the worlds of business, science and knowledge storage and transfer have been revolutionised. Yet the integration of electronic systems as open systems remains in its infancy....Advanced Knowledge Technologies (AKT) aims to address this problem, to create a view of knowledge and its management across its lifecycle, to research and create the services and technologies that such unification will require. Half way through its sixyear span, the results are beginning to come through, and this paper will explore some of the services, technologies and methodologies that have been developed. We hope to give a sense in this paper of the potential for the next three years, to discuss the insights and lessons learnt in the first phase of the project, to articulate the challenges and issues that remain....The WWW provided the original context that made the AKT approach to knowledge management (KM) possible. AKT was initially proposed in 1999, it brought together an interdisciplinary consortium with the technological breadth and complementarity to create the conditions for a unified approach to knowledge across its lifecycle. The combination of this expertise, and the time and space afforded the consortium by the IRC structure, suggested the opportunity for a concerted effort to develop an approach to advanced knowledge technologies, based on the WWW as a basic infrastructure....The technological context of AKT altered for the better in the short period between the development of the proposal and the beginning of the project itself with the development of the semantic web (SW), which foresaw much more intelligent...The SW, as an extension of the WWW, provides an interesting set of constraints to the knowledge management services AKT tries to provide. As a medium for the semantically-informed coordination of information, it has suggested a number of ways in which the objectives of AKT can be achieved, most obviously through the provision of knowledge management services delivered over the web as opposed to the creation and provision of technologies to manage knowledge....AKT is working on the assumption that many web services will be developed and provided for users. The KM problem in the near future will be one of deciding which services are needed and of coordinating them. Many of these services will be largely or entirely legacies of the WWW, and so the capabilities of the services will vary. As well as providing useful KM services in their own right, AKT will be aiming to exploit this opportunity, by reasoning over services, brokering between them, and providing essential meta-services for SW knowledge service management....Ontologies will be a crucial tool for the SW. The AKT consortium brings a lot of expertise on ontologies together, and o

  17. Compositionality of HennessyMilner Logic through Structural Operational Semantics #

    E-Print Network [OSTI]

    Pratt, Vaughan

    ,2 , Rob van Glabbeek 1 , and Paulien de Wind 2 1 CWI, Department of Software Engineering PO Box 94079 and while statements. Interaction between parallel components is done via shared variables. In Stirling [22­Milner Logic (HML) [11]. In Stirling [23, 24] the results from [22] are extended, creating proof sys

  18. Compositionality of Hennessy-Milner Logic through Structural Operational Semantics?

    E-Print Network [OSTI]

    Pratt, Vaughan

    Engineering PO Box 94079, 1090 GB Amsterdam, The Netherlands 2 Vrije Universiteit Amsterdam is done via shared variables. In Stirling [22] modal proof systems are developed for subsets of CCS [16 the validity of formulae from Hennessy-Milner Logic (HML) [11]. In Stirling [23, 24] the results from [22

  19. Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

    E-Print Network [OSTI]

    Fokkink, Wan

    ,2 , Rob van Glabbeek1 , and Paulien de Wind2 1 CWI, Department of Software Engineering PO Box 94079, 1090 and while statements. Interaction between parallel components is done via shared variables. In Stirling [22-Milner Logic (HML) [11]. In Stirling [23, 24] the results from [22] are extended, creating proof sys- tems

  20. Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

    E-Print Network [OSTI]

    Pratt, Vaughan

    ,2 , Rob van Glabbeek1 , and Paulien de Wind2 1 CWI, Department of Software Engineering PO Box 94079, 1090 and while statements. Interaction between parallel components is done via shared variables. In Stirling [22-Milner Logic (HML) [11]. In Stirling [23, 24] the results from [22] are extended, creating proof sys- To appear

  1. Semi-Automatic Semantic Annotations for Web Documents

    E-Print Network [OSTI]

    Cordy, James R.

    of the documents for Tourism domain. The results of this experiment are validated using a three-stage evaluation processing system [Leidner2003] [Boguraev1995]: ­ accuracy: performance must be estimated to access the same technical solutions in the domain of Tourism, we also describe the framework to evaluate

  2. Semantic-Based Development of Service-Oriented Systems

    E-Print Network [OSTI]

    Gilmore, Stephen

    . Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform to process calculi. The results are illustrated by a case study in the area of automotive systems. 1, platform-independent computational entities that can be described, pub- lished, categorised, discovered

  3. Joint Learning Improves Semantic Role Labeling Kristina Toutanova

    E-Print Network [OSTI]

    Manning, Christopher

    arguments and 32% on core arguments over a state- of-the art independent classifier for gold- standard parse will have two or more AGENT arguments, or that a predicate used in the active voice will have a THEME on the February 2004 version of PropBank on gold-standard parse trees as well as results on auto- matic parses

  4. Joint Learning Improves Semantic Role Labeling Kristina Toutanova

    E-Print Network [OSTI]

    Manning, Christopher

    arguments and 32% on core arguments over a state­ of­the art independent classifier for gold­ standard parse will have two or more AGENT arguments, or that a predicate used in the active voice will have a THEME on the February 2004 version of PropBank on gold­standard parse trees as well as results on auto­ matic parses

  5. Operational Semantics and Type Soundness of Quantum Programming Language LanQ

    E-Print Network [OSTI]

    Hynek Mlnarik

    2007-08-07

    We present an imperative quantum programming language LanQ which was designed to support combination of quantum and classical programming and basic process operations - process creation and interprocess communication. The language can thus be used for implementing both classical and quantum algorithms and protocols. Its syntax is similar to that of C language what makes it easy to learn for existing programmers. In this paper, we present operational semantics of the language and a proof of type soundness of the noncommunicating part of the language. We provide an example run of a quantum random number generator.

  6. Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming

    E-Print Network [OSTI]

    Lisi, Francesca A

    2007-01-01

    Building rules on top of ontologies is the ultimate goal of the logical layer of the Semantic Web. To this aim an ad-hoc mark-up language for this layer is currently under discussion. It is intended to follow the tradition of hybrid knowledge representation and reasoning systems such as $\\mathcal{AL}$-log that integrates the description logic $\\mathcal{ALC}$ and the function-free Horn clausal language \\textsc{Datalog}. In this paper we consider the problem of automating the acquisition of these rules for the Semantic Web. We propose a general framework for rule induction that adopts the methodological apparatus of Inductive Logic Programming and relies on the expressive and deductive power of $\\mathcal{AL}$-log. The framework is valid whatever the scope of induction (description vs. prediction) is. Yet, for illustrative purposes, we also discuss an instantiation of the framework which aims at description and turns out to be useful in Ontology Refinement. Keywords: Inductive Logic Programming, Hybrid Knowledge...

  7. AN EVALUATION OF SEMANTIC WEB PORTALS Rubn Lara, Sung-Kook Han, Holger Lausen, Michael Stollberg, Ying Ding, Dieter Fensel

    E-Print Network [OSTI]

    Menczer, Filippo

    AN EVALUATION OF SEMANTIC WEB PORTALS Rubén Lara, Sung-Kook Han, Holger Lausen, Michael Stollberg.ding, dieter.fensel}@uibk.ac.at ABSTRACT Web portals are entry points for information presentation and exchange for communication and information sharing. Current Web technologies employed to build up these portals present

  8. Technical Report 03-008, LSDIS Lab, Dept of Computer Science, UGA. June 2003 Framework for Semantic Web Process Composition

    E-Print Network [OSTI]

    Miller, John A.

    for Semantic Web Process Composition Kaarthik Sivashanmugam, John A. Miller, Amit P. Sheth, Kunal Verma Large, Athens GA 30602-7404 {kaart, jam, amit, verma}@ cs.uga.edu Abstract Web services have been recognized with each other on the fly is very appealing. To date, however, the activity of creating Web processes using

  9. Towards Semantic Web Portals Michael Stollberg, Holger Lausen, Rubn Lara, Ying Ding, Sung-Kook Han, Dieter Fensel

    E-Print Network [OSTI]

    Menczer, Filippo

    Towards Semantic Web Portals Michael Stollberg, Holger Lausen, Rubén Lara, Ying Ding, Sung-Kook Han.lara, ying.ding, sung-kook.han, dieter.fensel}@uibk.ac.at ABSTRACT A web portal is a platform for information adequate facilities for communication and information sharing, web portals should utilize appropriate

  10. Semantic role labeling tools trained on the Cast3LB-CoNNL-SemRol corpus Roser Morante

    E-Print Network [OSTI]

    Tilburg, Universiteit van

    etiquetado de roles sem´anticos en corpus del espa~nol. 1. Introduction In this paper we present the Cast3LB´ecnicas semiautom´aticas para el etiquetado de roles sem´anticos en corpus del espa~nol. Automatic semantic role

  11. Key words Science of information, spatio-temporal, semantic and structural information, Darwin channel, noisy constrained capacity.

    E-Print Network [OSTI]

    Szpankowski, Wojciech

    Key words ­ Science of information, spatio-temporal, semantic and structural information, Darwin W. Lafayette, IN 47907, U.S.A. spa@cs.purdue.edu FACETS OF INFORMATION IN COMMUNICATIONS Abstract Information permeates every corner of our lives and shapes our universe. Understand- ing and harnessing

  12. From Revisiting the LCA-based Approach to a New Semantics-based Approach for XML Keyword Search

    E-Print Network [OSTI]

    Ling, Tok Wang

    From Revisiting the LCA-based Approach to a New Semantics-based Approach for XML Keyword Search for data-centric XML documents are based on the compu- tation of Lowest Common Ancestors (LCA), such as SLCA and MLCA. In this paper, we show that the LCA is not always a correct search model for processing

  13. A Hyper-Semantic Approach to Intelligent Information Systems Walter D. Potter, John A. Miller, and Krzysztof J. Kochut

    E-Print Network [OSTI]

    Miller, John A.

    of a unified knowledge base, data base, and model base. The model base includes decision support models the functional and object- oriented paradigms. Active KDL is based on the hyper-semantic data model, KDM (Knowl such as simulation models and forecasting models, for example. However, we feel that the model base should include

  14. A Korean Noun Semantic Hierarchy (Wordnet) Construction Juho Lee, Koaunghi Un, Hee-Sook Bae and.Key-Sun Choi

    E-Print Network [OSTI]

    , koaunghi, elle, kschoi}@world.kaist.ac.kr Abstract Since thesaurus is used as a knowledge resource in many for the construction of Korean noun semantic hierarchy by utilizing a monolingual MRD and an existing thesaurus. 1 Introduction Thesaurus 1 or wordnet takes too much time and effort to construct them manually. In this paper

  15. Incremental Semantic Role Labeling with Tree Adjoining Grammar Ioannis Konstas , Frank Keller , Vera Demberg and Mirella Lapata

    E-Print Network [OSTI]

    Keller, Frank

    .38% on the standard CoNLL 2009 dataset. It substantially outper- forms a strong baseline that combines gold-standard- pendency parser. 1 Introduction Humans are able to assign semantic roles such as agent, patient, and theme representation of a sentence prefix. As an example, consider: (1) The athlete realized [her goals]PATIENT/THEME

  16. Introduction Main Result

    E-Print Network [OSTI]

    Yan, Catherine Huafei

    Introduction Main Result Enumeration Crossings and Nestings of Two Edges in Set Partitions Yan Crossings and Nestings of Set Partitions #12;Introduction Main Result Enumeration Definition} Catherine Yan Crossings and Nestings of Set Partitions #12;Introduction Main Result Enumeration Definition

  17. Unified Theory of Relativistic Identification of Information in a Systems Age: Proposed Convergence of Unique Identification with Syntax and Semantics through Internet Protocol version 6

    E-Print Network [OSTI]

    Datta, Shoumen

    2008-07-31

    This paper proposes to utilize internet protocol version six (IPv6) to uniquely identify not only things (objects) but also processes, relationships (syntax, semantics) and interfaces (sensors). Convergence of identification ...

  18. Where the Semantic Web and Web 2.0 meet format risk management: P2 registry David Tarrant, Steve Hitchcock and Les Carr

    E-Print Network [OSTI]

    Southampton, University of

    Where the Semantic Web and Web 2.0 meet format risk management: P2 registry David Tarrant, Steve Hitchcock and Les Carr School of Electronics and Computer Science University of Southampton Southampton UK

  19. Cleanroom energy benchmarking results

    E-Print Network [OSTI]

    Tschudi, William; Xu, Tengfang

    2001-01-01

    emeu/consumption) Cleanroom benchmarking results, (http://Fok, and P. Rumsey. 2001. Cleanroom Energy Benchmarking inin the proceedings. Cleanroom Energy Benchmarking Results

  20. Definitions Main Result

    E-Print Network [OSTI]

    Heubach, Silvia

    Background Definitions Main Result Special Types of Patterns Summary Avoidance of partially ordered Avoidance of partially ordered patterns in compositions #12;Background Definitions Main Result Special Types of Patterns Summary Outline 1 Background 2 Definitions 3 Main Result Preliminaries Main Result 4 Special Types

  1. Hazard analysis results report

    SciTech Connect (OSTI)

    Niemi, B.J., Westinghouse Hanford

    1996-09-30

    This document describes and defines the Hazard Analysis Results for the Tank Waste Remediation System Final Safety Analysis Report.

  2. Semantics in Support of Biodiversity Knowledge Discovery: An Introduction to the Biological Collections Ontology and Related Ontologies

    E-Print Network [OSTI]

    Walls, Ramona L.; Deck, John; Guralnick, Robert P.; Baskauf, Steve; Beaman, Reed; Blum, Stanley; Bowers, Shawn; Buttigieg, Pier Luigi; Davies, Neil; Endressen, Dag; Gandolfo, Maria Alejandro; Hanner, Robert; Janning, Alyssa; Krishtalka, Leonard; Matsunaga, André a; Midford, Peter E.; Morrison, Norman; Tuama, É amonn Ó .; Schildhauer, Mark; Smith, Barry; Stucky, Brian J.; Thomer, Andrea; Wieczorek, John; Whitacre, Jamie; Wooley, John

    2014-03-03

    . (A) Ocean Sampling Day involves the simultaneous sampling of the world’s oceans on a single day, as represented by the red stars on the map of the earth. Multiple ocean water sampling processes take place at each location. Those water samples... biological entities and their derivatives as materials and data move through various processes and institutions (Table S1). Ontologies offer an opportunity to link data semantically within and across biodiversity sub-disciplines, by creating a unified...

  3. Overview of ALICE results

    E-Print Network [OSTI]

    Antonio Ortiz; for the ALICE Collaboration

    2015-01-22

    The ALICE detector was designed to study the physics of matter under extreme conditions of high energy density. Different results were reported by the experiment using data from the successful run I of the LHC. The goal of the present work is to present an overview of recent ALICE results. This comprises selected results from several analyses of pp, p-pb and Pb-Pb data at the LHC energies.

  4. Recent results from TRISTAN

    SciTech Connect (OSTI)

    Enomoto, Ryoji [National Laboratory for High Energy Physics, Ibaraki (Japan)

    1997-01-01

    TRISTAN results on {gamma}{gamma} physics from 1994 to 1995 are reviewed in this report. We have systematically investigated jet production, the {gamma}-structure function, and charm pair production in {gamma}{gamma} processes. The results are discussed, and future prospects are presented.

  5. Sensitivity and Scenario Results

    E-Print Network [OSTI]

    Yu, Winston

    Presents the results of various scenarios using models used to study water, climate, agriculture and the economy in Pakistan's Indus Basin, and discusses the policy and investment implications. The water allocations per ...

  6. NA57 main results

    E-Print Network [OSTI]

    G. E. Bruno; for the NA57 Collaboration

    2007-10-15

    The CERN NA57 experiment was designed to study the production of strange and multi-strange particles in heavy ion collisions at SPS energies; its physics programme is essentially completed. A review of the main results is presented.

  7. Electroweak results from CDF

    SciTech Connect (OSTI)

    D. S. Waters

    2004-06-02

    Inclusive W and Z production cross-sections have been measured by CDF and certain electroweak parameters extracted with high precision from these measurements. New results on diboson production at the Tevatron are also presented.

  8. Recent results from MAC

    SciTech Connect (OSTI)

    MAC Collaboration

    1982-05-01

    Some preliminary results from the MAC detector at PEP are presented. These include measurements of the angular distribution of ..gamma gamma.., ..mu mu.. and tau tau final states, a determination of the tau lifetime, a measurement of R, and a presentation of the inclusive muon p/sub perpendicular/ distribution for hadronic events.

  9. Plans, Implementation, and Results

    Broader source: Energy.gov [DOE]

    The Bioenergy Technologies Office carries out technology research, development, and deployment through an ongoing process of planning and analysis, implementation, and review. This Web page includes links to documents that support and document the program management process, and the results and public benefits that derive from it.

  10. Supplementary Results Behavioral Performance

    E-Print Network [OSTI]

    Knutson, Brian

    of the performance measures. #12;Full Brain fMRI Analyses for Reward Anticipation See Tables 1 and 2 for the results of whole brain analyses. #12;Table 1. Patterns of Activation for Contrasts of BOLD Signal Immediately coordinates Area Side Talairach coordinates Area Side -24,-32,55 Postcentral gyrus Left 23,0,67 Middle frontal

  11. Key Research Results Achievement

    E-Print Network [OSTI]

    ) evaluated several common figures of merit used to compare the electrical and optical performance of TCsKey Research Results Achievement NREL research significantly contributed to inadequate existing not yet at performance levels of TCOs, demonstrate a much better combination of transmission

  12. Key Research Results Achievement

    E-Print Network [OSTI]

    % energy savings in new buildings and major renovations. Researchers at the National Renewable Energy%energysavingsovercode.NREL developedthesimulationtoolsandledthe committeethatproducedtheguides. Key Result TheAdvancedEnergy to use signifi- cantly less energy--reducing operating costs and greenhouse gas emissions. This new K-12

  13. Cleanroom energy benchmarking results

    SciTech Connect (OSTI)

    Tschudi, William; Xu, Tengfang

    2001-09-01

    A utility market transformation project studied energy use and identified energy efficiency opportunities in cleanroom HVAC design and operation for fourteen cleanrooms. This paper presents the results of this work and relevant observations. Cleanroom owners and operators know that cleanrooms are energy intensive but have little information to compare their cleanroom's performance over time, or to others. Direct comparison of energy performance by traditional means, such as watts/ft{sup 2}, is not a good indicator with the wide range of industrial processes and cleanliness levels occurring in cleanrooms. In this project, metrics allow direct comparison of the efficiency of HVAC systems and components. Energy and flow measurements were taken to determine actual HVAC system energy efficiency. The results confirm a wide variation in operating efficiency and they identify other non-energy operating problems. Improvement opportunities were identified at each of the benchmarked facilities. Analysis of the best performing systems and components is summarized, as are areas for additional investigation.

  14. Tevatron Top Results

    E-Print Network [OSTI]

    Christophe Clement

    2006-05-28

    I present the latest results from the CDF and D0 collaborations on top quark production (single top and top quark pair production) at the Tevatron proton-antiproton collider at sqrt(s) =1.96 TeV, measurements of the top quark decay properties such as the branching ratio B(t -> Wb), the W helicity in t -> Wb decays, and measurements of fundamental parameters such as the top quark charge and mass.

  15. Double Chooz: Latest results

    E-Print Network [OSTI]

    J. I. Crespo-Anadón; for the Double Chooz collaboration

    2014-12-11

    The latest results from the Double Chooz experiment on the neutrino mixing angle $\\theta_{13}$ are presented. A detector located at an average distance of 1050 m from the two reactor cores of the Chooz nuclear power plant has accumulated a live time of 467.90 days, corresponding to an exposure of 66.5 GW-ton-year (reactor power $\\times$ detector mass $\\times$ live time). A revised analysis has boosted the signal efficiency and reduced the backgrounds and systematic uncertainties compared to previous publications, paving the way for the two detector phase. The measured $\\sin^2 2\\theta_{13} = 0.090^{+0.032}_{-0.029}$ is extracted from a fit to the energy spectrum. A deviation from the prediction above a visible energy of 4 MeV is found, being consistent with an unaccounted reactor flux effect, which does not affect the $\\theta_{13}$ result. A consistent value of $\\theta_{13}$ is measured in a rate-only fit to the number of observed candidates as a function of the reactor power, confirming the robustness of the result.

  16. Recent BABAR Results

    SciTech Connect (OSTI)

    Eigen, Gerald

    2015-04-29

    We present herein the most recent BABAR results on direct CP asymmetry measurements in B ? Xs?, on partial branching fraction and CP asymmetry measurements in B ? Xsl+l-, on a search for B ? ? / ?l+l- decays, on a search for lepton number violation in B+ ? X-l+l'+ modes and a study of B0 ??? and B0 ? ?? decays.

  17. 2012 User Survey Results

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefieldSulfateSciTechtail.TheoryTuesday, August 10, 2010 james-r.giusti@srs.govTuesday, FebruaryResults 2012

  18. Recent Results from HAPPEX

    SciTech Connect (OSTI)

    Robert Michaels

    2006-09-18

    New measurements of the parity-violating asymmetry in elastic scattering of 3GeV electrons off hydrogen and helium-4 targets at theta{sub lab} = 6 degrees are reported. The helium-4 result is A = (+6.40 {+-} 0.23 (stat) {+-} 0.12 (syst)) * 10{sup -6}. The hydrogen result is A = (-1.58 {+-} 0.12 (stat) {+-} 0.04 (syst)) * 10{sup -6}. The asymmetry for hydrogen is a function of a linear combination of G{sub E}{sup s} and G{sub M}{sup s}, the strange quark contributions to the electric and magnetic form factors of the nucleon respectively, and that for helium-4 is a function solely of G{sub E}{sup s}. The combination of the two measurements separates G{sub E}{sup s} and G{sub M}{sup s} and provide new limits on the role of strange quarks in the nucleon charge and magnetization distributions. We extract G{sub E}{sup s} = 0.002 {+-} 0.014 {+-} 0.007 at Q{sup 2} = 0.077 GeV{sup 2} and G{sub E}{sup s} + 0.09 G{sub M}{sup s} = 0.007 {+-} 0.011 {+-} 0.006 at Q{sup 2} = 0.109 GeV{sup 2}.

  19. Organic Separation Test Results

    SciTech Connect (OSTI)

    Russell, Renee L.; Rinehart, Donald E.; Peterson, Reid A.

    2014-09-22

    Separable organics have been defined as “those organic compounds of very limited solubility in the bulk waste and that can form a separate liquid phase or layer” (Smalley and Nguyen 2013), and result from three main solvent extraction processes: U Plant Uranium Recovery Process, B Plant Waste Fractionation Process, and Plutonium Uranium Extraction (PUREX) Process. The primary organic solvents associated with tank solids are TBP, D2EHPA, and NPH. There is concern that, while this organic material is bound to the sludge particles as it is stored in the tanks, waste feed delivery activities, specifically transfer pump and mixer pump operations, could cause the organics to form a separated layer in the tank farms feed tank. Therefore, Washington River Protection Solutions (WRPS) is experimentally evaluating the potential of organic solvents separating from the tank solids (sludge) during waste feed delivery activities, specifically the waste mixing and transfer processes. Given the Hanford Tank Waste Treatment and Immobilization Plant (WTP) waste acceptance criteria per the Waste Feed Acceptance Criteria document (24590-WTP-RPT-MGT-11-014) that there is to be “no visible layer” of separable organics in the waste feed, this would result in the batch being unacceptable to transfer to WTP. This study is of particular importance to WRPS because of these WTP requirements.

  20. Nucleosynthesis results from INTEGRAL

    E-Print Network [OSTI]

    G. Weidenspointner

    2006-01-15

    Since its launch in October 2002, ESA's INTEGRAL observatory has enabled significant advances to be made in the study of Galactic nucleosynthesis. In particular, the imaging Ge spectrometer SPI combines for the first time the diagnostic powers of high resolution gamma-ray line spectroscopy and moderate spatial resolution. This review summarizes the major nucleosynthesis results obtained with INTEGRAL so far. Positron annihilation in our Galaxy is being studied in unprecented detail. SPI observations yield the first sky maps in both the 511 keV annihilation line and the positronium continuum emission, and the most accurate spectrum at 511 keV to date, thereby imposing new constraints on the source(s) of Galactic positrons which still remain(s) unidentified. For the first time, the imprint of Galactic rotation on the centroid and shape of the 1809 keV gamma-ray line due to the decay of 26Al has been seen, confirming the Galactic origin of this emission. SPI also provided the most accurate determination of the gamma-ray line flux due to the decay of 60Fe. The combined results for 26Al and 60Fe have important implications for nucleosynthesis in massive stars, in particular Wolf-Rayet stars. Both IBIS and SPI are searching the Galactic plane for young supernova remnants emitting the gamma-ray lines associated with radioactive 44Ti. None have been found so far, which raises important questions concerning the production of 44Ti in supernovae, the Galactic supernova rate, and the Galaxy's chemical evolution.

  1. Some basic topics in the theory of concurrency are studied from the point of view of denotational semantics, and particularly the \\Domain theory in logical form" de-

    E-Print Network [OSTI]

    Abramsky, Samson

    Some basic topics in the theory of concurrency are studied from the point of view of denotational ###### ######## ########## ## ######### ######## ####### ## ######## ########## ### ######## ## ###### ## ####### ## #### ########### ### ########### # ###### ######## ### ############ #12; Our aim in this paper is to treat some basic topics in the theory of concurrency from the point semantics, and particularly the \\Domain theory in logical form" de- veloped by the author. A domain

  2. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, VOL. 11, NO. 5, MAY 2001 603 Semantic Video Object Extraction Using Four-Band

    E-Print Network [OSTI]

    Gatica-Perez, Daniel

    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, VOL. 11, NO. 5, MAY 2001 603 the problem of multiple semantic video object (SVO) extraction as an issue of designing extensive opera- tors- rates an edge-driven marker extraction algorithm and a growing method which integrates both color

  3. Reprinted from Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), July, 1991, pp. 698703. Preferential Semantics for Goals

    E-Print Network [OSTI]

    Reeves, Douglas S.

    conceived in AI planning, provide an insufficient basis for choice of action, and hence are deficient as the sole expression of an agent's objectives. Decision-theoretic utilities offer a more adequate ba- sis performed in planning. This semantic account pro- vides a criterion for verifying the design of goal

  4. Search results | Department of Energy

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

    results Search results Enter terms Search Showing 1 - 10 of 11 results. Video Energy 101: Hydroelectric Power Learn how hydropower captures the kinetic energy of flowing water and...

  5. Search results | Department of Energy

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

    results Search results Enter terms Search Showing 1 - 2 of 2 results. Video Energy 101: Hydroelectric Power Learn how hydropower captures the kinetic energy of flowing water and...

  6. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Energy Management Students will review energy basics and what they have...

  7. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Energy Management Students will review energy basics and what they have...

  8. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 7 of 7 results. Download Making Energy Personal Students will work with an interactive website in oder...

  9. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 7 of 7 results. Download Energy Production Students will compare and contrast renewable and...

  10. Search results | Department of Energy

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

    Usage Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Energy Production Students will compare and contrast renewable and nonrenewable...

  11. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Energy Production Students will compare and contrast renewable and...

  12. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Life With Energy Students will describe ways in which technology affects the...

  13. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 8 of 8 results. Download Making Energy Personal Students will work with an interactive website in oder...

  14. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Energy Transmission Students will learn about everyday energy usage by...

  15. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Green Fuel This activity allows students the opportunity to explore different...

  16. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Making Energy Personal Students will work with an interactive website in oder...

  17. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 5 of 5 results. Download Energy Management Students will review energy basics and what they have...

  18. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 10 of 10 results. Download Making Energy Personal Students will work with an interactive website in...

  19. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Download Energy Management Students will review energy basics and what they have learned...

  20. Search results | Department of Energy

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

    Usage Search results Search results Enter terms Search Showing 1 - 10 of 15 results. Download Reducing Energy Loss Students will learn about the Law of Conservation of Energy....

  1. Search results | Department of Energy

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

    Usage Search results Search results Enter terms Search Showing 1 - 7 of 7 results. Download Energy Management Students will review energy basics and what they have learned in...

  2. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Green Fuel This activity allows students the opportunity to explore different...

  3. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Power to the Plug: An Introduction to Energy, Electricity, Consumption, and...

  4. Search results | Department of Energy

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

    Usage Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Monitoring and Mentoring These activities explore energy use and conservation using...

  5. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Electrolysis of Water Students observe the electrolysis of water using either...

  6. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 6 of 6 results. Download Making Energy Personal Students will work with an interactive website in oder...

  7. Search results | Department of Energy

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

    Energy Usage Download Search results Search results Enter terms Search Showing 21 - 30 of 23 results. Download Life With Energy Students will describe ways in which...

  8. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 5 of 5 results. Download Green Fuel This activity allows students the opportunity to explore different...

  9. Search results | Department of Energy

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

    Usage Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Energy Management Students will review energy basics and what they have learned in...

  10. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 5 of 5 results. Download Making Energy Personal Students will work with an interactive website in oder...

  11. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 10 of 22 results. Video Energy 101: Wind Turbines- 2014 Update The video highlights the basic principles at work...

  12. Search results | Department of Energy

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

    Wind Search results Search results Enter terms Search Showing 1 - 5 of 5 results. Download Energy Production Students will compare and contrast renewable and nonrenewable...

  13. Search results | Department of Energy

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

    results Search results Enter terms Search Showing 11 - 20 of 15 results. Download Rain Machine (Solar Still) Working in groups, students build simple solar stills filled with salt...

  14. Search results | Department of Energy

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

    results Search results Enter terms Search Showing 11 - 20 of 13 results. Download Rain Machine (Solar Still) Working in groups, students build simple solar stills filled with salt...

  15. Search results | Department of Energy

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

    Consumption Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Energy Production Students will compare and contrast renewable and nonrenewable...

  16. Search results | Department of Energy

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

    Technology High School (9-12) Teachers Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Download Exploring Photovoltaics (9 investigations)...

  17. Search results | Department of Energy

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

    Technology High School (9-12) Teachers Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download An Exploration of Wind Energy & Wind Turbines...

  18. Search results | Department of Energy

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

    Technology High School (9-12) Teachers Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Download Exploring Hydroelectricity (9 activities)...

  19. Search results | Department of Energy

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

    Solar Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Download Exploring Photovoltaics (9 investigations) Hands-on investigations to teach secondary...

  20. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 11 - 20 of 16 results. Download Photovoltaics and Solar Energy (2 Activities) This module addresses issues dealing with...

  1. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 41 - 50 of 59 results. Download Photovoltaics and Solar Energy (2 Activities) This module addresses issues dealing with...

  2. Search results | Department of Energy

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

    Solar Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Download Power to the Plug: An Introduction to Energy, Electricity, Consumption, and Efficiency...

  3. Search results | Department of Energy

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

    Solar Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Energy Production Students will compare and contrast renewable and nonrenewable...

  4. Search results | Department of Energy

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

    Solar Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Energy Production Students will compare and contrast renewable and nonrenewable...

  5. Search results | Department of Energy

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

    Solar Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Power to the Plug: An Introduction to Energy, Electricity, Consumption, and...

  6. Search results | Department of Energy

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

    Solar Search results Search results Enter terms Search Showing 1 - 5 of 5 results. Download Energy Production Students will compare and contrast renewable and nonrenewable...

  7. Search results | Department of Energy

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

    Solar Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Energy Production Students will compare and contrast renewable and nonrenewable...

  8. Search results | Department of Energy

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

    Solar Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Power to the Plug: An Introduction to Energy, Electricity, Consumption, and...

  9. Search results | Department of Energy

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

    Solar Elementary (K-5) Teachers Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Download Power to the Plug: An Introduction to Energy,...

  10. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 10 of 12 results. Download Energy Production Students will compare and contrast renewable and nonrenewable resources...

  11. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 10 of 10 results. Download Energy Production Students will compare and contrast renewable and nonrenewable resources...

  12. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Water and Energy (18 activities) An inquiry-based curriculum that introduces students to...

  13. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 5 of 5 results. Download Water and Energy (18 activities) An inquiry-based curriculum that introduces students to...

  14. Search results | Department of Energy

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

    Page Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Page Analytical Tools The Bioenergy Technologies Office and its national lab partners provide a...

  15. Search results | Department of Energy

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

    6 Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy Energy...

  16. Search results | Department of Energy

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

    4 Search results Search results Enter terms Search Showing 1 - 7 of 7 results. Download Energy Literacy Video Analysis Guide A guide for discussion related to the information...

  17. Search results | Department of Energy

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

    Educators Search results Search results Enter terms Search Showing 1 - 6 of 6 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy...

  18. Search results | Department of Energy

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

    Consumers Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7...

  19. Search results | Department of Energy

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

    Professors Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Page How Distributed Wind Works Wind generator http:energy.goveerewind...

  20. Search results | Department of Energy

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

    1 Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  1. Search results | Department of Energy

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

    Parents Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy...

  2. Search results | Department of Energy

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

    Parents Search results Search results Enter terms Search Showing 1 - 5 of 5 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy...

  3. Search results | Department of Energy

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

    Policymaker Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Page Advantages and Challenges of Wind Energy Wind energy offers many advantages, which...

  4. Search results | Department of Energy

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

    7 Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy Energy...

  5. Search results | Department of Energy

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

    7 Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Energy Literacy Video Analysis Guide A guide for discussion related to the information...

  6. Search results | Department of Energy

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

    Educators Search results Search results Enter terms Search Showing 1 - 10 of 11 results. Download Energy Literacy Video Analysis Guide A guide for discussion related to the...

  7. Search results | Department of Energy

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

    Consumers Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Page How Distributed Wind Works Wind generator http:energy.goveerewind...

  8. Search results | Department of Energy

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

    Students Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7...

  9. Search results | Department of Energy

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

    6 Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Energy Literacy Video Analysis Guide A guide for discussion related to the information...

  10. Search results | Department of Energy

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

    Parents Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  11. Search results | Department of Energy

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

    3 Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Page Analytical Tools The Bioenergy Technologies Office and its national lab partners provide a...

  12. Search results | Department of Energy

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

    Educators Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy...

  13. Search results | Department of Energy

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

    Students Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy...

  14. Search results | Department of Energy

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

    Consumers Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Page How Distributed Wind Works Wind generator http:energy.goveerewind...

  15. Search results | Department of Energy

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

    Consumers Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7...

  16. Search results | Department of Energy

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

    4 Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Page Advantages and Challenges of Wind Energy Wind energy offers many advantages, which explains...

  17. Search results | Department of Energy

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

    Parents Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy...

  18. Search results | Department of Energy

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

    Educators Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7...

  19. Search results | Department of Energy

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

    Students Search results Search results Enter terms Search Showing 1 - 6 of 6 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy...

  20. Search results | Department of Energy

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

    4 Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  1. Search results | Department of Energy

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

    Students Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy...

  2. Search results | Department of Energy

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

    4 Search results Search results Enter terms Search Showing 1 - 7 of 7 results. Page Frequently Asked Questions about Wind Energy This page lists frequently asked questions about...

  3. Search results | Department of Energy

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

    Educators Search results Search results Enter terms Search Showing 1 - 6 of 6 results. Page Explore Bioenergy Technology Careers http:energy.goveereeducation...

  4. Search results | Department of Energy

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

    6 Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy Energy...

  5. Search results | Department of Energy

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

    Homeowner Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Page How Distributed Wind Works Wind generator http:energy.goveerewind...

  6. Search results | Department of Energy

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

    4 Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  7. Search results | Department of Energy

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

    3 Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  8. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 7 of 7 results. Download Learning and Conserving (10 activities) These activities explore energy use...

  9. Search results | Department of Energy

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

    results Search results Enter terms Search Showing 1 - 10 of 13 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  10. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 10 of 10 results. Download Energy Management Students will review energy basics and what they have...

  11. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Energy Production Students will compare and contrast renewable and...

  12. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  13. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Powering the Future Using the Environmental Protection Agency's climate change...

  14. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 10 of 18 results. Download Reducing Energy Loss Students will learn about the Law of Conservation of...

  15. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 6 of 6 results. Download Powering the Future Using the Environmental Protection Agency's climate change...

  16. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 10 of 16 results. Download Reducing Energy Loss Students will learn about the Law of Conservation of...

  17. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 6 of 6 results. Download Learning and Conserving (10 activities) These activities explore energy use...

  18. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 8 of 8 results. Download Energy Management Students will review energy basics and what they have...

  19. Search results | Department of Energy

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

    results Search results Enter terms Search Showing 1 - 10 of 22 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  20. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 9 of 9 results. Download Energy Management Students will review energy basics and what they have...

  1. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 8 of 8 results. Download Energy Production Students will compare and contrast renewable and...

  2. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 8 of 8 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  3. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 10 of 23 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy Energy...

  4. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 7 of 7 results. Download Energy Management Students will review energy basics and what they have learned in energy...

  5. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 5 of 5 results. Download Energy Production Students will compare and contrast renewable and...

  6. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 7 of 7 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  7. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Powering the Future Using the Environmental Protection Agency's climate change...

  8. Search results | Department of Energy

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

    results Search results Enter terms Search Showing 11 - 20 of 16 results. Download Energy Conservation Contract (4 activities) Students learn about saving energy and encourage...

  9. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Monitoring and Mentoring These activities explore energy use and conservation...

  10. Search results | Department of Energy

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

    Energy Usage High School (9-12) Teachers Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Energy Conservation Contract (4 activities)...

  11. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Energy Management Students will review energy basics and what they have...

  12. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 10 of 23 results. Download Reducing Energy Loss Students will learn about the Law of Conservation of...

  13. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 6 of 6 results. Article Energy Literacy in Action: Nevada Teachers Helping Students Learn About Energy Energy...

  14. Search results | Department of Energy

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

    Energy Usage Search results Search results Enter terms Search Showing 1 - 9 of 9 results. Download Learning and Conserving (10 activities) These activities explore energy use...

  15. Search results | Department of Energy

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

    results Search results Enter terms Search Showing 1 - 10 of 26 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  16. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 8 of 8 results. Download Energy Management Students will review energy basics and what they have learned in energy...

  17. Search results | Department of Energy

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

    results Search results Enter terms Search Showing 1 - 10 of 28 results. Download Energy Literacy Videos New video series, Energy Literacy highlights the 7 Essential...

  18. Search results | Department of Energy

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

    Energy Sources Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Video Energy 101: Fuel Cell Technology This video illustrates the fundamentals of fuel...

  19. Search results | Department of Energy

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

    Search results Search results Enter terms Search Showing 1 - 1 of 1 result. Video Energy 101: Fuel Cell Technology This video illustrates the fundamentals of fuel cell technology...

  20. Search results | Department of Energy

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

    Geothermal Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Energy Production Students will compare and contrast renewable and nonrenewable...