EPiC series in computing 2019: all accepted papers
- Stock Price Prediction Using LSTM on Indian Share Market ↗Achyut Ghosh, Soumik Bose, Giridhar Maji et al.145 citations
- Evaluating CDCL Restart Schemes ↗Armin Biere, Andreas Fröhlich35 citations
- Coupling SUMO with a Motion Planning Framework for Automated Vehicles ↗Moritz Klischat, Octav Dragoi, Mostafa Eissa et al.34 citations
- ARCH-COMP 2019 Category Report: Falsification ↗Gidon Ernst, Paolo Arcaini, Alexandre Donzé et al.27 citations
- Emission Effects of Cooperative Adaptive Cruise Control: A Simulation Case Using SUMO ↗İsmet Gökşad Erdağı, Mehmet Ali Silgu, Hilmi Berk Çelikoğlu25 citations
- Evaluation of Mobile Augmented Reality Application for Building Evacuation ↗James Stigall, Sharad Sharma24 citations
- L,M&A: An Algorithm for Music Lyrics Mining and Sentiment Analysis ↗Vasu Saluja, Minni Jain, Prakarsh Yadav24 citations
- Modelling green waves for emergency vehicles using connected traffic data ↗Laura Bieker-Walz, Michael Behrisch23 citations
- Cyber Threat Discovery from Dark Web ↗Azene Zenebe, Mufaro Shumba, Andrei Carillo et al.21 citations
- Optimization of Advanced Encryption Standard (AES) Using Vivado High Level Synthesis (HLS) ↗Luka B. Daoud, Fady Hussein, Nader Rafla21 citations
- Socio-Analyzer: A Sentiment Analysis Using Social Media Data ↗Ajay Bandi, Aziz Fellah21 citations
- Detecting GPS Jamming Incidents in OpenSky Data ↗Ala’ Darabseh, Evangelos Bitsikas, Brice Tedongmo20 citations
- A Python Toolbox for Processing Air Traffic Data: A Use Case with Trajectory Clustering ↗Xavier Olivé, Luis Basora18 citations
- Co-simulation of the virtual vehicle in virtual traffic considering tactical driver decisions ↗Jakob Kaths, Benedikt Schott, Frederic Chucholowski18 citations
- Homomorphic Encryption and Data Security in the Cloud ↗Timothy Oladunni, Sharad Sharma18 citations
- Verification of Closed-loop Systems with Neural Network Controllers ↗Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran et al.18 citations
- Colorectal Cancer Outcome Prediction from H&E Whole Slide Images using Machine Learning and Automatically Inferred Phenotype Profiles ↗Xingzhi Yue, Neofytos Dimitriou, Peter D. Caie et al.17 citations
- ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants ↗Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran et al.16 citations
- HPC-BLAST: Distributed BLAST for Modern HPC Clusters. ↗Shane E. Sawyer, Mitchel D. Horton, Chad E. Burdyshaw et al.16 citations
- From Automated to Manual - Modeling Control Transitions with SUMO ↗Leonhard Lücken, Evangelos Mintsis, Kallirroi N. Porfyri et al.15 citations
- SDN4CoRE: A Simulation Model for Software-Defined Networking for Communication over Real-Time Ethernet ↗Timo Häckel, Philipp Meyer, Franz Korf et al.15 citations
- Towards a Bidirectional Coupling of Pedestrian Dynamics and Mobile Communication Simulation ↗Stefan Schuhbäck, Nico Daßler, Lars Wischhof et al.15 citations
- Applications of MaxSAT in Data Analysis ↗Jeremias Berg, Antti Hyttinen, Matti Järvisalo14 citations
- SUMO Based Platform for Cooperative Intelligent Automotive Agents ↗Levente Alekszejenkó, Tadeusz Dobrowiecki14 citations
- Behaviour Based Ransomware Detection ↗Christopher Jun Wen Chew, Vimal Kumar13 citations
- Machine Learning as an Efficient Diagnostic Tool for Fault Detection and Localization in Solar Photovoltaic Arrays ↗Masoud Alajmi, Sultan Aljahdali, Sultan Alsaheel et al.12 citations
- Parking Lot Occupancy Tracking Through Image Processing ↗Marcos Lopez, Terry Griffin, Kevin Ellis et al.12 citations
- Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case ↗Magdalena Ortiz11 citations
- Predicting high-cost patients by Machine Learning: A case study in an Australian private hospital group ↗Isabella Eigner, Freimut Bodendorf, Nilmini S. Wickramasinghe11 citations
- A Novel Neighborhood Calculation Method by Assessing Users' Varying Preferences in Collaborative Filtering ↗Pradeep Kumar Singh, Pijush Kanti Dutta Pramanik, Narayan Chandra Debnath et al.10 citations
- Adopting and Implementing a Government Cloud in Saudi Arabia, an Integral Part of Vision 2030 ↗Mohammed O. Alannsary, Yasser M. Hausawi10 citations
- Analyzing the behavior of bicyclists using a bicycle simulator with a coupled SUMO and DYNA4 simulated environment ↗Heather Kaths, Andreas Keler, Jakob Kaths et al.10 citations
- Efficient Capacity-Constrained Multicast in RC-Based P2P Networks ↗Koushik Maddali, Banafsheh Rekabdar, Swathi Kaluvakuri et al.10 citations
- Integrating pyModeS and OpenSky Historical Database ↗Junzi Sun, Jacco M. Hoekstra10 citations
- On Knowledge Dependence in Weighted Description Logic ↗Pietro Galliani, Oliver Kutz, Daniele Porello et al.10 citations
- A Declarative Method for Dynamic Multi-Agent Path Finding ↗Aysu Bogatarkan, Volkan Patoğlu, Esra Erdem9 citations
- A New Method of Calculating Squared Euclidean Distance (SED) Using pTree Technology and Its Performance Analysis ↗Mohammad Kabir Hossain, Sameer Abufardeh9 citations
- Improving Classification with CNNs using Wavelet Pooling with Nesterov-Accelerated Adam ↗Allison M. Rossetto, Wenjin Zhou9 citations
- NetLogo and GIS: A Powerful Combination ↗Broday Walker, Tina Johnson9 citations
- Reinforcement Learning Agent under Partial Observability for Traffic Light Control in Presence of Gridlocks ↗Thanapapas Horsuwan, Chaodit Aswakul9 citations
- ARCH-COMP19 Category Report: Stochastic Modelling ↗Alessandro Abate, H.A.P. Blom, Nathalie Cauchi et al.8 citations
- Blockchain Technology applied to Electronic Health Records ↗Suboh M. Alkhushayni, Du’a Al-Zaleq, Nadine L Gadjou Kengne8 citations
- Pedestrian-Friendly Traffic Signal Control Using SUMO ↗Görkem Akyol, Mehmet Ali Silgu, Hilmi Berk Çelikoğlu8 citations
- Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming ↗Abdullah Khan, Loris Bozzato, Luciano Serafini et al.8 citations
- A Problem Meta-Data Library for Research in SAT ↗Dipl.-Inform. Markus Iser, Carsten Sinz7 citations
- Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting ↗Sibylle Möhle, Armin Biere7 citations
- The Effect of Scrambling CNFs ↗Armin Biere, Marijn J. H. Heule7 citations
- Towards a Microservice Architecture for the Manufacturing Operations Layer ↗Christoph Wunck7 citations
- XACML Implementation Based on Graph Databases ↗Ying Jin, Krishna Kaja7 citations
- A Multi-Stage Detection Technique for DNS-Tunneled Botnets ↗Tirthankar Ghosh, Eman El-Sheikh, Wasseem Jammal6 citations
- ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics ↗Matthias Althoff, Stanley Bak, Marcelo Forets et al.6 citations
- Anomalies in the Sky: Experiments with traffic densities and airport runway use ↗Axel Tanner, Martin Strohmeier6 citations
- Anticipating Automated Vehicle Presence and the Effects on Interactions with Conventional Traffic and Infrastructure ↗Gerald Richter, Lukas Grohmann, Philippe Nitsche et al.6 citations
- Choosing the Best-fit Lifecycle Framework while Addressing Functionality and Security Issues ↗Salman M. Faizi, Shawon Rahman6 citations
- DoS Protection through Credit Based Metering - Simulation-Based Evaluation for Time-Sensitive Networking in Cars ↗Philipp Meyer, Timo Häckel, Franz Korf et al.6 citations
- Introducing Road Surface Conditions into a Microscopic Traffic Simulation ↗Thomas Weber, Patrick Driesch, Dieter Hermann Schramm6 citations
- Smart Mobile Computing in Pregnancy Care ↗Francisca Fonseca, Hugo Peixoto, Jorge Sousa Braga et al.6 citations
- Smooth Trajectory Planning for Autonomous Leader-Follower Robots ↗Ka C. Cheok, Kiran Iyengar, Sami Oweis6 citations
- Towards 5G Intrusion Detection Scenarios with OMNeT++ ↗Katina Kralevska, Michele Garau, Mathias Kjølleberg Førland et al.6 citations
- A Vehicle Device Tailored for Hybrid Trolleybuses and Overhead Wires Implementation in SUMO ↗Jakub Ševčík, Jan Přikryl5 citations
- Augmented Reality Application to Enhance Training of Lumbar Puncture Procedure: Preliminary Results ↗Nikolay Sargsyan, Robertson Bassy, Xin Li Wei et al.5 citations
- Competitive Sorter-based Encoding of PB-Constraints into SAT ↗Michał Karpiński, Marek Piotrów5 citations
- Construction Scheme of a Scalable Distributed Stream Processing Infrastructure Using Ray and Apache Kafka ↗Kasumi Kato, Atsuko Takefusa, Hidemoto Nakada et al.5 citations
- Enhanced Prediction Models for Predicting Spatial Visualization (VZ) in Address Verification Task ↗Thitivatr Patanasakpinyo, Georgi I. Batinov, Kofi Whitney et al.5 citations
- Open Source Software Survivability Prediction Using Multi Layer Perceptron ↗Vijaya Kumar Eluri, Shahram Sarkani, Thomas A. Mazzuchi5 citations
- Software Engineering Principles and Security Vulnerabilities ↗Aakanksha Rastogi, Kendall E. Nygard5 citations
- Under the Hood of a Stand-Alone Lagrangian Reachability Tool ↗Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam et al.5 citations
- A Novel Approach Toward Designing a Non-DHT Based Structured P2P Network Architecture ↗Indranil Roy, Bidyut Gupta, Banafsheh Rekabdar et al.4 citations
- An algorithmic approach for finding minimum spanning tree in a intuitionistic fuzzy graph ↗Kartick Mohanta, Arindam Dey, Narayan Chandra Debnath et al.4 citations
- Connecting Molecular Energy Landscape Analysis with Markov Model-based Analysis of Equilibrium Structural Dynamics ↗Kazi Lutful Kabir, Nasrin Akhter, Amarda Shehu4 citations
- Equipping Decoy Generation Algorithms for Template-free Protein Structure Prediction with Maps of the Protein Conformation Space ↗Ahmed Bin Zaman, Amarda Shehu4 citations
- Improving the Performance of 3D Printed Molds for Plastic Injection Molding ↗Faryar Etesami, Christopher H. Mullens, Ramsey Sahli et al.4 citations
- Modelling Bicycle Infrastructure in SUMO ↗Georgios Grigoropoulos, Leonhard Lücken, Jakob Erdmann et al.4 citations
- Multi-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning ↗João G. Ribeiro, Francisco S. Melo, João Dias4 citations
- Neuro-fuzzy-based Electronic Brake System Modeling using Real Time Vehicle Data ↗Ana Farhat, Kyle Hagen, Ka C. Cheok et al.4 citations
- Recurrent and Non-recurrent Congestion Based Gridlock Detection on Chula-SSS Urban Road Network ↗Ei Ei Mon, Hideya Ochiai, Chaiyachet Saivichit et al.4 citations
- Remarks on Traffic Signal Coordination ↗Péter Wagner, Robert Alms, Jakob Erdmann et al.4 citations
- Secured Cloud for Enterprise Computing ↗Salman M. Faizi, Shawon Rahman4 citations
- Study of Secured Full-Stack Web Development ↗Ziping Liu, Bidyut Gupta4 citations
- Virtual Reality Physics Lab ↗Andrew Muñoz, Christopher Lewis, Nicholas Bolling et al.4 citations
- An Empirical Examination of the Effects of IT Leadership on Information Security Risk Management in USA Organizations ↗Henry Okonofua, Shawon Rahman, Reni Ivanova3 citations
- Co-simulation of vehicles and crowds for rescue trials ↗Yun-Pang Flötteröd, Michael Behrisch, Martijn Hendriks et al.3 citations
- DFS ADS-B Implementation in High Density Radar Controlled Airspace – Experiences and Challenges ↗Stefan Stanzel3 citations
- Intercross: a Breeding Application for High-throughput Phenotyping ↗Chaney Courtney, Mitchell L. Neilsen3 citations
- Prototype Implementation of Temperature Control System with CAN and FreeRTOS on STM32F407 Discovery Boards ↗Venkat Margapuri, Mitchell L. Neilsen3 citations
- RealPi - A Real Time Operating System on the Raspberry Pi ↗Samuel Delaney, Dwight Egbert, Frederick C. Harris Jr3 citations
- The Use of Social Media by Local Governments: The Case of Manabí’s Cantons in Ecuador ↗Gonçalo Paiva Dias, Mariuxi Bruzza, Manuel Tupia3 citations
- User Behavior and Trust Evaluation in Cloud Computing ↗Maryam Alruwaythi, Krishna Kambhampaty, Kendall E. Nygard3 citations
- Weighted Record Sample for Underwater Seismic Monitoring Application ↗Hussain Mobarak Albarakati, Reda A.A. Ammar, Raafat Elfouly3 citations
- Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing ↗Maximilian Gaukler, Peter Ulbrich3 citations
- A New Look at Codon Usage and Protein Expression ↗Gabriel S. Wright, Anabel Rodríguez, Patricia L. Clark et al.2 citations
- A Novel Delivery Model to Expand E-commerce Customers Based on Telecom Data Mining ↗Giridhar Maji, Sharmistha Mandal, Narayan Chandra Debnath et al.2 citations
- A SVM Model for Candidate Y-chromosome Gene Discovery in Prostate Cancer ↗Wageesha Rasanjana, Sandun Rajapaksa, Indika Perera et al.2 citations
- A biometric for shark dorsal fins based on boundary descriptor matching ↗Tainã Coleman, Jucheol Moon2 citations
- A number-based inventory of particle emissions by civil aviation and the influences on the particle number concentration near Zurich airport ↗Xiaole Zhang, Xi Chen, Luchi Zhang et al.2 citations
- ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving ↗Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan et al.2 citations
- ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics ↗Goran Frehse, Alessandro Abate, Dieky Adzkiya et al.2 citations
- Adaptation of Orthogonal Defect Classification for Mobile Applications ↗Osama Barack, LiGuo Huang2 citations
- Bridging the Gap between SUMO & Kuksa: Using A Traffic Simulator for Testing Cloud-based Connected Vehicle Services ↗Philipp Heisig, Sven Erik Jeroschewski, Johannes Kristan et al.2 citations
- Building Visual Anomaly Dataset from Satellite Data using ADS-B ↗Marko Kastelic, Janez Perš2 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2019/papers/