Skip to main content
Instytut Podstaw Informatyki PAN (baner)

Publikacje

Reprezentatywne Prace

Reprezentatywne prace

Zakład Teoretycznych Podstaw Informatyki

ZESPÓŁ TEORII SYSTEMÓW ROZPROSZONYCH I OBLICZENIOWYCH
  1. Jaime Arias, Carlos Olarte, Laure Petrucci, Łukasz Maśko, Wojciech Penczek, Teofil Sidoruk: Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models, w: IEEE Transactions on Reliability, 2024, Vol. 73 (2), s. 861 - 875
  2. Włodzimierz Drabent: A relaxed condition for avoiding the occur-check, w: Theoretical Computer Science, 2023, Vol. 975, art.114107, s. 1-15
  3. Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano: Scalable Verification of Strategy Logic through Three-Valued Abstraction, w: Edith Elkind (eds.): Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. Macao, SAR, 19-25 August 2023, International Joint Conferences on Artificial Intelligence, 2023, ISBN: 978-1-956792-03-4, s. 46-54
  4. Wojciech Jamroga, Yan Kim: Practical Model Reductions for Verification of Multi-Agent Systems, w: Edith Elkind (eds.): Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. Macao, SAR, 19-25 August 2023, International Joint Conferences on Artificial Intelligence, 2023, ISBN: 978-1-956792-03-4, s. 7135-7139
  5. Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny: SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic, w: Kobi Gal, i in. (eds.): ECAI 2023. 26th European Conference on Artificial Intelligence September 30–October 4, 2023, Kraków, Poland. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings, IOS Press, Frontiers in Artificial Intelligence and Applications, Vol. 372, 2023, ISBN: 978-1-64368-436-9, s. 1180-1189
  6. Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk: Strategic (Timed) Computation Tree Logic, in: Noa Agmon, i in. (eds.): AAMAS '23: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2023, ISBN: 978-1-4503-9432-1, s. 382-390
  7. Catalin Dima, Wojciech Jamroga: Computationally Feasible Strategies, w: Noa Agmon, i in. (eds.): AAMAS '23: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2023, ISBN: 978-1-4503-9432-1, s. 784-792
  8. Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano: Strategic Abilities of Forgetful Agents in Stochastic Environments, w: Pierre Marquis, Cao Son Tran, Gabriele Kern-Isberner (eds.): Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Rhodes, Greece. September 2-8, 2023, International Joint Conferences on Artificial Intelligence Organization, 2023, ISBN: 978-1-956792-02-7, s. 726-731
  9. Wojciech Jamroga, Michał Knapik, Damian Kurpiewski, Łukasz Mikulski: Approximate verification of strategic abilities under imperfect information, w: Artificial Intelligence, 2019, Vol. 277 (art. 103172), s. 1-30
  10. Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembiński, Antoni Mazurkiewicz: Towards Partial Order Reductions for Strategic Ability, w: Journal of Artificial Intelligence Research, 2020, Vol. 68, s. 817-850
ZESPÓŁ KRYPTOGRAFII
  1. Józef Pieprzyk, Jarek Duda, Marcin Pawlowski, Seyit Camtepe, Arash Mahboubi, Paweł Morawiecki: The Compression Optimality of Asymmetric Numeral Systems, w: Entropy, 2023, Vol. 25 (4), s. 672: 1-23
  2. Hong Lai, Józef Pieprzyk, Lei Pan, Ya Li: Resource-saving quantum key distribution based on three-photon matrix product states, w: Quantum Information Processing, 2023, Vol. 22 (6), s. 235: 1-16
  3. Paweł Morawiecki, Andrii Krutsylo, Maciej Wołczyk, Marek Śmieja: Hebbian Continual Representation Learning, w: Tung X. Bui (eds.): Proceedings of the 56thAnnual Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023, ScholarSpace, 2023, ISBN: 978-0-9981331-6-4, s. 1259-1268
  4. Huy Quoc Le, Dung Hoang Duong, Willy Susilo, Józef Pieprzyk: Spatial Encryption Revisited: From Delegatable Multiple Inner Product Encryption and More, w: V. Atluri i in. (red.): Computer Security – ESORICS 2022. 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part I, 2022, Springer, Lecture Notes in Computer Science, Vol. 13554, ISBN: 978-3-031-17139-0, s. 283-302
  5. Maciej Wołczyk, Karol Piczak, Bartosz Wójcik, Łukasz Pustelnik, Paweł Morawiecki, Jacek Tabor, Tomasz Trzciński, Przemysław Spurek: Continual Learning with Guarantees viaWeight Interval Constraints, w: K. Chaudhuri i in. (red.): Proceedings of the 39th International Conference on Machine Learning, 17-23 July 2022, Baltimore, Maryland, USA, 2022, Machine Learning Research Press, Proceedings of Machine Learning Research, Vol. 162, s. 23897-23911
  6. Seyit Camtepe, Jarek Duda, Arash Mahboubi, Paweł Morawiecki, Surya Nepal, Marcin Pawlowski, Józef Pieprzyk: ANS-based compression and encryption with 128-bit security, w: International Journal of Information Security, Vol. 21 (5), s. 1051–1067
  7. Seyit Camtepe, Jarek Duda, Arash Mahboubi, Paweł Morawiecki, Surya Nepal, Marcin Pawlowski, Józef Pieprzyk: Compcrypt - Lightweight ANS-based Compression and Encryption, w: Cryptology ePrint Archive: Report 2021/010, International Association for Cryptologic Research, s. 1-20
  8. Mohammad Ali Orumiehchiha, Saeed Rostami, Elham Shakour, Józef Pieprzyk: A differential fault attack on the WG family of stream ciphers, w: Journal of Cryptographic Engineering, 2020, Vol. 10 (2), s. 189-195
  9. MHuy Quoc Le, Dung Hoang Duong, Willy Susilo, Ha Thanh Nguyen Tran, Viet Cuong Trinh, Józef Pieprzyk, Thomas Plantard: Lattice Blind Signatures with Forward Security, w: Joseph Liu, Hui Cui (eds.): Information Security and Privacy. 25th Australasian Conference, ACISP 2020, Perth, WA, Australia, November 30 – December 2, 2020, Proceedings, Springer International Publishing, Lecture Notes in Computer Science, Vol. 12248, 2020, ISBN: 978-3-030-55303-6, s. 3-22
  10. Hong Lai, Józef Pieprzyk, Lei Pan: Analysis of Weighted Quantum Secret Sharing based on Matrix Product States, w: Quantum Information Processing, 2020, Vol. 19 (12), s. 418:1-16
  11. Paweł Morawiecki, Przemysław Spurek, Marek Śmieja, Jacek Tabor: Fast and Stable Interval Bounds Propagation for Training Verifiably Robust Models, w: ESANN 2020 proceedings, 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Online event, 2-4 October 2020, 2020, ISBN: 978-2-87587-074-2, s. 55-60

Zakład Sztucznej Inteligencji

ZESPÓŁ PODSTAW SZTUCZNEJ INTELIGENCJI
  1. Paweł Paściak, Danijel Korżinek, Dariusz Czerski: Self-supervised Domain Adaptation of Statistical Language Models for Automatic Speech Recognition, w: Zygmunt Vetulani, Patrick Paroubek (eds.): Human Language Technologies as a Challenge for Computer Science and Linguistics - 2023, Wydawnictwo Naukowe UAM, 2023, ISBN: 978-83-232-4176-8, s. 229-233
  2. Bartłomiej Starosta, Mieczysław A. Kłopotek, Sławomir T. Wierzchoń, Dariusz Czerski: Hashtag Discernability - Competitiveness Study of Graph Spectral and Other Clustering Methods, w: Maria Ganzha, i in. (eds.): Proceedings of the 18th Conference on Computer Science and Intelligence Systems. September 17–20, 2023. Warsaw, Poland, Polskie Towarzystwo Informatyczne, Annals of Computer Science and Information Systems, Vol. 35, 2023, ISBN: 978-83-967447-8-4, s. 759-767
  3. Piotr Borkowski, Mieczysław A. Kłopotek, Bartłomiej Starosta, Sławomir T. Wierzchoń, Marcin Sydow: Eigenvalue based spectral classification, w: PLoS One, 2023, Vol. 18 (4), s. e0283413:1-35
  4. Mieczysław A. Kłopotek, Sławomir T. Wierzchoń, Robert Kłopotek: Network Capacity Bound for Personalized PageRank in Multimodal Networks, w: Fundamenta Informaticae, 2022, Vol. 189 (1), s. 49-67
  5. Mieczysław A. Kłopotek, Robert Kłopotek: On the Discrepancy between Kleinberg’s Clustering Axioms and k-Means Clustering Algorithm Behavior, w: Machine Learning, 2023, Vol. 112 (7), s. 2501-2553
  6. Bartłomiej Starosta: Set-theoretic relations for metasets, w: Journal of Experimental & Theoretical Artificial Intelligence, 2024, Vol. 36(1), s. 71-85
  7. Mieczysław A. Kłopotek, Robert Kłopotek: Set-theoretic relations for metasets, w: Applied Intelligence, 2023, Vol. 53(5), s. 5635-5663
  8. Jacek Białek, Mieczysław A. Kłopotek, Tomasz Panek (red.): Nowoczesne technologie i nowe źródła danych w pomiarze inflacji, Biblioteka Wiadomości Statystycznych, tom 70, Główny Urząd Statystyczny 2022, ISBN: 978-83-66466-97-5, 210 s.
  9. Mieczysław A. Kłopotek, Sławomir T. Wierzchoń, Robert Kłopotek: Weighted Laplacians of Grids And Their Application for Inspection of Spectral Graph Clustering Methods, w: TASK Quarterly, 2021, Vol. 25 (3), s. 329-353
  10. Robert Kłopotek, Mieczysław A. Kłopotek, Sławomir T. Wierzchoń: A feasible k-means kernel trick under non-Euclidean feature space, w: International Journal of Applied Mathematics and Computer Science, 2020, Vol. 30 (4), s. 703-715
ZESPÓŁ ANALIZY I MODELOWANIA STATYSTYCZNEGO
  1. Łukasz Jerzy Dębowski: Information Theory Meets Power Laws: Stochastic Processes and Language Models, Wiley & Sons, 2020, 978-1-119-62536-0, 384ss.
  2. Łukasz Jerzy Dębowski: Maximal Repetition and Zero Entropy Rate, w: IEEE Transactions on Information Theory, 2018, Vol. 64 (4), s. 2212-2219
  3. Krzysztof Rudaś, Szymon Jaroszewicz: Linear regression for uplift modeling, w: Data Mining and Knowledge Discovery, 2018, Vol. 32 (5), s. 1275-1305
  4. Barbara Żogała-Siudem, Szymon Jaroszewicz: Fast stepwise regression based on multidimensional indexes, w: Information Sciences, 2021, Vol. 549, s. 288-309
  5. Mariusz Kubkowski, Jan Mielniczuk, Paweł Teisseyre: How to Gain on Power: Novel Conditional Independence Tests Based on Short Expansion of Conditional Mutual Information, w: Journal of Machine Learning Research, 2021, Vol. 22, s. 62:1-57
  6. Małgorzata Łazęcka, Jan Mielniczuk: Analysis of Information-Based Nonparametric Variable Selection Criteria, w: , w: Entropy, 2020, Vol. 22 (9), s. 974:1-18
  7. Mariusz Kubkowski, Jan Mielniczuk: Selection Consistency of Lasso-Based Procedures for Misspecified High- Dimensional Binary Model and Random Regressors, w: Entropy, 2020, Vol. 22 (2), s. 153:1-29
  8. Jan Mielniczuk, Paweł Teisseyre: Stopping rules for mutual information-based feature selection, w: Neurocomputing, 2019, Vol. 358, s. 255-274
  9. 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
  10. Dariusz Kalociński, Tomasz Steifer: An Almost Perfectly Predictable Process with No Optimal Predictor, w: 2019 IEEE International Symposium on Information Theory (ISIT), Proceedings, July 7–12, 2019, La Maison de La Mutualité, Paris, France, Institute of Electrical and Electronics Engineers, 2019, ISBN: 978-1-5386-9291-2, s. 2504-2508
ZESPÓŁ BIOLOGII OBLICZENIOWEJ
  1. Adria Jaume Roura, Paulina Szadkowska, Katarzyna Poleszak, Michał J. Dąbrowski, Aleksandra Ellert-Miklaszewska, Kamil Wojnicki, Iwona Ciechomska, Karolina Stępniak, Bożena Kamińska, Bartosz Wojtaś: Regulatory networks driving expression of genes critical for glioblastoma are controlled by the transcription factor c- Jun and the pre-existing epigenetic modifications, w: Clinical Epigenetics, 2023, Vol. 15 (1), s. 29:1-22
  2. Mateusz Garbulowski, Karolina Smolińska, Uğur Çabuk, Sara A. Yones, Ludovica Celli, Esma Nur Yaz, Fredrik Barrenäs, Klev Diamanti, Claes Wadelius, Jan Komorowski: Machine Learning-Based Analysis of Glioma Grades Reveals Co-Enrichment, w: Cancers, 2022, Vol. 14 (4), s. 1014: 1-19
  3. Karolina Stępniak, Magdalena A. Machnicka, Jakub Mieczkowski, Anna Macioszek, Bartosz Wojtaś, (...), Malgorzata Perycz, (...), Michał J. Dąbrowski, Michał Dramiński, Marta Jardanowska, Ilona Grabowicz, Agata Dziedzic, (...), Jan Komorowski, Bożena Kamińska, Bartek Wilczyński: Mapping chromatin accessibility and active regulatory elements reveals pathological mechanisms in human gliomas, w: Nature Communications, 2021, Vol. 12 (1), s. 3621:1-17
  4. Ilona Grabowicz, Bartosz Wilczyński, Bożena Kamińska, Adria-Jaume Roura, Bartosz Wojtaś, Michał J. Dąbrowski: The role of epigenetic modifications, long-range contacts, enhancers and topologically associating domains in the regulation of glioma grade-specific genes, w: Scientific Reports, 2021, Vol. 11 (1), Art. no: 15668, s. 1-15
  5. Paweł Krupa, Agnieszka S Karczyńska, Magdalena Mozolewska, Adam Liwo, Cezary Czaplewski: UNRES-Dock—protein–protein and peptide–protein docking by coarse-grained replica-exchange MD simulations, w: Bioinformatics, 2021, 37 (11), s. 1613–1615
  6. Esther Rheinbay, Morten Muhlig Nielsen, (...), Jan Komorowski, (...). Gad Getz: Analyses of non-coding somatic drivers in 2,658 cancer whole genomes, w: Nature, 2020, Vol. 578 (7793), s. 102-111
  7. 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
  8. 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
  9. 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
  10. Michał Dramiński, Michał J. Dąbrowski, Klev Diamanti, Jacek Koronacki, Jan Komorowski: Discovering Networks of Interdependent Features in High-Dimensional Problems, rozdział w: Nathalie Japkowicz, Jerzy Stefanowski (red.): 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
  11. Adam Sieradzan, Cezary Czaplewski, Paweł Krupa, Magdalena Mozolewska, Agnieszka Karczyńska, Agnieszka Lipska, Emilia Lubecka, Ewa Gołaś, Tomasz Wirecki, Mariusz Makowski, Stanisław Ołdziej, Adam Liwo: Modeling the Structure, Dynamics, and Transformations of Proteins with the UNRES Force Field, chapter in: Victor Muñoz (eds.): Protein Folding. Methods and Protocols, Springer, Methods in Molecular Biology, Vol. 2376, 2022, ISBN: 978-1-0716-1715-1, s.399-416

Zakład Modelowania Języka

ZESPÓŁ LINGWISTYKI FORMALNEJ
  1. Diego Feinmann: Distinguishing Homogeneity From Vagueness, w: Journal of Semantics, 2021, Vol. 38 (4), s. 667–679
  2. Diego Feinmann: Domain Restriction: The Problem of the Variable Location Revisited, w: Linguistics and Philosophy, 2022, Vol. 45 (5), s. 1197–1226
  3. Agnieszka Patejuk, Adam Przepiórkowski: Predicative Adverbs: Evidence from Polish, w: Linguistic Inquiry, 2021, Vol. 52 (4), s. 835-851
  4. Agnieszka Patejuk, Adam Przepiórkowski: Category Mismatches in Coordination Vindicated, w: Linguistic Inquiry, 2023, Vol. 54 (2), s. 326–349
  5. Adam Przepiórkowski: A compositional intersective account of heterofunctional coordination, w: J.R. Starr i in. (red.): Proceedings of the 32nd Semantics and Linguistic Theory Conference, 2022, Linguistic Society of America, ISSN: 2163-5951, s. 270-293
  6. Adam Przepiórkowski: Coordination of unlike grammatical cases (and unlike categories), w: Language, 2022, Vol. 98 (3), s. 592-634
  7. 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
  8. Adam Przepiórkowski, Agnieszka Patejuk: Arguments and Adjuncts in Universal Dependencies, in: E.M. Bender, et al.(eds.): Proceedings of the 27th International Conference on Computational Linguistics. COLING 2018. August 20-26, 2018, Santa Fe, New Mexico, USA, 2018, s. 3837–3852
  9. Adam Przepiórkowski, Agnieszka Patejuk: From Lexical Functional Grammar to enhanced Universal Dependencies: The UD-LFG treebank of Polish, in: Language Resources and Evaluation, 2020, Vol. 54, pp. 185–221
  10. Adam Przepiórkowski, Michał Woźniak: Conjunct Lengths in English, Dependency Length Minimization, and Dependency Structure of Coordination, w: A. Rogers, J. Boyd-Graber, N. Okazaki (red.), Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (ACL 2023), 2023, Volume 1: Long Papers, s. 15494–15512, Association for Computational Linguistics, Toronto
  11. Sebastian Zawada: Koordynacja leksykalno-semantyczna w historii języka polskiego – wstępne badania korpusowe, w: Język Polski, 2022, Vol. 102 (4), s. 21-36
ZESPÓŁ INŻYNIERII LINGWISTYCZNEJ
  1. Piotr Przybyła: Capturing the Style of Fake News, w: Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence. February 7–12, 2020, New York, New York, USA, AAAI Press, Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 34, 2020, ISBN: 978-1-57735-835-0, s. 490-497
  2. Katarzyna Krasnowska-Kieraś, Alina Wróblewska: Empirical Linguistic Study of Sentence Embeddings, w: 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
  3. Maciej Ogrodniczuk: Nominal coreference resolution for Polish, w: Poznan Studies in Contemporary Linguistics, 2019, Vol. 55 (2), s. 367-396
  4. Aleksander Wawer: Sentiment Analysis for Polish, w: Poznan Studies in Contemporary Linguistics, 2019, Vol. 55 (2), s. 445-468
  5. Marcin Woliński: Automatyczna analiza składnikowa języka polskiego, Wydawnictwa Uniwersytetu Warszawskiego, 2019, 978-83-235-3606-2, 290 p.
  6. 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
  7. 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
  8. 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
  9. 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
© 2021 INSTYTUT PODSTAW INFORMATYKI PAN | Polityka prywatności | Deklaracja dostępności