Timetable of lectures - draft

Please check the information on this page. If any problem arises then do tell us.
Continuously updating...

Thursday, January 28, 2010

Main streamEvents + Plenary Section
10:00-10:15Opening Ceremony
10:15-11:00 Plenary talk
Gunter Weiss
3D-Visualisation with Lenticular Foil Displays: Pros and Cons
11:00-11:15Coffee-break
11:15-12:00 Plenary talk
Tibor Csendes
Reliable Numerical Methods for Mathematical Problems
12:00-12:40 Plenary talk
János Sztrik
Queueing Theory and its Applications, A Personal View
12:40-13:40Lunch
15:00-16:20Sections
16:20-16:40Coffee-break
16:40-18:20Sections
19:00-Welcome party in Hotel Park Eger
"A" SectionTesting and Verification
15:00-15:20 Zsolt Borsi
László Kozma
Anna Medve
On the Verification Problems of the Component-Based Software Development
15:20-15:40 Gergely Kovásznai
Wolfgang Schreiner
Gábor Kusper
Gábor Guta
János Sztrik
A Survey on Java Meta Languages
15:40-16:00 György Orbán
Anna Medve
László Kozma
Let’s Go the Verification Engineering
16:00-16:20 Ferenc Molnár Rapid application testing and staging in virtualized environments
16:20-16:40Coffee-break
 Testing and verification
16:40-17:00 Péter Tömösközi
Csaba Bíró
Roland Király
Implementation of an automatic error detection tool for C#
17:00-17:20 Gábor Páli
Tamás Kozsik
Measuring Software Complexity by Types
17:20-17:40 Mónika Mészáros
Péter Diviánszky
Attila Góbi
Andrea Kovács
Dániel Leskó
Gábor Páli
Detaching and Reconstructing the Documentary Structure of Source Code
17:40-18:00 Tibor Radványi
Gábor Kusper
Security Issues Against Contactless Intelligent Cards in the EID Project
"B" SectionComputer Algebra
15:00-15:20 Attila Egri-Nagy
Chrystopher L. Nehaniv
Dependency Structure of Hierarchically Constructed Permutation Groups and Transformation Semigroups
15:20-15:40 Christian Dönch
Franz Winkler
Bivariate difference-differential dimension polynomials and their computation in Maple
15:40-16:00 Tamás Herendi Fast modular exponentiation
16:00-16:20 Attila Gilányi Solving linear functional equations using Maple
16:20-16:40Coffee-break
 Operational Research
16:40-17:00 János Sztrik
Patrick Wüchner
Hermann de Meer
Finite-source retrial queues with applications
17:00-17:20 Éva Bedéné Szőke
Zsuzsanna Mohamed
Edit Pallás
Szabolcs Takács
Optimization of biomass production on company level
17:20-17:40 Zoltán Kátai
Péter István Fülöp
Modeling dynamic programming problems: Petri nets versus d-graphs
17:40-18:00 János Balogh
József Békési
Gábor Galambos
Some semi-online bin packing results
"C" SectionComputer Statistics
15:00-15:20 György Terdik Analysis of Highspeed Network Data
15:20-15:40 Csilla Csendes Parameter estimation, and random number generation to stable distributions
15:40-16:00 Zsolt Karácsony
Zsuzsa Libor
Longest runs in coin tossing. Recursive formulae, asymptotic theorems, computer simulations
16:00-16:20 András Benczúr On the Growing Semantic Gap
16:20-16:40Coffee-break
16:40-17:00 István Fazekas Nonparametric regression and measurement error
17:00-17:20 Zoltán Gál
György Terdik
Wavelet analysis of QoS based network traffic
17:20-17:40 Márton Ispány On limit of inhomogeneous nearly unstable INAR models
17:40-18:00 Kinga Sipos Optimal ATM Management Using Genetic Algorithms
"D" SectionComputer Aided Geometric Modeling and Computer Graphics
15:00-15:20 Henrietta Tomán
Szilvia Szeghalmy
József Szakács
András Hajdu
Detecting digital intersections using line approximation
15:20-15:40 Gábor Valasek
János Vida
Considerations on Offsetting Plane Curves
15:40-16:00 Márta Szilvási-Nagy New implementations of surface constructing algorithms for Wolfram's demonstration project
16:00-16:20 Roland Kunkli
Miklós Hoffmann
Skinning of circles and spheres using Apollonius circles
16:20-16:40Coffee-break
16:40-17:00 Ede Troll Constrained modification of a quadratic and cubic trigonometric spline curves
17:00-17:20 Viktor Vad
Gergely Klár
Highly Paralell Toolbox of Level Set Methods
17:20-17:40 Ildikó Papp
Miklós Hoffmann
Isoptics of Bézier curves
17:40-18:00 Roberto Giachetta
István Fekete
Framework for Visualization and Performance Analysis of Algorithms and Data Structures
18:00-18:20 Zsolt Török
András Hajdu
Image processing support in the early detection of melanoma malignum
"E" SectionArtificial Intelligence
15:00-15:20 Péter Takács
Tamás Mihálydeák
Demonstration of the modified CSN-logic
15:20-15:40 József Bozsik Genetic Algorithm in Default Forecasts
15:40-16:00 László Bakó
Péter István Fülöp
Advanced Hardware Neural Network Architectures Using Embedded Multi-Core Processors
16:00-16:20 József Bozsik Artifical Neural Networks in Default Forecast
16:20-16:40Coffee-break
 Artificial Intelligence and Functional Programming
16:40-17:00 Sékou Tidiani Coulibaly A possible method for synthesis of polynomial kernel function by mean of algebraic geometry
17:00-17:20 László Lövei
Lilla Hajós
Melinda Tóth
Erlang Semantic Query Language
17:20-17:40 István Bozó
Melinda Tóth
Zoltán Horváth
Slicing Erlang programs
17:40-18:00 Zoltán Csajbók Partial Approximative Set Theory: A View from Galois Connections
18:00-18:20 Roland Király
Róbert Kitlei
Zoltán Horváth
Structural complexity metrics for functional programming code

Friday, January 29, 2010

Main streamEvents + Plenary Section
08:00-09:00Breakfast
09:00-09:30 Plenary talk
András Hajdu
Digital Image Processing in Complex Systems
09:30-10:00 Plenary talk
Zoltán Porkoláb
The new C++ standard – without concepts?
10:00-10:20Coffee-break
10:20-11:20Sections
11:30-12:35Short presentation of the posters
11:30-11:35 István Fekete
Roberto Giachetta
Péter Kovács
To Balance or Rebuild? - An Experimental Study of Randomly Built Binary Search Trees
11:35-11:40 Norbert Pataki Features of C++ Template Metaprograms
11:40-11:45 Ágnes Werner-Stark
A. Valics
T. Dulai
The validation of information resulted by process mining in case of a garage gate control
11:45-11:50 Sándor Baran
Lajos Veress
Kinga Sikolya
Estimating the risk of a Down's syndrome term pregnancy: comparison of various methods
11:50-11:55 Marta Czenky Teaching of database programming for mechanical engineering students
11:55-12:00 Karina Bunyik
Gergely Dévai
Zoltán Gera
Zsolt Gyulavári
Zoltán Horváth
Kálmán Karch
Krisztián Markó
Gyula Nagy
Emese Palkó
Endre Sajó
Máté Tejfel
A Domain Specific Language for DSP
12:00-12:05 Bálint Antal DRSCREEN - Developing a computer based image processing system for diabetic retinopathy screening
12:05-12:10 Éva Bedéné Szőke
Zsuzsanna Mohamed
Edit Pallás
Szabolcs Takács
Programming model suitable for economic underlying of specialization of agricultural entrepreneurs to biomass production
12:10-12:15 Balázs Harangi
Tibor Csordás
András Hajdu
Detecting the excessive activation of the ciliaris muscle on thermal images
12:15-12:20 Roland Király Implementing structural complexity metrics in Erlang
12:20-12:25 Tibor Radványi
Róbert Szabó
Péter Incze
Péter Magyar
Gábor Kusper
Emőd Kovács
RFID technological knowledge in our teaching
12:25-12:30 Gábor Geda
Gergely Kovásznai
Using Robotics to Motivate Students in Higher Education
12:30-12:35 László Tóth
Hiroyuki Matsuda
Hiroshi Daimon
New image processing method for the observation of hidden structures of electron microscopic images
12:35-12:40 Barnabás Szász Linked Data Use Cases within the Enterprise
12:40-12:45 Bálint Antal
András Hajdu
A generic lesion detector for retinal images
12:45-12:50 Péter Tömösközi
Csaba Biró
Roland Király
Implementation of an automatic error detection tool for C#
12:50-13:50Lunch
13:50-14:00Best Poster Lecturer Award
14:00-15:00 Poster session Presentation of the posters in the lobby. You can talk with the authors, ask questions.
15:00-16:20Sections
16:20-16:40Coffee-break
16:40-17:40Sections
18:30 Departure to the optional wine-sampling from in front of the Hotel Thermal Park can be found at Eger's wine district on the way leading to the thermal bath of Egerszalók
19:00-Dinner in Eger or optional dinner with wine sampling in Thermal Park, Egerszalók
"A" SectionCooperative Research and Innovation
10:20-10:40 Péter Fésüs Medical Protocol and Financing in Hospital Information Systems
10:40-11:00 László Aszalós
Andrea Huszti
Applying spi-calculus for PayWord
11:00-11:20 László Aszalós
Norbert Bátfai
László Csirmaz
János Folláth
Tamás Herendi
Attila Pethő
Péter Varga
Secure utilization of local and regional data assets through mobile environments
11:30-15:00    
15:00-15:20 Md. Nazmul Hasan Chowdhury Factorial Analysis of Customer Relationship Management In Bangladesh
15:20-15:40 Vilmos Bilicki
Zoltán Rak
Wireless Mesh Networks from the Energy Consumption Aspect
15:40-16:00 Róbert Béládi
Vilmos Bilicki
Monitoring the Quality of Service in Wireless Mesh Networks
16:00-16:20 Vilmos Bilicki
Zoltán Rak
PECES - PERVASIVE COMPUTING IN EMBEDDED SYSTEMS
16:20-16:40Coffee-break
 Education and other fields of Applied Informatics
16:40-17:00 Levente Lócsi
Ferenc Schipp
Discrete approximation of ECG signals
17:00-17:20 Prakan Puvibunsuk Integrating CMMS into ERP
17:20-17:40 Tibor Ásványi Radix Sort for Linked Lists: Implementations
17:40-18:00 Csaba Komló Virtual and on-line classrooms of e-learning
"B" SectionSoftware Design and Object Oriented Programming
10:20-10:40 Sándor Kaczur
József Molnár
Péter Salvi
Ábel Sinkovics
Zoltán Porkoláb
A Brief Comparation of Generative Programming Technologies
10:40-11:00 Zalán Szűgyi
Zoltán Porkoláb
Syntax Check of Embedded SQL in C++ with Proto
11:00-11:20 Norbert Pataki C++ Standard Template Library by Ranges
11:30-15:00    
15:00-15:20 Attila Adamkó
Csaba Bornemissza
Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages
15:20-15:40 Lajos Kollár Interoperability of Model-driven Web Engineering approaches
15:40-16:00 Csaba Bornemissza Setting Up an Effective Technical Architecture and a Non-Technical Methodology for Web Development Projects
16:00-16:20 Péter Jeszenszky Web ontology for software package management
16:20-16:40Coffee-break
16:40-17:00 József Mihalicza How #includes affect build time in large systems
17:00-17:20 Zsolt Nagy Intelligent Web System and its life essence: the AJAX
17:20-17:40 Imre Barna
Péter Bauer
Kinga Bernád
Zsolt Hernáth
Zoltán Horváth
Balázs Kőszegi
Gergely Kovács
Tamás Kozsik
Zsolt Lengyel
Róbert Roth
Sándor Sike
Gábor Takács
ODF Mobile Edition – Towards the development of a mobile office software
"C" SectionFunctional Programming
10:20-10:40 Viktória Zsók Functional Semantics of D-Clean
10:40-11:00 Attila Góbi
Tamás Kozsik
Mónika Mészáros
Artyom Antyipin
Dorián Batha
Tamási Kiss
Untangling Type Inference and Scope Analysis
11:00-11:20 Gergely Dévai
Zoltán Gera
Zoltán Horváth
Gábor Páli
Máté Tejfel
Feldspar – a Functional Embedded Language for DSP
11:30-15:00    
 Computer Aided Geometric Modeling and Computer Graphics
15:00-15:20 Benedek Schultz Visualization of Nil geometry with Wolfram Mathematica
15:20-15:40 István Lázár
András Hajdu
Retinal microaneurysm detection based on intensity profile analysis
15:40-16:00 Bálint Antal
András Hajdu
István Lázár
Novel approaches to improve microaneurysm detection
16:00-16:20 Balázs Harangi
László Kovács
Brigitta Nagy
Rashid Jalal Qureshi
András Hajdu
Automatic detection of the fovea and optic disk in digital retinal images by combining algorithms
16:20-16:40Coffee-break
16:40-17:00 Anett Bekéné Rácz Adapting LP preprocessing to LFP problems
17:00-17:20 Tamás Bérczes
Tamás Vojnits
Lajos Tőzsér
AddOn development for SAP Business One
17:20-17:40 Benedek Nagy Pumping lemmas for special linear languages
17:40-18:00 Andrea Huszti
Péter Pleva
Anonym electronic exam system with minimal trust
"D" SectionDistributed and Parallel Computing
10:20-10:40 Béla Almási UDPTUN – Direct TCP connection between NAT behind hosts
10:40-11:00 Md. Raqibul Hasan
M. Sohel Rahman
DesynchLRU: An Efficient Page Replacement Algorithm with Desynchronized Cache and RAM
11:00-11:20 Gábor Balázsfalvi BitTorrent like file sharing on mobile devices using heterogeneous wireless networks
11:30-15:00    
 Cryptography and other fields of Applied Informatics
15:00-15:20 Ábel Garai Methodology for assessment validation of platform migration of roboust critical IT-Systems
15:20-15:40 János Folláth Notes on a family of collision-free functions
15:40-16:00 Pál Dömösi
Zita Kovács
Andor Pénzes
An attack on Dömösi's cryptosystem
16:00-16:20 Norbert Bátfai
Péter Molnár
Bálint Rábai
István Tari
Cryptographic measurements on Java-enabled mobile phones
16:20-16:40Coffee-break
16:40-17:00 Md. Muhidul Islam Khan An Enhanced Data Mining Technique for Efficient Query Processing in Wireless Sensor Networks
17:00-17:20 Brigitta Réthey-Prikkel
Tímea Magyar
Introduction of decimal fractions to special need children
17:20-17:40 Szilvia Szakácsné Nagy The Role of Sonification in the Development of the Concept of Function for Blind Pupils
17:40-18:00 Imre Varga
Ferenc Kun
Computer Modeling of Binary Dipolar Monolayers
"E" SectionArtificial Intelligence
10:20-10:40 László Kovács
Péter Barabás
Cost Analysis of Sentence Classification with ECG Semantic Graph Matching
10:40-11:00 Zoltán Istenes
Máté Tejfel
László A. Jeni
Verified Mobile Code Repository Simulator for the Intelligent Space
11:00-11:20 László Kovács Generating Fuzzy Rule System using Cross Entropy Optimization Method
11:30-15:00    
 Education and other fields of Applied Informatics
15:00-15:20 Győző Horváth
Péter Szlávi
László Zsakó
Informatics (ICT) Competencies
15:20-15:40 Szilárd András Intuiting Mathematics by Computer Visualizations
15:40-16:00 Gábor Kiss A comparison of informatics skills by genders of Hungarian grammar school students
16:00-16:20 Veronika Stoffová Importance of data type and data structure in programming
16:20-16:40Coffee-break
 Artificial Intelligence
16:40-17:00 Zoltán Istenes Formal Methods in Robot Control Systems
17:00-17:20 Richárd O. Legéndi
Attila Szabó
Advantages of a Multi-Paradigm Programming Language in Agent-Based Model Definition
17:20-17:40 András Fülöp Virtual military robot controlled by emotical agents using reinforcement learning

Saturday, January 30, 2010:

Main streamEvents + Plenary Section
08:00-09:00Breakfast
09:00-09:30 Plenary talk
Tudor Jebelean
A Logical Approach to Program Verification
09:30-10:00 Plenary talk
Franz Winkler
Symbolic computation – A philosophy of mathematics
10:00-10:20Coffee-break
10:20-12:20Sections
12:30-13:30Lunch
14:40-16:20Sections
16:20-16:40Coffee-break
16:40-18:00Sections
18:00-18:30Closing ceremony
19:00-Dinner
"A" SectionArtificial Intelligence
10:20-10:40 Márk Kósa
János Pánovics
Object-oriented approach of search algorithms for two-player games
10:40-11:00 Balázs Bánhelyi A computer-assisted proof for stable/unstable behaviour of periodic solutions for the forced damped pendulum
11:00-11:20 Hunor Sándor Jakab Using Gaussian Processes for variance reduction in Policy Gradient algorithms
11:20-11:40 Botond A. Bócsi
Lehel Csató
Dirichlet process–based component detection in state-space models
11:40-12:00 Gabriella Daróczy Artificial Intelligence and Cognitive Psychology
12:00-12:20 Zoltán Lengyel BDD Variable Ordering Techniques
12:30-13:30Lunch
15:00-15:20 Katalin Pásztor Varga
Magda Várterész
Semantic approach to the theorem proving in many-valued logic
15:20-15:40 Tudor Jebelean
Gábor Kusper
SAT Solving Experiments in Multi-Domain Logic
15:40-16:00 Gergely Kovásznai
Gábor Kusper
Empirical Investigations on Combining Resolution and Tableaux
16:00-16:20 Mâamoun Bernichi
Fabrice Mourlin
Hybrid approach for mobile agent specification
16:20-16:40Coffee-break
 Education and other fields of Applied Informatics
16:40-17:00 László Dudás Computer Aided Geometric Design of Gear Surfaces
17:00-17:20 Gábor Geda
Csaba Biró
Computer-Aided Quantitative Observation of a Crystallization Process
17:20-17:40 Piroska Bíró Use of Interactive Whiteboard in the Schools of Debrecen
17:40-18:00 Mária Bakó Digital divide in Debrecen and perspectives
"B" SectionSoftware Design and Object Oriented Programming
10:20-10:40 Csaba Bornemissza Mixing Waterfall and Agile Management Methodology Elements to Create Optimal Project Environment
10:40-11:00 Attila Kuki The Evergreen SSADM
11:00-11:20 Mária Molnárné Nagy Providing software reengineering technical expertise based on similarity metric
11:20-11:40 Vilmos Szűcs
Miklós Kasza
Vilmos Bilicki
Software Architecture of Proseniis Project
11:40-12:00 Miklós Kasza
Vilmos Bilicki
Vilmos Szűcs
Rethinking Security in the Light of Contraction and CONVERGEnce
12:00-12:20 Balázs Hadházi-Borsos An Overview on Software Ergonomy
12:20-12:40 Marianna Sipos Virtuoso Virtuality
12:40-13:30Lunch
 Operational Research
14:40-15:00 Viktor Árgilán
János Balogh
József Békési
Balázs Dávid
Miklós Krész
Attila Tóth
Heuristic for the Combined Vehicle and Driver Scheduling Problem
15:00-15:20 Tibor Csendes PageRank Based Network Algorithms for Weighted Graphs with Applications to Wine Tasting and Scientometrics
15:20-15:40 Péter Orosz
Tamás Skopkó
Timestamp-resolution Problem of Traffic Analysis on High Speed Networks
15:40-16:00 László Pál
Tibor Csendes
Estimating network loads in service networks
16:00-16:20 A. Werner-Stark
Tibor Dulai
Game theoretic approach of product distribution by vehicles
16:20-16:40Coffee-break
16:40-17:00 Zoltán Király
Péter Kovács
An Experimental Study of Minimum Cost Flow Algorithms
17:00-17:20 Csanád Imreh
Tamás Németh
On lookahead online algorithms for the data acknowledgment models
17:20-17:40 Endre Palatinus
Balázs Bánhelyi
Circle covering and its applications for telecommunication networks
17:40-18:00    
"C" SectionEducation and other fields of Applied Informatics
10:20-10:40 Iván Devosa Why to use multi-touch boards in the education?
10:40-11:00 Anikó Vágner
István Juhász
József Kuk
Ádám Balázs
Clustering of ECG Signals
11:00-11:20 Áron Csendes Survey of Dynamic Voltage Scaling Methods for Energy Efficient Embedded Systems
11:20-11:40 Muhammad Mushtaq Ahmad
Péter Fehér
Application of Mind Mapping Technique to Study the Fruits and Vegetables Processing Industry and Supply Chain
11:40-12:00 Deepak Bahadur Dhami Implementation Challenges of e-Governance In Nepal and Possible steps towards solutions
12:00-12:20 Zsolt Kristóf
Károly Bodnár
Péter Takács
First achievements of the adaptation of the ILIAS learning management system at the University of Debrecen, Faculty of Health
12:30-13:30Lunch
14:40-15:00 Miklós Herdon Collaborative research on open source e-learning
15:00-15:20 Norbert Bátfai Open Source Mobile Games for Education
15:40-16:00 Anna K. Fazekas
Magda Várterész
Gábor Fazekas
Quality assurance models in e-learning
16:00-16:20 Zoltán Madár Development frameworks for implementing local e-government applications
16:20-16:40Coffee-break
 Distributed and Parallel Computing
16:40-17:00 Zoltán Hernyák Distributed Lazy Evaluation
17:00-17:20 Antal Iványi
Imre Kátai
Quick testing of random variables
17:20-17:40 Marianna Zichar
Szilvia Szeghalmy
Network Topology in 3D GIS
17:40-18:00    
"D" SectionData Base Systems
10:20-10:40 Zsigmond Máriás Design and Performance Analysis of Hierarchical Large-scale Inhomogeneous Databases
10:40-11:00 Attila Hadházi Data Protection on Progress Databases and Progress 4GL
11:00-11:20 Nóra Sterbinszky Comparison of the efficiency of combination of database servers, application servers and operating systems with TPC-W benchmark
11:20-11:40 István Juhász
Márk Kósa
Anikó Vágner
Teaching Database Systems at the Faculty of Informatics at the University of Debrecen
11:40-12:00 Roberto Giachetta
István Elek
Developing an Advanced Document Based Map Server
12:00-12:20 Melinda Simon
Norbert Pataki
SQL code complexity analysis
12:20-12:40    
12:40-13:30Lunch

» Top «


New Hungary Development Plan EKF - TermészetTudás Főiskolája OKM Támogatáskezelő
EKF a TermészetTudás Főiskolája
A konferencia az EKF a TermészetTudás Főiskolája címet viselő, az Új Magyarország Fejlesztési Terv TÁMOP 4.2.3 Tudományos eredmények elismerése és disszeminációja című pályázatán elnyert projekt részeként valósul meg.

A projekt az Európai Unió támogatásával, az Európai Szociális Alap társfinanszírozásával valósul meg.