Keyword:machine learning

Papers
Investigation of Machine Learning for Clash Resolution Automation Ashit Harode and Walid Thabet In:ASC 2021. 57th Annual Associated Schools of Construction International Conference
Determining Anti-Curve-Flattening Behaviors for COVID-19 in the United States Rehab El-Hajj, Sarah Davis and Raymond Otieno In:CAINE 2020. The 33rd International Conference on Computer Applications in Industry and Engineering
Predicting Intensive Care Unit (ICU) Requirement in COVID-19 With Artificial Neural Network Yeliz Çotoy, Elif Doğu and Y. Esra Albayrak EasyChair Preprint no. 5753
Cancer Prediction Using Machine Learning Sairaj Nanaware, Yogita Garje, Priyanka Salunke and Vaishnavi Jamdar EasyChair Preprint no. 5704
Early Prediction and Prevention of Lifestyle Diseases Sakshi Gaur, Sarvesh Sharma and Ayush Tripathi EasyChair Preprint no. 5702
Towards Automated Data Cleaning Workflow J Nivetha and A Sreemitha EasyChair Preprint no. 5652
A Deep Neural Network Based on Stacked Auto-Encoder and Dataset Stratification in Indoor Location Jing Zhang and Ying Su EasyChair Preprint no. 5645
3D Mapping of Underground Utility Networks Using Ultra Wideband Multi-Antenna Array Step Frequency Radar Mohamed Jaufer Rakeeb EasyChair Preprint no. 5637
Building a Taxonomony of Industry 4.0 Needs and Enabling Technologies Riccardo Amadio, Anastasiya Isgandarova and Daniele Mazzei EasyChair Preprint no. 5621
Comparison of Machine Learning Classifiers for Predicting Water Main Failure Mohammad Amini and Rebecca Dziedzic EasyChair Preprint no. 5579
Salary Forecasting Using Neural Network Methods Natalya Shklyaeva EasyChair Preprint no. 5573
Extraction of Flow Features for Predicting Pressure Distribution Using Convolutional Neural Networks Prince Tyagi, Priyam Gupta and Raj Kumar Singh EasyChair Preprint no. 5534
Comparison of Machine Learning Techniques on Twitter Emotions Classification S Santhosh Baboo and M Amirthapriya EasyChair Preprint no. 5518
Automated Car Routes to Their Parking Spots in Parking Areas Using Machine Learning Yasir Riaz, Ujjwal Deep and Ankit Darad EasyChair Preprint no. 5499
Deep belief Convolutional Neural Network with Artificial Image Creation by GANs Based Diagnosis of Pneumonia in Radiological Samples of the Pectoralis Major Tathagat Banerjee, Dhruv Batta, Aditya Jain, S Karthikeyan, M Himanshu and Hari Kishan EasyChair Preprint no. 4696
Nitrogen Deficiency Detection in Paddy for Urea fertilizer Management P Jagadish, R Anand, M Merlyn Mercylona, M Aishwarya and Namrata Karki EasyChair Preprint no. 5437
Loan Eligibility Predictor Pallavi Saindane, Anjali Asrani, Ajay Bathani, Kunal Dongare and Sneha Indulkar EasyChair Preprint no. 5455
Criticality of Leaf Disease Detection for Better Crop Yield Using Machine Learning Techniques V M Sindhu, V Ravi Kumar and N Poornima EasyChair Preprint no. 5454
Classification of Liver Diseases Using Intelligent Techniques Shreyansh Jain, Ritik Sharma and R. Rajkamal EasyChair Preprint no. 5451
Realising the Potential for ML from Electronic Health Records Haoyuan Zhang, William Marsh, Norman Fenton and Martin Neil EasyChair Preprint no. 5442
Prediction of Food Production Using Machine Learning Algorithms of Multilayer Perceptron and ANFIS Saeed Nosratabadi, Sina Ardabili, Zoltan Lakner, Csaba Mako and Amir Mosavi EasyChair Preprint no. 5418
Scalable Smartification of Commercial Buildings HVAC Systems using The Internet of Things and Machine Learning Mohammed Mahdi, Taofiq Adeola Bakare, Abdul Ahmad, Adamu Muhammad Buhari and Khalid Sheikhidris Mohamed EasyChair Preprint no. 5399
Adaptation Issues of Machine learning in Safety Digitization Gyana Ranjana Panigrahi, Nalin Kanta Barpanda and Manoranjan Bastia EasyChair Preprint no. 5392
An Intelligent Psychiatric Recommendation System for Detecting Mental Disorders Esma Nur Ucar, Sedat Irgil, Salih Tutun, Nilay Aras and Ilker Yesilkaya EasyChair Preprint no. 5341
Credit Card Fraud Detection Model P Srinivas Reddy, Murali Krishna Chigulla, Sai Bhavana Kancharla, Sai Rithin Reddy Kairthabad and Nuthan Yadidya Bashpa EasyChair Preprint no. 5375
Automated Assessment of Lymphocytes Using Machine Learning Techniques Afaq Ahmad, Azmat Ullah, Kaleem Nawaz Khan and Muhammad Salman Khan EasyChair Preprint no. 5329
Foundations and Case Studies on the Scalable Intelligence in AIoT Domains Aarne Klemetti and Erkki Räsänen EasyChair Preprint no. 5326
Stock Market Prediction Using Prescriptive Analytics N Meenakshi, A Kumaresan Angappan, R Nishanth, R Kishore Kumar and A Jone EasyChair Preprint no. 5298
Machine Learning-based Classifier in the Analysis of Nuclear Power-Specific Requirements Tapani Raunio, Ilpo Suominen, Santeri Myllynen and Rasmus Karell EasyChair Preprint no. 5297
Artificial Intelligence a Major Asset for Serious Games Okba Kamal, Tmimi Mehdi, Ouazzani Kamar and Benslimane Mohamed EasyChair Preprint no. 5283
Personalized Heart Monitoring and Reporting System Megha Rathi, Kushagra Nigam, Deepshi Sharma, Kirti Godani and Saransh Khandelwal EasyChair Preprint no. 5248
Neural Network for A Class of Sparse Optimization in Machine Learning Problems Qingfa Li, Sitian Qin and Wei Bian EasyChair Preprint no. 5224
FH Technikum Wien: Artificial Neural Networks Based State Transition Modeling and Place Categorization Andreas Kriegler EasyChair Preprint no. 5223
Scrutinizing the Disease Based on Omics M Sathish, C Saravanan, G Sethu Pandian and P Indirajith EasyChair Preprint no. 5208
Multimedia Retrieval Using Emoji Prediction, Anticipation, and Retrieval Vaygundla Girish Guptha, Vanamala Subbaraydu and M Saravanan EasyChair Preprint no. 5205
Using Twitter Extract and Identified Road Traffic, Road Condition And Road Accident Location Pratik Jambhale and Manisha Singh EasyChair Preprint no. 5194
Comparison Between Extreme Learning Machine and Fast Learning Network Based on Intrusion Detection System Mohammed Hasan Ali and Mustafa Musa Jaber EasyChair Preprint no. 5103
Proposed Intelligence Systems Based on Forensics Case Study: Review Paper Mohammed Hasan Ali and Mustafa Musa Jaber EasyChair Preprint no. 5101
Automatic Detection of Riots Using Deep Learning Mayur Jadhav, V. A. Chakkarwar and Sharvari Tamne EasyChair Preprint no. 1976
A Literature Review of Feature Selection Methods Dyari M. Ameen M. Shareef and Ghader Ali Yosefi EasyChair Preprint no. 4949
Developing a Protective – Preventive and Machine Learning Based Model on Child Abuse Fatih Mert, Muhammed Ali Aydin and Abdül Halim Zaim EasyChair Preprint no. 4963
IoT Assistant for People with Visual Impairment in Edge Computing Manoel José de Souza Júnior, Horácio Antonio Braga Fernandes de Oliveira and Raimundo da Silva Barreto EasyChair Preprint no. 4933
Signal Processing and Machine Learning Approaches and Evaluation for Indian Classical Music Rajashekhar Shastry and Anita Bai EasyChair Preprint no. 4916
Residential Energy Management: a Machine Learning Perspective Mahmood Reaz Sunny, Md Ahsan Kabir, Intisar Tahmid Naheen and Md Tanvir Ahad EasyChair Preprint no. 4895
Early Prediction of Parkinson Disease Using Machine Learning and Deep Learning Approaches Harshvardhan Tiwari, Shiji K Shridhar, Preeti V Patil, K R Sinchana and G Aishwarya EasyChair Preprint no. 4889
Early Prediction of Covid-19 Disease with Machine and Deep Learning Approaches Harshvardhan Tiwari, K R Sinchana, Preeti V Patil, Shiji K Shridhar and G Aishwarya EasyChair Preprint no. 4867
The Economic and Technical Factors During Coronavirus Pandemic in Affected Countries Tushar Tanmay, Akanksha Bhardwaj and Shilpi Sharma EasyChair Preprint no. 4857
E-Health Bot to Change the Face of Medicare Tushar Tanmay, Akanksha Bhardwaj and Shilpi Sharma EasyChair Preprint no. 4856
Roman Urdu Multi-Class Offensive Text Detection using Hybrid Features and SVM Tauqeer Sajid, Mehdi Hassan, Mohsan Ali and Rabia Gillani EasyChair Preprint no. 4810
Retail Store Sale Prediction Tanya Charan Pahadi, Palak Rani and Abhishek Verma EasyChair Preprint no. 4803
Rice Quality Analysis Using Machine Learning Pavankumar Annadasu and K Jaisharma EasyChair Preprint no. 4761
Exploring Interconnections Between Machine Learning and Operations Strategy Thais C. Pfutzenreuter, Nathália R. G. Chamie, Sergio E. Gouvea da Costa and Edson Pinheiro de Lima EasyChair Preprint no. 4718
Toward Efficient Indoor Positioning for Cloud Services in SIoT Nan Jiang, Guangjie Dong, Yiying Hu, Li Gao and Jing Chen EasyChair Preprint no. 4662
Procedural Generation of Roads with Conditional Generative Adversarial Networks Lin Ziwen Kelvin and Bhojan Anand EasyChair Preprint no. 4647
A Code Naturalness Based Defect Prediction Method at Slice Level Xian Zhang, Ke-Rong Ben and Jie Zeng EasyChair Preprint no. 3918
Knee Images Classification Using Transfer Learning Kamel Rahouma and Ahmed Salama EasyChair Preprint no. 4588
Vector Representation of Gene Co-expression in Single Cell RNA-Seq Nicholas Ceglia, Florian Uhlitz and Andrew McPherson EasyChair Preprint no. 4571
Machine Learning Assisted Stochastic Unit Commitment: A Feasibility Study Farshad Mohammadi, Mostafa Sahraei-Ardakani, Dimitris N. Trakas and Nikos D. Hatziargyriou EasyChair Preprint no. 4533
A Method for Determining Whether a Simulink Model Is Ready for Test Generation Takuya Ogata, Yuge Liu and Kenji Hisazumi EasyChair Preprint no. 4532
Using Local Weather and Machine Learning to Forecast Market’s Demand and Supply: A Pilot Study (November 2019) Jephter Pelekamoyo EasyChair Preprint no. 4520
The Information-Analytical Bots Detection System Based On The Assembly Of Classifiers Vladimir Nikiforovich Kuzmin, Artem Bakitzhanovich Menisov and Ivan Anatolevich Shastun EasyChair Preprint no. 4517
An Extensive Survey of Machine Learning Based Approaches on Automated Pathology Detection in Chest X-Rays Ravidu Suien Rammuni Silva and Pumudu Fernando EasyChair Preprint no. 4478
COVID-19 Pandemic Prediction for Hungary; a Hybrid Machine Learning Approach Gergő Pintér, Imre Felde, Amir Mosavi, Pedram Ghamisi and Richard Gloaguen EasyChair Preprint no. 3310
Highway Traffic Classification for the Perception Level of Situation Awareness Julkar Nine, Shanmugapriyan Manoharan, Manoj Sapkota, Shadi Saleh and Wolfram Hardt EasyChair Preprint no. 4446
Creating Intelligent Agents: Combining Agent-Based Modeling with Machine Learning Dale Brearcliffe and Andrew Crooks EasyChair Preprint no. 4403
A Comparative Study of Crimes Against Women Based on Machine Learning using Big Data techniques Shivani Mishra and Suraj Kumar EasyChair Preprint no. 4376
Awareness without Neural Networks: Achieving Self-Aware AI via Evolutionary and Adversarial Processes Nigel Greenwood, Brruntha Sundaram, Alex Muirhead and James Copperthwaite EasyChair Preprint no. 4317
Parakeet: a C2 Framework for Efficient AI Capability Development Valerie Lavigne and Mélanie Breton EasyChair Preprint no. 4307
Sim-to-Real Reinforcement Learning Applied to End-to-End Vehicle Control András Kalapos, Csaba Gór, Róbert Moni and Istvan Harmati EasyChair Preprint no. 4236
Rapid COVID-19 Diagnosis Using Deep Learning of the Computerized Tomography Scans Hamed Tabrizchi, Amir Mosavi, Akos Szabo-Gali and László Nádai EasyChair Preprint no. 4226
PUNER - Parsi ULMFiT for Named-Entity Recognition in Persian Texts Fazlourrahman Balouchzahi and H. L. Shashirekha EasyChair Preprint no. 4224
Adaptive Neuro-Fuzzy Inference System and a Multilayer Perceptron Model Trained with Grey Wolf Optimizer for Predicting Solar Diffuse Fraction Randall Claywell, László Nádai, Imre Felde and Amir Mosavi EasyChair Preprint no. 4180
The Use of Digital Technologies for Flipped Learning Implementation Oksana Klochko, Vasyl Fedorets, Svitlana Tkachenko and Olena Maliar EasyChair Preprint no. 4146
Hybrid Hyper-Parameter Optimization for Collaborative Filtering Peter Szabo and Bela Genge EasyChair Preprint no. 4117
Analysis of Machine Learning Algorithms for Email Classification Using NLP Mithun Das, Hardik Patel and Subrata Samanta EasyChair Preprint no. 4107
Prediction of Protein – Peptide Binding Residues Using Classification Algorithms Shima Shafiee, Abdolhossein Fathi and Fardin Abdali Mohammadi EasyChair Preprint no. 4083
Simple Electromagnetic Analysis Against Activation Functions of Deep Neural Networks Go Takatoi, Takeshi Sugawara, Kazuo Sakiyama and Yang Li EasyChair Preprint no. 4063
Improving Siamese Networks for One-Shot Learning Using Kernel-Based Activation Functions Shruti Jadon and Aditya Acrot Srinivasan EasyChair Preprint no. 893
Effective Text Comment Classification Using Novel ML Algorithm - Modified Lazy Random Forest Tejashri Ghodke and Vijay Khadse EasyChair Preprint no. 3987
AutoMSC: Automatic Assignment of Mathematicas Subject Classification Labels Moritz Schubotz, Philipp Scharpf, Olaf Teschke, Andreas Kühnemund, Corinna Breitinger and Bela Gipp EasyChair Preprint no. 3975
An E-Health System for Data Stream Analysis Diego Alysson Braga Moreira, Levy Gurgel Chaves, Rafael Gomes and Joaquim Celestino Jr EasyChair Preprint no. 3960
Data Generation Using Gene Expression Generator Zakarya Farou, Noureddine Mouhoub and Tomáš Horváth EasyChair Preprint no. 3948
State-of-the-art Machine Learning Techniques: 360 Degree Overview Supriya Anand and Shilpa Gite EasyChair Preprint no. 3931
Clinical Decision Support System: Characteristics, Effectiveness and Challenges Ngoc Cat My Tran EasyChair Preprint no. 3904
Online Assessment of Students' Text Comprehension: Explorations into the Automated Scoring of Constructed Responses Jean-François Rouet, Peter Hastings, Mônica Macedo-Rouet, Anna Potocki and M. Anne Britt EasyChair Preprint no. 3870
Eye Movements During Reading Can Predict Deep Comprehension Rosy Southwell, Caitlin Mills and Sidney D'Mello EasyChair Preprint no. 3838
Chronic‌ ‌Kidney‌ ‌Disease‌ ‌Prediction‌ ‌by‌ ‌Machine‌ ‌Learning‌ Abhishek Kumar Pandit, Rohit Prasad Kushwaha and Indra Kumar EasyChair Preprint no. 3832
Predicting and Mapping of Soil Organic Carbon Using Machine Learning Algorithms in Northern Iran Mostafa Emadi, Ruhollah Taghizadeh-Mehrjardi, Ali Cherati, Majid Danesh, Amir Mosavi and Thomas Scholten EasyChair Preprint no. 3824
Comparison of ML classifiers for Image Data Sonika Dahiya, Rohit Tyagi and Nishchal Gaba EasyChair Preprint no. 3815
Cardiovascular Disease Prediction Using Machine Learning Anurag Singh EasyChair Preprint no. 3766
Enhancing Deep Learning Capabilities with Genetic Algorithm for Detecting Software Defects Kajal Tameswar, Geerish Suddul and Kumar Dookhitram EasyChair Preprint no. 3760
Heuristic Approach Towards Covid -19: Big Data Analytics and Classification with Natural Language Procession. Sabyasachi Mohanty, Ritika Sharma, Mohit Saxena and Ankur Saxena EasyChair Preprint no. 3754
Improving Performance Through Novel Enhanced Hierarchial Attention Neural Network Natarajan Parthiban and Natarajan Sudha EasyChair Preprint no. 3722
Android Malware Detection Techniques Rajesh Kumar and Mamoun Alazab EasyChair Preprint no. 3707
Text Emotion Analysis of BGRU Model Based on the Fusion of Emoticons Yong Li, Xiao-Jun Yang, Min Zuo, Rui-Jun Liu and Qing-Yu Jin EasyChair Preprint no. 3696
Modeling and Uncertainty Analysis of Groundwater Level Using Six Evolutionary Optimization Algorithms Hybridized with ANFIS, SVM, and ANN Akram Seifi, Mohammad Ehteram, Vijay P. Singh and Amir Mosavi EasyChair Preprint no. 3691
A Descriptive Study on Emerging Methods for Data Security in Cloud Computing Srinidhi Kulkarni and Muktikanta Sahu EasyChair Preprint no. 3667
A Survey on Techniques and Technology Used in Hydroponics System Manoj D. Tambakhe and Vijay S. Gulhane EasyChair Preprint no. 3628
Robust Early Stage Botnet Detection using Machine Learning Ali Muhammad, Muhammad Asad and Abdul Rehman Javed EasyChair Preprint no. 3569
Human Facial Detection Using OpenCV Vijaybhaskar Reddy Agavinti and V. Amudha EasyChair Preprint no. 3566
Sign Language and Gesture Recognition Ashish Sah and A. Arul Prakash EasyChair Preprint no. 3535
Optical Character Recognition for a Redaction System Using Machine Learning Techniques. M. Kanchana, Muskan Sharma and Hrithik Somani EasyChair Preprint no. 3495
Stateful Premise Selection by Recurrent Neural Networks Bartosz Piotrowski and Josef Urban In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Tactic Learning and Proving for the Coq Proof Assistant Lasse Blaauwbroek, Josef Urban and Herman Geuvers In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Method for Detecting Abnormal Traffic in Full-Stream Network Based on Machine Learning Technology Yutong Han, Huaibin Wang and Jiongming Zhu EasyChair Preprint no. 3405
Neutron Noise-based Anomaly Classification and Localization using Machine Learning Christophe Demazière, Antonios Mylonakis, Paolo Vinai, Aiden Durrant, Fabio De Sousa Ribeiro, James Wingate, Georgios Leontidis and Stefanos Kollias EasyChair Preprint no. 3397
A Remote Medical Monitoring System Based on Data Mining Roumaissa Bekiri, Abdelhamid Djeffal and Messaoud Hettiri EasyChair Preprint no. 3359
Self-explaining AI as an alternative to interpretable AI Daniel Elton EasyChair Preprint no. 3336
Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies Guangshuai Mo, Yan Xiong, Wenchao Huang and Lu Ma EasyChair Preprint no. 3334
WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas Nicos Isaak and Loizos Michael In:GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)
Natural Language Processing: History, Evolution, Application and Future Work Prashant Johri, Mukul Kathait, Munish Sabharwal, Ahmad T. Al-Taani and Shakhzod Suvanov EasyChair Preprint no. 3239
Dynamic Pricing and Placement for Distributed Machine Learning Jobs Xueying Zhang, Ruiting Zhou, John C.S. Lui and Zongpeng Li EasyChair Preprint no. 3232
Home Security Using IOT and Machine Learning Apurva Amrutkar, Samruddhi Mistari, Krutika Thambave and Rajshree Pandhare EasyChair Preprint no. 3212
Machine Learning and Cryptographic Algorithms – Analysis and Design in Ransomware and Vulnerabilities Detection Nandkumar Niture EasyChair Preprint no. 3207
Distributed Denial of Service Attack Classification Using Artificial Neural Networks. Bhargavi Goparaju and Srinivasa Rao Bandla EasyChair Preprint no. 3201
Tripod: Learning Latent Representations for Sequences Tiberiu Boroş, Andrei Cotaie, Alexandru Meterez and Paul Ilioaica EasyChair Preprint no. 3196
COVID-19 Outbreak Prediction with Machine Learning Sina Ardabili, Amir Mosavi, Pedram Ghamisi, Filip Ferdinand, Annamária R. Várkonyi-Kóczy, Uwe Reuter, Timon Rabczuk and Peter M. Atkinson EasyChair Preprint no. 3193
Recognizing Handwritten Digits and Alphabets Using Machine Learning on Python Pratik Sharma EasyChair Preprint no. 3162
Talk-to-Code Jay Rabadiya, Meet Bhalodiya, Aditya Das and Kamesh Patel EasyChair Preprint no. 3117
Smart Structural Health Monitoring of Flexible Pavements Using Machine Learning Methods Nader Karballaeezadeh, Danial Mohammadzadeh, Dariush Moazemi, Narjes Nabipour, Amir Mosavi and Uwe Reuter EasyChair Preprint no. 3085
Aspect Based Sentiment Classification Using Machine Learning for Online Reviews Pratiksha Nehe and A.N. Nawathe EasyChair Preprint no. 3051
An Approach to Detect Sarcasm in Tweets Jyoti Godara and Rajni Aron EasyChair Preprint no. 3035
Supervised Machine Learning Algorithms for Arrhythmia Classification and Diagnosis Avishek Choudhury and Nikhli Shetty EasyChair Preprint no. 3030
Real-Time Monitoring of Agricultural Land with Crop Prediction and Animal Intrusion Prevention using Internet of Things and Machine Learning at Edge R Nikhil, B S Anisha and P Ramakanth Kumar EasyChair Preprint no. 3016
Estimating Shopping Center Visitor Numbers Based On Various Environmental Indicators Cagatay Ozdemir, Sezi Çevik Onar and Selami Bagriyanik EasyChair Preprint no. 2968
PhGC: A Machine Learning Based Workﬂow for Phenotype-Genotype Co-analysis on Autism Safa Shubbar, Chen Fu, Zhi Liu, Anthony Wynshaw-Boris and Qiang Guan In:Proceedings of the 12th International Conference on Bioinformatics and Computational Biology
Predicting Cerebral Aneurysm Rupture by Gradient Boosting Decision Tree using Clinical, Hemodynamic, and Morphological Information Toshiyuki Haruhara, Hideto Ohgi, Masaaki Suzuki, Hiroyuki Takao, Takashi Suzuki, Soichiro Fujimura, Toshihiro Ishibashi, Makoto Yamamoto, Yuichi Murayama and Hayato Ohwada In:Proceedings of 35th International Conference on Computers and Their Applications
Adversarial Machine Learning: Difficulties in Applying Machine Learning to Existing Cybersecurity Systems Nick Rahimi, Jordan Maynor and Bidyut Gupta In:Proceedings of 35th International Conference on Computers and Their Applications
Estimating the Concentration of Students from Time Series Images Hoang Son Nguyen, Yu Takahata, Masaaki Goto, Tetsuo Tanaka, Akihiko Ohsuga and Kazunori Matsumoto In:Proceedings of 35th International Conference on Computers and Their Applications
Reducing error propagation for long term energy forecasting using multivariate prediction Maher Selim, Ryan Zhou, Wenying Feng and Omar Alam In:Proceedings of 35th International Conference on Computers and Their Applications
A Study of Machine Learning Algorithms on Email Spam Classification N Sutta, Ziping Liu and X Zhang In:Proceedings of 35th International Conference on Computers and Their Applications
On relationships between imbalance and overlapping of datasets Waleed Almutairi and Ryszard Janicki In:Proceedings of 35th International Conference on Computers and Their Applications
Comparative Analysis Of Machine Learning Algorithms On Landslide Deeba Kannan, Trayambak Kumar and Sagar Krishna Kashyap EasyChair Preprint no. 2898
The Agile Deployment using Machine Learning in HealthCare Service Shanu Verma, Rashmi Popli and Harish Kumar EasyChair Preprint no. 2895
A Survey on Machine Learning Algorithms T. Senthil Kumar, Sai Sameer Vennam and Sai Saketh Chamarti EasyChair Preprint no. 2882
Text Summarization Framework Using Advanced Machine Learning Algorithms Pallavi Kohakade and Sujata Jadhav EasyChair Preprint no. 2881
The Prediction of Diabetes in Pima Indian Women Mellitus Based on XGBOOST Ensemble Modeling Using Data Science Dasari Bhulakshmi and Glory Gandhi EasyChair Preprint no. 2864
Detecting Banking Phishing websites using Data Mining Classifiers M. Kanchana, Prabodhan Chavan and Arjun Johari EasyChair Preprint no. 2855
Novel Meta-Heuristic Model for Discrimination between Iron Deficiency Anemia and Β-Thalassemia with CBC Indices Based on Dynamic Harmony Search (DHS) Sultan Noman Qasem and Amir Mosavi EasyChair Preprint no. 2849
1D Convolutional Neural Networks for Detecting Atrial Fibrillation Khalil Ben Kalboussi, Lazhar Khriji, Farah Barika Ktata and Abdulnasir Hossen EasyChair Preprint no. 2831
Explainable AI approach towards Toxic Comment Classification Aditya Mahajan, Divyank Shah and Gibraan Jafar EasyChair Preprint no. 2773
Performance Analysis of Combine Harvester using Hybrid Model of Artificial Neural Networks Particle Swarm Optimization László Nádai, Imre Felde, Sina Ardabili, Tarahom Mesri Gundoshmian, Gergő Pintér and Amir Mosavi EasyChair Preprint no. 2781
An Online Learning-based Metaheuristic for Solving Combinatorial Optimization Problems Maryam Karimi-Mamaghan, Mehrdad Mohammadi, Bastien Pasdeloup, Romain Billot and Patrick Meyer EasyChair Preprint no. 2766
Comparative Analysis of Single and Hybrid Neuro-Fuzzy-Based Models for an Industrial Heating Ventilation and Air Conditioning Control System Sina Ardabili, Bertalan Beszédes, László Nádai, Károly Széll, Amir Mosavi and Imre Felde EasyChair Preprint no. 2763
Exploratory Performance Testing Using Reinforcement Learning Tanwir Ahmad, Adnan Ashraf, Dragos Truscan and Ivan Porres EasyChair Preprint no. 2746
Budget Active Learning for Deep Networks Patrick Gikunda and Nicolas Jouandeau EasyChair Preprint no. 2686
Wind speed prediction using a hybrid model of the multi-layer perceptron and whale optimization algorithm Saeed Samadianfard, Sajjad Hashemi, Katayoun Kargar, Mojtaba Izadyar, Ali Mostafaeipour, Amir Mosavi, Narjes Nabipour and Shahaboddin Shamshirband EasyChair Preprint no. 2672
Towards Intelligent Pick and Place Assembly of Individualized Products Using Reinforcement Learning Caterina Neef, Dario Luipers, Jan Bollenbacher, Christian Gebel and Anja Richert EasyChair Preprint no. 2630
Algorithmic Configuration by Learning and Optimization Claudia D'Ambrosio, Antonio Frangioni, Gabriele Iommazzo and Leo Liberti EasyChair Preprint no. 2634
Necktie - A Profound LEARNING FEEDFORWARD NEURAL System FOR Opinion Investigation Alok Kumar Yadav EasyChair Preprint no. 2565
Performance Analysis Of Network Anomaly Detection Systems in Consumer Networks Darsh Patel and Rahul Raman EasyChair Preprint no. 2512
Coronary Artery Disease Diagnosis; Ranking the Significant Features Using Random Trees Model Javad Hassannataj Joloudari, Edris Hassannataj Joloudari, Hamid Saadatfar, Mohammad Ghasemigol, Seyyed Mohammad Razavi, Amir Mosavi, Narjes Nabipour, Shahaboddin Shamshirband and László Nádai EasyChair Preprint no. 2467
A Review of Website Phishing Attack Detection Methods Abdul Basit, Maham Zafar and Zunera Jalil EasyChair Preprint no. 2461
Prediction of Discharge Capacity of Labyrinth Weir with Gene Expression Programming Hossein Bonakdari, Isa Ebtehaj, Bahram Gharabaghi, Ali Sharifi and Amir Mosavi EasyChair Preprint no. 2460
Hybrid Model of Singular Value Decomposition, ANFIS and Genetic Algorithm for Prediction of Sediment Transport in Sewers Hossein Bonakdari, Isa Ebtehaj, Amir Mosavi, Seyed Hamed Ashraf Talesh, Ali Jamali and Bahram Gharabaghi EasyChair Preprint no. 2459
Efficient Ranked Multi-Keyword Search using Machine Learning Algorithms Namdeo Kedare and Chaitanya Mankar EasyChair Preprint no. 2429
Text Summarization Framework Using Machine Learning Pallavi Kohakade and Sujata Jadhav EasyChair Preprint no. 2426
Regression models for Statistical Arbitrage: Predicting Currency Exchange Rates from News Media S Sathish Kumar, N Thirumala Rao and Kama Srikanth EasyChair Preprint no. 2415
Krishak Sahayata: Prediction of Best Crop Yield Gresha Bhatia, Urjita Bedekar, Simran Bhagwandasani, Rahul Bhatia and Pranit Naik EasyChair Preprint no. 2413
Modelling Temperature Variation of Mushroom Growing Hall Using Artificial Neural Networks Sina Ardabili, Amir Mosavi, Asghar Mahmoudi, Tarahom Mesri Gundoshmian, Saeed Nosratabadi and Annamária R. Várkonyi-Kóczy EasyChair Preprint no. 2409
State of the Art Survey of Deep Learning and Machine Learning Models for Smart Cities and Urban Sustainability Saeed Nosratabadi, Amir Mosavi, Ramin Keivani, Sina Ardabili and Farshid Aram EasyChair Preprint no. 2397
Spatial Analysis of Seasonal Precipitation over Iran: Co-Variation with Climate Indices Majid Dehghani, Somayeh Salehi, Amir Mosavi, Narjes Nabipour, Shahaboddin Shamshirband and Pedram Ghamisi EasyChair Preprint no. 2395
Survey Paper on Sentiment Analysis: Techniques and Challenges Ansari Fatima Anees, Arsalaan Shaikh, Arbaz Shaikh and Sufiyan Shaikh EasyChair Preprint no. 2389
Prediction of flow characteristics in the bubble column reactor by the artificial pheromone-based communication of biological ants Shahaboddin Shamshirband, Meisam Babanezhad, Amir Mosavi, Narjes Nabipour, Éva Hajnal, László Nádai and Kwok-Wing Chau EasyChair Preprint no. 2353
Modeling Climate Change Impact on Wind Power Resources Using Adaptive Neuro-Fuzzy Inference System Narjes Nabipour, Amir Mosavi, Éva Hajnal, László Nádai, Shahaboddin Shamshirband and Kwok-Wing Chau EasyChair Preprint no. 2352
Smart Farming using IOT and Machine Learning with Image Processing Supriya Ghavate and Himanshu Joshi EasyChair Preprint no. 2333
Applying ANN, ANFIS, and LSSVM Models for Estimation of Acid Solvent Solubility in Supercritical CO2 Amin Bemani, Alireza Baghban, Shahaboddin Shamshirband, Amir Mosavi, Peter Csiba and Annamária R. Várkonyi-Kóczy EasyChair Preprint no. 2294
Towards a Smart World: Application of Machine Learning in 5G Mobile Communication Network Shekhar and Vishal Gupta EasyChair Preprint no. 2280
Mammography Image BI-RADS Classification Using OHPLall Bob Vanderheyden and Ying Xie EasyChair Preprint no. 2270
ILANJI-Automated Irrigation System T. Arvind, S. S. Jeev, V. Sanjith Ragul and Mathi Senthilkumar EasyChair Preprint no. 2262
Structural Damage Diagnosis and prediction using Machine Learning and Deep Learning Models: Comprehensive Review of Advances Amir Mosavi EasyChair Preprint no. 2251
A Python Toolbox for Processing Air Traffic Data: A Use Case with Trajectory Clustering Xavier Olive and Luis Basora In:Proceedings of the 7th OpenSky Workshop 2019
Anomalies in the Sky: Experiments with traffic densities and airport runway use Axel Tanner and Martin Strohmeier In:Proceedings of the 7th OpenSky Workshop 2019
The Effect of Bloom’s Taxonomy on Random Forest Classifier for cognitive level identification of eLearning content Benny Thomas and J Chandra EasyChair Preprint no. 2188
Comparison and Relationship between Big data Analytics and Machine learning Mohammed Abdelmoneim and Saad Subair EasyChair Preprint no. 2143
On Knowledge Dependence in Weighted Description Logic Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti and Nicolas Troquard In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Survey on SVM Based Method for Identification and Recognition of Faces by Using Feature Distances Piyush Choudhary, Poorva Agrawal and Gagandeep Kaur EasyChair Preprint no. 2082
A survey on Distributed learning System S Mugesh and G Sharmila EasyChair Preprint no. 2041
Student Performance Analysis at Secondary Level Using Machine Learning Prashant Johri, Pallavi Goel, Sandesh Kumar Srivastava, Sashant Suhag and Sanskriti Jadaun EasyChair Preprint no. 2016
Application of Machine Learning in Analysis of Transcriptomic Data Derived from Next Generation Sequencing Meng-Hsiun Tsai, Shien-Chung Huang, Hsin-Hung Yeh and An-Yuan Chu EasyChair Preprint no. 1985
Stress Detection of User using Social Interaction Rachna Agarwal, Rishabh Rathore, Satyam Yadav, Shashank Jain, Vimaljeet Singh and Yash Mishra EasyChair Preprint no. 1948
A Novel Approach towards Analysis of AttackerBehavior in DDoS Attacks Himanshu Gupta, Tanmay Girish Kulkarni, Lov Kumar and Lalita Bhanu Murthy Neti EasyChair Preprint no. 1901
An AI driven approach for Smart refrigerator to enhance family diet and sustainability Ananda Kumar J Naveen, Shivani Suresh and Kannika Nirai Vaani EasyChair Preprint no. 1867
A literature survey: semantic technology approach in machine learning L Rachana and S Shridevi EasyChair Preprint no. 1833
Hybrid Machine Learning Model of Extreme Learning Machine Radial basis function for Breast Cancer Detection and Diagnosis; a Multilayer Fuzzy Expert System Sanaz Mojrian, Gergő Pintér, Javad Hassannataj Joloudari, Imre Felde, Narjes Nabipour, László Nádai and Amir Mosavi EasyChair Preprint no. 1824
Fine-grained Sentiment Classification using BERT Manish Munikar, Sushil Shakya and Aakash Shrestha EasyChair Preprint no. 1762
Examining International Students' Satisfaction at UK Universities Maha Albalushi and Fairouz Kamareddine EasyChair Preprint no. 1727
An End-to-End solution to Autonomous Driving based on Xilinx FPGA Tianze Wu, Weiyi Liu and Yongwei Jin EasyChair Preprint no. 1680
A Machine-Learning Based Real-Time Analysis to Quantify the Effects of Gut Microbes in Social Insect Collective Behavior Alessio Sclocco and Serafino Teseo EasyChair Preprint no. 1669
Ant microbial endosymbionts and the emergent properties of social groups Alessio Sclocco, Shirlyn Jia Yun Ong and Serafino Teseo EasyChair Preprint no. 1661
Cotton Appearance Grade Classification Based on Machine Learning Lv Yan, Gao Ying, Eric Rigall, Qi Lin, Gao Feng and Dong Junyu EasyChair Preprint no. 1614
Prediction of Diabetes Disease Using Data Mining and Deep Learning Techniques Tharak Roopesh, Asadi Srinivasulu and K.S. Kannan EasyChair Preprint no. 1608
Early Health Prediction System for ICU Patient using Machine Learning and Cloud Computing Asif Ahmed Neloy, Muhammad Shafayat Oshman, Md. Monzurul Islam, Md Julhas Hossain and Zunayeed Bin Zahir EasyChair Preprint no. 1590
Open Source Software Survivability Prediction Using Multi Layer Perceptron Vijaya Kumar Eluri, Shahram Sarkani and Thomas Mazzuchi In:Proceedings of 28th International Conference on Software Engineering and Data Engineering
Socio-Analyzer: A Sentiment Analysis Using Social Media Data Ajay Bandi and Aziz Fellah In:Proceedings of 28th International Conference on Software Engineering and Data Engineering
Creational and Structural Patterns in a Flexible Machine Learning Framework for Medical Ultrasound Diagnostics Corey Thibeault In:Proceedings of 28th International Conference on Software Engineering and Data Engineering
Deep Learning for Cardiologist-level Myocardial Infarction Detection in Electrocardiograms Arjun Gupta, Eliu Huerta and Issam Moussa EasyChair Preprint no. 1543
SVGD: a Virtual Gradients Descent Method for Stochastic Optimization Zheng Li and Shi Shu EasyChair Preprint no. 1494
Rock'n'roll PUFs: Crafting Provably Secure PUFs from Less Secure Ones Fatemeh Ganji, Shahin Tajik, Pascal Stauss, Jean-Pierre Seifert, Domenic Forte and Mark Tehranipoor In:Proceedings of 8th International Workshop on Security Proofs for Embedded Systems
End-to-end automated cache-timing attack driven by Machine Learning Sebastien Carré, Victor Dyseryn, Adrien Facon, Sylvain Guilley and Thomas Perianin In:Proceedings of 8th International Workshop on Security Proofs for Embedded Systems
Machine Learning Techniques for AUV Side Scan Sonar Data Feature Extraction as Applied to Intelligent Search for Underwater Archaeological Sites Nandeeka Nayak, Makoto Nara, Timmy Gambin, Zoë Wood and Christopher Clark EasyChair Preprint no. 1430
On the Use of Generative Adversarial Networks for Aircraft Trajectory Generation and Atypical Approach Detection Gabriel Jarry, Nicolas Couellan and Daniel Delahaye EasyChair Preprint no. 1396
Framework for creating performance model of AI algorithms for early architecture exploration Amit Dudeja, Amit Tara, Amit Garg and Tushar Jain EasyChair Preprint no. 1377
Automated Activity Recognition of Construction Equipment Using a Data Fusion Approach Behnam Sherafat, Abbas Rashidi, Yong-Cheol Lee and Changbum R. Ahn EasyChair Preprint no. 1240
Deep learning of matrix product states Eric Howard EasyChair Preprint no. 1239
Multitask Models for Supervised Protest Detection in Texts Benjamin Radford EasyChair Preprint no. 1222
Cognitive Assemblages in Ecological / Digital Art Scott Rettberg EasyChair Preprint no. 1215
Speech-based Automatic Recognition Technology for Major Depression Disorder Zhixin Yang, Hualiang Li, Li Li, Kai Zhang, Chaolin Xiong and Yuzhong Liu EasyChair Preprint no. 1190
Predicting Test Case Verdicts Using Textual Analysis of Commited Code Churns Khaled Al-Sabbagh, Miroslaw Staron, Regina Hebig and Wilhelm Meding EasyChair Preprint no. 1177
GBDT, LR & Deep Learning for Turn-based Strategy Game AI Like Zhang, Hui Pan, Qi Fan, Changqing Ai and Yanqing Jing EasyChair Preprint no. 1053
Two Stage History Matching for Hydrology Models via Machine Learning Dewi Tjia, Ritu Gupta and Muhammad Alam EasyChair Preprint no. 1040
Discovering the Inter-species Interaction among Microorganisms Based on Iterative Random Forest Algorithm Xinzhe Pang and Xingpeng Jiang EasyChair Preprint no. 1016
Adaptive Testing Model as the Method of Quality Knowledge Control Individualizing Nonna Shapovalova, Olena Rybalchenko, Iryna Dotsenko, Svitlana Bilashenko, Andrii Striuk and Levan Saitgareev EasyChair Preprint no. 994
Applied Timetabling for Railways: Experiences with Several Solution Approaches Julian Jordi, Ambra Toletti, Gabrio Caimi and Kaspar Schüpbach EasyChair Preprint no. 887
Application Inference using ML based Side Channel Analysis Nikhil Chawla, Arvind Singh, Monodeep Kar, Nael Mizanur Rahman and Saibal Mukhopadhyay EasyChair Preprint no. 882
Detecting Toxic Content Online and the Effect of Training Data on Classification Performance Zhixue Zhao, Ziqi Zhang and Frank Hopfgartner EasyChair Preprint no. 872
Automated Examination Grading Using Deep Learning Categorization Techniques Lehan Yang EasyChair Preprint no. 857
Defining discourse formulae: computational approach Ekaterina Gerasimenko, Svetlana Puzhaeva, Elena Zakharova and Ekaterina Rakhilina In:Proceedings of Third Workshop "Computational linguistics and language science"
Genre Classification Problem: in Pursuit of Systematics on a Big Webcorpus Tatiana Shavrina In:Proceedings of Third Workshop "Computational linguistics and language science"
Verb Construction As A Feature Of Genre Classification Nadezhda Bujlova In:Proceedings of Third Workshop "Computational linguistics and language science"
Predicting high-cost patients by Machine Learning: A case study in an Australian private hospital group Isabella Eigner, Freimut Bodendorf and Nilmini Wickramasinghe In:Proceedings of 11th International Conference on Bioinformatics and Computational Biology
A Combined Semantic Search and Machine Learning Approach for Address Entity Resolution Anne Moshyedi, Taylor Kramer, Amitava Gangopadhyay and Sujit Pal EasyChair Preprint no. 832
A New Machine Learning Approach for Anomaly Detection Using Metadata for Model Training Alexander Prosak, Amitava Gangopadhyay and Hemant Garg EasyChair Preprint no. 829
Abnormal Traffic Pattern Detection in Real-Time Financial Transactions Sean Rastatter, Travis Moe, Amitava Gangopadhyay and Alfred Weaver EasyChair Preprint no. 827
Data Driven Analytics of Road Quality Ali Rahim Taleqani, Raj Bridgelall, Jill Hough and Kendall Nygard In:Proceedings of 34th International Conference on Computers and Their Applications
Prediction of Drowsy Driving Using EEG and Facial Expression by Machine Learning Daichi Naito, Ryo Hatano and Hiroyuki Nishiyama In:Proceedings of 34th International Conference on Computers and Their Applications
Predicting Cow's Delivery Using Movement and Position Data Based on Machine Learning Yusuke Ono, Ryo Hatano, Hayato Ohwada and Hiroyuki Nishiyama In:Proceedings of 34th International Conference on Computers and Their Applications
Fall Detection from Thermal Camera Using Convolutional LSTM Autoencoder Jacob Nogas, Shehroz Khan and Alex Mihailidis EasyChair Preprint no. 824
Resilience and Security in Computer Science Loredana Vigliano EasyChair Preprint no. 820
Deep BOO! Automating Beam Orientation Optimization in Radiation Therapy. Olalekan Ogunmolu, Michael Folkerts, Dan Nguyen, Nicholas Gans and Steve Jiang EasyChair Preprint no. 744
Photographic Analysis and Machine Learning for Diagnostic Prediction of Adenoid Hypertrophy Xu Hu, Qinyan Zhang, Ji-Jiang Yang, Jiali Wu, Qing Wang and Yi Lei EasyChair Preprint no. 756
A Dynamic Regret Analysis and Adaptive Regularization Algorithm for On-Policy Robot Imitation Learning Jonathan Lee, Michael Laskey, Ajay Kumar Tanwani, Anil Aswani and Ken Goldberg EasyChair Preprint no. 752
Learning Stabilizable Dynamical Systems via Control Contraction Metrics Sumeet Singh, Vikas Sindhwani, Jean-Jacques Slotine and Marco Pavone EasyChair Preprint no. 750
Geo and Graph Analytics for Dynamic Cellular Transactions Insights, Improving Quality of Service and Business Decisions: “Quality X Map” Dahj Muwawa Jean Nestor and Kingsley A. Ogudo EasyChair Preprint no. 687
Quasi-Monte Carlo Flows Florian Wenzel, Alexander Buchholz and Stephan Mandt EasyChair Preprint no. 684
Practical Implementation of Machine Learning and Predictive Analytics in Cellular Network Transactions in Real Time Dahj Muwawa Jean Nestor and Kingsley A. Ogudo EasyChair Preprint no. 683
Video-Based Sentiment Analysis with hvnLBP-TOP Feature and bi-LSTM Haoran Li and Hua Xu EasyChair Preprint no. 657
A Data-Driven Approach for Optimal Control Parameters in WWTP: the VEAS Experience in Scandinavia Luca Abele Piciaccia, Danilo Croce, Roberto Basili, Pia Ryfors and Jonas Pettersen In:HIC 2018. 13th International Conference on Hydroinformatics
Smart Water Demand Forecasting: Learning from the Data Maria Xenochristou, Zoran Kapelan, Chris Hutton and Jan Hofman In:HIC 2018. 13th International Conference on Hydroinformatics
Intelligent Drought Tracking for its Use in Machine Learning: Implementation and First Results Vitali Diaz, Gerald A. Corzo Perez, Henny A.J. Van Lanen and Dimitri Solomatine In:HIC 2018. 13th International Conference on Hydroinformatics
Predicting Turbidity in Water Distribution Trunk Mains Using Nonlinear Autoregressive Exogenous Artificial Neural Networks Ehsan Kazemi, Stephen Mounce, Stewart Husband and Joby Boxall In:HIC 2018. 13th International Conference on Hydroinformatics
Automatic Identification of Sewer Fault Types Using CCTV Footage Joshua Myrans, Zoran Kapelan and Richard Everson In:HIC 2018. 13th International Conference on Hydroinformatics
On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals Marcelo Prates, Pedro Avelar and Luis Lamb In:GCAI-2018. 4th Global Conference on Artificial Intelligence
Road User Abnormal Trajectory Detection using a Deep Autoencoder Pankaj Roy and Guillaume-Alexandre Bilodeau EasyChair Preprint no. 485
Anomaly Detection and Diagnosis for Container-based Microservices with Performance Monitoring Qingfeng Du, Tiandi Xie and Yu He EasyChair Preprint no. 468
Deep Learning On Code with an Unbounded Vocabulary Milan Cvitkovic, Badal Singh and Anima Anandkumar EasyChair Preprint no. 466
Radar for assisted living in the context of Internet of Things for Health and beyond Julien LeKernec, Francesco Fioranelli, Shufan Yang, Jordane Lorandel and Olivier Romain EasyChair Preprint no. 465
Automatic Scan Plane Identification from 2D Ultrasound for Pedicle Screw Guidance Xiao Qi, Nilay Vora, Luis Riera, Amrut Sarangi, George Youssef, Michael Vives and Ilker Hacihaliloglu In:CAOS 2018. The 18th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
Gait Estimation and Analysis from Noisy Observations Hafsa Ismail, Ibrahim Radwan, Hanna Suominen and Roland Goecke EasyChair Preprint no. 295
Vision-guided robotic leaf picking Benjamin Joffe, Konrad Ahlin, Ai-Ping Hu and Gary McMurray EasyChair Preprint no. 250
Metamodeling and metalearning approaches in inductive modeling tools Yevgeniya Savchenko and Volodymyr Stepashko EasyChair Preprint no. 83
Hybrid Multistage Fuzzy Clustering System for Medical Data Classification Maryam Abdullah, Fawaz S. Al-Anzi and Salah Al-Sharhan EasyChair Preprint no. 59
We know (nearly) nothing!l But can we learn? Stephan Schulz In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Anemic Status Prediction using Multilayer Perceptron Neural Network Model Ching Hao Yu, Manas Bhatnagar, Rachel Hogen, Dilin Mao, Atefeh Farzindar and Kiran Dhanireddy In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Automated Invention of Strategies and Term Orderings for Vampire Jan Jakubuv, Martin Suda and Josef Urban In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Why Attackers Lose: Design and Security Analysis of Arbitrarily Large XOR Arbiter PUFs Nils Wisiol, Christoph Graebnitz, Marian Margraf, Manuel Oswald, Tudor Soroceanu and Benjamin Zengin In:PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems
A Machine Learning Approach to Discriminate Between Soft and Hard Bone Tissues Using Drilling Sounds Vahid Zakeri, Francesco Fabri, Masashi Karasawa and Antony J. Hodgson In:CAOS 2017. 17th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
Towards a Surgical Phase Detection Using Markov Logic Networks Patrick Philipp, Johannes Bleier, Yvonne Fischer and Jürgen Beyerer In:CAOS 2017. 17th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
A Machine Learning Framework for Intraoperative Segmentation and Quality Assessment of Pedicle Screw X-Rays Hooman Esfandiari, Carolyn Anglin, John Street, Pierre Guy and Antony J. Hodgson In:CAOS 2017. 17th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
TacticToe: Learning to Reason with HOL4 Tactics Thibault Gauthier, Cezary Kaliszyk and Josef Urban In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Capacity Visual Attention Networks Marcus Edel and Joscha Lausch In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Empirical Investigation of Learning-Based Imputation Policies Hara Skouteli and Loizos Michael In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Machine Learner for Automated Reasoning 0.4 and 0.5 Cezary Kaliszyk, Josef Urban and Jiri Vyskocil In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Machine Learning of Coq Proof Guidance: First Experiments Cezary Kaliszyk, Lionel Mamane and Josef Urban In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
New CNF Features and Formula Classification Enrique Matos Alfonso and Norbert Manthey In:POS-14. Fifth Pragmatics of SAT workshop
Learning from Multiple Proofs: First Experiments Daniel Kuehlwein and Josef Urban In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems Mohammad Abdul Aziz, Amr Wassal and Nevin Darwish In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Stronger Automation for Flyspeck by Feature Weighting and Strategy Evolution Cezary Kaliszyk and Josef Urban In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Adaptive Assertion-Level Proofs Christoph Benzmüller and Marvin Schiller In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Building Portfolios for the Protein Structure Prediction Problem Alejandro Arbelaez, Youssef Hamadi and Michèle Sebag In:WCB10. Workshop on Constraint Based Methods for Bioinformatics