Udział z referatami na konferencjach naukowych w 2004 r.

Katedra Algorytmiki

  1. M. Bilski, O aproksymacji w geometrii analitycznej, XXV Konferencja szkoleniowa z geometrii analitycznej i algebraicznej zespolonej, Łódź, 5-9 stycznia 2004.
  2. M. Bilski, Local approximation of analytic sets, RAAG Meeting of Young Researchers, Perugia, Włochy, 5-10 września 2004, organizator: Real Algebraic and Analytic Geometry Network.
  3. B. Bosek, Variants of online chain partitioning problem of posets, Workshop on Computational Logic and Applications, Lyon, Francja, 17-18 czerwca 2004.
  4. P. Broniek, Real-time scheduling on bounded number of processors, Workshop on Computational Logic and Applications, Lyon, Francja, 17-18 czerwca 2004.
  5. P. Broniek, Scheduling on bounded number of processors, 18 Forum Informatyki Teoretycznej, Karpacz 16-18 kwietnia 2004.
  6. Cieślik, On-line coloring and cliques covering for Ks,t-free graph, 18 Forum Informatyki Teoretycznej, Karpacz 16-18 kwietnia 2004.
  7. T. Gorazd, J. Krzaczkowski, Solving equations over a two-element algebras, 67th Workshop on General Algebra, 26-28 marca 2004, Potsdam, Niemcy.
  8. P. Idziak, Solving polynomial equations over finite algebras, Workshop on Computational Logic and Applications, Lyon, Francja, 17-18 czerwca 2004.
  9. M. Kozik, Finite algebra with PSPACE-hard membership problem and at least exponential beta function, Logic Colloquium 2004, Turyn, Włochy, 25-31 lipca 2004.
  10. P. Micek, Lower Bound for the Adaptive Coloring Online Problem of Upgrowing Orders, Workshop on On-Line Algorithms 2004 (OLA 2004), Rungstedgaard in Rungsted Kyst, Denmark, July 5-7, 2004.

Katedra Informatyki Stosowanej

  1. A. Bielecki, A neural based agent for IP traffic scanning and worm detection, 7th International Conference on Artificial Intelligence and Soft Computing ICAISC 2004, Zakopane, Polska, 7-11 czerwca 2004.
  2. J. Jurek, Towards grammatical inferencing of GDPLL(k) grammars for applications in syntactic pattern recognition-based expert systems, 7th International Conference on Artificial Intelligence and Soft Computing ICAISC 2004, Zakopane, Polska, 7-11 czerwca 2004.

Katedra Metod Numerycznych

  1. M. Mrozek, Index pairs algorithms, Kyoto Dynamics Days, marzec 2004, Kyoto, Japonia.
  2. M. Mrozek, The method of Topological Sections in the Rigorous Numerics of Dynamical Systems, US-Japan Workshop on Dynamics and Computation, marzec 2004, Shonan Village, Japonia.
  3. M. Mrozek, Index pairs algorithms, International Workshop on Geometric Methods in Dynamical Systems, czerwiec 2004, Newark, Delaware, USA.
  4. M. Mrozek, The method of Topological Sections in the Rigorous  Numerics of Dynamical Systems, AIMS international conference on Dynamical Systems and Differential Equations, czerwiec 2004, Pomona, California, USA.
  5. P. Zgliczyński, Method of self-consistent bounds and computer assisted proofs for of Kuramoto-Sivashinsky PDE, SCAN-2004, 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 1.X-7.X.2004, Fukuoka, Japonia.

Katedra Optymalizacji i Sterowania

  1. Z. Denkowski, Hemivariational inequalities in thermoviscoelasticity, sesja Evolution problems and optimal control podczas The Fourth World Congress of Nonlinear Analysts WCNA-2004, Orlando, Florida, USA, June 30 - July 7, 2004.
  2. Z. Denkowski, A mathematical model for a contact problem in mechanics, 12th French-German-Spanish Conference on Optimization, Avignon, France, 20.09-24.09.2004.
  3. L. Gasiński, Nonlinear hemivariational inequalities with eigenvalues near zero, AIMS international conference on Dynamical Systems and Differential Equations, 16.06-19.06.2004, Pomona, California, USA.
  4. L. Gasiński, Evolution hemivariational inequality with hysteresis, The Fourth World Congress of Nonlinear Analysts WCNA-2004, Orlando, Florida, USA, June 30 - July 7, 2004.
  5. L. Gasiński, Evolution hemivariational inequality of wave-type with hysteresis, 12th French-German-Spanish Conference on Optimization, Avignon, France, 20.09-24.09.2004.
  6. S. Migórski, Modeling of fluid flows by Navier-Stokes hemivariational inequalities, Czwarte Sympozjum Analizy Nieliniowej, Łódź, 26 - 28 stycznia 2004.
  7. S. Migórski, Mathematical aspects of inverse problems for hemivariational inequalities, podczas minsymposium "Inverse Problems in Engineering Mechanics" organized by M. Tanaka and G. Maier podczas The Sixth World Congress on Computational Mechanics and Second Asian-Pacific Congress on Computational Mechanics, Beijing, China, September 5-10, 2004.
  8. S. Migórski, Dynamic hemivariational inequalities in contact mechanics, sesja Evolution problems and optimal control podczas The Fourth World Congress of Nonlinear Analysts WCNA-2004, Orlando, Florida, USA, June 30 - July 7, 2004.
  9. S. Migórski, Optimal control of a viscoelastic contact problem described by an evolution hemivariational inequality, The Third International Conference on Optimization and Control with Applications (OCA2004), Chongqing-Chengdu-Jiuzhaigou, Chongqing City and Sichuan Province, China, July 25-31, 2004.
  10. S. Migórski, Evolution contact problems of viscoelasticity via hemivariational inequalities, The International Conference on Mathematical Inequalities and their Applications, December 6-8, 2004, Victoria University, Melbourne, Australia.
  11. S. Migórski, Optimal control of viscoelastic contact problem involving slip dependent friction, The 6th International Conference on Optimization: Techniques and Applications (ICOTA), December 9-11, 2004, Ballarat, Victoria, Australia.

Katedra Systemów Rozproszonych

  1. I. Podolak, Discovering structure in geographical metadata (współautor: U. Demsar), Geoinformatics 2004 - Geoinformatics - Geospatial Information Research, June 7-9, 2004, University of Gavle, Stockholm, Sweden.
  2. R. Schaefer, Agent system for irregular parallel genetic computations, International Conference on Computational Science ICCS'2004, June 6-9, 2004, Kraków, współorganizator workshopu, chairman sesji.
  3. R. Schaefer, Simple and inverse problems in the nonlinear dynamic of the vessel walls, Zagadnienia odwrotne w mechanice materiałów i konstrukcji (Workshop on Inverse Problems), 9-11 December 2004, Janowice/Zakliczyn, Polska.
  4. R. Schaefer, Uncertain reasoning supported by the clustered genetic sample, TASC'04 Theory and Applications of Soft Computing, International Workshop, November 26, 2004, Warszawa, członek komitetu programowego.
  5. R. Schaefer, (1) Detailed evaluation of the schemata cardinality modification at the single evolution step, (2) Well-Tuned genetic algorithm and its advantage in detecting basins of attraction, VII Krajowa Konferencja KAEiOG'04, Algorytmy Ewolucyjne i Optymalizacja Globalna, 2004.0.24-26, Kazimierz Dolny, członek komitetu naukowego.

Zakład Humanistycznych Zastosowań Informatyki

  1. E. Grabska, Animation in art design, International Conference Design Computing and Cognition'04, 18-21 lipiec 2004, MIT, Boston, USA.
  2. K. Grzesiak-Kopeć, Emergent elements in periodic designs: an attempt at formalization, International Conference Design Computing and Cognition'04, 18-21 lipiec 2004, MIT, Boston, USA.
  3. H. Jakóbczak, Chaos games in color space, International Conference on Computer Vision and Graphics, 22-25 czerwca 2004, Warszawa.
  4. P. Nikodem, Representation and visualization of designs with the use of hierarchical graphs, International Conference on Computer Vision and Graphics, 22-25 czerwca 2004, Warszawa.
  5. D. Nowak, On using graph grammars and artificial evolution to simulate and visualize the growth process of plants, International Conference on Computer Vision and Graphics, 22-25 czerwca 2004, Warszawa.
  6. B. Strug, Graph transformations in evolutionary design, International Conference on Artificial Inteligence and Soft Computing, 7-11 czerwca 2004, Zakopane.
  7. B. Strug, Evolutionary approach to finding iterated function systems for a two dimensional image, International Conference on Computer Vision and Graphics, 22-25 czerwca 2004, Warszawa.
  8. G. Ślusarczyk, Hypergraphs in diagrammatic design, International Conference on Computer Vision and Graphics, 22-25 czerwca 2004, Warszawa.
  9. G. Ślusarczyk, Heuristic methods and hierarchical graph grammars in design, 3rd International Conference on Visual and Spatial Reasoning in Design, 22-25 lipiec 2004, MIT, Boston, USA.

Zakład Matematyki Dyskretnej

  1. W. Foryś, Retractions and retracts of free topological monoids, Journees Montoises d'Informatique Theorique, 8-11 September 2004, Liege, Belgia.
  2. W. Foryś, Combinatorial semigroup theory, automata, languages and symbolic dynamics, Discrete Mathematics Days, 3-5 October 2004, Zakopane, Polska.
  3. W. Moczurad, Some open problems in decidability of brick (labelled polyomino) codes, 10th International Computing and Combinatorics Conference Cocoon 2004, 16-20.08.2004 Jeju, Korea Południowa.
  4. W. Moczurad, Decidability of simple brick codes, Third Colloquium on Mathematics and Computer Science (Algorithms, Trees, Combinatorics and Probabilities), 13-17.09.2004, Wiedeń, Austria.

Zakład Podstaw Informatyki

  1. J. Kozik, Conditional densities of regular languages, Workshop on Computational Logic and Applications 2004, 17-18 czerwca 2004, Lyon, Francja.
  2. J. Kozik, Semantic extraction and transformation of distributed data in a business warehousing system, 4th Cracow Grid Workshop 2004, 12-15 grudnia 2004, Kraków, współautorzy: Maciej Zygmunt, Krzysztof Sowa-Pieklo, Jakub Sipowicz.
  3. G. Matecki, Asymptotic density for equivalence, Workshop on Computational Logic and Applications 2004, 17-18 czerwca 2004, Lyon, Francja.
  4. M. Moczurad, Decidability of simple brick codes, Third Colloquium on Mathematics and Computer Science (Algorithms, Trees, Combinatorics and Probabilities), 13-17.09.2004, Wiedeń, Austria.
  5. P. Waszkiewicz, A domain-theoretic metrization theorem, Workshop on Computational Logic and Applications 2004, 17-18 czerwca 2004, Lyon, Francja.
  6. P. Waszkiewicz, Computational models of Banach spaces, 2004 Summer Conference on Topology and its Applications, 5-9 lipca 2004, Cape Town, RPA.
  7. P.Waszkiewicz, Partial metrization of continuous domains, Dagstuhl Seminar no.04351: Spatial Representation: Discrete vs. Continuous Computational Models, 22 sierpnia - 7 września 2004, Dagstuhl, Niemcy.
  8. P. Waszkiewicz, Completeness and compactness of partially metrized domains, Workshop Domains VII, 29 sierpnia - 2 września 2004, Technische Universitaet Darmstadt, Niemcy.
  9. M. Zaionc, Asymptotyczne własności logik zdaniowych, konferencja "Logika i Filozofia Nauki", 29-30 października 2004, Ruciane-Nida, Polska [konferencja krajowa, wygłoszenie wykładu proszonego na konferencji].
  10. M. Zaionc, Lambda definability is decidable for regular forth order types, Workshop on Computational Logic and Applications 2004, 17-18 czerwca 2004, Lyon, Francja.