Instytut Informatyki i Matematyki Komputerowej - lista publikacji
Nadjednostka:
Podjednostki:
801-1000 z 1031.
2011
231.
Teresa Crespo, Zbigniew Hajto
Picard-Vessiot theory and the Jacobian Problem, Israel Journal of Mathematics vol. 186 (2011), 401-406
230.
Teresa Crespo, Zbigniew Hajto
Algebraic Groups and Differential Galois Theory, American Mathematical Society (AMS), 2011
229.
The Least Squares SVM Approach for a Non-Linear Channel Prediction in the MIMO System, Computer Networks, Proceedings Series: Communications in Computer and Information Science, International Conference On Computer Networks (cn '11) vol. 160 (2011), 27 - 36
228.
Least Squares Support Vector Machines for Channel Prediction in the MIMO System, Studies in Computational Intelligence, Developing Concepts in Applied Intelligence, He Twenty-fourth International Conference On Industrial Engineering and Other Applications of Applied Intelligent Systems vol. 363 (2011), 39 - 44
227.
226.
Dawid Kopiec, Jerzy Martyna
225.
224.
Machine Learning for the Identification of the DNA Variations for Diseases Diagnosis, Studia Informatica vol. 32 (2011), 103 - 118
223.
222.
221.
Jerzy Martyna, L Nowak, W Piątkowska, K Przystalski
220.
Ł Kwestarz, Jerzy Martyna, W Olejko
219.
218.
Tomasz Barszcz, Marzena Bielecka, Andrzej Bielecki, Mateusz Wójcik
217.
Marzena Bielecka, Andrzej Bielecki, Mariusz Korkosz, Marek Skomorowski, Karolina Sprężak, Wadim Wojciechowski, Bartosz Zieliński
A shape description language for osteophytes detection in upper surfaces of the metacarpophalangeal joints, Computer Recognition Systems 4, Advances in Intelligent and Soft Computing, Springer (2011), 479-487
216.
Mateusz Banach, Giuseppe Evangelista , Łukasz Flis, Marek Kochańczyk, Maciej Malawski, Ewa Matczyńska, Giovanni Minevrini, Fabio Polticelli, Katarzyna Prymula , Kinga Sałapa, Szepieniec Tomasz , Zdzisław Wiśniowski
215.
David Gunther, Ingrid Hotz, Jan Reininghaus, Hubert Wagner
Memory-Efficient Computation of Persistent Homology for 3D Images using Discrete Morse Theory, Proc. Sibgrpi - Conference On Graphics, Patterns and Images (2011), 10
214.
Hierarchical Estimator, Expert Systems with Applications vol. 38 (2011), 12237–12248
213.
Plane-Filling Properties of Directed Figures, Lecture Notes in Computer Science vol. 6681 (2011), 255-263
212.
211.
Remarks on a normal subgroup of GAn, Communications in Algebra (2011), 1992-1996
210.
Zbiór zadań z teorii języków formalnych i automatów, Wydawnictwo Uniwersytetu Jagiellońskiego, 2011
209.
Wit Foryś, Piotr Oprocha
Infinite traces and symbolic dynamics – minimal shift case, Fundamenta Informaticae vol. 111 (2011), 147 - 161
208.
Wit Foryś, Janusz Matyja
207.
Wit Foryś, J.L.Garcia Guirao, Piotr Oprocha
A dynamical model of parallel computation on bi-infinite time-scale, Journal of Computational and Applied Mathematics vol. 235 (2011), 1826 - 1832
206.
Wit Foryś, Piotr Oprocha, Sławomir Bakalarski
Symbolic Dynamics, Flower Automata and Infinite Traces, Lecture Notes in Computer Science vol. 6482 (2011), 135-142
205.
Maciej Capiński, Piotr Zgliczyński
204.
Maciej Capiński, Piotr Zgliczyński
Transition Tori in the Planar Restricted Elliptic Three Body Problem, Nonlinearity vol. 24 (2011), 1395-1432
203.
Stefan Ratschan , Peter Franek, Piotr Zgliczyński
202.
Paweł Dłotko, Specogna Ruben
201.
Paweł Dłotko, Walter Kropatsch, Hubert Wagner
200.
Paweł Dłotko, Tomasz Kaczynski, Marian Mrozek, Thomas Wanner
Coreduction Homology Algorithm for Regular CW-Complexes, Discrete and Computational Geometry vol. 46 (2011), 361-388
199.
Jacek Śmietański, Ryszard Tadeusiewicz
198.
Tomasz Baron, Marcin Cwynar, Tomasz Grodzicki, Barbara Gryglewska, Marian Mrozek, Mirosław Nęcki, Marcin Żelawski
197.
Krzysztof Chmiel, Adam Roman
COMPAS - a computing package for synchronization, Lecture Notes in Computer Science vol. 6482 (2011), 79-86
196.
195.
NP-completeness of the Road Coloring Problem, Information Processing Letters vol. 111 (2011), 342-347
194.
Risk estimation for hierarchical classifier, Lecture Notes in Artificial Intelligence vol. 6678 (2011), 156-163
193.
Risk function estimation for subproblems in a hierarchical classifier, Pattern Recognition Letters vol. 32(15) (2011), 2136-2142
192.
191.
Jacek Tabor, Józef Tabor, Marek Żołdak
On w-strongly quasiconvex and w-strongly quasiconcave sequences, Aequationes Mathematicae vol. 82 (2011), 255-268
190.
Anna Mureńko, Jacek Tabor, Józef Tabor
Semiconcave functions with power moduli, Journal of Convex Analysis vol. 18 (2011), 391-396
189.
Tomasz Kułaga, Jacek Tabor
Hyperbolic dynamics in graph-directed IFS, Journal of Differential Equations vol. 251 (2011), 3363-3380
188.
Computational hyperbolicity, Discrete and Continuous Dynamical Systems vol. 29 (2011), 1175-1189
187.
Marzena Bielecka, Andrzej Bielecki, Mariusz Korkosz, Marek Skomorowski, Wadim Wojciechowski, Bartosz Zieliński
186.
Robust Nonparametric Regression with Output in SO(3) vol. 95 (Advances in Intelligent and Soft Computing) (2011), "Computer Recognition Systems 4", Springer
185.
C^r-Lohner algorithm, Schedae Informaticae vol. 20 (2011), 9-46
184.
2010
183.
182.
The Usefullness of Textural Features in Prostate Cancer Diagnosis vol. 2 (2010), "Image Processing and Communications Challenges", Springer Verlag (połaczony z Kluwer Academic Publishing)
181.
Marian Jabłoński, A Ozga
180.
Linking Simulation with Formal Verification and Modeling of Wireless Sensor Networks in TLA+, Computer Networks (cn '10), Communication and Information Science, International Conference On Computer Networks (cn '10) vol. 79 (2010), 131 - 140
179.
178.
177.
176.
175.
174.
173.
Tomasz Barszcz, Andrzej Bielecki, Mateusz Wójcik
172.
Andrzej Bielecki, Ryszard Stocki
SYSTEMS THEORY APPROACH TO THE HEALTH CARE ORGANIZATION ON NATIONAL LEVEL, Cybernetics and Systems vol. 41 (2010), 489-507
171.
Public Transport Information System for Visually Impaired and Blind People, 10th Conference, Tst 2010, Transport Systems Telematics, October 2010, Katowice-ustroń, Poland, Communications in Computer and Information Science, Springer (2010), 271-277
170.
Paweł Dłotko, Tomasz Kaczynski, Marian Mrozek
Computing the cubical cohomology ring, Image A, Proceedings of the 3rd International Workshop On Computational Topology in Image Context (2010), 137-142
169.
Paweł Dłotko, Shaun Harker, Mateusz Juda, Konstantin Mischaikov, Marian Mrozek, Vidit Nanda, Hubert Wagner
The efficiency of a homology algorithm based on discrete Morse Theory and Coreductions, Image a Proceedings of the 3rd International Workshop On Computational Topology in Image Context (2010), 41-47
168.
Marian Mrozek, Thomas Wanner
Coreduction homology algorithm for inclusions and persistent homology, Computers and Mathematics with Applications vol. 60.10 (2010), 2812-2833
167.
ˇCech Type Approach to Computing Homology of Maps, Discrete and Computational Geometry vol. 44.3 (2010), 546–576
166.
Homology of representable sets, Annales Polonici Mathematici vol. 97.3 (2010), 243–252
165.
Directed Figure Codes with Weak Equality, Lecture Notes in Computer Science vol. 6283 (2010), 241-249
164.
The irreducibility of symmetric Yagzhev maps, Proceedings of the American Mathematical Society vol. 138 (2010), 2279-2281
163.
162.
Paweł Dłotko, Specogna Ruben, Francesco Trevisan
161.
Paweł Dłotko, Specogna Ruben
Critical analysis of spanning tree techniques, SIAM Journal on Numerical Analysis vol. 48 (2010), 1601-1624
160.
Paweł Dłotko, Specogna Ruben
159.
Tomasz Grodzicki, Barbara Gryglewska, Mirosław Nęcki, Marcin Żelawski
Entropy of skin microcirculation flow in subjects with familial predisposition or newly diagnosed hypertension, Cardiovascular Research vol. 87 (2010), S54-S54
158.
Czy komputer widzi więcej niż człowiek?, Forum Akademickie vol. 2(146) (2010), 50-52
157.
Jacek Śmietański, Ryszard Tadeusiewicz, Elżbieta Łuczyńska x
156.
Jacek Śmietański, Ryszard Tadeusiewicz
155.
Jacek Śmietański, Ryszard Tadeusiewicz
Perfusion CT in Prostate Cancer Diagnostic - Comparative Discussion, Bio-Algorithms and Med-Systems vol. 6(12) (2010), 37-42
154.
Jacek Śmietański, Ryszard Tadeusiewicz
Discriminatory Power of Co-Occurrence Features in Perfusion CT Prostate Images, Machine Graphics and Vision vol. 19(2) (2010), 185-199
153.
Perfusion computed tomography in the prostate cancer diagnosis, Bio-Algorithms and Med-Systems vol. 6(12) (2010), 31-36
152.
151.
Experiments on synchronizing automata, Schedae Informaticae vol. 19 (2010), 35-51
150.
Jacek Tabor, Józef Tabor, Marek Żołdak
Optimality estimations for approximately convex functions, Aequationes Mathematicae vol. 80 (2010), 227-237
149.
Adam Najdecki, Jacek Tabor, Józef Tabor
On conditionally d-convex functions, Acta Mathematica Hungarica vol. 128 (2010), 131-138
148.
Jacek Tabor, Józef Tabor, Marek Żołdak
Approximately convex functions on topological vector spaces, Publicationes Mathematicae vol. 365 (2010), 115-123
147.
Jacek Tabor, Józef Tabor
146.
Andrzej Bielecki, Mariusz Korkosz, Wadim Wojciechowski, Bartosz Zieliński
145.
Leszek Nowak, Bartosz Zieliński
144.
Marzena Bielecka, Andrzej Bielecki, Mariusz Korkosz, Marek Skomorowski, Wadim Wojciechowski, Bartosz Zieliński
143.
142.
2009
141.
The Usefulness of Perfusion Computed Tomography Technology in Detection of Early Prostate Cancer, Proceeding of the 4th International Phd Students and Young Scientits Conference: Young Scientists Towards the Challenges of Modern Technology (2009), 148-156
140.
Marian Jabłoński, A Ozga
139.
Modeling of the Throughput Capacity of Hierarchical Mobile Ad Hoc and Sensor Networks, Computer Networks, International Conference On Computer Networks (2009), 62 - 71
138.
On the Lifetime Maximization Design of Mobile Ad Hoc and Sensor Networks, Computer Networks, International Conference On Computer Networks (2009), 50 - 61
137.
A Novel Multicast Routing Protocol for Mobile Sensor Networks with Topology Control, Computer Networks, International Conference On Computer Networks (2009), 34 - 49
136.
Decision Trees Constructing over Multiple Data Streams, Man-machine Interactions, Proc. of the International Conference On Man-machine Interactions (icmmi '09) (2009), 191 - 199
135.
Jerzy Martyna, G Oryńczak
Type-2 Fuzzy Logic Controller for a Mobile Robot, Studia Informatica vol. 30 (2009), 121 - 129
134.
133.
Jerzy Martyna, W Piątkowska
A Hybrid Classifier Based on SVM Method for Cancer Classification, Studia Informatica vol. 30 (2009), 299 - 307
132.
131.
130.
The Poisson Cluster Process Runs as a Model for the Internet Traffic, Lecture Notes in Computer Science vol. 5764 (2009), 206 - 216
129.
A Diffusion Approximation Analysis of Multilevel Ad Hoc and Sensor Networks, Lecture Notes in Computer Science vol. 5793 (2009), 126 - 137
128.
127.
Damian Kość, Adrian Kośmider, Ewa Matczyńska, Monika Piwowar, Filip Pomarański, Michał Swatowski, Szepieniec Tomasz , Piotr Więcek
126.
Łukasz Flis, Marek Kochańczyk, Maciej Malawski, Ewa Matczyńska, Giovanni Minevrini, Monika Piwowar, Fabio Polticelli, Katarzyna Prymula , Irena Roterman, Kinga Sałapa, Tomasz Szepieniec, Zdzisław Wiśniowski
125.
Hierarchical Classifier with Growing Neural Gas clustering, Lecture Notes in Computer Science vol. 5495 (2009), 283-292
124.
Coreduction homology algorithm, Discrete and Computational Geometry vol. 41 (2009), 96-118
123.
122.
121.
Wit Foryś, Piotr Oprocha
Infinite traces and symbolic dynamics, Theory of Computing Systems vol. 45 (2009), 133 - 149
120.
Covering relations, cone conditions and stable manifold theorem , Journal of Differential Equations vol. 246 (2009), 1774-1819
119.
Li Ming-Chia, Piotr Zgliczyński
On stability of forcing relations for multidimensional perturbations of interval maps, Fundamenta Mathematicae vol. 206 (2009), 241-251
118.
Paweł Dłotko, Specogna Ruben, Francesco Trevisan
117.
Tickets, (2009), "From droshky to metro. The History of City Public Transport in Poland", Quixi Media, Bydgoszcz
116.
Jacek Śmietański, Ryszard Tadeusiewicz
Computational Analysis of Prostate Perfusion Images - a Preliminary Report, Bio-Algorithms and Med-Systems vol. 5(10) (2009), 25-30
115.
Homological Methods in Feature Extraction of Multidimensional Images, Proceedings of the 2009 2nd International Congress On Image and Signal Processing, Ieee (2009), 1061-1066
114.
113.
112.
Genetic Algorithm for Synchronization, Lecture Notes in Computer Science vol. 5457 (2009), 684-695
111.
Synchronizing Finite Automaton with Short Reset Words, Applied Mathematics and Computation vol. 209 (2009), 125-136
110.
A new notion of weakness in classification theory vol. 57 (2009), "Advances in Intelligent and Soft Computing", Springer Verlag (połaczony z Kluwer Academic Publishing)
109.
Decision Version of the Road Coloring Problem is NP-complete, Lecture Notes in Computer Science vol. 5699 (2009), 287-297
108.
Jacek Mrowiec, Jacek Tabor, Józef Tabor
Approximately midconvex functions vol. International Series of Numerical Mathematics 157 (2009), "Inequalities and Applications", Birkhäuser
107.
Anna Mureńko, Jacek Tabor, Józef Tabor
On characterizations of sup-preserving functionals, Acta Mathematica Hungarica vol. 12 (2009), 161-172
106.
Jacek Tabor, Józef Tabor
Takagi functions and approximate midconvexity, Journal of Mathematical Analysis and Applications vol. 356 (2009), 729-737
105.
Jacek Tabor, Józef Tabor
Characterization of convex functions, Studia Mathematica vol. 192 (2009), 29-37
104.
Jacek Tabor, Józef Tabor
Generalized approximate midconvexity, Control and Cybernetics vol. 38 (2009), 655-669
103.
Marzena Bielecka, Marek Skomorowski, Bartosz Zieliński
102.
101.
100.
99.
Rigorous numerics for homoclinic dynamics, the Joint Conference of Ascm 2009 and Macis 2009, Coe Lect. Note, 22, Kyushu Univ. Fac. Math., Fukuoka (2009), 301-305
98.
Jakub Bielawski, Jacek Tabor
An embedding theorem for unbounded convex sets in a Banach space, Demonstratio Mathematica vol. 42(4) (2009), 703-709
97.
2008
96.
The Alexmail - an internet mail system of a new generation vol. II (2008), "Contemporary Aspects of Computer Networks", Wydawnictwa Komunikacji i Łączności
95.
Stability of an alternative functional equation , Journal of Mathematical Analysis and Applications vol. 339.1 (2008), 303-311
94.
On approximation of approximate solutions of Dhombres' equation , Journal of Mathematical Analysis and Applications vol. 340.1 (2008), 424-432
93.
Teresa Crespo, Zbigniew Hajto
Extensions with Galois group 2+S4*D8 in characteristic 3, Comptes Rendus Mathematique vol. 346 (2008), 611-614
92.
Marzena Bielecka, Andrzej Bielecki, Anna Chmielowiec
Input Signals Normalization in Kohonen Neural Networks, Lecture Notes in Computer Science vol. 5097 (2008), 3-10
91.
A system for monitoring and analysis of vehicular traffic, Archives of Transport System Telematics, 2008, 39-41. (2008), 39-41
90.
Hierarchical classifier with overlapping class groups, Expert Systems with Applications vol. 1 (2008), 673-682
89.
Marian Mrozek, Paweł Pilarczyk, Natalia Żelazna
Homology algorithm based on acyclic subspace, Computers and Mathematics with Applications vol. 55 (2008), 2395-2412
88.
How many figure sets are codes?, Lecture Notes in Computer Science vol. 5196 (2008), 385-396
87.
Wit Foryś
On a complete lattice of retracts of a free monoid generated by three elements, Opuscula Mathematica vol. 28 (2008), 123 - 128
86.
Wit Foryś, Adam Roman
Lower bound for the length of synchronizing words in partially-synchronizing automata, Lecture Notes in Computer Science vol. 4910 (2008), 448 - 459
85.
Li Ming-Chia, Lyu Ming-Jiea , Piotr Zgliczyński
84.
Algorithm for intelligent prediction of requests in business systems, Lecture Notes in Computer Science vol. 4910 (2008), 696-707
83.
Compartment model of neuropeptide synaptic transport with impulse control, Biological Cybernetics vol. 99 (2008), 443-458
82.
81.
Stability of isometries in p-Banach spaces, Functiones et Approximatio, Commentarii Mathematici vol. 38 (2008), 109-119
80.
Jacek Tabor, Józef Tabor
Stability of the Cauchy functional equations in metric groupoids, Aequationes Mathematicae vol. 76 (2008), 92-104
79.
Restricted stability and shadowing, Publicationes Mathematicae vol. 73 (2008), 49-58
78.
Segmentacja i selekcja cech jako jeden z podstawowych problemów w rozpoznawaniu obrazów medycznych, Krakowski Rocznik Kognitywistyczny vol. 2 (2008), 93-104
77.
Andrzej Bielecki, Mariusz Korkosz, Bartosz Zieliński
76.
2007
75.
The Euler-Poincare characteristic of index maps, Topology and its Applications vol. 154.4 (2007), 859-866
74.
Asymptotic density of brick and word codes, Ars Combinatoria vol. 83 (2007), 169-177
73.
Defect theorem in the plane,, RAIRO - Theoretical Informatics and Applications vol. 41 (2007), 403-409
72.
On reconstructing algebraic sets and ideals, Annales Polonici Mathematici vol. 91 (2007), 1-10
71.
70.
Tomasz Kapela, Carles Simo
Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight, Nonlinearity vol. 20(5) (2007), 1241-1255
69.
68.
Hiroshi Kokubu, Daniel Wilczak, Piotr Zgliczyński
Rigorous verification of cocoon bifurcations in the Michelson system, Nonlinearity vol. 20 (2007), 2147-2174
67.
2006
66.
65.
64.
63.
Maciej Capiński, Piotr Zgliczyński
Covering Relations and Non-autonomous Perturbations of ODEs, Discrete and Continuous Dynamical Systems vol. 14 (2006), 281-293
62.
Wit Foryś, Tomasz Krawczyk
An algorithmic approach to the problem of a semiretract base, Theoretical Computer Science vol. 369 (2006), 314-322
61.
60.
2005
59.
On the stability of Mikusinski's equation , Publicationes Mathematicae vol. 66.1-2 (2005), 17-24
58.
On the stability of an alternative functional equation , Mathematical Inequalities and Applications vol. 8.4 (2005), 685-691
57.
Wit Foryś, Tomasz Krawczyk
An automaton that recognizes the base of a semiretract, Words 2005, 5-th International Conference On Words (2005), 235-247
56.
Pattern Recognition Based on Homology Theory, Machine Graphics & Vision: International Journal vol. 14, No. 3 (2005), 309-324
55.
54.
53.
52.
51.
Fixed point results based on the Ważewski method, (2005), "Handbook of Topological Fixed Point Theory", Springer Verlag (połaczony z Kluwer Academic Publishing)
2004
50.
Stability of Dhombres' equation , Bulletin of the Australian Mathematical Society vol. 70.3 (2004), 499-505
49.
48.
Decidability of simple brick codes vol. Trends in Mathematics (2004), "Mathematics and Computer Science III (Algorithms, Trees, Combinatorics and Probabilities)", Birkhäuser
47.
46.
marian gidea, Piotr Zgliczyński
Covering relations for multidimensional dynamical systems I, Journal of Differential Equations vol. 202 (2004), 32-58
45.
marian gidea, Piotr Zgliczyński
Covering relations for multidimensional dynamical systems II, Journal of Differential Equations vol. 202 (2004), 59-80
44.
2003
43.
Automatyczne rozpoznawanie białek zawartych w surowicy krwi, Viii Ogólnopolska Konferencja Studenckich Kół Naukowych Akademii Medycznych (2003),
42.
41.
Gianni Arioli, Piotr Zgliczyński
Periodic, homoclinic and heteroclinic orbits for H'{e}non Heiles Hamiltonian near the critical energy level, Nonlinearity vol. vol. 16, No. 5 (2003), 1833-1852
40.
39.
N-BODY choreographies with a reflectional symmetry - computer assisted existence proofs, Equadiff 2003, Proceedings of the International Conference On Differential Equations, Hasselt, Belgium 22 - 26 July 2003 (2003), 999-1005
38.
Wit Foryś, Tomasz Krawczyk
Semiretracts – a counterexample and some results , Theoretical Computer Science vol. 307 (2003), 117-127
37.
36.
35.
The existence of simple choreographies for the N-body problem - a computer assisted proof, Nonlinearity vol. 16(2) (2003), 1899-1918
2002
34.
Bogdan Batko, Zygfryd Kominek, Jacek Tabor
Generalized norms and convexity, Publicationes Mathematicae vol. 60.1-2 (2002), 63-73
33.
Wybrane zagadnienia z teorii rekursji, Wydawnictwo Uniwersytetu Jagiellońskiego, 2002
32.
C^1-Lohner algorithm, Foundations of Computational Mathematics vol. 2 (2002), 429-465
Przejdź do strony: