Filters








39 Hits in 13.6 sec

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification [chapter]

Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol
2016 Lecture Notes in Computer Science  
The 5th challenge of Rigorous Examination of Reactive Systems (RERS 2016) once again provided generated and tailored benchmarks suited for comparing the effectiveness of automatic software verifiers.  ...  This paper describes the revised rules and the refined profile of the challenge, which lowers the entry hurdle for new participants.  ...  They represent instances of event-condition-action systems that are used for example in logic controllers [1] and database management systems [13] .  ... 
doi:10.1007/978-3-319-47169-3_59 fatcat:4t4uhsotznfh7fibyvrwppo3su

BDD-based software verification

Dirk Beyer, Andreas Stahlbauer
2014 International Journal on Software Tools for Technology Transfer (STTT)  
Event-condition-action system · RERS challenge · Configurable software verification · CPA  ...  We evaluate the use of a pure BDD representation of integer values, and focus on a particular class of programs: event-condition-action (ECA) programs with limited operations.  ...  Verification tasks For the evaluation of our approach, we use the benchmark sets of reachability verification tasks from the RERS challenges 2012 and 2013 [39, 40] .  ... 
doi:10.1007/s10009-014-0334-1 fatcat:m6xpuqjq45btrhk4lsov7i2hii

WATER RESOURCE INFRASTRUCTURE IMPLICATIONS OF A GREEN ECONOMY TRANSITION IN THE WESTERN CAPE PROVINCE OF SOUTH AFRICA: A SYSTEM DYNAMICS APPROACH

Aliza Pienaar, Alan C Brent, Josephine K Musango, Imke H De Kock
2017 South African Journal of Industrial Engineering  
Static and predictive approaches will not be helpful in the case of a CAS.  ...  Figure 3 . 3 17: Extreme condition test: Graph for supply demand deficit Deficit : BAU Supply Demand Deficit : Extreme condition test: Per Capita Water Demand Figure 3 . 3 18: Sensitivity analysis results  ... 
doi:10.7166/28-2-1639 fatcat:42sxgjemvjhuvfjxqt6c3z4ywu

An information system for assessing the likelihood of child labor in supplier locations leveraging Bayesian networks and text mining

Andreas Thöni, Alfred Taudes, A Min Tjoa
2018 Information Systems and E-Business Management  
Extensive tests reveal that the expert system correctly replicates the decisions of domain experts in the fields supply chain management, sustainability management, and risk management.  ...  It uses a Bayesian network to determine the breach likelihood for each supplier location based on the integration of statistical data, audit results and public reports of child labor incidents.  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creat iveco mmons .org/licen ses/by/4.0/), which permits unrestricted use,  ... 
doi:10.1007/s10257-018-0368-0 fatcat:6s3jfsnegbcv7dofl774m4qnha

CLUSTER ANALYSIS AS A PRELIMINARY PROBLEM IN NEURAL MODELLING OF THE POLISH POWER EXCHANGE

Jerzy Tchórzewski, Jakub Jezierski
2019 Information System in Management  
points on the knowledge map ( fig. 2) , which can be further used to carry out indepth research in assigning to individual neurons the numbers of hours and possible tracking of changes in their position  ...  in separate hours 24 hours a day for the entire examined period, which sets a new direction for research.  ...  According to the FEVD analysis, changes in rer t explain up to 7 percent of changes in output.  ... 
doi:10.22630/isim.2019.8.1.7 fatcat:3umyjpiss5gi3iid7vy5q35k2u

Enclosing rail capacity/punctuality in accessibility measures: a two-step approach by using Data Envelopment Analysis and Analytic Hierarchy Process

Francesco Rotoli, Elena Navajas Cawood, Lorenzo Vannacci
2015 2015 International Conference on Industrial Engineering and Systems Management (IESM)  
In this presentation, we discuss the complex issue of designing the tactical transportation plan for intermodal carriers, that is, to select the services that will be operated over the next activity season  ...  We conclude with a number of challenging research directions.  ...  The topics of this session include the following: • Formalisms for the analysis (static and dynamic) transport systems, taking into account all specifications; • Combinations of different formalisms and  ... 
doi:10.1109/iesm.2015.7380133 fatcat:hbiqir2zo5bejlasdudkjzom2e

Noisy Fields: Interference and Equivocality in the Sonic Legacies of Information Theory

Nicholas A. Knouf
2015 Leonardo: Journal of the International Society for the Arts, Sciences and Technology  
In sum, I show how the analysis of noise requires a transdisciplinary approach in order to elucidate the complicated dynamics of its interferences.  ...  I turn to the nexus of speech, the voice, and noise, to consider situations of parrhesia, or "fearless speech", that consists of noisy interferences within social systems via the activity of robotic performing  ...  potentially different probabilities for each element.²⁸ Shannon, by a combination of the analysis of word frequency in English and "transition probabilities" between different words via a Markov process  ... 
doi:10.1162/leon_a_01110 fatcat:ufx4ddxx3bel3dsbpxo4h4aw4i

CIAFIS – Congresso Internacional de Atividade Física, Nutrição e Saúde

Nara Michelle Moura Soares, Estélio Henrique Martin Dantas, Marzo Edir da Silva-Grigoletto, Roberto Jerônimo dos Santos Silva,, Felipe José Martins Aidar, Walderi Monteiro da Silva Júnior, Breno Tinoco Cabral, André Luiz Carneiro, Nuno Domingos Garrido, Victor Machado Reis
2018 Motricidade  
All content of Journal Motricidade is licensed under Creative Commons, except when otherwise specified and in content retrieved from other bibliographic sources.  ...  Acknowledgements Acknowledgments: Nothing to declare Acknowledgments: We thank our translator, Lucas de Assis Borges, for the translation of this article from Portuguese to English  ...  Statistical analysis For the statistical analysis of the nominal data the chi-square test was used and for verification of the homogeneity of the sample the Levene test.  ... 
doi:10.6063/motricidade.14077 fatcat:xbbyasndyvhfjjogdwwzl74msi

CIAFIS – Congresso Internacional de Atividade Física, Nutrição e Saúde

Estélio Henrique Martin Dantas, Nara Michelle Moura Soares, Felipe José Martins Aidar, Marzo Edir da Silva-Grigoletto, Roberto Jerônimo dos Santos Silva, Walderi Monteiro da Silva Júnior, Breno Guilherme Araújo Tinoco Cabral, André Luiz Gomes Carneiro
2017 Motricidade  
All content of Journal Motricidade is licensed under Creative Commons, except when otherwise specified and in content retrieved from other bibliographic sources.  ...  Acknowledgments Acknowledgments: Nothing to declare Acknowledgments: We thank our translator, Lucas de Assis Borges, for the translation of this article from Portuguese to English  ...  Statistical analysis For the statistical analysis of the nominal data the chi-square test was used and for verification of the homogeneity of the sample the Levene test.  ... 
doi:10.6063/motricidade.9790 fatcat:6i4mmm7f4fcs5hbwxjtc64cydq

Transactions on Maritime Science (ToMS) - Volume 1, 2012

:None, Universitätsbibliothek Braunschweig
2013 Transactions on Maritime Science  
t i+1 ; (2) Calculation of the initial vector of state S o ; (3) Forming of square Markov matrix of transitional probabilities M based on the data from 1), where the condition that the sum of transitional  ...  The most appropriate combinations of accessories or the standard for colour vision testing of congenital and acquired dyschromatopsias with their advantages and disadvantages are represented by SWOT analysis  ...  State explicitly and specifically the purpose of the study. Methods.  ... 
doi:10.24355/dbbs.084-201303151339-0 fatcat:zykc4sche5f5jp7hjocvqdekei

Food engineering and technology [chapter]

2017 Advanced Engineering and Technology III  
By conducting an experiment on the static-dynamic of a salty tailing dam sand, Liu et al. (2012) found that under static loading conditions, a parabolic curve can well reflect the shear strength characteristics  ...  evaluation system in Shandong Province (Gao 2013).  ...  For better utilization of the resource, the Box-Behnken Design (BBD) combined with Response Surface Methodology (RSM) was used to optimize the extraction conditions of total flavonoids from the seed shell  ... 
doi:10.4324/9781315387222-8 fatcat:7x3p2xawojexflyeu3erexehoy

Effects of atrazine on fish, amphibians, and reptiles: update of the analysis based on quantitative weight of evidence

Mark L. Hanson, Keith R. Solomon, Glen J. Van Der Kraak, Richard A. Brian
2020 Figshare  
This framework allows for data from these studies to be combined in separate lines of evidence to address causality, and relevance to environmental risks.  ...  Quantitative weight of evidence (QWoE) provides a framework and process for evaluating different toxicological studies based on quality and relevance of the results.  ...  Treatment was under semi-static renewal conditions.  ... 
doi:10.6084/m9.figshare.11662935 fatcat:vbp7hlmjenelhkptyzvmsjz7yq

Frequency of injuries and health status of football players in Bosnia; classification by gender and age

Ratko Peric, Radojka Peric
2013 Zenodo  
METHODS: Research was conducted at the Institute for Sport and Occupational Medicine in Banja Luka, Bosnia in time period of one year.  ...  of Diseases and Related Health Problems) system.  ...  The players' sports achievements were estimated as the mean number of effective actions (EFF) and points per game (PPG) for the playing season of 2012/2013.  ... 
doi:10.5281/zenodo.4575221 fatcat:gps3ldi3crhmhjxoandbui77je

Abstracts of Scientific Presentations 2018 AALAS National Meeting Baltimore, Maryland

2018 Journal of the American Association for Laboratory Animal Science  
Examples of behaviors for training included dogs that would refuse to move into their home cage for feeding/separating, dogs that would leap out of the cage when the door was opened, dogs that would keep  ...  In 2018, we have now successfully trained over 150 dogs using operant conditioning strategies.  ...  Rats, one of the most commonly used research animals in the United States, have been shown to respond positively to gentle handling and "tickling" by humans, which simulates play behavior.  ... 
pmid:30236173 pmcid:PMC6159684 fatcat:bd5btuaf7zaevde3hds36zze2e

Proceedings of the 2021 Joint Workshop of the German Research Training Groups in Computer Science. May 31–June 1, 2021

Joint Workshop Of The German Research Training Groups In Computer Science, Erlangen May 31–June 1, 2021, Felix Freiling
2021
Initiated in 1996 and run regularly since 2007, researchers of the German Research and Training Groups (RTGs) funded by the Deutsche Forschungsgemeinschaft (DFG) in the field of computer science meet annually  ...  The goal of these workshops is to foster an interchange of ideas and experiences in order to strengthen the connection within the German computer science community.  ...  Ron and A. Shamir. Quantitative analysis of the full Bitcoin transaction graph. In FC 2013, pages 6-24, 2013. S. Meiklejohn et al.  ... 
doi:10.25593/opus4-fau-16426 fatcat:isoyq5lzdffxrdqzvkmfsnjgau
« Previous Showing results 1 — 15 out of 39 results