Filters








140 Hits in 8.4 sec

Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates [chapter]

Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
2016 Lecture Notes in Computer Science  
This paper presents a new state space generation approach for dynamic fault trees (DFTs) together with a technique to synthesise failures rates in DFTs.  ...  Benchmarks show a gain of more than two orders of magnitude in terms of state space generation and analysis time.  ...  Conclusions and future work We have presented a state space generation technique for DFTs that is more than two orders of magnitude faster than the state-of-the-art.  ... 
doi:10.1007/978-3-319-45477-1_20 fatcat:6byindpwwrhorhuwuugqdemkpe

Testing machine learning based systems: a systematic mapping

Vincenzo Riccio, Gunel Jahangirova, Andrea Stocco, Nargiz Humbatova, Michael Weiss, Paolo Tonella
2020 Empirical Software Engineering  
Despite the advances in software testing, MLSs bring novel and unprecedented challenges, since their behaviour is defined jointly by the code that implements them and the data used for training them.  ...  MLS testing is a rapidly growing and developing research area, with many open challenges, such as the generation of realistic inputs and the definition of reliable evaluation metrics and benchmarks.  ...  Acknowledgments This work was partially supported by the H2020 project PRECRIME, funded under the ERC Advanced Grant 2017 Program (ERC Grant Agreement n. 787703).  ... 
doi:10.1007/s10664-020-09881-0 fatcat:7w42stnm3nfafia7ycbmvhrjou

AppLP: A Dialogue on Applications of Logic Programming [article]

David S. Warren, Yanhong A. Liu
2017 arXiv   pre-print
This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Conference on Logic Programming  ...  In addition, he states that there is a problem getting people to adopt declarative networking using logic programming.  ...  Some variability of service time is tolerable, within limits . • Fault-tolerant-non-Byzantine failure, that is late or lost (infinitely late) messages, are recoverable. • High availability-many sorters  ... 
arXiv:1704.02375v1 fatcat:eai5tuldkvez3makttxz23goby

Computational Air Traffic Management

Marc Anthony Azzopardi, James F. Whidborne
2011 2011 IEEE/AIAA 30th Digital Avionics Systems Conference  
This work advances the field of ATM as well as the fields of Computational Intelligence and Dynamic Optimisation of High Dimensionality Non-Convex Search Spaces. iii DEDICATIONS To my brother Carl, my  ...  fiancée Christine, and my parents iv  ...  Robustness of any system is readily measured by its failure rate.  ... 
doi:10.1109/dasc.2011.6095967 fatcat:5kfu6ba5h5g7pdffh7z3ftdjai

A Survey and Perspective on Artificial Intelligence for Security-Aware Electronic Design Automation [article]

David Selasi Koblah, Rabin Yu Acharya, Daniel Capecci, Olivia P. Dizon-Paradis, Shahin Tajik, Fatemeh Ganji, Damon L. Woodard, Domenic Forte
2022 arXiv   pre-print
In recent years, this use has exponentially increased due to the advancement of high-performance computing and the ever increasing size of data.  ...  In this paper, we summarize the state-of-the-art in AL/ML for circuit design/optimization, security and engineering challenges, research in security-aware CAD/EDA, and future research directions and needs  ...  Their work so far has incorporated problem-specific tools like ioPlacer for fast and scalable input/output pin assignment [23] , TritonCTS for clock tree synthesis [96] and RTL-MP for macro placement  ... 
arXiv:2204.09579v2 fatcat:tebjzerhfvaepbwmka7ipiccxy

Special issue on information reuse and integration

2007 IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)  
Learners were evaluated using analysis of variance models based on their performance as the level of injected noise, the number of attributes with noise, and the percentage of minority instances containing  ...  Low quality or noisy data, which typically consists of erroneous values for both dependent and independent variables, has been demonstrated to have a significantly negative impact on the classification  ...  United States Government.  ... 
doi:10.1109/tsmcb.2007.912701 fatcat:xvhlaf4m3vhcdb2cicqtfrug6m

29th International Conference on Data Engineering [book of abstracts]

2013 2013 IEEE 29th International Conference on Data Engineering Workshops (ICDEW)  
face of heavy workloads and hardware failure.  ...  At the same time, ART is very space efficient and solves the problem of excessive worst-case space consumption, which plagues most radix trees, by adaptively choosing compact and efficient data structures  ...  These volunteers welcome participants, give directions, help in the sessions and on the registration desk, and generally make sure the conference is running smoothly.  ... 
doi:10.1109/icdew.2013.6547409 fatcat:wadzpuh3b5htli4mgb4jreoika

Challenges to the deployment of autonomous weapons

Paddy Walker, Lloyd Clark
2019 Zenodo  
This requires material step-change in both hardware and software and, once deployed, posits a significant change in how humans wage war.  ...  AWS also pose basic statutory, moral and ethical challenges.  ...  have no 'dynamical behaviour'. 99 Indeed, a decision tree does not represent feedback.  ... 
doi:10.5281/zenodo.3689445 fatcat:suxmfofsozfeheeyjm4bo237j4

International review panel

2011 2011 6th International Conference on Industrial and Information Systems  
Where creativity comes from Sean Hanna 45 Beyond Binary Choices: Understanding and exploiting trade-offs to enhance creativity Gerhard Fisher 71 COMPUTATIONAL CREATIVITY 93 Creativity as disruptive adaption  ...  Shigeki Amitani and Brigid Costello have made very valuable contributions to the evaluation work and Mark Fell has been a crucial partner in the making of Absolute_4,5 and its related works.  ...  Acknowledgements The authors are extremely grateful to the team who enabled, constructed and realized Beta_Space: not least, Matthew Connell, Alastair Weakley and Greg Turner.  ... 
doi:10.1109/iciinfs.2011.6038027 fatcat:olgp74wayzadfb7n7f7mtx2jyi

Cross‐spectral synergy and consonant identification

Thomas Ulrich Christiansen, Steven Greenberg
2008 Journal of the Acoustical Society of America  
depth and spacing, insulation thickness and density, and resilient metal channel spacing.  ...  Localization emerges naturally from competition between rates of transport and rate of eigen-mode resolution.  ...  It grows fast and exhibits wood formation in its stem and root resembling softwood produced by angiosperm trees.  ... 
doi:10.1121/1.2935680 fatcat:znwocm35unasharfwbcap5omim

The perceptual flow of phonetic feature processing

Steven Greenberg, Thomas Ulrich Christiansen
2008 Journal of the Acoustical Society of America  
depth and spacing, insulation thickness and density, and resilient metal channel spacing.  ...  Localization emerges naturally from competition between rates of transport and rate of eigen-mode resolution.  ...  It grows fast and exhibits wood formation in its stem and root resembling softwood produced by angiosperm trees.  ... 
doi:10.1121/1.2935993 fatcat:l2ix2ph575gh7l27xtjq264qkm

Amplitude modulation depth discrimination in hearing‐impaired and normal‐hearing listeners

Stephan D. Ewert, Jutta Volmer, Torsten Dau, Jesko Verhey
2008 Journal of the Acoustical Society of America  
depth and spacing, insulation thickness and density, and resilient metal channel spacing.  ...  Localization emerges naturally from competition between rates of transport and rate of eigen-mode resolution.  ...  It grows fast and exhibits wood formation in its stem and root resembling softwood produced by angiosperm trees.  ... 
doi:10.1121/1.2935715 fatcat:qsqohnv63fdsjgegqb2h5s7r7q

Analysis of room transfer function and reverberant signal statistics

Eleftheria Georganti, John Mourjopoulos, Finn Jacobsen
2008 Journal of the Acoustical Society of America  
It grows fast and exhibits wood formation in its stem and root resembling softwood produced by angiosperm trees.  ...  Assuming the effective tree spacing to be inversely proportional to the penetration depth, the engineering scheme for the effective tree spacing is derived.  ...  , bearings, range rates and bearing rates, assuming a set of transition probabilities of changes in range rate and bearing rate.  ... 
doi:10.1121/1.2935346 fatcat:lxgnqr6tozajhge3ydet3xomam

A virtual auditory environment for investigating the auditory signal processing of realistic sounds

Sylvain Favrot, Jörg M. Buchholz
2008 Journal of the Acoustical Society of America  
It grows fast and exhibits wood formation in its stem and root resembling softwood produced by angiosperm trees.  ...  Assuming the effective tree spacing to be inversely proportional to the penetration depth, the engineering scheme for the effective tree spacing is derived.  ...  , bearings, range rates and bearing rates, assuming a set of transition probabilities of changes in range rate and bearing rate.  ... 
doi:10.1121/1.2936003 fatcat:ontu6yamdvgbnooet5fe36fm74

Whole Issue // Número completo

Diana Villanueva-Romero
2016 Ecozon@  
By further advancing Smith's analysis (1991), a third mystical and aesthetic path will be analyzed, the via creativa.  ...  City space is thereby seen as a space of creative interaction, whose state can be seen as an indicator of how we treat our environment and, in turn, ourselves; and a space that allows for patterns of land  ...  This is the quiet apocalypse: the silent but indisputable revelation of naturalcultural dynamics of mutuality, that can show the demise of politics vis-à-vis rural abandonment or become oppressive and  ... 
doi:10.37536/ecozona.2016.7.2.1186 fatcat:csnc7ttp7jgxpcstuvq2qmf2qa
« Previous Showing results 1 — 15 out of 140 results