Filters








25 Hits in 8.8 sec

Latticed-LTL synthesis in the presence of noisy inputs

Shaull Almagor, Orna Kupferman
2017 Discrete event dynamic systems  
We study a setting in which the truth values of the input and output signals are taken from a finite lattice, and the specification formalism is Latticed-LTL (LLTL), where conjunctions and disjunctions  ...  In the classical synthesis problem, we are given a linear temporal logic (LTL) formula ψ over sets of input and output signals, and we synthesize a finite-state transducer that realizes ψ: with every sequence  ...  The modern approach to synthesis was initiated by Pnueli and Rosner, who introduced LTL (linear temporal logic) synthesis [24] : We are given an LTL formula ψ over sets I and O of input and output signals  ... 
doi:10.1007/s10626-017-0242-0 fatcat:hnhkyjrjkbeo5kbhdj22yrflla

Latticed-LTL Synthesis in the Presence of Noisy Inputs [chapter]

Shaull Almagor, Orna Kupferman
2014 Lecture Notes in Computer Science  
We study a setting in which the truth values of the input and output signals are taken from a finite lattice, and the specification formalism is Latticed-LTL (LLTL), where conjunctions and disjunctions  ...  In the classical synthesis problem, we are given a linear temporal logic (LTL) formula ψ over sets of input and output signals, and we synthesize a finite-state transducer that realizes ψ: with every sequence  ...  The modern approach to synthesis was initiated by Pnueli and Rosner, who introduced LTL (linear temporal logic) synthesis [24] : We are given an LTL formula ψ over sets I and O of input and output signals  ... 
doi:10.1007/978-3-642-54830-7_15 fatcat:zrgihuyoffcj3eu4obqgowqluq

2019 Index IEEE Transactions on Automatic Control Vol. 64

2019 IEEE Transactions on Automatic Control  
Liu, K., Convexification of Power Flow Equations in the Presence of Noisy Measurements.  ...  ., +, TAC Jan. 2019 159-173 Convexification of Power Flow Equations in the Presence of Noisy Measurements.  ... 
doi:10.1109/tac.2020.2967132 fatcat:o2hd2t4jz5fbpkcemjt5aj7xrm

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components [article]

Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
2018 arXiv   pre-print
In this work, we address this question by formulating it as a problem of falsifying signal temporal logic (STL) specifications for CPS with ML components.  ...  This raises the question: can the output from learning components can lead to a failure of the entire CPS?  ...  In general, this sensor can provide noisy measurements due to incorrect image classifications which in turn can affect the correctness of the overall system.  ... 
arXiv:1703.00978v3 fatcat:z7k4ruq3ifdnngbzfmljshknli

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components [chapter]

Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
2017 Lecture Notes in Computer Science  
In this work, we address this question by formulating it as a problem of falsifying signal temporal logic (STL) specifications for CPS with ML components.  ...  This raises the question: can the output from learning components lead to a failure of the entire CPS?  ...  In general, this sensor can provide noisy measurements due to incorrect image classifications which in turn can affect the correctness of the overall system.  ... 
doi:10.1007/978-3-319-57288-8_26 fatcat:evx5o5i5b5hn3iwfaidm6tehvi

Microscopy of Nanoporous Crystals [chapter]

Yanhang Ma, Lu Han, Zheng Liu, Alvaro Mayoral, Isabel Díaz, Peter Oleynikov, Tetsu Ohsuna, Yu Han, Ming Pan, Yihan Zhu, Yasuhiro Sakamoto, Shunai Che (+1 others)
2019 Springer Handbooks  
The synthesis field diagram for SMCs is more complex and diverse compared to that for the lyotropic liquid crystals (LLCs) formed by amphiphilic molecules in the presence of water such as bilayer, cylindrical  ...  DQE is defined as the ratio of the squared SNR of the captured image (output) and that of the input signal [29.109].  ... 
doi:10.1007/978-3-030-00069-1_29 fatcat:mnrpp4nfjzes7clyywujixgzku

Implementation of Fog computing for reliable E-health applications

Razvan Craciunescu, Albena Mihovska, Mihail Mihaylov, Sofoklis Kyriazakos, Ramjee Prasad, Simona Halunga
2015 2015 49th Asilomar Conference on Signals, Systems and Computers  
In addition, we will improve on the performance of such Coded ALOHA protocols in terms of the resource efficiency.  ...  evolution equations) to the action of a multiplicative filter in the nonlinear frequency domain.  ...  In the presence of significant clutter, this estimation becomes challenging due to the presence of clutter induced peaks in the vibration spectra.  ... 
doi:10.1109/acssc.2015.7421170 dblp:conf/acssc/CraciunescuMMKP15 fatcat:qm6mki5z6bcvrfimkmqjyrxaxm

Ping-pong beam training for reciprocal channels with delay spread

Elisabeth de Carvalho, Jorgen Bach Andersen
2015 2015 49th Asilomar Conference on Signals, Systems and Computers  
A distributed consensus algorithm for estimating the number of nodes in a wireless sensor network in the presence of communication noise is proposed.  ...  We address the problem of designing a waveform for Multiple-Input Multiple-Output (MIMO) radar under the constant modulus and the waveform similarity constraints.  ...  In the presence of significant clutter, this estimation becomes challenging due to the presence of clutter induced peaks in the vibration spectra.  ... 
doi:10.1109/acssc.2015.7421451 dblp:conf/acssc/CarvalhoA15 fatcat:mqokuvnh3zg45licnfbgxyvxfu

Table of Contents

2020 2020 IEEE International Conference on Image Processing (ICIP)  
IMAGES AND VIDEOS II ARS-18.1: CNN-ASSISTED COVERINGS IN THE SPACE OF TILTS: BEST AFFINE .................................................. 2201 INVARIANT PERFORMANCES WITH THE SPEED OF CNNS 0DULDQR 52'5  ...  THE ........................................... 1806 PRESENCE OF SPEECH $OL 1 6DOPDQ &DUORV %XVVR 7KH 8QLYHUVLW\ RI 7H[DV DW 'DOODV 8QLWHG 6WDWHV ARS-13.7: TRANSFER LEARNING FOR VIDEOS: .... 1801 RECOGNITION  ...  SEGMENTATION AND 3D RECONSTRUCTION OF NON-RIGID SHAPE ................................................ ................................  ... 
doi:10.1109/icip40778.2020.9191006 fatcat:3fkxl2sjmre2jkryewwo5mlahi

Dagstuhl Reports, Volume 7, Issue 8, August 2017, Complete Issue [article]

2018
The unique scientific atmosphere and the historic building provided not only all the room we needed for our program and the working groups, but also plenty of opportunities for continued discussions and  ...  On behalf of all participants the organizers want to express their deep gratitude to the entire Dagstuhl staff for their outstanding support and service accompanying this seminar.  ...  When the user accepts a set of abstract examples that covers the entire input space, the synthesis process is completed.  ... 
doi:10.4230/dagrep.7.8 fatcat:gksmijgk5ff6reblxsqnt33aze

The U.S. National committee Reports for Commission 6 of URSI Sobcommission 6.3. Electromagnetics (Introduction and 4 Parts)

K.M. Siegel, V.H. Rumsey, R.C. Hansen, A. Ksienski, W.S. Ament, W.C. Hoffman, F.J. Zucker, J.R. Wait, C.T. Tai, R.E. Collin, A.A. Oliner, L.B. Felsen (+6 others)
1964 Journal of Research of the National Bureau of Standards Section D Radio Science  
The input resistances of dipoles in the presence of a conducting half-space have been calculated by Vogler [1963] .  ...  F or such a choice, the power in a given mode ~11ay become sever al hundred t imes greater t han t ha t ltl a ny of the other modes.  ...  Tn addi tion to t he cO lllllluni c,. t ions ex perill1 ents , Ec ho I has co nt ribu ted signifi ca ntly to und ersLan din g of the sp ace enl'ironill en t a nd t he causes of orbi Ltl l p el' Lurb ations  ... 
doi:10.6028/jres.068d.059 fatcat:nw4g46ulhjfb7pumps5s4xmbk4

Report from Dagstuhl Seminar 14481 Multiscale Spatial Computational Systems Biology 1 Executive Summary

David Gilbert, Monika Heiner, Koichi Takahashi, Adelinde Uhrmacher, David Gilbert, Monika Heiner, Koichi Takahashi, Adelinde Uhrmacher
unpublished
A distinguishing factor of the seminar was the modelling exercise-where teams explored different modelling paradigms, in order to better understand the details of the approaches, their challenges, potential  ...  Eight teams were formed, and reports from five of them are included in this document.  ...  This work was supported by Platform for Dynamic Approaches to Living System from the Ministry of Education, Culture, Sports, Science and Technology, Japan. Acknowledgements.  ... 
fatcat:fjynhpt5bzfkvbrewwq2osl4ju

Proceedings of the 2022 Joint Workshop of the German Research Training Groups in Computer Science

Felix Freiling, Helmut Seidl, 2022 2022 Joint Workshop Of The German Research Training Groups In Computer Science June 12–June 15
2022
This volume documents the abstracts of the research topics of funded researchers in the participating RTGs.  ...  interchange of ideas and experiences in order to strengthen the connection within the German computer science community.  ...  Goldwasser, "Complexity of Lattice Problems" Springer US, p. 48-52, 2002 2 P. van Emde-Boas, "Another NP-complete Partition Problem and the Complexity of Computing Short Vectors in a Lattice" Department  ... 
doi:10.25593/opus4-fau-19321 fatcat:ry4vd32xxbgldirrvymuaxxqwi

Dagstuhl Reports, Volume 8, Issue 2, February 2018, Complete Issue [article]

2018
For example, there was a backlash in the UIST community when it became expected that authors include an A/B study of their work because some authors felt that this was inappropriate for their work.  ...  Temporally extended goals (as expressed in LTL, CTL) are also non-Markovian.  ...  In particular, genetic circuits are composed of very noisy components making their behavior more asynchronous, analog, and stochastic in nature.  ... 
doi:10.4230/dagrep.8.2 fatcat:6kf77nt6j5g2jatriorn72fafm

LIPIcs, Volume 71, SNAPL'17, Complete Volume [article]

Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi
2017
Finally, we thank the members of the UW PLSE lab for their camaraderie and putting up with many hours of noisy 3D printing. Acknowledgments.  ...  Big types in little runtime. In Principles of Programming Languages, pages 762-774, 2017. Mitch Wand. Finding the source of type errors. In Principles of Programming Languages, pages 38-43, 1986.  ...  The "channel access exclusion" property of Chain's channels ensure that regardless of the presence or timing of power failures, a task's inputs are always available (in its input channels) } Atomic  ... 
doi:10.4230/lipics.snapl.2017 fatcat:tmxd6cpxebfbdi6xs3ki5cbgfi
« Previous Showing results 1 — 15 out of 25 results