Logowanie

Języki

  • Polski
  • English

publikacje w roku  

2014

  1. A. Bartkowiak, R. Zimroz, Dimensionality reduction via variables selection: linear and nonlinear approaches with application to vibration-based condition monitoring of planetary gearbox, Applied Acoustics. - Vol. 77 (2014), s. 169-177. (http://dx.doi.org/10.1016/j.apacoust.2013.06.017)
  2. P. Gawrychowski, Ł. Jeż, A. Jeż, Validating the Knuth-Morris-Pratt failure function, fast and online, Theory of Computing Systems. - Vol. 54, iss. 2 (2014), s. 337-372. (http://dx.doi.org/10.1007/s00224-013-9522-8)
  3. A. Jeż, M. Lohrey, Approximation of smallest linear tree grammar, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014) / Ernst W. Mayr, Natacha Portier (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. - (LIPIcs - Leibniz International Proceedings in Informatics ; 25). - S. 445-457. (http://dx.doi.org/10.4230/LIPIcs.STACS.2014.445)
  4. A. Jeż, The complexity of compressed membership problems for finite automata, Theory of Computing Systems. - Vol.55, iss. 4 (2014), s. 685-718. (http://dx.doi.org/10.1007/s00224-013-9443-6)
  5. A. Jeż, Context unification is in PSPACE, Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings. Part II / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias (eds.). - Berlin, Heidelberg : Springer, 2014. - (Lecture Notes in Computer Science ; 8573). - S. 244-255. (http://dx.doi.org/10.1007/978-3-662-43951-7_21)
  6. A. Jeż, V. Diekert, W. Plandowski, Finding all solutions of equations in free groups and monoids with involution, Computer science - theory and applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings / Edward A. Hirsch, Sergei O. Kuznetsov, Jean-Eric Pin, Nikolay K. Vereshchagin (eds.). - Cham : Springer, 2014. - (Lecture Notes in Computer Science ; 8476).- S. 1-15. (http://dx.doi.org/10.1007/978-3-319-06686-8_1)
  7. A. Jeż, A really simple approximation of smallest grammar, Combinatorial Pattern Matching : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings / Alexander S. Kulikov, Sergei O. Kuznetsov, Pavel Pevzner (eds.). - Cham : Springer, 2014. - (Lecture Notes in Computer Science ; 8486).- S. 182-191. (http://dx.doi.org/10.1007/978-3-319-07566-2_19)
  8. T. Gogacz, K. Krupiński, On regular groups and fields, Journal of Symbolic Logic. - Vol. 79, iss. 3 (2014), s. 826-844. (http://dx.doi.org/10.1017/jsl.2013.17)
  9. Z. Płoski, Kontrola wersji z systemem Git: narzędzia i techniki programistów, Jon Loeliger, Matthew McCullough ; [tł. Zdzisław Płoski] Gliwice : Helion, cop. 2014. - 422, [2] s.
  10. A. B. Kwiatkowska, M. M. Sysło, Informatyka w edukacji: informatyka dla wszystkich od najmłodszych lat, Toruń: Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, 2014. - 344, [9] s.
  11. W. Bożejko, M. Karpiński, M. Pacut, M. Wodecki, Multi-GPU parallel memetic algorithm for capacitated vehicle routing problem, Parallel Processing and Applied Mathematics : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part 2 / Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski (eds.). - Berlin : Springer Berlin, 2014. - (Lecture Notes in Computer Science ; 8385).- S. 207-214. (http://dx.doi.org/10.1007/978-3-642-55195-6_19)
  12. P. Woźny, Construction of dual B-spline functions, Journal of Computational and Applied Mathematics. - Vol. 260 (2014), s. 301-311. (http://dx.doi.org/10.1016/j.cam.2013.10.003)
  13. J. Brzozowski, M. Szykuła, Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals, In Developments in Language Theory (DLT 2014), volume 8633 of LNCS, pages 13-24.
  14. J. Brzozowski, M. Szykuła, Large Aperiodic Semigroups, In Implementation and Application of Automata (CIAA 2014), volume 8587 of LNCS, pages 124-135, 2014.
  15. E. Kieroński, A. Kuusisto, Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality, MFCS 2014. Budapest, Hungary, August 26-29, 2014. Proceedings, Part I, LNCS 8634, pp. 365--376. (http://link.springer.com/chapter/10.1007%2F978-3-662-44522-8_31)
  16. W. Charatonik, E. Kieroński, F. Mazowiecki, Decidability of Weak Logics with Deterministic Transitive Closure, CSL-LICS 2014. Vienna, Austria, July 14 - 18, 2014. Proceedings, pp. 29:1--29:10. (http://dl.acm.org/citation.cfm?doid=2603088.2603134)
  17. E. Kieroński, J. Michaliszyn, I. Pratt-Hartmann, L. Tendera, Two-variable First-order Logic with Equivalence Closure, SIAM Journal on Computing, Volume 43, Issue 3, 2014, pp. 1012--1063. (http://epubs.siam.org/doi/abs/10.1137/120900095)
  18. A. Jeż, A. Okhotin, Computational completeness of equations over sets of natural numbers, Information and Computation 237 (2014), 56-94. (http://www.sciencedirect.com/science/article/pii/S0890540114000637)
  19. J. Kowalski, Embedding a Card Game Language into a General Game Playing Language, Frontiers in Artificial Intelligence and Applications Volume 264: STAIRS 2014, 161 - 170. (http://ebooks.iospress.nl/volumearticle/37205)
  20. M. M. Sysło, The First 25 Years of Computers in Education in Poland: 1965-1990, in: A. Tatnall, B. Davey (eds.), History of Comoputers in Education, IFIP AICT 424, Springer-Verlag 2014, 266-290.
  21. A. B. Kwiatkowska, M. M. Sysło, Introducing Students to Recursion: A Multi-facet and Multi-tool Approach, in: Y. Gulbahar, E. Karatas (eds.), ISSEP 2014, LNCS 8730, Springer-Verlag 2014, 124-137.
  22. A. B. Kwiatkowska, M. M. Sysło, Think logarithmically!, in: T. Brinda, N. Reynolds, R. Romeike (eds.), KEYCIT 2014 - Key Competencies in Informatics and ICT, Commentarii informaticae didactisae, 2014, 232-237.
  23. A. B. Kwiatkowska, M. M. Sysło, Learning Mathematics Supported by Computational Thinking, in: G. Futschek, C. Kynigos (eds.), Constructionism and Creativity, Oesterreichische Computer Gesellschaft, Vienna 2014, 258-268.
  24. M. Bieńkowski, J. Byrka, Ł. Jeż, M. Chrobak, D. Nogneng, J. Sgall, Better Approximation Bounds for the Joint Replenishment Problem, Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, 42-54. (http://epubs.siam.org/doi/pdf/10.1137/1.9781611973402.4)
  25. M. Bieńkowski, N. Sarrar, S. Schmid, S. Uhlig, Competitive FIB Aggregation without Update Churn, IEEE 34th International Conference on Distributed Computing Systems, ICDCS 2014, Madrid, Spain, June 30 - July 3, 2014. IEEE 2014 strony 607-616.
  26. M. Bieńkowski, A. Feldmann, J. Grassler, G. Schaffrath, S. Schmid, The Wide-Area Virtual Service Migration Problem: A Competitive Analysis Approach, IEEE/ACM Transactions on Networking, Volume 22, Number 1, February 2014 strony 165-178.
  27. M. Bieńkowski, An Optimal Lower Bound for Buffer Management in Multi-Queue Switches, Algorithmica, Volume 68, Number 1, January 2014 strony 426-447.
  28. T. Gogacz, K. Krupiński, On regular groups and fields, Journal of Symbolic Logic. - Vol. 79, iss. 3 (2014), s. 826-844.
  29. T. Gogacz, M. Bojańczyk, H. Michalewski, M. Skrzypczak, On the decidability of MSO+U on infinite trees, Proceedings - International Colloquium on Automata, Languages, and Programming - 2014, s. 50-61.
  30. T. Gogacz, J. Marcinkowski, All-Instances Termination of Chase is Undecidable, Proceedings - International Colloquium on Automata, Languages, and Programming - 2014, s. 293-304.
  31. T. Gogacz, H. Michalewski, M. Mio, M. Skrzypczak, Measure Properties of Game Tree Languages, Proceedings - Mathematical Foundations of Computer Science - 2014, s. 303-314.
  32. A. Faleńska, A. Björkelund, Ö. Cetinoglu, R. Farkas, T. Mueller, W. Seeker, Z. Szántó, Introducing the IMS-Wrocław-Szeged-CIS entry at the SPMRL 2014 Shared Task: Reranking and Morpho-syntax meet Unlabeled, Proceedings of the First Joint Workshop on Statistical Parsing of Morphologically Rich Languages and Syntactic Analysis of Non-Canonical Languages. (http://www.aclweb.org/anthology/W14-6110)
  33. P. Filipiak, P. Wnuk-Lipiński, E. Brzychczy, R. Zimroz, Artificial Immune Systems for Data Classification in Planetary Gearboxes Condition Monitoring, Advances in Condition Monitoring of Machinery in Non-Stationary Operations, Lecture Notes in Mechanical Engineering, Springer, 2014, pp. 235-247. (http://dx.doi.org/10.1007/978-3-642-39348-8_20)
  34. P. Wnuk-Lipiński, Training Complex Decision Support Systems with Differential Evolution Enhanced by Locally Linear Embedding, Applications of Evolutionary Computation, Lecture Notes in Computer Science, vol. 8602, Springer, 2014, pp. 125-137. (http://dx.doi.org/10.1007/978-3-662-45523-4_11)
  35. A. Brabazon, P. Wnuk-Lipiński, Pattern Mining in Ultra-High Frequency Order Books with Self-Organizing Maps, Applications of Evolutionary Computation, Lecture Notes in Computer Science, vol. 8602, Springer, 2014, pp. 288-298. (http://dx.doi.org/10.1007/978-3-662-45523-4_24)
  36. P. Filipiak, P. Wnuk-Lipiński, Infeasibility Driven Evolutionary Algorithm with Feed-Forward Prediction Strategy for Dynamic Constrained Optimization Problems, Applications of Evolutionary Computation, Lecture Notes in Computer Science, vol. 8602, Springer, 2014, pp. 817-828. (http://dx.doi.org/10.1007/978-3-662-45523-4_66)
  37. P. Wnuk-Lipiński, Optimizing Objective Functions with Non-Linearly Correlated Variables Using Evolution Strategies with Kernel-Based Dimensionality Reduction, Hybrid Artificial Intelligence Systems, Lecture Notes in Computer Science, vol. 8480, 2014, Springer, pp. 342-353. (http://dx.doi.org/10.1007/978-3-319-07617-1_31)
  38. P. Filipiak, K. Michalak, P. Wnuk-Lipiński, Multiobjective Dynamic Constrained Evolutionary Algorithm for Control of a Multi-segment Articulated Manipulator, Intelligent Data Engineering and Automated Learning, Lecture Notes in Computer Science, vol. 8669, 2014, pp. 199-206. (http://dx.doi.org/10.1007/978-3-319-10840-7_25)
  39. P. Filipiak, P. Wnuk-Lipiński, Univariate Marginal Distribution Algorithm with Markov Chain Predictor in Continuous Dynamic Environments, Intelligent Data Engineering and Automated Learning, Lecture Notes in Computer Science, vol. 8669, 2014, pp. 404-411. (http://dx.doi.org/10.1007/978-3-319-10840-7_49)
  40. J. Chorowski, P. Filipiak, K. Michalak, P. Wnuk-Lipiński, A. Łańcucki, Continuous Population-Based Incremental Learning with Mixture Probability Modeling for Dynamic Optimization Problems, Intelligent Data Engineering and Automated Learning, Lecture Notes in Computer Science, vol. 8669, 2014, pp. 457-464. (http://dx.doi.org/10.1007/978-3-319-10840-7_55)
  41. W. Bożejko, Z. Hejducki, M. Uchroński, M. Wodecki, Solving resource-constrained construction scheduling problems with overlaps by metaheuristic, Journal of Civil Engineering and Management, Taylor & Francis, 2014, Volume 20(5), 649-659.
  42. W. Bożejko, Ł. Gniewkowski, J. Pempera, M. Wodecki, Cyclic hybrid flow-shop scheduling problem with machine setups, Procedia Computer Science Volume 29, Elsevier (2014), 2127-2136.
  43. W. Bożejko, P. Rajba, M. Wodecki, Scheduling problem with uncertain parameters in Just in Time system, Lecture Notes in Artificial Intelligence No. 8468, Springer (2014), 456-467.
  44. W. Bożejko, Ł. Gniewkowski, M. Wodecki, Solving timetabling problems on GPU, Lecture Notes in Artificial Intelligence No. 8468, Springer (2014), 445-455.
  45. W. Bożejko, M. Uchroński, M. Wodecki, Multi-GPU Tabu Search Metaheuristic for the Flexible Job Shop Scheduling Problem, Advanced Methods and Applications in Computational Intelligence (R. Klempous, J. Nikodem, Z. Chaczko, eds.), Topics in Intelligent Engineering and Informatics series Vol. 6 (2014), ISBN 978-3-319-01435-7, Springer, 43-60.
  46. W. Bożejko, P. Rajba, M. Wodecki, Stable scheduling with random processing times, Advanced Methods and Applications in Computational Intelligence (R. Klempous, J. Nikodem, Z. Chaczko, eds.), Topics in Intelligent Engineering and Informatics series Vol. 6 (2014), ISBN 978-3-319-01435-7, Springer, 61-77.
  47. W. Bożejko, Z. Hejducki, M. Uchroński, M. Wodecki, Analiza harmonogramów powykonawczych w budownictwie, Innowacje w Zarządzaniu i Inżynierii Produkcji (red. R. Knosala), Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, Opole 2014, 474-483.
  48. W. Bożejko, Ł. Kacprzak, M. Wodecki, Cykliczny problem przepływowy z przezbrojeniami maszyn, Innowacje w Zarządzaniu i Inżynierii Produkcji(red. R. Knosala), Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, Opole 2014, 484-493.
  49. W. Bożejko, Ł. Kacprzak, M. Wodecki, Równoległe algorytmy populacyjne dla trójwymiarowego problemu pakowania, Innowacje w Zarządzaniu i Inżynierii Produkcji (red. R. Knosala), Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, Opole 2014, 494-506.
  50. W. Bożejko, M. Karpiński, M. Pacut, M. Wodecki, Multi-GPU Parallel Memetic Algorithm for Capacitated Vehicle Routing Problem, Lecture Notes in Computer Science No. 8386, Springer (2014), 207-214.
  51. W. Bożejko, Ł. Gniewkowski, M. Wodecki, Równoległy algorytm memetyczny dla problemu układania planu zajęć, Automatyzacja procesów dyskretnych, Teoria i zastosowania (red. A. Świerniak, J. Krystek), Gliwice 2014, ISBN 978-83-62652-67-9, 17-26.
  52. W. Bożejko, M. Wodecki, Problemy cykliczne z równoległymi maszynami, Automatyzacja procesów dyskretnych, Teoria i zastosowania (red. A. Świerniak, J. Krystek), Gliwice 2014, ISBN 978-83-62652-67-9, 27-36.
  53. J. Chorowski, J. Wang, J.M. Zurada, Review and performance comparison of SVM- and ELM-based classifiers, Neurocomputing 128, 507-516. (http://dx.doi.org/10.1016/j.neucom.2013.08.009)
  54. J. Chorowski, J.M. Zurada, Learning Understandable Neural Networks With Nonnegative Weight Constraints, Transactions on Neural Networks and Learning Systems PP, 1-1. (http://dx.doi.org/doi:10.1109/TNNLS.2014.2310059)
  55. S. Dey, U. Maulik, S. Bhattacharyya, I. Saha, Multi-level Thresholding using Quantum Inspired Meta-heuristics, Knowledge-Based Systems, Vol. 67, pp. 373-400, 2014. (http://dx.doi.org/10.1016/j.knosys.2014.04.006)
  56. D. Biernacki, S. Lenglet, Applicative Bisimilarities for Call-by-Name and Call-by-Value Lambda-Mu-Calculus, In Bart Jacobs, Alexandra Silva, and Sam Staton, editors, Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX), pp. 49-64, Ithaca, NY, June 2014. ENTCS 308, 2014. Elsevier. (http://www.sciencedirect.com/science/article/pii/S1571066114000711)
  57. J. Byrka, K. Sornat, PTAS for Minimax Approval Voting, The 10th Conference on Web and Internet Economics, WINE 2014, Pekin, Chiny, Lecture Notes in Computer Science, Vol. 8877 (2014), ISBN 978-3-319-13128-3, Springer, strony 203-217. (http://link.springer.com/chapter/10.1007/978-3-319-13129-0_15)
  58. T. Jurdziński, D. Kowalski, M. Różański, G. Stachowiak, On the Impact of Geometry on Ad Hoc Communication in Wireless Networks, 33rd ACM Symposium on Principles of Distributed Computing, PODC 2014, wydane w Proceedings of the 2014 ACM symposium on Principles of distributed computing, 2014, st. 357-366. (http://dl.acm.org/citation.cfm?doid=2611462.2611487)
  59. J. de Nivelle, Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic, workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL) 2014, edited by Christoph Benzmüller and Jens Otten, pages 71-85, published by VSL Workshop Proceedings.
  60. T. A. Henzinger, J. Otop, Model measuring for hybrid systems, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, ACM, 2014, str. 213-222. (http://dl.acm.org/citation.cfm?doid=2562059.2562130)
  61. J. Otop, T. A. Henzinger, S. Roopsha, Lipschitz Robustness of Finite-state Transducers, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, LIPIcs, 2014, str. 431-443. (http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2014.431)
  62. K. Paluch, Faster and Simpler Approximation of Stable Matchings, Algorithms 2014, 7(2), 189-202. (http://dx.doi.org/10.3390/a7020189)
  63. A. B. Kwiatkowska, M. M. Sysło, Myśl logarytmicznie!, Delta, 12, 2014, 10-13.
  64. A. B. Kwiatkowska, M. M. Sysło, Myślenie komputacyjne. Nowe spojrzenie na kompetencje informatyczne, Informatyka w Edukacji, XI, Wydawnictwo UMK Toruń, 2014, 15-32.
  65. S. Staworko, P. Wieczorek, Characterizing XML Twig Queries with Examples, 18th International Conference on Database Theory (ICDT'15). Leibniz International Proceedings in Informatics Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. (http://www.ii.uni.wroc.pl/~piotrek/paper.php?p=icdt15)
  66. J. Marcinkowski, J. Michaliszyn, The Undecidability of the Logic of Subintervals, Fundamenta Informaticae. 131(2): 217-240, 2014. (http://dx.doi.org/10.3233/FI-2014-1011)
  67. J. de Nivelle, Theorem Proving for Classical Logic with Partial Functions by Reduction to Kleene Logic, Journal of Logic and Computation, Oxford University Press, 2014.
  68. K. Paluch, Popular and clan-popular b-matchings, Theoretical Computer Science 544: 3-13 (2014). (http://dx.doi.org/10.1016/j.tcs.2014.04.017)
Adres:
Instytut Informatyki
Uniwersytetu Wroclawskiego
ul. Joliot-Curie 15
50-383 Wroclaw
Sekretariat
tel.: 71 375 7800
tel.: 71 325 1271
fax: 71 375 7801
sekretariat@ii.uni.wroc.pl
Dziekanat
tel.: 71 375 7892
dziekan@ii.uni.wroc.pl
sprawy studenckie:
dziekanat@ii.uni.wroc.pl
Portiernia
tel.: 71 375 7958
Redaktor strony WWW
redaktor@ii.uni.wroc.pl
Projekt
MAKOS