| ||
51. | The R Package bgmm: Mixture Modeling with Uncertain Knowledge
JOURNAL OF STATISTICAL SOFTWARE Tom 47 Nr 3 r. 2012, str. 1-31 (Artykuł) Przemysław Biecek, Martin Vingrom, Ewa Szczurek, Jerzy Tiuryn | |
52. | The Topological Complexity of MSO+U and Related Automata Models
FUNDAMENTA INFORMATICAE Tom 119 Nr 1 r. 2012, str. 87-111 (Artykuł) Szczepan Hummel, Michał Skrzypczak | |
53. | The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types
INFORMATION AND COMPUTATION Tom 218 r. 2012, str. 69-87 (Artykuł) Ken-etsu Fujita, Aleksy Schubert | |
54. | Time coordination of heterogeneous distance protections using a domain specific language
E-INFORMATICA Tom 6 Nr 1 r. 2012, str. 7-26 (Artykuł) Marcin Kowalski, Jan Magott | |
55. | Towards optimal sorting of 16 elements
ACTA UNIVERSITATIS SAPIENTIAE, INFORMATICA Tom 4 Nr 2 r. 2012, str. 215-224 (Artykuł) Marcin Peczarski | |
56. | Update Propagator for Joint Scalable Storage
FUNDAMENTA INFORMATICAE Tom 119 Nr 3-4 r. 2012, str. 337-355 (Artykuł) Krzysztof Stencel, Paweł Leszczyński | |
57. | Weak Alternating Timed Automata
LOGICAL METHODS IN COMPUTER SCIENCE Tom 8 Nr 3 r. 2012, str. 1-27 (Artykuł) Paweł Parys, Igor Walukiewicz | |
58. | Wreath Products of Forest Algebras, with Applications to Tree Logics
LOGICAL METHODS IN COMPUTER SCIENCE Tom 8 Nr 3 r. 2012, str. 1-39 (Artykuł) Mikołaj Bojańczyk, Howard Straubing, Igor Walukiewicz | |
59. | 35/44-approximation for Asymmetric Maximum TSP with Triangle Inequality
ALGORITHMICA Tom 59 Nr 2 r. 2011, str. 240-255 (Artykuł) Łukasz Kowalik, Marcin Mucha | |
60. | A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 6922 r. 2011, str. 572-581 (Artykuł konferencyjny) Anh Linh Nguyen | |
61. | A decidable characterization of locally testable tree languages
LOGICAL METHODS IN COMPUTER SCIENCE Tom 7 Nr 4 r. 2011, str. (Artykuł) Thomas Place, Luc Segoufin | |
62. | A Dozen Instructions Make Java Bytecode
Electronic Notes in Theoretical Computer Science Tom 264 r. 2011, str. 19-34 (Artykuł) Patryk Czarnik, Jacek Chrząszcz, Aleksy Schubert | |
63. | A linear time algorithm for error-corrected reconciliation of unrooted gene trees
LECTURE NOTES IN COMPUTER SCIENCE Tom 6674 r. 2011, str. 148-159 (Artykuł konferencyjny) Paweł Górecki, Oliver Eulenstein | |
64. | A Numerical Toolbox to Solve N-Player Affine LQ Open-Loop Differential Games
COMPUTATIONAL ECONOMICS Tom 37 Nr 4 r. 2011, str. 375-410 (Artykuł) J. Engwerda, Tomasz Michalak, J. Plasmans | |
65. | A stable density approach to probe selection for a custom aCGH design
BIOTECHNOLOGIA. JOURNAL OF BIOTECHNOLOGY, COMPUTATIONAL BIOLOGY AND BIONANOTECHNOLOGY Tom 92 Nr 3 r. 2011, str. 283-295 (Artykuł) Anna Gambin, Tomasz Gambin, Paweł Stankiewicz | |
66. | Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks via a web interface
BMC BIOINFORMATICS Tom 12 r. 2011, str. 196-196 (Artykuł) Jacek Sroka, Łukasz Bieniasz-Krzywiec, Szymon Gwozdz, Dariusz Leniowski, Jakub Łącki, Mateusz Markowski, Claudio Avignone-Rossa, Michael Bushell, Johnjoe McFadden, Andrzej Kierzek | |
67. | Applications of approximate reducts to the feature selection problem
LECTURE NOTES IN COMPUTER SCIENCE Tom 6954 r. 2011, str. 45-50 (Artykuł) Andrzej Janusz, Sebastian Stawicki | |
68. | Approximation Algorithms for the Multiorganization Scheduling Problem
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS Tom 22 Nr 11 r. 2011, str. 1888-1895 (Artykuł) Pierre-François Dutot, Fanny Pascual, Krzysztof Rządca, Denis Trystram | |
69. | Approximation of RNA multiple structural alignment
JOURNAL OF DISCRETE ALGORITHMS Tom 9 Nr 4 r. 2011, str. 365-376 (Artykuł) Marcin Kubica, Romeo Rizzi, Stephane Vialette, Tomasz Waleń | |
70. | Bi-Billboard: Symmetrization and Careful Choice of Informant Species Results in Higher Accuracy of Regulatory Element Prediction
JOURNAL OF COMPUTATIONAL BIOLOGY Tom 18 Nr 6 r. 2011, str. 809-819 (Artykuł) Przemysław Biecek, Norbert Dojer, Jerzy Tiuryn | |
71. | Bialgebras for structural operational semantics: an introduction
THEORETICAL COMPUTER SCIENCE Tom 412 Nr 38 r. 2011, str. 5043-5069 (Artykuł) Bartosz Klin | |
72. | Breaking the 2n-barrier for Irredundance: Two lines of attack
JOURNAL OF DISCRETE ALGORITHMS Tom 9 Nr 3 r. 2011, str. 214-230 (Artykuł) Daniel Binkele-Raible, Ljiljana Brankovic, Marek Cygan, Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Marcin Pilipczuk, Peter Rossmanith, Jakub Wojtaszczyk | |
73. | CalcTav - Integration of a Spreadsheet and Taverna Workbench
BIOINFORMATICS Tom 27 Nr 18 r. 2011, str. 2618-2619 (Artykuł) Jacek Sroka, Łukasz Krupa, Andrzej Kierzek, Jerzy Tyszkiewicz | |
74. | CAMBer: an approach to support comparative analysis of multiple bacterial strains
BMC GENOMICS Tom 12 Nr 2 r. 2011, str. 6-6 (Artykuł) Michał Woźniak, L. Wong, Jerzy Tiuryn | |
75. | CAMBerVis: visualization software to support comparative analysis of multiple bacterial strains
BIOINFORMATICS Tom 27 Nr 23 r. 2011, str. 3313-3314 (Artykuł) Michał Woźniak, L. Wong, Jerzy Tiuryn |