Wydział Matematyki i Informatyki UJ - lista publikacji

1201-1400 z 4858.

2018

3657.
Thinking-Driven Testing. The Most Reasonabl Approach to Quality Control, Springer Verlag (połaczony z Kluwer Academic Publishing), 2018
3656.
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras vol. Leibniz International Proceedings in Informatics (LIPIcs) (2018), "43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
3655.
Satisfiability in multi-valued circuits, (2018), "Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'18)", Association for Computing Machinery (ACM)
3652.
Aneta Blat, Stefan Chłopicki, Karolina Chrabąszcz, Max Diem, Agnieszka Jasztal, Kamila Małek, Katarzyna Marzec, Marta Smęda, Bartosz Zieliński
3651.
Maciej Bendkowski, Pierre Lescanne
Combinatorics of explicit substitutions vol. PPDP '18 (2018), "Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming", Association for Computing Machinery (ACM)
3650.
Marcin Dumnicki, Daniel Harrer, Justyna Szpond
3648.
Jacob W. Cooper, Andrzej Grzesik, Daniel Král
3645.
Azza Alghamdi, Maciej Klimek, Marta Kosek
3644.
Bartłomiej Bosek, Dariusz Leniowski, Piotr Sankowski, Anna Zych-Pawlewicz
A Tight Bound for Shortest Augmenting Paths on Trees vol. 10870 (2018), "LATIN 2018: Theoretical Informatics", Springer
3643.
Yuya Matsumoto, Hisanori Ohashi, Sławomir Rams
3642.
Maciej Bendkowski, Pierre Lescanne
Counting Environments and Closures vol. Leibniz International Proceedings in Informatics (LIPIcs) (2018), "3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
3640.
Oleksander Gomilko, Dominik Kwietniak, Mariusz Lemańczyk
Sarnak’s Conjecture Implies the Chowla Conjecture Along a Subsequence vol. Lecture Notes in Mathematics, vol 2213 (2018), "Ergodic Theory and Dynamical Systems in their Interactions with Arithmetics and Combinatorics", Springer
3633.
Torsten Mütze, Jerri Nummenpalo, Bartosz Walczak
Sparse Kneser graphs are Hamiltonian, (2018), "Proceedings of 50th Annual ACM SIGACT Symposium on the Theory of Computing (STOC’18)", Association for Computing Machinery (ACM)
3630.
Alexandr Kazda, Marcin Kozik, Ralph McKenzie, Matthew Moore
Absorption and directed Jónsson terms, (2018), "Don Pigozzi on Abstract Algebraic Logic", Springer
3624.
William T. Trotter, Bartosz Walczak, Ruidong Wang
Dimension and cut vertices: an application of Ramsey theory, (2018), "Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham", Cambridge University Press
3621.
Marcin Bilski, Krzysztof Kurdyka, Adam Parusiński, Guillaume Rond
3619.
Marcin Pitera, Thorsten Schmidt
3617.
Wojciech Kucharz, Maciej Zieliński
3614.
3607.
Feature Selection in Texts, Proceedings of the 10th International Conference On Computer Recognition Systems Cores 2017 vol. 578. Advances in Intelligent Systems and Computing (2018), 336-345
3603.
Bartłomiej Bosek, Dariusz Leniowski, Piotr Sankowski, Anna Zych-Pawlewicz
3600.
Yunru Bai, Leszek Gasiński, Nikolaos S. Papageorgiou
3597.
3589.
Bartłomiej Bosek, Michał Dębski, Jarosław Grytczuk, Joanna Sokół, Małgorzata Śleszyńska-Nowak, Wiktor Żelazny
3583.
Antoni Leon Dawidowicz, Anna Poskrobko
Asymptotic properties of the Lasota equation in various functional spaces, (2018), "AIP Conference Proceedings 1926", American Institute of Physics
3580.
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Polynomial tuning of multiparametric combinatorial samplers, (2018), "2018 Proceedings of the Fifteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO)", Society for Industrial and Applied Mathematics (SIAM)
3578.
Błażej Żmija
3573.
Szabolcs Tengely, Maciej Ulas
3568.
3566.
Per Ahag, Rafał Czyż, Lisa Hed
3565.
3561.
3546.
Piotr Kalita, Grzegorz Łukaszewicz, Jakub Siemianowski
3538.
Jakub Byszewski, Jakub Konieczny
3535.
3532.
Marek Jarnicki, Peter Pflug
3531.
János Kollár, Wojciech Kucharz, Krzysztof Kurdyka
3529.
Zhenhai Liu, Dumitru Motreanu, Shengda Zeng
3528.
3525.
Stanisław Migórski, Mircea Sofonea
Variational-Hemivariational Inequalities with Applications vol. Chapman & Hall/CRC Monographs and Research Notes in Mathematics , CRC Press (gałąź Taylor & Francis Group), 2018

2017

3524.
Jarosław Hryszko, Lech Madeyski
Assessment of the Software Defect Prediction Cost Effectiveness in an Industrial Project vol. 504 (2017), "Software Engineering: Challenges and Solutions", Springer
3521.
Jacek Cichoń, Abram Magner, Wojciech Szpankowski, Krzysztof Turowski
On Symmetries of Non-Plane Trees in a Non-Uniform Model, Workshop on Analytic Algorithmics and Combinatorics [ANALCO], (2017), 156-163
3517.
Lorenzo Guerrieri, William Heinzer, Bruce Olberding, Matthew Toeniskoetter
Directed Unions of Local Quadratic Transforms of Regular Local Rings and Pullbacks, (2017), "Rings, Polynomials, and Modules", Springer
3512.
Konrad Żołna
Improving the performance of neural networks in regression tasks using drawering, IEEE International Joint Conference on Neural Networks [IJCNN], (2017), 2533-2538
3511.
Bartłomiej Romański, Konrad Żołna
User Modeling Using LSTM Networks, National Conference of the American Association for Artificial Intelligence [AAAI], (2017), 5025-5026
3509.
Suita Conjecture from the one-dimensional viewpoint vol. Trends in Mathematics, eds. M. Andersson, J. Boman, C. Kiselman, P. Kurasov, R. Sigurdsson (2017), "Analysis Meets Geometry: A Tribute to Mikael Passare", Springer Verlag (połaczony z Kluwer Academic Publishing)
3504.
3503.
Mathematical contests as seen by participants, Science, Technology and Innovation vol. 4 (3) (2017), 49-54
3502.
Stanisław Migórski, Mircea Sofonea
A History-Dependent Variational-Hemivariational Inequality in Contact Mechanics, (2017), "F. dell’Isola et al. (eds.), Mathematical Modelling in Solid Mechanics, Advanced Structured Materials 69", Springer
3500.
William T. Trotter, Bartosz Walczak
Boolean dimension and local dimension vol. 61 of Electronic Notes in Discrete Mathematics (2017), "The Ninth European Conference on Combinatorics, Graph Theory and Applications, EuroComb 2017", Elsevier Science
3499.
Thomas Bauer, Klaus Hulek, Sławomir Rams, Alessandra Sarti, Tomasz Szemberg
Wolf Barth (1942–2016), Jahresber. Dtsch. Math.-ver. vol. 119, no. 4 (2017), 273–292
3498.
Katarzyna Grzybowska, Łukasz Kubica, Bożena Zwolińska
Shaping production change variability in relation to the utilized technology, 24th International Conference On Production Research : July 30 – August 3, 2017, Poznan, Poland : Book of Abstracts (2017), 51-56
3494.
Gwenaël Joret, Piotr Micek, William T. Trotter, Ruidong Wang, Veit Wiechert
3492.
Stefan Felsner, Gwenaël Joret, Piotr Micek, William T. Trotter, Veit Wiechert
Burling graphs, chromatic number, and orthogonal tree-decompositions, Electronic Notes in Discrete Mathematics vol. 61 (2017), 415-420
3491.
3488.
Banach and Nikodym on the bench in Kraków again, European Mathematical Society Newsletter vol. 104 (2017), 25-29
3486.
Marek Karaś, Anna Serwatka
Discrete-time market models from the small investor point of view and the first fundamental-type theorem, Annales Universitatis Paedagogicae Cracoviensis Studia Mathematica Xvi vol. 16 (2017), 17-40
3485.
Wstęp do informatyki vol. Wykłady z informatyki , PWN, 2017
3478.
David Trotman, Guillaume Valette
On the local geometry of definably stratified sets vol. Contemporary Mathematics (2017), "Ordered algebraic structures and related topics", American Mathematical Society (AMS)
3477.
Wojciech Kucharz, Krzysztof Kurdyka
Rationality of semialgebraic functions, (2017), "Analytic and Algebraic Geometry 2", Wydawnictwo Uniwersytetu Łódzkiego
3476.
Zbigniew Jelonek, Wojciech Kucharz, Krzysztof Kurdyka
Vector bundles and blowups, (2017), "Analytic and Algebraic Geometry 2", Wydawnictwo Uniwersytetu Łódzkiego
3474.
Asymptotic density in logic and computability, Proceedings of the Tenth Workshop On Information Theoretic Methods in Science and Engineering, Paris, France, September 11-13, 2017 vol. Publication series B, Report B-2017-3 (Editors: Jacquet Philippe, Leppä-Aho Janne, Roos Teemu (2017), 43
3472.
Jakub Kowalski, Adam Roman
A New Evolutionary Algorithm for Synchronization vol. LNCS 10199 (2017), "Applications of Evolutionary Computation", Springer Verlag (połaczony z Kluwer Academic Publishing)
3471.
Finding Eigenvalues of Self-maps with the Kronecker Canonical Form vol. 198 (2017), "Applications of Computer Algebra", Springer
3467.
Leszek Gasiński, Nikolaos S. Papageorgiou
3463.
Devansh Arpit, Nicolas Ballas, Yoshua Bengio, Stanisław Jastrzębski
Residual connections encourage iterative inference, International Conference On Learning Algorithms 2018 (2017),
3462.
Extending partial representations of trapezoid graphs vol. 10520 of Lecture Notes in Computer Science (2017), "Graph-Theoretic Concepts in Computer Science, 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers", Springer
3460.