• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 53
Next 10 →

Ontology and Information Systems

by Barry Smith
"... Abstract. The term 'formal ontology' was first used by the philosopher Edmund Husserl in his Logical investigations to signify the study of those formal structures and relations -above all relations of part and whole -which are exemplified in the subject-matters of the different material ..."
Abstract - Cited by 18 (1 self) - Add to MetaCart
of (extensive and intensive) magnitudes which make up one preliminary stage on the road to the formal ontology of the Logical Investigations. (See [8], pp. 83f, 95, 413; [l], "Prolegomena", § § 22 and 70.) In what follows we shall outline the basic concepts of formal ontology as Husserl conceived it

Network science Complex network Community detection

by Pasquale De Meo A, Emilio Ferrara B, Giacomo Fiumara A, Ro Provetti A
"... This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and sharing with colleagues. Other uses, including reproduction and distribution, or sel ..."
Abstract - Add to MetaCart
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and sharing with colleagues. Other uses, including reproduction and distribution

c Copyright by

by Paul Sivilotti, Dong Xuan, Xiaodong Zhang, Hongwei Zhang
"... Messaging is a basic service in sensornets. Yet the unique system and application prop-erties of sensornets pose substantial challenges for the messaging design: Firstly, dynamic wireless links, constrained resources, and application diversity challenge the architecture and protocol design of sensor ..."
Abstract - Add to MetaCart
Messaging is a basic service in sensornets. Yet the unique system and application prop-erties of sensornets pose substantial challenges for the messaging design: Firstly, dynamic wireless links, constrained resources, and application diversity challenge the architecture and protocol design of sensornet messaging; Secondly, complex faults and large system scale introduce new challenges to the design of fault-tolerant protocols. The objective of this dissertation is to address the aforementioned challenges of sensornet messaging. Despite the extensive effort in studying sensornet messaging, the lack of a basic un-derstanding of its essential components has been an obstacle for reliable, efcient, and reusable messaging services in sensornets. To address this problem, one task of this dis-sertation is to identify the basic components of sensornet messaging and to study the re-lated algorithmic design issues. More specically, we propose the messaging architecture SMA that consists of three components: trafc-adaptive link estimation and routing (TLR), application-adaptive structuring (AST), and application-adaptive scheduling (ASC). TLR deals with dynamic wireless links as well as the impact of application trafc patterns on

i A TRANSIENT COMPUTATIONAL FLUID DYNAMIC STUDY OF A LABORATORY-SCALE FLUORINE

by Ryno Pretorius, Supervisor Prof, P. L. Crouse, Electrolysis Cell
"... Fluorine gas is produced industrially by electrolysing hydrogen fluoride in a potassium acid fluoride electrolyte. Fluorine is produced at the carbon anode, while hydrogen is produced at the mild-steel cathode. The fluorine produced has a wide range of uses, most notably in the nuclear industry wher ..."
Abstract - Add to MetaCart
Fluorine gas is produced industrially by electrolysing hydrogen fluoride in a potassium acid fluoride electrolyte. Fluorine is produced at the carbon anode, while hydrogen is produced at the mild-steel cathode. The fluorine produced has a wide range of uses, most notably in the nuclear industry where it is used to separate 235U and 238U. The South African Nuclear Energy Corporation (Necsa) is a producer of fluorine and requested an investigation into the hydrodynamics of their electrolysis cells as part of a larger national initiative to beneficiate more of South Africa’s large fluorspar deposits. Due to the extremely corrosive and toxic environment inside a typical fluorine electrolysis reactor, the fluid dynamics in the reactor are not understood well enough. The harsh conditions make detailed experimental investigation of the reactors extremely dangerous. The objective of this project is to construct a model that can accurately predict the physical processes involved in the production of fluorine gas. The results of the simulation will be compared to experimental results from tests done on a lab-scale reactor. A good correlation

To cite this version:

by Patrice Abry, Richard Baraniuk, Patrick Fl, Rudolf Riedi, Darryl Veitch, Patrice Abry, Richard Baraniuk, Patrick Fl, Rudolf Riedi, Darryl Veitch Wavelet, Patrice Abry, Richard Baraniuk, Patrick Fl, Rudolf Riedi, Darryl Veitch , 2007
"... HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte p ..."
Abstract - Add to MetaCart
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Object/relational query optimization with chase

by Lucian Popa
"... and backchase ..."
Abstract - Add to MetaCart
and backchase

Virtual Synchrony Guarantees for Cyber-Physical Systems

by unknown authors
"... Abstract—By integrating computational and physical elements through feedback loops, CPSs implement a wide range of safetycritical applications, from high-confidence medical systems to critical infrastructure control. Deployed systems must therefore provide highly dependable operation against unpredi ..."
Abstract - Add to MetaCart
Abstract—By integrating computational and physical elements through feedback loops, CPSs implement a wide range of safetycritical applications, from high-confidence medical systems to critical infrastructure control. Deployed systems must therefore provide highly dependable operation against unpredictable realworld dynamics. However, common CPS hardware—comprising battery-powered and severely resource-constrained devices interconnected via low-power wireless—greatly complicates attaining the required communication guarantees. VIRTUS fills this gap by providing atomic multicast and view management atop resourceconstrained devices, which together provide virtually synchronous executions that developers can leverage to apply established concepts from the dependable distributed systems literature. We build VIRTUS upon an existing best-effort communication layer, and formally prove the functional correctness of our mechanisms. We further show, through extensive real-world experiments, that VIRTUS incurs a limited performance penalty compared with best-effort communication. To the best of our knowledge, VIRTUS is the first system to provide virtual synchrony guarantees atop resource-constrained CPS hardware. I.

AND MATHEMATICAL ENGINEERING

by Madeleine Udell, Professor Lester Mackey , 2015
"... ii ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract not found

POUR L'OBTENTION DU GRADE DE DOCTEUR ÈS SCIENCES PAR

by Dominique Tschopp, Prof E. Telatar, Prof S. Diggavi, Prof M. Grossglauser, Prof J. -y, Le Boudec, Prof M. Mitzenmacher, Prof S. Shakkottai
"... 2010 to my wife, Joyce, and my family...- Résumé- ..."
Abstract - Add to MetaCart
2010 to my wife, Joyce, and my family...- Résumé-

Keywords: Fracture Modeling Adhesive

by unknown authors
"... nite ..."
Abstract - Add to MetaCart
Abstract not found
Next 10 →
Results 1 - 10 of 53
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University