Filters








5,301 Hits in 3.7 sec

Tractable Compliance Checking with Negation

Piero A. Bonatti, Luigi Sauro
2021 International Workshop on Description Logics  
The latter is tractable and highly scalable to meet the performance requirements of some applications.  ...  we show that an alternative encoding based on histories of positive and negative policies (where negation is applied to compound concepts) can be processed in polynomial time by a correct and complete algorithm  ...  subsumption problem).  ... 
dblp:conf/dlog/BonattiS21 fatcat:a3rtqn7r2zgndacsbsuffktp7u

Big, but not unruly: Tractable norms for anonymous game structures [article]

Truls Pedersen, Sjur Dyrkolbotn, Piotr Kaźmierczak
2014 arXiv   pre-print
We present a new strategic logic NCHATL that allows for reasoning about norm compliance on concurrent game structures that satisfy anonymity.  ...  That is, as long as the underlying game structures are anonymous, model checking normative formulas is tractable even if norms can prescribe different sets of forbidden actions to different agents.  ...  Our main technical result is that this logic still admits a tractable algorithm for the model checking problem.  ... 
arXiv:1405.6899v1 fatcat:qwqt7ieymbb6haociqdjd5yaey

On Robustness Criteria and Robust Topology Optimization with Uncertain Loads [article]

Michal Kocvara
2013 arXiv   pre-print
We propose a new algorithm for the solution of the robust multiple-load topology optimization problem.  ...  To implement the algorithm, the users only need software to solve their standard multiple-load problem. Additionally, they have to solve a few small-dimensional eigenvalue problems.  ...  For each iteration of the algorithm, Table 1 presents: the corresponding vulnerability V ; maximal compliance for the current multiple-load problem "compl"; compliance of the current design with respect  ... 
arXiv:1307.7547v1 fatcat:tuum5shs7zhsbfbesdwrwtf7bi

A compliance notation for verifying concurrent systems

D. M. Atiya, S. King
2002 Proceedings of the 24th international conference on Software engineering - ICSE '02  
Contributions and Related WorkExtending the compliance notation in the way presented above will provide a tractable and costeffective way for verifying concurrent systems.  ...  After getting the compliance tool to accept the new notation, we shall write the algorithms for generating the VCs incurred at the various possible refinement steps.  ... 
doi:10.1145/581339.581475 dblp:conf/icse/AtiyaK02 fatcat:wqurookxjzaq5grscmckswljbu

Source Information Disclosure in Ontology-Based Data Integration

Michael Benedikt, Bernardo Cuenca Grau, Egor Kostylev
2017 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
In this paper, we formalize and study the problem of determining whether a given data integration system discloses a source query to an attacker.  ...  We provide lower and upper bounds on disclosure analysis, in the process introducing a number of techniques for analyzing logical privacy issues in ontology-based data integration.  ...  a Π p 2 lower bound to the so-called instance-based determinacy problem. • We introduce a "repair" process that ensures tractability of instance-based compliance in certain cases.  ... 
doi:10.1609/aaai.v31i1.10690 fatcat:hhmfxahui5drxkay55hgay64pu

Structural optimization under uncertainty in loading directions: Benchmark results

A. Csébfalvi
2018 Advances in Engineering Software  
In order to demonstrate the viability and efficiency of the extension, we present the model and algorithm with detailed benchmark results for robust topology optimization of 3D continuum structures.  ...  The result of the optimization is a robust compliance-minimal volume constrained design, which is invariant to the investigated directional uncertainty.  ...  ALGORITHM In order to avoid dealing with infinite number of constraints we have to replace the original problem with a more tractable equivalent algorithm based on a finite number of constraints.  ... 
doi:10.1016/j.advengsoft.2016.02.006 fatcat:bovr6zyzgrghvaag6g7k2o4bla

Accelerated projected gradient method with adaptive step size for compliance minimization problem

Akatsuki Nishioka, Yoshihiro Kanno
2021 JSIAM Letters  
We present an accelerated projected gradient method for solving a topology optimization problem. Specifically, we consider a compliance minimization problem of continua.  ...  Conclusion In this paper, we have developed an accelerated projected gradient method for solving a compliance mini-mization problem.  ...  Problem setting The compliance minimization problem is a representative topology optimization problem that maximizes the stiffness of a structure subjected to static loads; see [9, 10] for details.  ... 
doi:10.14495/jsiaml.13.33 fatcat:aue6xzzyincfviwz7gpy3wl5di

Robust Truss Topology Design via Semidefinite Programming

A. Ben-Tal, A. Nemirovski
1997 SIAM Journal on Optimization  
It is shown that the resulting optimization problem is a Semidefinite Program. We derive and analyze several equivalent reformulations of the problem and present illustrative numerical examples.  ...  We present and motivate a new model of the Truss Topology Design problem, where the rigidity of the resulting truss with respect both to given loading scenarios and small "occasional" loads is optimized  ...  interior point algorithms (for relevant general theory, see [10] ).  ... 
doi:10.1137/s1052623495291951 fatcat:xvejcrww2rcf3jgrn5cul3plzy

Real Time Reasoning in OWL2 for GDPR Compliance [article]

P.A. Bonatti, L. Ioffredo, I. Petrova, L. Sauro, I. R. Siahaan
2020 arXiv   pre-print
PL and its integration with OWL2's profiles constitute new tractable fragments of OWL2.  ...  Real-time compliance checking is achieved by means of a specialized reasoner, called PLR, that leverages knowledge compilation and structural subsumption techniques.  ...  The GDPR compliance use case -here sketched with (5), (6), and Example 3.2 -is due to Benedict Whittam Smith (Thomson Reuters).  ... 
arXiv:2001.05390v1 fatcat:igusnjpdcbgglgqkne3mm6r5zu

Cartesian impedance control for a variable stiffness robot arm

F. Petit, Alin Albu-Schaffer
2011 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems  
The algorithm was implemented and tested on the VSA robot DLR Hand Arm System. Experimental results and measurements of the active/passive impedance algorithm are shown.  ...  An algorithm to optimize the passive and active Cartesian stiffness is proposed to achieve a desired Cartesian stiffness as precise as possible.  ...  Problem formulation To optimize the passive compliance to achieve the desired Cartesian compliance 3 , the problem formulation from (8) is reduced to only contain the passive joint compliance vector  ... 
doi:10.1109/iros.2011.6048341 fatcat:4tm2tq76azb2dd3i2assdjh66m

Cartesian impedance control for a variable stiffness robot arm

F. Petit, Alin Albu-Schaffer
2011 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems  
The algorithm was implemented and tested on the VSA robot DLR Hand Arm System. Experimental results and measurements of the active/passive impedance algorithm are shown.  ...  An algorithm to optimize the passive and active Cartesian stiffness is proposed to achieve a desired Cartesian stiffness as precise as possible.  ...  Problem formulation To optimize the passive compliance to achieve the desired Cartesian compliance 3 , the problem formulation from (8) is reduced to only contain the passive joint compliance vector  ... 
doi:10.1109/iros.2011.6094736 dblp:conf/iros/PetitA11 fatcat:22te46krdbcijf3ggwbp2n7fhi

A formal experiment to assess the efficacy of certification standards [article]

Virginie Wiels
2014 arXiv   pre-print
For example, LLR shall be accurate and consistent, compatible with the target computer, verifiable, conformed to requirements standards, and they shall ensure algorithm accuracy.  ...  Detailed objectives are defined for each step of the development, with some objectives defined on the output of a development process itself and some on the compliance of this output to the input of the  ... 
arXiv:1404.7542v1 fatcat:3356uot2brewzgw76v6v4iqtrm

Special Issue Editorial: Robotics: Mechanics and Control of Locomotion

Maurizio Porfiri
2017 Journal of nonlinear science  
For example, surgical robots are now routinely integrated in the medical practice, enabling doctors to perform complex procedures that would otherwise be hindered by traditional approaches.  ...  For high frequency and high amplitude forcing, the closed-loop dynamics of the vehicle leads to a mathematically tractable formulation which is leveraged for the design of a trajectory tracking control  ...  This collection demonstrates the importance of nonlinear science to the formulation of physically based predictive models for robotic systems, the systematic design of effective control algorithms for  ... 
doi:10.1007/s00332-017-9387-0 fatcat:xgjj6mwkjvc2xbxskdwaupjl4a

A Contextualized Knowledge Framework for Semantic Web [chapter]

Mathew Joseph
2010 Lecture Notes in Computer Science  
Some of the future milestones for this thesis work are to (i) develop a proof theory for the logical framework based on Description Logics (DL) (ii) develop reasoning algorithms (iii) verify and compare  ...  the performance of these algorithms to existing distributed reasoning formalisms and (iv) implement the system.  ...  Problem, Motivation and Related Work Contexts [1] have been appreciated for their ability to use the "Divide and Conquer" strategy for problem solving.  ... 
doi:10.1007/978-3-642-13489-0_45 fatcat:qhzuqvogdfel7htuxyrfz6ci6y

Computational Complexity and Tort Deterrence

Joshua C. Teitelbaum
2019 Social Science Research Network  
A good example is the problem of complex product design (e.g., the Boeing 737 MAX airplane), where the problem is less about how much one spends on safety and more about which combination of safety measures  ...  I show that in cases where the precaution set is discrete, the problem faced by a tortfeasor under strict liability and negligence is computationally intractable, frustrating their static deterrence e¤  ...  In contrast to this paper, Kades does not focus on the tractability of compliance problems arising under tort law.  ... 
doi:10.2139/ssrn.3480709 fatcat:izq2t34l4rhrjlwfum34jgq6cm
« Previous Showing results 1 — 15 out of 5,301 results