Conference of PhD Students in Computer Science című kiadvány cikkei

Vissza
Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Találatok száma: 99.

2004

List of participants.

Preliminary program.

Adamkó Attila: Web information systems engineering : problems and solutions : [abstract].

Adamkó Attila; Bornemissza Csaba: Planning and developing dynamic Web Sites in different platforms : [abstract].

Balogh András: Correctness-proven code generation for MDA : [abstract].

Balogh János; Csallner András Erik: A direct heuristic local search method : numerical results and an application : [abstract].

Balogh János; Tóth Boglárka: Numerical methods and experiments of global optimization problems on Stiefel manifolds : [abstract].

Balázs Gábor; Végső Balázs: Properties of an intelligent cardiovascular monitoring system : [abstract].

Balázs Péter; Kuba Attila: Reconstruction of discrete sets from four projections : decomposable cases : [abstract].

Benczúr András; Kósa Balázs: Static analysis and optimization questions of structural recursions in semistructured databases : [abstract].

Bogárdi-Mészöly Ágnes: Portal building techniques : trade-offs and design : [abstract].

Bornemissza Csaba: Building dynamic web applications in the microsoft .NET framework using a pure model view controller pattern : [abstract].

Bánhelyi Balázs: A verified computational technique to locate chaotic regions of a Hénon system : [abstract].

Bátori Gábor; Asztalos Domonkos: Testing aspect in model driven software development : [abstract].

Bátori Gábor; Viet Dung Le; Wu-Hen-Chang Antal; Csopaki Gyula: Test data optimization method for TTCN-3 : [abstract].

Búza Antal: The different effects of the database update during the long execution of continuous queries : [abstract].

Csendes Tibor: Preface.

Domokos Péter; Majzik István: Dependability modeling of fault-tolerant systems using aspect-oriented modeling techniques : [abstract].

Dulai Tibor: Non-cooperative games for self-adaptive telecommunication protocols : [abstract].

Egri-Nagy Attila; Nehaniv Chrystopher L.; Dömösi Pál: Holonomy decomposition of finite state automata : [abstract].

Erdőhelyi Balázs; Ollé Krisztián; Varga Endre; Kuba Attila: Preparing surgical operation plans for finite element analysis using the MedEdit system : [abstract].

Espák Miklós: Innovative uses of programming constructs supporting aspect-oriented programming : [abstract].

Farkas Péter; Charaf Hassan: Semantic web services in .NET aspect : [abstract].

Fazekas Mária: Time series models on medical research : [abstract].

Fényes Gábor: MDA scalability : [abstract].

Gazdag Zsolt: Shape preserving bottom-up tree transducers : [abstract].

Gera Zsolt; Dombi József: The analytical approximation of the nilpotent operators and its applications : [abstract].

Gergely Tamás: Optimization methods for compression in compiler programs : [abstract].

Gosztolya Gábor; Kocsor András: A hierarchical evaluation methodology in speech recognition : [abstract].

Gyapay Szilvia: Model based optimization and verification of IT systems : [abstract].

Gábor András: Benchmarking advanced features in database systems : [abstract].

Gémesi Roland; Zömbik László: Security analysis of sensor networks : [abstract].

Gönczy László: Building complex systems of web services : [abstract].

Havasi Ferenc: Increasing compression performance of block based file systems : [abstract].

Hernyák Zoltán; Horváth Zoltán; Zsók Viktória: Control language for distributed clean : [abstract].

Horváth Gábor: Teleonics as a framework for business modelling and IT system design : [abstract].

Horváth Zoltán; Kozsik Tamás; Tejfel Máté: Extending the Sparkle Core language with object : [abstract].

Hócza András: Shallow parsing for information extraction : [abstract].

Jaskó Szilárd: A new mathematical formalism for the TTCN 3 core language : [abstract].

Jişa Dan Laurenţiu: A formal approach for clustering classes in software components : [abstract].

Juhos István: Integer merge model representation of the graph colouring problem : [abstract].

Katsányi István: On restricted insertion-deletion systems : [abstract].

Keszei Csaba: Analytical comparison of the IP mobility protocols : [abstract].

Kincses Zoltán: On avoidance of attacks against the PIN error counter of smart cards : [abstract].

Kis Piroska B.; Mihálykó Csaba: Investigation of the asymptotic behaviour of a closed-circuit grinding system : [abstract].

Kiss Zoltán; Rodek Lajos; Ruskó László; Kuba Attila; Balaskó Márton: Preprocessing and discrete tomographic reconstruction in neutron radiography : [abstract].

Kiss Ákos: Comparison on static slicing of C and binary programs : [abstract].

Kosztyán Zsolt Tibor; Bencsik Andrea: Handling the uncertainty in resource managment : [abstract].

Kovács Kornél; Kocsor András: Classification using sparse combination of base functions : [abstract].

Kovásznai Gergely: Unification for effective and finite semantic tableaux in first-order logic : the SOFIA prover : [abstract].

Kozma Péter: Seismic wave propagation modelling on emulated digital CNN-UM architecture : [abstract].

Krasznahorkay Ilona: Stochastic search on decision trees : [abstract].

Kurucz Gábor; Lója Krisztina: Routing protocols : [abstract].

Kusper Gábor; Kusper Krisztián: Effective implementation of hyper-unit propagation on FPGA and PC : [abstract].

Kálmán Miklós; Havasi Ferenc: Compacting XML documents : [abstract].

Kántor Róbert; Sipos Sándor; Imre Sándor; Rózsás Balázs: On the capacity of IP micromobility domains : [abstract].

Kárász Péter: M/G/1 queuing system with two types of vacation : [abstract].

Lengyel László; Levendovszky Tihamér; Charaf Hassan: Metamodel-based modeling and model transformation framework supporting inheritance and constrants : [abstract].

Marien Szabolcs: Automated excavation and detection of design patterns : [abstract].

Marossy Kálmán: PIC : a peer-to-peer protocol for mobile devices : [abstract].

Muhi Dániel: Pedagogical considerations in an e-learning framework : [abstract].

Mátrai Rita; Kosztyán Zsolt Tibor; Sik-Lányi Cecília: Efficiency test of multilingual and expandable multimedia software "dyslearning" developed for improving reading skills : [abstract].

Nagy Antal; Kuba Attila: Reconstruction of 2D binary objects from a few fan-beam projections : [abstract].

Nagy Benedek; Fazekas Szilárd: Primitive words and permutations : [abstract].

Ollé Krisztián; Erdőhelyi Balázs; Varga Endre; Bekes György; Maróti Krisztina; Kuba Attila: Computer assisted image processing and navigation system for orthopedic-trauma surgery : [abstract].

Paczolay Dénes; Felföldi László; Kocsor András: Classifier combination schemes in speech impediment therapy systems : [abstract].

Palugyai Sándor; Csorba Máté J.: Real-time optimization of access control lists : [abstract].

Papp Ágnes: UML2 and model-driven development : [abstract].

Pintér Gergely: Abstract model-based checkpoint and recovery : [abstract].

Páll Attila; Szabó Julianna; Sik-Lányi Cecília; Pataky Ilona: Creation of the database and the main menu of the cognitive computer aided therapy software : [abstract].

Póta Szabolcs; Kosztyán Zsolt Tibor: Optimal deterministic and stochastic resource allocation in a distributed system : [abstract].

Raicu Gabriel: Modelling container distribution with fuzzy logic : [abstract].

Rodek Lajos; Kiss Zoltán; Kuba Attila: Reconstruction of 3D objects containing spheres and cylinders from a few projections : [abstract].

Schmidt Ákos: Model checking of visual modeling languages : [abstract].

Scărlătescu Raluca Oana: Generic functions : [abstract].

Siket István; Sey Gábor; Bilicki Vilmos: Signaling compression : [abstract].

Sillye Ádám; Porkoláb Zoltán: Uniform computation of complexity metrics in the .NET platform : [abstract].

Steinby Paula: On continuity preserving weighted finite transducers : [abstract].

Stikkel Gábor: Dynamic model for the system testing process : [abstract].

Surányi Szabolcs: Algebraic studies of giant chromosomes in genus Chironomus : [abstract].

Szabó Julianna; Páll Attila; Sik-Lányi Cecília; Pataky Ilona: Creation of the tasks of the cognitive computer aided therapy software : [abstract].

Szabó Péter Gábor: Packing equal circles in a square : bounds, minimal polynomials and classification : [abstract].

Szabó Richárd: Combining metric and topological navigation of simulated robots : [abstract].

Szabó-Nacsa Rozália; Diviánszky Péter; Horváth Zoltán: Prototype environment for refactoring clean programs : [abstract].

Szathmáry László: Mining interactions in bibliographical data with domain ontologies : [abstract].

Szegedi Attila; Gyimóthy Tibor: Dynamic slicing of programs compiled for the Java virtual machine : [abstract].

Székely István: Graphical web application development environment : [abstract].

Szörényi Balázs; Turán György: Decision trees and disjoint covers : [abstract].

Szőke Ákos: Quality driven software development : [abstract].

Tornai Róbert: Multiplatform software developing in connection with the ASF Creator and SAT programs : [abstract].

Tóth Boglárka; Fernández José; Plastria Frank; Pelegrín Blas: On solving a Huff-type facility location and design problem : [abstract].

Umenhoffer Tamás; Tilinger Ádám; Sik-Lányi Cecília: Designing and creating a 3D display software : [abstract].

Umenhoffer Tamás; Tilinger Ádám; Sik-Lányi Cecília: Developing applications for testing left-handed people in virtual environments : [abstract].

Vaik Zsuzsanna: Schedule on parallel machines in the case of individual machine-set : [abstract].

Varró Gergely: Incremental graph transformation in relational databases : [abstract].

Vidács László: Building the instances of columbus schema for C/C++ preprocessing : [abstract].

Vinkó Tamás: Reliable global optimization on atom clusters : [abstract].

Zólyomi István; Porkoláb Zoltán: Family polymorphism in JAVA : [abstract].

Zömbik László: Revealing of location in IP mobility networks : [abstract].

A lista elkészítésének dátuma 2024. május 7. 02:15:50 CEST.