Workshop on Application Domain Specific Highly Reliable IT Solutions, Interim Reports, 16-18 Jan 2020, Zamárdi
Workshop on Application Domain Specific Highly Reliable IT Solutions
National Excellence Program, Industry and Digitalisation 
Interim Progress Reports
2020. január 16-18. Zamárdi
Program2020. január 16. csütörtök |
||
|
16:00-16:10 |
Horváth Zoltán |
Workshop introduction-welcome and meeting objectives |
|
16:10-16:30 |
Lőrincz András |
Tools for Solving the Core Problem of Human-Machine Interaction
|
|
16:30-16:50 |
Kristian Fenech |
Progress on skin lesion classification
|
|
16:50-17:10 |
Somfai Ellák |
Tumor segmentation from MRI images |
|
17:10-17:30 |
kávészünet |
|
|
17:30-17:50 |
István Elek |
Development of GeoImage Workflow Editing Resources
|
|
17:50-18:10 |
Török Zsolt Győző |
Facing North: Learned Components of Spatial Orientation in Environmental Space
|
|
18:10-18:30 |
Albert Gáspár |
Erosion protection and soil monitoring with precision terrain modeling
|
|
18:30-18:50 |
Kaposi Ambrus |
Inductive types and free algebras |
|
|
|
|
|
2020. január 17. péntek |
||
|
9:00-9:20 |
Csetverikov Dmitrij |
Industrial quality control: Automatic detection of defective labels
|
|
9:20-9:40 |
Andó Mátyás |
Transformation to Digital Industry
|
|
9:40-10:00 |
Varga László Zsolt |
Evaluating Routing Models for Autonomous Vehicles |
|
10:00-10:20 |
kávészünet |
|
|
10:20-10:40 |
Kovács Attila |
Reliability and Quality
|
|
10:40-11:00 |
Ligeti Péter |
Hierarchical secret sharing and finite geometry
|
|
11:00-11:20 |
Jordán Tibor |
Mathematics and optimization: results and research directions
|
|
11:20-11:40 |
Király Tamás |
Scheduling with resource constraints and coincidence constraints
|
|
11:40-12:00 |
Szeghy Dávid |
Multiple view geometry |
|
12:00-12:20 |
Fekete Imre |
Adaptive time integration in residual networks |
|
13:00-14:00 |
ebéd |
|
|
14:00-14:20 |
Tóthmérész Lilla |
Meeting points with the secret sharing community
|
|
14:20-14:40 |
Molnár Bálint-Tarcsi Ádám |
Reliability of (Business/Enterprise) Information Systems
|
|
14:40-15:00 |
Melinda Tóth |
RefactorErl - Towards secure coding in Erlang |
|
15:00-15:20 |
István Bozó |
Distributed process model for Erlang |
|
15:20-15:40 |
kávészünet |
|
|
15:40-16:00 |
Simon Thompson |
HARP: Trusted Refactoring
|
|
16:00-16:20 |
Horpácsi Dániel |
Towards a Proof Assistant Based Formalisation of Erlang
|
|
16:20-16:40 |
Marinus Jacobus Plasmeijer |
Lazy Interworking of Compiled and Interpreted Code for Sandboxing and Distributed Systems |
|
16:40-17:00 |
Anna Reale |
Multiclouds: managing service exposure in 5G Edge
|
|
17:00-17:20 |
Gombos Gergő |
The Buffer Sizing Problem - the Good, the Bad and the PPV
|
|
17:20-17:40 |
kávészünet |
|
|
17:40-18:00 |
Laki Sándor |
Core-stateless QoS revisited in the era of softwarized networks
|
|
18:00-18:20 |
Vörös Péter |
The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes |
|
2020. január 18. szombat |
||
|
8:00-10:00 |
Discussions on workplans 31 Jan-31 May//working groups |
|
Előadások és előadók
Előadások és előadók
0
/
0
0
/
0