ICAI 2007 ICAI 2007 - 7th International Conference on Applied Informatics
to be held in Eger, Hungary
January 28-31 2007

The Conference

General

Previous Conferences

EKF

EKF

UNIDEB

UNIDEB

UNIDEB
Faculty of Informatics

UNIDEB Faculty of Informatics

ICT-CRC

Cooperative Research Centre in Information Technology

Valid HTML 4.0 Transitional
Valid CSS!

Timetable of lectures - draft

Please check the information on this page. If any problem arises then do tell us.
Continuously updating...
     
     
Monday, January 29, 2007
10:00-10:15 Opening Ceremony
10:15-11:00 Invited talk
Gunter Weiss
Visualising Elementary Number Theory
11:00-11:15 Coffee-break
11:15-12:00 Invited talk
Domonkos Asztalos
To be later announced
12:00-12:40 Invited talk
György Terdik
Internet traffic v. technology change in 10 years
12:40-13:40 Lunch
"A" Section Computer Algebra
15:00-15:20 Benedek Nagy,
Sándor Vályi
Interval-valued computations without the product operator
15:20-15:40 Attila Egri-Nagy,
Chrystopher L. Nehaniv
Algebraic Properties of Automata Associated to Petri Nets
15:40-16:00 János Folláth,
Andrea Huszti,
Attila Pethő
DESignIn - An Asymetric Authentication System
16:00-16:20 Géza Horváth New pumping lemma
16:20-16:40 Coffee-break
16:40-17:00 Zoltán Csajbók ON THE MAPPINGS OF ELLIPTIC CURVES HAVING NO RATIONAL POINTS INTO $[0; 1)^2$
17:00-17:20 Zoltán Lengyel Efficient Skolemization
17:20-17:40 Gergely Kovásznai Redundancy for Rigid Clausal Tableaux
17:40-18:00 Valerie Novitzka,
Daniel Mihalyi,
Viliam Slodicak
Finite automata in the mathematical theory of programming
18:00-18:20 Zoltán Csajbók ON THE STRUCTURE OF REDUCED POINTS OF ELLIPTIC CURVES DEFINED OVER RATIONALS
"B" Section Operational Research
15:00-15:20 Zoltán Makó Banded approximation with diffusion-neural-network
15:20-15:40 László Pál,
Tibor Csendes,
Oscar H. Sendin,
Julio R. Banga
Improvements on the GLOBAL Optimization Algorithm with Numerical Tests
15:40-16:00 Barnabás Szász Reasoning in Museum24 Semantic Virtual Museum
16:00-16:20 Júlia Salamon Sensitivity analysis of the energy functional defined on Sobolev space.
16:20-16:40 Coffee-break
16:40-17:00 Balázs Bánhelyi,
Tibor Csendes,
Jose A. Martinez,
Leocadio Gonzlez Casado
A parallelized computer-assisted proof of chaos
17:00-17:20 András Erik Csallner On the Heuristic Construction of Stepped Upper Estimates
17:20-17:40 Kristóf Vajda Reducing Ambiguity in Machine Translation Through Iterative Parsing
17:40-18:00    
"C" Section Computer Graphics
15:00-15:20 János KATONA,
Emil MOLNÁR
A visibility algorithm for the projection PS^d --> PS^2
15:20-15:40 László-Zsolt Szabó An image analyser program written in MATLAB to detect and analyse elementary events of calcium release on muscle cells
15:40-16:00 Emil MOLNÁR,
István PROK,
Jenő SZIRMAI
An infinite series of hyperbolic 3-space tilings on the screen of computer
16:00-16:20 Benedek Nagy,
Agota Orosz
Simple digital objects on Z^2
16:20-16:40 Coffee-break
16:40-17:00 Brigitta Szilagyi,
Attila Bölcskei
Visualization of Curves and Spheres in Sol Geometry
17:00-17:20 Brigitta Németh,
Csilla Sörös
Evaluation of spatial ability and its consequences
17:20-17:40 Imre Kocsis Applying animation in teaching of mathematics for engineering students
17:40-18:00 Csaba Nagy Extend GCC with a fully manageable reverse engineering front end
"D" Section Reasoning and Functional Programming
15:00-15:20 Gábor Kusper,
Lajos Csőke
A Better DPLL Algorithm Using the N-Literal SAT Representation
15:20-15:40 Gergely Dévai,
Zoltán Csörnyei
Separation logic style reasoning in a refinement based language
15:40-16:00 Péter Takács,
Zsolt Kristóf
The Extension of CNS-logics
16:00-16:20 Katalin Pásztorné Varga Normal forms in Many-Valued Logic
16:20-16:40 Coffee-break
16:40-17:00 Viktória Zsók Semantic Issues of D-Clean
17:00-17:20 László Lővei,
Zoltán Horváth,
Tamás Kozsik,
Roland Király
Static rules for variable scoping in Erlang
17:20-17:40 Péter Diviánszky,
Gáspár Erdélyi
Graphs as infinite terms in functional langauges
17:40-18:00 Máté Tejfel Proving Composed Specifications of Clean Programs in Sparkle-T
19:00 Welcome party in Hotel Park
     
Tuesday, January 30, 2007
08:00-09:00 Breakfast
09:00-09:30 Invited talk
Francis ROUSSEAUX
New Ideas for Browsing our Digital Collections
09:30-10:00 Invited talk
Fazekas Gábor
Co-operative Research Centre for Information Technology in Debrecen
10:00-10:20 Coffee-break
"A" Section Software Design and Object Oriented Programming
10:20-10:40 Ádám Balogh,
Zoltán Csőrnyei
A General Method of Exception Reporting and Handling using System Predicate Classes
10:40-11:00 Mihály Biczó,
Krisztián Pócza,
Zoltán Porkoláb
A Cache-Based Inter-Procedural Static Slicing Algorithm
11:00-11:20 Csaba Bornemissza Comparing Lightweight and Heavyweight Modeling Technologies for Complex Application Development Processes
11:20-11:40 Imre Fazekas New technologies beyond OO
11:40-12:00 Csaba Szabó,
Ladislav Samuelis,
Roman Bazelides
On the Role of Incrementality in Test Design
12:00-12:20 Ilir Kurti,
Zoltán Porkoláb
Supporting generic paradigm in CORBA IDL
12:30-13:30 Lunch
15:00-15:20 Ádám Sipos,
István Zólyomi,
Zoltán Porkoláb
On the Correctness of Template Metaprograms
15:20-15:40 Attila Adamkó Rapid Web Application Development and Modeling, based on XML and UML technologies
15:40-16:00 Attila Adamkó,
Csaba Bornemissza
Combining the Benefits of MVC Design Pattern and UML Based Modeling for Different Software Platforms
16:00-16:20 József Mihalicza The is_in_namespace predicate
16:20-16:40 Coffee-break
16:40-17:00 Zoltan Porkolab,
Norbert Pataki,
Adam Sipos,
Viktoria Zsok,
Marjan Hericko,
Ales Zivkovic
Application of OO metrics to estimate .NET project software size
17:00-17:20 Miklós Espák Querying on Java Code
17:20-17:40 Vu Le Anh,
Attila Kiss,
Vinceller Zoltan
Parallel Search Engine For Very Large XML Data Sets
"B" Section Education and other fields of Applied Informatics
10:20-10:40 Ladislav Samuelis,
Csaba Szabó,
Zdenek Havlice
Teaching Java programming through pools of open source case studies
10:40-11:00 Gianfranco Pedone,
László Zsolt Varga
Supporting MAS complex service modelling through capabilities validation
11:00-11:20 István László,
Gábor Csornai,
István Fekete
An alternative approach to data fusion in remote sensing
11:20-11:40 László Kovács,
Zoltán Irházi
Generating decision tree for a lattice-based classification problem
11:40-12:00 Gábor Geda Investigation of Stochastic Models of Some Periodic Phenomena
12:00-12:20 Kálmán ABARI,
Gábor PÁLI
Problems of Acoustic Echo Cancellation
12:30-13:30 Lunch
15:00-15:20 Zoltan Gal,
Tamas Balla
Statistical Aspects of Network Based Real-time Group Communication and Collaboration Services
15:20-15:40 Tamás Krausz Wireless security
15:40-16:00 Tamas Lukovszki Terminal Assignment in Static Wireless Networks
16:00-16:20 Vilmos Bilicki,
Mihály Bohus,
Miklós Kasza
Netspotter: a framework for network testing
16:20-16:40 Coffee-break
16:40-17:00 Péter Orosz,
János Sztrik,
Che Soong Kim
TCP dynamics and congestion control on asymmetric lines
17:00-17:20 Tamas Kenesei,
Balazs Feil,
Janos Abonyi
Identification of Dynamic Systems by Hinging Hyperplane Models
17:20-17:40 József Holovács,
Gábor Kusper,
Lajos Csőke
Philosophical and Natural Science Aspects of Information
"C" Section Computer Graphics
10:20-10:40 Thomas Weidner Some aspects of clothoids
10:40-11:00 Pál Kupán Monotone interpolant built with slopes obtained by linear combination
11:00-11:20 László Vörös Two- and Three-dimensional Tiling on Base of Higher-dimensional Cube Mosaics
11:20-11:40 Szilvia Bela About the geometry of milling paths
11:40-12:00 Márta Szilvási-Nagy About the geometry of milling paths (the case of discrete surfaces)
12:00-12:20 Sékou Tidiani Coulibaly An empirical method for determining the number of iterations needed in the pre-processing of X-ray images of welds using PCNN algorithms
12:30-13:30 Lunch
15:00-15:20 Tamás Kovács A fast fractal image compression algorithm
15:20-15:40 Susanne Harms Interpolation of Ck-Aitken-Spline Curves and Surfaces
15:40-16:00 Melanie Wolter Construction of Ck-Aitken- Spline Curves and Surfaces
16:00-16:20 Miklós Krész,
Attila Tóth
Graph clustering methods on genomic data
16:20-16:40 Coffee-break
16:40-17:00 József Szabó Bestimmung der 3D Genauigkeit der Fotomaschiene
17:00-17:20 Jenő Szirmai Visualization of the densest lattice-like ball packing in Nil geometry
17:20-17:40    
"D" Section Cooperative Research and Innovation
10:20-10:40 Erika Perge Using a computer to teach hand-drawing
10:40-11:00 Norbert Tasi eLearning solutions for teaching software tools used in health care and business administration
11:00-11:20 DÉNES SULYOK,
TAMÁS NAGY DÖVÉNYI
Examining the efficiency of alternative tillage systems, with 4M-eco crop- and Agrobusiness model
11:20-11:40 Csaba Vágvölgyi E-Learning 2.0 - the Future of Web Based Learning Technologies
11:40-12:00 Attila Pethő Multifunctional community card
12:00-12:20 Bertalan Kis,
Ákos Kovács,
László Nagy,
Tibor Balla
E-Learning development project at Debrecen University
12:30-13:30 Lunch
15:00-15:20 Márton Ispány,
Ágnes Papp
Applications of ensemble methods in data mining
15:20-15:40 Miklós Herdon Collaborative working tools and applications in agriculture
15:40-16:00 János Végh An "embedded expert system" and its application in electron spectroscopy
16:00-16:20 József Demeter,
Barnabás Szász
Data mining based on medical diagnosis
16:20-16:40 Coffee-break
16:40-17:00 Andrea Huszti A new secure voting scheme
17:00-17:20 Tamás Herendi Uniform transformation of sequences
17:20-17:40    
18:30 Departure time to the optional wine-sampling from in front of the Hotel Crown Wine House can be found on the Eger wine district on the way leading to the thermal bath of Egerszalók, between the villages Kerecsend and Demjén.
19:00 Dinner in Eger or optional dinner in Crown Wine House
     
Wednesday, January 31, 2007
08:00-09:00 Breakfast
09:00-09:30 Invited talk
Zoltán Porkoláb
C++ Template Metaprogramming - Why, When and How?
09:30-10:00 Invited talk
Gábor Kusper
Requirement Analyses and a Database Model for the Project EGERFOOD Food Safety Knowledge Center
10:00-10:20 Coffee-break
"A" Section Computer Statistics
10:20-10:40 Hannelore Lisei,
Anna Soós
Approximation of solutions of SDE driven by multifractional Brownian motion
10:40-11:00 István Fazekas A functional central limit theorem for kernel type density estimators
11:00-11:20 Gyula Pap Open problems concerning multidimensional autoregressive processes and branching processes
11:20-11:40 Attila Kuki Teaching Experiences in Stochastic Modelling
11:40-12:00 E. Fülöp,
G. Pap
Local asymptotic normality of unstable HJM type interest rate model
12:00-12:20 János Sztrik,
Che Soong Kim
The role of performance tools in modeling complex systems
12:30-13:30 Lunch
15:00-15:20 Tibor Csáki Using symbol classification on multi-tape automata with symbol classes on rational kernel releated problems
15:20-15:40 István Pintér,
Iván Lajtai
RBF-MRAC neurocontroller for industrial applications
15:40-16:00 Miklós Lengyel,
János Sztrik
Diffserv investigations with Dummynet
16:00-16:20 Gábor Balázsfalvi,
János Sztrik
Modeling P2P protocols by cellular automata
16:20-16:40 Coffee-break
16:40-17:00 Tamás Bérczes,
János Sztrik
A queueing network model to study Proxy Cache Servers
17:00-17:20    
17:20-17:40    
"B" Section Software Design and Object Oriented Programming
10:20-10:40 Péter Takács,
Zsolt Kristóf
The investigation of the development of programming languages
10:40-11:00 Zoltán Juhász,
Ádam Sipos
Implementation of a Finite State Machine with Active Libraries
11:00-11:20 Cyril Dumont,
Fabrice Mourlin
Mobile Agent Framework for Parallel Computing: MAFPC
11:20-11:40 György Barna Iszály WAP APPLICATIONS OF THE LIBRARIES
11:40-12:00 Krisztián Pócza,
Mihály Biczó,
Zoltán Porkoláb
Runtime Access Control in C#
12:00-12:20 János Falucskai Some Algorithms Concerning Uniquely Decipherable Codes
12:30-13:30 Lunch
15:00-15:20 Norbert Pataki,
Tamás Kozsik,
Zoltán Porkoláb
Properties of C++ Template Metaprograms
15:20-15:40 Ákos Dávid,
Tamás Pozsgai,
László Kozma
On the granularity of components
15:40-16:00 Norbert Pataki,
Zoltán Porkoláb,
Edit Csizmás
Why Code Complexity Metrics Fail on the C++ Standard Template Library
16:00-16:20 Róbert Kitlei,
Gergely Dévai,
Ádám Balogh,
Zoltán Csörnyei
Comparative analysis of refactoring and code optimization
16:20-16:40 Coffee-break
16:40-17:00 Zalán Szűgyi,
Zoltan Porkoláb
SIP Compression in Mobile Device Environment
17:00-17:20 Tibor Ásványi Programming with Indirect Pointers
17:20-17:40 Zoltán Istenes,
Tamás Kozsik
Verified mobile components -- a case study
"C" Section Education and other fields of Applied Informatics
10:20-10:40 György Ferenc Tóth,
Zsolt Csaba Johanyák
Reform of the software engineering teaching - demands and conception
10:40-11:00 Zoltan Kátai "Who wants to be eminent?" - Assessment method and software
11:00-11:20 Malgorzata Zuberek The Grand Multidisciplinary Challenge and the Future of Academia
11:20-11:40 Sándor Buglyo Teaching the subject "Mathematics I." using the software MATLAB
11:40-12:00 Gábor Kiss Computer Science Education in Germany
12:00-12:20 Gyöngyi Bujdosó E-learning system for teaching word processing
12:30-13:30 Lunch
15:00-15:20 Mária K. Princz Search Engine Ranking
15:20-15:40 Gyöngyi Bujdosó Ontologies in e-courses
15:40-16:00 Miklós Herdon,
László Várallyai
NODES e-Learning Network Development
16:00-16:20 Zoltán Istenes,
Attila Pásztor
The Use of Programable Robots in the Education of Programming
16:20-16:40 Coffee-break
16:40-17:00 Márk Kósa,
János Pánovics
Search algorithms at ACM contests
17:00-17:20 Zita Bosnjak,
Sasa Bosnjak,
Ilija Subasić,
Peđa Matković
Evaluating Readiness for Distance Learning Implementation
17:20-17:40    
"D" Section Data Base Systems
10:20-10:40 László Kovács,
Zoltán Irházi
Developing an MRL security layer for relational databases
10:40-11:00 Lajos Kollár,
Krisztián Veréb
Enhancing content-based image retrieval
11:00-11:20 Béla Almási RDCONT - A System for Diabetes Blood Glucose Data Management
11:20-11:40 Antal Tátrai,
Balázs Dezső,
István Fekete
Increasing the performace of time-limited caches
11:40-12:00 Lajos Kollár,
Henrietta Sipos,
Krisztián Veréb
Object-relational EH databases
12:00-12:20 László Daragó Pixelisation technique in the health care 
12:30-13:30 Lunch
15:00-15:20 András Gábor TECHNIQUES FOR PAGINATION IN SQL
15:20-15:40 Zsolt Hernáth Container Model
15:40-16:00 Mátyás Arató,
Gábor Fazekas,
Lajos Kollár
Statistical measurement of software quality
16:00-16:20 Attila Adamkó,
Mátyás Arató,
Gábor Fazekas,
István Juhász
PERFORMANCE EVALUATION OF LARGE-SCALE DATA PROCESSING SYSTEMS
16:20-16:40 Coffee-break
16:40-17:00    
17:00-17:20    
17:20-17:40    
18:00-18:30 Closing ceremony
19:00 Dinner

» Top «