PROGRAM
Days: Sunday, April 25th Monday, April 26th Tuesday, April 27th Wednesday, April 28th
Sunday, April 25th
View this program: with abstractssession overviewtalk overview
07:00-09:00 Session 1: FRINGE TALKS
Chair:
07:00 | FRINGE: Torus heat equations to get dizzy from. Hooping with xC (abstract) PRESENTER: Øyvind Teig |
08:00 | Pizza Model - FPGA SME Transputer platform and the Path Forward (abstract) PRESENTER: Lindsay Quarrie |
09:00-12:00 Session 2: Power, Image Recognition and Language Processing Applications
Chair:
09:00 | Harmonic Elimination based on selective optimization for Capacitor Voltages Balancing in Multilevel Inverters with Considering Load power factor (abstract) |
10:00 | Real-Time Localization of Vehicle License Plate using Improved Faster Region-Based Convolutional Neural Network (abstract) |
11:00 | Transfer learning using Pre-trained AlexNet for Marathi Handwritten Compound Character Image Classification (abstract) |
Monday, April 26th
View this program: with abstractssession overviewtalk overview
07:00-10:00 Session 3: KEYNOTE, Microservices and VPN Applications
Chair:
07:00 | KEYNOTE: Reliable Computing, Scientific and Technological Seedbank (abstract) |
08:00 | Designing and Verifying Microservices Using CSP (abstract) |
09:00 | Deep Reinforcement Learning and Fuzzy K-means based VPN-nonVPN Traffic Classification and Characterization (abstract) |
Tuesday, April 27th
View this program: with abstractssession overviewtalk overview
07:00-10:00 Session 4: Object Recognition, Medical and Wireless Applications
Chair:
07:00 | A Brief Review of Convolutional Neural Network Techniques for Masked Face Recognition (abstract) |
08:00 | Classification of cervical cancer using Deep Learning Algorithms (abstract) PRESENTER: Anurag Tripathi |
09:00 | A Machine Learning based Mission Critical Data Transmission Protocol in Wireless Sensor Networks (abstract) PRESENTER: Archana Raut |
Wednesday, April 28th
View this program: with abstractssession overviewtalk overview
07:35-11:35 Session 5: Formal Verification Tools, Synchronous Message Exchange (SME),Translators
Chair:
07:35 | HOL-CSP Version 2.0 for formal verification in Isabelle (abstract) PRESENTER: Burkhart Wolff |
08:35 | Accelerating Molecular Dynamics with the Lennard-Jones potential for FPGAs (abstract) PRESENTER: Carl-Johannes Johnsen |
09:35 | Occam to Go translator (abstract) PRESENTER: Matilde Broløs |
10:35 | OCCAM-equivalent syntax with pure singleton descent structure (abstract) |