A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Addressing the Qualification Problem in FLUX
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
We present a logic programming method to cope with the Qualification Problem in the action programming language Flux, which builds on the Fluent Calculus as a solution to the fundamental Frame Problem. ...
The Qualification Problem arises for planning agents in realworld environments, where unexpected circumstances may at any time prevent the successful performance of an action. ...
The accompanying concept of preferred extensions helps selecting the most reasonable explanations in case of unexpected action. 3 Addressing the Qualification Problem in FLUX
Basic FLUX Our system is ...
doi:10.1007/3-540-45422-5_21
fatcat:b5sujznm4vdkbobmzoel3qeuim
WSSL: A Fluent Calculus-Based Language for Web Service Specifications
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
These issues involve the frame, ramification and qualification problems, which deal with the succinct and flexible representation of non-effects, indirect effects and preconditions, respectively. ...
We propose WSSL, a novel specification language for services, based on the fluent calculus, that is expressly designed to address the aforementioned issues. ...
This research was partially funded by the PaaSage (FP7-317715) EU project, as well as the Special Account for Research Grants, University of Crete (Grant No. 3742). ...
doi:10.1007/978-3-642-38709-8_17
fatcat:yoyr6hwp2fgutg22wumpbeitx4
Page 109 of American Ceramic Society Bulletin Vol. 27, Issue 2
[page]
1948
American Ceramic Society Bulletin
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
WANTED
Young man 23-30 years old, for research and de- velopment work on glasshouse refractories, pref- erably with experience in the flux block industry. ...
Address Box 507-F, The American Ceramic Society, 2525 North High Street, Columbus 2, Ohio. ...
Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
the frame, ramification and qualification problems. ...
considering exogenous qualifications during the verification process. ...
A detailed definition and analysis of the language syntax and semantics, as well as the problems it addresses, can be found in [4] . ...
doi:10.1007/978-3-319-06859-6_23
fatcat:svt2tlbelfg5vnluvhmfamsgxy
ELECTROSTATIC ION THRUSTERS - TOWARDS PREDICTIVE MODELING
2015
Acta Polytechnica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
For satellite missions, thrusters have to be qualified in large vacuum vessels to simulate the space environment. ...
Back-fluxes of a SPT-like ion thruster for two different test-setups and vessel geometries are calculated. ...
Acknowledgements This work was supported by the German Space Agency DLR through Project 50 RS 1101. ...
doi:10.14311/ap.2015.55.0007
fatcat:vevpih34rrcxnkdxrgxuathtdq
Page 66 of Welding Journal Vol. 18, Issue 1
[page]
1939
Welding Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Louis educational in that the many questions Section was held on December 9th in the asked were all pertinent to the Oil In Engineers’ Club Auditorium. Mr. Leon dustry and its problems. ...
The talk will be illustrated with I8th in the Engineers’ Club Auditorium slides showing large high pressure pip was addressed by Mr. John J. ...
On the uniqueness of solution of magnetostatic vector‐potential problems by three‐dimensional finite‐element methods
1982
Journal of Applied Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
It is also shown that the flux density is unique without qualifications. The theoretical and numerical uniqueness of the magnetic vector potential in three-dimensional problems is also given. ...
In this paper, particular attention is paid to the impact of finite-element approximation on uniqueness and to approximations implicit in finite element formulations from the uniqueness requirements standpoint ...
It has been shown that the flux density solution is unique with no qualifications. ...
doi:10.1063/1.330373
fatcat:5y6eitnhgfhqva5w4ugsm2ugma
Page 1202 of Welding Journal Vol. 23, Issue 12
[page]
1944
Welding Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Schwarz has had considerable ex- perience in the problems involved in fabricating oil refinery equipment and other pressure vessels of alloy and alloy clad materials. ...
Mr Schwarz discussed the solution to these tricky welding problems
['wo movies in technicolor of the won ders of nature in the southwest were shown through the courtesy of Santa Fe Railway
[he movies were ...
Qualification and validity of a smeared fractures modeling approach for flow and transport in fractured media
[chapter]
2002
Developments in Water Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Modeling flow and transport in a natural fractured medium is a difficult issue due among others to the large contrasts in the medium, its geometrical complexity as well as the strong level of uncertainties ...
The limits of the approach for large cinetical contrasts throughout the domain will be further studied in the future. ...
The total flux through the system as well as the local flux in the major conductors typically differ by one percent. ...
doi:10.1016/s0167-5648(02)80078-8
fatcat:7ve273rs4resvcfldulv77jlli
Development and qualification of a smeared fracture modelling approach for transfers in fractured media
[chapter]
2007
Groundwater in Fractured Rocks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The development and qualification of a novel smeared fracture approach adapted to these conditions is presented. ...
Flow and transport are solved using a Mixed Hybrid Finite Element method, limited here to 2D problems for the sake of simplicity. ...
Qualification strategy The smeared fracture procedure allows for a priori exact computation of water and mass fluxes in single fractures, but the approach has to be qualified for reference calculations ...
doi:10.1201/9780203945650.ch40
fatcat:qgmbky7s2vasxeuodljkda2iwu
Resolution of Magnetogasdynamic Phenomena Using a Flux-Vector Splitting Method
2001
Journal of thermophysics and heat transfer
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In particular, this work validates the new method by computing the MGD shock tube problem and also examines the effects of magnetic field on a two-dimensional MGD blunt-body flow. ...
Computation of the MGD Shock Tube
The MGD shock-tube problem, originally proposed by Brio and Wu,’ serves to validate the new flux-vector splitting method and illustrates its shock-capturing properties ...
doi:10.2514/2.6619
fatcat:irdjcyap35g7xg5biggkjmlyye
As the net churns: Fast-flux botnet observations
2008
2008 3rd International Conference on Malicious and Unwanted Software (MALWARE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
To address this gap in understanding, we have been mining live traffic to discover new fast-flux domains and then tracking those botnets with active measurements for several months. ...
We found that the active lifetimes of fast-flux botnets vary from less than one day to months, domains that are used in fast-flux operations are often registered but dormant for months prior to activation ...
Acknowledgments The authors would like to thank Robert Danford for his discussion with the authors while developing the screening heuristics, and the ATLAS engineering team for improvements in the fast-flux ...
doi:10.1109/malware.2008.4690854
dblp:conf/malware/NazarioH08
fatcat:n4pepi6j2zgfbkhnkbqs6yrbry
Optimization Models for Reaction Networks: Information Divergence, Quadratic Programming and Kirchhoff's Laws
2014
Axioms
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
These optimization models are used in related articles to develop and illustrate the operation of ontology alignment algorithms and to discuss closely connected issues concerning the epistemological and ...
statistical significance of sharp or precise hypotheses in empirical science. ...
Acknowledgments The authors are grateful for the support of IME-USP and EACH-USP, the Institute of Mathematics and
Conflicts of Interest The authors declare no conflict of interest. ...
doi:10.3390/axioms3010109
fatcat:zzuezukp4zh6vbrlxd2gnyrqi4
South African Higher Education: The Challenge of Change
1999
International Higher Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A s is characteristic of periods of political and social transition, South African higher education is in considerable flux. ...
Moreover, higher education policy and planning expertise is in short supply, with the result that all these bodies experience capacity problems in the face of further policy development and implementation ...
doi:10.6017/ihe.1999.15.6473
fatcat:mcnolp7otjgshekpjvt64eombu
Validation in fusion research: Towards guidelines and best practices
2008
Physics of Plasmas
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Previously identified procedures, such as verification, qualification, and analysis of error and uncertainty, remain important. ...
Because experiment/model comparisons in magnetic confinement fusion have not yet satisfied the requirements for validation as understood broadly, a set of approaches to validating mathematical models and ...
ACKNOWLEDGMENTS This work was supported by the Office of Fusion Energy Sciences of the U.S. Department of Energy under a directive from the U.S. Burning Plasma Organization. ...
doi:10.1063/1.2928909
fatcat:drjlduim2jeqzn4nq5qcxp2lym
« Previous
Showing results 1 — 15 out of 14,669 results