General Info   Events   Staff   Research   Scientific Council   Conferences   Seminars   Publications   Library   Publishing Centre   Staff Services   Links 
Publications \ 2004 Site Map  

2008

2007

2006

2005

2004

2003

2002

2001

2000

 

Publications

Home

 




Publishers' Sites:



IPI PAN
Publishing Centre

Springer-Verlag

IEEE Publications

IOS Press

Slavica Publishers

Kluwer OnLine

Cambridge
University Press
2004

ICS PAS employees publications in 2004

Legend:
bold-face names - authors that given ICS PAS as their affiliation


  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 Podladie,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 GTME2004
  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, 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, 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, 167-184
  36. Ciok A.: On the number of clusters - a grade approach, Instytut Podstaw Informatyki PAN, Warszawa, ISBN 83-910948-9-8, 2004, 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, 325-338
  38. Ciok A.: Zastosowanie metod gradacyjnych analizy danych w identyfikacji struktur wydatków polskich gospodarstw domowych, Wiadomości Statystyczne, 2004, 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 doskonalosci REWERSE, http://rewerse.net/deliverables/i3-d2.pdfiii+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. Dębowski Ł.: Trigram morphosyntactic tagger for Polish. W: Proceedings of New Trends in Intelligent Information Processing and Web Mining, Zakopane 2004. Springer, pp. 409-413
  48. 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
  49. 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
  50. 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)
  51. 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
  52. Dramiński M.: Description and practical application of rule based classifier ADX - WISIS-2004, Warszawa, EXIT 2004
  53. Dunin-Kęplicz B., Verbrugge R.: Creating common beliefs in rescue situations. W: B.Dunin-Keplicz, A. Jankowski, A. Skowron, M.Szczuka (edytorzy) 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) Przyjeta do prezentacji na konferencji EUMAS'2004 w Barcelonie, grudzień 2004
  54. Dunin-Kęplicz B., Verbrugge R.: Dynamics of collective attitudes during teamwork. W: A. Omicini, P.Petta, J.Pitt (editorzy), Engineering Societes in the Agents World: 4th International Workshop, ESAW 2003, LNAI 3071, pp. 107-122, 2004
  55. Dunin-Kęplicz B., Verbrugge R.: Tuning machine for Cooperative Problem Solving. W: Fundamenta Informaticae 63 (2-3), pp. 283-307, 2004
  56. 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 VUSION SYSTEMS. Bruksela, 31 Aug. - 3 Sept.
  57. 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
  58. 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
  59. 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
  60. 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
  61. 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
  62. 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
  63. 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, 923-930
  64. 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, 757-763
  65. 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, 244-253
  66. 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) 78-95
  67. 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, 50-55
  68. 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
  69. 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
  70. 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
  71. Idzik A., Junosza-Szaniawski K.: Combinatorial lemmas for oriented complexes, raport IPI PAN
  72. Idzik A., Karczewski R.: Algorytmy oceny wariantów dzialań logistycznych metodami optymalizacji, raport IPI PAN
  73. Idzik A., Zambrzycki P.: Borsuk-Ulam type theorems III, raport IPI PAN
  74. 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
  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. 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
  81. 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
  82. 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
  83. Kacprzak M., Penczek W.: Model Checking for Alternating-Time mi-Calculus via Translation to SAT, Proc. of CSP'04, 2004
  84. 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,
  85. 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
  86. 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
  87. 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
  88. Kłopotek M. A., Kiesner T.: Metoda konstrukcji sieci semantycznej. Zeszyty Naukowe AP - Studia Informatica. Technologie i Systemy Informacyjne, Nr2, 2004, pp. 5-30
  89. 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
  90. 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
  91. 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
  92. 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
  93. 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
  94. 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
  95. 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, pp. 87-98
  96. 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
  97. 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
  98. 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)
  99. 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
  100. 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
  101. 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
  102. Klunder B., Ochmański E., Stawikowska K.: On Star-Connected Flat Languages, Proc. of CS&P 2004, pp. 298-306, Humboldt University, Berlin 2004
  103. Konikowska B., Penczek W.: Model-Checking Multi-Valued Modal \mu-Calculus: Revisited Proceedings CS&P 2004, Vol. II, pp. 307-318, 2004
  104. Konikowska B., Penczek W.: On designated values in multi-valued CTL* model checking, Fundamenta Informaticae, pp. 211 - 224, 2004
  105. Konikowska B., Penczek W.; Model Checking Multi-Valued Modal Mi-Calculus: Revisited, Proc. of CS&P'04, 2004
  106. Koronacki J., Mielniczuk J.: Statystyka dla studentów kierunków technicznych i przyrodniczych, WNT, Warszawa, 492 strony, 2004
  107. 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
  108. 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
  109. 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
  110. 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
  111. 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
  112. 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
  113. Kupść A., Mitamura T., Van Durme B., Nyberg E.: Pronominal Anaphora Resolution for Unrestricted Text. W materialach konferencyjnych Fourth International Conference on Language Resources and Evaluation, LREC 2004, Lizbona, Portugalia, pp. 1495-1498
  114. Kupść A., Marciniak M., Mykowiecka A., Piskorski J., Podsiadły-Marczykowska T.: Information Extraction from Mammographic Reports. W: KONVENS 2004, Osterischeen Gesellschaft fur Artificial Intelligence, Wiedeń, Austria, 2004, pp. 113-116
  115. Kurkowski M., Srebrny M.: A knoeledge logic of authentication, raport wewnętrzny IPI PAN
  116. 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
  117. 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
  118. 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
  119. 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
  120. Malawski M., Roy J.: A proportional value for TU games, raport IPI PAN, 2004
  121. Malawski M.: "Counting" power indices for games with a priori unions, Theory and Decision 56 (1/2), pp.125-140, 2004
  122. Malawski M.: Algorytm dwustronnej gry logistycznej na tle sytuacji decyzyjnej walczących sił powietrznych-, opracowanie we wspólnym projekcie AON i IPI
  123. Malawski M.: Wartości "proceduralne" gier kooperacyjnych, raport IPI PAN, 2004
  124. 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
  125. 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
  126. Maśko Ł., Mounie G., Trystram D., Tudruj M.: Moldable task scheduling in dynamic SMP clusters witn 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
  127. 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
  128. 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
  129. 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
  130. 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
  131. 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
  132. Mazurkiewicz A.: Bilateral Ranking Negotiations, in: Fundamenta Informaticae 60(2004) pp. 1-16, IOS Press
  133. Mazurkiewicz A.: Competition, Cooperation, and Authorization, in LNAI 3071 (2004), pp. 155-167, Springer Verlag
  134. Michalewicz M., Michalewicz Z.: Credibility: The Critical Success Factor, PJWSTK, 2005
  135. 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
  136. 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
  137. Mielniczuk J., Wu W.B.: On random design model with dependent errors. In: Statistica Sinica (Vol.14), Taipei, 1105-1126, 2004.
  138. 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
  139. Mossakowski T., Goguen J., Diaconescu R., Tarlecki A.: What is a Logic?, 2004. Raport techniczny, zgłoszony do publikacji
  140. 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
  141. Mykowiecka A., Marciniak M.: Phrase structure for an effective Polish HPSG grammar. Artykuł wysłany do wydawnictwa Peter Lang
  142. Mykowiecka A.: Inżynieria Lingwistyczna, manuskrypt w przygotowaniu do wydania w PJWSTK
  143. 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
  144. Ochmański E.: Best Fairness Hierarchy in Elementary Nets, Fundamenta Informaticae 61, pp. 237-250, 2004
  145. Ochmański E.: Covering Fairness against Conspiracies Proc. of ICATPN 2004, LNCS 3099, pp. 312-330, Springer 2004
  146. 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
  147. 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
  148. Pieciukiewicz T., Subieta K.: Recursive Query Processing in SBQL ICS PAS Report 979, November 2004
  149. 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
  150. 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
  151. Półrola A., Penczek W.: Minimization Algorithms for Time Petri Nets, Fundamenta Informaticae, Vol. 60(1-4), pp. 307 - 331, 2004
  152. 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 LanguageResources and Evaluation, LREC 2004, Lizbona, Portugalia, pp. 1235-1238
  153. 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
  154. Przepiórkowski A., Rosen A.: Czech and Polish Raising/Control with or without Structure Sharing. Przyjęte do Research in Language
  155. Przepiórkowski A., Rosen A.: On the Case of Predicative Complements in Czech Infinitival Clauses. Przyjęte do materiałów konferencyjnych FDSL-5
  156. 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.)
  157. 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
  158. 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
  159. 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
  160. 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
  161. 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ę
  162. 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
  163. Seredyński F., Bouvry P., Zomaya A.Y.: Cellular automata computations and secret key cryptography, Parallel Computing 30, pp. 753-766, 2004
  164. 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
  165. 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
  166. 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
  167. 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
  168. Sokołowski S.: A small theory of ontology graphs. Manuskrypt, 2004
  169. Sokołowski S.: Introduction to Directed Topology. Kontynuacja. 2004
  170. 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
  171. 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
  172. 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 (ICL2004), September 29 - October 01, 2004, Carinthia Tech Institute, Villach, Austria
  173. Subieta K.: Teoria i konstrukcja obiektowych języków zapytań Wydawnictwo PJWSTK, Warszawa 2004, ISBN 83-89244-28-4 (522 strony)
  174. Ś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
  175. Świniarski R. W.: Application of Zernike Moments, Independent Component Analysis, and Rough and Fuzzy Classifier for Hand-Written Character Recognition. In M. K. 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
  176. 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
  177. 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., 61-70, CLC 2004
  178. Tchórzewski J., Kłopotek M. A., Pieszalski S.: Distributred 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
  179. 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
  180. 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
  181. 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
  182. 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
  183. 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
  184. 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
  185. 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
  186. 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
  187. Wieczorek A.: 'Large' Games and Their Multiple Applications, ERCIM News 57, April 2004, http://www.ercim.org/publication/Ercim_News/enw57/wieczorek.html
  188. Wieczorek A.: Large Games with Only Small Players, Applicationes Mathematicae 31(1), 79-96, 2004
  189. Wieczorek A.: Optimal allocations in spatial models with infinite number of individuals, raport IPI PAN, 2004
  190. 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
  191. 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
  192. 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
  193. 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
  194. 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
  195. 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
  196. 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)
  197. Woliński M.: Komputerowa weryfikacja gramatyki Swidzińskiego, praca doktorska, listopad 2004
  198. Woliński M.: System znaczników morfosyntaktycznych w Korpusie IPI PAN, Polonica XXII-XXIII, pp. 39-55
  199. 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 (LCMAS04), Nancy, July, 2004
  200. Woźna B., Lomuscio A., Penczek W.: Bounded model checking for knowledge over real time, Proc. of CSP'04, 2004, pp. 398-414
      Publications Info  Back to Publications Information.    
  webmaster@ipipan.waw.pl Copyright by ICS PAS - 2003