ICAI 2010 - 8th International Conference on Applied Informatics
to be held in Eger, Hungary
January 27-30, 2010
ICAI 2010 - 8th International Conference on Applied Informatics
to be held in Eger, Hungary
January 27-30, 2010
Please check the information on this page. If any problem arises then do tell us.
Continuously updating...
Thursday, January 28, 2010 |
||
---|---|---|
Main stream | Events + Plenary Section | |
10:00-10:15 | Opening Ceremony | |
10:15-11:00 | Plenary talk Gunter Weiss |
3D-Visualisation with Lenticular Foil Displays: Pros and Cons |
11:00-11:15 | Coffee-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:40 | Lunch | |
15:00-16:20 | Sections | |
16:20-16:40 | Coffee-break | |
16:40-18:20 | Sections | |
19:00- | Welcome party in Hotel Park Eger | |
"A" Section | Testing 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:40 | Coffee-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" Section | Computer 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:40 | Coffee-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" Section | Computer 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:40 | Coffee-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" Section | Computer 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:40 | Coffee-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" Section | Artificial 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:40 | Coffee-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 stream | Events + Plenary Section | |
08:00-09:00 | Breakfast | |
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:20 | Coffee-break | |
10:20-11:20 | Sections | |
11:30-12:35 | Short 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:50 | Lunch | |
13:50-14:00 | Best 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:20 | Sections | |
16:20-16:40 | Coffee-break | |
16:40-17:40 | Sections | |
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" Section | Cooperative 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:40 | Coffee-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" Section | Software 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:40 | Coffee-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" Section | Functional 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:40 | Coffee-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" Section | Distributed and Parallel Computing | |
10:20-10:40 | Béla Almási | UDPTUN – Direct TCP connection between NAT behindhosts |
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:40 | Coffee-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" Section | Artificial 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:40 | Coffee-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 stream | Events + Plenary Section | |
08:00-09:00 | Breakfast | |
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:20 | Coffee-break | |
10:20-12:20 | Sections | |
12:30-13:30 | Lunch | |
14:40-16:20 | Sections | |
16:20-16:40 | Coffee-break | |
16:40-18:00 | Sections | |
18:00-18:30 | Closing ceremony | |
19:00- | Dinner | |
"A" Section | Artificial 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:30 | Lunch | |
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:40 | Coffee-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" Section | Software 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:30 | Lunch | |
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:40 | Coffee-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" Section | Education 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:30 | Lunch | |
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:40 | Coffee-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" Section | Data 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:30 | Lunch |