2019

Monografie

Maciej Ogrodniczuk: Automatyczne wykrywanie nominalnych zależności referencyjnych w polskich tekstach współczesnych, Wydawnictwa Uniwersytetu Warszawskiego, 2019, 978-83-235-3622-2, 192 p.

Marcin Woliński:Automatyczna analiza składnikowa języka polskiego, Wydawnictwa Uniwersytetu Warszawskiego, 2019, 978-83-235-3606-2, 290 p.

Artykuły w czasopismach

Tarun Kumar Bansal, Xavier Boyen, Józef Pieprzyk: Signcryption schemes with insider security in an ideal permutation model, w: Journal of Mathematical Cryptology, 2019, Vol. 13 (2), s. 117-150

Ulf Brefeld, Jan Lasek, Sebastian Mair: Probabilistic movement models and zones of control, w: Machine Learning, 2019, Vol. 108 (1), s. 127-147

Nils Bulling, Wojciech Jamroga, Matei Popovici: Reasoning about Strategic Abilities: Agents with Truly Perfect Recall, w: ACM Transactions on Computational Logic, 2019, Vol. 20 (2), s. 10:1-46

Stanisław Bylka: The consignment stock of inventories under buyer’s warehouse space limitation, w: International Journal of Production Research, 2019, Vol. online, s. 1-19

Marco Cavalli, Nicholas Baltzer, Gang Pan, José Ramón Bárcenas Walls, Karolina Smolińska Garbulowska, Chanchal Kumar, Stanko Skrtic, Jan Komorowski, Claes Wadelius: Studies of liver tissue identify functional gene regulatory elements associated to gene expression, type 2 diabetes, and other metabolic diseases, w: Human Genomics, 2019, Vol. 13 (1), s. 20:1-8

Marco Cavalli, Nicholas Baltzer, Husen M. Umer, Jan Grau, Ioana Lemnian, Gang Pan, Ola Wallerman, Rapolas Spalinskas, Pelin Sahlen, Ivo Grosse, Jan Komorowski, Claes Wadelius: Allele specific chromatin signals, 3D interactions, and motif predictions for immune and B cell related diseases, w: Scientific Reports, 2019, Vol. 9 (1), s. 2695:1-14

Michał J. Dąbrowski, Bartosz Wojtas: Global DNA Methylation Patterns in Human Gliomas and Their Interplay with Other Epigenetic Modifications, w: International Journal of Molecular Sciences, 2019, Vol. 20 (14), s. 1-17

Klev Diamanti, Marco Cavalli, Gang Pan, Maria J. Pereira, Chanchal Kumar, Stanko Skrtic, Manfred Grabherr, Ulf Risérus, Jan W. Eriksson, Jan Komorowski, Claes Wadelius: Intra- and inter-individual metabolic profiling highlights carnitine and lysophosphatidylcholine pathways as key molecular defects in type 2 diabetes, w: Scientific Reports, 2019, Vol. 9, s. 9653:1-13

Ashutosh Dhar Dwivedi, Paweł Morawiecki, Gautam Srivastava: Differential Cryptanalysis of Round-Reduced SPECK suitable for Internet of Things devices, w: IEEE Access, 2019, Vol. 7 (2019), s. 16476-16486

Ashutosh Dhar Dwivedi, Gautam Srivastava, Shalini Dhar, Rajani Singh: A Decentralized Privacy-Preserving Healthcare Blockchain for IoT, w: Sensors, 2019, Vol. 19 (2), s. 326:1-17

Mieczysław A. Kłopotek: On the Existence of Kernel Function for Kernel-Trick of k-Means in the Light of Gower Theorem, w: Fundamenta Informaticae, 2019, Vol. 168 (1), s. 25-43

Hong Lai, Ming-Xing Luo, Yong-Jian Xu, Józef Pieprzyk, Lei Pan, Jun Zhang, Mehmet A. Orgun: Efficient quantum private queries based on quantum key distribution with pulse-position modulation, w: Laser Physics, 2019, Vol. 29 (5), s. 055201:1-

Emilia Lubecka, Agnieszka Karczyńska, Agnieszka Lipska, Adam Sieradzan, Karolina Zięba, Celina Sikorska, Urszula Uciechowska, Sergey A. Samsonov, Paweł Krupa, Magdalena Mozolewska, Łukasz Golon, Artur Giełdoń, Cezary Czaplewski, Rafał Ślusarz, Magdalena Ślusarz, Silvia N. Crivelli, Adam Liwo: Evaluation of the scaleconsistent UNRES force field in template-free prediction of protein structures in the CASP13 experiment, w: Journal of Molecular Graphics and Modelling, 2019, Vol. 92, s. 154-166

Jan Mielniczuk, Paweł Teisseyre: Stopping rules for mutual information-based feature selection, w: Neurocomputing, 2019, Vol. 358, s. 255-274

Behrooz Torabi Moghadam, Mitra Etemadikhah, Grazyna Rajkowska, Craig Stockmeier, Manfred Grabherr, Jan Komorowski, Lars Feuk, Eva Lindholm Carlström: Analyzing DNA methylation patterns in subjects diagnosed with schizophrenia using machine learning methods, w: Journal of Psychiatric Research, 2019, Vol. 114, s. 41-47

Elham Shakour Mohammad, Saeed Rostami, Mohammad Ali Orumiehchiha, Józef Pieprzyk: Cryptanalysis of WG-8 and WG-16 stream ciphers, w: Cryptography and Communications, 2019, Vol. 11 (2), s. 1-12

Artur Niewiadomski, Piotr Świtalski, Teofil Sidoruk, Wojciech Penczek: Applying Modern SAT-solvers to Solving Hard Problems, w: Fundamenta Informaticae, Vol. 165(3-4), s. 321-344

Piotr Nowak, Michał Pawłowski: Pricing European options under uncertainty with application of Levy processes and the minimal L-q equivalent martingale measure, w: Journal of Computational and Applied Mathematics, 2019, Vol. 345, s. 416-433

Paweł Teisseyre, Damien Zufferey, Marta Słomka: Cost-sensitive classifier chains: Selecting low-cost features in multi-label classification, w: Pattern Recognition, 2019, Vol. 86, s. 290-319

Włodzimierz Wysocki: Integral generators of Archimedean n-copulas, w: Journal of Nonparametric Statistics, 2019, Vol. 31 (3), s. 629-662

Rozdziały w monografiach

Katarzyna Baraniak, Marcin Sydow: Towards Entity Timeline Analysis in Polish Political News, in: Robert Bembenik, Łukasz Skonieczny, Grzegorz Protaziuk, Marzena Kryszkiewicz, Henryk Rybiński (eds.): Intelligent Methods and Big Data in Industrial Applications, Springer International Publishing, Studies in Big Data, Vol. 40, 2019, ISBN: 978-3-319-77603-3, s. 323-332

Wojciech Penczek: All True Concurrency Models Start with Petri Nets: A Personal Tribute to Carl Adam Petri, chapter in: Wolfgang Reisig, Grzegorz Rozenberg (eds.): Carl Adam Petri: Ideas, Personality, Impact, Springer, 2019, ISBN: 978-3-319-96153-8, s.193-204

Artykuły w materiałach konferencyjnych

Wojciech Jamroga, Vadim Malvone, Aniello Murano: Natural Strategic Ability under Imperfect Information, in: Edith Elkind, Manuela Veloso, Noa Agmon, Matthew E. Taylor (eds.): Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. AAMAS 2019. Montreal QC, Canada — May 13 - 17, 2019, International Foundation for Autonomous Agents and Multiagent Systems , ---, 2019, ISBN: 978-1-4503-6309-9, s. 962-970

Michał Knapik, Wojciech Jamroga, Damian Kurpiewski: On Domination and Control in Strategic Ability, in: Edith Elkind, Manuela Veloso, Noa Agmon, Matthew E. Taylor (eds.): Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. AAMAS 2019. Montreal QC, Canada — May 13 - 17, 2019, International Foundation for Autonomous Agents and Multiagent Systems , 2019, ISBN: 978-1-4503-6309-9, s. 197-205

Katarzyna Krasnowska-Kieraś, Alina Wróblewska: Empirical Linguistic Study of Sentence Embeddings, in: Anna Korhonen, David Traum, Lluís Màrquez (eds.): Proceedings of the 57th Conference of the Association for Computational Linguistics. July 28 - August 2, 2019 Florence, Italy, Association for Computational Linguistics, 2019, ISBN: 978-1-950737-48-2, s. 5729-5739

Damian Kurpiewski, Wojciech Jamroga, Michał Knapik: STV: Model Checking for Strategies under Imperfect Information, in: Edith Elkind, Manuela Veloso, Noa Agmon, Matthew E. Taylor (eds.): Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. AAMAS 2019. Montreal QC, Canada — May 13 - 17, 2019, International Foundation for Autonomous Agents and Multiagent Systems , 2019, ISBN: 978-1-4503-6309-9, s. 2372-2374

Xuan Liu, Xiaoguang Wang, Stan Matwin: Improving the Interpretability of Deep Neural Networks with Knowledge Distillation, w: 2018 IEEE International Conference on Data Mining Workshops (ICDMW), IEEE Computer Sociaty Press, 2019, ISBN: 978-1-5386-9288-2, s. 905-912

Agnieszka Patejuk: Incorporating Conjunctions in Polish, w: Miriam Butt, Tracy Holloway King (eds.): Proceedings of the LFG'18 Conference, CSLI Publications, Stanford University, 2019, ISSN 1098-6782, s. 283-303

Agnieszka Patejuk, Adam Przepiórkowski: Predicative Constructions with Infinitival and Clausal Subjects in Polish, w: Miriam Butt, Tracy Holloway King (eds.): Proceedings of the LFG'18 Conference, CSLI Publications, Stanford University, 2019, ISSN 1098-6782, s. 304-324

Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan: Strategic Responsibility Under Imperfect Information, in: Edith Elkind, Manuela Veloso, Noa Agmon, Matthew E. Taylor (eds.): Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. AAMAS 2019. Montreal QC, Canada — May 13 - 17, 2019, International Foundation for Autonomous Agents and Multiagent Systems , 2019, ISBN: 978-1-4503-6309-9, s. 592-600

Redakcja monografii

Stan Matwin, Luca Tesei, Roberto Trasarti: Computational modelling and data-driven techniques for systems analysis, w: Journal of Intelligent Information Systems, 2019, Vol. 52 (3), s. 473-475

Maciej Ogrodniczuk, Łukasz Kobyliński: Proceedings of the PolEval 2019 Workshop, Institute of Computer Science, Polish Academy of Sciences, 2019, 978-83-63159-28-3, 163 s.

Maciej Ogrodniczuk, Sameer Pradhan, Yulia Grishina, Vincent Ng: Proceedings of the Second Workshop on Computational Models of Reference, Anaphora and Coreference, Association for Computational Linguistics, 2019, 978-1-948087-97-1, 53 s.

2018

Monografie

Stanisław Ambroszkiewicz: O semantyce w Matematyce i Informatyce: czyli w poszukiwaniu zagubionego sensu, Akademicka Oficyna Wydawnicza EXIT, 2018, 978-83-7837-075-8, 178 p.

Agnieszka Patejuk, Adam Przepiórkowski: From Lexical Functional Grammar to Enhanced Universal Dependencies: Linguistically informed treebanks of Polish, Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2018, 978-83-63159-26-9, 263 p.

Sławomir T. Wierzchoń, Mieczysław A. Kłopotek: Modern Algorithms of Cluster Analysis, Springer International Publishing, 2018, 978-3-319-69307-1, 421 p.

Artykuły w czasopismach

Elnaz Bigdeli, Mahdi Mohammadi, Bijan Raahemi, Stan Matwin: Incremental anomaly detection using two-layer cluster-based structure, w: Information Sciences, 2018, Vol. 429, s. 315-331

Stanisław Bylka, Andrzej Krupa: A note on the Optimal Periodic Pattern (OPP) algorithm for the system in which buyers periodically order from a vendor, w: Computers & Industrial Engineering, 2018, Vol. 115, s. 37-40

Michał J. Dąbrowski, Michał Dramiński, Klev Diamanti, Karolina Stępniak, Magdalena Mozolewska, Paweł Teisseyre, Jacek Koronacki, Jan Komorowski, Bożena Kamińska, Bartosz Wojtas: Unveiling new interdependencies between significant DNA methylation sites, gene expression profiles and glioma patients survival, w: Scientific Reports, 2018, Vol. 8 (1; Art. no 4390), s. 1-12

Łukasz Jerzy Dębowski: Is Natural Language a Perigraphic Process? The Theorem about Facts and Words Revisited, w: Entropy, 2018, Vol. 20 (2; Art. 85), ss. 1-26

Łukasz Jerzy Dębowski: Maximal Repetition and Zero Entropy Rate, w: IEEE Transactions on Information Theory, 2018, Vol. 64 (4), s. 2212-2219

Michał Dramiński, Jacek Koronacki: rmcfs: An R Package for Monte Carlo Feature Selection and Interdependency Discovery, w: Journal of Statistical Software, 2018, Vol. 85 (12), s. 1-28

Włodzimierz Drabent: Logic + control: On program construction and verification, w: Theory and Practice of Logic Programming, 2018, Vol. 18 (1), s. 1-29

Ashutosh Dhar Dwivedi, Paweł Morawiecki, Rajani Singh, Shalini Dhar: Differential-linear and related key cryptanalysis of round-reduced scream, w: Information Processing Letters, 2018, Vol. 136, s. 5-8

Ashutosh Dhar Dwivedi, Paweł Morawiecki, Sebastian Wójtowicz: Finding Differential Paths in ARX Ciphers through Nested Monte-Carlo Search, w: International Journal of Electronics and Telecommunications, 2018, Vol. 64 (2), s. 147-150

Ashutosh Dhar Dwivedi, Gautam Srivastava: Differential Cryptanalysis of Round-Reduced LEA, w: IEEE Access, 2018, Vol. 6, s. 79105-79113

Eshel Faraggi, Paweł Krupa, Magdalena Mozolewska, Adam Liwo, Andrzej Kloczkowski: Reoptimized UNRES Potential for Protein Model Quality Assessment, w: Genes, 2018, Vol. 9 (12), s. 1-17

Elżbieta Hajnicz, Tomasz Bartosiak: Walencja rzeczowników w słowniku Walenty i sposób jej powiązania z walencją czasowników, w: Prace Filologiczne, 2018, Vol. LXXII, s. 71-85

Md Mokammel Haque, Józef Pieprzyk: Preprocessing optimisation: Revisiting recursive-BKZ lattice reduction algorithm, w: IET Information Security, 2018, Vol. 12 (6), s. 551-557

Adam Idzik, Władysław Kulpa, Piotr Maćkowiak: On the size of a map, w: Fixed Point Theory, 2018, Vol. 19 (2), s. 595-610

Oskar Jarczyk, Szymon Jaroszewicz, Adam Wierzbicki, Kamil Pawlak, Michał Jankowski-Lorek: Surgical teams on GitHub: Modeling performance of GitHub project development processes, w: Information and Software Technology, 2018, Vol. 100, s. 32-46

Agnieszka Karczyńska, Magdalena Mozolewska, Paweł Krupa, Artur Giełdoń, Krzysztof Bojarski, Bartłomiej Zaborowski, Adam Liwo, Rafał Ślusarz, Magdalena Ślusarz, Jooyoung Lee, Keehyoung Joo, Cezary Czaplewski: Use of the UNRES force field in template-assisted prediction of protein structures and the refinement of server models: Test with CASP12 targets, w: Journal of Molecular Graphics and Modelling, 2018, Vol. 83, s. 92-99

Agnieszka Karczyńska, Magdalena Mozolewska, Paweł Krupa, Artur Giełdoń, Adam Liwo, Cezary Czaplewski: Prediction of protein structure with the coarse‐grained UNRES force field assisted by small X‐ray scattering data and knowledge‐based information, w: Proteins: Structure, Function, and Bioinformatics, 2018, Vol. 86, s. 228-239

Witold Kieraś, Łukasz Kobyliński, Maciej Ogrodniczuk: Korpusomat – a Tool for Creating Searchable Morphosyntactically Tagged Corpora, w: Computational Methods in Science and Technology, 2018, Vol. 24 (1), s. 21-27

Mariusz Kubkowski, Jan Mielniczuk: Projections of a general binary model on a logistic regression, w: Linear Algebra and its Applications, 2018, Vol. 536, s. 152-173

Hong Lai, Ming-Xing Luo, Mehmet A. Orgun, Józef Pieprzyk, Fuyuan Xiao, Cheng Zhan: Tunable multi-party highcapacity quantum key distribution based on m-generalized Fibonacci sequences using golden coding, w: Quantum Information Processing, 2018, Vol. 17 (9), s. 246:1-12

Hong Lai, Ming-Xing Luo, Józef Pieprzyk, Zhiguo Qu, Mehmet A. Orgun: Efficient quantum key distribution using Fibonacci-number coding a with biased basis choice, w: Information Processing Letters, 2018, Vol. 134, s. 24-30

Hong Lai, Ming-Xing Luo, Józef Pieprzyk, Jun Zhang, Lei Pan, Mehmet A. Orgun: High-rate and high-capacity measurement-device-independent quantum key distribution with Fibonacci matrix coding in free space, w: Science China Information Sciences, 2018, Vol. 61 (6; Art. no. 062501), s. 1-11

Hong Lai, Ming-Xing Luo, Yong-Jian Xu, Józef Pieprzyk, Jun Zhang, Lei Pan, Mehmet A. Orgun: A Quantum Secret Sharing Scheme Using Orbital Angular Momentum onto Multiple Spin States Based on Fibonacci Compression Encoding, w: Communications in Theoretical Physics, 2018, Vol. 70 (4), s. 384-390

Hong Lai, Ming-Xing Luo, Yong-Jian Xu, Józef Pieprzyk, Jun Zhang, Lei Pan, Mehmet A. Orgun: Round-robindifferential-phase-shift quantum key distribution based on wavelength division multiplexing, w: Laser Physics Letters, 2018, Vol. 15 (11), s. 1-7

Hong Lai, Ming-Xing Luo, Jun Zhang, Józef Pieprzyk, Lei Pan, Mehmet A. Orgun: A large-alphabet three-party quantum key distribution protocol based on orbital and spin angular momenta hybrid entanglement, w: Quantum Information Processing, 2018, Vol. 17 (7) s. 162:1-11

Claudivan Cruz Lopes, Valeria Cesario Times, Stan Matwin, Cristina Dutra De Aguiar Ciferri, Ricardo Rodrigues Ciferri: An encryption methodology for enabling the use of data warehouses on the cloud, w: International Journal of Data Warehousing and Mining, 2018, Vol. 14 (4), s. 38-66

Małgorzata Lucińska, Sławomir T. Wierzchoń: Clustering based on eigenvectors of the adjacency matrix, w: International Journal of Applied Mathematics and Computer Science, 2018, Vol. 28 (4), s. 771-786

Łukasz Maśko, Marek Tudruj: Application global state monitoring in optimization of parallel event-driven simulation, w: Concurrency and Computation-Practice & Experience, 2018, s. 1-14

Jan Mielniczuk, Paweł Teisseyre: A deeper look at two concepts of measuring gene–gene interactions: logistic regression and interaction information revisited, w: Genetic Epidemiology, 2018, Vol. 42 (2), s. 187-200

Marcin Michał Mirończuk: The BigGrams: the semi-supervised information extraction system from HTML: an improvement in the wrapper induction, w: Knowledge and Information Systems, 2018, Vol. 54 (3), s. 711-776

Agnieszka Mykowiecka, Małgorzata Marciniak, Piotr Rychlik: Recognition of irrelevant phrases in automatically extracted lists of domain terms, w: Terminology, 2018, Vol. 24 (1), s. 66-90

Artur Niewiadomski, Piotr Świtalski, Marcin Kowalczyk, Wojciech Penczek: TripICS - a Web Service Composition System for Planning Trips and Travels, w: Fundamenta Informaticae, 2018, Vol. 157 (4), s. 403-425

Artur Niewiadomski, Piotr Świtalski, Teofil Sidoruk, Wojciech Penczek: SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME, w: Scientific Annals of Computer Science, 2018, Vol. 28 (2), s. 269-288

Adam Przepiórkowski: The Origin of the Valency Metaphor in Linguistics, w: Lingvisticæ Investigationes, 2018, Vol. 41 (1), s. 152-159

Veronika Hulejová Sládkovičová, Michał J. Dąbrowski, Dávid Žiak, Peter Miklós, András Gubányi, M.J.J. La Haye, D. Bekker, J. Thissen, B. Herzig-Straschil, Ľudovít Kocian, Joanna Gliwicz: Genetic variability of the cold-tolerant Microtus oeconomus subspecies left behind retreating glaciers, w: Mammalian Biology, 2018, Vol. 88, s. 85-93

Krzysztof Rudaś, Szymon Jaroszewicz: Linear regression for uplift modeling, w: Data Mining and Knowledge Discovery, 2018, Vol. 32 (5), s. 1275-1305

Adam Sieradzan, Magdalena Mozolewska: Extension of coarse-grained UNRES force field to treat carbon nanotubes, w: Journal of Molecular Modeling, 2018, Vol. 24 (5 art. 121), s. 1-12

Józef Winkowski: Lattices Generated by Information Systems and their Internal Structure, w: Journal of Advances in Management Sciences & Information Systems, 2018, Vol. 5 (2018), s. 1-7

Alina Wróblewska, Aleksandra Wieczorek: Status morfoskładniowy wyrazu jako we współczesnej polszczyźnie, w: Język Polski, 2018, Vol. XCVIII (3), s. 16-30

Rozdziały w monografiach

Ewa Gołaś, Magdalena Mozolewska, Paweł Krupa, Cezary Czaplewski, Harold Scheraga, Adam Liwo: Use of Coarse-Grained and All-Atom Molecular Dynamics to Study Hsp70 and Hsp40 Chaperone Action, chapter in: Mario D. Galigniana (eds.): Role of Molecular Chaperones in Structural Folding, Biological Functions, and Drug Interactions of Client Proteins, Bentham Science Publishers, Frontiers in Structural Biology, Vol. 1, 2018, ISBN: 978-1-68108-616-3, s.23-46

Mohammad Reza Bonyadi, Zbigniew Michalewicz, Markus Wagner, Frank Neumann: Evolutionary computation for multi-component problems: Opportunities and future directions, chapter in: Shubhabrata Datta, J. Paulo Davim (eds.): Optimization in Industry. Present Practices and Future Scopes, Springer International Publishing, Management and Industrial Engineering, 2018, ISBN: 978-3-030-01640-1, s.13-30

Sławomir T. Wierzchoń: Ensemble Clustering Data Mining and Databases, in: Encyclopedia of Information Science and Technology, Fourth Edition, chapter in: Mehdi Khosrow-Pour (eds.): Encyclopedia of Information Science and Technology, IGI Global, 2018, ISBN: 978-1-5225-2255-3, s.1962-1973

Michał Wojtasiewicz, Mieczysław A. Kłopotek: Scalable Method for Information Spread Control in Social Networks, chapter in: Natarajan Meghanathan (eds.): Graph Theoretic Approaches for Analyzing Large-Scale Social Networks, IGI Global, Hershey, PA, USA, ISBN: 978-1-5225-2814-2, 2018, s.220-240

Artykuły w materiałach konferencyjnych

Ivanoe De Falco, Eryk Laskowski, Richard Olejnik, Umberto Scafuri, Ernesto Tarantino, Marek Tudruj: Multi-objective extremal optimization in processor load balancing for distributed programs, in: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.): Parallel Processing and Applied Mathematics. 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II, Springer International Publishing, Lecture Notes in Computer Science, Vol. 10778, 2018, ISBN: 978-3-319-78053-5, s. 176-188

Łukasz Kobyliński, Witold Kieraś: Part of Speech Tagging for Polish: State of the Art and Future Perspectives, w: Alexander Gelbukh (eds.): Computational Linguistics and Intelligent Text Processing. 17th International Conference, CICLing 2016, Konya, Turkey, April 3–9, 2016, Revised Selected Papers, Part I, Springer International Publishing, Lecture Notes in Computer Science, Vol. 9623, 2018, ISBN: 978-3-319-75476-5, s. 307-319

Łukasz Maśko, Marek Tudruj: Global state monitoring in optimization of parallel event–driven simulation, in: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.): Parallel Processing and Applied Mathematics. 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I, Springer International Publishing, Lecture Notes in Computer Science, Vol. 10777, 2018, ISBN: 978-3-319-78023-8, s. 483-494

Anna Sasak-Okoń, Marek Tudruj: Graph-based speculative query execution for RDBMS, in: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.): Parallel Processing and Applied Mathematics. 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I, Springer International Publishing, Lecture Notes in Computer Science, Vol. 10777, 2018, ISBN: 978-3-319-78023-8, s. 303-313

Redakcja monografii

Natasha Alechina, Kjetil Noerweg, Wojciech Penczek (red.): 25th International Symposium on Temporal Representation and Reasoning, Dagstuhl Publishing, 2018, 978-3-95977-089-7, 380 s.

Manfred Grabherr, Bożena Kamińska, Jan Komorowski: Special Issue Introduction: The wonders and mysteries next generation sequencing technologies help reveal, w: Genes, 2018, Vol. 9 (10), s. 1-4

Jerzy Kaczorowski, Józef Pieprzyk, Jacek Pomykała (red.): Number-Theoretic Methods in Cryptology. First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers, Springer International Publishing, 2018, 978-3-319-76619-5, 279 s.

Maciej Koutny, Lars Kristensen, Wojciech Penczek (red.): Transactions on Petri Nets and Other Models of Concurrency XIII, Springer International Publishing, 2018, 978-3-662-58380-7, 211 s.

Maciej Ogrodniczuk, Łukasz Kobyliński (red.): Proceedings of the PolEval 2018 Workshop, Institute of Computer Science, Polish Academy of Sciences, 2018, 978-83-63159-27-6, 150 s.

Massimo Poesio, Vincent Ng, Maciej Ogrodniczuk (red.): Proceedings of the First Workshop on Computational Models of Reference, Anaphora and Coreference, Association for Computational Linguistics, 2018, 978-1-948087-13-1, 105 s.

2017

Monografie

Adam Przepiórkowski: Argumenty i modyfikatory w gramatyce i w słowniku, Wydawnictwa Uniwersytetu Warszawskiego, 2017, 978-83-235-3103-6, 218 s.

Artykuły w czasopismach

Lucky Ahmed, Bakhtiyor Rasulev, Supratik Kar, Paweł Krupa, Magdalena Mozolewska, Jerzy Leszczyński: Inhibitors or Toxins? Large Library Target-Specific Screening of Fullerene-based Nanoparticles for Drug Design Purpose, w: Nanoscale, 2017, Vol. 9 (29), s. 10263-10276

Nicholas Baltzer, Karin Sundström, Jan F. Nygård, Joakim Dillner, Jan Komorowski: Risk stratification in cervical cancer screening by complete screening history: Applying bioinformatics to a general screening population, w: International Journal of Cancer, Vol. 141 (1), 2017, s. 200-209

Elnaz Bigdeli, Mahdi Mohammadi, Bijan Raahemi, Stan Matwin: A fast and noise resilient cluster-based anomaly detection, w: Pattern Analysis and Applications, 2017, Vol. 20 (1), s. 183-199

Mohammad Reza Bonyadi, Zbigniew Michalewicz: Impacts of coefficients on movement patterns in the particle swarm optimization algorithm, in: IEEE Transactions on Evolutionary Computation, Vol. 21 (3), 2017, pp. 378-390

Mohammad Reza Bonyadi, Zbigniew Michalewicz: Particle Swarm Optimization for Single Objective Continuous Space Problems: A Review, w: Evolutionary Computation, 2017, Vol. 25 (1), s. 1-54

Mohammad Reza Bonyadi, Zbigniew Michalewicz, Samadhi Nallaperuma, Frank Neumann: Ahura: A Heuristic-Based Racer for the Open Racing Car Simulator, w: IEEE Transactions on Computational Intelligence and AI in Games, 2017, Vol. 9 (3), s. 290-304

Szymon Chojnacki, Andrew Cowley, Joon Lee, Anna Foix, Rodrigo Lopez: Programmatic access to bioinformatics tools from EMBL-EBI update: 2017, w: Nucleic Acids Research, 2017, Vol. 45 (W1), s. W550-W553

Łukasz Jerzy Dębowski: Regular Hilberg Processes: An Example of Processes With a Vanishing Entropy Rate, w: IEEE Transactions on Information Theory, 2017, Vol. 63 (10), s. 6538-6546

Włodzimierz Drabent: Proving completeness of logic programs with the cut, in: Formal Aspects of Computing, Vol. 29 (1), 2017, pp. 155-172

Matthew E. Gladden: An Axiology of Information Security for Futuristic Neuroprostheses: Upholding Human Values in the Context of Technological Posthumanization, w: Frontiers in Neuroscience, 2017, Vol. 11:605, s. 1-8

Md Mokammel Haque, Józef Pieprzyk: Analysing recursive preprocessing of BKZ lattice reduction algorithm, in: IET Information Security, Vol. 11 (2), 2017, pp. 114-120

Yasser Jafer, Stan Matwin, Marina Sokolova: A Multi-dimensional Privacy-aware Evaluation Function in Automatic Feature Selection, w: Transactions on Data Privacy, 2017, Vol. 10 (3), s. 145-174

Wojciech Jamroga, Jerzy Pilecki, Marek A. Bednarczyk: SMC: Synthesis of Uniform Strategies and Verification of Strategic Ability for Multi-Agent Systems, w: Journal of Logic and Computation, 2017, Vol. 27 (7), s. 1871-1895

Agnieszka Karczyńska, Cezary Czaplewski, Paweł Krupa, Magdalena Mozolewska, Keehyoung Joo, Jooyoung Lee, Adam Liwo: Ergodicity and model quality in template-restrained canonical and temperature/Hamiltonian replica exchange coarse-grained molecular dynamics simulations of proteins, w: Journal of Computational Chemistry, 2017, Vol. 31 (38), s. 1-17

Agnieszka Karczyńska, Magdalena Mozolewska, Paweł Krupa, Artur Giełdoń, Adam Liwo, Cezary Czaplewski: Prediction of protein structure with the coarse-grained UNRES force field assisted by small X-ray scattering data and knowledge-based information, w: Proteins: Structure, Function, and Bioinformatics, 2017, Vol. 86 (S1), s. 228-239

Witold Kieraś: Co jest zgodne z duchem kraftu? Próba korpusowego badania słownictwa związanego z piwem, w: Język Polski, 2017, Vol. 97 (2), s. 105-112

Witold Kieraś, Marcin Woliński: Morfeusz 2 – analizator i generator fleksyjny dla języka polskiego, w: Język Polski, 2017, Vol. XCVII (1), s. 75-83

Witold Kieraś, Marcin Woliński: „Słownik gramatyczny języka polskiego” – wersja internetowa, w: Język Polski, 2017, Vol. XCVII (1), s. 84-93

Bartek Klin, Beata Nachyła: Some undecidable properties of SOS specifications, w: Journal of Logical and Algebraic Methods in Programming, Vol. 87, 2017, pp. 94-109

Mieczysław A. Kłopotek: On Seeking Consensus Between Document Similarity Measures, w: Fundamenta Informaticae, 2017, Vol. 156 (1), s. 43-68

Mariusz Kubkowski, Jan Mielniczuk: Active sets of predictors for misspecified logistic regression, w: Statistics, 2017, Vol. on-line, s. 1-23

Hong Lai, Ming-Xing Luo, Józef Pieprzyk, Jun Zhang, Lei Pan, Shudong Li, Mehmet Orgun: Fast and simple highcapacity quantum cryptography with error detection, w: Scientific Reports, 2017, Vol. 7, Article number: 46302, s. 1-11

Hong Lai, Ming-Xing Luo, Cheng Zhan, Józef Pieprzyk, Mehmet Orgun: An improved coding method of quantum key distributions protocol based on Fibonacci-valued OAM entangled states, w: Physics Letters A, 2017, Vol. 381 (35), s. 2922-2926

Ekaterina Lapshinova-Koltunski, Maciej Ogrodniczuk: Book review: Discourse and Coherence: From the Sentence Structure to Textual Relations by Šárka Zikánová, Eva Hajičová, Barbora Hladká, Pavlína Jínová, Jiří Mírovský, Anna Nedoluzhko, Lucie Poláková, Kateřina Rysová, Magdaléna Rysová and Jan Václ, w: Slovo a Slovesnost, 2017, Vol. 78 (4), s. 343-349

Małgorzata Marciniak, Agnieszka Mykowiecka, Piotr Rychlik: Automatyczne wydobywanie terminologii dziedzinowej z korpusów tekstowych, w: Język Polski, 2017, Vol. XCVII (1), s. 64-74

Steffen Metzger, Ralf Schenkel, Marcin Sydow: QBEES: query-by-example entity search in semantic knowledge graphs based on maximal aspects, diversity-awareness and relaxation, in: Journal of Intelligent Information Systems, Vol. 49 (3), s. 333-366

Artur Męski, Maciej Koutny, Wojciech Penczek: Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations, w: Fundamenta Informaticae, 2017, Vol. 154 (1-4), s. 289-306

Behrooz Torabi Moghadam, Neda Zamani, Jan Komorowski, Manfred Grabherr: PiiL: visualization of DNA methylation and gene expression data in gene pathways, w: BMC Genomics, 2017, Vol. 18 (Art. No. 571 ), s. 1-12

Jan Mielniczuk, Marcin Rdzanowski: Use of Information Measures and Their Approximations to Detect Predictive Gene-Gene Interaction, w: Entropy, 2017, Vol. 19 (1), s. 1-23

Paweł Morawiecki: Practical attacks on the round-reduced PRINCE, w: IET Information Security, 2017, Vol. 11 (3), s. 146-151

Agnieszka Mykowiecka, Małgorzata Marciniak, Piotr Rychlik: Testing word embeddings for Polish, w: Cognitive Studies/ Études cognitives, 2017, Vol. 17, s. 1-19

Artur Niewiadomski, Wojciech Penczek, Jarosław Skaruz, Maciej Szreter, Agata Półrola: Combining ontology reductions with new approaches to automated abstract planning of Planics, w: Applied Soft Computing, 2017, Vol. 53, s. 352-379

Piotr Nowak, Michał Pawłowski: Option Pricing With Application of Levy Processes and the Minimal Variance Equivalent Martingale Measure Under Uncertainty, in: IEEE Transactions on Fuzzy Systems ,Vol. 25 (2), 2017, pp. 402-416

Maciej Ogrodniczuk: Lingwistyka komputerowa dla języka polskiego: dziś i jutro, w: Język Polski, 2017, Vol. XCVII (1), s. 18-28

Maciej Ogrodniczuk, Magdalena Derwojedowa, Marek Łaziński, Piotr Pęzik: Narodowy Korpus Języka Polskiego – co dalej?, w: Prace Filologiczne, 2017, Vol. LXXI (1), s. 237-245

Agnieszka Patejuk, Adam Przepiórkowski: POLFIE: współczesna gramatyka formalna języka polskiego, w: Język Polski, 2017, Vol. XCVII (1), s. 47-63

Adam Przepiórkowski: On the Argument–Adjunct Distinction in the Polish Semantic Syntax Tradition, w: Cognitive Studies/ Études cognitives, 2017, Vol. 17, s. 1-10

Adam Przepiórkowski, Jan Hajič, Elżbieta Hajnicz, Zdeňka Urešová: Phraseology in two Slavic valency dictionaries: Limitations and perspectives, in: International Journal of Lexicography, Vol. 30 (1), 2017, pp. 1-38

Adam Przepiórkowski, Elżbieta Hajnicz, Anna Andrzejczuk, Agnieszka Patejuk, Marcin Woliński: Walenty: gruntowny składniowo-semantyczny słownik walencyjny języka polskiego, w: Język Polski, 2017, Vol. XCVII (1), s. 29-46

Amilcar Soares Jr., Chiara Renso, Stan Matwin: ANALYTiC: An Active Learning System for Trajectory Classification, w: IEEE Computer Graphics and Applications, 2017, Vol. 37 (5), s. 28-39

Marcin Sydow, Katarzyna Baraniak, Paweł Teisseyre: Diversity of editors and teams versus quality of cooperative work: experiments on wikipedia, in: Journal of Intelligent Information Systems, Vol. 48 (3), 2017, pp. 601-632

Kornel Szczygielski, Barbara Galusza, Piotr Rapiejko, Mieczysław Kłopotek, Dariusz Jurkiewicz: A six-month analysis of frontal sinus drainage pathway in patients with frontal sinusitis after balloon sinuplasty, w: Acta Oto-Laryngologica, 2017, Vol. 137 (9), s. 968-974

Paweł Teisseyre: CCnet: Joint multi-label classification and feature selection using classifier chains and elastic net regularization, w: Neurocomputing, 2017, Vol. 235, s. 98-111

Marek Troszyński, Aleksander Wawer: Czy komputer rozpozna hejtera? Wykorzystanie uczenia maszynowego (ML) w jakościowej analizie danych, w: Przegląd Socjologii Jakościowej, 2017, Vol. XIII (2), s. 62-80

Wojciech Weigl, Andrzej Bieryło, Monika Wielgus, Swietłana Krzemień-Wiczyńska, Marcin Kołacz, Michał J. Dąbrowski: Perioperative analgesia after intrathecal fentanyl and morphine or morphine alone for cesarean section: A randomized controlled study, w: Medicine, 2017, Vol. 96 (48), s. 1-7

Andrzej Wieczorek: Komentarz do tekstu Paradoks Abilene i inne medytacje na temat zarządzania, J. Harvey: Paradoks? Ale nie do końca, w: Decyzje, 2017, Vol. 27, s. 134-135

Józef Winkowski: Multiplicative Transition Systems, w: LNCS Transactions on Petri Nets and Other Models of Concurrency, 2017 (XII), s. 187-215

Łukasz Zaniewicz, Szymon Jaroszewicz: Lp - Support vector machines for uplift modeling, w: Knowledge and Information Systems, 2017, Vol. 53 (1), s. 269-296

Rozdziały w monografiach

Jacek Koronacki, Michał Dramiński: Empirical Model Building, Revisited, chapter in: John Dobelman (eds.): Models and Reality: Festschrift for James Robert Thompson, 2017, ISBN: 978-0-9650737-3-8, s.73-94

Stan Matwin: Privacy-Related Aspects and Techniques, chapter in: Claude Sammut, Geoffrey I. Webb (eds.): Encyclopedia of Machine Learning and Data Mining, Springer International Publishing, 2017, ISBN: 978-1-4899-7685-7, s.1006-1013

Adam Przepiórkowski: A Full-Fledged Hierarchical Lexicon in LFG: The FrameNet Approach, chapter in: Victoria Rosén, Koenraad De Smedt (eds.): The Very Model of a Modern Linguist, University of Bergen Library, Bergen Language and Linguistics Studies, Vol. 8, 2017, ISBN: ISSN: 1892-2449, s.202-219

Artykuły w materiałach konferencyjnych

Étienne André, Wojciech Jamroga, Michał Knapik, Wojciech Penczek, Laure Petrucci: Timed ATL: Forget Memory, Just Count, in: Kate Larson, Michael Winikoff, Sanmay Das, Edmund Durfee (eds.): Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2017, International Foundation for Autonomous Agents and Multiagent Systems, 2017, s. 1460-1462

Étienne André, Michał Knapik, Wojciech Penczek, Laure Petrucci: Controlling Actions and Time in Parametric Timed Automata, in: Jörg Desel, Alex Yakovlev (eds.): 2016 16th International Conference on Application of Concurrency to System Design. ACSD 2016, Torun, Poland, 19-24 June 2016. Proceedings, IEEE Computer Society Press, 2017, ISBN: 978-1-5090-2589-3, s. 45-54

Tomasz Bartosiak: Shared forest representation of predicate-argument structures for shared syntactic forests, in: Zygmunt Vetulani, Patrick Paroubek (eds.): Human Language Technologies as a Challenge for Computer Science and Linguistics, Proceedings of the 8th Language & Technology Conference, November 17-19, 2017, Poznań, Poland, Wydawnictwo Poznańskie, Fundacja Uniwersytetu im. Adama Mickiewicza, 2017, ISBN: 978-83-64864-94-0, s. 410-414

Francesco Belardinelli, Wojciech Jamroga, R. Condurache, Catalin Dima, Andrew V. Jones: Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot, in: Kate Larson, Michael Winikoff, Sanmay Das, Edmund Durfee (eds.): Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2017, International Foundation for Autonomous Agents and Multiagent Systems , 2017, s. 1286-1295

Ashutosh Dhar Dwivedi, Milos Kloucek, Paweł Morawiecki, Ivica Nikolic, Józef Pieprzyk, Sebastian Wójtowicz: SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition, in: Pierangela Samarati, i in. (eds.): Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - Volume 6: SECRYPT, Madrid, Spain, July 24-26, 2017, Scitepress, Science & Technology Publications Ltd., 2017, ISBN: 978-989-758-259-2, s. 237-246

Ashutosh Dhar Dwivedi, Paweł Morawiecki, Sebastian Wójtowicz: Differential and Rotational Cryptanalysis of Round-reduced MORUS, in: Pierangela Samarati, i in. (eds.): Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - Volume 6: SECRYPT, Madrid, Spain, July 24-26, 2017, Scitepress, Science & Technology Publications Ltd., 2017, ISBN: 978-989-758-259-2, s. 275-284

Ashutosh Dhar Dwivedi, Paweł Morawiecki, Sebastian Wójtowicz: Differential-linear and Impossible Differential Cryptanalysis of Round-reduced Scream, in: Pierangela Samarati, i in. (eds.): Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - Volume 6: SECRYPT, Madrid, Spain, July 24-26, 2017, Scitepress, Science & Technology Publications Ltd., 2017, ISBN: 978-989-758-259-2, s. 501-506

Ivanoe De Falco, Eryk Laskowski, Richard Olejnik, Umberto Scafuri, Ernesto Tarantino, Marek Tudruj: Multi-objective parallel extremal optimization in processor load balancing for distributed programs, in: Peter A. N. Bosman (eds.): Genetic and Evolutionary Computation Conference, Berlin, Germany, July 15-19, 2017, Companion Material Proceedings, Association for Computing Machinery, 2017, ISBN: 978-1-4503-4939-0, s. 1796-1803

Aaron Gerow, Mingyang Zhou, Feng Shi, Stan Matwin: Reflexive Regular Equivalence for Bipartite Data, in: Malek Mouhoub, Philippe Langlais (eds.): Advances in Artificial Intelligence - 30th Canadian Conference on Artificial Intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16-19, 2017, Proceedings, Springer International Publishing, Lecture Notes in Artificial Intelligence, Vol. 10233, 2017, ISBN: 978-3-319-57350-2, s. 71-77

Lulu Huang, Stan Matwin, Eder J. de Carvalho, Rosane Minghim: Active Learning with Visualization for Text Data, in: Dorota Glowacka, i in. (eds.): Proceedings of the 2017 ACM Workshop on Exploratory Search and Interactive Data Analytics, Association for Computing Machinery, 2017, ISBN: 978-1-4503-4903-1, s. 69-74

Wojciech Jamroga, Michał Knapik, Damian Kurpiewski: Fixpoint Approximation of Strategic Abilities under Imperfect Information, in: Kate Larson, Michael Winikoff, Sanmay Das, Edmund Durfee (eds.): Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2017, International Foundation for Autonomous Agents and Multiagent Systems , 2017, s. 1241-1249

Wojciech Jamroga, Vadim Malvone, Aniello Murano: Reasoning about Natural Strategic Ability, in: Kate Larson, Michael Winikoff, Sanmay Das, Edmund Durfee (eds.): Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2017, International Foundation for Autonomous Agents and Multiagent Systems , 2017, s. 714-722

Wojciech Jamroga, Masoud Tabatabaei: Preventing Coercion in E-Voting: Be Open and Commit, in: Robert Krimmer, i in. (eds.): Electronic Voting. First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings, Springer International Publishing, Lecture Notes in Computer Science, Vol. 10141, 2017, ISBN: 978-3-319-52239-5, s. 1-17

Xiang Jiang, Xuan Liu, Erico N. de Souza, Baifan Hu, Daniel L. Silver, Stan Matwin: Improving point-based AIS trajectory classification with partition-wise gated recurrent units, in: 2017 International Joint Conference on Neural Networks, IJCNN 2017, Anchorage, AK, USA, May 14-19, 2017, Institute of Electrical and Electronics Engineers (IEEE), IEEE International Joint Conference on Neural Network proceedings (ISSN: 2161-4393), 2017, ISBN: 978-1-5090-6182-2, s. 4044-4051

Xiang Jiang, Erico Neves de Souza, Ahmad Pesaranghader, Baifan Hu, Daniel L. Silver, Stan Matwin: TrajectoryNet: An Embedded GPS Trajectory Representation for Point-based Classification Using Recurrent Neural Networks, in: Jamie Featherstone, i in. (eds.): CASCON '17: Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, International Business Machines Corp. (IBM), 2017, s. 192-200

Witold Kieraś, Dorota Komosińska, Emanuel Modrzejewski, Marcin Woliński: Morphosyntactic Annotation of Historical Texts. The Making of the Baroque Corpus of Polish, in: Kamil Ekštein, Václav Matoušek (eds.): Text, Speech, and Dialogue 20th International Conference, TSD 2017, Prague, Czech Republic, August 27-31, 2017, Proceedings, Springer International Publishing, Lecture Notes in Artificial Intelligence, Vol. 10415, 2017, ISBN: 978-3-319-64205-5, s. 308-316

Mieczysław A. Kłopotek: On the Existence of Kernel Function for Kernel-Trick of k-Means, in: Marzena Kryszkiewicz, Annalisa Appice, Dominik Ślęzak, Henryk Rybiński, Andrzej Skowron, Zbigniew W. Raś (eds.): Foundations of Intelligent Systems. 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings, Springer International Publishing, Lecture Notes in Computer Science, Vol. 10352, 2017, ISBN:978-3-319-60437-4, s. 97-104

Łukasz Kobyliński, Maciej Ogrodniczuk: Results of the PolEval 2017 Competition: Part-of-Speech Tagging Shared Task, in: Zygmunt Vetulani, Patrick Paroubek (eds.): Human Language Technologies as a Challenge for Computer Science and Linguistics, Proceedings of the 8th Language & Technology Conference, November 17-19, 2017, Poznań, Poland, Wydawnictwo Poznańskie, Fundacja Uniwersytetu im. Adama Mickiewicza, 2017, ISBN: 978-83-64864-94-0, s. 362-366

Beata Konikowska, Arnon Avron: Paraconsistent three-valued logic for covering-based rough sets, in: ISRALOG 2017. The Third Israeli Workshop on Non-Classical Logics and Their Applications, University of Haifa, 15-17 Oct. 2017. Abstract Booklet, University of Haifa, 2017, s. 22-24

Katarzyna Krasnowska-Kieraś: Morphosyntactic disambiguation for Polish with bi-LSTM neural networks, in: Zygmunt Vetulani, Patrick Paroubek (eds.): Human Language Technologies as a Challenge for Computer Science and Linguistics, Proceedings of the 8th Language & Technology Conference, November 17-19, 2017, Poznań, Poland, Wydawnictwo Poznańskie, Fundacja Uniwersytetu im. Adama Mickiewicza, 2017, ISBN: 978-83-64864-94-0, s. 367-371

Bartłomiej Nitoń, Maciej Ogrodniczuk: Multi-pass Sieve Coreference Resolution System for Polish, in: Jorge Gracia, i in. (eds.): Language, Data, and Knowledge. First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings, Springer International Publishing, Lecture Notes in Artificial Intelligence, Vol. 10318, 2017, ISBN: 978-3-319-59887-1, s. 222-236

Maciej Ogrodniczuk, Mateusz Kopeć: Lexical Correction of Polish Twitter Political Data, in: Beatrice Alex, i in. (eds.): Proceedings of the Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature, Association for Computational Linguistics, 2017, ISBN: 978-1-945626-58-6, s. 115-125

Maciej Ogrodniczuk, Bartłomiej Nitoń: Improving Polish Mention Detection with Valency Dictionary, in: Vincent Ng, Maciej Ogrodniczuk (eds.): Proceedings of the 2nd Workshop on Coreference Resolution Beyond OntoNotes (CORBON 2017), Association for Computational Linguistics, 2017, s. 17-23

Agnieszka Patejuk: A gapping analysis of lexicalised comparative constructions, in: Miriam Butt, Tracy Holloway King (eds.): Proceedings of LFG17, CSLI Publications, LFG Conferences (ISSN 1098-6782), 2017, s. 306-326

Agnieszka Patejuk, Adam Przepiórkowski: Filling the gap, in: Miriam Butt, Tracy Holloway King (eds.): Proceedings of LFG17, CSLI Publications, LFG Conferences (ISSN 1098-6782), 2017, s. 327-347

Adam Przepiórkowski: Hierarchical Lexicon and the Argument/Adjunct Distinction, in: Miriam Butt, Tracy Holloway King (eds.): Proceedings of LFG17, CSLI Publications, LFG Conferences (ISSN 1098-6782), 2017, s. 348-367

Iftekhar Salam, Leonie Simpson, Harry Bartlett, Ed Dawson, Józef Pieprzyk, Kenneth Koon-Ho Wong: Investigating Cube Attacks on the Authenticated Encryption Stream Cipher MORUS, in: 2017 IEEE Trustcom/BigDataSE/ICESS Proceedings. 1-4 August 2017, Sydney, Australia, IEEE Computer Society Press, 2017, ISBN: 978-1-5090-4905-9, s. 961-966

Sima Sharifirad, Stan Matwin: Deep Multi-cultural Graph Representation Learning, in: Malek Mouhoub, Philippe Langlais (eds.): Advances in Artificial Intelligence - 30th Canadian Conference on Artificial Intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16-19, 2017, Proceedings, Springer International Publishing, Lecture Notes in Artificial Intelligence, Vol. 10233, 2017, ISBN: 978-3-319-57350-2, s. 407-410

Aleksander Wawer, Agnieszka Mykowiecka: Detecting Metaphorical Phrases in the Polish Language, in: Ruslan Mitkov, i in. (eds.): Recent Advances in Natural Language Processing Meet Deep Learning. Proceedings. International Conference, RANLP 2017, Varna, Bulgaria, 2-8 September, 2017, Incoma Ltd., 2017, ISBN: 978-954-452-048-9, s. 772-777

Aleksander Wawer, Agnieszka Mykowiecka: Supervised and Unsupervised Word Sense Disambiguation on Word Embedding Vectors of Unambigous Synonyms, in: EACL 2017. Workshop on Sense, Concept and Entity Representations and their Applications. Proceedings of the Workshop. April 4, 2017. Valencia, Spain, Association for Computational Linguistics, 2017, ISBN: 978-1-945626-50-0, s. 120-125

Aleksander Wawer, Maciej Ogrodniczuk: Results of the PolEval 2017 Competition: Sentiment Analysis Shared Task, in: Zygmunt Vetulani, Patrick Paroubek (eds.): Human Language Technologies as a Challenge for Computer Science and Linguistics, Proceedings of the 8th Language & Technology Conference, November 17-19, 2017, Poznań, Poland, Wydawnictwo Poznańskie, Fundacja Uniwersytetu im. Adama Mickiewicza, 2017, ISBN: 978-83-64864-94-0, s. 406-409

Marcin Woliński, Witold Kieraś, Dorota Komosińska: Anotatornia 2 — an annotation tool geared towards historical corpora, in: Zygmunt Vetulani, Patrick Paroubek (eds.): Human Language Technologies as a Challenge for Computer Science and Linguistics, Proceedings of the 8th Language & Technology Conference, November 17-19, 2017, Poznań, Poland, Wydawnictwo Poznańskie, Fundacja Uniwersytetu im. Adama Mickiewicza, 2017, ISBN: 978-83-64864-94-0, s. 158-162

Alina Wróblewska, Katarzyna Krasnowska-Kieraś: Polish evaluation dataset for compositional distributional semantics models, in: Regina Barzilay, Min-Yen Kan (eds.): Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), Association for Computational Linguistics, 2017, ISBN: 978-1-945626-75-3, s. 784-792

Alina Wróblewska, Katarzyna Krasnowska-Kieraś, Piotr Rybak: Towards the evaluation of feature embedding models of the fusional languages, in: Zygmunt Vetulani, Patrick Paroubek (eds.): Human Language Technologies as a Challenge for Computer Science and Linguistics, Proceedings of the 8th Language & Technology Conference, November 17-19, 2017, Poznań, Poland, Wydawnictwo Poznańskie, Fundacja Uniwersytetu im. Adama Mickiewicza, 2017, ISBN: 978-83-64864-94-0, s. 420-424

2016

Artykuły w czasopismach

Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky: Special Issue: Logic: Between Semantics and Proof Theory Foreword, w: Journal of Logic and Computation, 2016, Vol. 26 (1), s. 1-6

Mohammad Reza Bonyadi, Zbigniew Michalewicz: Analysis of Stability, Local Convergence, and Transformation Sensitivity of a Variant of the Particle Swarm Optimization Algorithm, in: IEEE Transactions on Evolutionary Computation, Vol. 20 (3), 2016, pp. 370-385

Mohammad Reza Bonyadi, Zbigniew Michalewicz: Stability analysis of the particle swarm optimization without stagnation, in: IEEE Transactions on Evolutionary Computation, Vol. 20 (5), 2016, pp. 814-819

Renata Bronikowska, Włodzimierz Gruszczyński, Maciej Ogrodniczuk, Marcin Woliński: The Use of Electronic Historical Dictionary Data in Corpus Design, w: Studies in Polish Linguistics, 2016, Vol. 2 (11), s. 47-56

John Buonaccorsi, Agnieszka Prochenka, Magne Thoresen, Rafal Ploski: Correcting for binomial measurement error in predictors in regression with application to analysis of DNA methylation rates by bisulfite sequencing, in: Statistics in Medicine, Vol. 35 (22), 2016, pp. 3987–4007

Agata Charzynska, Anna Gambin: Improvement of the k-NN Entropy Estimator with Applications in Systems Biology, in: ENTROPY, Vol. 18 (1), 2016, pp. e18010013

Piyali Chatterjee, Subhadip Basu, Julian Zubek, Mahantapas Kundu, Mita Nasipuri, Dariusz Plewczynski: PDP-CON: prediction of domain/linker residues in protein sequences using a consensus approach, in: Journal of Molecular Modeling, Vol. 22 (4; art. 72), 2016, pp.1-15

Ivanoe De Falco, Eryk Laskowski, Richard Olejnik, Umberto Scafuri, Ernesto Tarantino, Merak Tudruj: Parallel extremal optimization in processor load balancing for distributed applications, in: Applied Soft Computing, Vol. 46, 2016, pp. 187-203

Włodzimierz Drabent: Correctness and Completeness of Logic Programs, w: ACM Transactions on Computational Logic, 2016, Vol. 17 (3), s. 1-32

Włodzimierz Drabent: On definite program answers and least Herbrand models, w: Theory and Practice of Logic Programming, 2016, Vol. 16 (4), s. 498-508

Klev Diamanti, Husen M. Umer, Marcin Kruczyk, Michał J. Dąbrowski, Marco Cavalli, Claes Wadelius, Jan Komorowski: Maps of context-dependent putative regulatory regions and genomic signal interactions, in: Nucleic Acids Research, Vol. 44 (19), 2016, pp. 9110-9120

Luís P. F. Garcia, Ana Carolina Lorena, Stan Matwin, André C. P. L. F. de Carvalho: Ensembles of label noise filters: a ranking approach, w: Data Mining and Knowledge Discovery, 2016, Vol. 30 (5), s. 1192-1216

Marek Gągolewski, Maciej Bartoszuk, Anna Cena: Genie: A new, fast, and outlier-resistant hierarchical clustering algorithm, w: Information Sciences, 2016 (363), s. 8-23

Adam Ghandar, Zbigniew Michalewicz, Ralf: ZurbrueggThe relationship between model complexity and forecasting performance for computer intelligence optimization in finance, w: International Journal of Forecasting, 2016, Vol. 32 (3), s. 598-613

Valentin Goranko, Wojciech Jamroga: State and path coalition effectivity models of concurrent multi-player games, in: Autonomous Agents and Multi-Agent Systems, Vol. 30 (3), 2016, pp. 446-485

Elżbieta Hajnicz, Anna Andrzejczuk, Agnieszka Patejuk, Adam Przepiórkowski, Marcin Woliński: Walenty – an innovative valence dictionary of Polish, w: Annual Report of the Polish Academy of Sciences, 2016, Vol. 2016, s. 53-55

Michał Jankowski-Lorek, Szymon Jaroszewicz, Łukasz Ostrowski, Adam Wierzbicki: Verifying social network models of Wikipedia knowledge community, w: Information Sciences, 2016, Vol. 339, s. 158-174

Zeeshan Khaliq, Mikael Leijon, Sandor Belak, Jan Komorowski: Identification of combinatorial host-specific signatures with a potential to affect host adaptation in influenza A H1N1 and H3N2 subtypes, w: BMC Genomics, 2016 (17; Art. 529), s. 1-17

Hong Lai, Ming-Xing Luo, Józef Pieprzyk, Li Tao, Zhi-Ming Liu, Mehmet Orgun: Large-Capacity Three-Party Quantum Digital Secret Sharing Using Three Particular Matrices Coding, w: Communications in Theoretical Physics, 2016, Vol. 66, s. 501-508

Hong Lai, Mehmet Orgun, Józef Pieprzyk, Jing Li, Ming-Xing Luo, Jinghua Xiao, Fuyuan Xiao: High-capacity quantum key distribution using Chebyshev-map values corresponding to Lucas numbers coding, w: Quantum Information Processing, 2016, Vol. 15 (11), s. 4663-4679

Hong Lai, Jun Zhang, Ming-Xing Luo, Lei Pan, Józef Pieprzyk, Fuyuan Xiao, Mehmet Orgun: Hybrid threshold adaptable quantum secret sharing scheme with reverse Huffman-Fibonacci-tree coding, w: Scientific Reports, 2016, Vol. 6 (Art. 31350), s. 1-12

Behrooz Torabi Moghadam, Michał Dąbrowski, Bożena Kamińska, Manfred Grabherr, Jan Komorowski: Combinatorial identification of DNA methylation patterns over age in the human brain, w: BMC Bioinformatics, 2016, Vol. 17 (Art. 393), s. 1-10

Magdalena Mozolewska: Influence of substitutions of Isu1 residues on binding to Jac1 protein, w: TASK Quarterly: scientific bulletin of Academic Computer Centre in Gdansk, 2016, Vol. 20 (4), s. 417-424

Artur Niewiadomski, Jarosław Skaruz, Piotr Świtalski, Wojciech Penczek: Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing*, w: Fundamenta Informaticae, 2016, Vol. 147 (2-3), s. 289-313

Ahmad Pesaranghader, Stan Matwin, Marina Sokolova, Robert G. Beiko: simDEF: definition-based semantic similarity measure of gene ontology terms for functional similarity analysis of genes, w: Bioinformatics, 2016, Vol. 32 (9), s. 1380-1387

Adam Przepiórkowski: Against the Argument–Adjunct Distinction in Functional Generative Description, w: The Prague Bulletin of Mathematical Linguistics, 2016, Vol. 106, s. 5-20

Georg Rehm, Hans Uszkoreit, Sophia Ananiadou, Núria Bel, Audronė Bielevičienė, Lars Borin, António Branco, Gerhard Budin, Nicoletta Calzolari, Walter Daelemans, Radovan Garabík, Marko Grobelnik, Carmen García-Mateo, Josef van Genabith, Jan Hajič, Inma Hernáez, John Judge, Svetla Koeva, Simon Krek, Cvetana Krstev, Krister Lindén, Bernardo Magnini, Joseph Mariani, John McNaught, Maite Melero, Monica Monachini, Asunción Moreno, Jan Odijk, Maciej Ogrodniczuk, Piotr Pęzik, Stelios Piperidis, Adam Przepiórkowski, Eiríkur Rögnvaldsson, Mike Rosner, Bolette Sandford Pedersen, Inguna Skadiņa, Koenraad De Smedt, Marko Tadić, Paul Thompson, Dan Tufiş, Tamás Váradi, Andrejs Vasiļjevs, Kadri Vider, Jolanta Zabarskaitė: The strategic impact of META-NET on the regional, national and international level, w: Language Resources and Evaluation, 2016, Vol. 50 (2), s. 351-374

Erico Neves de Souza, Kristina Boerder, Stan Matwin, Boris Worm: Improving Fishing Pattern Detection from Satellite AIS Using Data Mining and Machine Learning, w: PLoS One, 2016, Vol. 11 (7:e0158248), s. 1-20

Ryosuke Takahira, Kumiko Tanaka-Ishii, Łukasz Jerzy Dębowski: Entropy Rate Estimates for Natural Language—A New Extrapolation of Compressed Large-Scale Corpora, w: Entropy, 2016, Vol. 18 (10; Art. 364), s. 1-16

Marcin Tatjewski, Aleksandra Gruca, Dariusz M. Plewczyński, Marcin Grynberg: The proline-rich region of glyceraldehyde-3-phosphate dehydrogenase from human sperm may bind SH3 domains, as revealed by a bioinformatic study of low-complexity protein segments, w: Molecular Reproduction and Development, 2016, Vol. 83 (2), s. 144-148

Paweł Teisseyre: Feature ranking for multi-label classification using Markov Networks, w: Neurocomputing, 2016, Vol. 205, s. 439-454

Paweł Teisseyre, Robert Kłopotek, Jan Mielniczuk: Random Subspace Method for high-dimensional regression with the R package regRSM, w: Computational Statistics, 2016, Vol. 31 (3), s. 943-972

Husen M. Umer, Marco Cavalli, Michał J. Dąbrowski, Klev Diamanti, Marcin Kruczyk, Gang Pan, Jan Komorowski, Claes Wadelius: A Significant Regulatory Mutation Burden at a High-Affinity Position of the CTCF Motif in Gastrointestinal Cancers, w: Human Mutation, 2016, Vol. 9 (37), s. 904-913

Wojciech Weigl, Andrzej Bieryło, Monika Wielgus, Swietłana Krzemień-Wiczyńska, Iwona Szymusik, Marcin Kołacz, Michał J. Dąbrowski: Analgesic efficacy of intrathecal fentanyl during the period of highest analgesic demand after cesarean section: A randomized controlled study, w: Medicine, 2016, Vol. 95 (24; Art. e3827), s. 1-7

Daniel Wiliński, Jarosław Kantorowicz, Sławomir T. Wierzchoń: Modelling the demand for cement: The case of Poland and Spain, w: Journal of Building Chemistry, 2016, Vol. 1, s. 69-83

Józef Winkowski: Towards a Universal Model of Action, w: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk, 2016 (1035), s. 1-32

Julian Zubek, Michał Denkiewicz, Agnieszka Dębska, Alicja Radkowska, Joanna Komorowska-Mach, Piotr Litwin, Magdalena Stępień, Adrianna Kucińska, Ewa Sitarska, Krystyna Komorowska, Riccardo Fusaroli, Kristian Tylén, Joanna Raczaszek-Leonardi: Performance of Language-Coordinated Collective Systems: A Study of Wine Recognition and Description, w: Frontiers in Psychology, 2016, Vol. 7 (Art. 1321), s. 1-12

Julian Zubek, Dariusz M. Plewczyński: Complexity curve: a graphical measure of data complexity and classifier performance, w: PeerJ Computer Science, 2016, Vol. Art. No. 76, s. 1-32

Julian Zubek, Michael L. Stitzel, Duygu Ucar, Dariusz M. Plewczyński: Computational inference of H3K4me3 and H3K27ac domain length, w: PeerJ, 2016, Vol. 4 (Art. 1750), s. 1-12

Barbara Żogała-Siudem, Grzegorz Siudem, Anna Cena, Marek Gągolewski: Agent-based model for the h-index - exact solution, w: European Physical Journal B, 2016, Vol. 89: 21, s. 1-9

Rozdziały w monografiach

Susanne Bornelöv, Jan Komorowski: Selection of Significant Features Using Monte Carlo Feature Selection, chapter in: Jan Mielniczuk, Stan Matwin (eds.): Challenges in Computational Statistics and Data Mining, Springer International Publishing, Studies in Computational Intelligence, Vol. 605, 2016, ISBN: 978-3-319-18780-8, s.25-38

Dariusz Czerski, Krzysztof Ciesielski, Michał Dramiński, Mieczysław A. Kłopotek, Paweł Łoziński, Sławomir T. Wierzchoń: What NEKST? - semantic search engine for Polish Internet, chapter in: Guy De Tre, Przemysław W. Grzegorzewski, Janusz Kacprzyk, Jan Owsiński, Wojciech Penczek, Sławomir Zadrożny (eds.): Challenging Problems and Solutions in Intelligent Systems, Springer International Publishing, Studies in Computational Intelligence, Vol. 634, 2016, ISBN: 978-3-319-30164-8, s.335-347

Łukasz Jerzy Dębowski: Estimation of entropy from subword complexity, chapter in: Jan Mielniczuk, Stan Matwin (eds.): Challenges in Computational Statistics and Data Mining, Springer International Publishing, Studies in Computational Intelligence, Vol. 605, 2016, ISBN: 978-3-319-18780-8, s.53-70

Michał Dramiński: ADX Algorithm for Supervised Classification, chapter in: Jan Mielniczuk, Stan Matwin (eds.): Challenges in Computational Statistics and Data Mining, Springer International Publishing, Studies in Computational Intelligence, Vol. 605, 2016, ISBN: 978-3-319-18780-8, s.39-52

Michał Dramiński, Michał J. Dąbrowski, Klev Diamanti, Jacek Koronacki, Jan Komorowski: Discovering Networks of Interdependent Features in High-Dimensional Problems, chapter in: Nathalie Japkowicz, Jerzy Stefanowski (eds.): Big Data Analysis: New Algorithms for a New Society, Springer International Publishing, Studies in Big Data, Vol. 16, 2016, ISBN: 978-3-319-26987-0, s.285-304

Elżbieta Hajnicz, Agnieszka Patejuk, Adam Przepiórkowski, Marcin Woliński: Walenty: słownik walencyjny języka polskiego z bogatym komponentem frazeologicznym, chapter in: Karolína Skwarska, Elżbieta Kaczmarska (eds.): Výzkum slovesné valence ve slovanských zemích, Slovanský ústav AV ČR, 2016, ISBN: 978-80-86420-60-8, s.71-102

Szymon Jaroszewicz: Uplift Modeling, chapter in: Claude Sammut, Geoffrey I. Webb (eds.): Encyclopedia of Machine Learning and Data Mining, Springer International Publishing, 2017, ISBN: 978-1-4899-7502-7, s.1304-1309

Michał Knapik, Wojciech Penczek: SMT-Based Parameter Synthesis for Parametric Timed Automata, chapter in: Guy De Tre, Przemysław W. Grzegorzewski, Janusz Kacprzyk, Jan Owsiński, Wojciech Penczek, Sławomir Zadrożny (eds.): Challenging Problems and Solutions in Intelligent Systems, Springer International Publishing, Studies in Computational Intelligence, Vol. 634, 2016, ISBN: 978-3-319-30164-8, s.3-21

Jan Mielniczuk, Paweł Teisseyre: What do we choose when we err? Model selection and testing for misspecified logistic regression revisited, chapter in: Jan Mielniczuk, Stan Matwin (eds.): Challenges in Computational Statistics and Data Mining, Springer International Publishing, Studies in Computational Intelligence, Vol. 605, 2016, ISBN: 978-3-319-18780-8, s.271-296

Marina Sokolova, Stan Matwin: Personal Privacy Protection in Time of Big Data, chapter in: Jan Mielniczuk, Stan Matwin (eds.): Challenges in Computational Statistics and Data Mining, Springer International Publishing, Studies in Computational Intelligence, Vol. 605, 2016, ISBN: 978-3-319-18780-8, s.365-380

Sławomir T. Wierzchoń, Robert Kłopotek, Elżbieta Kłopotek, Mieczysław A. Kłopotek: Network Capacity Bound for Personalized Bipartite PageRank, chapter in: Jan Mielniczuk, Stan Matwin (eds.): Challenges in Computational Statistics and Data Mining, Springer International Publishing, Studies in Computational Intelligence, Vol. 605, 2016, ISBN: 978-3-319-18780-8, s.189-204

Łukasz Zaniewicz, Szymon Jaroszewicz: Székely Regularization for Uplift Modeling, chapter in: Jan Mielniczuk, Stan Matwin (eds.): Challenges in Computational Statistics and Data Mining, Springer International Publishing, Studies in Computational Intelligence, Vol. 605, 2016, ISBN: 978-3-319-18780-8, s.135-154

Artykuły w materiałach konferencyjnych

Joseph Alley, Józef Pieprzyk: State recovery attacks against π-cipher, in: Proceedings of the Australasian Computer Science Week Multiconference. Canberra, Australia — February 02 - 05, 2016, Association for Computing Machinery, ACM International Conference Proceeding Series, Vol. 1133, 2016, ISBN: 978-1-4503-4042-7, s. 43:1-6

Stanisław Ambroszkiewicz: On Higher Order Computations and Synaptic Meta-Plasticity in the Human Brain, in: Alessandro E.P. Villa, i in. (eds.): Artificial Neural Networks and Machine Learning – ICANN 2016. 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II, Springer International Publishing, Lecture Notes in Computer Science, Vol. 9887, 2016, ISBN: 978-3-319-44780-3, s. 145-152

Katarzyna Baraniak, Marcin Sydow, Jacek Szejda, Dominika Czerniawska: Studying the Role of Diversity in Open Collaboration Network: Experiments on Wikipedia, in: Adam Wierzbicki (ed.): Advances in Network Science. 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings, Springer International Publishing, Lecture Notes in Computer Science, Vol. 9564, 2016, ISBN: 978-3-319-28360-9, s. 97-110

Łukasz Jerzy Dębowski: Consistency of the Plug-In Estimator of the Entropy Rate for Ergodic Processes, in: 2016 IEEE International Symposium on Information Theory. Universitat Pompeu Fabra Barcelona, Spain July 10–15, 2016. Proceedings, IEEE Information Theory Society, 2016, ISBN: 978-1-5090-1806-2, s. 1651-1655

Elżbieta Hajnicz, Anna Andrzejczuk, Tomasz Bartosiak: Semantic layer of the valence dictionary of Polish Walenty, in: Nicoletta Calzolari, i in. (eds.): Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016), European Language Resources Association, 2016, ISBN: 978-2-9517408-9-1, s. 2625-2632

Baifan Hu, Xiang Jiang, Erico Neves de Souza, Ronald Pelot, Stan Matwin: Identifying Fishing Activities from AIS Data with Conditional Random Fields, in: Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki (eds.): Proceedings of the 2016 Federated Conference on Computer Science and Information Systems. September 11–14, 2016. Gdańsk, Poland, Polskie Towarzystwo Informatyczne, Annals of Computer Science and Information Systems, Vol. 8, 2016, ISBN: 978-83-60810-90-3, s. 47-52

Wojciech Jamroga, Beata Konikowska, Wojciech Penczek: Multi-Valued Verification of Strategic Ability, in: John Thangarajah, i in. (eds.): Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), International Foundation for Autonomous Agents and Multiagent Systems, 2016, ISBN: 978-1-4503-4239-1, s. 1180-1189

Wojciech Jamroga, Masoud Tabatabaei: Information Security as Strategic (In)effectivity, in: Gilles Barthe, i in. (eds.): Security and Trust Management. 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings, Springer International Publishing, Lecture Notes in Computer Science, Vol. 9871, 2016, ISBN: 978-3-319-46597-5, s. 154-169

Mieczysław A. Kłopotek, Sławomir T. Wierzchoń, Piotr Borkowski, Marcin Sydow: Applications of Discrete Dirichlet Problem to Semi-supervised Community Detection by Label Propagation, in: 2016 Third European Network Intelligence Conference. ENIC 2016. 5-7 September 2016, Wrocław, Poland, IEEE Computer Society Press, 2016, ISBN: 978-1-5090-3455-0, s. 224-231

Eryk Laskowski, Merak Tudruj, Ivanoe De Falco, Umberto Scafuri, Ernesto Tarantino, Richard Olejnik: Parallel Extremal Optimization with Guided Search and Crossover Applied to Load Balancing, in: Roman Wyrzykowski, i in. (eds.): Parallel Processing and Applied Mathematics. 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I, Springer International Publishing, Lecture Notes in Computer Science, Vol. 9573, 2016, ISBN: 978-3-319-32148-6, s. 437-447

Małgorzata Lucińska, Sławomir T. Wierzchoń: Graph Clustering Using Early-Stopped Random Walks, in: Khalid Saeed, Władysław Homenda (eds.): Computer Information Systems and Industrial Management. 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings, Springer International Publishing, Lecture Notes in Computer Science, Vol. 9842, 2016, ISBN: 978-3-319-45377-4, s. 416-428

Paweł Łoziński, Dariusz Czerski, Mieczysław A. Kłopotek: Grammatical Case Based IS-A Relation Extraction with Boosting for Polish, in: Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki (eds.): Proceedings of the 2016 Federated Conference on Computer Science and Information Systems. September 11–14, 2016. Gdańsk, Poland, Polskie Towarzystwo Informatyczne, Annals of Computer Science and Information Systems, Vol. 8, 2016, ISBN: 978-83-60810-90-3, s. 533-540

Małgorzata Marciniak, Agnieszka Mykowiecka, Piotr Rychlik: TermoPL — a Flexible Tool for Terminology Extraction, in: Nicoletta Calzolari, i in. (eds.): Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016), European Language Resources Association, 2016, ISBN: 978-2-9517408-9-1, s. 2278-2284

Stan Matwin: Big Data Meets Big Water: Analytics of the AIS Ship Tracking Data, in: Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki (eds.): Proceedings of the 2016 Federated Conference on Computer Science and Information Systems. September 11–14, 2016. Gdańsk, Poland, Polskie Towarzystwo Informatyczne, Annals of Computer Science and Information Systems, Vol. 8, 2016, ISBN: 978-83-60810-90-3, s. 1-1

Artur Męski, Maciej Koutny, Wojciech Penczek: Towards Quantitative Verification of Reaction Systems, in: Martyn Amos, Anne Condon (eds.): Unconventional Computation and Natural Computation. 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings, Springer International Publishing, Lecture Notes in Computer Science, Vol. 9726, 2016, ISBN: 978-3-319-41311-2, s. 142-154

Agnieszka Mykowiecka, Małgorzata Marciniak, Piotr Rychlik: Recognition of non-domain phrases in automatically extracted lists of terms, in: Patrick Drouin, i in. (eds.): Computerm 2016. 5th International Workshop on Computational Terminology. Proceedings of the Workshop. December 12, 2016 Osaka, Japan, Association for Computational Linguistics, 2016, ISBN: 978-4-87974-715-0, s. 12-20

Artur Niewiadomski, Wojciech Penczek: TripICS - a Web Service Composition System for Planning Trips and Travels, in: Bernd-Holger Schlingloff (eds.): Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016, CEUR Workshop Proceedings, Vol. 1698, 2016, s. 171-179

Bartłomiej Nitoń: Evaluation of Uryupina's Coreference Resolution Features for Polish, in: Zygmunt Vetulani, Hans Uszkoreit, Marek Kubis (eds.): Human Language Technology. Challenges for Computer Science and Linguistics. 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013. Revised Selected Papers, Springer International Publishing, Lecture Notes in Artificial Intelligence, Vol. 9561, 2016, ISBN: 978-3-319-43807-8, s. 354-367

Bartłomiej Nitoń, Tomasz Bartosiak, Elżbieta Hajnicz: Accessing and Elaborating Walenty — a Valence Dictionary of Polish — via Internet Browser, in: Nicoletta Calzolari, i in. (eds.): Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016), European Language Resources Association, 2016, ISBN: 978-2-9517408-9-1, s. 1352-1359

Maciej Ogrodniczuk: Web services and data mining: combining linguistic tools for Polish with an analytical platform, in: Erhard Hinrichs, i in. (eds.): Proceedings of the Workshop on Language Technology Resources and Tools for Digital Humanities (LT4DH), 2016, ISBN: 978-4-87974-708-2, s. 187-195

Maciej Ogrodniczuk, Katarzyna Głowińska, Mateusz Kopeć, Agata Savary, Magdalena Zawisławska: Polish Coreference Corpus, in: Zygmunt Vetulani, Hans Uszkoreit, Marek Kubis (eds.): Human Language Technology. Challenges for Computer Science and Linguistics. 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013. Revised Selected Papers, Springer International Publishing, Lecture Notes in Artificial Intelligence, Vol. 9561, 2016, ISBN: 978-3-319-43807-8, s. 215-226

Maciej Ogrodniczuk, Magdalena Zawisławska: Bridging Relations in Polish: Adaptation of Existing Typologies, in: Maciej Ogrodniczuk, Vincent Ng (eds.): Proceedings of the Workshop on Coreference Resolution Beyond OntoNotes. CORBON 2016. NAACL-HLT 2016 Workshop June 16, 2016 San Diego, California, USA, Association for Computational Linguistics, 2016, ISBN: 978-1-941643-90-7, s. 16-22

Agnieszka Patejuk: Integrating a rich external valency dictionary with an implemented XLE/LFG grammar, in: Doug Arnold, Miriam Butt, Berthold Crysmann, Tracy Holloway King, Stefan Müller (eds.): Proceedings of the Joint 2016 Conference on Head-driven Phrase Structure Grammar and Lexical Functional Grammar. Polish Academy of Sciences, Warsaw, Poland July 25–29, 2016, CSLI Publications, LFG Conferences (ISSN 1098-6782), 2016, s. 520-540

Agnieszka Patejuk, Adam Przepiórkowski: Reducing grammatical functions in LFG, in: Doug Arnold, Miriam Butt, Berthold Crysmann, Tracy Holloway King, Stefan Müller (eds.): Proceedings of the Joint 2016 Conference on Headdriven Phrase Structure Grammar and Lexical Functional Grammar. Polish Academy of Sciences, Warsaw, Poland July 25–29, 2016, CSLI Publications, LFG Conferences (ISSN 1098-6782), 2016, s. 541-559

Adam Przepiórkowski: How not to distinguish arguments from adjuncts in LFG, in: Doug Arnold, Miriam Butt, Berthold Crysmann, Tracy Holloway King, Stefan Müller (eds.): Proceedings of the Joint 2016 Conference on Headdriven Phrase Structure Grammar and Lexical Functional Grammar. Polish Academy of Sciences, Warsaw, Poland July 25–29, 2016, CSLI Publications, LFG Conferences (ISSN 1098-6782), 2016, s. 560-580

Denis dos Reis, Stan Matwin, Peter Flach, Gustavo Batista: Fast Unsupervised Online Drift Detection Using Incremental Kolmogorov-Smirnov Test, in: Balaji Krishnapuram, i in. (eds.): Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, August 13-17, 2016, 2016, ISBN: 978-1-4503-4232-2, s. 1545-1554

Iftekhar Salam, Harry Bartlett, Ed Dawson, Józef Pieprzyk, Leonie Simpson, Kenneth Koon-Ho Wong: Investigating Cube Attacks on the Authenticated Encryption Stream Cipher ACORN, in: Lynn Batten, Gang Li (eds.): Applications and Techniques in Information Security. 6th International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, Proceedings, Springer International Publishing, Communications in Computer and Information Science, Vol. 651, 2016, ISBN: 978-981-10-2740-6, s. 15-26

Iftekhar Salam, Kenneth Koon-Ho Wong, Harry Bartlett, Leonie Simpson, Ed Dawson, Józef Pieprzyk: Finding state collisions in the authenticated encryption stream cipher ACORN, in: Proceedings of the Australasian Computer Science Week Multiconference. Canberra, Australia — February 02 - 05, 2016, Association for Computing Machinery, ACM International Conference Proceeding Series, Vol. 1133, 2016, ISBN: 978-1-4503-4042-7, s. 36:1-10

Hossein Sarshar, Stan Matwin: Using Classification in the Preprocessing Step on Wi-Fi Data as an Enabler of Physical Analytics, in: Moamar Sayed-Mouchaweh, Yun Fu (eds.): 2016 15th IEEE International Conference on Machine Learning and Applications. ICMLA 2016, 18-20 December 2016, Anaheim, California, USA. Proceedings, IEEE Computer Society Press, 2016, ISBN: 978-1-5090-6166-2, s. 983-988

Bernd-Holger Schlingloff, Henry Stubert, Wojciech Jamroga: Collaborative embedded systems - a case study, in: Wolfgang Böhm, Ingo Stierand, Andreas Vogelsang (eds.): 2016, 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), April 11, 2016, Vienna, Austria, Institute of Electrical and Electronics Engineers (IEEE), 2016, ISBN: 978-1-5090-1152-0, s. 17-22

Marija Slavkovik, Wojciech Jamroga: Iterative Judgment Aggregation, in: Gal A. Kaminka, i in. (eds.): ECAI 2016 22nd European Conference on Artificial Intelligence 29 August–2 September 2016, The Hague, The Netherlands Including Prestigious Applications of Artificial Intelligence (PAIS 2016) Proceedings, IOS Press, Frontiers in Artificial Intelligence and Applications, Vol. 285, 2016, ISBN: 978-1-61499-671-2, s. 1528-1536

Marcin Sydow, Grzegorz Sobczak, Ralf Schenkel, Krzysztof Mioduszewski: iQbees: Interactive Query-by-example Entity Search in Semantic Knowledge Graphs, in: Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki (eds.): Proceedings of the 2016 Federated Conference on Computer Science and Information Systems. September 11–14, 2016. Gdańsk, Poland, Polskie Towarzystwo Informatyczne, Annals of Computer Science and Information Systems, Vol. 8, 2016, ISBN: 978-83-60810-90-3, s. 153-160

Maciej Szreter: A Graph-based Reduction in Planics Abstract Planning, Based on Partial Orders of Services (extended abstract), in: Bernd-Holger Schlingloff (eds.): Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016, CEUR Workshop Proceedings, Vol. 1698, 2016, s. 165-170

Maciej Szreter: Automated Two-Phase Composition of Timed Web Services, in: Manuel Mazzara, Andrei Voronkov (eds.): Perspectives of System Informatics. 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers, Springer International Publishing, Lecture Notes in Computer Science, Vol. 9609, 2016, ISBN: 978-3-319-41578-9, s. 260-275

Masoud Tabatabaei, Wojciech Jamroga: Preventing Coercion in E-Voting: Be Open and Commit, in: Robert Krimmer, i in. (eds.): The International Conference on Electronic Voting E-Vote-ID 2016 18–21 October 2016, Lochau/Bregenz, Austria. Proceedings, Tallinn University of Technology Press, 2016, ISBN: 978-9949-83-022-0, s. 159-175

Masoud Tabatabaei, Wojciech Jamroga, Peter Y.A. Ryan: Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt, in: Natalia Criado, i in. (eds.): Proceedings of the 1st International Workshop on AI for Privacy and Security, PrAISe@ECAI 2016, The Hague, Netherlands, August 29-30, 2016, Association for Computing Machinery, 2016, ISBN: 978-1-4503-4304-6, s. 1-8

Tomasz Tajmajer, Malwina Spławińska, Piotr Wasilewski, Stan Matwin: Predicting annual average daily highway traffic from large data and very few measurements, in: James Joshi, i in. (eds.): 2016 IEEE International Conference on Big Data. Dec 05-Dec 08, 2015, Washington D.C., USA, Proceedings, Institute of Electrical and Electronics Engineers (IEEE), Vol. CFP16BGD-USB, 2016, ISBN: 978-1-4673-9004-0, s. 1493-1501

Merak Tudruj, Łukasz Maśko: Parallel Programs Scheduling with Architecturally Supported Regions, in: Roman Wyrzykowski, i in. (eds.): Parallel Processing and Applied Mathematics. 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II, Springer International Publishing, Lecture Notes in Computer Science, Vol. 9574, 2016, ISBN: 978-3-319-32151-6, s. 77-89

Aleksander Wawer: OPFI: A Tool for Opinion Finding in Polish, in: Nicoletta Calzolari, i in. (eds.): Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016), European Language Resources Association, 2016, ISBN: 978-2-9517408-9-1, s. 2906-2909

Marcin Woliński, Witold Kieraś: The Online Version of Grammatical Dictionary of Polish, in: Nicoletta Calzolari, i in. (eds.): Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016), European Language Resources Association, 2016, ISBN: 978-2-9517408-9-1, s. 2589-2594

Marcin Woliński, Dominika Rogozińska: Experiments in PCFG-like Disambiguation of Constituency Parse Forests for Polish, in: Zygmunt Vetulani, Hans Uszkoreit, Marek Kubis (eds.): Human Language Technology. Challenges for Computer Science and Linguistics. 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013. Revised Selected Papers, Springer International Publishing, Lecture Notes in Artificial Intelligence, Vol. 9561, 2016, ISBN: 978-3-319-43807-8, s. 146-158