EPiC series in computing 2020: all accepted papers
- Classification of functional Near Infra Red Signals with Machine Learning for Prediction of Epilepsy ↗Roberto Rosas-Romero, Edgar Guevara
- Computing Urban Fabric of a Historical Town ↗Naai‐Jung Shih, Cheng-Yu Hsieh, Yi Chen et al.
- Decision levels are stable: towards better SAT heuristics ↗Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras et al.
- Experimenting with Theory Instantiation in Vampire ↗Martin Riener
- Exposure Measurements on Biomimetic Lobules Using Virtual Experiments to Help Improve IVIVE ↗Preethi Krishnan, Lopamudra Dutta, Andrew Smith et al.
- Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge) ↗Jawher Jerray, Laurent Fribourg, Étienne André
- Hepatocyte Organization Affects the Translation of Clearance from In Vitro to In Vivo ↗Lopamudra Dutta, Preethi Krishnan, Andrew Smith et al.
- Induction Models on N ↗A. Dileep, Kuldeep S. Meel, Ammar F. Sabili
- Measurement of similarity in C. elegans healthspan using dynamic time warping on movement features ↗Arun Gopal Govindaswamy, Wahhaj Farooq, Yiyang Wang et al.
- NACRE - A Nogood And Clause Reasoning Engine ↗Gaël Glorian, Jean-Marie Lagniez, Christophe Lecoutre
- NRDC Data Visualization Web Suite ↗Andrew Muñoz, Frederick Harris, Sergiu M. Dascalu
- On Reasoning about Access to Knowledge ↗Yakoub Salhi
- PhGC: A Machine Learning Based Workflow for Phenotype-Genotype Co-analysis on Autism ↗Safa Shubbar, Chen Ming Fu, Zhi Liu et al.
- Predicting Microvascular Invasion of Hepatocellular Carcinoma by texture analysis of multi-phase MR image ↗Qin Yu, Geng Chen, Jiaqi Li et al.
- RAT Elimination ↗Adrian Rebola Pardo, Georg Weißenbacher
- Ranking Variable Combinations to Characterize Breast Cancer Subtypes using the IBIF-RF Metric ↗Isis Yanina Narvaez-Bandera, Wandaliz Torres‐García
- Reconstructing in the Constraint Satisfaction Problem ↗Evgeny Yakovlevich Dantsin
- Topical Neural Theorem Prover that Induces Rules ↗Shuang Xia, Krysia B. Broda, Alessandra Russo
- Towards Word Sense Disambiguation by Reasoning ↗Javier Álvez, Itziar González-Dios, Germán Rigau
- Utility-Aware Graph Dimensionality Reduction Approach ↗Lamyaa Al-Omairi, Jemal Abawajy, Morshed Uddin Chowdhury
- Virtual Experimentation Complements Real-World Experimentation ↗Andrew M. Smith II, Glen E. P. Ropella, C. Anthony Hunt
- WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas ↗Nicos Isaak, Loizos Michael
This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2020/papers/page/2/