General Info   Events   Staff   Research   Scientific Council   Conferences   Seminars   Recent Publications   Library   Publishing Centre   Staff Services   Links 
Recent Publications \ 2000 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
2000

ICS PAS employees publications in 2000

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


  1. Ambroszkiewicz S., Cetnarowicz K., Koźlak J., Nowak T., Penczek W.: Modeling Agent Organizations, in M.A. Kłopotek, M. Michalewicz, S.T. Wierzchoń (eds) Intelligent Information Systems. Advances in Soft Computing. Physica-Verlag (a Springer-Verlag Company), 2000 (135-144)

  2. Ambroszkiewicz S., Cetnarowicz K., Koźlak J., Penczek W.: Modeling Agent Organizations. Proc. of Special Session on Agent-Based Simulation, Planning and Control of the 16th IMACS World Congress 2000 on Scientific Computation. Applied Mathematics and Simulation, EPFL, Lausanne, Switzerland, 21-25 August 2000

  3. Ambroszkiewicz S., Cetnarowicz K., Penczek W.: Towards Flexible Architecture of Middle Agent: common ontology, and knowledge. Proc. of AT2AI-2 Second International Symposium “From Agent Theory to Agent Implementation” held at the 15th European Meeting on Cybernetics and Systems Research (EMCSR 2000) April 25-28, Vienna, 2000

  4. Ambroszkiewicz S., Penczek W., Nowak T.: Towards Formal Specification and Verification in Cyberspace. Proc. of the first Goddard Workshop on Formal Approaches to Agent-Based Systems, 6th-7th April 2000, NASA Goddard Space Flight Center, Greenbelt, MD, USA

  5. Ambroszkiewicz S.: Interoperability in Agentspace: proposal of agent interface to environment. Proc. of Workshop on Semantic Web: Models, Architectures and Management (http://www.ics.forth.gr/proj/isst/SemWeb/) at Fourth European Conference on Research and Advanced Technology for Digital Libraries, Lisbon, 18 - 21 September, 2000

  6. Ambroszkiewicz S.: Towards Semantic Interoperability in Cyberspace. Proc. of FQAS 2000 (Fourth International Conference on Flexible Query Answering Systems), October 25-28, 2000, Warsaw. Advances in Soft Computing. Physica-Verlag (a Springer-Verlag Company), 2000 (528 – 537)

  7. Ansari Q.H., Idzik A., Yao J.C.: Coincidence and fixed point theorems with applications. Topological Methods in Nonlinear Analysis 15, 2000 (191-202)

  8. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brueckner, B., Mosses, P., Sannella, D., Tarlecki A.: CASL: The Common Algebraic Specification Language. Theoretical Computer Science, Special Issue on “Current trends in Algebraic Development Techniques”. Raport wewnętrzny IPI PAN, 2000

  9. Avron A., Konikowska B.: Decomposition Proof Systems for Goedel-Dummet Logics. Special Issue of Studia Logica: Analytic Proof Techniques, R. Dyckhoff (ed), 2000

  10. Badouel E., Bednarczyk M.A., Darondeau P.: Generalized Automata and Their Net Representations. Raport wewnętrzny IPI PAN, 2000 (przyjęte do monografii Advances in Petri Nets: “Unifying Petri Nets”)

  11. Bański P., Przepiórkowski A. (eds): GliP-1. Generative Linguistics in Poland. IPI PAN, Warszawa, 2000 (180 stron)

  12. Bednarczyk M. A., Borzyszkowski A. M., Somla R.: Finite Completeness of Categories of Petri Nets. Fundamenta Informaticae, Vol 43, no 1-4 (21-48), 2000

  13. Bednarczyk M. A., Borzyszkowski A. M.: On Concurrent Realizations of Reactive Systems and Their Morphisms. Raport wewnętrzny IPI PAN, 2000 (przyjęte do monografii Advances in Petri Nets: “Unifying Petri Nets”

  14. Bednarczyk M.A., Pyrchla J., Stateczny A.: Location of an accident at sea in the SAR system. Toward a formalization of the problem. Scientific Bulletin no 55, Szczecin Maritime University

  15. Bednarczyk M.A., Pyrchla J.: Fuzzy Sets to the Rescue. Intelligent Information Systems IX. Proc. of the Workshop held in Bystra, Poland 12-16 June, 2000 (7-15)

  16. Bednarczyk M.A., Pyrchla J.: Zbiory rozmyte w planowaniu poszukiwań morskich. Materiały II Sympozjum ,,Nawigacja Zintegrowana”, Szczecin, 25-26 maja 2000 (63-77)

  17. Bylka S.: Competitive and cooperative policies for the single-vendor-single-buyer system. Raport wewnętrzny IPI PAN, 2000 (oddana do: International Journal of Production Economics)

  18. Bylka S.: Competitive policies for the single-vendor-multi-buyer system. Raport wewnętrzny IPI PAN, 2000 (przedstawiona na 11th Symposium on Inventory Systems, Budapeszt, 2000)

  19. Bylka S.: Improving rolling horizon heuristics for dynamic lot-sizing problems w Inventory Modelling. (A selection of research papers presented at the fourth ISIR Summer School), R. Hill and D. Smith (eds), School of Mathematical Sciences, University of Exeter, 1999 (13-19)

  20. Ciok A., Kowalczyk T., Matyja O., Pleszczyńska E., Szczesny W.: Visualization of grade statistical parameters and methods implemented in GRAD.STAT, in: Jansen W., Bethlehem J.G. (eds) Proc. in Computational Statistics COMPSTAT 2000, 14 Symposium held in Utrecht. Short Communication and Posters. Statistics Netherlands, 2000 (21-22)

  21. Ciok A., Kowalczyk T., Matyja O., Pleszczyńska E., Szczesny W.: Zastosowanie metod gradacyjnej analizy danych i systemu GRAD.STAT v1.0 do zbadania związków między informacją o kandydacie do WOSP w Dęblinie a nieukończeniem przezeń studiów. Raport wewnętrzny IPI PAN, 2000

  22. Ciok A.: Double versus optimal grade clusterings, in: Kiers H.A.L., Rasson J.-P., Groenen P.J.F., Schader M. (Eds.), Data Analysis, Classification, and Related Methods, Springer 2000 (41-46)

  23. Ciok A.: Grade approach to skewness. Wersja rozszerzona. Raport wewnętrzny IPI PAN, 2000

  24. Ciok A.: On regular discretization of a pair of variables. Raport wewnętrzny IPI PAN, 2000

  25. Ciok A.: Significance testing in the grade correspondence analysis. Raport wewnętrzny IPI PAN, 2000 (zgłoszone na IIS 2001)

  26. Ciok A.: Trend forecasting in qualitative business survey of the Polish retail trad. Raport wewnętrzny IPI PAN, 2000 (przyjęte do Statistics in Transition)

  27. Clarke E., Goltz U., Niebert P., Penczek W. (eds): Temporal Logics for Distributed Systems - Paradigms and Algorithms, Dagstuhl-Seminar-Report 254, 2000

  28. Cytowski J., Gielecki J.: Komputerowa analiza obrazów i modelowanie przepływów. Monografia, 2000 (oddano do Akademickiej Oficyny Wydawniczej – 231stron)

  29. Ćwik, J., Koronacki, J., Mielniczuk, J.: Testing for a difference between conditional variance functions of nonlinear time series. Control & Cybernetics 29 (33-50), 2000

  30. Dembiński P.: Distributed and Randomized Enumeration. Proc. of the 8th Euromicro Workshop on Parallel and Distributed Processing (PDP 2000). IEEE Society Press, 2000

  31. Dembiński P.: A distributed algorithm for dynamic resource allocation: development and validation in Estelle. Prace IPI PAN nr 907, 2000

  32. Dobrzański W., Srebrny M.: Distributed password for quorum and vet o. Materiały konferencji "Zastosowania algebry IV". Zakopane 2000\024

  33. Drabent W., Małuszyński J., Pietrzak P.: Locating Type Errors in Untyped CLP Programs, w: M. Hermenegildo, P. Deransart, J. Małuszyński, Analysis and Visualization Tools for Constraint Programming, LNCS 1870, Springer-Verlag, 2000 (121-150)

  34. Drabent W., Małuszyński J., Pietrzak P.: Type-based Diagnosis of CLP. Electronic Notes in Theoretical Computer Science, 30(4), Elsevier Science, 2000 (20 stron) (http://www.elsevier.nl/locate/entcs/volume30.html
    http://www.elsevier.nl/gej-ng/31/29/23/55/25/show/Products/notes/index.htt )

  35. Drabent W., Małuszyński J., Pietrzak P.: Using parametric set constraints for locating errors in CLP programs. Raport wewnętrzny IPI PAN, 2000 (50 stron) (zgłoszone do Theory and Practice of Logic Programming -Cambridge University Press), 2000

  36. Düntsch I., Konikowska B.: A multimodal logic for reasoning about complementarity. Journal for Applied Non-Classical Logics, Vol 10, No 3, 2000

  37. Dzedzej Z., Idzik A., Izydorek M.: Borsuk-Ulam type theorems on product spaces I. Bulletin Polish Acad. Sci. Math. 48 (379-386) 2000

  38. Dzedzej Z., Idzik A., Izydorek M.: Borsuk-Ulam type theorems on product spaces II. Topological Methods in Nonlinear Analysis 14, 1999 (345-352)

  39. Eiben A.E., Jansen B., Michalewicz Z., Paechter B.: Solving CSPs with Using Self-adaptive Constraint Weights: How to prevent EAs from Cheating. Proc. of the Genetic and Evolutionary Computation Conference (GECCO 2000), Las Vegas, Nevada, July 8-12, 2000 (128-134)

  40. Fajstrup L., Sokołowski S.: Infinitely running concurrent processes with loops from a geometric viewpoint. GETCO 2000 - Geometric and Topological Methods in Concurrency, Penn State University, State College, Pennsylvania, USA, 21 August 2000 (workshop associated with CONCUR 2000) (21 stron)

  41. Fogel D., Michalewicz Z. (eds): Evolutionary Computation: Advanced Algorithms and operators. Institute of Physics, London, 2000

  42. Fogel D., Michalewicz Z. (eds): Evolutionary Computation: Basic Algorithms and operators. Institute of Physics, London, 2000

  43. Grzegorek M., Mokrzycki W.: Implementacja i badania proceduralnej metody filtracji i segmentacji maski ruchu. Prace IPI PAN nr 920, 2000

  44. Hajnicz E.: Properties of constraint propagation algorithm for non-linear point time. Raport wewnętrzny IPI PAN, 2000

  45. Hajnicz E.: Representing solid intervals by means of point skeletons. Prace IPI PAN nr 912, 2000

  46. Holec M., Bednarczyk M.A., Pyrchla J.: Problem określenia i hierarchizacji czynników wpływających na dokładność obserwacji nawigacyjnych. XII Międzynarodowa Konferencja Naukowo-Techniczna “Rola Nawigacji w Zabezpieczaniu Działalności Ludzkiej na Morzu”, Gdynia, 16-17 listopada 2000 (199-211)

  47. Honsell F., Longley J., Sannella D., Tarlecki A.: Constructive data refinement in typed lambda calculus. Proc. of 2nd Conference on Foundations of Software Science and Computation Structures FoSSaCS 2000, ETAPS 2000, Berlin, March 2000, J. Tiuryn, (ed), LNCS 1784 (161-177), Springer-Verlag 2000

  48. Ichiishi T., Idzik A.: Equitable allocation of divisible goods. Journal of Mathematical Economics 32, 1999 (389-400)

  49. Ichiishi T., Idzik A.: Market allocation of indivisible goods. Journal of Mathematical Economics 32, 1999 (457-466)

  50. Ichiishi T., Idzik A.: On a covering theorem. Raport wewnętrzny IPI PAN, 2000

  51. Idzik A., Tuza Z., Zhu X.: Cut-vertices in edge-coloured complete graphs. Raport wewnętrzny IPI PAN, 2000

  52. Idzik A., van de Vel M.: Almost fixed point theorems I. Raport wewnętrzny IPI PAN, 2000 (przedstawiona na World Congress of Nonlinear Analysis, Catania, 2000)

  53. Kępski R., Cytowski J., Buchner T.: Application of adaptive filtering in High resolution ECG. Biocybernetics and Biomedical Engineering 2000, Vol 20, No 1 (27-35)

  54. Kępski R., Cytowski J., Her P., Buchner T.: Wybrane procedury przetwarzania sygnałów elektrokardiograficznych. Rozdział 6 w: Biocybernetyka i inżynieria biomedyczna 2000 tom 2, Warszawa, (w druku) (26 stron)

  55. Kępski R., Cytowski J.: Rejestracja zmiennego dynamicznie elektrokardiogramu wysiłkowego przy zastosowaniu filtracji adaptacyjnej. Raport wewnętrzny IPI PAN, 2000 (oddane do: Polskiego Przeglądu Kardiologicznego, Łódź)

  56. Khouja M., Michalewicz Z., Satoskar S.: A Comparison between Genetic Algorithms and the RAND Method for Solving the Joint Replenishment Problem. Production Planning & Control, Vol 11, No 6, 2000 (556-564)

  57. Kies P., Michalewicz Z.: Podstawy algorytmów genetycznych. Matematyka Stosowana, Vol 1, No 42, Warsaw, 2000 (68-91)

  58. Kłopotek M.A., Jodłowski A., Skowroński K., Wierzchoń S, Michalewicz M., Bednarczyk M.A., Pawłowski W.: Zastosowanie metod dynamicznej sztucznej inteligencji w integracji systemów oceny wiarygodnosci kredytów. Raport wewnętrzny 2000

  59. Kłopotek M.A., Michalewicz M., Wierzchoń S.T. (eds): Intelligent Information Systems IX. Proc. of the Workshop held in Bystra, Poland 12-16 June, 2000

  60. Kłopotek M.A., Michalewicz M., Wierzchoń S.T. (eds): Intelligent Information Systems. Advances in Soft Computing Series of Physica-Verlag (a Springer-Verlag Company), Heidelberg/New York 2000. ISBN
    3-7908-1309-5 (364 strony)

  61. Kłopotek M.A., Skowroński K., Jodłowski A., Wierzchoń S.T., Michalewicz M., Bednarczyk M.A., Pawłowski W.: An Application of Dynamic AI Metods in the Integration of Computer Credit Scoring Systems”. Materiały IV Krajowej Konferencji “Algortytmy Ewolucyjne i Optymalizacja Globalna”, Lądek Zdrój, 5-8 czerwca 2000. Wyd. Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych (293-303) oraz H. Larsen, J. Kasprzyk, S. Zadrozny, T. Andreasen, H. Christiansen (eds): Flexible Query Answering System. Advances in Soft Computing Series. Physica Verlag/Springer Verlag, Heidelberg New York 2000 (560-569)

  62. Kłopotek M.A., Wierzchoń S.T.: Discovery of Bayesian Networks from Data with Maintenance of Partially Oriented Graphs, in: M. Kłopotek, M. Michalewicz, S. Wierzchoń (eds): Intelligent Information Systems. Advances in Soft Computing Series of Physica-Verlag (a Springer-Verlag Company), 2000 (277-288)

  63. Kłopotek M.A., Wierzchoń S.T.: Empirical Models for the Dempster-Shafer Theory. Raport wewnętrzny IPI PAN, 2000 (przyjęte do Rajendra P. Srivastava (ed): Belief Functions in Business Decisions)

  64. Kłopotek M.A., Wierzchoń S.T.: Partial D-Separation for Discovery of Bayesian Networks from Data. R. Trappl, (ed): Cybernetics and Systems. Proc. of EMCSR 2000, 25-28 April, 2000, Vienna. Austrian Society for Cybernetics, Vol 2 (707-712)

  65. Kłopotek M.A.: Fast Restricted Causal Inference. Demonstratio Mathematica, Vol XXXIII, No 2, 2000 (419-442)

  66. Kłopotek M.A.: Koncepcja uczenia się z wiedzą w sieciach neuronowych. Raport wewnętrzny IPI PAN, 2000 (ukaże się w materiałach SzI 2000)

  67. Kłopotek M.A.: On a Deficiency of the FCI Algorithm Learning Bayesian Networks from Data. Demonstratio Mathematica. Vol XXXIII, No 1, 2000 (181-194)

  68. Kłopotek M.A.: Probabilistic Neural Nets in Knowledge Intense Learning Tasks, in: M. Kłopotek, M. Michalewicz, S. Wierzchoń (eds): Intelligent Information Systems. Advances in Soft Computing Series of Physica-Verlag (a Springer-Verlag Company), 2000 (217-226)

  69. Kłopotek M.A.: Techniczne zastosowania strategii ewolucyjnych. Raport wewnętrzny IPI PAN, 2000 (ukaże się w materiałach SzI 2000)

  70. Konikowska B.: A Temporal logic for Concurrency Featuring an Undefined Value. Materiały z konferencji “Informatyka Teoretyczna. Analiza Informacji Niekompletnej i Rozproszonej” Białystok 26-28 listopada 1999 (37-48) Wydawnictwa Politechniki Białostockiej, Białystok 2000

  71. Konikowska B.: Many-valued modal logics, in: COST Action 15, Many-Valued Logics for Computer Science Applications, Atlas of Many-Valued Structures, L. Itrrurioz, E. Orłowska, E. Turunen (eds), Tampere University of Technology, Tampere 2000 (28-33)

  72. Konikowska B.: Rasiowa-Sikorski Deduction Systems - Foundations and Applications, in: R. Dyckshoff (ed.), Automated Reasoning with Analytic Tableaux and Related Methods. International Conference Tableaux 2000, St Andrews, Scotland, July 3-7, 2000, Position Papers and Tutorials (22-68) (http://www.dcs.st-and.ac.uk/~tab2000/Tutorials/Konikowska.ps)

  73. Konikowska B.: Rasiowa-Sikorski Deduction Systems in Computer Science Applications. Prace IPI PAN nr 916, 2000 (ukaże się w Special Issue of Journal Theoretical Computer Science on Algebraic Development Techniques, J. Fiadeiro (ed)

  74. Kowalczyk M., Mokrzycki W.S.: Generation of view of polyhedra using view sphere with perspective. Raport wewnętrzny IPI PAN, 2000 (zgłoszone do C&G)

  75. Kowalczyk T., Niewiadomska-Bugaj M.: Bivariate clustering based on decomposition of Kendall’s tau. Poster na “International Conference on Mathematical Statistics”. Szklarska Poręba, 21-25 sierpnia, 2000. Raport wewnętrzny IPI PAN, 2000

  76. Kowalczyk T., Niewiadomska-Bugaj M.: Decomposition of Kendall's ?: implications for clustering, Statistics and Probability Letters 48, 2000 (375-383)

  77. Kowalczyk T., Niewiadomska-Bugaj M.: New grade measure of monotone separability. Raport wewnętrzny IPI PAN, 2000

  78. Kowalczyk T.: Decomposition of Spearman’s rho with implications to clustering. Raport wewnętrzny IPI PAN, 2000

  79. Kowalczyk T.: Decomposition of Spearman's rho with implications to clustering. Raport wewnętrzny IPI PAN, 2000

  80. Kowalczyk T.: On decomposition of m x m statistical tables based on grade dependence measures. Control and Cybernetics, 2000, Vol 29, No 4

  81. Kupść A., Marciniak M., Mykowiecka, A. Przepiórkowski A.: Składniowe konstrukcje współrzędne w języku polskim. Próba opisu w HPSG. Prace IPI PAN nr 914, 2000

  82. Laskowski E.: Algorytmy szeregowania zadań w systemie rekonfigurowalnym z redundancją zasobów. Raport wewnętrzny IPI PAN, 2000

  83. Laskowski E.: Program Graph Scheduling in the Look-Ahead Reconfigurable Multi-procesdsor System. Proc. of the International Conference on Parallel Computing in Electrical Engineering, Trois-Rivieres (Canada), September 2000 (106-110)

  84. Lonc Z., Marek W., Srebrny M.: A combinatorial algorithm for sharing a key. Raport wewnętrzny IPI PAN, 2000

  85. Maćkiewicz A: New tensor method strategy for solving large games. Prace IPI PAN nr 901, 2000 (afiliacja IPI PAN – umowa o dzieło)

  86. Malawski M.: “Oceanic” probabilistic values. Raport wewnętrzny IPI PAN, 2000 (przedstawiona na 4th Spanish Meeting on Game Theory, Valencia, 2000)

  87. Malawski M.: Neutrality vs. profitability of some operators on characteristic function games. Raport wewnętrzny IPI PAN, 2000

  88. Marciniak M., Mykowiecka A., Kupść A., Węgiel M.: Klasyfikacja zjawisk syntaktycznych na potrzeby testowego zbioru wyrażeń języka polskiego. Prace IPI PAN nr 908, 2000

  89. Marciniak M., Mykowiecka A., Przepiórkowski A., Kupść A.: An HPSG-Annotated Test Suite for Polish. Proc. of LREC 2000, Ateny, 2000

  90. Marciniak M., Mykowiecka A., Przepiórkowski A., Kupść A.: An HPSG-Annotated Test Suite for Polish w: Proc. of the Formal Description of Slavic Languages 1999, Niemcy (w druku)

  91. Marciniak M.: Zestaw zdań testowych wraz z anotacją zjawiskami lingwistycznymi. Raport wewnętrzny IPI PAN, 2000 (http://www.ipipan.waw.pl/~agn/sentences.htm)

  92. Matuszewski A.: Chi-square type statistics for correlation assessment of two multiresponse survey questions. Intelligent Information Systems IX. Proc. of the Workshop held in Bystra, Poland 12-16 June, 2000 (83-88)

  93. Matyja O., Szczesny W.: Visualisation in prediction based on grade correspondence analysis, in: Kłopotek M.A., Michalewicz M., Wierzchoń S.T. (eds) Intelligent Information Systems. Advances in Soft Computing. Physica-Verlag (a Springer-Verlag Company), 2000 (289-301)

  94. Mazurkiewicz A.: Ordering of Texts by Contents. Studia Kognitywne 3, 1999 (ukazało się w 2000)

  95. Michalewicz M., Juda-Rezler K., Trojanowski K., Matuszewski A., Michalewicz Z., Trojanowski M.: Evolutionary Real-Time Optimization System for Ecological Power Control, in: Kłopotek M.A., Michalewicz M., Wierzchoń S.T. (eds) Intelligent Information Systems. Advances in Soft Computing. Physica-Verlag (a Springer-Verlag Company), 2000 (227-242)

  96. Michalewicz Z., Deb K., Schmidt M., Stidsen T.: Test-case Generator for Constrained Parameter Optimization Techniques. IEEE Transactions on Evolutionary Computation, Vol 4, No 3, 2000 (197-215)

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

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

  99. Michalski R., Cervone G., Kaufman K.: Speeding up Evolution trough Learning: LEM, in: Kłopotek M.A., Michalewicz M., Wierzchoń S.T. (eds) Intelligent Information Systems. Advances in Soft Computing. Physica-Verlag (a Springer-Verlag Company), 2000 (243-256)

  100. Mielniczuk J.,Wu, W.B.: Asymptotic normality of kernel density estimate under dependence: blocking method revisited. Raport techniczny Departamentu Statystyki, University of Michigan, 2000

  101. Mielniczuk J.: Some remarks on almost sure Central Limit Theorem for dependent sequences. Raport wewnętrzny IPI PAN, 2000 (przyjęte do Proc. of Fourth Hungarian Colloquium on Limit Theorems of Probability and Statistics)

  102. Mirkowska G., Salwicki A., Srebrny M., Tarlecki A.: First order specifications of programmable data types. Raport wewnętrzny IPI PAN, 2000 (przyjęte do SIAM Journal on Computing)

  103. Mokrzycki W.S.: Analiza sekwencji obrazów drogi z zastosowaniem proceduralnej filtracji i segmentacji maski ruchu. Raport wewnętrzny IPI PAN, 2000 (zgłoszone do AITiS PAN)

  104. Mokrzycki W.S.: O pewnej metodzie segmentacji maski ruchu z sekwencji obrazów drogi. Prace IPI PAN nr 915, 2000

  105. Mokrzycki W.S.: Widokowe 21/2W dokładne modele niewypukłych wielościanow do identyfikacji wizualnej. Prace IPI PAN nr 918, 2000

  106. Nowacki P., Pyćka G., Seredyński F.: Multiprocessor Scheduling with Support by Genetic Algorithms - based Learning Classifier System. Parallel and Distributed Processing, Springer, Berlin-Heidelberg-New York (604-611)

  107. Nowak T.: Platforma dla mobilnych agentów PEGAZ. Materiały konferencji “Inżynieria Wiedzy i Systemy Ekspertowe”, Wrocław, 2000

  108. Ochmański E.: On conflicts in elementary Petri nets. Prace IPI PAN nr 921, 2000

  109. Ossowski A., Żytkow J.M.: Geometrical Approach to a Coherent Set of Operational Definitions, in: M. Kłopotek, M. Michalewicz, S. Wierzchoń (eds). Intelligent Information Systems. Advances in Soft Computing. Physica-Verlag (a Springer-Verlag Company), 2000 (109-117)

  110. Pawłowski W.: Kontekstowe systemy logiczne w podstawach specyfikacji i konstruowania oprogramowania. Praca doktorska. Instytut Podstaw Informatyki PAN, 2000

  111. Penczek W., Szreter M., Gerth R., Kuiper R.: Improving Partial Order Reductions for Branching Time Properties. Fundamenta Informaticae, Vol 43, 2000 (245-267)

  112. Penczek W.: Partial order reductions for checking branching properties of Time Petri Nets. Proc. of CS&P, Berlin, 2000

  113. Penczek W.: Temporal Approach to Causal Knowledge. International Journal of the IGPL, Vol 8(1), 2000 (87-99)

  114. Penczek W.: Temporal Logic of Causal Knowledge. Materiały konferencji Informatyka Teoretyczna Metody analizy informacji niekompletnej i rozproszonej, 2000 (71-80)

  115. Pleszczyńska E., Szczesny W.: Grade explanatory methods applied to some medical data sets, in: Bobrowski L., Doroszewski J., Marubini E., Victor N. (eds). Lecture Notes of the ICB Seminars, Statistics and Clinical Practice, Warsaw, June 2000 (106-109) (zgłoszone do Biocybernetics and Biomedical Engineering)

  116. Pleszczyńska E., Szczesny W.: Ocena środowiska pracy i życia osób z ciężką dysfunkcją narządu ruchu, w: Lewandowski J. (ed.) Materiały VI Międzynarodowej Konferencji Naukowo-Technicznej Ergonomia Niepełnosprawnym, Środowisko Pracy “MKEN 2000”, Łódź 16-17 listopada, 2000 (201-211)

  117. Pleszczyńska E.: Pierwszy węzeł Internetu dla Niepełnosprawnych: strategia działania i współdziałania, W: Szewczyk A. (red.) Materiały konferencji "Społeczeństwo informacyjne przyjazne dla osób specjalnej troski", Szczecin, czerwiec 2000. Uniwersytet Szczeciński, 2000 (78-85)
  118. Płodzień J.: Optimization Methods in Object Query Languages. Rozprawa doktorska

  119. Płodzień J., Subieta K. (pod pseudonimem Kraken A.): “Object Query Optimization through Detecting Independent Subqueries”. Information Systems, Vol 25, No 8, 2000 (467-489)

  120. Przepiórkowski A.: ARG-ST on Phrases Headed by Semantically Vacuous Words: Evidence from Polish, in: D. Flickinger i A. Kathol (eds.) On-Line Proc. of the 7th International Conference on Head-driven Phrase Structure Grammar. CSLI Publications, Stanford (USA), 2000

  121. Przepiórkowski A.: Case and Agreement in Polish Predicates, in: S. Franks, T. King, M. Yadroff (eds) Annual workshop on Formal Approaches to Slavic Linguistics: The Bloomington Meeting 2000. Michigan Slavic Publications. Ann Arbor (USA), 2000 (w druku)

  122. Przepiórkowski A.: Long Distance Genitive of Negation in Polish. Raport wewnętrzny IPI PAN, 2000 (przyjęte do Journal of Slavic Linguistics), 2000

  123. Przepiórkowski A.: Optional and Multiple Long Distance Genitive of Negation in Polish, in: P. Bański, A. Przepiorkowski (eds). GliP-1. Generative Linguistics in Poland. IPI PAN, 2000

  124. Przepiórkowski A.: Slavic Linguistics Formally – HPSG. Raport wewnętrzny IPI PAN, 2000 (ukaże się w: G. Fowler (ed) The Future of Slavic Linguistics. Slavica Publishers, Bloomington)

  125. Raś Z.W.: Query answering in DAKS based on reducts, in: Flexible Query Answering Systems. Advances in Soft Computing. Proc. of the Fourth International Conference, FQAS 2000, Warsaw, Poland, Physica-Verlag (a Springer-Verlag Company), 2000 (117-127)

  126. Raś Z.W., Wieczorkowska A.A.: Mining for action-rules in large decision tables classifying customers. Intelligent Information Systems. Advances in Soft Computing. Physica-Verlag (a Springer-Verlag Company), 2000 (55-64)

  127. Raś Z.W., Wieczorkowska A.A.: Action-rules: how to increase profit of a company, in: Principles of Data Mining and Knowledge Discovery. D.A. Zighed, J. Komorowski, J. Żytkow (eds). Proc. of PKDD’00, Lyon, France, LNCS/LNAI, No 1910, Springer-Verlag, 2000 (587-592)

  128. Raś Z.W., Żytkow J.M.: Mining for attribute definitions in a distributed two-layered DB system. Journal of Intelligent Information Systems, Kluwer Science, Vol 14, No 2/3, 2000 (115-130)

  129. Raś Z.W.: Methodologies for Intelligent Information Systems. Special Issue, Z.W. Raś, A. Skowron (eds). Journal of Intelligent Information Systems, Kluwer Science, Vol 14, No 2/3, 2000 (261 stron)

  130. Raś Z.W., Ohsuga S. (eds): Foundations of Intelligent Systems. Proc. of ISMIS’00, LNAI 1932, Springer-Verlag, 2000 (644 stron)

  131. Roantree M., Subieta K.: Generic Applications for Object Databases. Raport wewnętrzny IPI PAN, 2000
  132. Rychlik P., Hajnicz E.: Modifying extended tense logic. Raport wewnętrzny IPI PAN, 2000

  133. Rychlik P.: Translating defaults into circumscription. Prace IPI PAN nr 919, 2000

  134. Schmidt M., Michalewicz Z.: Test-Case Generator TCG-2 for Nonlinear Parameter Optimization. Proc. of the Congress on Evolutionary Computation, CEC 2000, San Diego, July 16-19, 2000 (728-735 oraz Proc. of the 6th Parallel Problem Solving from Nature. Springer-Verlag, LNCS 1917. M. Schoneauer, K. Deb, G. Rudolph, X. Yao, E. Lutton, J.J. Merelo, and H.-P. Schwefel (eds), Paris, September 17-20, 2000 (539-548)

  135. Schroeder L., Mossakowski T., Tarlecki A., Hoffman P., Klin B.: Semantics of Architectural Specifications in CASL. Raport techniczny, Technische Universität Bremen, 2000 (20 stron)

  136. Siudut L., Bednarczyk M.A., Pyrchla J.: SAR: przesłanki do formalizacji języka komunikowania obserwacji nawigacyjnych. III Konferencja Morska ,,Aspekty Bezpieczeństwa Nawodnego i Podwodnego oraz Lotów nad Morzem”, 30-31 marca 2000 (105-118)

  137. Sokołowski S.: Classifying holes of arbitrary dimensions in partially ordered cubes. Kansas State University, Computing and Information Sciences Report 2000-1, 2000 (26 stron)

  138. Sokołowski S.: Investigation of concurrent processes by means of homotopy functors. Raport wewnętrzny IPI PAN, 2000

  139. Sokołowski S.: Na co informatyce matematyczne podstawy, w: Piotr Fuglewicz, Marek Miłosz (eds): Zarządzanie informacją w czasach burzliwych. Szesnaste Jesienne Spotkania PTI, Mrągowo 2000, 20-24 listopada 2000, wykład zaproszony (61-74)

  140. Soroczuk S., Srebrny M.: Algorithms for sharing a password. Materiały konferencji “Zastosowania algebry IV. Zakopane 2000”

  141. Stasiecka A., Stemposz E., Subieta K.: Repozytorium Ponownego Użycia (RPU). II Krajowa Konferencja Inżynierii Oprogramowania KKIO 2000, Zakopane, październik 2000

  142. Stasiecka A., Stemposz E.: Przetwarzanie zapytań w rozproszonych obiektowych bazach danych. Raport wewnętrzny IPI PAN, 2000

  143. Stemposz E., Stasiecka A., Subieta K.: Repozytorium Ponownego Użycia dla potrzeb społeczności ON. Seminarium “Internet dla Niepełnosprawnych dziś i jutro” Warszawa, październik 2000

  144. Stemposz E., Stasiecka A.: Technologia ponownego użycia. Raport wewnętrzny IPI PAN, 2000

  145. Subieta K., Płodzień J.: Object Views and Query Modification. Materiały konferencji The 4th IEEE International Baltic Workshop on DB and IS, 2000 (13-24)

  146. Subieta, K.: Mapping Heterogenous Ontologies through Object Views, in: M. Roantree, in: Hasselbring, S. Conrad (eds): Engineering Federated Information Systems. Proc. of the 3rd Workshop EFIS 2000, June 9-20, 2000, Dublin. IOS Press, 2000 (1-10)

  147. Subieta, K.: Spór o przyszłość baz danych. Computerworld, październik 2000 (164-166)

  148. Szczesny W., Matyja O.: Using grade correspondence analysis to merge populations and detect latent orders. Raport wewnętrzny IPI PAN, 2000 (zgłoszona na IIS 2001)

  149. Szczesny W.: Detecting rows and columns of contingency table, which outlie from a total positivity pattern. Control and Cybernetics, 2000, Vol 29, No 4

  150. Szczesny W.: Grade correspondence analysis applied to questionnaire data to cluster the respondents. The analysis of level of skill, degree of disability, and employment status of disabled computer specialists in Poland. Raport wewnętrzny IPI PAN, 2000

  151. Szreter M., Penczek W.: Automatyczna weryfikacja systemów czasu rzeczywistego. Materiały konferencji Systemy Czasu Rzeczywistego, Kraków 2000

  152. Szreter M., Penczek W.: More than one, less than all - linear to branching revisited. Materiały konferencji CS&P, H. D. Burkhard, L. Czaja, A. Skowron, P. Starke (eds), Informatik-Berichte, Berlin 2000

  153. Śmierzchalski R., Michalewicz Z.: Modeling of Ship Trajectory in Collision Situations by an Evolutionary Algorithm. IEEE Transactions on Evolutionary Computation, Vol 4, No 3, 2000 (227-241)

  154. Święcicka A., Seredyński F.: Cellular Automata Approach to Scheduling Problems. International Conference on Parallel Computing in Electrical Engineering; PARELEC 2000, IEEE Computer Society, Kanada, (29-33)

  155. Święcicka A., Seredyński F.: Evolving Cellular Automata Structures to Solve Multiprocessor Scheduling Problems. Intelligent Information Systems IX. Proc. of the Workshop held in Bystra, Poland, 12-16 June, 2000 (115-119)

  156. Tarlecki, A.: Towards heterogeneous specifications. Frontiers of Combining Systems 2. Proc. of International Conference Frontiers of Combining Systems FroCoS’98, Amsterdam, October 1998, D. Gabbay, M. van Rijke (eds), 337-360, Research Studies Press 2000

  157. Trojanowski K., Michalewicz Z.: Evolutionary Optimization in non-stationary Environments. Journal of Computer Science & Technology – special issue on Artificial Intelligence and Evolutionary Computation, Vol 1 No 2, 2000 (93-124)

  158. Tudruj M., Maśko Ł.: Dynamically Configurable Multi-Cluster Parallel System Based on Shared Memory Communication. Raport wewnętrzny, IPI PAN, 2000 (18 stron)

  159. Tudruj M.: “Connection by Communication” Paradigm for Dynamically Reconfigurable Multi-Processor Systems. Proc. of the International Conference on Parallel Computing in Electrical Engineering, Trois-Rivieres, Canada, September 2000 (74-78)

  160. Wieczorek A., Balcerzyk S., Orłowska E., Wojciechowska-Waszkiewicz A.: Jerzy Łoś. 1920-1998. Studia Logica 65, 2000 (301-314)

  161. Wieczorek A., Maćkiewicz A.: Computing equilibria in economic models with infinitely many agents. Prace IPI PAN nr 903, 2000 (oddana do Information Technology for Economics and Management)

  162. Wieczorek A., Maćkiewicz A.: Computing equilibria in models of spatial allocation of infinite populations. Prace IPI PAN nr 902, 2000 (oddana do Information Technology for Economics and Management)

  163. Wieczorek A.: Rational behavior of agents in infinite models of household. Raport wewnętrzny IPI PAN, 2000

  164. Wierzchoń S.T., Kłopotek M.A.: An algorithm for finding most likely explanations in valuation based systems. Control And Cybernetics, Vol 29 No 4, 2000

  165. Wierzchoń S.T.: Cyfrowa immunologia: Modele i zastosowania, w: L. Bobrowski, R. Bogacz (eds.) Symulacja w Badaniach i Rozwoju. Zbiór referatów Szóstych Warsztatów Naukowych PTSK, Białystok-Białowieża, 25-27 sierpnia 1999, Warszawa 2000 (454-462)

  166. Wierzchoń S.T.: Discriminative power of the receptors activated by k-contiguous bits rule. Invited paper. Journal of Computer Science and Technology. Special Issue on Research Computer Science, Vol 1, No 3, 2000 (1-13)

  167. Wierzchoń S.T.: Generating optimal repertoire of antibody strings in an artificial immune system, in: M.A. Kłopotek, M. Michalewicz, S.T. Wierzchoń (eds): Intelligent Information Systems. Advances in Soft Computing Series of Physica-Verlag (a Springer-Verlag Company), 2000 (119-133)

  168. Wierzchoń S.T.: Numerical optimization within the immune paradigm. Prace IPI PAN Nr 922, 2000

  169. Wierzchoń S.T.: Wnioskowanie w systemach z grafową bazą wiedzy. Polska Akademia Nauk. Działalność Naukowa – wybrane zagadnienia. Zeszyt 9, Warszawa, maj 2000 (136-138)

  170. Winkowski J.: Failure-resistant resource management in a distributed multi-agent system. Prace IPI PAN nr 913, 2000

  171. Winkowski J.: Processes of timed Petri nets. Theoretical Computer Science 243, 2000. Elsevier Science Amsterdam, (1-34)

  172. Winkowski J.: Resource management in a distributed multi-agent system. Prace IPI PAN nr 905, 2000

  173. Winkowski J.: Towards a model of distributed computations with complex data. Prace IPI PAN nr 917, 2000

  174. Wiszniewska-Matyszkiel A.: Static and dynamic equilibria in games with continuum of players. Report of the Institute of Applied Mathematics and Mechanics RW 00-03, 2000 (afiliacja IPI PAN – umowa o dzieło)

  175. Wu W.B., Mielniczuk J.: Asymptotic normality of kernel density estimates for linear process under long- and short-range dependence. Raport wewnętrzny IPI PAN, 2000

  176. Wysocki W.: A new characterization of m-dimensional Archimedean copulas. Raport wewnętrzny IPI PAN, 2000

  177. Wysocki W.: Extracting information from copula’s diagonal. Poster na konferencję “International Conference on Mathematical Statistics” w Szklarskiej Porębie, 21-25 sierpnia, 2000. Raport wewnętrzny IPI PAN, 2000

  178. Wysocki W.: Lokalne własności m-wymiarowych kopuł archimedesowskich. Raport wewnętrzny IPI PAN, 2000

  179. Wysocki W.: Properties of diagonal sections of m-dimensional Archimedean copulas. Raport wewnętrzny IPI PAN, 2000

  180. Wysocki W.: Własności cięć diagonalnych m-kopuł archimedesowskich, Prace IPI PAN, nr 896, 1999 (ukazała się w roku 2000)

  181. Zawistowska E., Karwicka K., Markiewicz K., Pleszczyńska E., Wojakowska K., Woźniak B.: Na wózku inwalidzkim po infostradzie do Europy? Zeszyt IV. Prace IPI PAN, nr 909, 2000 (1-32)

  182. Zighed D.A., Komorowski J., Żytkow J. (eds): Principles of Data Mining and Knowledge Discovery. Proc. of PKDD’00, Lyon, France. LNCS/LNAI No 1910, Springer-Verlag, 2000

  183. Żytkow J.M., Raś Z.: Foundations and Discovery of Operational Definitions, in: Z: Raś, S. Ohsuga (eds) Foundations of Intelligent Systems. Springer-Verlag, 2000 (582-590)

  184. Żytkow J.M.: Automated Discovery: A Fusion of Multidisciplinary Principles, in: H. Hamilton (ed) Advances in Artificial Intelligence, Springer-Verlag, (443-448)

  185. Żytkow J.M.: Granularity refined by knowledge: contingency tables and rough sets as tools of discovery, in: B. Dasarathy (ed). Data Mining and Knowledge Discovery: Theory, Tools, and Technology II, SPIE (82-91)
      Recent Publications Info  Back to Research Projects Information.    
  webmaster@IPIPAN.Waw.PL Copyright by ICS PAS - 2003