416 Hits in 2.3 sec

On Stricter Reachable Repetitiveness Measures* [article]

Gonzalo Navarro
2021 arXiv   pre-print
The size b of the smallest bidirectional macro scheme, which is arguably the most general copy-paste scheme to generate a given sequence, is considered to be the strictest reachable measure of repetitiveness  ...  It is strictly lower-bounded by measures like γ and δ, which are known or believed to be unreachable and to capture the entropy of repetitiveness.  ...  validity of δ as a lower bound for reachable repetitiveness measures.  ... 
arXiv:2105.13595v1 fatcat:553hv7qrbvepdgdkukfdduefzu

Change and Delay Contracts for Hybrid System Component Verification [chapter]

Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
2017 Lecture Notes in Computer Science  
Component-based techniques for hybrid (I/O) automata are based on assume-guarantee reasoning (AGR) [3, 6, 9] and focus on reachability analysis.  ...  All measurements were conducted on an Intel i7-6700HQ CPU@2.6 GHz with 16GB memory.  ... 
doi:10.1007/978-3-662-54494-5_8 fatcat:fclaeyq4abgdpcqmdxz5tq5sum

Diversifying Focused Testing for Unit Testing

Héctor D. Menéndez, Gunel Jahangirova, Federica Sarro, Paolo Tonella, David Clark
2021 ACM Transactions on Software Engineering and Methodology  
For this evaluation, we created as many tests as the L2-test requires to measure the distance from a uniform distribution, allowing repetition.  ...  To measure reachability, we instrument every program point at the beginning of a branch and apply DFT to generate inputs passing through these points.  ... 
doi:10.1145/3447265 fatcat:6pzemmw25bge7hln7uohb2yrve

Determining Interconnectedness of Barriers to Interface Management in Large Construction Projects

Vijayeta Malla, Venkata Santosh Kumar Delhi
2022 Construction Economics and Building  
The outcome of this study presents the interdependence of barriers and classification of barriers, focusing on proactive action on driving barriers, which is crucial to the knowledge of interface management  ...  On the other hand, this study also prioritized the barriers and classified them as driving, linking, and independent.  ...  One hundred and nine respondents completed, and seven were discarded due to repetition and incompleteness. Therefore, the response rate was 29 % (102 valid responses).  ... 
doi:10.5130/ajceb.v22i2.7936 doaj:46c53df5351f4d788473d92ed9ad66a4 fatcat:bqhmkwubcvektjcvynh3nx74bq

On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus

V. Braberman, A. Olivero, F. Schapachnik
2005 Electronical Notes in Theoretical Computer Science  
In this work we present the on-the-fly workload prediction and redistribution techniques used in Zeus [12,13], a Distributed Model Checker that evolves from the tool Kronos [14].  ...  After reviewing why it is so hard to have good speedups in distributed timed model checking, we present the methods used to get promising results when verifying reachability properties over timed automata  ...  In this model, the error state can be made reachable or unreachable just by modifying a few constants.  ... 
doi:10.1016/j.entcs.2004.10.015 fatcat:vkxmo5ecyjehjbvgans3pq27vm

A spatial QoS requirements specification for V2V applications

Kristoffer Lidstrom, Tony Larsson
2010 2010 IEEE Intelligent Vehicles Symposium  
QoS measuring packets.  ...  Such resource models can be based on e.g. measured data, statistical propagation models or site-specific propagation models. In previous work we have investigated the measurement approach [6] .  ... 
doi:10.1109/ivs.2010.5548092 dblp:conf/ivs/LidstromL10 fatcat:p2nbsbqztjdsxhuw7gjwdoyxsa

Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems

Antti Pakonen, I Buzhinsky, K Björkman
2020 Reliability Engineering & System Safety  
No HW failures One HW failure Function NuSMV Reachable CTL LTL / Reachable Normalized CTL LTL / blocks variables states (s) PSL states reachable (s) PSL (s) states (s) 1 51 230  ...  ; In the example, "always" stands for G, and the repetition operator [*n] replaces nested X expressions.  ...  Actuation is supposed to occur if measurement a decreases below a limit value. However, actuation occurs at a certain range above the limit, instead.  ... 
doi:10.1016/j.ress.2020.107237 fatcat:42eha4zq4jesle3lmb3t5ois7y

Efficient reactive controller synthesis for a fragment of linear temporal logic

Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2013 2013 IEEE International Conference on Robotics and Automation  
This improvement is possible since we compute directly on the original system, as opposed to the automata-based approach commonly used for linear temporal logic.  ...  denotes infinite repetition.  ...  Background on acceptance conditions, reachable sets, and graph notation is in Section III.  ... 
doi:10.1109/icra.2013.6631296 dblp:conf/icra/WolffTM13 fatcat:z5yfqya4b5hsljfzv3mlzuwzt4

rTMS age-dependent response in treatment-resistant depressed subjects: a mini-review

Stefano Pallanti, Andrea Cantisani, Giacomo Grassi, Sarah Antonini, Chiara Cecchelli, Jiulia Burian, Gilla Cauli, Leonardo Quercioli
2012 CNS Spectrums  
Repetitive magnetic transcranial stimulation (rTMS) is a simple and effective treatment in patients with treatment-resistant depression.  ...  the second week, and at the end of the third week of treatment, the Hamilton Depression Rating Scale (HAM-D) and the Hamilton Anxiety Rating Scale (HAM-A) were administered.ResultsLow-frequency rTMS on  ...  All patients were on antidepressant medications, and to avoid confounds on motor cortex excitability measures, medications with a known inhibitory effect on brain excitability (except for benzodiazepines  ... 
doi:10.1017/s1092852912000417 pmid:22790115 fatcat:bj3ldsiedrah5n2uwfhtaijpbm

Interpretive structural model of key performance indicators for sustainable manufacturing evaluation in automotive companies

E. Amrina, S. M. Yusof
2012 2012 IEEE International Conference on Industrial Engineering and Engineering Management  
MA Incentive Contracts between Fourth-party and Third-party Logistics Providers based on Performance Measurement with Intellectual Capital Qin ZHU, Richard Y. K.  ...  Repetitive Powered Handtool Operations Jia-Hua LIN, Raymond MCGORRY, Rammohan MAIKALA Causing Mechanism Analysis of Human Factors in the Marine Safety Management Based on the Entropy Investigating Sensitivity  ... 
doi:10.1109/ieem.2012.6837821 fatcat:gv7g4n2v7zgyjekltpptzo24ie

Landmarks for Numeric Planning Problems

Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
The paper exercises their use in two novel admissible LP-Based numeric heuristics, and reports experiments on cost-optimal numeric planning problems.  ...  FARMLAND models the problem of allocating manpower to farms whilst preserving a hard constraint on a metric measuring benefit. Each farm contributes differently to the overall metric.  ...  This interpretation allows us to focus on the qualitative implications that the numeric structure has on reachability, so that, similarly to the propositional case, we can avoid the explicit layering of  ... 
doi:10.24963/ijcai.2017/612 dblp:conf/ijcai/ScalaHMT17 fatcat:v3jgblpx3jeqngfq4libtxgfzu

Concise finite-domain representations for PDDL planning tasks

Malte Helmert
2009 Artificial Intelligence  
Thirdly, we perform an efficient relaxed reachability analysis using logic programming techniques to obtain a grounded representation of the input.  ...  Acknowledgments Many thanks to Silvia Richter, Sylvie Thiébaux and the anonymous reviewers for their very helpful feedback on earlier drafts of this paper.  ...  Clearly, the heaviness test is stricter than necessary.  ... 
doi:10.1016/j.artint.2008.10.013 fatcat:b4brha64tre65n6qdb22yqis3u

From Saccades to Grasping: A Model of Coordinated Reaching Through Simulated Development on a Humanoid Robot

James Law, Patricia Shaw, Mark Lee, Michael Sheldon
2014 IEEE Transactions on Autonomous Mental Development  
The paper builds on and extends our prior investigations into the development of gaze control, eye-hand coordination, the use of constraints to shape learning, and a schema memory system for the learning  ...  The results from our integration of these various components into an implementation of longitudinal development on an iCub robot show their ability to generate infant-like development, from a start point  ...  However, this is sufficient provided the target ends somewhere within the reachable space, as the robot selects a reach based on its final position.  ... 
doi:10.1109/tamd.2014.2301934 fatcat:2slsm4mvlvdbvnqemoj367kdeu

World modeling for the dynamic construction of real-time control plans

David J. Musliner, Edmund H. Durfee, Kang G. Shin
1995 Artificial Intelligence  
real-time computing and AI technologies, The Cooperative Intelligent Real-time Control Architecture (CIRCA) implements this blending by executing complex AI methods and guaranteed Ral-time control plans on  ...  Many thanks are also due to Clare Congdon, Marc Huber, and Mike Hucka for their work on taming Igrip.  ...  Acknowledgment The authors would like to thank Phil Agre, Jim Dolter, Vie Lortz, Melissa Musliner, Jennifer Rexford, Marcel Schoppers, and the anonymous reviewers for their insightful comments on this  ... 
doi:10.1016/0004-3702(94)00008-o fatcat:jxd4mzr6jney5hryfmcdzzqsxy

Convex Optimization for Parameter Synthesis in MDPs [article]

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021 arXiv   pre-print
We demonstrate the approaches on a satellite collision avoidance problem with hundreds of thousands of states and tens of thousands of parameters and their scalability on a wide range of commonly used  ...  The underlying methods rely on an often unrealistic assumption that the MDP is precisely known.  ...  The stricter set of constraints is often too strict and may not have any feasible solution.  ... 
arXiv:2107.00108v1 fatcat:xmbhqovctzamjgojyt62xj6chy
« Previous Showing results 1 — 15 out of 416 results