Projects

References

References

Alur R., Henzinger T.A, Kupferman O. Alternating-time Temporal Logic. Journal of the ACM, 49:672–713, 2002.

Alur R., Henzinger T., Vardi M. Parametric real-time reasoning, Proc. of STOC’93, 1993, 592–601.

Ambroszkiewicz S. Entish: A Language for Describing Data Processing in Open Distributed Systems. Fundamenta Informaticae Volume 60, Number 1-4, April 2004, ISO Press, pp.41-66

Ambroszkiewicz S. enTish: An Approach to Service Composition. In B. Benatallah and M-Ch. Shan (Eds.), Technologies for E-Services. Proc. of 4th Int. Workshop TES 2003, Berlin, Sept. 2003, by Springer LNCS 2819, (2003), ISBN 3-540-20052-5, pp. 168-178

Ambroszkiewicz S. Agent Based Approach to Service Description and Composition. In Innovative Concepts for Agent-Based Systems: First Intern. Workshop on Radical Agent Concepts WRAC 2002 McLean, VA, USA. Springer LNCS 2564, pp. 135 – 149, 2003.

Anick P. Using terminological feedback for Web search refinement: a log-based study. Proc. 26th Annual International ACM SIGIR Conf. on Research and Development in Information Retrieval (Toronto, Canada). SIGIR '03. ACM, New York, NY, 88-95, 2003.

Arieli O., Cornelis C., Deschrijver G., Preference modeling by rectangular bilattices, Lecture Notes in Computer Science, 3885, 22-33, 2006.

Bednarczyk M.A, Neumann J, Pawłowski W., Siekielski A., Sławiński J. Towards an Object-Oriented Framework for Higher Order Genetic Algorithms, Proc. 24th Intern. Conf. on Artificial Intelligence, Kraków, Proceedings of Artificial Intelligence Studies, 6(29): 65-69, 2009.

Berzal F., Cubero J., Kacprzyk J., Marin N., Vila M., Zadrożny S. Computing with words using metadata-based programming. In: IFSA’2005 - Fuzzy Logic, Soft Computing and Computational Intelligence, Beijing, China, July 28-31, 2005, Tsinghua University Press/Springer, 628-634.

Boeva V., De Baets B., Tsiporkova, E., Ranking of admissible alternatives in interval decision making, Int. J. of Syst. Sc. 36 (2005) 897-907.

Bruyere V., Dall'Olio E., Raskin J.F. Durations and parametric model-checking in timed automata, ACM Trans. on Comp. Logic, 9(2), 2008.

Buyya R., Yeo C.S., Venugopal S., Broberg J., Brandic I. Cloud computing and emerging it platforms: Vision, hype, and reality for delivering computing as the 5th utility. Future Generation Computer Systems, 25(6):599–616, June 2009.

Ciesielski K., Kłopotek M.A., Wierzchoń, S.T. Term Distribution-Based Initialization of Fuzzy Text Clustering. In: Foundations of Intelligent Systems. Lecture Notes in Computer Science 4994/2008, Springer-Verlag, Toronto, Canada 2008, 278-287, (ISMIS'2008)

Clarke E. M., Grumberg O., Peled D. Model Checking. MIT Press (1999).

Couso I., Dubois D. On the variability of the concept of variance for fuzzy random variables, IEEE Trans. on Fuzzy Syst. 17 (2009) 1070-1080.

Denoeux T., Masson M.H., Hebert P.A., Nonparametric rank-based statistics and significance tests for fuzzy data, Fuzzy Sets and Systems, 153(2005), 1-28.

De Schuymer B., De Meyer H., De Baets B. Cycle-transitive comparison of independent random variables, Journal of Multivariate Analysis, 96 (2005), 352-373.

De Tré G., Zadrożny S., Matthe T., Kacprzyk J., Bronselaer A.: Dealing with Positive and Negative Query Criteria in Fuzzy Database Querying. Lecture Notes in Computer Science 5822, 593-604, 2009.

Diaz S., De Baets B., Montes S. On the compositional characterization of complete fuzzy pre-orders, Fuzzy Sets and Syst. 159(2008) 2221-2239.

Francisco A., Baeza-Yates R., Oliveira A.: Clique Analysis of Query Log Graphs Source: SPIRE, Springer, Melbourne (2008)

Gonzalez-Rodriguez G., Colubi A., Gil M.A., A fuzzy representation of random variables: An operational tool in exploratory analysis and hypothesis testing, Computational Statistics and Data Analysis, 51 (2006) 163 – 176.

Grabisch M., Greco S., Pirlot M. Bipolar and bivariate models in multicriteria decision analysis: Descriptive and constructive approaches. Int. J. Intell. Syst. 23, 9, 930-969, 2008.

Grumberg O., Heyman T., Schuster A.. Distributed symbolic model checking for mi-calculus. Formal Methods in System Design, 26(2):197–219, 2005.

Grzegorzewski P., Testing statistical hypotheses with vague data, Fuzzy Sets and Systems, 112 (2000), 501-510.

Grzegorzewski P., The coefficient of concordance for vague data, Computational Statistics and Data Analysis, 51 (2006), 314-322.

Grzegorzewski P., Kendall's correlation coefficient for vague preferences, Soft Computing, 13 (2009), 1055–1061.

Grzegorzewski P., k-sample median test for vague data, International Journal of Intelligent Systems, 24 (2009), 529–539.

Homenda W., Information Structuring in Natural Language Communication: Syntax versus Semantic, LNAI, 3070 (2004) 872-878.

Homenda W., Towards automation of data understanding: integration of syntax and semantics into granular structures of data, Fourth International Conference on Modeling Decisions for Artificial Intelligence MDAI 2007, Kitakyushu, Fukuoka, Japan, 16-18 August, 2007.

Homenda W., Breaking Accessibility Barriers:Computational Intelligence in Music Processing for Blind People in: Advanced Computational Intelligence Paradigms in Healthcare - 3, Sordo M., Vaidya S. and Jain L. C. (Eds.), Studies in Computational Intelligence, SCI 107, 207-232 (2008), Springer-Verlag, 2008

Homenda W., Integrated syntactic and semantic data structuring as an abstraction of intelligent man-machine communication, pp. 324-330, ICAART - International Conference on Agents and Artificial Intelligence, Porto, Portugal, 2009

Homenda W., Automatic data understanding: a necessity of intelligent communication, in LNAI, 6114, 476-483, 2010.

Hune T., Romijn J., Stoelinga M., Vaandrager F. Linear parametric model checking of timed automata, Proc.of TACAS’01, LNCS, vol. 2031, Springer-Verlag, 2001, 189–203.

Hüllermeier E., Brinker C. Learning valued preference structures for solving classification problems, Fuzzy Sets and Syst. 159(2008) 2337-2352.

Hüllermeier E., Vanderlooyb S. Combining predictions in pairwise classification: An optimal adaptive voting strategy and its relation to weighted voting, Pattern Recognition, 43 (2010), 128-142.

Jafar S., Krings A., Gautier T. Flexible rollback recovery in dynamic heterogeneous grid computing. IEEE Transactions on Dependable and Secure Computing (TDSC), 6(1), Jan 2009

Jamroga W., Âgotnes T. Constructive knowledge: What agents can achieve under incomplete information. Journal of Applied Non-Classical Logics, 17(4):423–475, 2007.

Jones R., Rey B., Madani O., Greiner W. Generating query substitutions. In Proceedings of the 15th international Conference on World Wide Web (Edinburgh, Scotland, May 23 - 26, 2006). WWW '06. ACM, New York, NY, 387-396, 2006.

Kacprzak M., Nabiałek W., Niewiadomski A., Penczek W., Półrola A., Szreter M., Zbrzeźny A., Woźna B. VerICS 2006 - A Model Checker for Real-Time and Multi-Agent Systems, Fundamenta Informaticae, Vol 85(1-4): 313-328, 2008.

Kacprzak M., Penczek W. Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic, Autonomous Agents and Multi-Agent Systems, 11(1):69–89, 2005

Kacprzyk J., Zadrożny S.: Linguistic database summaries and their protoforms: towards natural language based knowledge discovery tools. Information Sciences, vol. 173, No. 4, 2005, 281-304.

Kacprzyk J., Zadrożny S. Soft computing and Web intelligence for supporting consensus reaching. Soft Computing, 14(8):833-846, 2010.

Kacprzyk J., Zadrożny S.: Computing with words is an implementable paradigm: fuzzy queries, linguistic data summaries and natural language generation. IEEE Transactions on Fuzzy Systems, 18(3):461-472, 2010.

Kacprzyk J., Zadrożny S., Wilbik A.: Linguistic summarization of some static and dynamic features of consensus reaching. In: B. Reusch (Ed.): Computational Intelligence, Theory and Applications. Springer-Verlag, Berlin Heidelberg 2006, pp. 19-28.

Knapik M., Szreter M., Penczek W. Bounded Parametric Model Checking for ElementaryNet Systems, Proc. of PNSE'09, University of Hamburg, pp. 97-118.

Mahjoub A., Pecero Sánchez J.E., Trystram D. Scheduling with uncertainties on new computing platforms. J. Comput Optim Appl. To appear

Mitra M., Singhal A., Buckley C. Improving automatic query expansion. Proc. 21st Annual international ACM SIGIR Conference on Research and Development in information Retrieval (Melbourne, Australia, August 24 - 28, 1998). SIGIR '98. ACM, New York, NY, 206-214, 1998.

Morowitz, H. J. The Emergence of Everything: How the World Became Complex, Oxford University Press, 2002.

Ostaszewski M., Seredyński F., Bouvry P. Coevolutionary-based mechanisms for network anomaly detection. J. of Math. Modeling and Algorithms, Springer, 2007, pp. 411-431

Penczek W., Lomuscio A. Verifying epistemic properties of multi-agent systems via bounded model checking. Fundamenta Informaticae, 55(2):167–185, 2003.

Penczek W., Półrola A., Zbrzeźny A. SAT-Based (Parametric) Reachability for Distributed Time Petri Nets 2009, Proc. of PNSE'09, University of Hamburg, pp. 133-156.

Schobbens P.Y. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 2004.

Sieckenius de Souza, C., The Semiotic Engineering of Human-Computer Interactions, MIT Press, Cambridge, MA., 2005

Święcicka A., Seredyński F., Zomaya A.Y. Multiprocessor Scheduling and Rescheduling with use of Cellular Automata and Artificial Immune System Support, IEEE Trans. on Parallel and Distributed Systems, vol. 17, No3, March 2006, pp. 253-262

Szaban M., Seredyński F. Improving Quality of DES S-boxes by Cellular Automata-Based S-boxes, Journal of Supercomputing, 2010 (in print)

Tadeusiewicz R., Ogiela M. R. Automatic understanding of medical images - new achievements in syntactic analysis of selected medical images. Biocybernetics and Biomedical Engineering 22(4): 17-29, 2002.

Tadeusiewicz R., Ogiela M.R. Medical Image Understanding Technology, Springer-Verlag, Berlin, 2004

Tadeusiewicz R., Ogiela L., Ogiela M.R. The automatic understanding approach to systems analysis and design. International Journal of Information Management 28(1): 38-48, 2008.

Waegeman W., De Baets B., Boullart L. ROC analysis in ordinal regression learning, Pattern Recognition Letters, 29 (2008), 1-9.

Zadrożny S., De Tré G., Kacprzyk J. On some approaches to possibilistic bipolar data modelling in databases. In: Atanassov, K., T., Hryniewicz, O., Kacprzyk, J., Krawczak, M., Nahorski, Z., Szmidt, E., Zadrożny, S. (Eds.): Advances in Fuzzy Sets, Intuitionistics Fuzzy Sets, Generalized Nets and Related Topics. Academic Publishing House EXIT, Warsaw, 197-220, 2008.

Zadrożny S., Kacprzyk J., De Tré G. A concept of bipolar queries in textual information retrieval. Proc. 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, Milan, Italy, IEEE, 175-178, 2009.

Zadrożny S., Kacprzyk J. Bipolar queries and queries with preferences (invited paper). Proc. 17th International Conference on Database and Expert Systems Applications (DEXA'06), Krakow, Poland, September 4-8, 2006, IEEE Computer Society, 415-419.

Zadrożny S., Kacprzyk J. Bipolar Queries: A Way to Enhance the Flexibility of Database Queries. In: Z.W. Raś and A. Dardzińska (Eds.): Advances in Data Management. Springer, Berlin Heidelberg 2009, pp. 49-66.

You are here: Home Projects References