Filters








170,566 Hits in 4.9 sec

On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report [article]

Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott
2021 arXiv   pre-print
This paper develops a Multiset Rewriting language with explicit time for the specification and analysis of Time-Sensitive Distributed Systems (TSDS).  ...  Following (FORMATS 2016), we focus on a class of systems called Progressing Timed Systems (PTS), where intuitively only a finite number of actions can be carried out in a bounded time period.  ...  Introduction In our previous work [16] , we considered the verification of Time-Sensitive Distributed Systems (TSDS) motivated by applications with autonomous drones performing surveillance of an area  ... 
arXiv:2105.03531v4 fatcat:wmab2iwjn5flnjit2sf4waqhny

Investigating the reproducibility of a complex multifocal radiosurgery treatment

M Niebanck, T Juang, J Newton, J Adamovics, Z Wang, M Oldham
2013 Journal of Physics, Conference Series  
The optical-CT PRESAGE ® system provided a reproducible measurement for treatment verification, provided measurements were made immediately following treatment.  ...  Multiple targets can be simultaneously treated with a single isocenter in order to reduce the set-up time to improve patient comfort and workflow.  ...  Acknowledgements This study was supported by the NIH R01CA100835 grant.  ... 
doi:10.1088/1742-6596/444/1/012072 pmid:27081397 pmcid:PMC4828920 fatcat:uzlhxogobfanhbi3md6kextomi

Locality-Sensitive Bloom Filter for Approximate Membership Query

Yu Hua, Bin Xiao, Bharadwaj Veeravalli, Dan Feng
2012 IEEE transactions on computers  
We have implemented LSBF in a real distributed system to perform extensive experiments using real-world traces.  ...  Experimental results show that LSBF, compared with a baseline approach and other state-of-the-art work in the literature (SmartStore and LSB-tree), takes less time to respond AMQ and consumes much less  ...  The query time is OðdLÞ þ OðkÞ complexity and the space overhead is Oðdn=!  ... 
doi:10.1109/tc.2011.108 fatcat:oliit6amsbg2hg3ius7pn7z7au

URANIE: The CEA/DEN Uncertainty and Sensitivity platform

Fabrice Gaudier
2010 Procedia - Social and Behavioral Sciences  
We present the "Uncertainty and Sensitivity» platform Uranie developed by the CEA to perform Uncertainty Quantification, Verification and Validation codes, and Sensitivity Analysis.  ...  In nuclear applications, these models, integrated in computation codes, are very complex and very high consuming CPU time.  ...  The Launcher library is devoted to manage the computation on a PC (sequential) or on a cluster (distributed).  ... 
doi:10.1016/j.sbspro.2010.05.166 fatcat:fqi67kth7ndbfgnzcavixd7dsa

SIMULATION AND OPTIMIZATION OF FREIGHT CUSTOMS COMPLEXES` BASED ON QUEUEING SYSTEMS

N. O. LUZHANSKA
2020 Transport systems and transportation technologies  
The developed simulation model of the freight customs complex provides an opportunity to identify the average time spent by vehicles on the territory of the freight customs complex when performing export  ...  Methodology is the simulation modeling of queuing systems. The mathematical model of the freight customs complex (FCC) is presented as a queuing system.  ...  ; average time vehicles spent on the territory of a freight customs complex.  ... 
doi:10.15802/tstt2020/208693 fatcat:v6z5zt3agrhavcfrk4dv42sega

On the Power of Uncertainties in Microbial System Modeling: No Need To Hide Them Anymore

Benoit Delahaye, Damien Eveillard, Nicholas Bouskill, Nicholas Chia
2017 mSystems  
Herein, we demonstrate how statistical model checking can enhance the development of microbial models by building confidence in the estimation of critical parameters and through improved sensitivity analyses  ...  As a consequence, standard microbial system modeling strives to hide uncertainties for the sake of deterministic understanding.  ...  Instead of fixing parameter values to their mean observed values and performing sensitivity analysis of one parameter at a time (Fig. 1A) , we propose to embed the uncertainty of the parameter values  ... 
doi:10.1128/msystems.00169-17 pmid:29238753 pmcid:PMC5715109 fatcat:zft7wqz6c5h4phcgvzf6xo6ete

OC-0155: Time dependent pre-treatment verification of VMAT plans using flattened or flattening filter free beams

S. Nijsten, S. Scheib, C. Baltes, F. Verhaegen
2013 Radiotherapy and Oncology  
Such fast and complex treatments should be accompanied by robust verification.  ...  The Delta4 was found to be the most sensitive system overall but with the lowest ρ c , indicating lower agreement with the predicted γ. The remaining systems had comparable sensitivity to each other.  ... 
doi:10.1016/s0167-8140(15)32461-0 fatcat:nbeq3m6bxzcs3oa6ytuhgu5gle

Principles of Verification and Validation

Leslaw Kwasniewski, Cezary Bojanowski
2015 Journal of Structural Fire Engineering  
This paper discusses the concepts of verification and validation in computational mechanics with special attention to structural fire engineering, by referring to recently published papers and guides on  ...  The considerations emphasize practical problems encountered in the V&V process, potential sources of errors and uncertainties, the importance of sensitivity study, new ideas regarding the relationship  ...  This distribution can be dramatically different, depending on the selection of the so called system response quantity (SRQ).  ... 
doi:10.1260/2040-2317.6.1.29 fatcat:mr4jwpp62fg7rkrgxiztbb6zaq

A Fast Sensitivity Analysis Method For Voltage Control Applications With Distributed Generation

Khaled Alzaareer, Maarouf Saad, Hasan Mehrjerdi, Serge Lefebvre, Dalal Asber
2020 2020 IEEE Power & Energy Society General Meeting (PESGM)  
However, updating these coefficients based on the network operation conditions requires significant consuming time, which may add a new challenge for online voltage control of future power grids with distributed  ...  Sensitivity Analysis has been widely used for voltage control of power grids. Typically, the sensitivity coefficients of network voltages are extracted from the inverse of Jacobian matrix.  ...  ACKNOWLEDGMENT This work was supported by the National Priorities Research Program under Grant 11S-1125-170027 from the Qatar National Research Fund (a member of Qatar Foundation).  ... 
doi:10.1109/pesgm41954.2020.9281838 fatcat:ybrz7fphjzfdxbscurmwnnt2le

Reduced Verification of Medication Alerts Increases Prescribing Errors

Farah Magrabi, Enrico Coiera, David Lyell
2019 Applied Clinical Informatics  
System designers need to facilitate verification without increasing workload or eliminating the benefits of correct CDS.  ...  Verification measures were access of drug references and view time percentage of task time.  ...  Protection of Human and Animal Subjects The research was conducted in accordance with protocols approved by the Macquarie University Human Research Ethics Committee (5201401029)  ... 
doi:10.1055/s-0038-1677009 pmid:30699458 pmcid:PMC6353646 fatcat:bbyvjzx6prfcpbu26x2m4ipfsm

Distribution of Explicit-State LTL Model-Checking

Luboš Brim, Jiří Barnat
2003 Electronical Notes in Theoretical Computer Science  
Distribution and parallelization of verification algorithms is one of the current key research themes in the laboratory.  ...  We give a brief summary of recent achievements in the Parallel and Distributed Systems Laboratory at the Faculty of Informatics in Brno that are related to the distribution of explicit-state LTL model-checking  ...  DiVinE -Distributed Verification Environment Development of a tool that would support the distributed verification of systems is one of our recent projects.  ... 
doi:10.1016/s1571-0661(04)80825-9 fatcat:nzawpinu7ffuxlcxbqhgexyfxu

New method for estimation of fluence complexity in IMRT fields and correlation with gamma analysis

T Hanušová, V Vondráček, K Badraoui-Čuprová, I Horáková, I Koniarová
2015 Journal of Physics, Conference Series  
Unlike other previously published works, it is based on portal images calculated by the Portal Dose Calculation algorithm in Eclipse (version 8.6, Varian Medical Systems) in the plane of the EPID aS500  ...  Fluence complexity is given by the number and the amplitudes of dose gradients in these matrices.  ...  , Varian Medical Systems, Palo Alto, USA) in the plane of the Electronic Portal Imaging Device (EPID) when creating a verification plan.  ... 
doi:10.1088/1742-6596/573/1/012056 fatcat:zl3k2fif7faglgtbidx2vpcji4

Rate-Distortion-Authentication Optimized Streaming of Authenticated Video

Zhishou Zhang, Qibin Sun, Wai-Choong Wong, John Apostolopoulos, Susie Wee
2007 IEEE transactions on circuits and systems for video technology (Print)  
of the authenticated video at the receiver subject to a constraint on the average transmission rate.  ...  Furthermore, we examine a low-complexity version of the proposed algorithm, and also an enhanced version which accounts for the multiple deadlines associated with each packet, which is introduced by stream  ...  ACKNOWLEDGMENT The authors would like to thank Y. Li (Stanford University) and K. Suehring (Fraunhofer Institute) for their help with the H.264 JM software.  ... 
doi:10.1109/tcsvt.2006.888822 fatcat:n6druao5mreg7c4vdgc73ffoou

Optical-CT imaging of complex 3D dose distributions

Mark Oldham, Leonard Kim, Geoffrey Hugo, Michael J. Flynn
2005 Medical Imaging 2005: Physics of Medical Imaging  
Prior to application to IMRT, the robustness of optical-CT gel dosimetry was investigated on geometry and variable attenuation phantoms.  ...  The limitations of conventional dosimeters restrict the comprehensiveness of verification that can be performed for advanced radiation treatments presenting an immediate and substantial problem for clinics  ...  Acknowledgments We are very grateful to Dr Gary Gluckman for providing DOSEQA software used in the analysis of the IMRT distribution, and to Dr Geoffrey Hugo providing the high resolution mapcheck measurements  ... 
doi:10.1117/12.595525 pmid:17235366 pmcid:PMC1773258 fatcat:kaaccj4tqnahjkifxz4t4mywwq

Verification, validation and sensitivity studies in computational biomechanics

Andrew E. Anderson, Benjamin J. Ellis, Jeffrey A. Weiss
2007 Computer Methods in Biomechanics and Biomedical Engineering  
Increasingly complex models have been developed to describe and predict the mechanical behavior of such biological systems.  ...  The objective of this review is to present the concepts of verification, validation and sensitivity studies with regard to the construction, analysis and interpretation of models in computational biomechanics  ...  Acknowledgements Financial support from NIH grants R01-AR047369, R01-AR050218, R01-HL077683, NSF grant BES-0134503, DARPA Contract W81XWH-04-2-0012 and the Orthopaedic Research and Education Foundation  ... 
doi:10.1080/10255840601160484 pmid:17558646 pmcid:PMC3361760 fatcat:i266qvd2obh3zav5nyr7wlzmwe
« Previous Showing results 1 — 15 out of 170,566 results