|
Publikacje pracowników IPI PAN w 2002 r.

|
Objaśnienia:
nazwiska wyróżnione - osoby, których afiliacją w podanych publikacjach jest IPI PAN
-
Ambroszkiewicz S., Mikułowski D., Rozwadowski.L.: Entish: e-lingua for Web Service Integration. In W. Abramowicz
(Ed.) Proc. BIS-2002. 5-th International Conference on Business Information Systems,Poznań, 24-25 April 2002. ISBN
83-916842-0-2.
- Ambroszkiewicz S., Mikułowski D., Rozwadowski.L.:Agent Based Infrasructure for Web Service Integration. In
Intelligent Information Systems 2002. (eds.) M. A. Kłopotek, S. T. Wierzchoń, and M. Michalewicz. Advances in Soft Computing.
Physica-Verlag, Springer-Verlag Company. 381-390, ISBN 3-7908-1509-8
- Ambroszkiewicz S., Nowak T., Mikułowski D., Rozwadowski L.: A Concept of Agent Language in Agentspace. From Theory
to Practice in Multi-Agent Systems. Springer Verlag LNAI 2296, 37-46.
- Ambroszkiewicz S., Nowak T.: Agentspace as an Infrastructure for Distributed Applications. In R. Corchuelo, A.
Ruiz. and M. Toro (eds.). Advances in Business Solutions. Catedral Publicaciones Joaquin Costa, 13 37007 Salamanca, Spain,
2002, 25-38. ISBN: 84-96086-01-1.
- Ambroszkiewicz S., Nowak.T.: Entish: Agent Based Language for Web Service Integration. In Cybernetics and
Systems 2002, Proc. of the Sixteenth European Meeting on Cybernetics and System Research (AT2AI-3 Workshop).Vienna,
Austria, 2 - 5 April, 2002, 701 - 706. ISBN 3 85206 160 1
- Ambroszkiewicz S., Penczek W., Nowak.T.: Towards Formal Specification and Verification in Cyberspace. In Proc. The
first Goddard Workshop on Formal Approaches to Agent-Based Systems, 6th-7th April 2000, NASA Goddard Space Flight Center,
Greenbelt, MD, USA . Published in Springer LNAI Vol. 1871.
- Ambroszkiewicz S.: Distributed Agent Architecture for Web Service Integration. First GSFC/JPL Workshop on Radical
Agent Concepts, NASA Goddard Space Flight Center, Greenbelt, MD USA, January 2002, to be published in Springer LNAI.
- Ambroszkiewicz S.: Entish: a simple language for Web Service Description and Composition, Proc. of IFIP TC6/WG6.4
Workshop on Internet Technologies, Applications and Societal Impact (WITASI 2002) October 10-11, 2002, Wrocław. Poland.
Published in eds.: W. Cellary and A. Iyengar. Internet Technologies, Applications and Societal Impact. Kluwer Academic
Publishers. 289-306.
- Ambroszkiewicz S.: Entish: eLingua for Service Description and Composition. In (eds.) M. Kłopotek and J.
Tchórzewski. Sztuczna Inteligencja. Materialy V Konferencji Naukowej nt. "Sztuczna Inteligencja" SzI-17'2002, Siedlce 25-26
września 2002. Wydawnictwo Akademii Podlaskiej. ISBN 83-7051-190-2. 367-382S.
- Ambroszkiewicz S.: Web Service Integration as a New Paradigm for Networked Computing. In Proc. PARELEC-2002,
International Conference on Parallel Computiong and Electrical Engineering. 22-25 September 2002, Warsaw, Poland. IEEE
Computer Society Press, ISBN 0-7695-1730-7, 239-245.
- Astesiano E., Bidoit M., Kirchner H., Krieg-Brueckner B., Mosses P., Sannella D., Tarlecki A.: CASL: The Common
Algebraic Specification Language. Theoretical Computer Science 286:2(2002), 153-196.
- Aussel D., Idzik A., Yao J. C.: Systems with variational equilibria, raport wewnętrzny IPI PAN, 2002.
- Badouel E., Bednarczyk M., Darondeau Ph.: Generalized Automata and Their Net Representations. rozdział w
monografii H. Ehrig et al. (Eds.): Unifying Petri Nets, Advances in Petri Nets, LNCS, vol. 2128, 304-345, 2001,
Springer-Verlag Berlin Heidelberg 2001.
- Bański P., Przepiórkowski A., Kupść A., Dębowski Ł., Marciniak M., Mykowiecka A.: The Design of the IPI PAN
Corpus. W: The proceedings of Practical Applications of Linguistic Corpora 2001. Łódź, w druku.
- Bednarczyk M., Bernardinello L., Borzyszkowski A., Caillaud B., Pawłowski W., Pomello L.: Synchrony =
crippled asynchrony Manuskrypt 24 str.
- Bednarczyk M., Borzyszkowski A.: On Concurrent Realizations of Reactive Systems and Their Morphisms. rozdział w
monografii H. Ehrig et al. (Eds.): Unifying Petri Nets, Advances in Petri Nets, LNCS, vol. 2128, 346-379, 2001
Springer-Verlag Berlin Heidelberg 2001
-
Bednarczyk M., Darondeau Ph.: Looking for Diamonds. W B. Caillaud et al. (Eds.) ,,Synthesis and Control of
Descrete Event Systems'', Kluwer Academic Publishers, 213-221, 2002.
-
Bednarczyk M., Holec M., Michalewicz M,. Mielniczuk J., Pyrchla J.: Wpływ warunków prowadzenia wzrokowych
obserwacji nawigacyjnych na ich dokładność. Konferecja Naukowo-Techniczna ,,Bezpieczeństwo i Ochrona Naturalnego Środowiska
Morskiego'' - I Forum Morskie, Kołobrzeg 20-22 maja 2002, 137-149. Rownież J. Pyrchla et al. (eds.) ,,Zbiory rozmyte w
teorii lokalizacji wypadków morskich. Wybrane zagadnienia'', 98-110, Gdynia 2002.
-
Bednarczyk M., Holec M., Mielniczuk J., Pyrchla J., Szubrycht T.: A note on accuracy of navigational
observations. W J. Pyrchla et al. (eds.) ,,Zbiory rozmyte w teorii lokalizacji wypadków morskich. Wybrane zagadnienia'',
88-97, Gdynia 2002.
-
Bednarczyk M., Holec Pyrchla J.: Problem określania i hierarchizacji czynników wpływających na dokładność
wizualnych obserwacji nawigacyjnych. W J. Pyrchla et al. (eds.) ,,Zbiory rozmyte w teorii lokalizacji wypadków morskich.
Wybrane zagadnienia'', 73-87, Gdynia 2002.
-
Bednarczyk M., Kitowski Z., Pawłowski W., Pyrchla J., Siudut L.: ,,Operacyjno-taktyczne aspekty
zintegrowanego systemu działań ratowniczych w przypadku zagrożenia okrętów podwodnych''. V Konferencja Morska ,,Aspekty
bezpieczeństw nawodnego i podwodnego oraz lotów nad morzem'', Gdynia 2002. Rowniez w J. Pyrchla et al. (eds.) ,,Zbiory
rozmyte w teorii lokalizacji wypadków morskich. Wybrane zagadnienia'', 225-235, Gdynia 2002.
-
Bednarczyk M., Królikowski A., Pawłowski W., Pyrchla J.:,,Propozycja rozszerzenia zakresu funkcjonalności
systemu VTS Zatoka Gdańska o wizualizację obserwacji wzrokowych''. Konferecja Naukowo-Techniczna ,,Bezpieczeństwo i Ochrona
Naturalnego Środowiska Morskiego'' - I Forum Morskie, Kołobrzeg 20-22 maja 2002, 127-136. Rownież J. Pyrchla et al. (eds.)
"Zbiory rozmyte w teorii lokalizacji wypadków morskich. Wybrane zagadnienia", 198-208, Gdynia 2002.
-
Bednarczyk M., Pyrchla J., Siudut L.: SAR: przesłanki do formalizacji języka komunikowania obserwacji
nawigacyjnych. W J. Pyrchla et al. (eds.) ,,Zbiory rozmyte w teorii lokalizacji wypadków morskich. Wybrane zagadnienia'',
130-146, Gdynia 2002.
-
Bednarczyk M., Pyrchla J., Stateczny A.:Lokalizacja wypadku morskiego w systemie SAR. Próba formalizacji problemu.
W J. Pyrchla et al. (eds.) ,,Zbiory rozmyte w teorii lokalizacji wypadków morskich. Wybrane zagadnienia'', 41-53, Gdynia
2002.
-
Bednarczyk M., Pyrchla J.: Fuzzy sets to the rescue. W J. Pyrchla et al. (eds.) ,,Zbiory rozmyte w teorii
lokalizacji wypadków morskich. Wybrane zagadnienia'', 28-40, Gdynia 2002.
-
Bednarczyk M., Pyrchla J.: Zbiory rozmyte w planowaniu poszukiwań morskich. W J. Pyrchla et al. (eds.) "Zbiory
rozmyte w teorii lokalizacji wypadków morskich. Wybrane zagadnienia", 11-27, Gdynia 2002.
-
Bednarczyk M.: A Non-monotone Logic for Reasoning about Action. W M.A. Kłopotek, S.T. Wierzchoń, M. Michalewicz
(eds.): ,,Intelligent Information Systems 2002. Advances in Soft Computing'', 287-300, Physica/Springer Verlag, Heidelberg New
York 2002.
-
Bednarczyk M.: Explicit Substitution into Action. A non-monotone logic for reasoning about actions and change
February 2002, Prace IPI PAN, 942, stron 10, luty 2002
-
Bednarczyk M.: Logika zdaniowa.Rozdzial skryptu: M.A. Bednarczyk, T. Borzyszkowski, W. Pawłowski P. Paczkowski, S.
Sokołowski ,,Komputerowe wspomaganie dowodzenia"(rękopis)
-
Bednarczyk M.: Towards automatic synthesis of concurrent, asynchronous and distributed programs. Annual Report of
the Polish Academy of Sciences, 2002, w druku.
-
Bidoit M., Sannella D., Tarlecki A.: Architectural specifications in CASL. Formal Aspects of Computing 13(2002),
252-273.
-
Bidoit M., Sannella D., Tarlecki A.: Global development via local observational construction steps. Proc. 27th
Intl. Symp. Mathematical Foundations of Computer Science MFCS'02, LNCS 2420, 1-24, Springer-Verlag, 2002.
-
Bidoit M., Sannella D., Tarlecki A.: Toward component-oriented formal software development: an algebraic approach.
Proc. Monterey Workshop 2002 "Radical Innovations of Software and System Engineering in the Future", Wenecja, październik
2002.
-
Bolc L., Borowik P.: Many-Valued Logics. Automated Reasoning and Practical Applications, Springer-Verlag
Heidelberg (w druku)
-
Bolc L.: Formal desription of natural languages. An HPSG grammar of Polish, Festschrift volume for Jorg Siekmann
Lecture Notes in Artificial Intelligence, Springer-Verlag (rękopis),
-
Borzyszkowski A., Srebrny M.: Faktoryzacja za pomocą masowej równoległości. ukazało się jako artykuł
specjalny na witrynie CC Sigmnet: http://www.signet.pl/archiwum/93.html
-
Borzyszkowski T., Sokołowski S.: Przykład: poprawność kompilatora prostych wyrażen arytmetycznych. Rozdział
skryptu: M.A. Bednarczyk, T. Borzyszkowski, W. Pawłowski, P. Pączkowski, S. Sokołowski "Komputerowe wspomaganie dowodzenia"
(rękopis)
-
Brown S., Przepiórkowski A.: Negation in Slavic. Slavica Publishers, Bloomington, IN (w druku)
-
Bry F., Drabent W., Małuszyński J.: On subtyping of tree-structured data. (rękopis)
-
Bylka S.: Competitive policies for the single-vendor-multi-buyer system, w Production System Design, Supply Chain
Management and Logistics, Part I, 9th International Multi-Conference Advanced Computer Systems, Proceedings, A.
Dolgui, J. Sołdek and O. Zaikin (eds.), "Informa", Szczecin 2002
-
Bylka S.: Turnpike policies for periodic reviev inventory model with emergency orders, raport wewnętrzny IPI PAN,
2002,
(rękopis )
-
Cervone G., Kaufman K. A. Michalski R. S.: Recent Results from the Experimental Evaluation of the Learnable
Evolution Model, Proceedings of the Genetic and Evolutionary Computation Conference, GECCO-2002, 2002.
-
Cervone G., Michalski R. S.: Modeling User Behavior by Integrating AQ Learning with a Database: Initial Results,
Proceedings of the IIS-02 Eleventh International Symposium on Intelligent Information Systems, Zakopane, Poland, June,
2002.
-
Ciok A.: Grade Analysis of Repeated Multivariate Measurements. In: Grzegorzewski P., Hryniewicz O.,
Gil M.A. (eds.), Soft Methods in Probability, Statistics and Data Analysis, Physica-Verlag, 2002, 266-273
-
Ciok A.: Grade approach to skewness, Prace IPI PAN nr 944, Warszawa, maj 2002, 1-16.
-
Ciok A.: Grade Correspondence-Cluster Analysis Applied to Separate Components of Reversely Regular Mixtures. In:
Jajuga K., Sokołowski A., Bock H.-H. (eds.), Classification, Clustering and Data Analysis, Recent Advances and Applications,
Springer, 2002, 211-218.
-
Ciok A.: Simultaneous discretization of pairs of random variables. (rękopis)
-
Ciok A.: Zastosowanie metod gradacyjnych w analizie czynników warunkujących rozwój małych i
średnich firm usługowych w Polsce. Jajuga K., Walesiak M. (eds.), Taksonomia 9, Klasyfikacja i analiza danych - teoria i
zastosowania, Prace Naukowe Akademii Ekonomicznej im. O. Langego we Wrocławiu nr 942, Wydawnictwo AE we Wrocławiu, Wrocław
2002, 313-323.
-
Ćwik J.: Sposoby ulepszania klasyfikatorów: metody "boosting"
i "random forests", rękopis
-
Ćwik J., Mielniczuk J.: On construction of confidence intervals for a mean of dependent data , Discussiones
Mathematicae 21 (2001), 121-147.
-
Dardzińska A., Raś Z. W.: Collaborative query processing in DKS controlled by reducts, in Rough Sets and Current
Trends in Computing, Proceedings of RSCTC'02 Symposium, (eds. J. Alpigini, J. Peters, A. Skowron, N. Zhong), LNCS/LNAI,
Vol. 2475, Springer-Verlag, 2002, 189-196
-
Dardzińska A., Raś Z. W.: Handling semantic inconsistencies in query answering based on distributed knowledge
mining, in Special Issue on Intelligent IT (Eds. N. Zhong, J. Liu, P. Wang) International Journal of Pattern Recognition
and Artficial Intelligence, World Scientific, Vol. 16, No. 8, 2002, pp. 1087-1099.
-
Dardzińska A., Raś Z. W.: Handling semantic incosistencies in
distributed knowledge systems using ontologies, in Foundations of Intelligent Systems, Proceedings of ISMIS'02
Symposium, Lyon, France, LNCS/LNAI, Vol. 2366, Springer-Verlag, 2002, 66-74
-
Dąbrowski A., Koronacki J.: Methodologies for statistical modeling: A selective overview (1st draft), rękopis
-
de Rivera L.A.N., Chávez G. B Espitia J. E., Matuszewski A.: Analysis of the relations between groups at
management level", First Interchange of education experiences of the South Zone Rectorate Electronic Memories in CD, ITESM
Campus Mexico City, December 2001, Mexico
-
Dembiński P., Półrola A., Penczek W.: Verification of Timed Automata
Based on Similarity, Fundamenta Informaticae, 2002, 59-89
-
Dębowski Ł.: Entropic Subextensivity in Language and Learning. W:
C. Tsallis, M. Gell-Mann, eds., Nonextensive Entropy - Interdisciplinary Applications, Oxford University Press, 2002 w
druku
-
Dębowski Ł: Zipf's law against the text size: A half-rational model,
Glottometrics 4, vol. 4, pp. 49-60, 2002.
-
Drabent W., Małuszyńsk J., Pietrzak P.: Using parametric set constraints for
locating errors in CLP programs,Theory nd Practice of Logic Programming, Vol. 2 (4&5): 549-610, 2002.
-
Drabent W., Miłkowska M.: Proving Correctness and Completeness of Normal
Programs - a Declarative Approach,
(rękopis)
-
Dunin-Kęplicz B., Verbrugge R. "Collective intentions", Fundamenta
Informaticae, vol.51, number 3, IOS Press, czerwiec 2002, 271-295.
-
Dunin-Kęplicz B., Verbrugge R. "Evolution of collective commitments during
reconfiguration", Proc. of AAMAS'02, Bologna, 2002, 1141-1143.
-
Grzegorek M., Mokrzycki W.: Filtration of motion mask map with automatically selected noise threshold. Proc. ACS'02, 23-25 Oct., Międzyzdroje, 329-336.
-
Habela P., Płodzień J., Stasiecka A., Stemposz E.: Propozycja
metodyki nauczania inżynierii oprogramowania w oparciu o podejście obiektowe, materiały IV Krajowej Konferencji Inżynierii
Oprogramowania, Rozdział XXIV, 283-298, Poznań, Polska, 2002
-
Habela P., Roantree M.,
Subieta K.: Flattening the Metamodel for Object Databases. Advances in Databases and
Information Systems, 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings.
Lecture Notes in Computer Science 2435 Springer
2002
-
Habela, P.,
Subieta K.: OODBMS Metamodel Supporting Configuration Management of Large Applications. Object-Oriented. Information
Systems, 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings. Lecture Notes in Computer Science 2425 Springer
2002, 40-52
-
Hacid M. S., Raś Z. W., Zighed D., Kodratoff Y.: (editors),
Foundations of Intelligent Systems, Proceedings of ISMIS'02, Lecture Notes in Artificial Intelligence, No. 2366,
Springer-Verlag, 2002, 614 pages
-
Ichiishi T Idzik A.: On a covering theorem, Economic Theory 19, 2002, 833-838
-
Idzik A., Junosza-Szaniawski K.: Combinatorial lemmas for pseudomanifolds,
raport wewnętrzny IPI PAN, 2002
-
Idzik A., Strojnowski M.: Splitting coloured checkered rectangles, raport
wewnętrzny IPI PAN, 2002
-
Jodłowski A., Habela P., Płodzień J., Subieta K.: Objects and Roles in
the Stack-Based Approach, Proc. of Database and Expert Systems Applications (DEXA), Springer LNCS 2453, 514-523,
Aix-en-Provence, France, 2002
-
Jodłowski A., Płodzien J., Stemposz E., Subieta K.: Introducing Dynamic Object
Roles into the UML Class Diagram, Proc. of IASTED International Conference on Software Engineering and Applications
(SEA), ACTA Press, 629-634, Cambridge, MA, USA, 2002
-
Jodłowski A., Płodzień J., Stemposz E., Subieta K.: Introducing
Dynamic Object Roles into the UML Class Diagram, materiały konferencji IASTED
International Conference on Software Engineering and Applications (SEA), ACTA Press, 629-634, Cambridge, MA, USA, 2002
-
Juda-Rezler K., Matuszewski A.: Critical levels of sulphur dioxide in Poland and their exeedances. (rękopis)
-
Kłopotek M. A., Czerski D.: Dynamiczne mapy dokumentów. W: M. Kłopotek, J.
Tchórzewski (eds.): Sztuczna inteligencja.. Materiały V Konferencji Naukowej. Wydawnictwo Akademii Podlaskiej. Siedlce
2002,.161-172
-
Kłopotek M. A., Grzeszczak T., Lorens P.: Metody prezentacji
dokumentów w postaci mapy. W: M. Kłopotek, J. Tchórzewski (eds.): Sztuczna inteligencja. Materiały V Konferencji Naukowej.
Wydawnictwo Akademii Podlaskiej. Siedlce 2002, 143-160
-
Kłopotek M. A., Jurski P., Kamut G.: Systemy zdalnego nauczania W: M. Kłopotek, J. Tchórzewski (eds.): Sztuczna inteligencja. Materiały V Konferencji Naukowej. Wydawnictwo Akademii
Podlaskiej. Siedlce 2002, 93-107
-
Kłopotek M. A., Paliwoda M.: Badania algorytmów uczących się drzew decyzyjnych. Zeszyty Naukowe Politechniki
Białostockiej (w druku)
-
Kłopotek M. A., Paliwoda M.: Badania metod dyskretyzacji stosowanych w drążeniu baz danych. Zeszyty Naukowe
Politechniki Białostockiej (w druku)
-
Kłopotek M. A., Tchórzewski J.: eds.: Sztuczna inteligencja. Materiały V
Konferencji Naukowej. Wydawnictwo Akademii Podlaskiej. Siedlce 2002 ISBN 83-7051-190-2
-
Kłopotek M. A., Wierzchoń S T.: Systemy wartościowań a rozproszone protokoły
sieciowe. W: Z. Bubnicki, O. Hryniewicz, R. Kulikowski (red.): Badania Operacyjne i Systemowe wobec wyzwan XXI wieku.
Metody i techniki analizy informacji i wspomagania decyzji. Akademicka Oficyna Wydawnicza EXIT, Warszawa 2002, s.
IV-1 - IV-10. ISBN 83-87674-40-0
-
Kłopotek M. A., Wierzchoń S. T., Michalewicz M.: (eds.): Intelligent Information Systems
2002. Advances in Soft Computing. Physica/Springer Verlag, Heidelberg New York 2002. ISBN-3-7908-1509-8.
-
Kłopotek M. A., Wierzchoń S. T.: Application of Valuation Based Systems to
Optimization of Enumeration W: M. Kłopotek, S. Wierzchoń, M. Michalewicz (eds.):
Intelligent Information Systems 2002. Advances in soft Computing. Physica/Springer Verlag, Heidelberg New York 2002, 301-310
-
Kłopotek M. A., Wierzchoń S. T.: Collaborative Filtering with Bayesian Net. W:
B. Wiszniewski: Electronic Commerce. Theory and Applications Published by: Faculty of Management and Economics, Gdansk
University of Technology, Poland, 81-87
-
Kłopotek M. A., Wierzchoń S. T.: Conditional Belief Functions versus Proper
Belief Functions. W: Proc. 6th International Conference on Neural Networks and Soft Computing, ICNNSC'02, Zakopane, 11-15
June, 2002
-
Kłopotek M. A., Wierzchoń S. T.: Distributed enumeration protocol for valuation
based systems. Zeszyty Naukowe Politechniki Białostockiej 2002, Informatyka -
Zeszyt 1, 83 - 96
-
Kłopotek M. A., Wierzchoń S. T.: Empirical Models for the Dempster-Shafer
Theory. in: Srivastava, R.P., Mock, T.J., (Eds.). Belief Functions in Business Decisions. Series: Studies in Fuzziness
and Soft Computing. vol. 88 Springer-Verlag. March 2002. ISBN 3-7908-1451-2, 62-112
-
Kłopotek M. A., Wierzchoń S.T.: Quest on New Applications for Dempster-Shafer
Theory: Risk Analysis in Project Profitability Calculus. In: P. Grzegorzewski, O. Hryniewicz, M.A.Gil (Eds.): Soft Methods in Probability, Statistics and Data Analysis,
Advances in Soft Computing Series, Physica-Verlag/Springer Verlag, 2002, ISBN 3-7908-1526-8, 302-309
-
Kłopotek M. A.: Well-Structured Program Graphs And the Issue of Local
Computations. W: M. Kłopotek, S. Wierzchoń, M. Michalewicz (eds.): Intelligent Information
Systems 2002. Advances in Soft Computing. Physica/Springer Verlag, Heidelberg New York 2002, 365-368
-
Kłopotek M. A.: A New Bayesian Tree Learning Method with Reduced Time and Space
Complexity. Fundamenta Informaticae, 49(no 4)2002, IOS Press,
349-367.
-
Kłopotek M. A.: Dempster-Shafer theory. Invited entry to Kluwer Encyclopedia of Mathematics (Supplement III), Michiel Hazewinkel Ed.,
Kluwer Academic Publishers, Dordrecht, January 2002, ISBN 1-4020-0198-3, 118-121
-
Kłopotek M. A.: Intelligent information retrieval on the Web. To appear
(November 2002) in: Szczepaniak, Piotr S.; Segovia, Javier; Kacprzyk, Janusz; Zadeh, Lotfi A. (Eds.): (2003) Intelligent
Exploration of the Web Springer-Verlag ISBN 3-7908-1529-2, 57-73
-
Kłopotek M. A.: Minig Bayesian Networks Structure for Large Sets of Variables.
in M.S.Hacid, Z.W.Ras, D.A. Zighed, Y. Kodratoff (eds.): Foundations of Intelligent Systems Lecture Notes in Artificial
Intelligence 2366, Springer-Verlag, 114-122
-
Kłopotek M. A.: Reasoning in Structured Bayesian Networks. W: Proc. 6th
International Conference on Neural Networks and Soft Computing, ICNNSC'02, Zakopane, 11-15 June, 2002 (w druku)
-
Kłopotek M. A.: Space Saving Approach to Fitting Tree Distributions to
High-Dimensional Sparse Data. W: M. Kłopotek,J. Tchórzewski (eds.): Sztuczna inteligencja. Materiały V Konferencji Naukowej.
Wydawnictwo Akademii Podlaskiej. Siedlce 2002, 13-18
-
Kłopotek M. A.: Structure and Reasoning in Bayesian Networks . ICS PAS Reports Nr 941
Warszawa, February 2002
-
Kłopotek: M. A.: A New Space-Saving Bayesian Tree Construction Method for High
Dimensional Data Demonstratio Mathematica, Vol. 35, No. 3 (2002) 671-684
-
Konikowska B., Penczek W.: Model Checking for Multi-Valued CTL*, a chapter in the book on Multi-Valued Logics, M.
Fitting and E. Orłowska eds., 2002, 226-239, LNCS 2421
-
Konikowska B., Penczek W.: Model Checking for Multi-Valued Computation
Tree Logic), Fitting/Orłowska (eds.) "Beyond Two: Theory and Applications of Multiple Valued Logic", w druku.
-
Konikowska B., Penczek W.: Reducing Model checking from Multi-valued CTL* to CTL*, Proceedings Concur 2002,
LNCS 2421, 226-240.
-
Konikowska B.: Rasiowa-Sikorski deduction systems in computer science applications, TCS 286 (2002), 323-266.
-
Kopański D., Laskowski E., Tudruj M.: Modeling Parallel Program Execution Control by Directed Graphs with Synchronous Comunication, Proceedings of the 3rd International Conference on Parallel Computing in Electrical Engineering, PARELEC 2002, September 2002, Warsaw, IEEE Computer Society Press, 15-20
-
Koronacki J.: szkic 4 rozdziałów do podręcznika na temat
statystycznych metod uczenia maszynowego, 134 strony, rękopis
-
Kowalczyk M., Mokrzycki W.: A new method of finding onw-view areas and tight view sphere covering. Proc. ICCVG'02,
25-29 Sept., Zakopane, 443-449.
-
Kowalczyk T., Niewiadomska-Bugaj M.: A new grade measure of monotone multivariate separability. In:
C. Cuadras, J. Fortiana, J. Rodriquez-Lallena (eds.). Distributions with Given Marginals and Statistical Modelling.
Boston/Dordrecht/London: Kluwer Academic Publishers, 2002, 143-151.
-
Kozankiewicz H., Leszczyłowski J., Płodzień J., Subieta K.:
Updateable Object Views. ICS PAS Reports 950, October 2002
-
Kozłowski M., Wierzchoń S. T.: Evolutionary algorithm for learning Bayesian
structures from data. Task Quarterly, vol. 6, no. 3 (2002), 509-521
-
Kozłowski M., Wierzchoń S. T.: Ewolucyjny algorytm ekstrakcji sieci
bayesowskich z danych. Z. Bubnicki, O. Hryniewicz, R. Kulikowski (red.) Metody i Techniki Analizy Informacji i Wspomagania
Decyzji. Akademicka Oficyna Wydawnicza EXIT, Warszawa 2002, ISBN 83-87674-40-0, s.
IV-11 - IV-18 (rozdział w książce)
-
Kupść A., Mitamura T. Nyberg E.: `A Prototype of an English-Polish Machine Translation System' raport techniczny
CMU (w druku)
- Laskowski E.: New Program Structuring Heuristics for Multi-Procesor Systems with Redundant Communication Resources, Proceedings of the 3rd International Conference on Parallel Computing in Electrical Engineering PARALEC 2002, September 2002, Warsaw, IEEE Computer Society Press, 183-188
-
Malawski M.: A note on symmetry and equal treatment of values, raport
wewnętrzny IPI PAN, 2002.(rękopis)
-
Malawski M.: Equal treatment, symmetry and Banzhaf value axiomatizations, Int. Journal of Game Theory 31(1) (2002),
47-67
-
Malawski M.: Equity properties of the Shapley value as a power index, Control and Cybernetics 31(1), 2002,
117-127
-
Malawski M.: Values of majority voting games with distrust operators, Applicationes Mathematicae 28(1), 2002,
117-126
-
Malawski M.: Własności transferu indeksów siły w schematach decyzyjnych, w :
"Badania operacyjne i systemowe wobec wyzwań XXI wieku - metody i techniki analizy informacji i wspomagania decyzji",
Akademicka Oficyna Wydawnicza EXIT, 2002 (rozdział w książce)
-
Malawski M.: Zliczające indeksy siły dla gier z prekoalicjami, zaproszona do:
"Group decision making and voting", Wydawnictwo IBS (rękopis)
-
Maloof M. Michalski R. S.: "Incremental Learning with Partial Instance Memory", Foundations of Intelligent Systems,
Lecture Notes in Artificial Intelligence, Vol. 2366, 16-27. Berlin: Springer-Verlag. (Proceedings of the Thirteenth
International Symposium on Methodologies for Intelligent Systems, Lyon, France), 2002.
-
Maloof M., Michalski R. S.: "Selecting Examples for Partial Memory Learning," Machine Learning , vol.41, 27-52,
2001.
-
Marciniak M.: "Anaphora binding in Polish. Theory and Implementation", Materiały z konferencji DAARC2002, wrzesień 2002
-
Matuszewski A.: Double clustering: A data mining methodology for discovery of
causality, in: M. Kłopotek, S. Wierzchoń, M. Michalewicz (eds.): Intelligent Information Systems 2002. Advences in Soft
Computing. Physica/Springer Verlag, Heidelberg New York 2002 227-236
-
Matyja O.: Decomposition of a Probability Table into a Mixture of Permuted Binormal Discretized Tables, Proceedings
in Computational Statistics CompStat'2002, 16 Symposium, Berlin, Short Communication
(rękopis na CD-ROM);
-
Matyja O.: Decomposition of a Probability Table into a Mixture of Permuted Binormal Discretized Tables, Proceedings
in Computational Statistics Compstat'2002, 16 Symposium, Berlin, Short Communication
-
Matyja O.: Grade Decomposition of a Contingency Table into Binormal Discretized
Tables, In: Kłopotek M., Wierzchoń T.S., Michalewicz M. (Eds.): "Intelligent Information Systems 2002", Proceedings of the
IIS'2002 Sopot, Poland, June 3-6, 2002, Advances in Soft Computing, Physica-Verlag, 2002, 251-258;
-
Matyja O.: Smooth Grade Correspondence Analysis and related computer system
(rękopis rozprawy doktorskiej)
-
Mazurkiewicz A., Wróblewski D.: Messages, Clocks, and Gravitation "From Theory to Practice in Multi-Agent Systems",
LNAI 2296 (2002) 187-196
-
Mazurkiewicz A.: Conflicts, Cooperation, and Authorization. (rękopis)
-
Mazurkiewicz A.: Pairwise negotiations. (rękopis)
-
Michalski R. S. Cervone G.: "Adaptive Anchoring Quantization of Continuous Variables for Learnable Evolution,"
Reports of the Machine Learning and Inference Laboratory, MLI 01-3, George Mason University, Fairfax, VA.
-
Michalski R. S., Kaufman K. A.: "The AQ19 System for Machine Learning and Pattern Discovery: A General Description
and User's Guide," Reports of the Machine Learning and Inference Laboratory, MLI 01-2, George Mason University, Fairfax, VA,
2001.
-
Michalski R. S., Kaufman K.: "Learning Patterns in Noisy Data: The AQ Approach, " in Machine Learning and
Applications, G. Paliouras, V. Karkaletsis and C.D. Spyropoulos (editors), Springer-Verlag Publisher 22-38, 2002.
-
Mielniczuk J., Wu W.B.: On random-design regression model with dependent
errors (rękopis)
-
Mokrzycki W.: 2,5W modele widokowe wielościanów niewypukłych. Mat. V Sympozium
Naukowego PW pt. TECHNIKI PRZETWARZANIA OBRAZU TPO'02, 21-23, XI, 02, Serock.
-
Mokrzycki W.: Noise removing in motion mask maps. (rękopis)
-
Momotko M., Subieta K.: Dynamic change of Workflow Participant Assignment, Proc. of. Sixth East-European Conference
on Advances in Databases and Information Systems, Vol.2, September 8-11, 2002, Bratislava, Slovakia
-
Mykowiecka A., Marciniak M., Przepiórkowski A..,Kupść A.: An Implementation of
a Generative Grammar of Polish. Materiały z konferencji FDSL4 Poczdam 2001. (rękopis)
-
Mykowiecka A., Marciniak M.: Polish HPSG Grammar in ALE and LKB. (rękopis)
-
Nędza J., Pleszczyńska E., Szczesny W.: Szanse integracji zawodowej osób niepełnosprawnych na podstawie doświadczeń
organizacji społecznych z Polski i Niemiec, w J. Lewandowski, J. Lecewicz-Bartoszewska (red.): Ergonomia niepełnosprawnym. Jakość życia, Wydawnictwo Politechniki Łódzkiej, Łódź 2002,
171-181.
-
Ochmański E.: On Conflict-Free Executions of Elementary Nets; Systems Science 27(2), 89-105
-
Pawłowski W.: Logika pierwszego rzędu. Rozdzial skryptu: M. A. Bednarczyk, T.
Borzyszkowski, W. Pawłowski, P. Pączkowski, S. Sokołowski "Komputerowe wspomaganie dowodzenia" (rękopis)
-
Pawłowski W.: Presentations with Inference Rules. Zaprezentowane na konferencji WADT 2002, 24-27 września 2002
Frauenchiemsee, Niemcy. Praca została zaproszona do specjalnego woluminu Lecture Notes in Computer Science
(w druku)
-
Penczek W., Lomuscio A.: Bounded Model Checking for Interpreted Systems, ICS PAS Report 946, 2002.
-
Penczek W., Woźna B., Zbrzezny A.: Bounded Model Checking for the Universal
fragment of CTL, Fundamenta Informaticae, 2002, 135-156
-
Penczek W., Woźna B., Zbrzezny A.: Towards Bounded Model Checking for the
Universal Fragment of TCTL, Proc. of FTRTFT'02, LNCS 2469, 2002.
-
Penczek W., Wożna B., Zbrzezny A.: Bounded Model Checking for Elementary Nets
Systems, ICS PAS Report 940, 2002.
-
Pleszczyńska E., Grzegorek M.: Analiza danych dotyczących osób
niepełnosprawnych. Prace IPI PAN No 945, Warszawa, lipiec 2002, 1-30.
-
Pleszczyńska E., Kowalczyk T., Ruland F. (red.): Grade Statistical Models and
Methods for Data Analysis. (rękopis)
-
Pleszczyńska E., Szczesny W., Grzegorek M.: Clustering Respondents in Clinical
Databases Using Ordered Grade Clustering, in L. Bobrowski, J. Doroszewski, N. Victor (Eds.), Lecture Notes of the ICB Seminars
"Statistics and Clinical Practice", International Center of Biocybernetics, Warsaw, June 2002, pp 64-69.
-
Pleszczyńska E., Szczesny W.: Grade exploratory methods
applied to some medical data sets. Biocybernetics and Biomedical Engineering, vol. 22, 1, 2002, 17 - 30.
-
Płodzień J, Stasiecka A., Stemposz E. "Telepraca: aspekty
organizacyjne procesu dydaktycznego w nauczaniu na odległość", materiały V Konferencji z cyklu: Problemy Społeczeństwa
Globalnej Informacji wydane jako monografia, 142-147, Szczecin, Polska, 2002
-
Półrola A., Penczek W., Szreter M.: "Refining partitioning for checking
reachability in Timed Automata" Proceedings of "Concurrency, Specification and Programming 2002" workshop, Berlin, 2002,
278-291
-
Przepiórkowski A. Kupść A., Marciniak M., Mykowiecka A.: Formalny opis języka polskiego. Teoria i implementacja, Akademicka Oficyna Wydawnicza (2002), s 380
(książka)
-
Przepiórkowski A., Bański P., Dębowski Ł., Hajnicz E., Woliński M. :
Konstrukcja korpusu IPI PAN (rękopis)
-
Przepiórkowski A., Hajnicz E., Woliński M., Dębowski Ł.: Zasady
ujednoznaczniania Korpusu frekwencyjnego (rękopis)
-
Przepiórkowski A.: Dehomonimizacja w korpusie IPI PAN (rękopis)
-
Przepiórkowski A.: Information Extraction and Learning of Template Types. W: Proceedings of Practical
Applications of Linguistic Corpora 2001, Łódź (rękopis)
-
Pyrchla J., Holec M., Bednarczyk M., Mielniczuk J., Przyborski M.:Edycja tomu ,,Zbiory rozmyte w teorii lokalizacji
wypadków morskich. Wybrane zagadnienia'', str. 235, ISBN 83-917531-2-3, Gdynia 2002.
-
Raś Z. W., Gupta S.: Action rules, re-classification of objects and
e-commerce, in Intelligent Information Systems 2002, Advances in Soft Computing, Proceedings of the IIS'2002
Symposium, Sopot, Poland, Physica-Verlag, 2002, 101-108
-
Raś Z. W., Gupta S.: Global action rules in distributed knowledge systems, in
CS&P 2001 Special Issue (Eds. L. Czaja, H.-D. Burkhard, P. Starke), Fundamenta Informaticae, IOS Press, Vol. 51,
No. 1-2, 2002, 175-184
-
Raś Z. W.: Reducts-driven query answering for distributed knowledge systems, in
Special Issue on Rough Sets Approach to Knowledge Discovery (Eds. J.F. Peters, A. Skowron), International Journal of
Intelligent Systems , John Wiley & Sons, Vol. 17, No. 2, 2002, 113-124
-
Rękawek J., Miszczak-Knecht M., Kawalec W., Mielniczuk J.:
Heart-rate variability (HRV) in healthy children (w druku)
-
Roantree M.,
Subieta K.: Generic Applications for Object-Oriented Databases. Object-Oriented.
Information Systems, 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings.
Lecture Notes in Computer Science 2425 Springer
2002, 53-59
-
Rumchev V., Świniarski R.: Modeling the reachable sets for
positive linear systems using self-regulating adaptive perceptron type neural networks. In Proceedings of the American
Control Conference, 2002. Alaska, May 8-10, 2002, 4642-4647. (invited paper).
-
Schroeder L., Mossakowski,T., Tarlecki A., Klin B., Hoffman, P. Amalgamation in the semantics of CASL. Theoretical
Computer Science (w druku)
- Seredyński F., Święcicka A.: Immune-like System Approach to Cellular Automata-based Scheduling, Parallel Processing and applied Mathematics, Springer, LNCS 2328, 626-633, 2002
- Seredyński F., Zomaya A. Y.: Sequential and Parallel Cellular Automata - based Scheduling Algorithms, IEEE Trans. On Parallel and Distributed Systems, vol. 13, No. 10, 1009-1023, October 2002
-
Skowron A. Świniarski R.: Information Granulation and Pattern
Recognition. In: S. K. Pal, L. Polkowski, A. Skowron (eds.) Rough-Neuro Computing: Techniques for Computing with
Words. Artificial Intelligence Series, Springer -Verlag, Berlin, Heidelberg, NewYork, 2002 (redakcja tomu)
-
Skowron A., Świniarski R.: Rough Sets in Pattern Recognition. In
S. K. Pal, and A. Pal. Pattern Recognition. From Classical to Modern Approaches. World Scientific, Singapore, 2001,
385-426
-
Sokołowski S.: A case for po-manifolds: in chase after a good topological model
for concurrency. Preliminary Proceedings of Geometry and Topology in Concurrency Theory GETCO'02 (workshop affiliated with
DISC'2002), Toulouse, France, October 30-31, 2002, 71-93.
-
Sokołowski S.: Categories of dimaps and their dihomotopies in po-spaces and
local po-spaces. GEometry and Topology in COncurrency theory 2001, Aalborg University, Aalborg, Denmark, 25 August 2001 (ed.
E.Goubault). Electronic Notes in Theoretical Computer Science, Vol.52, Issue 2, 2002. (raport)
-
Sokołowski S.: Investigation of concurrent processes by means of homotopy
functors. MSCS, Vol.12, Issue 5, 665-699, 2002
-
Sokołowski S.: Prawie cała prawda o unifikacji. Rozdział skryptu: M. A
Bednarczyk, T. Borzyszkowski, W. Pawłowski,
P. Pączkowski, S. Sokołowski "Komputerowe wspomaganie dowodzenia" (rękopis)
- Srebrny M., Such P.: Encryption using Twodimensional cellular automata with applications, w Proceedings of the 9th International Conference Advanced Computer Systems 2002, eds: J. Soldek I L. Drobiazgiewicz, Wydawnictwo Informatyki, Szczecin, 2002, 177-189
-
Subieta K., Jodłowski A., Habela P., Płodzień J.: "Conceptual Modeling
of Business Applications with Dynamic Object Roles", rozdział w książce "Technologies Supporting Business Solutions" (ed. R.
Corchuelo, A. Ruiz-Cortés, R. Wrembel), the "Advances in Computation: Theory and Practice" - ACTP Series, Nova Science Books
and Journals, New York, USA (w druku)
-
Subieta K.: Wprowadzenie do inżynierii oprogramowania.
Wydawnictwo PJWSTK, 2002 (218 stron).
-
Szczesny W., Kowalczyk T.: On regularity of multivariate
data sets. In: Kłopotek M., Wierzchoń T.S., Michalewicz M. (Eds.), "Intelligent Information Systems'2002", Proceedings of the
IIS'2002, Sopot, Poland, June 3-6, 2002, Advances in Soft Computing, Physica-Verlag, 237-246.
-
Szczesny W.: Grade correspondence analysis applied to contingency tables and questionnaire data,
Intelligent Data Analysis, vol 6, no 1, 2002, 17-51.
-
Szreter M.: "Partial Order reductions for TCTL in Automata Model Checking" proceedings of "Concurrency,
Specification and Programming 2002" workshop, Berlin, 2002, 341-354
- Święcicka A., Seredyński F.: Applying Celular Automata in Multiprocessor Scheduling, International Conference on Parallel Computing in Electrical Engineering, 2002 IEEE, 177-182, 2002
- Święcicka A., Seredyński F.: Cellular Automata-Based Scheduling with use of Artificial Immune System, Sztuczna Inteligencja, Wydawnictwo Akademii Podlaskiej, Siedlce, 73-81, 2002
- Święcicka A., Seredyński F.: On Multiprocessor Scheduling with Cellular Automata, Intelligent Information Systems 2002, Physica-Verlag, 371-380, 2002.
-
Świniarski R., Rumchev V. G.: Application of Neural Network to Modeling the
Reachable Sets for 2-dimensional Positive Linear Discrte-time Systems With the Scalar Control. Electrotechnical
Review. October 2002 (praca zaproszona)
-
Świniarski R., Świniarska. A.: Comparison of Feature Extraction
and Selection Methods in Mammogram Recognition. Annals of NYAS (New York Academy of Science), December. 2002. (w
druku).
-
Świniarski R.,. Skowron A.: Rough Sets Methods in Feature Selection and
Recognition. Pattern Recognition Letters. 2002. (w druku)
-
Świniarski R.: An Application of Rough Sets and Haar Wavelets to Face
Recognition. In W. Ziarko, Y. You, Rough Sets and Current Trends in Computing. Second International Conference RSCTC
Banff, Canada, October 16-19 2000. Springer-Verlag, 2002, 561-568.
-
Tarlecki A.: Abstract Specification Theory. Materialy Marktoberdorf 2002
Summer School on "Models, Algebras and Logic of Engineering Software", Marktoberdorf, Niemcy, lipiec-sierpień 2002.
-
Tchórzewski J., Kłopotek M. A.: The Concept of Discoveries in Evolving Neural Net W: M. Kłopotek, S. Wierzchoń, M. Michalewicz (eds.): Intelligent
Information Systems 2002. Advances in Soft Computing. Physica/Springer Verlag, Heidelberg New York 2002, 165-174
-
Tchórzewski J., Kłopotek M. A.: A Case Study in Neural Network Evolution
. ICS PAS Reports Nr 943 Warszawa, March 2002
-
Trojanowski K., Jodłowski A., Skowroński K.: Storing Data in KDD Systems /from
Inlen 3.0 to InlenStar. Evolution of Database/, W: M. Kłopotek, S. Wierzchoń, M. Michalewicz (eds.): Intelligent Information
Systems 2002. Advances in Soft Computing, Physica/Springer Verlag, Heidelberg New York 2002, 131-140
-
Trojanowski K., Obuchowicz A.: Some Aspects of Evolutionary Adaptation in Non-Stationary Environments, WAE 2002:
Warsztaty Algorytmy Ewolucyjne i Optymalizacja Globalna, Kraków, 23-24 września
2002.
-
Trojanowski K., Wierzchoń S. T.: Searching for Memory in Artificial Immune System, W: M. Kłopotek, S. Wierzchoń,
M. Michalewicz (eds.): Intelligent Information Systems 2002. Advances in Soft Commputing. Physica/Springer Verlag, Heidelberg
New York 2002, 175-174
-
Trojanowski K., Wierzchoń S. T.: Memory Management in Artificial Immune
System, The Sixth International Conference on Neural Networks and Soft Computing ICNNSC 2002, 11-15 June, 2002
(w druku)
-
Trojanowski K., Wierzchoń S. T.: Control of Immune Memory in
Artificial Immune System, WAE 2002: Warsztaty Algorytmy Ewolucyjne i Optymalizacja Globalna, Kraków, 23-24 września 2002.
-
Trojanowski K.: Analiza cech iteracyjnego algorytmu optymalizacyjnego zastosowanego do optymalizacji parametrów dynamicznego systemu uczącego się, BOS 2002: VII Konferencja Polskiego Towarzystwa Badań
Operacyjnych i Systemowych - Badania Operacyjne i Systemowe Wobec Wyzwań XXI Wieku, Warszawa, 26-28 września 2002, Akademicka
Oficyna Wydawnicza EXIT, Warszawa 2002, IV-27 - IV-34.
- Tudruj M., Maśko Ł.: Communication on the Fly in a System of Dynamic SMP Clusters, Proceedings of the International Conference on Parallel and Distributed Computing, July, 17-20, 2002 Iasi, Romania, Editura Universitati Alexandru Ioan Cuza, 287-303
- Tudruj M., Maśko Ł.: Program Execution Control for Communication on the Fly in Dynamic Shared Memory Processor Clusters, Proceedings of the 3rd International Conference on Parallel Computing in Electrical Engineering, PARELEC 2002, September 2002, Warsaw, IEEE computer Society Press, 15-20
-
Wieczorek A., Maćkiewicz A.: Computing Equilibria in Economic Models with
Infinitely Many Agents, Information Technology for Economics and Management 1, 2002, 1-34
-
Wieczorek A., Maćkiewicz A.: Computing Equilibria in Models of Spatial
Allocation of Infinite Population, Information Technology for Economics and Management 1, 2002, 1-12
-
Wieczorek A.: Game-theoretic road traffic model (rękopis)
-
Wieczorek A.: General equilibria and spatial allocation models.
(rękopis)
-
Wierzchoń S. T., Kłopotek M. A.: Evidential Reasoning. An Interpretative Investigation. Wydawnictwo Akademii
Podlaskiej, Siedlce, 2002 PL ISSN 0860-2719, 304 stron
-
Wierzchoń S. T., Kłopotek M. A.: Wykorzystanie sieci bayesowskich i sztucznych
systemów immunologicznych w inteligentnej nawigacji w sieci WWW. W: A. Wakulicz-Deja (red.) Systemy wspomagania
decyzji. Materiały Konferencji Naukowej, Zakopane 9 - 11 grudnia 2001, Instytut
Informatyki Uniwersytetu Śląskiego w Katowicach, Katowice 2002, 45-48
-
Wierzchoń S. T., Kużelewska U.: Adaptive clusters formation in an Artificial
Immune System, Warsztaty Naukowe: Algorytmy Ewolucyjne i Optymalizacja Globalna, WAE'02, Kraków, 23-24 września 2002,
131-138
-
Wierzchoń S. T., Kużelewska U.: Stable clusters formation in an artificial immune system, ICARIS'02:
1st International Conference on Artificial Immune Systems, University of Kent at Canterbury, UK, September 9th-11th, 2002,
ISBN 1902671325, 68-75
-
Wierzchoń S. T., Kużelewska U.: Zastosowanie sztucznej sieci immunologicznej do
grupowania danych. Z. Bubnicki, O. Hryniewicz, R. Kulikowski (red.) Metody i Techniki Analizy Informacji i Wspomagania
Decyzji. Akademicka Oficyna Wydawnicza EXIT, Warszawa 2002, ISBN 83-87674-40-0, s. IV-35 - IV-42
-
Wierzchoń S. T.: Algorytm selekcji klonalnej i jego zastosowanie do optymalizacji w zmiennym środowisku. W: A. Wakulicz-Deja (red.) Systemy
wspomagania decyzji. Materiały Konferencji Naukowej, Zakopane 9 - 11 grudnia 2001,
Instytut Informatyki Uniwersytetu Śląskiego w Katowicach, Katowice 2002, 38-44
-
Wierzchoń S. T.: Function optimization by the immune metaphor. Task
Quarterly, vol. 6, no. 3 (2002), 493-508
-
Winkowski J.: Reachability in contextual nets, Fundamenta Informaticae 51 (2002), 235-250, Amsterdam 2002
(Ostateczna wersja pracy opublikowanej w 2001 roku w serii Prace IPI PAN pod numerem 926, oraz w Proceedings of CS and
P'2001, 291-302)
-
Winkowski J.: Towards a solution to a plan-formation problem (Prace IPI PAN Nr
948, Warszawa, Wrzesień 2002)
-
Woliński M.: "Rodzajów w polszczyźnie jest osiem", w Nie bez znaczenia ..., Prace ofiarowane Profesorowi
Zygmuntowi Saloniemu z okazji jubileuszu 15000 dni pracy naukowej, Wydawnictwo
Uniwersytetu w Białymstoku, 2001.
-
Woliński M.: "Znakowanie morfosyntaktyczne korpusu tekstów". (rękopis)
-
Woźna B., Penczek W., Zbrzezny A.: Checking Reachability Properties via SAT, ICS PAS Report 949, 2002.
-
Woźna B., Penczek W., Zbrzezny A.: Reachability for Timed Systems based on
SAT-solvers, Proc. of CS&P'02, 380-395.
-
Wu W.B., Mielniczuk J.: Kernel density estimation for linear process, Annals of Statistics 30(2002), 1441-1459
-
Wysocki W., Kalbarczyk M, Busłowicz I.: Matematyczne pismo punktowe dla
niewidomych, książka wydana pismem punktowym (Brailla)
-
Wysocki W.: Generatory wektorowe kopuł Archimedesowskich
(rękopis)
|
|
|
 |
 |