Filters








14,669 Hits in 3.9 sec

Addressing the Qualification Problem in FLUX [chapter]

Yves Martin, Michael Thielscher
2001 Lecture Notes in Computer Science  
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]

George Baryannis, Dimitris Plexousakis
2013 Lecture Notes in Computer Science  
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  
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]

George Baryannis, Dimitris Plexousakis
2014 Lecture Notes in Computer Science  
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

Julia Duras, Oleksander Kalentev, Ralf Schneider, Konstantin Matyash, Karl Felix Lüskow, Jürgen Geiser
2015 Acta Polytechnica  
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  
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

O. A. Mohammed, W. A. Davis, B. D. Popovic, T. W. Nehl, N. A. Demerdash
1982 Journal of Applied Physics  
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  
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]

A. Fourno, C. Grenier, E. Mouche, G. Thouvenin, H. Benabderrahmane
2002 Developments in Water Science  
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]

André Fourno, Hakim Benabderrahmane, Christophe Grenier, Frederick Delay
2007 Groundwater in Fractured Rocks  
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

Patrick W. Canupp
2001 Journal of thermophysics and heat transfer  
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

Jose Nazario, Thorsten Holz
2008 2008 3rd International Conference on Malicious and Unwanted Software (MALWARE)  
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

Julio Stern, Fabio Nakano
2014 Axioms  
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

Saleem Badat
1999 International Higher Education  
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

P. W. Terry, M. Greenwald, J.-N. Leboeuf, G. R. McKee, D. R. Mikkelsen, W. M. Nevins, D. E. Newman, D. P. Stotler
2008 Physics of Plasmas  
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