National Library of Energy BETA

Sample records for formats results semantic

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

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

  3. result formats | 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 bookresult formats Home Jweers's picture Submitted

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

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

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

  7. Star Formation in Disk Galaxies. III. Does stellar feedback result in cloud death?

    E-Print Network [OSTI]

    Tasker, Elizabeth J; Pudritz, Ralph

    2015-01-01

    Stellar feedback, star formation and gravitational interactions are major controlling forces in the evolution of Giant Molecular Clouds (GMCs). To explore their relative roles, we examine the properties and evolution of GMCs forming in an isolated galactic disk simulation that includes both localised thermal feedback and photoelectric heating. The results are compared with the three previous simulations in this series which consists of a model with no star formation, star formation but no form of feedback and star formation with photoelectric heating in a set with steadily increasing physical effects. We find that the addition of localised thermal feedback greatly suppresses star formation but does not destroy the surrounding GMC, giving cloud properties closely resembling the run in which no stellar physics is included. The outflows from the feedback reduce the mass of the cloud but do not destroy it, allowing the cloud to survive its stellar children. This suggests that weak thermal feedback such as the low...

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

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

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

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

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

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

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

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

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

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

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

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

  20. NEPHELINE FORMATION STUDY FOR SLUDGE BATCH 4: PHASE 3 EXPERIMENTAL RESULTS

    SciTech Connect (OSTI)

    Fox, K

    2006-05-01

    This Phase 3 study was undertaken to complement the previous phases of the nepheline formation studies1, 2 by continuing the investigation into the ability of the nepheline discriminator to predict the occurrence of nepheline crystallization in Sludge Batch 4 (SB4) glasses and into the impact of such phases on the durability of the SB4 glasses. The Phase 3 study had two primary objectives. The first was to continue to demonstrate the ability of the discriminator value to adequately predict the nepheline formation potential for specific glass systems of interest. The second was to generate additional data that have a high probability of supporting the SB4 variability study. To support these two objectives, sixteen glasses were selected based on the most recent SB4 compositional projection, Case 15C Blend 1.3 Four different frits were included, based on previous assessments of projected operating windows and melt rate,4, 5 with four WLs selected for each frit. Eight of these frit-sludge combinations covered WLs which tightly bound the nepheline discriminator value of 0.62, with the intent of refining this value to a level of confidence where it can be incorporated into offline administrative controls and/or the Process Composition Control System (PCCS) to support Slurry Mix Evaporator (SME) acceptability decisions. The remaining eight frit-sludge combinations targeted lower WLs (35 and 40%) and were prepared and analyzed to contribute needed data to the ComPro database6 to support a potential variability study for SB4.

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

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

  3. Interchange Format for Hybrid Systems: Abstract Semantics

    E-Print Network [OSTI]

    Carloni, Luca

    used by the algorithms. Modelica, for instance, pro- vides a language for describing systems in terms

  4. FORMATION OF DEPTH HOAR RESULTING FROM THERMAL OPTIMIZATION OF SNOW MICROSTRUCTURE

    E-Print Network [OSTI]

    necessary to induce the corresponding flow is a measure of the system efficiency. Kinetic metamorphism to increase the heat transport efficiency. The optimal geometric configuration is a system of well thermal energy through the ice, the system became more efficient. This progression resulted from

  5. Formation of S0 galaxies through mergers. V. Antitruncated stellar discs resulting from major mergers

    E-Print Network [OSTI]

    Borlaff, Alejandro; Rodríguez-Pérez, Cristina; Querejeta, Miguel; Tapia, Trinidad; Pérez-González, Pablo G; Zamorano, Jaime; Gallego, Jesús; Beckman, John

    2014-01-01

    Lenticular galaxies (S0s) are more likely to host antitruncated (Type-III) stellar discs than galaxies of later Hubble types. Major mergers are popularly considered too violent mechanisms to form these breaks. We have investigated whether major mergers can result into S0-like remnants with realistic antitruncated stellar discs or not. We have analysed 67 relaxed S0 and E/S0 remnants resulting from dissipative N-body simulations of major mergers from the GalMer database. We have simulated realistic R-band surface brightness profiles of the remnants to identify those with antitruncated stellar discs. Their inner and outer discs and the breaks are quantitatively characterized to compare with real data. Nearly 70% of our S0-like remnants are antitruncated, meaning that major mergers that result in S0s have a high probability of producing Type-III stellar discs. Our remnants lie on top of the extrapolations of the observational trends (towards brighter magnitudes and higher break radii) in several photometric diag...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  10. Formation of gas-phase peroxides in a rural atmosphere: An interpretation of the recent SOS/SERON field results

    SciTech Connect (OSTI)

    Lee, J.H.; Tang, I.N. [Brookhaven National Lab., Upton, NY (United States); Weinstein-Lloyd, J.B. [State Univ. of New York, Old Westbury, NY (United States). Chemistry/Physics Dept.

    1993-09-01

    Hydrogen perioxide (H{sub 2}O{sub 2}) and certain organic peroxides such as hydroxymethyl-hydroperoxide (HMHP), are gas-phase oxidants present in the atmosphere at ppbv concentration levels. These oxidants play an important role in atmospheric chemistry. In addition, precipitation containing H{sub 2}O{sub 2} is toxic to trees, and it has also been suggested that organic peroxides formed presumably by ozone reactions with biogenic alkenes are responsible for leaf disorders. Recently, we have developed a nonenzymatic method or aqueous-phase H{sub 2}O{sub 2} measurement, using Fenton reagent and fluorescent hydroxy- benzoic acid. The new method, in conjunction with the well-known method of p-hydroxyphenylacetic acid and horseradish peroxidase for total peroxides, and together with an improved gas scrubber to mitigate sampling line problems, has been successfully deployed in recent SOS/SERON field measurements in rural Georgia. For the first time, continuously measured and speciated gas-phase peroxide data have become available, making it possible to examine some aspects of the ozone chemistry leading to the formation of these oxidants. It is observed that daily H{sub 2}O{sub 2} maximum frequently occurs at a different time than does HMHP, and that H{sub 2}O{sub 2} concentration, but not HMHP, tends to correlate with solar fluxes measured at the same location. These findings seem to indicate that the formation mechanisms for H{sub 2}O{sub 2} and organic peroxides are basically different. It is likely that H{sub 2}O{sub 2} is formed from radical-radical recombination, while HMHP is formed by ozone-alkene reactions. Since the gas-phase ozone-alkene reactions are usually too slow to account for the diurnal concentration variations observed for HMHP, heterogeneous processes involving ozone and alkenes are also a possibility.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  15. VALIDATION AND RESULTS OF A PSEUDO-MULTI-ZONE COMBUSTION TRAJECTORY PREDICTION MODEL FOR CAPTURING SOOT AND NOX FORMATION ON A MEDIUM DUTY DIESEL ENGINE

    SciTech Connect (OSTI)

    Bittle, Joshua A.; Gao, Zhiming; Jacobs, Timothy J.

    2013-01-01

    A pseudo-multi-zone phenomenological model has been created with the ultimate goal of supporting efforts to enable broader commercialization of low temperature combustion modes in diesel engines. The benefits of low temperature combustion are the simultaneous reduction in soot and nitric oxide emissions and increased engine efficiency if combustion is properly controlled. Determining what qualifies as low temperature combustion for any given engine can be difficult without expensive emissions analysis equipment. This determination can be made off-line using computer models or through factory calibration procedures. This process could potentially be simplified if a real-time prediction model could be implemented to run for any engine platform this is the motivation for this study. The major benefit of this model is the ability for it to predict the combustion trajectory, i.e. local temperature and equivalence ratio in the burning zones. The model successfully captures all the expected trends based on the experimental data and even highlights an opportunity for simply using the average reaction temperature and equivalence ratio as an indicator of emissions levels alone - without solving formation sub-models. This general type of modeling effort is not new, but a major effort was made to minimize the calculation duration to enable implementation as an input to real-time next-cycle engine controller Instead of simply using the predicted engine out soot and NOx levels, control decisions could be made based on the trajectory. This has the potential to save large amounts of calibration time because with minor tuning (the model has only one automatically determined constant) it is hoped that the control algorithm would be generally applicable.

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

  17. Water Formatics Engineered formation of nanobubbles networks

    E-Print Network [OSTI]

    Jacob, Eshel Ben

    Water Formatics Engineered formation of nanobubbles networks in water and aqueous solutions We present the idea that the anomalous effects of rf-treatments of water and aqueous solution resulted from-bubble exchange interactions. These exchange interactions are mediated by the ordering of the water molecules

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

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

  20. Hubble Tarantula Treasury Project. III. Photometric Catalog and Resulting Constraints on the Progression of Star Formation in the 30 Doradus Region

    E-Print Network [OSTI]

    Sabbi, E; Anderson, J; Cignoni, M; van der Marel, R P; Zaritsky, D; de Marchi, G; Panagia, N; Gouliermis, D A; Grebel, E K; Gallager, J S; Smith, L J; Sana, H; Aloisi, A; Tosi, M; Evans, C J; Arab, H; Boyer, M; de Mink, S E; Gordon, K; Koekemoer, A M; Larsen, S S; Ryon, J E; Zeidler, P

    2015-01-01

    We present and describe the astro-photometric catalog of more than 800,000 sources found in the Hubble Tarantula Treasury Project (HTTP). HTTP is a Hubble Space Telescope (HST) Treasury program designed to image the entire 30 Doradus region down to the sub-solar (~0.5 solar masses) mass regime using the Wide Field Camera 3 (WFC3) and the Advanced Camera for Surveys (ACS). We observed 30 Doradus in the near ultraviolet (F275W, F336W), optical (F555W, F658N, F775W), and near infrared (F110W, F160W) wavelengths. The stellar photometry was measured using point-spread function (PSF) fitting across all the bands simultaneously. The relative astrometric accuracy of the catalog is 0.4 mas. The astro-photometric catalog, results from artificial star experiments and the mosaics for all the filters are available for download. Color-magnitude diagrams are presented showing the spatial distributions and ages of stars within 30 Dor as well as in the surrounding fields. HTTP provides the first rich and statistically signifi...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  15. OpenEI Community - result formats

    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 downloadGRR 3rd Quarter -/0 en

  16. Help:FormattingResults | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavy ElectricalsFTLTechnology Srl Jump to:source HistoryFacebook icon

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

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

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

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

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

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

  3. Word formation in Thadou

    E-Print Network [OSTI]

    Haokip, Pauthang

    2014-01-01

    As stated above, compound words of Thadou are mostlyNote that the resulting new words are always nouns. a. b. c.bad’ (negative) Haokip: Word formation in Thadou a. â-sâa ?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  18. Mixed-mode diesel HCCI with External Mixture Formation: Preliminary...

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

    Mixed-mode diesel HCCI with External Mixture Formation: Preliminary Results Mixed-mode diesel HCCI with External Mixture Formation: Preliminary Results 2003 DEER Conference...

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

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

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

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

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

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

  5. Where the Semantic Web and Web 2.0 Meet Format Risk Management: P2 Registry

    E-Print Network [OSTI]

    Tarrant, David; Hitchcock, Steve; Carr, Les

    2009-01-01

    of human-readable web pages. In a series of tutorials HeathHTML page would be the default location displayed by web

  6. Method of fracturing a geological formation

    DOE Patents [OSTI]

    Johnson, James O. (2679-B Walnut, Los Alamos, NM 87544)

    1990-01-01

    An improved method of fracturing a geological formation surrounding a well bore is disclosed. A relatively small explosive charge is emplaced in a well bore and the bore is subsequently hydraulically pressurized to a pressure less than the formation breakdown pressure and preferably greater than the fracture propagation pressure of the formation. The charge is denoted while the bore is so pressurized, resulting in the formation of multiple fractures in the surrounding formation with little or no accompanying formation damage. Subsequent hydraulic pressurization can be used to propagate and extend the fractures in a conventional manner. The method is useful for stimulating production of oil, gas and possibly water from suitable geologic formations.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  18. First Structure Formation and the First Stars

    E-Print Network [OSTI]

    Michael L. Norman; Tom Abel; Greg Bryan

    2000-05-11

    We discuss the results of recent 3D simulations of first structure formation in relationship to the formation of the first stars. On the basis of a new, high-resolution AMR simulation (spatial dynamic range = 30,000,000), we conclude that the first stars are likely to be massive.

  19. Heating tar sands formations to visbreaking temperatures

    DOE Patents [OSTI]

    Karanikas, John Michael (Houston, TX); Colmenares, Tulio Rafael (Houston, TX); Zhang, Etuan (Houston, TX); Marino, Marian (Houston, TX); Roes, Augustinus Wilhelmus Maria (Houston, TX); Ryan, Robert Charles (Houston, TX); Beer, Gary Lee (Houston, TX); Dombrowski, Robert James (Houston, TX); Jaiswal, Namit (Houston, TX)

    2009-12-22

    Methods for treating a tar sands formation are described herein. Methods may include heating at least a section of a hydrocarbon layer in the formation from a plurality of heaters located in the formation. The heat may be controlled so that at least a majority of the section reaches an average temperature of between 200.degree. C. and 240.degree. C., which results in visbreaking of at least some hydrocarbons in the section. At least some visbroken hydrocarbon fluids may be produced from the formation.

  20. Planet formation and migration

    E-Print Network [OSTI]

    John C B Papaloizou; Caroline Terquem

    2005-11-28

    We review the observations of extrasolar planets, ongoing developments in theories of planet formation, orbital migration, and the evolution of multiplanet systems.

  1. Newspaper Archives on the Semantic Web P. Castells1

    E-Print Network [OSTI]

    -demand distribution and/or sale of information packages through dif- ferent channels and transmission formats has. Newspaper archives are a highly valuable information asset for the widest range of information consumer, news writers themselves. Providing technology for news archive construction, manage- ment, access

  2. Prod-Trees: Semantic Search for Earth Observation Products

    E-Print Network [OSTI]

    Koubarakis, Manolis

    of set of self-describing, machine-independent data formats and software libraries that support search- ing for EO products by selecting some high level categories (e.g., the mission from which and temporal filtering criteria. Although this might suit the needs of very advanced users that know exactly

  3. A Semantic Image Annotation Model to Enable Integrative Translational Research

    E-Print Network [OSTI]

    Rubin, Daniel L.

    , MS1,2 Pattanasak Mongkolwat, PhD3 and David S. Channin, MD3 1 Department of Radiology, and 2 Center is not explicit in standard computer- accessible formats. We have developed an ontology- based representation that is not explicit and not accessible to machines. Images contain implicit knowledge about anatomy and abnormal

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  18. Membrane adhesion and domain formation

    E-Print Network [OSTI]

    Thomas R. Weikl; Reinhard Lipowsky

    2007-09-23

    We review theoretical results for the adhesion-induced phase behavior of biomembranes. The focus is on models in which the membranes are represented as discretized elastic sheets with embedded adhesion molecules. We present several mechanism that lead to the formation of domains during adhesion, and discuss the time-dependent evolution of domain patterns obtained in Monte-Carlo simulations. The simulated pattern dynamics has striking similarities to the pattern evolution observed during T cell adhesion.

  19. Sequentially Triggered Star Formation in OB Associations

    E-Print Network [OSTI]

    Thomas Preibisch; Hans Zinnecker

    2006-10-27

    We discuss observational evidence for sequential and triggered star formation in OB associations. We first review the star formation process in the Scorpius-Centaurus OB association, the nearest OB association to the Sun, where several recent extensive studies have allowed us to reconstruct the star formation history in a rather detailed way. We then compare the observational results with those obtained for other OB associations and with recent models of rapid cloud and star formation in the turbulent interstellar medium. We conclude that the formation of whole OB subgroups (each consisting of several thousand stars) requires large-scale triggering mechanisms such as shocks from expanding wind and supernova driven superbubbles surrounding older subgroups. Other triggering mechanisms, like radiatively driven implosion of globules, also operate, but seem to be secondary processes, forming only small stellar groups rather than whole OB subgroups with thousands of stars.

  20. Notes on Star Formation

    E-Print Network [OSTI]

    Krumholz, Mark R

    2015-01-01

    This book provides an introduction to the field of star formation at a level suitable for graduate students or advanced undergraduates in astronomy or physics. The structure of the book is as follows. The first two chapters begin with a discussion of observational techniques, and the basic phenomenology they reveal. The goal is to familiarize students with the basic techniques that will be used throughout, and to provide a common vocabulary for the rest of the book. The next five chapters provide a similar review of the basic physical processes that are important for star formation. Again, the goal is to provide a basis for what follows. The remaining chapters discuss star formation over a variety of scales, starting with the galactic scale and working down to the scales of individual stars and their disks. The book concludes with a brief discussion of the clearing of disks and the transition to planet formation. The book includes five problem sets, complete with solutions.

  1. Rapid gas hydrate formation process

    DOE Patents [OSTI]

    Brown, Thomas D.; Taylor, Charles E.; Unione, Alfred J.

    2013-01-15

    The disclosure provides a method and apparatus for forming gas hydrates from a two-phase mixture of water and a hydrate forming gas. The two-phase mixture is created in a mixing zone which may be wholly included within the body of a spray nozzle. The two-phase mixture is subsequently sprayed into a reaction zone, where the reaction zone is under pressure and temperature conditions suitable for formation of the gas hydrate. The reaction zone pressure is less than the mixing zone pressure so that expansion of the hydrate-forming gas in the mixture provides a degree of cooling by the Joule-Thompson effect and provides more intimate mixing between the water and the hydrate-forming gas. The result of the process is the formation of gas hydrates continuously and with a greatly reduced induction time. An apparatus for conduct of the method is further provided.

  2. Controlled Irradiative Formation of Penitentes

    E-Print Network [OSTI]

    V. Bergeron; C. Berger; M. D. Betterton

    2006-01-24

    Spike-shaped structures are produced by light-driven ablation in very different contexts. Penitentes 1-4 m high are common on Andean glaciers, where their formation changes glacier dynamics and hydrology. Laser ablation can produce cones 10-100 microns high with a variety of proposed applications in materials science. We report the first laboratory generation of centimeter-scale snow and ice penitentes. Systematically varying conditions allows identification of the essential parameters controlling the formation of ablation structures. We demonstrate that penitente initiation and coarsening requires cold temperatures, so that ablation leads to sublimation rather than melting. Once penitentes have formed, further growth of height can occur by melting. The penitentes intially appear as small structures (3 mm high) and grow by coarsening to 1-5 cm high. Our results are an important step towards understanding and controlling ablation morphologies.

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

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

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

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

  7. Loop formation in polymers in crowded environment

    E-Print Network [OSTI]

    K. Haydukivska; V. Blavatska

    2015-11-12

    We analyze the probability of a single loop formation in a long flexible polymer chain in disordered environment in $d$ dimensions. The structural defects are considered to be correlated on large distances $r$ according to a power law $\\sim r^{-a}$. Working within the frames of continuous chain model and applying the direct polymer renormalization scheme, we obtain the values of critical exponents governing the scaling of probabilities of loop formation with various positions along the chain as function of loops length. Our results quantitatively reveal that the presence of structural defects in environment decreases the probability of loop formation in polymer macromolecules.

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

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

  10. 41EurASEAA 2006, Bougon papers Natural processes iNvolved iN the formatioN of

    E-Print Network [OSTI]

    Boyer, Edmond

    site formation processes. A sedimentological study indicated that the fossiliferous layer resulted from

  11. NEWS & VIEWS PATTERN FORMATION

    E-Print Network [OSTI]

    Loss, Daniel

    no apologies for investing energy into problems of specific application to a particular process in nature, and having the curiosity to want to find out how they work. The general public, and especially children flow/surface growth system in a rarely explored region of parameter space for such pattern formation

  12. Isolating Triggered Star Formation

    E-Print Network [OSTI]

    Elizabeth J. Barton; Jacob A. Arnold; Andrew R. Zentner; James S. Bullock; Risa H. Wechsler

    2007-08-21

    Galaxy pairs provide a potentially powerful means of studying triggered star formation from galaxy interactions. We use a large cosmological N-body simulation coupled with a well-tested semi-analytic substructure model to demonstrate that the majority of galaxies in close pairs reside within cluster or group-size halos and therefore represent a biased population, poorly suited for direct comparison to ``field'' galaxies. Thus, the frequent observation that some types of galaxies in pairs have redder colors than ``field'' galaxies is primarily a selection effect. We select galaxy pairs that are isolated in their dark matter halos with respect to other massive subhalos (N=2 halos) and a control sample of isolated galaxies (N=1 halos) for comparison. We then apply these selection criteria to a volume-limited subset of the 2dF Galaxy Redshift Survey with M_Bj ~ 5 above their average past value, while only 10% of isolated galaxies in the control sample show this level of enhancement. Thus, 14% (20 %) of the galaxies in these close pairs show clear triggered star formation. The isolation criteria we develop provide a means to constrain star formation and feedback prescriptions in hydrodynamic simulations and a very general method of understanding the importance of triggered star formation in a cosmological context. (Abridged.)

  13. Emptiness Formation Probability

    E-Print Network [OSTI]

    Nicholas Crawford; Stephen Ng; Shannon Starr

    2014-12-30

    We present rigorous upper and lower bounds on the emptiness formation probability for the ground state of a spin-$1/2$ Heisenberg XXZ quantum spin system. For a $d$-dimensional system we find a rate of decay of the order $\\exp(-c L^{d+1})$ where $L$ is the sidelength of the box in which we ask for the emptiness formation event to occur. In the $d=1$ case this confirms previous predictions made in the integrable systems community, though our bounds do not achieve the precision predicted by Bethe ansatz calculations. On the other hand, our bounds in the case $d \\geq 2$ are new. The main tools we use are reflection positivity and a rigorous path integral expansion which is a variation on those previously introduced by Toth, Aizenman-Nachtergaele and Ueltschi.

  14. Formate-assisted pyrolysis

    DOE Patents [OSTI]

    DeSisto, William Joseph; Wheeler, Marshall Clayton; van Heiningen, Adriaan R. P.

    2015-03-17

    The present invention provides, among other thing, methods for creating significantly deoxygenated bio-oils form biomass including the steps of providing a feedstock, associating the feedstock with an alkali formate to form a treated feedstock, dewatering the treated feedstock, heating the dewatered treated feedstock to form a vapor product, and condensing the vapor product to form a pyrolysis oil, wherein the pyrolysis oil contains less than 30% oxygen by weight.

  15. A Recipe for Galaxy Formation Shaun Cole

    E-Print Network [OSTI]

    Alfonso Aragon-Salamanca; Carlos S. Frenk; Julio F. Navarro; Stephen E. Zepf

    1994-02-01

    We present a detailed prescription for how galaxy formation can be modelled in hierarchical theories of structure formation. Our model incorporates the formation and merging of dark matter halos, the shock heating and radiative cooling of baryonic gas gravitationally confined in these halos, the formation of stars regulated by the energy released by evolving stars and supernovae, the merging of galaxies within dark matter halos, and the spectral evolution of the stellar populations that are formed. The procedure that we describe is very flexible and can be applied to any hierarchical clustering theory. We explore the effects of varying the stellar initial mass function, star formation rates and galaxy merging. The results we compare with an extensive range of observational data, including the B and K galaxy luminosity functions, galaxy colours, the Tully-Fisher relation and galaxy number counts.These data strongly constrain the models and enable the relative importance of each of the physical process to be assessed. We present a broadly successful model defined by a plausible choice of parameters. This fiducial model produces a much more acceptable luminosity function than most previous studies. This is achieved through a modest rate of galaxy mergers and strong suppression of star formation in halos of low circular velocity. However, it fails to produce galaxies as red as many observed ellipticals and, compared with the observed Tully-Fisher relation, the model galaxies have circular velocities which are too large. ** uuencoded compressed postscript file containing all text and figures.**

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

  17. (Non) formation of methanol by direct hydrogenation of formate on copper catalysts

    SciTech Connect (OSTI)

    Yang, Yong; Mims, Charles A.; Disselkamp, Robert S.; Kwak, Ja Hun; Peden, Charles HF; Campbell, C. T.

    2010-10-14

    We have attempted to hydrogenate adsorbed formate species on copper catalysts to probe the importance of this postulated mechanistic step in methanol synthesis. Surface formate coverages up to 0.25 were produced at temperatures between 413K and 453K on supported (Cu/SiO2) copper and unsupported copper catalysts. The adlayers were produced by various methods including (1) steady state catalytic conditions in CO2-H2 (3:1, 6 bar) atmospheres, and (2) by exposure of the catalysts to formic acid. As reported in earlier work, the catalytic surface at steady state contains bidentate formate species with coverages up to saturation levels of ~ 0.25 at the low temperatures of this study. The reactivity of these formate adlayers was investigated at relevant reaction temperatures in atmospheres containing up to 6 bar H2 partial pressure by simultaneous mass spectrometry (MS) and infrared (IR) spectroscopy measurements. The yield of methanol during the attempted hydrogenation (“titration”) of these adlayers was insignificant (<0.2 mol % of the formate adlayer) even in dry hydrogen partial pressures up to 6 bar. Hydrogen titration of formate species produced from formic acid also failed to produce significant quantities of methanol, and attempted titration in gases consisting of CO-hydrogen mixtures or dry CO2 were also unproductive. The formate decomposition kinetics, measured by IR, were also unaffected by these changes in the gas composition. Similar experiments on unsupported copper also failed to show any methanol. From these results, we conclude that methanol synthesis on copper cannot result from the direct hydrogenation of (bidentate) formate species in simple steps involving adsorbed H species alone. Furthermore, experiments performed on both supported (Cu/SiO2) and unsupported copper catalysts gave similar results implying that the methanol synthesis reaction mechanism only involves metal surface chemistry. Pre-exposure of the bidentate formate adlayer to oxidation by O2 or N2O produces a change to a monodentate configuration. Attempted titration of this monodentate formate/O coadsorbed layer in dry hydrogen produces significant quantities of methanol, although decomposition of formate to carbon dioxide and hydrogen remains the dominant reaction pathway. Simultaneous production of water is also observed during this titration as the copper surface is re-reduced. These results indicate that co-adsorbates related to surface oxygen or water-derived species may be critical to methanol production on copper, perhaps assisting in the hydrogenation of adsorbed formate to adsorbed methoxyl.

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

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

  20. Petroleum Engineering 321 Formation Evaluation

    E-Print Network [OSTI]

    measurements to estimate hydrocarbon reserves and petrophysical properties of the formation such as porosity Description: Introduction to well-log interpretation for formation evaluation of hydrocarbon, net pay thickness, water/hydrocarbon saturation, permeability, and saturation-dependent capillary

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

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

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

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

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

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

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

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

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

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

  11. Formation of helical ion chains

    E-Print Network [OSTI]

    Ramil Nigmatullin; Adolfo del Campo; Gabriele De Chiara; Giovanna Morigi; Martin B. Plenio; Alex Retzker

    2015-08-25

    We study the nonequilibrium dynamics of the linear to zigzag structural phase transition exhibited by an ion chain confined in a trap with periodic boundary conditions. The transition is driven by reducing the transverse confinement at a finite quench rate, which can be accurately controlled. This results in the formation of zigzag domains oriented along different transverse planes. The twists between different domains can be stabilized by the topology of the trap and under laser cooling the system has a chance to relax to a helical chain with nonzero winding number. Molecular dynamics simulations are used to obtain a large sample of possible trajectories for different quench rates. The scaling of the average winding number with different quench rates is compared to the prediction of the Kibble-Zurek theory, and a good quantitative agreement is found.

  12. The Formation of Primordial Luminous Objects

    E-Print Network [OSTI]

    Emanuele Ripamonti; Tom Abel

    2005-07-06

    In these lecture notes we review the current knowledge about the formation of the first luminous objects. We start from the cosmological context of hierarchical models of structure formation, and discuss the main physical processes which are believed to lead to primordial star formation, i.e. the cooling processes and the chemistry of molecules (especially H2) in a metal-free gas. We then describe the techniques and results of numerical simulations, which indicate that the masses of the first luminous objects are likely to be much larger than that of present-day stars. Finally, we discuss the scenario presented above, exposing some of the most interesting problems which are currently being investigated, such as that of the feedback effects of these objects.

  13. Chaos in Terrestrial Planet Formation

    E-Print Network [OSTI]

    Volker Hoffmann; Simon L. Grimm; Ben Moore; Joachim Stadel

    2015-08-04

    Terrestrial planets are thought to be the result of a vast number of gravitational interactions and collisions between smaller bodies. We use numerical simulations to show that practically identical initial conditions result in a wide array of final planetary configurations. This highly chaotic behaviour questions the predictability of different scenarios for the formation and evolution of our solar system and planetary systems in general. However, multiple realisations of the same initial conditions can be used to predict certain global statistics. We present two sets of numerical experiments that quantify this behaviour. Firstly, we demonstrate that simulations with slightly displaced particles are completely divergent after ~500 years, irrespective of initial displacement, particle number, and code accuracy. If a single planetesimal is moved by less than one millimetre, then a different set of planets results -- this timescale for chaotic divergence decreases with increasing particle number. Secondly, we show final planetary configurations of initially similar simulations with and without giant planets after evolving them for ~148 Myr. We find that the same simulations including giant planets tend to generate higher mass planets at lower semi-major axes than simulations without gas giants. This prediction can be tested with forthcoming observational programs. By extracting outliers in the observations, we cautiously predict that Kepler-10, Kepler-9, 61 Vir, HD 134060, and HD 51608 may host as yet undetected giant planets.

  14. DUST FORMATION IN MACRONOVAE

    SciTech Connect (OSTI)

    Takami, Hajime; Ioka, Kunihito [Institute of Particle and Nuclear Studies, KEK, 1-1, Oho, Tsukuba 305-0801 (Japan); Nozawa, Takaya, E-mail: takami@post.kek.jp, E-mail: kunihito.ioka@kek.jp, E-mail: takaya.nozawa@nao.ac.jp [National Astronomical Observatory of Japan, 2-21-1, Osawa, Mitaka, Tokyo 181-8588 (Japan)

    2014-07-01

    We examine dust formation in macronovae (as known as kilonovae), which are the bright ejecta of neutron star binary mergers and one of the leading sites of r-process nucleosynthesis. In light of information about the first macronova candidate associated with GRB 130603B, we find that dust grains of r-process elements have difficulty forming because of the low number density of the r-process atoms, while carbon or elements lighter than iron can condense into dust if they are abundant. Dust grains absorb emission from ejecta with an opacity even greater than that of the r-process elements, and re-emit photons at infrared wavelengths. Such dust emission can potentially account for macronovae without r-process nucleosynthesis as an alternative model. This dust scenario predicts a spectrum with fewer features than the r-process model and day-scale optical-to-ultraviolet emission.

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

  16. The modelling of feedback in star formation simulations

    E-Print Network [OSTI]

    Dale, James E

    2015-01-01

    I review the current state of numerical simulations of stellar feedback in the context of star formation at scales ranging from the formation of individual stars to models of galaxy formation including cosmic reionisation. I survey the wealth of algorithms developed recently to solve the radiative transfer problem and to simulate stellar winds, supernovae and protostellar jets. I discuss the results of these simulations with regard to star formation in molecular clouds, the interaction of different feedback mechanisms with each other and with magnetic fields, and in the wider context of galactic-- and cosmological--scale simulations.

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

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

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

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

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

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

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

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

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

  6. RAPID DUST FORMATION IN NOVAE: THE SPEED CLASS—FORMATION TIMESCALE CORRELATION EXPLAINED

    SciTech Connect (OSTI)

    Williams, S. C.; Bode, M. F.; Darnley, M. J.; Evans, A.; Zubko, V.; Shafter, A. W.

    2013-11-10

    Observations show that the time of onset of dust formation in classical novae depends strongly on their speed class, with dust typically taking longer to form in slower novae. Using empirical relationships between speed class, luminosity and ejection velocity, it can be shown that dust formation timescale is expected to be essentially independent of speed class. However, following a nova outburst the spectrum of the central hot source evolves, with an increasing proportion of the radiation being emitted short-ward of the Lyman limit. The rate at which the spectrum evolves also depends on the speed class. We have therefore refined the simple model by assuming photons at energies higher than the Lyman limit are absorbed by neutral hydrogen gas internal to the dust formation sites, therefore preventing these photons reaching the nucleation sites. With this refinement the dust formation timescale is theoretically dependent on speed class and the results of our theoretical modification agree well with the observational data. We consider two types of carbon-based dust, graphite and amorphous carbon, with both types producing similar relationships. Our results can be used to predict when dust will form in a nova of a given speed class and hence when observations should optimally be taken to detect the onset of dust formation.

  7. Masers and star formation

    E-Print Network [OSTI]

    Vincent L. Fish

    2007-04-02

    Recent observational and theoretical advances concerning astronomical masers in star forming regions are reviewed. Major masing species are considered individually and in combination. Key results are summarized with emphasis on present science and future prospects.

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

  9. Naked Singularity formation in scalar field collapse

    E-Print Network [OSTI]

    Rituparno Goswami; Pankaj S Joshi

    2004-10-28

    We construct here a class of collapsing scalar field models with a non-zero potential, which result in a naked singularity as collapse end state. The weak energy condition is satisfied by the collapsing configuration. It is shown that physically it is the rate of collapse that governs either the black hole or naked singularity formation as the final state for the dynamical evolution. It is seen that the cosmic censorship is violated in dynamical scalar field collapse.

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

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

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

  13. Uncovering Fundamental Ash-Formation Mechanisms and Potential Means to Control the Impact on DPF Performance and Engine Efficiency

    Broader source: Energy.gov [DOE]

    Results illustrate ash particle growth and formation pathways, and influence of lubricant chemistry and exhaust conditions on fundamental ash properties

  14. Sequestration of Dissolved CO2 in the Oriskany Formation

    SciTech Connect (OSTI)

    Dilmore, R.M.; Allen, D.E. (Salem State College, Salem, MA); McCarthy-Jones, J.R.; Hedges, S.W.; Soong, Yee

    2008-04-15

    Experiments were conducted to determine the solubility of CO2 in a natural brine solution of the Oriskany formation under elevated temperature and pressure conditions. These data were collected at temperatures of 22 and 75 °C and pressures between 100 and 450 bar. Experimentally determined data were compared with CO2 solubility predictions using a model developed by Duan and Sun (Chem. Geol. 2003, 193, 257-271). Model results compare well with Oriskany brine CO2 solubility data collected experimentally, suggesting that the Duan and Sun model is a reliable tool for estimating solution CO2 capacity in high salinity aquifers in the temperature and pressure range evaluated. The capacity for the Oriskany formation to sequester dissolved CO2 was calculated using results of the solubility models, estimation of the density of CO2 saturated brine, and available geographic information system (GIS) information on the formation depth and thickness. Results indicate that the Oriskany formation can hold approximately 0.36 gigatonnes of dissolved CO2 if the full basin is considered. When only the region where supercritical CO2 can exist (temperatures greater than 31° C and pressures greater than 74 bar) is considered, the capacity of the Oriskany formation to sequester dissolved CO2 is 0.31 gigatonnes. The capacity estimate considering the potential to sequester free-phase supercritical CO2 if brine were displaced from formation pore space is 8.8 gigatonnes in the Oriskany formation.

  15. Treating tar sands formations with karsted zones

    DOE Patents [OSTI]

    Vinegar, Harold J. (Bellaire, TX); Karanikas, John Michael (Houston, TX)

    2010-03-09

    Methods for treating a tar sands formation are described herein. The tar sands formation may have one or more karsted zones. Methods may include providing heat from one or more heaters to one or more karsted zones of the tar sands formation to mobilize fluids in the formation. At least some of the mobilized fluids may be produced from the formation.

  16. Use-driven concept formation

    E-Print Network [OSTI]

    Roberts, Jennifer M. (Jennifer Marie)

    2010-01-01

    When faced with a complex task, humans often identify domain-specific concepts that make the task more tractable. In this thesis, I investigate the formation of domain-specific concepts of this sort. I propose a set of ...

  17. Brown dwarf formation Gilles Chabrier

    E-Print Network [OSTI]

    Joergens, Viki

    : not observed ! Constraints on BD formation/ejection by disk instability: magnetic field No B (pure hydro accretion - Collapse of a cloud -> starts forming small N-body clusters of small (~10-3 Msol

  18. Cross Domain Mathematical Concept Formation 

    E-Print Network [OSTI]

    Steel, Graham; Colton, Simon; Bundy, Alan; Walsh, Toby

    2000-01-01

    Many interesting concepts in mathematics are essentially "cross-domain" in nature, relating objects from more than one area of mathematics, e.g. prime order groups. These concepts are often vital to the formation of a ...

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

  20. Motivation Model Results Summary A generative model for feedback networks

    E-Print Network [OSTI]

    White, Douglas R.

    Motivation Model Results Summary A generative model for feedback networks D.R. White1 N. Kejzar2 C #12;Motivation Model Results Summary Outline 1 Motivation An example 2 Model 3 Results Network properties Simulations #12;Motivation Model Results Summary Cycle formation in growing network How to model

  1. NOx Formation in a Premixed Syngas Flame

    SciTech Connect (OSTI)

    Yilmaz, S.L. (University of Pittsburgh, Pittsburgh, PA); Givi, P. (University of Pittsburgh, Pittsburgh, PA); Strakey, P.; Casleton, K.

    2006-11-01

    Reduction of NOx is a subject of significant current interest in stationary gas turbines. The objective of this study is to examine the effects of turbulence on non-thermal NOx formation in a syngas flame. This is archived by a detailed parametric study via PDF simulations of a partially stirred reactor and a dumped axisymmetric premixed flame. Several different detailed and reduced kinetics schemes are considered. The simulated results demonstrate the strong dependence of combustion process on turbulence. It is shown that the amount of NOx formation is significantly influenced by the inlet conditions. That is, the turbulence intensity can be tweaked to attain optimal ultra-low NOx emissions at a given temperature.

  2. Reconstructing the Star Formation Histories of Galaxies

    E-Print Network [OSTI]

    Uta Fritze; Thomas Lilly

    2007-01-15

    We present a methodological study to find out how far back and to what precision star formation histories of galaxies can be reconstructed from CMDs, from integrated spectra and Lick indices, and from integrated multi-band photometry. Our evolutionary synthesis models GALEV allow to describe the evolution of galaxies in terms of all three approaches and we have assumed typical observational uncertainties for each of them and then investigated to what extent and accuracy different star formation histories can be discriminated. For a field in the LMC bar region with both a deep CMD from HST observations and a trailing slit spectrum across exactly the same field of view we could test our modelling results against real data.

  3. Nanodot formation induced by femtosecond laser irradiation

    SciTech Connect (OSTI)

    Abere, M. J.; Kang, M.; Goldman, R. S.; Yalisove, S. M. [Department of Materials Science and Engineering, University of Michigan, Ann Arbor, Michigan 48109 (United States); Chen, C. [Applied Physics Program, University of Michigan, Ann Arbor, Michigan 48109 (United States); Rittman, D. R. [Department of Nuclear Engineering and Radiological Sciences, University of Michigan, Ann Arbor, Michigan 48109 (United States); Phillips, J. D. [Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, Michigan 48109 (United States); Torralva, B. [Department of Atmospheric, Oceanic, and Space Sciences, University of Michigan, Ann Arbor, Michigan 48109 (United States)

    2014-10-20

    The femtosecond laser generation of ZnSe nanoscale features on ZnSe surfaces was studied. Irradiation with multiple exposures produces 10–100?nm agglomerations of nanocrystalline ZnSe while retaining the original single crystal structure of the underlying material. The structure of these nanodots was verified using a combination of scanning transmission electron microscopy, scanning electron microscopy, and atomic force microscopy. The nanodots continue to grow hours after irradiation through a combination of bulk and surface diffusion. We suggest that in nanodot formation the result of ultrafast laser induced point defect formation is more than an order of magnitude below the ZnSe ultrafast melt threshold fluence. This unique mechanism of point defect injection will be discussed.

  4. IMPACTS OF BIOFILM FORMATION ON CELLULOSE FERMENTATION

    SciTech Connect (OSTI)

    Leschine, Susan

    2009-10-31

    This project addressed four major areas of investigation: i) characterization of formation of Cellulomonas uda biofilms on cellulose; ii) characterization of Clostridium phytofermentans biofilm development; colonization of cellulose and its regulation; iii) characterization of Thermobifida fusca biofilm development; colonization of cellulose and its regulation; and iii) description of the architecture of mature C. uda, C. phytofermentans, and T. fusca biofilms. This research is aimed at advancing understanding of biofilm formation and other complex processes involved in the degradation of the abundant cellulosic biomass, and the biology of the microbes involved. Information obtained from these studies is invaluable in the development of practical applications, such as the single-step bioconversion of cellulose-containing residues to fuels and other bioproducts. Our results have clearly shown that cellulose-decomposing microbes rapidly colonize cellulose and form complex structures typical of biofilms. Furthermore, our observations suggest that, as cells multiply on nutritive surfaces during biofilms formation, dramatic cell morphological changes occur. We speculated that morphological changes, which involve a transition from rod-shaped cells to more rounded forms, might be more apparent in a filamentous microbe. In order to test this hypothesis, we included in our research a study of biofilm formation by T. fusca, a thermophilic cellulolytic actinomycete commonly found in compost. The cellulase system of T. fusca has been extensively detailed through the work of David Wilson and colleagues at Cornell, and also, genome sequence of a T. fusca strain has been determine by the DOE Joint Genome Institute. Thus, T. fusca is an excellent subject for studies of biofilm development and its potential impacts on cellulose degradation. We also completed a study of the chitinase system of C. uda. This work provided essential background information for understanding how C. uda colonizes and degrades insoluble substrates. Major accomplishments of the project include: • Development of media containing dialysis tubing (described by the manufacturer as “regenerated cellulose”) as sole carbon and energy source and a nutritive surface for the growth of cellulolytic bacteria, and development of various microscopic methods to image biofilms on dialysis tubing. • Demonstration that cultures of C. phytofermentans, an obligate anaerobe, C. uda, a facultative aerobe, and T. fusca, a filamentous aerobe, formed microbial communities on the surface of dialysis tubing, which possessed architectural features and functional characteristics typical of biofilms. • Demonstration that biofilm formation on the nutritive surface, cellulose, involves a complex developmental processes, including colonization of dialysis tubing, formation of cell clusters attached to the nutritive surface, cell morphological changes, formation of complex structures embedded in extracellular polymeric matrices, and dispersal of biofilm communities as the nutritive surface is degraded. • Determination of surface specificity and regulatory aspects of biofilm formation by C. phytofermentans, C. uda, and T. fusca. • Demonstration that biofilm formation by T. fusca forms an integral part of the life cycle of this filamentous cellulolytic bacterium, including studies on the role of mycelial pellet formation in the T. fusca life cycle and a comparison of mycelial pellets to surface-attached T. fusca biofilms. • Characterization of T. fusca biofilm EPS, including demonstration of a functional role for EPS constituents. • Correlation of T. fusca developmental life cycle and cellulase gene expression.

  5. Search results | Department of Energy

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

    downloadsmonitoring-and-mentoring Download Great Energy Debate Students evaluate the advantages and disadvantages of the major energy sources in an innovative debate format....

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

  7. SW New Mexico Oil Well Formation Tops

    SciTech Connect (OSTI)

    Shari Kelley

    2015-10-21

    Rock formation top picks from oil wells from southwestern New Mexico from scout cards and other sources. There are differing formation tops interpretations for some wells, so for those wells duplicate formation top data are presented in this file.

  8. Testing Disk Instability Models for Giant Planet Formation

    E-Print Network [OSTI]

    Alan P. Boss

    2007-04-09

    Disk instability is an attractive yet controversial means for the rapid formation of giant planets in our solar system and elsewhere. Recent concerns regarding the first adiabatic exponent of molecular hydrogen gas are addressed and shown not to lead to spurious clump formation in the author's disk instability models. A number of disk instability models have been calculated in order to further test the robustness of the mechanism, exploring the effects of changing the pressure equation of state, the vertical temperature profile, and other parameters affecting the temperature distribution. Possible reasons for differences in results obtained by other workers are discussed. Disk instability remains as a plausible formation mechanism for giant planets.

  9. Benzene formation in the inner regions of protostellar disks

    E-Print Network [OSTI]

    Paul M. Woods; Karen Willacy

    2006-12-08

    Benzene (c-C6H6) formation in the inner 3 AU of a protostellar disk can be efficient, resulting in high abundances of benzene in the midplane region. The formation mechanism is different to that found in interstellar clouds and in protoplanetary nebulae, and proceeds mainly through the reaction between allene (C3H4) and its ion. This has implications for PAH formation, in that some fraction of PAHs seen in the solar system could be native rather than inherited from the interstellar medium.

  10. The Onset of Planet Formation in Brown Dwarf Disks

    E-Print Network [OSTI]

    D. Apai; I. Pascucci; J. Bouwman; A. Natta; Th. Henning; C. P. Dullemond

    2005-11-14

    The onset of planet formation in protoplanetary disks is marked by the growth and crystallization of sub-micron-sized dust grains accompanied by dust settling toward the disk mid-plane. Here we present infrared spectra of disks around brown dwarfs and brown dwarf candidates. We show that all three processes occur in such cool disks in a way similar or identical to that in disks around low- and intermediate-mass stars. These results indicate that the onset of planet formation extends to disks around brown dwarfs, suggesting that planet formation is a robust process occurring in most young circumstellar disks.

  11. Star Formation in Mergers and Interacting Galaxies: Gathering the Fuel

    E-Print Network [OSTI]

    Curtis Struck

    2006-10-06

    Selected results from recent studies of star formation in galaxies at different stages of interaction are reviewed. Recent results from the Spitzer Space Telescope are highlighted. Ideas on how large-scale driving of star formation in interacting galaxies might mesh with our understanding of star formation in isolated galaxies and small scale mechanisms within galaxies are considered. In particular, there is evidence that on small scales star formation is determined by the same thermal and turbulent processes in cool compressed clouds as in isolated galaxies. If so, this affirms the notion that the primary role of large-scale dynamics is to gather and compress the gas fuel. In gas-rich interactions this is generally done with increasing efficiency through the merger process.

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

  13. Organic Tandem Solar Cells: Design and Formation

    E-Print Network [OSTI]

    Chen, Chun-Chao

    2015-01-01

    Angeles Organic Tandem Solar Cells: Design and Formation AOrganic Tandem Solar Cells: Design and Formation by Chun-multi-junction tandem solar-cell design. Given this design,

  14. REGULATORY COOPERATION COUNCIL - WORK PLANNING FORMAT: Natural...

    Energy Savers [EERE]

    FORMAT: Natural Gas Use in Transportation REGULATORY COOPERATION COUNCIL - WORK PLANNING FORMAT: Natural Gas Use in Transportation RCC Workplan NGV.PDF More Documents &...

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

  16. Formation of porous gas hydrates

    E-Print Network [OSTI]

    Salamatin, Andrey N

    2015-01-01

    Gas hydrates grown at gas-ice interfaces are examined by electron microscopy and found to have a submicron porous texture. Permeability of the intervening hydrate layers provides the connection between the two counterparts (gas and water molecules) of the clathration reaction and makes further hydrate formation possible. The study is focused on phenomenological description of principal stages and rate-limiting processes that control the kinetics of the porous gas hydrate crystal growth from ice powders. Although the detailed physical mechanisms involved in the porous hydrate formation still are not fully understood, the initial stage of hydrate film spreading over the ice surface should be distinguished from the subsequent stage which is presumably limited by the clathration reaction at the ice-hydrate interface and develops after the ice grain coating is finished. The model reveals a time dependence of the reaction degree essentially different from that when the rate-limiting step of the hydrate formation at...

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

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

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

  20. Controlling formation fines at their sources to maintain well productivity

    SciTech Connect (OSTI)

    Nguyen, P.D.; Weaver, J.D.; Rickman, R.D.; Dusterhoft, R.G.; Parker, M.A.

    2007-05-15

    Migration of formation fines has been shown to cause production decline in many wells. Despite the availability of new downhole tools for use in well stimulation and completion, the ability to sustain desired production levels is often plagued with fines migration problems. The solution to this problem is appropriate treatment to mitigate fines migration at its source. This paper describes the use of an ultra-thin tackifying agent (UTTA) for stabilizing fines in high-rate producing or injection wells. This UTTA is applied as part of an initial prepad in fracturing or gravel-packing operations, as a remedial treatment, or as a post-treatment following acid fracturing or matrix acidizing treatments. The primary purpose of UTTA application is to immobilize formation fines so that they will not detach, migrate with flowing fluids, plug the pore channels, and reduce the flow path permeability. Results of laboratory testing indicate that the UTTA system is applicable to most types of formation fines, including coals, sandstones, and carbonates. Once injected into the formation matrix or proppant pack, the UTTA forms a thin film on formation surfaces, encapsulating the fines. Capillary action helps pull the tackifier into the contact points, fixing the particulate in place without plugging the pore throat. The UTTA does not require a shut-in time after its application. The thin film tackifier does not harden, but remains flexible, enhancing the ability of a formation to withstand stress cycling and allowing the formation to handle high shear stress during high flow rates.

  1. FED, the Font "EDitor" and Font Formats

    E-Print Network [OSTI]

    Cohen, Joseph D.

    This memo describes FED, a program used for compiling and inspecting fonts: AST font format, a text format which can be used to create and edit fonts: and KST font format, the binary format used by SCRIMP, TJ6, and PUB.

  2. The Epoch of Galaxy Formation

    E-Print Network [OSTI]

    Raul Jimenez

    2001-10-09

    I present a biased review of when the epoch of formation of galaxies (both disks and ellipticals) maybe took place. I base my arguments in simple (mostly) analytic models that have been recently developed to reproduce most of the observed photometric, chemical and dynamical properties of galaxies both at low and high redshift.

  3. Earth and Terrestrial Planet Formation

    E-Print Network [OSTI]

    Jacobson, Seth A

    2015-01-01

    The growth and composition of Earth is a direct consequence of planet formation throughout the Solar System. We discuss the known history of the Solar System, the proposed stages of growth and how the early stages of planet formation may be dominated by pebble growth processes. Pebbles are small bodies whose strong interactions with the nebula gas lead to remarkable new accretion mechanisms for the formation of planetesimals and the growth of planetary embryos. Many of the popular models for the later stages of planet formation are presented. The classical models with the giant planets on fixed orbits are not consistent with the known history of the Solar System, fail to create a high Earth/Mars mass ratio, and, in many cases, are also internally inconsistent. The successful Grand Tack model creates a small Mars, a wet Earth, a realistic asteroid belt and the mass-orbit structure of the terrestrial planets. In the Grand Tack scenario, growth curves for Earth most closely match a Weibull model. The feeding zon...

  4. Cloud Formation, Evolution and Destruction

    E-Print Network [OSTI]

    Estalella, Robert

    Chapter 4 Cloud Formation, Evolution and Destruction We now begin to trace the journey towards a star. How long does this take? The answer is surprisingly short: a good many clouds already contain new stars and these stars tend to be young. The typical cloud cannot spend long, if any time at all

  5. Formation of a compact toroid for enhanced efficiency

    SciTech Connect (OSTI)

    Mozgovoy, A. G. [P.N. Lebedev Physical Institute, Moscow 119991 (Russian Federation)] [P.N. Lebedev Physical Institute, Moscow 119991 (Russian Federation); Romadanov, I. V.; Ryzhkov, S. V., E-mail: ryzhkov@power.bmstu.ru [Bauman Moscow State Technical University, Moscow 105005 (Russian Federation)

    2014-02-15

    We report here our results on the formation of a plasma configuration with the generic name of compact toroid (CT). A method of compact toroid formation to confine, heat and compress a plasma is investigated. Formation of a compact torus using an additional toroidal magnetic field helps to increase the plasma current to a maintainable level of the original magnetic field. We design the Compact Toroid Challenge (CTC) experiment in order to improve the magnetic flux trapping during field reversal in the formation of a compact toroid. The level of the magnetic field immersed in the plasma about 70% of the primary field is achieved. The CTC device and scheme of high level capturing of magnetic flux are presented.

  6. Environment and the cosmic evolution of star formation

    E-Print Network [OSTI]

    Ravi K. Sheth; Raul Jimenez; Ben Panter; Alan Heavens

    2006-04-27

    We present a mark correlation analysis of the galaxies in the Sloan Digital Sky Survey using weights provided by MOPED. The large size of the sample permits statistically significant statements about how galaxies with different metallicities and star formation histories are spatially correlated. Massive objects formed a larger fraction of their stars at higher redshifts and over shorter timescales than did less massive objects (sometimes called down-sizing). We find that those galaxies which dominated the cosmic star formation at z~3 are predominantly in clusters today, whereas galaxies which dominate the star formation at z~0 inhabit substantially lower mass objects in less dense regions today. Hence, our results indicate that star formation and chemical enrichment occured first in the denser regions of the Universe, and moved to less dense regions at later times.

  7. Rapid gas hydrate formation processes: Will they work?

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

    Brown, Thomas D.; Taylor, Charles E.; Bernardo, Mark P.

    2010-06-07

    Researchers at DOE’s National Energy Technology Laboratory (NETL) have been investigating the formation of synthetic gas hydrates, with an emphasis on rapid and continuous hydrate formation techniques. The investigations focused on unconventional methods to reduce dissolution, induction, nucleation and crystallization times associated with natural and synthetic hydrates studies conducted in the laboratory. Numerous experiments were conducted with various high-pressure cells equipped with instrumentation to study rapid and continuous hydrate formation. The cells ranged in size from 100 mL for screening studies to proof-of-concept studies with NETL’s 15-Liter Hydrate Cell. The results from this work demonstrate that the rapid and continuousmore »formation of methane hydrate is possible at predetermined temperatures and pressures within the stability zone of a Methane Hydrate Stability Curve.« less

  8. Rapid Gas Hydrate Formation Processes: Will They Work?

    SciTech Connect (OSTI)

    Brown, Thomas D.; Taylor, Charles E.; Bernardo, Mark P.

    2010-06-01

    Researchers at DOE’s National Energy Technology Laboratory (NETL) have been investigating the formation of synthetic gas hydrates, with an emphasis on rapid and continuous hydrate formation techniques. The investigations focused on unconventional methods to reduce dissolution, induction, nucleation and crystallization times associated with natural and synthetic hydrates studies conducted in the laboratory. Numerous experiments were conducted with various high-pressure cells equipped with instrumentation to study rapid and continuous hydrate formation. The cells ranged in size from 100 mL for screening studies to proof-of-concept studies with NETL’s 15-Liter Hydrate Cell. Results from this work demonstrate that the rapid and continuous formation of methane hydrate is possible at predetermined temperatures and pressures within the stability zone of a Methane Hydrate Stability Curve.

  9. The Mechanism of First Raindrops Formation in Deep Convective Clouds

    SciTech Connect (OSTI)

    Khain, Alexander; Prabha, Thara; Benmoshe, Nir; Pandithurai, G.; Ovchinnikov, Mikhail

    2013-08-22

    The formation of first raindrops in deep convective clouds is investigated. A combination of observational data analysis and 2-D and 3-D numerical bin microphysical simulations of deep convective clouds suggests that the first raindrops form at the top of undiluted or slightly diluted cores. It is shown that droplet size distributions in these regions are wider and contain more large droplets than in diluted volumes. The results of the study indicate that the initial raindrop formation is determined by the basic microphysical processes within ascending adiabatic volumes. It allows one to predict the height of the formation of first raindrops considering the processes of nucleation, diffusion growth and collisions. The results obtained in the study explain observational results reported by Freud and Rosenfeld (2012) according to which the height of first raindrop formation depends linearly on the droplet number concentration at cloud base. The results also explain why a simple adiabatic parcel model can reproduce this dependence. The present study provides a physical basis for retrieval algorithms of cloud microphysical properties and aerosol properties using satellites proposed by Rosenfeld et al. ( 2012). The study indicates that the role of mixing and entrainment in the formation of the first raindrops is not of crucial importance. It is also shown that low variability of effective and mean volume radii along horizontal traverses, as regularly observed by in situ measurements, can be simulated by high-resolution cloud models, in which mixing is parameterized by a traditional 1.5 order turbulence closure scheme.

  10. Treating tar sands formations with dolomite

    DOE Patents [OSTI]

    Vinegar, Harold J.; Karanikas, John Michael

    2010-06-08

    Methods for treating a tar sands formation are described herein. The tar sands formation may include dolomite and hydrocarbons. Methods may include providing heat at less than the decomposition temperature of dolomite from one or more heaters to at least a portion of the formation. At least some of the hydrocarbon fluids are mobilized in the formation. At least some of the hydrocarbon fluids may be produced from the formation.

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

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

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

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

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

  16. Search results | Department of Energy

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

    formation can have a favorable outcome in producing plants that have higher levels of cellulose than the parent plant. The cellulose yield is most important in the production of...

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

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

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

  20. Vesicle dynamics in elongation flow: Wrinkling instability and bud formation

    E-Print Network [OSTI]

    Vasiliy Kantsler; Enrico Segre; Victor Steinberg

    2007-04-30

    We present experimental results on the relaxation dynamics of vesicles subjected to a time-dependent elongation flow. We observed and characterized a new instability, which results in the formation of higher order modes of the vesicle shape (wrinkles), after a switch in the direction of the gradient of the velocity. This surprising generation of membrane wrinkles can be explained by the appearance of a negative surface tension during the vesicle deflation, due to compression in a sign-switching transient. Moreover, the formation of buds in the vesicle membrane has been observed in the vicinity of the dynamical transition point.

  1. Vesicle dynamics in elongation flow: Wrinkling instability and bud formation

    E-Print Network [OSTI]

    Kantsler, Vasiliy; Steinberg, Victor; 10.1103/PhysRevLett.99.178102

    2011-01-01

    We present experimental results on the relaxation dynamics of vesicles subjected to a time-dependent elongation flow. We observed and characterized a new instability, which results in the formation of higher order modes of the vesicle shape (wrinkles), after a switch in the direction of the gradient of the velocity. This surprising generation of membrane wrinkles can be explained by the appearance of a negative surface tension during the vesicle deflation, due to compression in a sign-switching transient. Moreover, the formation of buds in the vesicle membrane has been observed in the vicinity of the dynamical transition point.

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

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

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

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

  6. Laser beam pulse formatting method

    DOE Patents [OSTI]

    Daly, T.P.; Moses, E.I.; Patterson, R.W.; Sawicki, R.H.

    1994-08-09

    A method for formatting a laser beam pulse using one or more delay loops is disclosed. The delay loops have a partially reflective beam splitter and a plurality of highly reflective mirrors arranged such that the laser beam pulse enters into the delay loop through the beam splitter and circulates therein along a delay loop length defined by the mirrors. As the laser beam pulse circulates within the delay loop a portion thereof is emitted upon each completed circuit when the laser beam pulse strikes the beam splitter. The laser beam pulse is thereby formatted into a plurality of sub-pulses. The delay loops are used in combination to produce complex waveforms by combining the sub-pulses using additive waveform synthesis. 8 figs.

  7. Shock Formation in Lovelock Theories

    E-Print Network [OSTI]

    Harvey S. Reall; Norihiro Tanahashi; Benson Way

    2014-09-12

    We argue that Lovelock theories of gravity suffer from shock formation, unlike General Relativity. We consider the propagation of (i) a discontinuity in curvature, and (ii) weak, high frequency, gravitational waves. Such disturbances propagate along characteristic hypersurfaces of a "background" spacetime and their amplitude is governed by a transport equation. In GR the transport equation is linear. In Lovelock theories, it is nonlinear and its solutions can blow up, corresponding to the formation of a shock. We show that this effect is absent in some simple cases e.g. a flat background spacetime, and demonstrate its presence for a plane wave background. We comment on weak cosmic censorship, the evolution of shocks, and the nonlinear stability of Minkowski spacetime, in Lovelock theories.

  8. Absorption and elimination of formate following oral administration of calcium formate in female human subjects

    E-Print Network [OSTI]

    Hanzlik, Robert P.; Fowler, Stephen C.; Eells, Janis T.

    2005-02-01

    Published abstract: Calcium formate is a water-soluble salt of an essential mineral nutrient with potential for use as a dietary calcium supplement. Formate ion is a product of endogenous and xenobiotic metabolism, but sustained high plasma formate...

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

  10. Dolomite formation in the dynamic deep biosphere: results from the Peru Margin

    E-Print Network [OSTI]

    Gilli, Adrian

    /680, 1229/681 and 1230/685) and analysed for petrography, mineralogy, d13 C, d18 O and 87 Sr/86 Sr values with the d13 C values of the dissolved inorganic carbon in the associated modern porewater. Both petrography

  11. In vivo formation and persistence of modified nucleosides resulting from alkylating agents

    SciTech Connect (OSTI)

    Singer, B.

    1985-10-01

    Alkylating agents are ubiquitous in the human environment and are continuously synthesized in vivo. Although many classes exist, interest has been focused on the N-nitroso compounds, since many are mutagens for bacteria, phage, and cells, and carcinogens for mammals. In contrast to aromatic amines and polyaromatic hydrocarbons which can react at carbons, simple alkylating agents react with nitrogens and oxygens: 13 sites are possible, including the internucleotide phosphodiester. However, only the N-nitroso compounds react extensively with oxygens. In vivo, most possible derivatives have been found after administration of methyl and ethyl nitroso compounds. It has been hypothesized that the level and persistence of specific derivatives in a target cell correlates with oncogenesis. However, no single derivative can be solely responsible for this complex process, since correlations cannot be made for even a single carcinogen acting on various species or cell types. Evaluation of human exposure requires early and sensitive methods to detect the initial damage and the extent of repair of each of the many promutagenic adducts.

  12. Numerical Modeling of CO2 Sequestration in Geologic Formations - Recent Results and Open Challenges

    E-Print Network [OSTI]

    Pruess, Karsten

    2006-01-01

    crustal conditions of a geothermal gradient of 30 ?C/km andwater in a normal geothermal gradient of 30 ?C/km with ais held in a normal geothermal gradient of 30 ?C/km and is

  13. New Result Formats on OpenEI | 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: navigation,MeregNIFESpinningLtdElectric&Water Util JumpOpenEINew

  14. Structure formation: Models, Dynamics and Status

    E-Print Network [OSTI]

    T. Padmanabhan

    1995-08-25

    The constraints on the models for the structure formation arising from various cosmological observations at different length scales are reviewed. The status of different models for structure formation is examined critically in the light of these observations.

  15. XML Format for SESAME and LEOS

    SciTech Connect (OSTI)

    Durrenberger, J K; Neely, J R; Sterne, P A

    2009-04-29

    The objective of this document is to describe the XML format used by LLNL and LANL to represent the equation-of-state and related material information in the LEOS and SESAME data libraries. The primary purpose of this document is to describe a specific XML format for representing EOS data that is tailored to the nature of the underlying data and is amenable to conversion to both legacy SESAME and LEOS binary formats. The secondary purpose is to describe an XML format that lends itself to a 'natural' representation in a binary file format of the SESAME, pdb or hdf5 form so that this format and related tools can be used for the rapid and efficient development and implementation of prototype data structures. This document describes the XML format only. A working knowledge of LEOS and SESAME formats is assumed.

  16. Dynamics and control of electromagnetic satellite formations

    E-Print Network [OSTI]

    Ahsun, Umair, 1972-

    2007-01-01

    Satellite formation flying is an enabling technology for many space missions, especially for space-based telescopes. Usually there is a tight formation-keeping requirement that may need constant expenditure of fuel or at ...

  17. Formation damage in underbalanced drilling operations 

    E-Print Network [OSTI]

    Reyes Serpa, Carlos Alberto

    2003-01-01

    Formation damage has long been recognized as a potential source of reduced productivity and injectivity in both horizontal and vertical wells. From the moment that the pay zone is being drilled until the well is put on production, a formation...

  18. La cl informatique Formation Word XP

    E-Print Network [OSTI]

    Vellend, Mark

    La clé informatique Formation Word XP Aide-mémoire Hiver 2004 #12;#12;Formation Word XP Hiver 2004 1. PRÉSENTATION DE L'INTERFACE DE MICROSOFT WORD XP................ 1 1.1. L'interface générale

  19. Proportional structural effects of formative indicators

    E-Print Network [OSTI]

    Franke, George R.; Preacher, Kristopher J.; Rigdon, Ed E.

    2009-03-15

    that are proportional to their effects on the formative construct itself. This constraint has important implications for developing and testing formative models. This study demonstrates the existence of the constraint, shows that researchers must consider...

  20. Magnetic Fields in Population III Star Formation

    SciTech Connect (OSTI)

    Turk, Matthew J.; Oishi, Jeffrey S.; Abel, Tom; Bryan, Greg

    2012-02-22

    We study the buildup of magnetic fields during the formation of Population III star-forming regions, by conducting cosmological simulations from realistic initial conditions and varying the Jeans resolution. To investigate this in detail, we start simulations from identical initial conditions, mandating 16, 32 and 64 zones per Jeans length, and studied the variation in their magnetic field amplification. We find that, while compression results in some amplification, turbulent velocity fluctuations driven by the collapse can further amplify an initially weak seed field via dynamo action, provided there is sufficient numerical resolution to capture vortical motions (we find this requirement to be 64 zones per Jeans length, slightly larger than, but consistent with previous work run with more idealized collapse scenarios). We explore saturation of amplification of the magnetic field, which could potentially become dynamically important in subsequent, fully-resolved calculations. We have also identified a relatively surprising phenomena that is purely hydrodynamic: the higher-resolved simulations possess substantially different characteristics, including higher infall-velocity, increased temperatures inside 1000 AU, and decreased molecular hydrogen content in the innermost region. Furthermore, we find that disk formation is suppressed in higher-resolution calculations, at least at the times that we can follow the calculation. We discuss the effect this may have on the buildup of disks over the accretion history of the first clump to form as well as the potential for gravitational instabilities to develop and induce fragmentation.

  1. REVISITING JOVIAN-RESONANCE INDUCED CHONDRULE FORMATION

    SciTech Connect (OSTI)

    Nagasawa, M. [Interactive Research Center of Science, Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo 152-8551 (Japan); Tanaka, K. K.; Tanaka, H. [Institute of Low Temperature Science, Hokkaido University, Kita-19, Nishi-8, Kita-ku, Sapporo 060-0819 (Japan); Nakamoto, T. [Department of Earth and Planetary Sciences, Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo 152-8551 (Japan); Miura, H. [Graduate School of Natural Sciences, Nagoya City University, 1 Yamanohata, Mizuho-cho, Mizuho-ku, Nagoya 467-8501 (Japan); Yamamoto, T., E-mail: nagasawa.m.ad@m.titech.ac.jp [Center for Planetary Science, Kobe University, 7-1-48 Minamimachi, Minatojima, Chuo-ku, Kobe 650-0047 (Japan)

    2014-10-10

    It is proposed that planetesimals perturbed by Jovian mean-motion resonances are the source of shock waves that form chondrules. It is considered that this shock-induced chondrule formation requires the velocity of the planetesimal relative to the gas disk to be on the order of ? 7 km s{sup –1} at 1 AU. In previous studies on planetesimal excitation, the effects of Jovian mean-motion resonance together with the gas drag were investigated, but the velocities obtained were at most 8 km s{sup –1} in the asteroid belt, which is insufficient to account for the ubiquitous existence of chondrules. In this paper, we reexamine the effect of Jovian resonances and take into account the secular resonance in the asteroid belt caused by the gravity of the gas disk. We find that the velocities relative to the gas disk of planetesimals a few hundred kilometers in size exceed 12 km s{sup –1}, and that this is achieved around the 3:1 mean-motion resonance. The heating region is restricted to a relatively narrowband between 1.5 AU and 3.5 AU. Our results suggest that chondrules were produced effectively in the asteroid region after Jovian formation. We also find that many planetesimals are scattered far beyond Neptune. Our findings can explain the presence of crystalline silicate in comets if the scattered planetesimals include silicate dust processed by shock heating.

  2. Treating nahcolite containing formations and saline zones

    DOE Patents [OSTI]

    Vinegar, Harold J

    2013-06-11

    A method for treating a nahcolite containing subsurface formation includes removing water from a saline zone in or near the formation. The removed water is heated using a steam and electricity cogeneration facility. The heated water is provided to the nahcolite containing formation. A fluid is produced from the nahcolite containing formation. The fluid includes at least some dissolved nahcolite. At least some of the fluid is provided to the saline zone.

  3. The Formation and Destruction of Molecular Clouds and Galactic Star Formation

    E-Print Network [OSTI]

    Inutsuka, Shu-ichiro; Iwasaki, Kazunari; Hosokawa, Takashi

    2015-01-01

    We describe an overall picture of galactic-scale star formation. Recent high-resolution magneto-hydrodynamical simulations of two-fluid dynamics with cooling/heating and thermal conduction have shown that the formation of molecular clouds requires multiple episodes of supersonic compression. This finding enables us to create a scenario in which molecular clouds form in interacting shells or bubbles on a galactic scale. First we estimate the ensemble-averaged growth rate of molecular clouds over a timescale larger than a million years. Next we perform radiation hydrodynamics simulations to evaluate the destruction rate of magnetized molecular clouds by the stellar FUV radiation. We also investigate the resultant star formation efficiency within a cloud which amounts to a low value (a few percent) if we adopt the power-law exponent -2.5 for the mass distribution of stars in the cloud. We finally describe the time evolution of the mass function of molecular clouds over a long timescale (>1Myr) and discuss the st...

  4. Electromagnetic Formation Flight of Satellite Arrays

    E-Print Network [OSTI]

    Electromagnetic Formation Flight of Satellite Arrays Daniel W. Kwon and David W. Miller February 2005 SSL # 2-05 #12;#12;Electromagnetic Formation Flight of Satellite Arrays By DANIEL W. KWON S;#12;Electromagnetic Formation Flight of Satellite Arrays by DANIEL W. KWON Submitted to the Department of Aeronautics

  5. Thermally Triggered Calcium Phosphate Formation from Calcium-Loaded Liposomes

    E-Print Network [OSTI]

    of utilizing lipid vesicles for the synthesis of inorganic solids of controlled shape and/or size is well the rapid in situ formation of polymer hydrogels, inorganic solids, and other materials for medical. Mixing of a calcium-loaded lipid vesicle suspension with aqueous inorganic phosphate resulted in a stable

  6. Electrochemical formation of field emitters

    SciTech Connect (OSTI)

    Bernhardt, Anthony F. (Berkeley, CA)

    1999-01-01

    Electrochemical formation of field emitters, particularly useful in the fabrication of flat panel displays. The fabrication involves field emitting points in a gated field emitter structure. Metal field emitters are formed by electroplating and the shape of the formed emitter is controlled by the potential imposed on the gate as well as on a separate counter electrode. This allows sharp emitters to be formed in a more inexpensive and manufacturable process than vacuum deposition processes used at present. The fabrication process involves etching of the gate metal and the dielectric layer down to the resistor layer, and then electroplating the etched area and forming an electroplated emitter point in the etched area.

  7. Petrophysical evaluation of subterranean formations

    DOE Patents [OSTI]

    Klein, James D; Schoderbek, David A; Mailloux, Jason M

    2013-05-28

    Methods and systems are provided for evaluating petrophysical properties of subterranean formations and comprehensively evaluating hydrate presence through a combination of computer-implemented log modeling and analysis. Certain embodiments include the steps of running a number of logging tools in a wellbore to obtain a variety of wellbore data and logs, and evaluating and modeling the log data to ascertain various petrophysical properties. Examples of suitable logging techniques that may be used in combination with the present invention include, but are not limited to, sonic logs, electrical resistivity logs, gamma ray logs, neutron porosity logs, density logs, NRM logs, or any combination or subset thereof.

  8. Formation Flying and Deformable Instruments

    SciTech Connect (OSTI)

    Rio, Yvon

    2009-05-11

    Astronomers have always attempted to build very stable instruments. They fight all that can cause mechanical deformation or image motion. This has led to well established technologies (autoguide, active optics, thermal control, tip/tilt correction), as well as observing methods based on the use of controlled motion (scanning, micro scanning, shift and add, chopping and nodding). Formation flying disturbs this practice. It is neither possible to reduce the relative motion to very small amplitudes, nor to control it at will. Some impacts on Simbol-X instrument design, and operation are presented.

  9. A Plugin for HDF5 using PLFS for Improved I/O Performance and Semantic Analysis

    E-Print Network [OSTI]

    of Houston EMC Corporation Los Alamos National Laboratory Abstract--HDF5 is a data model, library and file format for storing and managing data. It is designed for flexible and efficient I/O for high volume in film production, DNA analysis, weather prediction, financial data management etc. [10] Parallel HDF5

  10. Knowledge-Guided Semantic Indexing of Breast Cancer Histopathology Adina Eunice Tutac1,5

    E-Print Network [OSTI]

    Leow, Wee Kheng

    for breast cancer combine criteria in nuclear pleomorphism, tubule formation and mitotic counts. In general to the BCG, to the computer vision (CV) concepts and symbolic rules, to design a future generic framework, each grading criteria is evaluated by a score of 1 to 3 (3 being associated to the most serious case

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

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

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

  14. Mental Representations Formed From Educational Website Formats

    SciTech Connect (OSTI)

    Elizabeth T. Cady; Kimberly R. Raddatz; Tuan Q. Tran; Bernardo de la Garza; Peter D. Elgin

    2006-10-01

    The increasing popularity of web-based distance education places high demand on distance educators to format web pages to facilitate learning. However, limited guidelines exist regarding appropriate writing styles for web-based distance education. This study investigated the effect of four different writing styles on reader’s mental representation of hypertext. Participants studied hypertext written in one of four web-writing styles (e.g., concise, scannable, objective, and combined) and were then administered a cued association task intended to measure their mental representations of the hypertext. It is hypothesized that the scannable and combined styles will bias readers to scan rather than elaborately read, which may result in less dense mental representations (as identified through Pathfinder analysis) relative to the objective and concise writing styles. Further, the use of more descriptors in the objective writing style will lead to better integration of ideas and more dense mental representations than the concise writing style.

  15. Fibrillar dimer formation of islet amyloid polypeptides

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

    Chiu, Chi -cheng; de Pablo, Juan J.

    2015-05-08

    Amyloid deposits of human islet amyloid polypeptide (hIAPP), a 37-residue hormone co-produced with insulin, have been implicated in the development of type 2 diabetes. Residues 20 – 29 of hIAPP have been proposed to constitute the amyloidogenic core for the aggregation process, yet the segment is mostly unstructured in the mature fibril, according to solid-state NMR data. Here we use molecular simulations combined with bias-exchange metadynamics to characterize the conformational free energies of hIAPP fibrillar dimer and its derivative, pramlintide. We show that residues 20 – 29 are involved in an intermediate that exhibits transient ?-sheets, consistent with recent experimentalmore »and simulation results. By comparing the aggregation of hIAPP and pramlintide, we illustrate the effects of proline residues on inhibition of the dimerization of IAPP. The mechanistic insights presented here could be useful for development of therapeutic inhibitors of hIAPP amyloid formation.« less

  16. Recombination energy in double white dwarf formation

    E-Print Network [OSTI]

    Nandez, Jose L A; Lombardi, James C

    2015-01-01

    In this Letter we investigate the role of recombination energy during a common envelope event. We confirm that taking this energy into account helps to avoid the formation of the circumbinary envelope commonly found in previous studies. For the first time, we can model a complete common envelope event, with a clean compact double white dwarf binary system formed at the end. The resulting binary orbit is almost perfectly circular. In addition to considering recombination energy, we also show that between 1/4 and 1/2 of the released orbital energy is taken away by the ejected material. We apply this new method to the case of the double-white dwarf system WD 1101+364, and we find that the progenitor system at the start of the common envelope event consisted of a $\\sim1.5M_\\odot$ red giant star in a $\\sim 30$ day orbit with a white dwarf companion.

  17. Understanding galaxy formation with ISO deep surveys

    E-Print Network [OSTI]

    David Elbaz

    2005-03-17

    We present the results obtained through the various ISO extragalactic deep surveys. While IRAS revealed the existence of galaxies forming stars at a rate of a few tens (LIRGs) or even hundreds (ULIRGs) solar masses in the local universe, ISO not only discovered that these galaxies were already in place at redshift one, but also that they are not the extreme objects that we once believed them to be. Instead they appear to play a dominant role in shaping present-day galaxies as reflected by their role in the cosmic history of star formation and in producing the cosmic infrared background detected by the COBE satellite in the far infrared to sub-millimeter range.

  18. Heating tar sands formations while controlling pressure

    DOE Patents [OSTI]

    Stegemeier, George Leo (Houston, TX) [Houston, TX; Beer, Gary Lee (Houston, TX) [Houston, TX; Zhang, Etuan (Houston, TX) [Houston, TX

    2010-01-12

    Methods for treating a tar sands formation are described herein. Methods may include heating at least a section of a hydrocarbon layer in the formation from a plurality of heaters located in the formation. A pressure in the majority of the section may be maintained below a fracture pressure of the formation. The pressure in the majority of the section may be reduced to a selected pressure after the average temperature reaches a temperature that is above 240.degree. C. and is at or below pyrolysis temperatures of hydrocarbons in the section. At least some hydrocarbon fluids may be produced from the formation.

  19. Coring in deep hardrock formations

    SciTech Connect (OSTI)

    Drumheller, D.S.

    1988-08-01

    The United States Department of Energy is involved in a variety of scientific and engineering feasibility studies requiring extensive drilling in hard crystalline rock. In many cases well depths extend from 6000 to 20,000 feet in high-temperature, granitic formations. Examples of such projects are the Hot Dry Rock well system at Fenton Hill, New Mexico and the planned exploratory magma well near Mammoth Lakes, California. In addition to these programs, there is also continuing interest in supporting programs to reduce drilling costs associated with the production of geothermal energy from underground sources such as the Geysers area near San Francisco, California. The overall progression in these efforts is to drill deeper holes in higher temperature, harder formations. In conjunction with this trend is a desire to improve the capability to recover geological information. Spot coring and continuous coring are important elements in this effort. It is the purpose of this report to examine the current methods used to obtain core from deep wells and to suggest projects which will improve existing capabilities. 28 refs., 8 figs., 2 tabs.

  20. Coke formation in visbreaking process

    SciTech Connect (OSTI)

    Yan, T.Y. )

    1987-04-01

    Visbreaking is a mild cracking process primarily used to reduce residual oil viscosity and thus decrease the amount of cutter stock required for blending to heavy fuels specification. It can also be used to produce incremental quantities of gasoline, middle distillates and catalytic cracker feeds. This process was widely used in the 1930s and 1940s and became obsolete until a few years ago. When the need for increased conversion of residues to light products became desirable, visbreaking offered economic advantages to many refining schemes - especially in Western Europe. Between 1978-1981, Exxon brought on stream seven visbreakers ranging from 1900 to 9100 tons/SD capacity. In January 1983, the world-wide visbreaking capacity was over 2 MM B/SD. The visbreaking process and its application in refinery operations have been well described. In general, the process economics improve as the process severity is increased but it is limited by coke formation in the process. For this reason, they have studied the kinetics of coke formation in the visbreaking process.

  1. Mechanism of membrane tube formation induced by adhesive nanocomponents

    E-Print Network [OSTI]

    Šari?, Andela

    2015-01-01

    We report numerical simulations of membrane tubulation driven by large colloidal particles. Using Monte Carlo simulations we study how the process depends on particle size, concentration and binding strength, and present accurate free energy calculations to sort out how tube formation compares with the competing budding process. We find that tube formation is a result of the collective behavior of the particles adhering on the surface, and it occurs for binding strengths that are smaller than those required for budding. We also find that long linear aggregates of particles forming on the membrane surface act as nucleation seeds for tubulation by lowering the free energy barrier associated to the process.

  2. Kinetics of bond formation in crosslinked gelatin gels

    E-Print Network [OSTI]

    T. Abete; E. Del Gado; D. Hellio Serughetti; L. de Arcangelis; M. Djabourov; A. Coniglio

    2006-11-07

    In chemical crosslinking of gelatin solutions, two different time scales affect the kinetics of the gel formation in the experiments. We complement the experimental study with Monte Carlo numerical simulations of a lattice model. This approach shows that the two characteristic time scales are related to the formation of single bonds crosslinker-chain and of bridges between chains. In particular their ratio turns out to control the kinetics of the gel formation. We discuss the effect of the concentration of chains. Finally our results suggest that, by varying the probability of forming bridges as an independent parameter, one can finely tune the kinetics of the gelation via the ratio of the two characteristic times.

  3. Bump formation in a binary attractor neural network

    SciTech Connect (OSTI)

    Koroutchev, Kostadin; Korutcheva, Elka

    2006-02-15

    The conditions for the formation of local bumps in the activity of binary attractor neural networks with spatially dependent connectivity are investigated. We show that these formations are observed when asymmetry between the activity during the retrieval and learning is imposed. An analytical approximation for the order parameters is derived. The corresponding phase diagram shows a relatively large and stable region where this effect is observed, although critical storage and information capacities drastically decrease inside that region. We demonstrate that the stability of the network, when starting from the bump formation, is larger than the stability when starting even from the whole pattern. Finally, we show a very good agreement between the analytical results and the simulations performed for different topologies of the network.

  4. The Formation of a Bubble from a Submerged Orifice

    E-Print Network [OSTI]

    Simmons, Jonathan A; Shikhmurzaev, Yulii D

    2015-01-01

    The formation of a single bubble from an orifice in a solid surface, submerged in an in- compressible, viscous Newtonian liquid, is simulated. The finite element method is used to capture the multiscale physics associated with the problem and to track the evolution of the free surface explicitly. The results are compared to a recent experimental analysis and then used to obtain the global characteristics of the process, the formation time and volume of the bubble, for a range of orifice radii; Ohnesorge numbers, which combine the material parameters of the liquid; and volumetric gas flow rates. These benchmark calculations, for the parameter space of interest, are then utilised to validate a selection of scaling laws found in the literature for two regimes of bubble formation, the regimes of low and high gas flow rates.

  5. On The History and Future of Cosmic Planet Formation

    E-Print Network [OSTI]

    Behroozi, Peter

    2015-01-01

    We combine constraints on galaxy formation histories with planet formation models, yielding the Earth-like and giant planet formation histories of the Milky Way and the Universe as a whole. In the Hubble Volume (10^13 Mpc^3), we expect there to be ~10^20 Earth-like and ~10^20 giant planets; our own galaxy is expected to host ~10^9 and ~10^10 Earth-like and giant planets, respectively. Proposed metallicity thresholds for planet formation do not significantly affect these numbers. However, the metallicity dependence for giant planets results in later typical formation times and larger host galaxies than for Earth-like planets. The Solar System formed at the median age for existing giant planets in the Milky Way, and consistent with past estimates, formed after 80% of Earth-like planets. However, if existing gas within virialised dark matter haloes continues to collapse and form stars and planets, the Universe will form over 10 times more planets than currently exist. We show that this would imply at least a 92%...

  6. Win-stay lose-shift strategy in formation changes in football

    E-Print Network [OSTI]

    Tamura, Kohei

    2015-01-01

    Managerial decision making is likely to be a dominant determinant of performance of teams in team sports. Here we use Japanese and German football data to investigate correlates between temporal patterns of formation changes across matches and match results. We found that individual teams and managers both showed win-stay lose-shift behavior, a type of reinforcement learning. In other words, they tended to stick to the current formation after a win and switch to a different formation after a loss. In addition, formation changes did not affect the results of succeeding matches in most cases. The results indicate that a swift implementation of a new formation in the win-stay lose-shift manner may not be a successful managerial rule of thumb.

  7. Electrochemical formation of field emitters

    DOE Patents [OSTI]

    Bernhardt, A.F.

    1999-03-16

    Electrochemical formation of field emitters, particularly useful in the fabrication of flat panel displays is disclosed. The fabrication involves field emitting points in a gated field emitter structure. Metal field emitters are formed by electroplating and the shape of the formed emitter is controlled by the potential imposed on the gate as well as on a separate counter electrode. This allows sharp emitters to be formed in a more inexpensive and manufacturable process than vacuum deposition processes used at present. The fabrication process involves etching of the gate metal and the dielectric layer down to the resistor layer, and then electroplating the etched area and forming an electroplated emitter point in the etched area. 12 figs.

  8. Adaptive Optics in Star Formation

    E-Print Network [OSTI]

    Wolfgang Brandner

    2003-09-29

    Over the past ten years, the concept of adaptive optics has evolved from early experimental stages to a standard observing tool now available at almost all major optical and near-infrared telescope facilities. Adaptive optics will also be essential in exploiting the full potential of the large optical/infrared interferometers currently under construction. Both observations with high-angular resolution and at high contrast, and with a high point source sensitivity are facilitated by adaptive optics. Among the areas which benefit most from the use of adaptive optics are studies of the circumstellar environment (envelopes, disks, outflows), substellar companions and multiple systems, and dense young stellar populations. This contribution highlights some of the recent advances in star formation studies facilitated by adaptive optics, and gives a brief tutorial on optimized observing and data reduction strategies.

  9. Methanol Masers and Star Formation

    E-Print Network [OSTI]

    A. M. Sobolev; A. B. Ostrovskii; M. S. Kirsanova; O. V. Shelemei; M. A. Voronkov; A. V. Malyshev

    2006-01-12

    Methanol masers which are traditionally divided into two classes provide possibility to study important parts of the star forming regions: Class~II masers trace vicinities of the massive YSOs while class~I masers are likely to trace more distant parts of the outflows where newer stars can form. There are many methanol transitions which produce observed masers. This allows to use pumping analysis for estimation of the physical parameters in the maser formation regions and its environment, for the study of their evolution. Extensive surveys in different masing transitions allow to conclude on the values of the temperatures, densities, dust properties, etc. in the bulk of masing regions. Variability of the brightest masers is monitored during several years. In some cases it is probably caused by the changes of the dust temperature which follow variations in the brightness of the central YSO reflecting the character of the accretion process. A unified catalogue of the class II methanol masers consisting of more than 500 objects is compiled. Analysis of the data shows that: physical conditions within the usual maser source vary considerably; maser brightness is determined by parameters of some distinguished part of the object - maser formation region; class II methanol masers are formed not within the outflows but in the regions affected by their propagation. It is shown that the "near" solutions for the kinematic distances to the sources can be used for statistical analysis. The luminosity function of the 6.7 GHz methanol masers is constructed. It is shown that improvement of the sensitivity of surveys can increase number of detected maser sources considerably.

  10. Efficient quantum-classical method for computing thermal rate constant of recombination: Application to ozone formation

    E-Print Network [OSTI]

    Reid, Scott A.

    : Application to ozone formation Mikhail V. Ivanov and Dmitri Babikov Citation: J. Chem. Phys. 136, 184304 (2012 for computing thermal rate constant of recombination: Application to ozone formation Mikhail V. Ivanov of ozone. Comparison of the predicted rate vs. experimental result is presented. © 2012 American Institute

  11. Final Report: Mechanisms of sputter ripple formation: coupling among energetic ions, surface kinetics, stress and composition

    SciTech Connect (OSTI)

    Chason, Eric; Shenoy, Vivek

    2013-01-22

    Self-organized pattern formation enables the creation of nanoscale surface structures over large areas based on fundamental physical processes rather than an applied template. Low energy ion bombardment is one such method that induces the spontaneous formation of a wide variety of interesting morphological features (e.g., sputter ripples and/or quantum dots). This program focused on the processes controlling sputter ripple formation and the kinetics controlling the evolution of surfaces and nanostructures in high flux environments. This was done by using systematic, quantitative experiments to measure ripple formation under a variety of processing conditions coupled with modeling to interpret the results.

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

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

  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 Management Students will review energy basics and what they have...

  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 - 3 of 3 results. Download Energy Management Students will review energy basics and what they have...

  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 - 7 of 7 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 - 7 of 7 results. Download Energy Production Students will compare and contrast renewable and...

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

  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 - 3 of 3 results. Download Energy Production Students will compare and contrast renewable and...

  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 - 2 of 2 results. Download Life With Energy Students will describe ways in which technology affects the...