36 Hits in 4.0 sec

Table of Contents

2021 IEEE Transactions on Reliability  
Sui 1658 Duo: Differential Fuzzing for Deep Learning Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ...  Miao 1611 Special Section on Machine Learning Systems A Study of Incorporation of Deep Learning Into Software Reliability Modeling and Assessment . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ... 
doi:10.1109/tr.2021.3124389 fatcat:qd7s4zepjrdttcx42kvd6brkou

2021 Index IEEE Transactions on Reliability Vol. 70

2021 IEEE Transactions on Reliability  
The Author Index contains the primary entry for each item, listed under the first author's name.  ...  ., +, TR Dec. 2021 1658-1670 Duo: Differential Fuzzing for Deep Learning Operators.  ...  ., +, TR Sept. 2021 1040-1052 Duo: Differential Fuzzing for Deep Learning Operators.  ... 
doi:10.1109/tr.2021.3134026 fatcat:22noq6n6n5cd3fshazpc3w4tku

Differential Privacy Under Fire

Andreas Haeberlen, Benjamin C. Pierce, Arjun Narayan
2011 USENIX Security Symposium  
Recent research on differential privacy opens a way to obtain robust, provable privacy guarantees, and systems like PINQ and Airavat now offer convenient frameworks for processing arbitrary userspecified  ...  We discuss the space of possible countermeasures, and we present a detailed design for one specific solution, based on a new primitive we call predictable transactions and a simple differentially private  ...  reviewers for their helpful comments.  ... 
dblp:conf/uss/HaeberlenPN11 fatcat:rn3appqwjvgfrgyxdqwjcz5lby

Verification for Machine Learning, Autonomy, and Neural Networks Survey [article]

Weiming Xiang and Patrick Musau and Ayana A. Wild and Diego Manzanas Lopez and Nathaniel Hamilton and Xiaodong Yang and Joel Rosenfeld and Taylor T. Johnson
2018 arXiv   pre-print
Autonomy in CPS is enabling by recent advances in artificial intelligence (AI) and machine learning (ML) through approaches such as deep neural networks (DNNs), embedded in so-called learning enabled components  ...  This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents thereof.  ...  The following paper [150] presents an automated testing framework called DeepHunter for identifying potential defects in deep neural networks using coverage-guided fuzz (CGF) testing.  ... 
arXiv:1810.01989v1 fatcat:a5ax66lsxbho3fuxuh55ypnm6m

Towards Adaptive Systems for Automatic Formative Assessment in Virtual Learning Communities

Marina Marchisio, Luigi Di Caro, Michele Fioravera, Sergio Rabellino
2018 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)  
digital materials shared within a virtual learning community, to increase the possibilities of activating formative and proactive assessment processes, operating on the basis of automatic detection of  ...  Image Analysis by Deep Learning on Small Dataset 492 Jie Yang (Tsinghua University), Yuchen Xie (Tsinghua University), Lin Liu (Tsinghua University), Bin Xia (Peking University Stomatological Hospital)  ... 
doi:10.1109/compsac.2018.00176 dblp:conf/compsac/MarchisioCFR18 fatcat:2ojtlfz45ngktkri7zoncgjhge

Goal-oriented dynamic test generation

TheAnh Do, Siau-Cheng Khoo, Alvis Cheuk Ming Fong, Russel Pears, Tho Thanh Quan
2015 Information and Software Technology  
SERL has been an amazing research group for me to familiarize myself with others' research, and to learn more about industrial practices.  ...  an improvement in the capability to detect errors, especially subtle deep errors such as buffer overflow vulnerability defects.  ... 
doi:10.1016/j.infsof.2015.05.007 fatcat:ebdngmeyijdmbdo4e6kzqh4xte

Table of Contents

2021 2021 40th Chinese Control Conference (CCC)   unpublished
LI Chengwei, YAN Liping, XIA Yuanqing 4085 Operational Safe Control for Reinforcement-Learning-Based Robot Autonomy . . . . . . . . . . . . .  ...  SHEN Yan, DENG Tian, LI Lilin, SHI Kuirui, WANG Kai 3973 Gait Self-learning for Damaged Robots Combining Bionic Inspiration and Deep Reinforcement Learning . . . . . . . . . . . . . . . . . . . . . . .  ... 
doi:10.23919/ccc52363.2021.9550117 fatcat:55y7a2gagfhtpc6llmfvl7gqpm

Exploring semantic reverse engineering for software binary protection

Pengfei Sun
For BinSec, I evaluate 25 existing CVE vulnerability functions for the Google Pixel 2 smartphone and Android Things IoT firmware images. The deep learning model identifies vulne [...]  ...  Finally, I build BinSec, a vulnerability assessment tool which leverages deep learning and dynamic analysis to do cross-platform binary code similarity detection to identify known vulnerabilities.  ...  Duo labs found that only 25 percent of mobile devices operated on a recent patch level in 2016 Labs (a) .  ... 
doi:10.7282/t3-zy08-nn55 fatcat:dqxzc5akg5ag3iihoknm5lyb64


Margaret Schedel, John Young
2003 Computer Music Journal  
Second, it's a natural point for the group to look back, take stock of where they've been, and grab a deep breath before lighting out for the aesthetic unknown.  ...  It has also proven to be a good pedagogical tool for learning about traditional synthesis.  ...  For years, Mixman Studio has been the standard in remix software.  ... 
doi:10.1162/comj.2003.27.1.100 fatcat:d6teztafhjeyfipcblsypuhxwi

François Giraudon/Michel Aubry: Parcours I, Parcours II Compact disc, undated; available (unconfirmed) from Mnémosyne Musique Média, Place André Malraux, B.P. 39, 18001 Bourges Cedex, France; telephone (+33) 2-48-20-41-87; fax (+33) 2-48-20-45-51; electronic mail; World Wide Web

alcides lanza
2001 Computer Music Journal  
The music may have a deep meaning for Mr. Yokota, and may connect bits of memories (Kona?)  ...  PluggoFuzz allows you to get fuzz-type distortion, just like the good old days.  ... 
doi:10.1162/comj.2001.25.3.97 fatcat:iiksq33fejgibcpnscks7sptfu

Elizabeth McNutt: Pipe Wrench Compact disc, 2000, EMF 025; available from Electronic Music Foundation, 116 North Lake Avenue, Albany, New York 12206, USA; telephone (+1) 518-434-4110; elec-tronic mail; World Wide Web

James Harley
2001 Computer Music Journal  
The music may have a deep meaning for Mr. Yokota, and may connect bits of memories (Kona?)  ...  PluggoFuzz allows you to get fuzz-type distortion, just like the good old days.  ... 
doi:10.1162/comj.2001.25.3.101 fatcat:5ay65kpuqvdwpk4udhd6ht2fjm

Dagstuhl Reports, Volume 6, Issue 9, September 2016, Complete Issue [article]

Special thanks go to the Schloss Dagstuhl team for its extremely friendly support during the preparation phase and for the warm welcome at Schloss Dagstuhl. -SAT and Interactions  ...  Questions in Representation Learning Olivier Bousquet (Google Switzerland -Zürich, CH) License Creative Commons BY 3.0 Unported license © Olivier Bousquet Recent successes of Deep Learning seem to rely  ...  The Hessian is often the sum of a compact operator (the data misfit) and an elliptic differential operator (the inverse prior), and this invites a low-rank approximation of the (prior-preconditioned) data  ... 
doi:10.4230/dagrep.6.9 fatcat:eaxdsekvnrhuromxdk635sg5ai

Flood_columbia_0054D_13127.pdf [article]

This loosely connected group of musicianinventors engages in what I call "DIY music technology" due to their shared do-ityourself ethos and their use of emerging and repurposed technologies, which allow for  ...  , $1.5M Investory Operation Shut Down."  ...  And this was all before the intensely experimental noise-rock duo Lightning Bolt had even begun. 249 Although I was too exhausted for the afterparty, widely circulated photographs illustrated that the  ... 
doi:10.7916/d86h4r31 fatcat:mggzt5nxrrcxriunppwobmxdba

2. The phonemes of spoken English [chapter]

Greg Brooks
2015 Dictionary of the British English Spelling System  
But, technically, their rules for assigning stress, including and especially their Main Stress Rule, operate not on the written forms of English words but on abstract or 'deep' versions of them which,  ...  The nouns fryer (as in deep-fat-) and dyer ('person who dyes') always have <y>.  ...  However, for the purposes of analysing any alphabetic spelling system it seems to me that assuming the psychological reality of phonemes is inescapable, and I have proceeded on that assumption.  ... 
doi:10.11647/obp.0053.02 fatcat:5ohtuyk4ifdxpculwepifhsvhq

ICCGI 2015 The Tenth International Multi-Conference on Computing in the Global Information Technology

St Julians, Malta, Dan Tamir, Mirela Danubianu, " Stefan, Dominic Girardi, Bernhard Freudenthaler, Mirela Danubianu, " Stefan, Dominic Girardi, Bernhard Freudenthaler, Pablo Adasme (+134 others)
We also gratefully thank the members of the ICCGI 2015 organizing committee for their help in handling the logistics and for their work that made this professional meeting a success.  ...  We hope ICCGI 2015 was a successful international forum for the exchange of ideas and results between academia and industry and to promote further progress in the field of computing in the global information  ...  It offers exactly the functionality automation engineers are looking for: hiding the network and allowing the planning and deployment of network infrastructure without deep technical knowledge, based only  ... 
« Previous Showing results 1 — 15 out of 36 results