Software Evolution, IWPSE’01, pages 1-16, New York, NY, USA, 2001, ACM. ⇒219, 235
 M. M. Lehman, J. F. Ramil, Rules and tools for software evolution planning and management, Ann. Softw. Eng., 11, I (2001) 15-44.⇒219, 233, 234, 235
 M. M. Lehman, J. F. Ramil, D. E. Perry, On evidence supporting the feast hypothesis and the laws of software evolution, Proc. 5th International Symposium on Software Metrics, METRICS ’98, pp. 84 -, Washington, DC, USA, 1998. IEEE Computer Society. ⇒ 220, 235
 I. Macia, J. Garcia, D
services, and the current RDM services and tools provided, we conducted an international survey involving RDM service librarians around the world who worked in a variety of organizational types. We also probed into the knowledge and skills that respondents deem crucial for RDM services, as well as their vision for RDM roles in the future. Our primary research questions (RQs) were as follows:
RQ1. What is the state of current practice of RDM services in libraries?
RQ2. What current role do librarians play in providing RDM services?
RQ3. What specific knowledge and
In this paper we present the latest developments in SMT-RAT, a tool for the automated check of quantifier-free real and integer arithmetic formulas for satisfiability. As a distinguishing feature, SMT-RAT provides a set of solving modules and supports their strategic combination. We describe our CArL library for arithmetic computations, the available modules implemented on top of CArL, and how modules can be combined to satisfiability-modulo-theories (SMT) solvers. Besides the traditional SMT approach, some new modules support also the recently proposed and highly promising model-constructing satisfiability calculus approach.
. Sjöstrand, S. Mrenna, P. Skands, A brief introduction to PYTHIA 8.1, Computer Physics Communications 178, 11 (2008) 852-867. ⇒ 172
 Gy. Vesztergombi, Reflections about EXChALIBUR, the Exclusive 4π Detector, Conf. ’’New Opportunities in the Physics Landscape at CERN”, 2009. ⇒174
 CUDA C Programming Guide, NVIDIA Corp., 2016. ⇒172, 175, 177
 GEANT Detector Description and Simulation Tool, CERN Program Library Long Writeup, Geneva, 1993. ⇒ 172|
 K. R. Apt, E.-R. Olderog, Verification of Sequential and Concurrent Program, Springer-Verlag, 1997. )67
 E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Clifis, New York, 1976. )65, 68, 73
 Á. Fóthi, Mathematical Approach to Programming, Ann. Univ. Sci. Budapest. Sect. Comput. 9 (1988) 105–114. )65, 68
 Á. Fóthi et al, Some concepts of a Relational Model of Programming, Proc. 4th Symposium on Programming Language and Software Tools, Visegrfiad
Péter Fehér, Ágnes Fülöp, Gergely Debreczeni, Máté Nagy-Egri and György Vesztergombi
 L. B. Alexandrov, Serena Nik-Zainal, et al., Signatures of mutational processes in human cancer, Nature 500 (7463) (2013) 415-421. ⇒152
 J. Arram, K. H. Tsoi, Wayne Luk, P. Jiang, Hardware Acceleration of Genetic Sequence, Chapter: Reconfigurable Computing: Architectures, Tools and Applications, Lecture Notes in Comp. Sci. , 7806 13–24. ⇒173
 K. Benkrid, Liu Ying, A. Benkrid, A highly parameterized and efficient FPGA-based skeleton for pairwise biological sequence alignment, very large scale integration (VLSI) systems
Katalin Tünde Jánosi-Rancz, Zoltán Kátai and Roland Bogosi
. Jacot, Sentiment analysis of french movie reviews, Advances in Distributed Agent-Based Retrieval Tools , Vol. 361, 2011, pp 97–108. ⇒188
 L. A. Freitas, R. Vieira, Ontology based feature level opinion mining for portuguese reviews, Proc. WWW ’13 Companion Proceedings of the 22nd International Conference on World Wide Web , Rio de Janeiro, May 13–17, 2013, pp. 367–370. ⇒188
 V. Hangya, R. Farkas, G. Berend, Entitásorientált véleménydetekció webes híranyagokból, In: Tanács, A., Varga V., Vincze V. (eds.) XI. Magyar Számítógépes Nyelvészeti
. Matsumoto, Software quality analysis by code clones in industrial legacy software, Symposium on Software Metrics, 2002, pp. 87-94. →94
 H. Neukirchen, B. Zeiss, J. Grabovszki, An approach to quality engineering of TTCN-3 test specifications, International Journal on Software Tools for Technology Transfer (STTT), 10, 4 (2008) 309-326. →85
 H. Neukirchen, M. Bisanz, Utilising code smells to detect quality problems in TTCN-3 test suites, Proc 19th IFIP International Conference on Testing of Communicating Systems and 7th International
, Commun. Pure Appl. Math . 42 (1989) 577-685. ⇒29
 P. Ninawe, S. Pandey, A completion on fruit recognition system using k -nearest neighbors algorithm, International Journal of Advanced Research in Computer Engineering & Technology (IJARCET) 3, 7 (2014) 2352–2356. ⇒29
 S. Puttemans, Y. Vanbrabant, L. Tits, T. Goedem, Automated visual fruit detection for harvest estimation and robotic harvesting, Sixth International Conference on Image Processing Theory, Tools and Applications , 2016. ⇒29
 M, Rahnemoonfar, C. Sheppard, Deep count
A. Edelmann-Nusser, A. Raschke, A. Bentz, S. Montenbruck, J. Edelmann-Nusser and M. Lames
Three inertial measurement unit (IMU) based tennis sensor systems from BABOLAT (PURE DRIVE PLAY, POP) and HEAD (Tennis Sensor) and a camera-based system (PlaySight) were tested with respect to the question whether the information about the number of strokes by swing type and spin type in training exercises and/or matches and the average as well as the maximum speed of the service per session are reliable. Subsequently, the question whether the mechanical properties of the BABOLAT PURE DRIVE PLAY racket are the same as the mechanical properties of the BABOLAT PURE DRIVE racket without IMU was addressed.
For swing types in standard exercises the results are acceptable for forehand groundstrokes, backhand groundstrokes and services but not for volleys. In a match environment we find inacceptably high errors (>10%) for the number of strokes for forehand and completely inacceptable levels for volley. The wrist-based IMU of BABOLAT POP has not reached an acceptable accuracy at all. For spin types the results are acceptable. The large variances in service speed assessment between devices make it doubtful whether any of them may be used for the control of training processes aiming at increasing the average service speed The mechanical properties of the BABOLAT rackets with and without IMU are quite the same.