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

2004

2003

2002

2001

2000

 

Recent Publications

Home

 




Publishers' Sites:



IPI PAN
Publishing Centre

Springer-Verlag

IEEE Publications

IOS Press

Slavica Publishers

Kluwer OnLine

Cambridge
University Press
2001

ICS PAS employees publications in 2001

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


  1. Ambroszkiewicz S., Nowak T., Cetnarowicz K.: Agentspace as an Infrastructure for Workflow Management over the Internet. Proc. The Sixth International Conf. on Computer Supported Cooperative Work in Design. National Research Council Canada 2001, NRC No. 45075 and 45076, ISBN 0-660-18552-0 and ISBN 0-660-18379-X

  2. Ambroszkiewicz S., Nowak T., Mikułowski D., Rozwadowski L.: A Concept of Agent Language in Agentspace. In Proc. Second Int. Workshop of Central and Eastern Europe on Multi-Agent Systems. Dep. Computer Science, University of Mining and Metallurgy, Kraków 2001, ISBN 83-915953-0-7

  3. Ambroszkiewicz S., Nowak T., Mikułowski D., Rozwadowski L.: Semantyczna Interoperabilność w Przestrzeni Agentowej. W materialach konferencji: Polski Internet Optyczny: Technologie,Uslugi i Aplikacje PIONIER 2001, Instytut Informatyki Politechniki Poznańskiej, Poznań 2001, ISBN 83-913639-2-9

  4. Ambroszkiewicz S., Nowak T.: Agentspace as a Middleware for Service Integration. Prace IPI PAN, nr 931

  5. Avron A., Konikowska B.: Decomposition Proof Systems for Goedel-Dummet Logics, Studia Logica, Special Issue of Studia Logica: Analytic Proof Techniques, R. Dyckhoff ed., vol. 69, 197-219, 2001

  6. Badouel E., Bednarczyk M., Darondeau Ph.: Generalized Automata and Their Net Representations. Rozdział w monografii Unifying Petri Nets, LNCS, Springer

  7. Bednarczyk M., Borzyszkowski A.: On Concurrent Realizations of Reactive Systems and Their Morphisms. rozdział w monografii Unifying Petri Nets, LNCS, Springer. Raport wewnętrzny

  8. Bednarczyk M., Caillaud B.: On Concurrency preserving distributed implementation of asynchronous automata. Raport wewnętrzny

  9. Bednarczyk M., Darondeau Ph.: Looking for Diamonds. Workshop on Synthesis of Concurrent Systems, Newcastle, 2001. Raport wewnętrzny

  10. Bednarczyk M., Holec M., Mielniczuk J., Pyrchla J., Szubrycht T.: A note on accuracy of navigational observations Krajowa Konferencja Morska, Gdynia 2001

  11. Bednarczyk M., Holec M., Mielniczuk J., Pyrchla J., Szubrycht T.: A note on accuracy of navigational observations, Materiały Konferencyjne IV Sympozjum Nawigacyjnego, Gdynia 19-20 czerwca 2000

  12. Bednarczyk M.: Non-monotone Logic for Reasoning about Action. Raport wewnętrzny

  13. Borkowski W., Matyja O., Pieciukiewicz T., Hryniów R., Borowska L.: Healthcare application initiatives in telecommunication. In Ludwin W., Pach A., Zbieżek T. (Eds) Preceedings of the conference „Advanced Technologies Applications and Market Strategies for 3G”, 17-20 June 2001, Cracow, Poland, AGH Kraków, 2001

  14. Borzyszkowski A.: Matematyka stosowana, Świat Telekomunikacji, 6(32), 2001, s. 18-21.

  15. Bouvry P., Arbab F., Seredyński F.: Distributed evolutionary optimization, in Manifold: Rosenbrock's case study, Information Sciences 122, 2000, 141-159.

  16. Bulińska J., Piątkowska M., Pleszczyńska E.: Internet for the disabled in Poland – assistive technology for tele-education and tele-training. In Marincek C., Buhler Ch., Knops H., Andrich R. (Eds) Assistive technology – added value to the quality of life, Assistive technology research series 10, IOS Press, 2001, 396-400

  17. Bylka S.: Local improving algorithms for large cuts in graphs with maximum degree three, Discrete Mathematics, 235 (1-3), 2001, 53-67

  18. Bylka S., Ambroszkiewicz S., Komar J.: Discrete time dynamic game model for price competition in an oligopoly, Annals of Operations Research 97, 2000, 69-89

  19. Bylka S., Rempała R.: Heuristics for impulse replenishment with continuous periodical demand, raport wewn. IPI PAN, Warszawa, 2001

  20. Bylka S., Rempała R.: Multi-product inventory and auxiliary allocation problem, International Journal of Production Economics 71, 2001, 295-303

  21. Bylka S., Rempała R.: Multiproduct lot sizing for finite production rate, International Journal of Production Economics 71, 2001, 305-315

  22. Bylka S.: Horizontal paths in time ordered network: applications for selecting lot size inequalities, raport wewn. IPI PAN, Warszawa, 2001

  23. Bylka S.: Turnpike policies in the impulse replenishment with continuous periodical demand, raport wewn. IPI PAN, Warszawa, 2001

  24. Cervone G., Michalski R .S.: Kaufman, K.,Panait L.: Recent Results from Experiments with the Learnable Evolution Model. Raport wewnętrzny

  25. Cervone G., Panait L. A., Michalski R. S.: The Development of the AQ20 Learning System and Initial Experiments, Tenth International Symposium on Intelligent Information Systems, Zakopane, Poland, June 2001

  26. Ciok A.: Grade correspondence-cluster analysis applied to separate components of nonmonotone mixtures. Raport wewnętrzny

  27. Ciok A.: Significance testing in the grade correspondence analysis. In: Kłopotek M., Michalewicz M., Wierzchoń T.S. (Eds) Advances in soft computing: Intelligent Information Systems 2001, Proceedings of the „Intelligent Information Systems X”, June 18-22, 2001, Zakopane, Poland, Physica-Verlag,, 2001, 67-74.

  28. Ciok A.: Zastosowanie metod gradacyjnych w analizie czynników warunkujących rozwój małych i średnich firm usługowych w Polsce Raport wewnętrzny

  29. Ćwik J., Mielniczuk J.: On construction of confidence intervals for a mean of dependent data. Raport wewnętrzny

  30. Dembiński P., Penczek W., Półrola A.: Automated Verification of Infinite State Concurrent Systems: An Improvement in Model Generation. Raport wewnętrzny

  31. Dembiński P., Penczek W., Półrola A.: Verification of Timed Automata based on similarity, Proc. of CS&P, Warsaw, pp. 76-86. 2001

  32. Dembiński P.: A new distributed algorithm for dynamic resource allocation: specification and validation in Estelle, Proc. of CS&P.'2001, 2001

  33. Dębowski Ł.: A Revision of Coding Theory for Learning from Language, Formal Grammar/Mathematics of Language Conference, Helsinki (8-10 sierpnia 2001), Conference Proceedings

  34. Dębowski Ł.: Quantitative Considerations on Finding the Shortest Descriptions for Meaningful Symbolic Sequences, Prace IPI PAN, nr 924 (luty 2001)

  35. Dębowski Ł.: Tagowanie i dezambiguacja morfologiczna. Przegląd metod i oprogramowania, Prace IPI PAN, nr 934 (listopad 2001)

  36. Drabent W., Małuszyński J., Pietrzak P.: Parametric Descriptive Types for (C)LP, w: Programmation en logique avec contraintes, JFPLC'2001, Coordonnateur: Philippe Codognet, pp. 239-254, Hermes Science Publications, Paris, 2001.(Materiały z JFPLC'2001 - Tenth International French Speaking Conference on Logic and Constraint Programming April 24-27, 2001 Cit'e des Sciences, Paris, France)

  37. Drabent W., Małuszyński J., Pietrzak P.: Using parametric set constraints for locating errors in CLP programs. Wstępnie przyjęta do Theory and Practice of Logic Programming (Cambridge University Press). 61 stron

  38. Drabent W., Miłkowska M.: Proving Correctness and Completeness of Normal Programs - a Declarative Approach, w: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings, ed. Codognet, P., Springer-Verlag, LNCS 2237, 2001

  39. Drabent W., Miłkowska M.: Proving correctness and completeness of normal programs - a declarative approach, Preliminary, unabridged version, http://www.ipipan.waw.pl/~drabent/proving.iclp01-prel.ps.gz, 2001

  40. Drabent W., Miłkowska M.: Deklaratywne podejście do wnioskowania o programach w języku logiki, III Krajowa Konferencja Inżynierii Oprogramowania KKIO'2001, str. 71-80, Wydawnictwo MIKOM, 2001

  41. Dramiński M., Jodłowski A., Skowroński K.: Technical Project of Database Specification, InlenStar’s technical report, 2001

  42. Duentsch I., Konikowska B.: A Multimodal Logic for Disagreement and Exhaustiveness, raport wewnętrzny, 2001

  43. Głowiński C., Michalski R. S.: Discovering Multi-head Attributional Rules in Large Databases,”Tenth International Symposium on Intelligent Information Systems, Zakopane, Poland, June 2001

  44. Grzegorek M., Mokrzycki W. S.: Experiments with Line-by-line Segmentation of Motion Mask, materiały konferencyjne II Krajowej Konferencji Naukowo-Szkoleniowej KOSYR 2001, Miłków, maj 28-31, str. 169-177.

  45. Hajnicz E., Kupść A.: Przeglad analizatorow morfologicznych dla języka polskiego. Raport IPI PAN, listopad 2001

  46. Idzik A., Aussel D., Yao J.C.: Epsilon-variational inequalities for multivalued functions, raport wewn. IPI PAN, Warszawa, 2001

  47. Idzik A., Katona G., Vohra R.: Intersecting families of sets, J. Combinatorial Theory Ser. A 93, 2001, 281-291.

  48. Idzik A., Tuza Z.: Heredity properties of connectedness in edge-coloured complete graphs, Discrete Math. 235, 2001, 301-306.

  49. Idzik A., van de Vel M.: Almost fixed point theorems I, Nonlinear Analysis 47, 2001, 619-625.

  50. Idzik A.: Labellings of disks and spheres, raport wewn. IPI PAN, Warszawa, 2001.

  51. Jodłowski A., Habela P., Płodzień J., Subieta K.: Dynamic Object Roles in Conceptual Modeling and Databases. ICS PAS Reports Nr 932. Warszawa, November 2001.

  52. Jodłowski A., Sosnowski A., Woch M.: Ograniczenia w module AQ15 systemu Inlen 3.0, raport techniczny projektu InlenStar, 2001

  53. Jodłowski A.: Projekt funkcjonalny menu InlenStar, raport techniczny projektu InlenStar, 2001.

  54. Juarez-Hernandez B., Sotres-Ramos D. A., Matuszewski A.: Exact distribution of the Mann-Whitney-Wilcoxon type test statistic under violations to the standard assumptions for continuous uniform distributions, Agrosciencia 35, ss. 223-235, 2001.

  55. Kępski R., Cytowski J., Her P., Buchner T.: Wybrane procedury przetwarzania sygnałów elektrokardiograficznych rozdział 19 w Biocybernetyka i inżynieria biomedyczna 2000, tom 2, Warszawa , s. 377-402.

  56. Kępski R., Cytowski J.: Adaptive Filtering in Exercise High Resolution ECG as Applied to the Hypertrophic Cardiomyopathy, PACE Pacing And Clinical Electrophysioligy, August 2001, Vol. 24, p. 1216-1223

  57. Kępski R., Cytowski J.: Rejestracja zmiennego dynamicznie elektrokardiogramu wysiłkowego przy zastosowaniu filtracji adaptacyjnej, Przegląd Polski Kardiologiczny 2001, Vol. 3, No 2, s. 109-117. Klin B., Hoffman P., Tarlecki A., Schroeder L., Mossakowski T.: Checking Amalgamability Conditions for CASL Architectural Specifications. W: Proc. 26th Intl. Symp. Mathematical Foundations of Computer Science MFCS'01, Lecture Notes in Computer Science J. Sgall, A. Pultr, eds., 2136, 451-463, Springer-Verlag 2001.

  58. Kłopotek M. A., Dworakowski Ł.: Implemetacja laboratorium nieczęstościowej interpretacji teorii Dempstera-Shafera. Ukaże się w tomie referatów z XV Ogólnopolskiego Konwersatorium „Sztuczna Inteligencja 2001”, Siedlce, 28.11.2001

  59. Kłopotek M. A., Paliwoda W.: System ekspercki bazujący na automatycznej konstrukcji drzew decyzyjnych z danych. Ukaże się w tomie referatów z XV Ogólnopolskiego Konwersatorium „Sztuczna Inteligencja 2001”, Siedlce, 28.11.2001.

  60. Kłopotek M. A., Raui J.: Badania porównawcze metod uczenia się sieci bayesowskich z danych. Kłopotek M. A., Wierzchoń S, T., Michalewicz M., Bednarczyk M., Pawłowski W., Wąsowski A.: Bayesian Network Mining System. In: M.A.Klopotek, S.T.Wierzchon, M.Michalewicz (eds): Intelligent Information Systems 2001. Advances in Soft Computing. Physicca/Springer Verlag, Heidelberg New York 2001. ISBN-3-7908-1407-5. pp. 179-193.

  61. Kłopotek M. A., Wierzchoń S. T., Michalewicz M. (eds): Intelligent Information Systems 2001. Advances in Soft Computing. Physicca/Springer Verlag, Heidelberg New York 2001. ISBN-3-7908-1407-5.

  62. Kłopotek M. A., Wierzchoń S. T., Michalewicz M. (eds): Intelligent Information Systems 2001. Communications of the 10th International Symposium. ICS PAS Reports Nr 928. Warszawa, June 2001

  63. Kłopotek M. A., Wierzchoń S. T.: Dempster-Shafer Theoretic Risk Analysis in Project Profitability Calculus. VIII Warsztaty Naukowe PTSK Symulacja w badaniach i Rozwoju. PTSK, Centrum Informatyczne TASK, Politechnika Gdańska. Book of Abstracts. Gdańsk-Sobieszewo, 30.8.-1.9.2001, A-34. Raport wewnętrzny

  64. Kłopotek M. A.: Taxonomy Building: Cases or Attributes? In: M.A.Klopotek, S.T.Wierzchon, M.Michalewicz(eds): Intelligent Information Systems 2001. Advances in Soft Computing. Physicca/Springer Verlag, Heidelberg New York 2001. ISBN-3-7908-1407-5. pp. 97-110

  65. Kłopotek M. A.: A New Bayesian Tree Construction Method with Decreased Time Complexity ICS PAS Reports Nr 927 Warszawa, May 2001

  66. Kłopotek M. A.: A New Space-Saving Bayesian Tree Construction Method for High Dimensional Spaces ICS PAS Reports Nr 925 Warszawa, May 2001

  67. Kłopotek M. A.: Dempster-Shafer theory. Invited entry to Kluwer Encyclopedia of Mathematics (Supplement III). Raport wewnętrzny

  68. Kłopotek M. A.: Inteligentne wyszukiwarki internetowe. Akademicka Oficyna Wydawnicza, Warszawa 2001, ISBN 83-87674-31-1 332 s.

  69. Kłopotek M.A., Wierzchoń S. T., Michalewicz M., Bednarczyk M., Pawłowski W., Wasowski A.: Bayesian Network Mining System. In: M.A. Kłopotek, S.T. Wierzchoń, M.Michalewicz (eds): Intelligent Information Systems 2001. Advances in Soft Computing. Physica/Springer Verlag, 2001. ISBN-3-7908-1407-5. pp. 179-193. Konikowska B. Penczek W.: Model Checking for Multiple-Valued Modal Logics, raport techniczny, 2001

  70. Konikowska B., Orłowska E.: A Relational Formalisation of a Generic Many-Valued Modal Logic. in: Relational Methods, for ComputerScience Applications, E. Orłowska, A. Szałas eds., Studies in Fuzziness and Soft Computing Vol. 65, Physica-Verlag, Heildelberg New York, 183-201, 2001.

  71. Konikowska B.: Introducing a Third Logical Value into Reasoning about Concurrency, Collegium Logicum, Annals of the Kurt Goedel Society, Vol 4, 257-260, 2001.

  72. Koronacki J., Mielniczuk J.: Statystyka dla studentów kierunków technicznych i przyrodniczych, WNT 2001, 491 stron.

  73. Kowalczyk M., Mokrzycki W. S.: Obtaining complete 2 1/2 D view representation of polyhedra using concept of seedling single-view area. Raport wewnętrzny.

  74. Kowalczyk T., Niewiadomska-Bugaj M.: A new grade measure of monotone multivariate separability. Raport wewnętrzny

  75. Kowalczyk T., Niewiadomska-Bugaj M.: An algorithm for maximizing Kendall’s t. Computational Statistics and Data Analysis 37 (2001) 181-193.

  76. Kozłowski, Wierzchoń S. T.: Evolutionary algorithms applied to learning bayesian structures from data. VIII Warsztaty Naukowe PTSK Symulacja w Badaniach i Rozwoju. PTSK, Centrum Informatyczne TASK, Politechnika Gdańska. Book of Abstracts. Gdańsk-Sobieszewo, 30.08-01.09.2001, A3 I8

  77. Kupść A.: Clitic Climbing in Polish Verb Clusters: Formalisation in HPSG and its Implementation in ALE. W Proceedings of the 6th ADL (Atelier des doctorants en linguistique) meeting, Paryż, 2001.

  78. Kupść A.: Polish Reflexives: A View from Lexical Semantics, Proceedings of the Generative Linguistics in Poland Conference, IPI PAN, 2001.

  79. Laskowski E.: Fast Scheduling and Partitioning Algorithm in the Multi-Processor System with Redundant Communication Resources. Raport wewnętrzny. Laskowski E.: Strukturalizacja programów równoległych dla wykonania w systemach z nadmiarowymi zasobami komunikacyjnymi, Materiały rozprawy doktorskiej, Warszawa, 2001, stron. 60.

  80. Leguizamon, G. Michalewicz Z.: An Ant System for the Maximun Independent Set Problem, Proceedings of the CACIC 2001, El Calafate, Argentina, October 2001

  81. Malawski M.: O rozwiązaniu średnich wypłat zagadnienia przetargu Nasha, Prace IPI PAN 935, Warszawa, 2001. Malawski M.: On transfer properties of power indices, International Conference Logic, Game Theory and Social Choice, St. Petersburg, 2001.

  82. Malawski M.: The Shapley value as a just power index, raport wewn. IPI PAN, Warszawa, 2001

  83. Maloof M., Michalski R. S.: Incremental Learning with Partial Instance Memory. Raport wewnętrzny.

  84. Marciniak M.: Algorytmy implementacyjne syntaktycznych reguł koreferencji zaimków dla języka polskiego w terminach HPSG. Praca doktorska, czerwiec 2001.

  85. Matuszewski A., Trojanowski K.: Models of multiple response independence, w: M. A. Kłopotek, M. Michalewicz, S. T. Wierzchoń (ed.), „Intelligent Information Sytems 2001, Physica-Verlag, pp. 209 – 220, Heidelberg-New York, 2001.

  86. Matuszewski A., Zwierzyńska E.: „Kwestionariusz Ja i Moja Szkoła – Podręcznik, monografia wydana przez Centrum Metodyczne Pomocy Psychologiczno-Pedagogicznej, 55 stron, 2001.- monografia.

  87. Matyja O., Szczesny W.: GradStat: the grade data analysis system. Raport wewnętrzny

  88. Mazurkiewicz, A., Wróblewski, D.: Messages, Clocks, and Gravitation, Proc. of the 2nd Intern. Workshop of CEEMAS'01 (2001), str. 163-172.

  89. Michalewicz Z., Eiben, A.E., Hinterding R.: Parameter Selection, chapter in Evolutionary Computation, Kluwer Academic, 2001.

  90. Michalewicz Z., Schmidt M.: Evolutionary Algorithms and Constrained Optimization, chapter in Evolutionary Computation, Kluwer Academic, 2001.

  91. Michalewicz Z., Schoenauer M.: Evolutionary Algorithms, in Encyclopedia of Information Systems, Academic Press, 2001

  92. Michalski R. S., Kaufman K.: „Learning Patterns in Noisy Data: The AQ Approach, Machine Learning and Applications, G. Paliouras, V. Karkaletsis and C.D. Spyropoulos (editors), Springer-Verlag Publisher

  93. Mokrzycki W. S.: A line-by-line analysis method for the filtration and segmentation of motion mask maps with automaticly selected noise threshold.

  94. Mykowiecka A.: Polish Relatives with the Marker `co', Proceedings of the Generative Linguistics in Poland Conference, IPI PAN, 2001

  95. Nędza J., Pleszczyńska E., Szczesny W.: Szanse integracji zawodowej osób niepelnosprawnych na podstawie doświadczeń organizacji społecznych z Polski i Niemiec, referat na stronie http://lodz.idn.org.pl

  96. Nowak T., Ambroszkiewicz S.: A New Concept of Agent Architecture in Agentspace. In Proc. Second Asia-Pacific Conference on IAT, World Scientific Publishing Co. Pte. Ltd. 2001, ISBN 981-02-4706-0

  97. Ochmański E.: On conflict-free executions of elementary nets, Proceedings of the 14th International Conference on Systems Science, ss. 101-114, Wroclaw 2001.

  98. Paliwoda M., Kłopotek M. A.: Metody dyskretyzacji w odkrywaniu wiedzy w bazach danych. XV Ogólnopolskie Konwersatorium „Sztuczna Inteligencja 2001”, Siedlce, 28.11.2001

  99. Pasupathy K.M.K., Liu J., Wilhelm R.G., Michalewicz Z.: An Evolutionary Algorithm for Spatial Allocation of Fluidpower Valves on Valve-stand, Proceedings of the 2001 Congress on Evolutionary Computation (CEC2001), Seoul, Korea, May 27-30, 2001.

  100. Pawłowski W.: Presentations for Abstract Context Institutions in M.Cerioli and G. Reggio, editors, 15th International Workshop on Algebraic Development Techniques joint with the CoFI WG Meeting Genova, April 2001 - Selected Papers, LNCS vol. 2267, Springer-Verlag 2001.

  101. Penczek W.: Efficient model checking of causal-knowledge protocols, Proc. of CEEMAS'01, pp. 217 - 226, 2001.

  102. Penczek W., Dembiński P., Półrola A.: Automated verification on infinite state concurrent systems: an improvement in model generation. Raport wewnętrzny

  103. Penczek W., Woźna B.:Towards Bounded Model Checking for Timed Automata, Proc. of CS&P, Warsaw, pp. 195-209, 2001.

  104. Penczek W., Półrola A.: Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets, Proc. of ICATPN, LNCS 2075, pp. 323--342, 2001.

  105. Penczek W.: A local approach to modal logic for multi-agent systems, Proc. of Workshop on Logic and Logical Philosophy, Dresden, 2001.

  106. Penczek W.: Automatyczna weryfikacja systemów zależnych od czasu, Działalność naukowa PAN, pp. 115 - 117, Maj 2001.

  107. Penczek W.: Model checking for modal logics,Proc. of Workshop on Theory and Applications of Multiple-Valued Logic, Warsaw, pp. 85 - 90, 2001.

  108. Piotrowski R., Babecki S., Stemposz E., Subieta K.: Quality – aplikacja wspomagająca systemowe zarządzanie jakością, III Krajowa Konferencja Inżynierii Oprogramowania KKIO’2001, Otwock, 17-20 październik 2001, Wydawnictwo Mikom, Warszawa 2001.

  109. Pleszczyńska E., Szczesny W.: Grade explorating methods applied to some medical data sets. Biocybernetics and Biomedical Engineering, vol. 22, 1, 2002.

  110. Pleszczyńska E., Szczesny W.: Ocena środowiska pracy i życia osób z ciężką dysfunkcją narządu ruchu, W: Lewandowski J. (Red.) „Ergonomia Niepełnosprawnym, Środowisko Pracy MKEN’2000”, Wydawnictwo Politechniki Łódzkiej, Łódź 2000, 191-204

  111. Płodzień J., Subieta K.: Static Analysis of Queries as a Tool for Static Optimization, materiały konferencji IDEAS, ss. 117-122, IEEE Computer Society, 2001

  112. Płodzień J., Subieta K.: „Applying Low-Level Query Optimization Techniques by Rewriting”, materiały konferencji DEXA, Springer LNCS 2113, ss. 867-876, 2001

  113. Płodzień J., Subieta K.: „Query Optimization through Removing Dead Subqueries”, materiały konferencji ADBIS, Springer LNCS 2151, pp. 27-40, 2001.

  114. Przepiórkowski A., Bański P.: Generative Linguistics in Poland: Syntax and Morphosyntax, IPI PAN, Warszawa, 212 stron, 2001.

  115. Przepiórkowski A., Kupść A., Marciniak M., Mykowiecka A.: Formalny opis języka polskiego. Teoria i implementacja. Akademicka Oficyna Wydawnicza, EXIT, Warszawa, 330 stron, 2001.

  116. Przepiórkowski A.: Predicative Case Agreement with Quantifier Phrases in Polish, w: The Proceedings from the Main Session of the Chicago Linguistic Society's Thirty-sixth Meeting, Chicago, strony 343-354, 2000.

  117. Przepiórkowski A.:Predicative Case Agreement with Quantifier Phrases in Polish, w: Generative Linguistics in Poland: Syntax and Morphosyntax, Warszawa, strony 159-169, 2001.

  118. Raś Z.: Action-rules: the role of attributes in flexible object classification, with S. Gupta , in Proceedings of the Workshop on Concurrency Specification and Programming, University of Warsaw, Poland, October 3-5, 2001, 210-217.

  119. Raś Z., Wieczorkowska A.: Audio content description in sound databases, in Web Intelligence: Research and Development, (Eds. N. Zhong, Y. Yao, J. Liu, S. Ohsuga), Proceedings of WI'01, Maebashi City, Japan, LNCS/LNAI 2198, Springer-Verlag, 2001, 175-183.

  120. Raś Z., Wieczorkowska A.: Indexing audio databases with musical information, in Proceedings of SCI'01, Volume 10, Orlando, Florida, July 22-25, 2001, 279-285.

  121. Raś Z.: Intelligent Information Systems, Special Issue, Z.W. Ras, E. El-Kwae (editors), Fundamenta Informaticae Journal, IOS Press, Vol. 47, No. 3/4, 2001(about 200 pages)

  122. Raś Z.: Query answering based on distributed knowledge mining, in Intelligent Agent Technology, Research and Development, (Eds. N. Zhong, J. Liu, S. Ohsuga, J.Bradshaw), Proceedings of IAT'01, Maebashi City, Japan, World Scientific Publishers, 2001, 17-27 (Invited Paper)

  123. Raś Z.: Reducts-driven query answering for distributed knowledge systems, International Journal of Intelligent Systems, John Wiley & Sons, 2001. Raport wewnętrzny

  124. Raś Z.: The role of support and confidence in collaborative query answering, in Intelligent Information Systems, Advances in Soft Computing, Proceedings of the Tenth International Conference, IIS'2001, Zakopane, Poland, Physica-Verlag, 2001, 221-226.

  125. Roantree M., Subieta K.: Generic Applications for Object-Oriented Databases. Raport wewnętrzny

  126. Schroeder L., Mossakowski T., Tarlecki A.: Amalgamation in CASL via enriched signatures. W: Proc. 28th Intl. Coll. on Automata, Languages and Programming ICALP'01, F. Orejas, P. Spirakis, J. van Leeuwen, eds., Lecture Notes in Computer Science 2076, 993-1004, Springer-Verlag 2001.

  127. Schroeder L., Mossakowski T., Tarlecki A., Klin B., Hoffman P.: Semantics of architectural specifications in CASL. W: Proc. 2nd Conf. on Foundamental Aspects of Software Engineering FASE'01, ETAPS'2001, Genova, April 2001, H. Hussman, ed., Lecture Notes in Computer Science 2029, 253-266, Springer-Verlag 2001.

  128. Seredyński F., Koronacki J., Janikow C. Z.: Distributed multiprocessor scheduling with decomposed optimization criterion, Future Generation Computer Systems 17, 2001, 387-396

  129. Seredyński F., Święcicka A., Zomaya A., Y.: Discovery of Parallel Scheduling Algorithms in Cellular Automata-based Systems, International Parallel & Distributed Processing Symposium, San Francisco, California, USA, April 23-27, 2001, 2001 IEEE (na CD ROM)

  130. Seredyński F.: Evolving Cellular Automata-Based Algorithms for Multiprocessor Scheduling, w A. Y. Zomaya, F. Ercal, S. Olariu (eds.), Solutions to Parallel and Distributed Computing Problems, Wiley, 2001, 179-207

  131. Seredyński F.: Scheduling Tasks in Multiprocessors with use of Centralized Multi-Agent System, w R. Schaefer, S. Sędziwy (eds.) Advances in Multi-Agent Systems, Wydawnictwo Uniwersytetu Jagielońskiego, 2001, 25-43.

  132. Skowroński K., Jodłowski A., Kośmider C.: Exploring discretization algoritms: Intelligent Information Systems X, Communications of the 10th International Symposium. ICS PAS Reports Nr 928. Warszawa, June 2001, pp.76-81.

  133. Sokolowski S.: Reducing dicylinder po-sets to simpler constructions on more complex po-spaces. Raport wewnętrzny May 2001

  134. Sokołowski S.: A new notion of dimap, and the functoriality of the fundamental po-set Omega1. Raport wewnętrzny
    March 2001.

  135. Sokołowski S.: Categories of dimaps and their dihomotopies in po-spaces and local po-spaces.Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory GETCO'01 (Aalborg, Denmark), BRICS Notes Series 01-7, pp.77-97, 2001.

  136. Sokołowski S.: Investigation of concurrent processes by means of homotopy functors. 38 pages. Raport wewnętrzny.

  137. Srebrny M., Jakubowska G.: Specification of timed authentication protocols with colored Petri nets, w: Advanced Computer Systems, Part I, Wydawnictwo INFORMA, Szczecin, str. 381-390, 2001.

  138. Stasiecka A., Stemposz E., Subieta K.: Repozytorium ponownego użycia dla potrzeb środowiska osób niepełnosprawnych, MKEN, Łódź , 15-17 listopada 2001. Raport wewnętrzny.

  139. Stasiecka A., Stemposz E., Subieta K.: Query Processing in Distributed Object-Oriented Databases, raport wewnętrzny

  140. Stawowy M., Mokrzycki W. S.: Application of image analysis to detection of collisions on motion of vehicles and people on road's traffic. Proc. TRANSCOM 2001, 25-27 June, Zilina, 13-22.

  141. Stawowy M., Mokrzycki W. S.: Zastosowanie analizy obrazów do detekcji kolizji w ruchu pojazdów i pieszych. Mat. Konf. pn. Transport XXI wieku, Warszawa, PW i PAN, 19-21 IX, 225-234.

  142. Stemposz E., Stasiecka A., Subieta K., Babecki S.: A Web Portal and Reuse Repository for Disabled People, AAATE ‘01, Ljubljana, Slovenia, 3-6 września 2001, IOS Press, Amsterdam 2001

  143. Stemposz E.: Język modelowania danych UML, referat proszony na II Seminarium PLOUG (Seminarium użytkowników i deweloperów ORACLE), Warszawa, 29 maja 2001

  144. Subieta K., Płodzień J: Object Views and Query Modification, w monografii Databases and Information Systems (eds. J. Barzdins, A. Caplinskas), Kluwer Academic Publishers, ss. 3-14, 2001.

  145. Subieta K.: Obiektowość jako paradygmat w projektowaniu systemów zarządzania informacją. Referat zaproszony. Materiały VII Forum Teleinformatyki, Legionowo 2001.

  146. Szczesny W., Matyja O.: Using grade correspondence analysis to merge populations and detect latent orders. In: Kłopotek M., Michalewicz M., Wierzchoń T.S. (Eds) Advances in soft computing: „Intelligent Information Systems 2001”, Proceedings of the „Intelligent Information System X”, June 18-22, 2001, Zakopane, Poland, Physica-Verlag,, 2001, 111-120.

  147. Szczesny W.:Grade correspondence analysis applied to contingency tables and questionnarire data, Intelligent Data Analysis, vol 5 (2001), 1-35.

  148. Śliwka M., Trojanowski K.: Hopping Channel Assignment for VHF Combat Radio Nets with Evolutionary Techniques - Perspectives, Proceedings of RCMCIS'2001, NATO Regional Conference on Military Communications and Information Systems 2001, Zegrze, Poland, October 10-12, 2001, Military Communication Institute Press, Zegrze 2001, pp. 220-225, 2001.

  149. Święcicka A., Seredyński F., Jazdzyk M.: Cellular Automata Approach to Scheduling in Case of Modifications of a Program Graph, w M. Kłopotek, M. Michalewicz, S.T. Wierzchoń (eds.) Intelligent Information Systems 2001, Physica-Verlag, 2001, 155-166.

  150. Świniarski R., Hargis L.: Rough Sets as a Front end of Neural Networks Texture Classifiers. Neurocomputing Journal. A special issue on Rough-Neuro Computing, Vol 36, pp. 85-102, February, 2001.

  151. Świniarski R., Rumchev V.: Modeling of Positive Linear Discrete-Time Systems Using 6. Perceptron Neural Network. Proceedings of Western Multiconference 2001, International Conference on Simulation and Multimedia in Engineering Education. Phoenix, Jan 7- 11,2001, pp. 37-42.

  152. Świniarski R., Skowron A.: „Rough Sets Methods in Feature Selection and Recognition”. Pattern Recognition Letter, 2001-12-03 (in revision).

  153. Świniarski R., Świniarska A.: Comparison of Feature Extraction and Selection Methods in Mammogram Recognition. Proceedings of the 2001 International Conference On Mathematical and Engineering Techniques in Medicine and Biological Sciences. Las Vegas, June 25-28, 2001, pp. 427-431.

  154. Świniarski R., Thuc Luu, Świniarska A., Hendrik Tanto. Data Mining and On-line Recognition of Mammographic Images Based on Haar Wavelets, Principal Component Analysis and Rough Sets Methods. International SPIE Symposium Medical Imaging 2001. San Diego, Febr. 17-23, 2001.

  155. Świniarski R.: Rough Sets and Their Applications to Feature Selection. International Journal of Applied Mathematics and Computer Sciences. In print (2001). Raport wewnętrzny. Thompson J. R., Koronacki J.: Statistical Process Control: The Deming Paradigm and Beyond, Second Edition, CRC Press/Chapman & Hall 2001, 480 stron.

  156. Trojanowski K., Obuchowicz A.: Measures for Non-Stationary Optimization Tasks, Proceedings of ICANNGA'2001, the 5th International Conference on Artificial Neural Networks and Genetic Algorithms, Prague, Czech Republic, April 22-25, 2001, Springer-Verlag, Wien 2001, pp. 244-247, 2001.

  157. Trzaska M., Stasiecka A., Stemposz E., Subieta K.: Bazy wiedzy dla firm software’owych ze wspomaganiem analizy ryzyka, III Krajowa Konferencja Inżynierii Oprogramowania KKIO’2001, Otwock, 17-20 październik 2001, Wydawnictwo Mikom, Warszawa 2001.

  158. Tudruj M., Maśko Ł.: A Parallel System Architecture Based on Dynamically Configurable Shared Memory Clusters, Parallel Processing and Applied Mathematics 2001, Nałęczów, Poland, 4-6 Sept. 2001, stron 10.

  159. Tudruj M., Maśko Ł.: An Architecture and Task Scheduling Algorithm for Systems Based on Dynamically Reconfigurable Shared Memory Clusters, Proceedings of the NATO Adanced Research Workshop on Advanced Environments, Tools and Applications for Cluster Computing, Mangalia, Romania, 1-6 Sept. 2001, stron 12.

  160. Tudruj M., Maśko Ł.: Program Execution Control in a System Based on Dynamic Switching of Processors between SMP Clusters, Raport wewnętrzny IPI PAN, Warszawa 2001.

  161. Tudruj M., Maśko Ł.: Task Scheduling for Dynamically Configurable Multiple SMP Clusters Based on Extended DSC Approach, Parallel Processing and Applied Mathematics 2001, Nałęczów, Poland, 4-6 Sept. 2001, stron 10 .

  162. Tudruj M.: Embedded Cluster Computing Through Dynamic Reconfigurability of Inter-Processor Connections, referat zaproszony na NATO Advanced Research Workshop on Advanced Environments, Tools and Applications for Cluster Computing, Mangalia, 1-6 Sept. 2001, stron 15.

  163. Ursem, R.K., Krink T., Jensen M.T., Michalewicz Z.: Analysis and Modeling of Control Tasks in Dynamic Systems, IEEE Transactions on Evolutionary Computation, accepted.

  164. Wagner N. Michalewicz Z.: Genetic Programming with Efficient Population Control for Financial Time Series Prediction, Proceedings of the GECCO'2001 (Late Breaking Papers).

  165. Wieczorek A.: Elements of characteristics of large players in large games: I. Production, raport wewn. IPI PAN, Warszawa, 2001

  166. Wieczorek A.: Elements of characteristics of small players in large games: I. Consumption, raport wewn. IPI PAN, Warszawa, 2001.

  167. Wieczorek A.: Game-theoretic methods in infinite household economies, International Conference on Logic, Game Theory and Social Choice, Wydawnictwo Uniwersytetu w St. Petersburgu, 2001.

  168. Wieczorek A.: Numerical methods and game-theortic analysis of large scale individual production and consumption processes, Prace IPI PAN 933, Warszawa, 2001.

  169. Wierzchoń S. T., Kłopotek M. A: Evidential Reasoning. An Interpretative Approach. Manuskrypt książki 300 stron.

  170. Wierzchoń S. T., Kużelewska U.: An artificial immune network as a tool for data analysis and clustering. VIII Warsztaty Naukowe PTSK Symulacja w Badaniach i Rozwoju. PTSK, Centrum Informatyczne TASK, Politechnika Gdańska. Book of Abstracts. Gdańsk-Sobieszewo, 30.08-01.I09.2001, A75.

  171. Wierzchoń S. T.: Deriving concise description of non-self patterns in an artificial immune system. L.C. Jain, J. Kacprzyk, eds. New Learning Paradigm in Soft Computing. Physica/Springer Verlag 2001, 438-458.

  172. Wierzchoń S. T.: Function optimization and approximation by the immune metaphor. VIII Warsztaty Naukowe PTSK Symulacja w Badaniach i Rozwoju. PTSK, Centrum Informatyczne TASK, Politechnika Gdańska. Book of Abstracts. Gdańsk-Sobieszewo, 30.08-01.09.2001, A74.

  173. Wierzchoń S. T.: Multimodal optimization with artificial immune system. M.A. Kłopotek, M. Michalewicz, S.T. Wierzchoń, eds. Intelligent Information Systems 2001. Physica/Springer Verlag, 2001, 167-179.

  174. Wierzchoń S. T.: Sztuczne systemy immunologiczne. Teoria i zastosowania. Akademicka Oficyna Wydawnicza EXIT, Warszawa 2001. ISBN 83-87674-30-3, 282 s. - monografia.

  175. Winkowski J.: A model of evolving relational structures and its application to plan-formation, Prace IPI PAN Nr 929.

  176. Winkowski J.: Reachability in contextual nets, Prace IPI PAN Nr 926, Maj 2001, oraz Proceedings of CS and P'2001, str.291-302.

  177. Wiszniewska-Matyszkiel A.: „Dynamic game with continuum of players modelling „tragedy of the commons””, Game Theory and Applications 5, eds. L. A. Petrosjan, V.V. Mazalov, 2001, 162-187.

  178. Wiszniewska-Matyszkiel A.: „Eksploatacja ekosystemów a teoria gier I: gry deterministyczne niekooperacyjne” Matematyka Stosowana 2(43), 2001, 12-31.

  179. Wiszniewska-Matyszkiel A.: „Existence of pure equilibria in games with nonatomic space of players”. Topological Methods in Nonliner Analysis 16, 2000, 339-349.

  180. Włodarczyk R. R., Jahnz-Różyk K., Płusa T., Matuszewski A.: Efficiency of transthoracic fine-needle aspiration biopsy in lung cancer diagnosis as a function of patient characteristic, raport techniczny przygotowany na kongres:Annual Congress of European Respiratory Society, Berlin, 22-26 września 2001.

  181. Woliński M., Przepiórkowski A.: Projekt tagsetu dla planowanego korpusu języka polskiego, IPI PAN, manuskrypt.

  182. Wu W. B., Mielniczuk J.: Density estimation for dependent data. Raport wewnętrzny.

  183. Wysocki W.: Lokalne własności m-wymiarowych kopuł archimedesowskich. Raport wewnętrzny.

  184. Wysocki W.: Nieparametryczne miary zależności dla m-wymiarowych kopuł archimedesowskich. Raport wewnętrzny.

  185. Wysocki W.: Properties of diagonal sections of m-dimensional Archimedean copulas. Raport wewnętrzny.

  186. Żytkow J., Arredondo D.: Mining the Preference Relations and Preference Graphs, In: M.A.Kłopotek, S.T.Wierzchoń, M. Michalewicz (eds): Intelligent Information Systems 2001. Advances in Soft Computing. Physica/Springer Verlag, Heidelberg New York 2001. ISBN-3-7908-1407-5. pp. 121-132
      Recent Publications Info  Back to Research Projects Information.    
  webmaster@IPIPAN.Waw.PL Copyright by ICS PAS - 2003