Instytut Informatyki i Matematyki Komputerowej - lista publikacji
Nadjednostka:
Podjednostki:
801-921 z 921.
2009
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
31.
30.
Iterative functional equations in the class of Lipschitz functions, Aequationes Mathematicae vol. 64, no. 1-2 (2002), 24-33
29.
2001
28.
Konstantin Mischaikov, Piotr Zgliczyński
27.
26.
2000
25.
An alternative Cauchy equation almost everywhere, Roczniki Naukowo-dydaktyczne Ap. W Krakowie vol. 204 (2000), 41-48
24.
23.
22.
21.
How to show an existence of homoclinic trajectories using topological tools?, (2000), " International Conference on Differential Equations, Vol. 1, 2 (Berlin, 1999),", World Scientific Publishing
20.
On existence of infinitely many homoclinic solutions, Monatshefte für Mathematik vol. 130 (2000), 155-160
19.
Marian Mrozek, James F. Reineck, Roman Srzednicki, J.F.Reineck
The Conley index over the circle, J. DYNAM. DIFFERENTIAL EQUATIONS 12 (2000), no. 2, 385--409
18.
Marian Mrozek, James F. Reineck, Roman Srzednicki
The Conley index over a base, Transactions of the American Mathematical Society vol. 352 (2000), 4171-4194
1999
17.
Stability of an alternative Cauchy equation on a restricted, Aequationes Mathematicae vol. 57 (1999), 221-232
16.
15.
Brick Codes, (1999), "Algebraic Engineering: Proceedings of the First International Conference on Semigroups and Algebraic Engineering", World Scientific Publishing
14.
Hermite multivariate interpolation as a limit of Lagrange interpolation, Universitatis Iagellonicae Acta Mathematica vol. 37 (1999), 127–137
1998
13.
Tomasz Kaczynski, Marian Mrozek, Maciej Ślusarek
Homology Computation by Reduction of Chain Complexes, Computers and Mathematics with Applications vol. 35 (1998), 59-70
12.
Andrzej Szymczak , Klaudiusz Wójcik, Piotr Zgliczyński
On the discrete Conley index in the invariant subspace, Topology and its Applications vol. 87 (1998), 105-115
11.
Semi-hyperbolicity implies hyperbolicity in the linear case, Universitatis Iagellonicae Acta Mathematica vol. 36 (1998), 121-126
1997
10.
Jan Małolepszy, Małgorzata Moczurad, Marek Zaionc
Schwichtenberg style lambda definability is undecidable, Lecture Notes in Computer Science vol. 1210 (1997), 267-283
1996
9.
On reconstruction of polynomial automorphisms, Annales Polonici Mathematici vol. 64 (1996), 61-69
1995
8.
Janusz Jurek, Włodzimierz Moczurad
Graph Grammar Based Allocator Module: New Approaches, Schedae Informaticae vol. VI (1995), 97-109
7.
1994
6.
Theoretical and Practical Aspects of Inverse Problems for Nonlinear Filtration Process vol. CRC/Balkema (1994), "Inverse Problems in Engineering Mechanics", CRC Press (gałąź Taylor & Francis Group)
1993
5.
On time-duality of the Conley index, RESULTS MATH. 24 (1993), no. 1-2, 161--167
1992
4.
Lambda-Representability of Integer, Word and Tree Functions, Fundamenta Informaticae vol. 17/3 (1992), 253-270
3.
Janusz Jurek, Leszek Kotulski, Włodzimierz Moczurad
Object-Oriented Programming in the Large Using Group Concept, (1992), "Proceedings CompEuro ’92", Institute of Electrical and Electronics Engineers (IEEE)
1988
2.
The continuity axiom in multi-valued dynamical systems, RIV. MAT. PURA APPL. no. 3 (1988), 87--97 (1989)
1984
1.
A computer model of evolution and ecological processes, Modeling, Simulation & Control C (1984), 59-63
Przejdź do strony: