EPiC series in computing 2020: all accepted papers
- Convolutional Neural Networks with LSTM for Intrusion Detection ↗Mostofa Ahsan, Kendall E. Nygard54 citations
- Minimal Modifications of Deep Neural Networks using Verification ↗Ben Goldberger, Guy Katz, Yossi Adi et al.46 citations
- ARCH-COMP 2020 Category Report: Falsification ↗Gidon Ernst, Paolo Arcaini, Ismail Bennani et al.27 citations
- ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants ↗Taylor Thomas Johnson, Diego Manzanas Lopez, Patrick Musau et al.27 citations
- Tactic Learning and Proving for the Coq Proof Assistant ↗Lasse Blaauwbroek, Josef Urban, Herman Geuvers17 citations
- A Study of Machine Learning Algorithms on Email Spam Classification ↗N Sutta, Z Liu, X Zhang15 citations
- ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics ↗Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff et al.14 citations
- Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard ↗Mnacho Echenim, Radu Iosif, Nicolas Peltier14 citations
- In silico library design, screening and MD simulation of COX-2 inhibitors for anticancer activity ↗Ankita Sahu, Dibyabhaba Pradhan, Khalid Raza et al.14 citations
- Rotation Based MSS/MCS Enumeration ↗Jaroslav Bendík, Ivana Černá14 citations
- Stateful Premise Selection by Recurrent Neural NetworksBartosz Piotrowski, Josef Urban14 citations · our summary
- Adversarial Machine Learning: Difficulties in Applying Machine Learning to Existing Cybersecurity Systems ↗Nick Rahimi, Jordan Maynor, Bidyut Gupta13 citations
- Comparison Studies of Hierarchical Cluster-Based Routing Protocols in Wireless Sensor Networks ↗Deok Hee Nam13 citations
- Polynomial Loops: Beyond Termination ↗Marcel Hark, Florian Frohn, Jürgen Giesl13 citations
- Real-Time Learner Classification Using Cognitive Score ↗Avick Kumar Dey, Bibek Poddar, Pijush Kanti Dutta Pramanik et al.13 citations
- Yawn Based Driver Fatigue Level Prediction ↗Haider Adeeb Kassem, Morshed Chowdhury, Jemal Abawajy et al.13 citations
- Finding Small Proofs for Description Logic Entailments: Theory and Practice ↗Christian Alrabbaa, Franz Baader, Stefan Borgwardt et al.12 citations
- Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems ↗Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi et al.12 citations
- Learning What Others Know ↗Alexandru Baltag, Sonja Smets12 citations
- Deep Reinforcement Learning for Synthesizing Functions in Higher-Order LogicThibault Gauthier11 citations · our summary
- ARCH-COMP20 Category Report: Stochastic Models ↗Alessandro Abate, H.A.P. Blom, Nathalie Cauchi et al.10 citations
- A Unity Framework for Multi-User VR Experiences ↗Alexander Novotny, Rowan Gudmundsson, Frederick Harris9 citations
- Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions ↗Jens Pagel, Florian Zuleger9 citations
- Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials ↗Edward Kim, Parasara Sridhar Duggirala9 citations
- Parameter Synthesis for Probabilistic Hyperproperties ↗Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour et al.9 citations
- Sensitivity Analysis of Locked Circuits ↗Joseph Sweeney, Marijn J. H. Heule, Larry Pileggi9 citations
- Learning Ex Nihilo ↗Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato et al.8 citations
- A Study of the Landscape of Internet Censorship and Anti-Censorship in Middle East ↗Nick Rahimi, Bidyut Gupta7 citations
- A compositional semantics for Repairable Fault Trees with general distributions ↗Raúl E. Monti, Carlos E. Budde, Pedro R. D’Argenio7 citations
- On relationships between imbalance and overlapping of datasets ↗Waleed A. Almutairi, Ryszard Janicki7 citations
- Threats and Alert Analytics in Autonomous Vehicles ↗Aakanksha Rastogi, Kendall E. Nygard7 citations
- A Mechanised Semantics for HOL with Ad-hoc Overloading ↗Johannes Åman Pohjola, Arve Gengelbach6 citations
- ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics ↗Matthias Althoff, Stanley Bak, Zongnan Bao et al.6 citations
- Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification ↗Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson6 citations
- A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars ↗Ian M. Mitchell5 citations
- ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking ↗Lei Bu, Alessandro Abate, Dieky Adzkiya et al.5 citations
- Co-expression networks uncover regulation of splicing and transcription markers of disease ↗Pan Zhang, Bruce R. Southey, Sandra L. Rodriguez‐Zas5 citations
- Coloring Unit-Distance Strips using SAT ↗Peter Oostema, Ruben Martins, Marijn J. H. Heule5 citations
- New Monitoring Architectures for underwater oil/Gas Pipeline using Hyper sensors ↗Huda Aldosari, Raafat Elfouly, Reda A.A. Ammar et al.5 citations
- Pavement Crack Detection Using Convolutional Neural Network ↗Alaa F. Sheta, Hamza Turabieh, Sultan Aljahdali et al.5 citations
- Reducing error propagation for long term energy forecasting using multivariate prediction ↗Maher Selim, Ryan Zhou, Wenying Feng et al.5 citations
- ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving ↗Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin et al.4 citations
- Aiming for the Goal with SInE ↗Martin Suda4 citations
- Multi-objective Optimisation of Gene Regulatory Networks: Insights from a Boolean Circadian Clock Model ↗Ozgur E. Akman, Jonathan Edward Fieldsend4 citations
- Visualizing Omics Data from Spaceflight Samples using the NASA GeneLab Platform ↗Daniel C. Berrios, Eric M. Weitz, Kirill A. Grigorev et al.4 citations
- A Bimodal Approach for the Discovery of a View of the Implementation Platform of Legacy Object-Oriented Systems under Modernization Process ↗Hamza Abdelmalek, Gino Chénard, Ismaïl Khriss et al.3 citations
- A Verified SAT Solver Framework including Optimization and Partial Valuations ↗Mathias Fleury, Christoph Weidenbach3 citations
- An ASP-based Approach for Boolean Networks Representation and Attractor Detection ↗Tarek Khaled, Belaïd Benhamou3 citations
- An Integrated Framework for Friend Recommender System based on Graph Theoretic Approach ↗Runa Ganguli, Akash Mehta, Narayan Chandra Debnath et al.3 citations
- Antiprenexing for WSkS: A Little Goes a Long Way ↗Vojtěch Havlena, Lukáš Holík, Ondřej Lengál et al.3 citations
- Exploring Deep Neural Network Architectures: A Case Study on Improving Antimicrobial Peptide Recognition ↗Manpriya Dua, Daniel Barbará, Amarda Shehu3 citations
- Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation ↗Jarkko Savela, Emilia Oikarinen, Matti Järvisalo3 citations
- Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback ↗Yan Xiang Wu, Jinchuan Chen, Plarent Haxhidauti et al.3 citations
- Learning Data Structure Shapes from Memory Graphs ↗Jan H. Boockmann, Luettgen Gerald3 citations
- Mapping and visualization of publication networks of public university faculty in computer science and electrical engineering ↗Conor Carroll, Nupur Garg, Theresa Migler et al.3 citations
- SAT, Computer Algebra, Multipliers ↗Daniela Kaufmann, Armin Biere, Manuel Kauers3 citations
- The Triguarded Fragment with Transitivity ↗Emanuel Kieroński, Adam Malinowski3 citations
- UI Error Reduction for High Spatial Visualization Users when Using Adaptive Software to Verify Addresses ↗Thitivatr Patanasakpinyo, Les Miller3 citations
- A Scalable Cloud Native Platform For Interactive Museum Exhibits ↗Paul Cappaert, Alex Redei2 citations
- ARCH-COMP20 Repeatability Evaluation Report ↗Taylor Thomas Johnson2 citations
- Clique Selection and its Effect on Paraclique Enrichment: An Experimental Study ↗Yuping Lu, Charles Phillips, Elissa J. Chesler et al.2 citations
- Convolutional neural net learns promoter sequence features driving transcription strength ↗Nicholas Leiby, Ayaan Hossain, Howard M. Salis2 citations
- Estimating the Concentration of Students from Time Series Images ↗Hoang Nguyen, Yu Takahata, Masaaki Goto et al.2 citations
- From Unsupervised Multi-Instance Learning to Identification of Near-Native Protein Structures ↗Fardina Fathmiul Alam, Amarda Shehu2 citations
- Implementing Timed Petri net for Modeling and Simulation in Card Gameplay ↗Garrett Hope, Paul Brodhead, Seung-yun Kim2 citations
- Models of Concurrent Kleene Algebra ↗Alexandra Silva2 citations
- New Approach to Teaching Computer Programming to Freshmen ↗Jacob Sukhodolsky2 citations
- Predicting Cerebral Aneurysm Rupture by Gradient Boosting Decision Tree using Clinical, Hemodynamic, and Morphological Information ↗Toshiyuki Haruhara, Hideto Ohgi, Masaaki Suzuki et al.2 citations
- SOC and SOH Monitoring Algorithms for Lithium Batteries Using Multilayer Neural Networks ↗Jong‐Hyun Lee, Hyun Sil Kim, In Soo Lee2 citations
- Using GeoHashes to Combine IOT and GIS to Provide Business Intelligence to the Informal Sector in South Africa ↗Laurie L. Butgereit2 citations
- Zero-skipping in CapsNet. Is it worth it? ↗Ramin Sharifi, Pouya Shiri, Amirali Baniasadi2 citations
- Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI ↗Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu et al.1 citation
- Analysis of Mutation Bias in Shaping Codon Usage Bias and Its Association with Gene Expression Across Species ↗Zhixiu Lu, Michael A. Gilchrist, Scott Emrich1 citation
- Bifurcation Analysis of a Mathematical Model of Tumor Growth in MCF-7 Breast Cancer Cell Line ↗Hsiu‐Chuan Wei1 citation
- Common Knowledge in an Epistemic Logic with Hypotheses ↗Levan Uridia, Dirk Walther1 citation
- Description Logics That Count, and What They Can and Cannot Count ↗Franz Baader, Filippo De Bortoli1 citation
- Disease Outbreak Detection Using Search Keywords Patterns ↗Izzat Mahmoud Alsmadi, Zaid Almubaid, Hisham Al-Mubaid1 citation
- Epileptic Focus Localization Based on iEEG Plot Images by Using Convolutional Neural Network ↗Xuyang Zhao, Linfeng Sui, Toshihisa Tanaka et al.1 citation
- Face Image Deblurring: A Data-Driven Strategy ↗Abdelwahed Nahli, Yuanzhouhan Cao, Shugong Xu1 citation
- Graphical Processing Unit - Supported RNA Secondary Structure Comparison ↗Mutlu Mete, Abdullah N. Arslan1 citation
- Identification of Deregulated Transcription Factors Involved in Specific Bladder Cancer Subtypes ↗Magali Champion, Julien Chiquet, Pierre Neuvial et al.1 citation
- Metrics and Indicators to evaluate the degree of transformation to Smart City of a city. An Ad-Hoc Quality Model ↗Narayan Chandra Debnath, Mario Gabriel Peralta, Carlos Humberto Salgado et al.1 citation
- Mining approximate frequent dense modules from multiple gene expression datasets ↗San Ha Seo, Saeed Salem1 citation
- Productivity Comparison among Software Projects ↗Cuauhtémoc López-Martín1 citation
- Property Preserving Embedding of First-order Logic ↗Julian Parsert, Stephanie Autherith, Cezary Kaliszyk1 citation
- Smart Ecosystems through Voice and Images ↗Alexander I. Iliev, Peter L. Stanchev1 citation
- Soccer Playing Robot Goal Scoring Algorithm Using Fuzzy Petri nets ↗Paul Brodhead, Garrett Hope, Seung-yun Kim1 citation
- Transformation Methodology of Binary Executables to Run on Bare Machines ↗Navid Ordouie, Rasha Almajed, Ramesh K. Karne et al.1 citation
- Who Needs Category Theory? ↗Andreas R. Blass, Yuri G. Gurevich1 citation
- A Study of Update Methods for BoND-Tree Index on Non-ordered Discrete Vector Data ↗Ramblin Cherniak, Qiang Zhu, Sakti K. Pramanik
- A typed parallel lambda-calculus via 1-depth intermediate proofs ↗Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
- Active Rules in a Graph Database Environment ↗Ying Jin, Vadlamannati Bharath, Jinaliben Shah
- Age-group Classification Using 3DHOG Descriptor Applied to Depth Maps ↗Nabila Mansouri, Hana Bougueddima, Yousra Ben Jemâa
- Analysis of Real-Time Control Systems using First-Order Continuization ↗Maximilian Gaukler
- Assessing Protein-Drug Resistance Due to Mutations via a Rigidity Analysis in silico Approach ↗Dylan Carpenter, Tess Thackray, Cecilia Kalthoff et al.
- Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving ↗Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik et al.
- Bioinformatics analysis of hereditary disease gene set to identify key modulators of myocardial remodeling during heart regeneration in zebrafish ↗Lawrence Yu‐Min Liu, Zih‐Yin Lai, Min-Hsuan Lin et al.
- Channel-Matched OFDM (CM-OFDM) for Enhanced Performance of Multiuser Systems Operating in Underwater Acoustic Channels ↗Said E. El‐Khamy, Dalia Ibrahim
This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/papers/