Informacje ogólne  Aktualności  Pracownicy  Projekty badawcze  Rada Naukowa   Konferencje   Seminaria   Publikacje   Biblioteka   Wydawnictwo  Usługi lokalne 
Publikacje pracowników \ 2004 Mapa serwisu  

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

 

Publikacje

Informacje ogólne

 




Strony Wydawnictw:



IPI PAN
Dział Wydawniczy

Springer-Verlag

IEEE Publications

IOS Press

Slavica Publishers

Kluwer OnLine

Cambridge
University Press
2004

Publikacje pracowników IPI PAN w 2004 r.

Objaśnienia:
nazwiska wyróżnione - osoby, których afiliacją w podanych publikacjach jest IPI PAN


  1. Adamus R., Subieta K.: Security Management Through Overloading Views ODBASE 2004, On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part II, Lecture Notes in Computer Science (LNCS 3291), ISBN 3-540-23662-7, Springer 2004, pp. 823-839
  2. Ambroszkiewicz S., Bartyna W., Faderewski M., Jakubowski S., Kocieliński D., Mikułowski D., Terlikowski G.: Blind-enT: Making Objects Visible for Blind People. Prace IPI PAN, Nr 975
  3. Ambroszkiewicz S.: Entish: A Language for Describing Data Processing in Open Distributed Systems Fundamenta Informaticae Volume 60, Number 1-4, April 2004, ISO Press, pp.41-66
  4. Ambroszkiewicz S.: Object Oriented Approach to Representing Geo-Spatial Data. In Proc. CONCURRENCY SPECIFICATION AND PROGRAMMING CS&P 2004 Caputh (nearby Potsdam), Germany, 24-26 September, 2004
  5. Andrews R., Bajcar S., Grzymała-Busse J. W., Hippe Z. S., Whiteley C.: Optimization of the ABCD formula for melanoma diagnosis using C4.5, a data mining system. Proceedings of the RSCTC 2004, the Fourth International Conference on Rough Sets and Current Trends in Computing, Uppsala, Sweden, June 1-5, 2004. Lecture Notes in Artificial Intelligence 3066, Springer-Verlag 2004, pp. 630-636
  6. Avron A., Konikowska B.: Multi-valued Calculi for Logics Based on Non-determinism, 2004. Złożona jako zaproszona praca do Proceedings COS'04 w Wiedniu
  7. Avron A., Konikowska B.: Proof Systems for Logics Based on Non-Deterministic Multiple Valued Structures Prace IPI No 976. 2004
  8. Bali G. Ch., Czerski D., Kłopotek M. A., Matuszewski A.: Details that count for a data-mining problem concerned with the survey sample multi-response questions. Wartifical Inteligence Studies Vol 1(23)/2004, 1(22)/2004, Special Issue, Publishing House of University of Podlasie, 2004, pp. 5-12
  9. Bednarczyk M. A., Bernardinello L., Pawłowski W., Pomello L.: Modelling mobility with Petri hypernets. In J.L. Fiadeiro, P. D. Mosses, F. Orejas, (eds), Recent Trends in Algebraic Development Techniques, 17th WADT 2004, Barcelona, Spain, March 27-30, 2004, Revised Selected Papers. LNCS 3423, Springer-Verlag, 2004, pp. 28-44
  10. Bednarczyk M. A.: Strong homomorphisms solve important code problems for traces, manuskrypt, 17 str
  11. Bednarczyk M. A.: Trace monoids - a characterisation, zgłoszone do IPL, manuskrypt, 8 str
  12. Bolc L., Cytowski J.: Inteligentne algorytmy przeszukiwania. Przeszukiwanie dużych przestrzeni. Elektronika-Konstrukcje, technologie, zastosowania 5/2004, pp. 12-14, maj 2004
  13. Bolc L., Cytowski J.: Inteligentne strategie przeszukiwania informacji. Monografia, w przygotowaniu, dla Wydawnictwa PJWSTK (Warszawa) i Springer-Verlag (Heidelberg)
  14. Bolc L., Cytowski J.: Inteligentne strategie przeszukiwania w programach szachowych. Przyjęte do druku w Elektronika-Konstrukcje, technologie, zastosowania
  15. Borzyszkowski A., Darondeau Ph.: Transition systems without transitions, przyjęte do TCS, 2004
  16. Borzyszkowski A.: A note on coherent orthomodular posets, Prace IPIPAN, nr 981, 2004
  17. Borzyszkowski A.: Algebraic structures to study distributed systems, raport wewnętrzny, 2004
  18. Borzyszkowski A.: Representing filters in powersets with application to sharing a cryptographic key, kolejna wersja pracy złożonej do IPL, 2004
  19. Borzyszkowski T., Pawłowski W.: Infinitary logic and the interpolation for CASL, manuskrypt
  20. Bouvry P., Seredyński F., Zomaya A.Y.: Application of Cellular Automata for Cryptography, Parallel Processing and Applied Mathematics, Springer, LNCS 3019, pp. 447-454, 2004
  21. Bry F., Drabent W., Małuszyński J.: On Subtyping of Tree-structured Data: A Polynomial Approach W: Principles and Practice of Semantic Web Reasoning, Second International Workshop, PPSWR 2004, Proceedings, Ohlbach H.J., Schaffert S. (eds.), Springer LNCS 3208, pp. 1-18, 2004
  22. Brzeziński J., Dunin-Keplicz P., Dunin-Kęplicz B.: Collectively Cognitive Agents in Cooperative Teams. W: Proccedings of ESAW 2004, Tuluza, 2004. Ukaże się w LNAI, 2005
  23. Bylka S., Rempała R.: Heuristics for impulse replenishment with continuous periodical demand, International Journal of Production Economics 88, 2004, pp. 183-190
  24. Bylka S., Rempała R.: On a production-distribution problem, raport, oddany do druku w International Journal of Production Economics
  25. Bylka S., Xiao-Dong Zhang.: Disjoint triangles of a cubic line graphs, Graphs and Combinatorics 20, 2004, pp. 275-280
  26. Bylka S.: Competitive policies for a production-distribution system, raport IPI PAN, 2004, praca przedstawiona na konferencji GTME 2004
  27. Ciesielski K., Dramiński M., Kłopotek M. A., Kujawiak M., Wierzchoń S. T.: Architecture for graphical maps of Web contents. Prezentowana na sympozjum WISIS 2004, Warszawa, maj 2004 (w druku)
  28. Ciesielski K., Dramiński M., Kłopotek M. A., Kujawiak M., Wierzchoń S. T.: Architecture for graphical maps of Web contents - WISIS 2004, EXIT 2004
  29. Ciesielski K., Dramiński M., Kłopotek M. A., Kujawiak M., Wierzchoń S. T.: Clustering medical and biomedical texts - document map based approach - prezentowana na konferencji SIIB 2004, Kraków, październik 2004
  30. Ciesielski K., Dramiński M., Kłopotek M. A., Kujawiak M., Wierzchoń S. T.: Mapping document collections in non-standard geometries. W: B.De Beats, R.De Caluwe, G.de Tre, J.Fodor, J.Kacprzyk, S.Zadrożny (eds): Current Issues in Data and Knowledge Engineering Akademicka Oficyna Wydawnicza EXIT Warszawa 2004, pp. 122-132
  31. Ciesielski K., Dramiński M., Kłopotek M. A., Kujawiak M., Wierzchoń S. T.: Clustering medical and biomedical texts - document map based approach. W: Materiały Konferencji Sztuczna Inteligencja w Inżynierii Biomedycznej SIIB'04, 19.10.2004, Kraków. ISBN-83-919051-5-2
  32. Ciesielski K.: Formation and Conservative Reconfiguration of Multi-Agent Coalitions using Clustering Methods, W: Materiały konferencji AI-19'2004, Siedlce, wrzesień 2004 (w druku)
  33. Ciok A.: Asymmetry and the inverse concentration set. In: Kowalczyk T., Pleszczyńska E., Ruland F. (Eds): Grade Models and Methods for Data Analysis: With Applications for the Analysis of Data Population. Studies in Fuzziness and Soft Computing, vol. 151, Springer-Verlag, Berlin Heidelberg New York, 2004, pp. 139-166
  34. Ciok A.: Cluster analysis based on GCA. In: Kowalczyk T., Pleszczyńska E., Ruland F. (Eds): Grade Models and Methods for Data Analysis: With Applications for the Analysis of Data Population. Studies in Fuzziness and Soft Computing, vol. 151, Springer-Verlag, Berlin Heidelberg New York, 2004, pp. 297-324
  35. Ciok A.: Discretization and regularity. In: Kowalczyk T., Pleszczyńska E., Ruland F. (Eds): Grade Models and Methods for Data Analysis: With Applications for the Analysis of Data Population. Studies in Fuzziness and Soft Computing, vol. 151, Springer-Verlag, Berlin Heidelberg New York, 2004, pp. 167-184
  36. Ciok A.: On the number of clusters - a grade approach, Instytut Podstaw Informatyki PAN, Warszawa, ISBN 83-910948-9-8, 2004, pp. 1-59
  37. Ciok A.: Regularity and the number of clusters. In: Kowalczyk T., Pleszczyńska E., Ruland F. (Eds): Grade Models and Methods for Data Analysis: With Applications for the Analysis of Data Population. Studies in Fuzziness and Soft Computing, vol. 151, Springer-Verlag, Berlin Heidelberg New York, 2004, pp. 325-338
  38. Ciok A.: Zastosowanie metod gradacyjnych analizy danych w identyfikacji struktur wydatków polskich gospodarstw domowych, Wiadomości Statystyczne, 2004, pp. 12-21
  39. Cirstea H., Coquery E., Drabent W., Fages F., Kirchner C., Małuszyński J., Wack B.: Types for Web Rule Languages: a preliminary study, 2004. "Deliverable" sieci doskonałości REWERSE, http://rewerse.net/deliverables/i3-d2.pdf iii+33 strony
  40. Cytowski J., Gielecki J., Gola A.: Przetwarzanie obrazów biomedycznych z wykorzystaniem algorytmów sztucznej inteligencji. Maszynopis
  41. Danoy G., Bouvry P., Seredyński F.: Agent-based optimization of business functions using coevolutionary algorithms: the distributed warehouse management case study, Proceedings of AISTA 2004 Conference, 15-18 November, Kirchberg-Luxembourg, 2004 (on CD)
  42. Danoy G., Bouvry P., Seredyński F.: Agent-based optimization of business functions using coevolutionary algorithms, Proceedings of the International Conference on Information and Knowledge Engineering, Las Vegas, Nevada, USA, June 21-24, 2004, CSREA Press, pp. 109-112, 2004
  43. Dębowski Ł.: (2004). Trigram morphosyntactic tagger for Polish. W: Proceedings of New Trends in Intelligent Information Processing and Web Mining, Zakopane 2004, Springer, pp. 409-413
  44. Dębowski Ł.: Entropic Subextensivity in Language and Learning. W: C. Tsallis, M. Gell-Mann, eds., Nonextensive Entropy--Interdisciplinary Applications. Oxford University Press, 2004, pp. 335-345
  45. Dębowski Ł.: O sumie autokorelacji dla procesu stacjonarnego o bezwzględnie sumowalnej funkcji częściowej autokorelacji. W: VIII Konferencja z Probabilistyki. Będlewo 2004. Materiały konferencyjne, pp. 21-22
  46. Dębowski Ł.: On the sum of autocorrelations of a process with absolutely summable partial autocorrelations. W: Proceedings of the 6th World Congress of the Bernoulli Society, Barcelona, 26-31 July 2004, pp. 88-89
  47. Drabent W., Miłkowska M.: Proving Correctness and Completeness of Normal Programs - a Declarative Approach. 2004. Rozszerzona wersja pracy rozliczanej w r. 2002, wstępnie przyjęta do Theory and Practice of Logic Programming
  48. Dramiński M., ADX Algorithm: a brief description of a rule based classifier", Intelligent Information Processing and Web Mining, Proceedings of the International IIS:IIPWM´04 Conference held in Zakopane, Poland, May 17-20, 2004 Kłopotek Mieczysław A.; Wierzchoń Sławomir T.; Trojanowski Krzysztof (Eds.) 2004, ISBN: 3-540-21331-7
  49. Dramiński M., Ciesielski K., Kłopotek M. A., Kujawiak M., Wierzchoń S. T. Mapping document collections in non-standard geometries EUROFUSE 2004, B.De Baets, R.De Caluwe, G.De Tré, J.Fodor, J.Kacprzyk, S.Zadrożny (Eds.), Exit 2004
  50. Dramiński M., Koronacki J., Ćwik J., Komorowski J.: Monte Carlo gene screening for supervised classification, w: EUROFUSE 2004, De Baets B., De Caluwe R., De Tré G., Fodor J., Kacprzyk J., Zadrozny S. (wyd.), Exit 2004
  51. Dramiński M.: Description and practical application of rule based classifier ADX - WISIS-2004, Warszawa, EXIT 2004
  52. Dunin-Kęplicz B., Verbrugge R.: Creating common beliefs in rescue situations. W: B.Dunin-Keplicz, A.Jankowski, A.Skowron, M.Szczuka (Eds) Monitoring, Security, and Rescue Techniques in Multiagent Systems. Ukaże się w Springer Verlag w serii "Advances in Soft Computing", pp. 69-85, 2004. (zaproszony wykład) Przyjęta do prezentacji na konferencji EUMAS 2004 w Barcelonie, grudzień 2004
  53. Dunin-Kęplicz B., Verbrugge R.: Dynamics of collective attitudes during teamwork. W: A.Omicini, P.Petta, J.Pitt (Eds), Engineering Societes in the Agents World: 4th International Workshop, ESAW 2003, LNAI 3071, pp. 107-122, 2004
  54. Dunin-Kęplicz B., Verbrugge R.: Tuning machine for Cooperative Problem Solving. W: Fundamenta Informaticae 63 (2-3), pp. 283-307, 2004
  55. Frydler M., Mokrzycki W. S.: Concept of generation od 3D multiview exact model of nonconvex polyhedron. Opracowanie zgłoszone na konferencję: Advanced Concepts for Intelligent Vision Systems. Bruksela, 31 Aug.-3 Sept. 2004
  56. Frydler M., Mokrzycki W. S.: Generating multi-view polyhedron representation by scanning normal vector surrounding. Opracowanie zgłoszone do publikacji w Computer Vision & Image Understanding
  57. Frydler M., Mokrzycki W. S.: New results in 3D views of polyhedron generation on view sphere with perspective. Proc. Workshop in conj. With European Conf. On Computer Vision 2004, Prague, May 16, 2004
  58. Frydler M., Mokrzycki W. S.: New, fast algorithm of 3 D multiview polyhedron representation generation on view sphere with perspective. Proc. Advance Computer Systems 2004, Ełk, 14-16 2004
  59. Gajc K., Seredyński F.: Location Management in Mobile Networks with use of Cellular Automata, International Workshop on Intelligent Media Technology for Communicative Intelligence (Warsaw IMTCI), Warsaw, Poland, September 2004, PJIIT-Publishing House, pp. 64-67, 2004
  60. Grzymała-Busse J. W., Hamilton J., Hippe Z.S.: Diagnosis of melanoma using IRIM, a data mining system. Proceedings of the ICAISC 2004, the Seventh International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, June 7-11, 2004. Lecture Notes in Artificial Intelligence 3070, Springer-Verlag 2004, pp. 996-1001
  61. Grzymała-Busse J. W., Kostek B., Świniarski R., Szczuka M.: (Editors-in Chief of a special I volume) Transaction on Rough Sets I. In (Editors-in-Chief J.Peters, A.Skowron), Lecture Notes in Computer Sciences on Rough Sets, 3100, Springer, Berlin, New York, 2004, pp. 1-404
  62. Grzymała-Busse J. W., Siddhaye S.: Rough set approaches to rule induction from incomplete data. Proceedings of the IPMU 2004, the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Perugia, Italy, July 4-9, 2004, vol. 2, pp. 923-930
  63. Grzymała-Busse J. W., Stefanowski J., Wilk S.: A comparison of two approaches to data mining from imbalanced data. Proceedings of the KES 2004, 8-th International Conference on Knowledge-based Intelligent Information & Engineering Systems, Wellington, New Zealand, September 20-24, 2004. Part I, Lecture Notes in AI, vol. 3213, Springer Verlag, Berlin-Heidelberg, 2004, pp. 757-763
  64. Grzymała-Busse J. W.: Characteristic relations for incomplete data: A generalization of the indiscernibility relation. Proceedings of the RSCTC 2004, the Fourth International Conference on Rough Sets and Current Trends in Computing, Uppsala, Sweden, June 1-5, 2004. Lecture Notes in Artificial Intelligence 3066, Springer-Verlag 2004, pp. 244-253
  65. Grzymała-Busse J. W.: Data with missing attribute values: Generalization of idiscernibility relation and rule induction. Transactions on Rough Sets, Lecture Notes in Computer Science Journal Subline, Springer-Verlag, vol. 1 (2004), pp. 78-95
  66. Grzymała-Busse J. W.: Rough set approach to incomplete data. Proceedings of the ICAISC 2004, the Seventh International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, June 7-11, 2004. Lecture Notes in Artificial Intelligence 3070, Springer-Verlag 2004, pp. 50-55
  67. Grzymała-Busse J. W.: Three approaches to missing attribute values-A rough set perspective. Proceedings of the Workshop on Foundation of Data Mining, associated with the Fourth IEEE International Conference on Data Mining, Brighton, UK, November 1-4, 2004
  68. Habela P., Kaczmarski K., Kozankiewicz H., Lentner M., Stencel K., Subieta K.: Data-Intensive Grid Computing Based on Updatable Views, ICS PAS Report 974, June 2004
  69. Hajnicz E.: Wybrane własności osadzeń i weryfikowanych przez nie struktur w Teorii Reprezentacji Dyskursu. Raport IPI PAN nr 980, październik 2004. Hajnicz E.: Embeddings vs. assignments: remarks on Discourse Representation Theory. Wysłane do Journal of Logic, Language and Information
  70. Idzik A., Junosza-Szaniawski K.: Combinatorial lemmas for oriented complexes, raport IPI PAN
  71. Idzik A., Karczewski R.: Algorytmy oceny wariantów działań logistycznych metodami optymalizacji, raport IPI PAN
  72. Idzik A., Zambrzycki P.: Borsuk-Ulam type theorems III, raport IPI PAN
  73. Jodłowski A., Habela P., Płodzień J., Subieta K.: Dynamic Object Roles - Adjusting the Notion for Flexible Modeling Proc. of the International Database Engineering and Application Symposium (IDEAS), IEEE Computer Society, Coimbra, Portugal, 2004, pp. 449-456
  74. Jodłowski A., Płodzień J., Stemposz E., Subieta K.: Role-Specific Operators in the SBQL Query Language Proc. of the Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'04), 2004
  75. Johnson R. W., Melich M., Michalewicz Z., Schmidt M., Wagner N.: Coevolutionary Approach for Strategic Decision Support, Proceedings of the 7th Asia-Pacific Conference on Complex Systems (Complex 2004), Cairns, Australia, December 6-10, 2004
  76. Johnson R. W., Melich M., Michalewicz Z., Schmidt M.: Coevolutionary Processes for Strategic Decisions, Proceedings of the International Workshop on Monitoring, Security, and Rescue Tasks in Multi-Agent Systems (MSRAS 2004), Płock, Poland, June 7-9, 2004
  77. Johnson R. W., Melich M., Michalewicz Z., Schmidt M.: Coevolutionary "TEMPO" Game, Proceedings of the 2004 Congress on Evolutionary Computation (CEC2004), Portland, June 19-23, 2004
  78. Juda-Rezler K., Matuszewski A.: Critical levels of sulphur dioxide in Poland and their exceedances, Enviromental Engineering Studies, edited by Pawloski et.al., Kluver Academic/Plenum publishers, New York, 2003, pp. 23-32
  79. Kacprzak M., Lomuscio A., Penczek W.: From bounded to unbounded model checking for temporal epistemic logic, Fundamenta Informaticae, pp. 221-240, Volume 63, Numbers 2-3, 2004
  80. Kacprzak M., Lomuscio A., Penczek W.: Verification of multiagent systems via unbounded model checking, Proc. of AAMAS'04, pp. 638-645, 2004, Editors: N.R.Jennings, C.Sierra, L.Sonenberg and M.Tambe
  81. Kacprzak M., Penczek W.: A SAT-based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic, (to appear in) Knowledge, Rationality and Action, Kluwer, 2004
  82. Kacprzak M., Penczek W.: Model Checking for Alternating-Time mi-Calculus via Translation to SAT, Proc. of CSP'04, 2004
  83. Kacprzak M., Penczek W.: Unbounded Model Checking for Alternating-Time Temporal Logic, Proc. of AAMAS'04, pp. 646-653, 2004, Editors: N.R.Jennings, C.Sierra, L.Sonenberg and M.Tambe
  84. Kaczmarski K., Habela P., Subieta K.: Metadata in a Data Grid Construction Workshop on Emerging Technologies for Next generation GRID (ETNGRID-2004), 13th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2004), University of Modena and Reggio Emilia, Italy, June 14-16, 2004, Proceedings published by IEEE
  85. Kłopotek M.A., Dzierżanowski A., Brzózka M., Kujawiak M.: Procesy decyzyjne w aktywnym wyszukiwaniu informacji w Internecie - uczenie i wnioskowanie w robotach internetowych. A. Wakulicz-Deja ed.: "Systemy wspomagania decyzji", Proc. Zakopane, 8-10.12.2003. Wyd. II UŚ. Sosnowiec 2004, pp. 46-53, ISBN-83-920730-1-9
  86. Kłopotek M.A., Fronczek M.: Wyszukiwarka z nawigacją po statycznej mapie dokumentów. Zeszyty Naukowe AP - Studia Informatica. Technologie i Systemy Informacyjne, Nr3, 2004, pp. 33-48
  87. Kłopotek M.A., Kiesner T.: Metoda konstrukcji sieci semantycznej. Zeszyty Naukowe AP - Studia Informatica. Technologie i Systemy Informacyjne, Nr 2, 2004, pp. 5-30
  88. Kłopotek M.A., Kujawiak M.: Inteligentna nawigacja dla dynamicznych map dokumentów. Zeszyty Naukowe AP - Studia Informatica. Technologie i Systemy Informacyjne, Nr 3, 2004, pp. 13-32
  89. Kłopotek M.A., Osipowicz J.: Rekomendacja dokumentów w oparciu o zmodyfikowaną miarę PageRnk. Zeszyty Naukowe AP - Studia Informatica. Technologie i Systemy Informacyjne, Nr 2, 2004 , pp. 31-50
  90. Kłopotek M.A., Paliwoda M.: Badania algorytmów uczących się drzew decyzyjnych. Materiały z konferencji XV Forum Informatyki Teoretycznej Wydawnictwo Politechniki Białostockiej, Białystok 2004, ISBN 83-88229-58-3, pp. 75-91
  91. Kłopotek M.A., Paliwoda M.: Badania metod dyskretyzacji stosowanych w drążeniu baz danych. Materiały z konferencji XV Forum Informatyki Teoretycznej Wydawnictwo Politechniki Białostockiej, Białystok 2004, ISBN 83-88229-58-3, pp. 92-110
  92. Kłopotek M.A., Sydow M.: Towards a More Realistic Web Graph Model. W Intelligent Information Processing and Web Mining. Advances in Soft Computing. Springer Verlag New York 2004, ISN-3-540-21331-7, pp. 321-330
  93. Kłopotek M.A., Tchórzewski J.: (eds.) Artificial Intelligence Studies Vol 1(23)/2004, 1(22)/2004, Special Issue, Publishing House of University of Podlasie, 2004
  94. Kłopotek M.A., Wierzchoń S. T., Dramiński M., Ciesielski K., Kujawiak M.: Mining document maps Proc. W1 - Statistical Approaches to Web Mining (SAWM) of PKDD'04, M.Gori, M.Celi, M.Nanni eds., Pisa, Italy, September 20-24, 2004, pp. 87-98
  95. Kłopotek M.A., Wierzchoń S.T., Dramiński M., Ciesielski K., Kujawiak M.: Mining document maps - prezentowana na warsztatach SAWM 2004, odbywających się w ramach konferencji ECML/PKDD-2004, Piza, Włochy, wrzesień 2004
  96. Kłopotek M.A., Wierzchoń S.T., Trojanowski K.: (eds): Intelligent Information Processing and Web Mining. Advances in Soft Computing. Springer Verlag, Heidelberg New York 2004. ISBN-3-540-21331-7
  97. Kłopotek M.A.: Document maps. Abstract. Electronic Journal of Pathology and Histology, issue 10.2 October 2004 (2nd International Conference on Telemedicine and Multimedia Communication, 08-10.10.2004 - invited lecture)
  98. Kłopotek M.A.: Dynamiczne i statyczne mapy w inteligentnej nawigacji w zbiorach dokumentów. W.Abramowicz, A.Nowicki, M.Owoc, eds.: "Zarządzanie wiedzą w systemach informacyjnych", rozdz. 14, pp. 275-304, Wyd. Akademii Ekonomicznej we Wrocławiu, Wrocław 2004, ISBN 83-7011-722-8
  99. Kłopotek M.A.: Impact of Structuring on Bayesian Network Learning and Reasoning. W: P.Grzegorzewski, M.Krawczak, S.Zadrożny eds.: Soft Computing Tools, Techniques and Applications. Akademicka Oficyna Wydawnicza EXIT, Warszawa, 2004, pp.77-118
  100. Kłopotek M.A.: On a Special Class of Dempster-Shafer Theories. W: L.Rutkowski et al. (Eds.): ICAISC 2004, LNAI 3070, pp. 885-890, 2004
  101. Klunder B., Ochmański E., Stawikowska K.: On Star-Connected Flat Languages, Proc. of CS&P 2004, pp. 298-306, Humboldt University, Berlin 2004
  102. Konikowska B., Penczek W.: Model-Checking Multi-Valued Modal \mu-Calculus: Revisited Proceedings CS&P 2004, Vol. II, pp. 307-318, 2004
  103. Konikowska B., Penczek W.: On designated values in multi-valued CTL* model checking, Fundamenta Informaticae, pp. 211-224, 2004
  104. Konikowska B., Penczek W.: Model Checking Multi-Valued Modal Mi-Calculus: Revisited, Proc. of CS&P'04, 2004
  105. Koronacki J., Mielniczuk J.: Statystyka dla studentów kierunków technicznych i przyrodniczych, WNT, Warszawa, 492 strony, 2004
  106. Kowalczyk M., Mokrzycki W. S.: Określenie zakresu tematycznego (wstępnego spisu treści) i zgromadzenie literatury do monografii pt.: Reprezentacje wielościanów do identyfikacji wizualnej
  107. Kowalczyk T., Pleszczyńska E., Ruland F.: (Eds.) Grade Models and Methods for Data Analysis, Studia in Fuzziness and Soft Computing, vol. 151, 477 str., Springer Verlag Berlin Heidelberg New York 2004
  108. Kowalczyk T., Pleszczyńska E., Ruland F.: (Eds.) Grade Models and Methods for Data Analysis, rozdział: 3. Univariate Lilliputian Model I (51-90), (wspólny z W.Szczesnym), rozdział 4. Univariate Lilliputian Model II (91-128), (wspólny z E.Pleszczyńską i W.Szczesnym), rozdział 7. Preliminary concepts of dependence (185-215). (wspólny z W.Szczesnym), rozdział 8. Dependence Lilliputian Model (217-266), (wspólny z W.Szczesnym i W.Wysockim). Studia in Fuzziness and Soft Computing, vol. 151, Springer Verlag Berlin Heidelberg New York 2004
  109. Kozankiewicz H., Stencel K., Subieta K.: Integration of Heterogeneous Resources through Updatable Views Workshop on Emerging Technologies for Next generation GRID (ETNGRID-2004), 13th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2004), University of Modena and Reggio Emilia, Italy, June 14-16, 2004, Proceedings published by IEEE, pp. 309-314
  110. Kozankiewicz H., Stencel K., Subieta K.: Intelligent Data Integration Middleware based on Updateable Views Proc. International Workshop on Intelligent Media Technology for Communicative Intelligence (IMTCI), Warsaw, Poland, September 2004, pp.44-56
  111. Kozankiewicz H., Subieta K.: SBQL Views - Prototype of Updateable Views Proc. of the Eighth East-European Conference on Advances in Databases and Information Systems (ADBIS 2004), September 22-25, 2004, Budapest, Hungary, pp. 151-155
  112. Kupść A., Mitamura T., Van Durme B., Nyberg E.: Pronominal Anaphora Resolution for Unrestricted Text. W materiałach konferencyjnych Fourth International Conference on Language Resources and Evaluation, LREC 2004, Lizbona, Portugalia, pp. 1495-1498
  113. Kupść A., Marciniak M., Mykowiecka A., Piskorski J., Podsiadły-Marczykowska T.: Information Extraction from Mammographic Reports. W: KONVENS 2004, Oesterreichische Gesellschaft fuer Artificial Intelligence, Wiedeń, Austria, 2004, pp. 113-116
  114. Kurkowski M., Srebrny M.: A knowledge logic of authentication, raport wewnętrzny IPI PAN
  115. Laskowski E., Olejnik R., Toursel B., Tudruj M.: Java Byte Code Static Scheduling as an Initial Program Optimization Step. Proceedings of the Work In Progress Session of Euromicro 2004 Conference, DSD/Euromicro 2004, Rennes, France, SEA Publications
  116. Laskowski E., Olejnik R., Toursel B., Tudruj M.: Scheduling Byte Code-Defined Data Dependence Graphs of Object Oriented Programs, poster, Proceedings of the 4th International Conference on Parallel Computing in Electrical Engineering PARELEC 2004, September 2004, Dresden, Germany, pp. 398-401, IEEE Comp. Society
  117. Laskowski E.: New Program Structuring Heuristics for Multi-Processor Systems with Redundant Communication Resources, Proceedings of the 3rd International Symposium on Parallel and Distributed Computing/Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks (ISPDC/HeteroPar'04) July 05-07, 2004, Cork, Ireland, pp. 248-255, IEEE Comp. Society, pp. 248-255
  118. Laskowski E.: Program Scheduling in Look-Ahead Reconfigurable Parallel Systems with Multiple Communication Resources, Proceedings of the 4th International Conference on Parallel Computing in Electrical Engineering PARELEC 2004, September 2004, Dresden, Germany, pp. 256-261, IEEE Comp. Society, pp. 256-261
  119. Malawski M., Roy J.: A proportional value for TU games, raport IPI PAN, 2004
  120. Malawski M.: "Counting" power indices for games with a priori unions, Theory and Decision 56 (1/2), pp. 125-140, 2004
  121. Malawski M.: Algorytm dwustronnej gry logistycznej na tle sytuacji decyzyjnej walczących sił powietrznych, opracowanie we wspólnym projekcie AON i IPI PAN
  122. Malawski M.: Wartości "proceduralne" gier kooperacyjnych, raport IPI PAN, 2004
  123. Marciniak M., Mykowiecka A., Kupść A., Piskorski J.: Intelligent Content Extraction from Polish Medical Reports. Rozszerzona wersja artykułu przedstawionego na ICMIT 2004, przeznaczona do wydania w książce pokonferencyjnej, Springer-Verlag
  124. Marciniak M., Mykowiecka A., Kupść A., Piskorski J.: Intelligent Content Extraction from Polish Medical Reports.W: Proceedings of IMTCI 2004, Warszawa, Polska, pp. 96-99, 2004
  125. Maśko Ł., Mounie G., Trystram D., Tudruj M.: Moldable task scheduling in dynamic SMP clusters with communication on the fly, International Conference on Parallel Computing in Electrical Engineering PARELEC 2004, Drezno, Niemcy, 7-10 września 2004, IEEE Computer Society Press, pp. 59-64
  126. Maśko Ł.: Program graph scheduling for dynamic SMP clusters with communication on the fly, International Symposium on Parallel and Distributed Computing ISPDC 2004, Cork, Irlandia, 5-7 lipca 2004, IEEE Computer Society Press, pp. 240-247
  127. Maśko Ł.: Program graph scheduling for SMP clusters with communication on the fly based on extended DS approach, International Conference on Parallel Computing in Electrical Engineering PARELEC 2004, Drezno, Niemcy, 7-10 września 2004, IEEE Computer Society Press, pp. 65-70
  128. Matuszewski A., Bali G. Ch., Czerski D.: Statistical bootstrap and calculation of p-values and quantiles when the test statistic distribution is discrete, abstract wystąpienia na Międzynarodowej Konferencji Ordered Statistical Data: Approximations, Bounds and characterizations, May 24-28, 2004, Warsaw, Centrum Banacha, pp. 30-31
  129. Matyja O., Szczesny W.: Grade Correspondence Analysis w: Kowalczyk T., Pleszczyńska E., Ruland F. (Eds.) (2004). Grade Models and Methods for Data Analysis, With Applications for the Analysis of Data Populations, Seria: Studies in Fuzziness and Soft Computing, vol. 151, 477 p., Springer Verlag Berlin Heidelberg New York 2004
  130. Mazurkiewicz A., Koseska-Toszewa V.: Once more about net representation of the semantic category of tense, in: Etudes Cognitives 6 (2004), pp. 76-99, SOW Warszawa
  131. Mazurkiewicz A.: Bilateral Ranking Negotiations, in: Fundamenta Informaticae 60(2004) pp. 1-16, IOS Press
  132. Mazurkiewicz A.: Competition, Cooperation, and Authorization, in LNAI 3071 (2004), pp. 155-167, Springer Verlag
  133. Michalewicz M., Michalewicz Z.: Credibility: The Critical Success Factor, PJWSTK, 2005
  134. Michalewicz Z.: Evolutionary Algorithms as Intelligent Component in Adaptive Systems. Proceedings of the International Workshop on Intelligent Media Technology for Communicative Intelligence, Warsaw, Poland, September 13-14, 2004
  135. Michalewicz Z.: Evolutionary Algorithms in Engineering Applications, chapter in Handbook on Theory and Engineering Applications of Computational Methods, International Center for Numerical Methods in Engineering, Barcelona, Spain, 2005
  136. Mielniczuk J., Wu W.B.: On random design model with dependent errors. In: Statistica Sinica (Vol.14), Taipei, pp. 1105-1126, 2004.
  137. Momotko M., Subieta K.: Business Process Query Language - a Way to Make Workflow Processes More Flexible Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing, Lecture Notes in Computer Science (LNCS 3255), ISBN 3-540-23243-5, Springer 2004, pp. 306-321
  138. Mossakowski T., Goguen J., Diaconescu R., Tarlecki A.: What is a Logic?, 2004. Raport techniczny, zgłoszony do publikacji
  139. Mossakowski T., Sannella D., Tarlecki A.: A Simple Refinement Language for CASL. In: J.-L.Fiadeiro, P.D.Mosses, F.Orejas (eds): Recent Trends in Algebraic Development Techniques, 17th Int. Workshop, WADT 2004, Revised Selected Papers. Lecture Notes in Computer Science, Springer-Verlag, to appear
  140. Mykowiecka A., Marciniak M.: Phrase structure for an effective Polish HPSG grammar. Artykuł wysłany do wydawnictwa Peter Lang
  141. Mykowiecka A.: Inżynieria Lingwistyczna, manuskrypt w przygotowaniu do wydania w PJWSTK
  142. Nabiałek W., Niewiadomski A., Penczek W., Półrola A., Szreter M.: VERICS 2004: A Model Checker for Real Time and Multi-agent Systems, Proc. of CSP'04, 2004, pp. 88-99
  143. Ochmański E.: Best Fairness Hierarchy in Elementary Nets, Fundamenta Informaticae 61, pp. 237-250, 2004
  144. Ochmański E.: Covering Fairness against Conspiracies, Proc. of ICATPN 2004, LNCS 3099, pp. 312-330, Springer 2004
  145. Penczek W., Półrola A., Woźna B., Zbrzezny A.: Bounded Model Checking for Reachability Testing in Time Petri Nets, Proc. of CSP'04, 2004, pp. 124-135
  146. Penczek W., Półrola A.: Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata, Proc. of ICATPN'04, 2004, pp. 37-76
  147. Pieciukiewicz T., Subieta K.: Recursive Query Processing in SBQL, ICS PAS Report 979, November 2004
  148. Płodzień J., Stemposz E.: "Wstęp do analizy i projektowania systemów informatycznych", przygotowywane do druku wydanie II poprawione i rozszerzone, około 300 stron
  149. Półrola A., Penczek W., Szreter M.: Towards Efficient Partitioning Refinement for Checking Reachability in Timed Automata, Proc. of FORMATS'03, LNCS 2791, pp. 2-17, 2004
  150. Półrola A., Penczek W.: Minimization Algorithms for Time Petri Nets, Fundamenta Informaticae, Vol. 60(1-4), pp. 307-331, 2004
  151. Przepiórkowski A., Krynicki Z., Dębowski Ł., Woliński M., Janus D., Bański P.: A Search Tool for Corpora with Positional Tagsets and Ambiguities. W materiałach konferencyjnych Fourth International Conference on Language Resources and Evaluation, LREC 2004, Lizbona, Portugalia, pp. 1235-1238
  152. Przepiórkowski A., Krynicki Z., Dębowski Ł., Woliński M., Janus D., Bański P.: (2004). A Search Tool for Corpora with Positional Tagsets and Ambiguities. W: The Proceedings of the Fourth International Conference on Language Resources and Evaluation, LREC 2004. pp. 1235-1238
  153. Przepiórkowski A., Rosen A.: Czech and Polish Raising/Control with or without Structure Sharing. Przyjęte do Research in Language
  154. Przepiórkowski A., Rosen A.: On the Case of Predicative Complements in Czech Infinitival Clauses. Przyjęte do materiałów konferencyjnych FDSL-5
  155. Przepiórkowski A.: Korpus IPI PAN. Wersja wstępna / The IPI PAN Corpus: Preliminary version, IPI PAN, Warszawa. (Publikacja dwujęzyczna, w sumie 180 stron.)
  156. Raś Z., Dardzińska A., Liu X.: Rule discovery by axes-driven hyperplanes construction, in Intelligent Information Processing and Web Mining, Advances in Soft Computing, Proceedings of the IIS 2004 Symposium, Zakopane, Poland, Springer-Verlag, 2004, pp. 535-546
  157. Raś Z., Dardzińska A., Liu X.: System ADReD for discovering rules based on hyperplanes, in the Special Issue on Selected Problems in Knowledge Representation, International Journal of Engineering Applications of Artificial Intelligence, Vol. 17, No. 4, Elsevier, 2004, pp. 401-406
  158. Raś Z., Dardzińska A.: Query answering based on collaboration and chase, in the Proceedings of FQAS'04 Conference, Lyon, France, LNCS/LNAI, No. 3055, Springer-Verlag, 2004, pp. 125-136
  159. Raś Z., Tsay L.S., Wieczorkowska A.: Actionability as objective measure of rules interestingness, in the Proceedings of ICDM'04 Workshop on Foundations of Data Mining, (Eds. T.Y.Lin, S.Smale, T.Poggio, C.J.Liau), Brighton, UK, IEEE Computer Society, 2004
  160. Sannella D., Tarlecki A.: Behavioural specifications. Rozdział w: D.Sannella, A.Tarlecki, Foundations of Algebraic Specifications and Formal Program Development, Cambridge Univ.Press, ukaże się
  161. Serafiński T., Głowacki E., Subieta K.: Zależności pomocne przy szacowaniu zakresu zmiany w oprogramowaniu, Przetwarzanie i analiza sygnałów w systemach wizji i sterowania, 2004, Słok k. Bełchatowa
  162. Seredyński F., Bouvry P., Zomaya A.Y.: Cellular automata computations and secret key cryptography, Parallel Computing 30, pp. 753-766, 2004
  163. Seredyński F., Szaban M.: Evolving Collective Behaviour of Cellular Automata Rules for Cryptography Systems, International Workshop on Intelligent Media Technology for Communicative Intelligence (Warsaw IMTCI), Warsaw, Poland, September 2004, PJIIT-Publishing House, pp. 141-144, 2004
  164. Skowron A., Świniarski R., Synak P.: Approximation Spaces and Information Granulation. S.Tsumoto, R.Słowiński, J.Komorowski (Eds.) Rough Sets and Current Trends in Computing, Proceedings of 4th International Conference, RSCTC 2004, Uppsala, Sweden, Springer, 2004, pp. 116-126
  165. Smierzchalski R., Michalewicz Z.: Path Planning in Dynamic Environments, chapter in Innovations in Machine Intelligence and Robot Perception, S.Patnaik, L.C.Jain, S.G.Tzafestas, and V.Banoore (Editors), Springer-Verlag, 2005
  166. Sokołowski S., Jackowski B., Janota E., Fuglewicz P.: Towards statically-based semantics of linguistic resources. Workshop on International Proofing Tools & Language Technologies 2004, Patras, Greece, 1-2 July 2004
  167. Sokołowski S.: A small theory of ontology graphs. Manuskrypt, 2004
  168. Sokołowski S.: Introduction to Directed Topology. Kontynuacja. 2004
  169. Stańczak J., Trojanowski K.: Properties of selection methods applied to non-stationary optimization tasks. Materiały VII Krajowej konferencji "Algorytmy Ewolucyjne i Optymalizacja Globalna", Kazimierz Dolny, Poland, May 24-26, 2004. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 2004. pp. 171-180
  170. Stasiecka A., Bednaruk W., Dąbrowski W., Stemposz E.: "Budowa materiałów e-learningowych z uwzględnieniem aspektów dydaktycznych", Materiały konferencyjne: IV Konferencja i Warsztaty Politechniki Warszawskiej "Uniwersytet Wirtualny: model, narzędzia i praktyka" 3-5 czerwca 2004, Warszawa
  171. Stasiecka A., Bednaruk W., Dąbrowski W., Stemposz E.: "Dydactic aspects of e-learning materials", Proc.of the 7th International Conference on Interactive Computer aided Learning (ICL 2004), September 29-October 01, 2004, Carinthia Tech Institute, Villach, Austria
  172. Subieta K.: Teoria i konstrukcja obiektowych języków zapytań, Wydawnictwo PJWSTK, Warszawa 2004, ISBN 83-89244-28-4 (522 strony)
  173. Świniarski R. W., Skowron A.: Independent Component Analysis and Rough Sets in Face Recognition. In J.Grzymała-Busse, B.Kostek, R.Świniarski M.Szczuka (Editors-in Chief of a special I volume) Transaction on Rough Sets I. In (Editors-in-Chief J.Peters, A.Skowron), Lecture Notes in Computer Sciences on Rough Sets, 3100, Springer, Berlin, New York, 2004, pp. 392-404
  174. Świniarski R. W.: Application of Zernike Moments, Independent Component Analysis, and Rough and Fuzzy Classifier for Hand-Written Character Recognition. In M.A.Kłopotek, S.Wierzchoń, K.Trojanowski (Eds.) "Intelligent Information Processing and Web Mining". Proceedings of the International IIS:IIPWM'04 Conference. Zakopane, Poland, May 17-20, 2004, Springer, pp. 623-632
  175. Szaban M., Seredyński F., Daniluk A.: Searching Cellular Automata Rules for Symmetric Key Cryptography, Artificial Intelligence Studies, Proceedings of VI International Conference on "Artificial Intelligence", Siedlce, Poland, 22-23 September 2004, Publishing House of University of Podlasie, pp. 19-29, 2004
  176. Tarlecki A.: Software Specification and Development in Heterogeneous Environments.In: Proc. 1st Intl. Workshop on Combination of Logics: Theory and Applications CombLog'04, July 28-30, 2004, Lisbon, W.A.Carnielli, F.M.Dioisio, P.Mateus, eds., pp. 61-70, CLC 2004
  177. Tchórzewski J., Kłopotek M. A., Pieszalski S.: Distributed problem solving for making discoveries in an evolving neural net. W:P.Grzegorzewski, M.Krawczak, S.Zadrożny eds.: Soft Computing Tools, Techniques and Applications. Akademicka Oficyna Wydawnicza EXIT, Warszawa 2004, pp. 339-358
  178. Trojanowski K., Jankowiak M.: Właściwości miar podobieństwa w modelu sieci idiotypowej z binarną reprezentacją wzorców, Raporty IPI PAN, Nr 977, Warszawa, wrzesień 2004
  179. Trzaska M., Subieta K.: Structural Knowledge Graph Navigator For The Icons Prototype, Proc. of the IASTED International Conference on Databases and Applications (DBA 2004), February 17-19, 2004, Innsbruck, Austria, pp. 68-73
  180. Trzaska M., Subieta K.: The User as Navigator, Proc. of the Eighth East-European Conference on Advances in Databases and Information Systems (ADBIS 2004), pp. 228-240, September 22-25, 2004, Budapest, Hungary
  181. Trzaska M., Subieta K.: Usability of Visual Information Retrieval Metaphors for Object-Oriented Databases Proceedings of the On The Move Federated Conferences and Workshops (DOA, ODBASE, CoopIS, PhD Symposium), Lecture Notes in Computer Science (LNCS 3292), ISBN 3-540-23664-3, Springer 2004, pp. 822-833, October 25-29, 2004, Larnaca, Cyprus
  182. Tsay L. S., Raś Z., Wieczorkowska A.: Tree-based algorithm for discovering extended action-rules (System DEAR2), in Intelligent Information Processing and Web Mining, Advances in Soft Computing , Proceedings of the IIS 2004 Symposium, Zakopane, Poland, Springer-Verlag, 2004, pp. 459-464
  183. Tudruj M., Maśko Ł.: "Fine-grain numerical computations in dynamic SMP clusters with communication on the fly", poster, International Conference on Parallel Computing in Electrical Engineering PARELEC 2004, Drezno, Niemcy, 7-10 września 2004, IEEE Computer Society Press, pp. 386-389
  184. Tudruj M., Maśko Ł.: Dynamic SMP Clusters with Communication on the Fly in NoC Technology for Very Fine Grain Computations, International Symposium on Parallel and Distributed Computing ISPDC 2004, Cork, Irlandia, 5-7 lipca 2004, IEEE Computer Society Press, pp. 97-104
  185. Wawer A., Seredyński F., Bouvry P.: Applications of evolutionary computing to conformational analysis, Intelligent Information Processing and Web Mining, Springer, Advances in Soft Computing, pp. 161-168, 2004
  186. Wieczorek A.: 'Large' Games and Their Multiple Applications, ERCIM News 57, April 2004, http://www.ercim.org/publication/Ercim_News/enw57/wieczorek.html
  187. Wieczorek A.: Large Games with Only Small Players, Applicationes Mathematicae 31(1), pp. 79-96, 2004
  188. Wieczorek A.: Optimal allocations in spatial models with infinite number of individuals, raport IPI PAN, 2004
  189. Wieczorkowska A., Raś Z.: Do we need automatic indexing of musical instruments?, Proceedings of the International Workshop on Intelligent Media Technology for Communicative Intelligence, Warsaw, Poland, September 13-14, 2004
  190. Wierzchoń S. T., Kużelewska U.: ImmuNet: a new technique of data exploration based on Artificial Immune Networks. Materiały VII Krajowej konferencji "Algorytmy Ewolucyjne i Optymalizacja Globalna", Kazimierz Dolny, Poland, May 24-26, 2004. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 2004. pp. 203-210
  191. Wierzchoń S. T., Rogowski K.: An immune-based algorithm for anomaly detection. W: B.De Beats, R.De Caluwe, G.de Tre, J.Fodor, J.Kacprzyk, S.Zadrożny (eds): Current Issues in Data and Knowledge Engineering Akademicka Oficyna Wydawnicza EXIT Warszawa 2004, pp. 459-468
  192. Wierzchoń S. T.: Algorytmy immunologiczne w działaniu. Optymalizacja funkcji niestacjonarnych i wielomodalnych. A.Wakulicz-Deja ed.: "Systemy wspomagania decyzji", Proc. Zakopane, 8-10.12.2003. Wyd. II UŚ. Sosnowiec 2004, pp. 28-39, ISBN-83-920730-1-9
  193. Wierzchoń S. T.: Artificial immune systems: A survey of applications. W: P.Grzegorzewski, M.Krawczak, S.Zadrożny eds.: Soft Computing Tools, Techniques and Applications. Akademicka Oficyna Wydawnicza EXIT Warszawa 2004, pp. 371-384
  194. Wierzchoń S. T.: Immune-inspired optimization algorithms: Review of Recent Results. W: K.Saeed, R.Mosdorf, J.Pejaś, O.P.Hilmola, Z.Sosnowski, I.El-Fray (eds.) Computer Information Systems and Applications, vol. II, Wyd. Wyższej Szkoły Finansów i Zarządzania, Białystok 2004, pp. 53-62
  195. Winkowski J.: Towards a framework for modelling systems with rich internal structures of states and processes, Prace IPI PAN Nr 973, marzec 2004 (oraz uzupełniona i zmodyfikowana wersja tej pracy zgłoszona do druku)
  196. Woliński M.: Komputerowa weryfikacja gramatyki Świdzińskiego, praca doktorska, listopad 2004
  197. Woliński M.: System znaczników morfosyntaktycznych w Korpusie IPI PAN, Polonica XXII-XXIII, pp. 39-55
  198. Woźna B., Lomuscio A., Penczek W.: Bounded model checking for deontic interpreted systems, Proceedings of the second Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'04), Nancy, July, 2004
  199. Woźna B., Lomuscio A., Penczek W.: Bounded model checking for knowledge over real time, Proc. of CSP'04, 2004, pp. 398-414
      Publikacje pracowników  Powrót - Publikacje pracowników IPI PAN    
  webmaster@ipipan.waw.pl Copyright by IPI PAN - 2003