Wydział Matematyki i Informatyki UJ - lista publikacji

1-200 z 3784.

2019

3783.
Towards the average-case analysis of substitution resolution in λ-calculus vol. Leibniz International Proceedings in Informatics (LIPIcs) (2019), "4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
3772.
Submersions involving some special classes of K-manifolds, RENDICONTI DI MATEMATICA E DELLE SUE APPLICAZIONI vol. 40 (2019), 57-70
3733.
Completeness of statistical structures, MATHEMATICS vol. 7, 104 (2019),
3660.
A glimpse into invariant distances in complex analysis, (2019), "Handbook of Complex Analysis (S.G. Krantz, ed)", CRC Press (gałąź Taylor & Francis Group)

2018

3654.
On modeling objects using sequence of moment invariants, LECTURE NOTES IN COMPUTER SCIENCE (2018), 92-102
3652.
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus, (2018), Springer Verlag (połaczony z Kluwer Academic Publishing)
3634.
Coherence, squeezing and entanglement - an example of peaceful coexistence vol. Springer Proceedings in Physics (2018), "Coherent States and their applications: A contemporary panorama", Springer
3633.
A hybrid MSV-MGARCH generalisation of the t-MGARCH model, SOCIO-ECONOMIC MODELLING AND FORECASTING vol. No 1 (2018), 345-354
3631.
Rachunek prawdopodobieństwa wspomagany komputerowo dla studentów matematyki stosowanej vol. Seria Matematyka (2018), Wydawnictwo Uniwersytetu Jagiellońskiego
3621.
Nowe trendy w rzeczywistej geometrii algebraicznej, WIADOMOŚCI MATEMATYCZNE vol. 54(1) (2018), 1-22
3620.
Non standard properties of m-subharmonic functions, DOLOMITES RESEARCH NOTES ON APPROXIMATION vol. 11 (2018), 35-50
3617.
On the metric space of pluriregular sets, DOLOMITES RESEARCH NOTES ON APPROXIMATION vol. 11 (2018), 51-61
3611.
Optimization-Based Voting Rule Design: The Closer to Utopia the Better, PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, AAMAS 2018, STOCKHOLM, SWEDEN, JULY 10-15, 2018 (2018), 32-40
3609.
From continuous rational to regulous functions, (2018), "Proc. Int. Cong. of Math.-2018, Rio de Janeiro, Vol. 2", World Scientific Publishing
3608.
Resource Allocation in LTE-Unlicensed Femtocell Networks, PRZEGLĄD TELEKOMUNIKACYJNY I WIADOMOŚCI TELEKOMUNIKACYJNE (2018), 839 - 843
3607.
Performance Analysis of Cognitive Femtocell Network with Ambient RF Energy Harvesting vol. LECTURE NOTES IN COMPUTER SCIENCE, vol. 11118 (2018), "Internet of Things, Smart Spaces and Next Generation Networks and Systems", Springer
3606.
Analysis of Energy Harvesting in Cognitive Femtocell Radio Network, PRZEGLĄD TELEKOMUNIKACYJNY I WIADOMOŚCI TELEKOMUNIKACYJNE (2018), 312 - 315
3605.
QoS- and Energy-aware Services Management of Resource in Cloud Computing Environment vol. Communications in Computer and Information Science (2018), "Computer Networks", Springer
3602.
Processing of missing data by neural networks, ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS vol. 31 (2018), 2719--2729
3596.
Thinking-Driven Testing. The Most Reasonabl Approach to Quality Control, (2018), Springer Verlag (połaczony z Kluwer Academic Publishing)
3595.
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
3594.
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)
3590.
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)