Search Results

1 - 10 of 156 items :

  • Computer Sciences, other x
Clear All
Internal quality evolution of a large test system – an industrial study

Software Evolution, IWPSE’01, pages 1-16, New York, NY, USA, 2001, ACM. ⇒219, 235 [16] 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 [17] 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 [18] I. Macia, J. Garcia, D

Open access
Providing Research Data Management (RDM) Services in Libraries: Preparedness, Roles, Challenges, and Training for RDM Practice

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

Open access
Modular strategic SMT solving with SMT-RAT

Abstract

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.

Open access
Jet browser model accelerated by GPUs

. Sjöstrand, S. Mrenna, P. Skands, A brief introduction to PYTHIA 8.1, Com­puter Physics Communications 178, 11 (2008) 852-867. ⇒ 172 [9] Gy. Vesztergombi, Reflections about EXChALIBUR, the Exclusive 4π Detector, Conf. ’’New Opportunities in the Physics Landscape at CERN”, 2009. ⇒174 [10] CUDA C Programming Guide, NVIDIA Corp., 2016. ⇒172, 175, 177 [11] GEANT Detector Description and Simulation Tool, CERN Program Library Long Writeup, Geneva, 1993. ⇒ 172|

Open access
A unified approach of program verification
Dedicated to the memory of Antal Iványi

References [1] K. R. Apt, E.-R. Olderog, Verification of Sequential and Concurrent Program, Springer-Verlag, 1997. )67 [2] E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Clifis, New York, 1976. )65, 68, 73 [3] Á. Fóthi, Mathematical Approach to Programming, Ann. Univ. Sci. Budapest. Sect. Comput. 9 (1988) 105–114. )65, 68 [4] Á. Fóthi et al, Some concepts of a Relational Model of Programming, Proc. 4th Symposium on Programming Language and Software Tools, Visegrfiad

Open access
Simple scalable nucleotic FPGA based short read aligner for exhaustive search of substitution errors

References [1] L. B. Alexandrov, Serena Nik-Zainal, et al., Signatures of mutational processes in human cancer, Nature 500 (7463) (2013) 415-421. ⇒152 [2] 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 [3] 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

Open access
Sapiness–sentiment analyser

. Jacot, Sentiment analysis of french movie reviews, Advances in Distributed Agent-Based Retrieval Tools , Vol. 361, 2011, pp 97–108. ⇒188 [7] 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 [8] 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

Open access
Test software quality issues and connections to international standards

. Matsumoto, Software quality analysis by code clones in industrial legacy software, Symposium on Software Metrics, 2002, pp. 87-94. →94 [22] 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 [23] 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

Open access
Fruit recognition from images using deep learning

, Commun. Pure Appl. Math . 42 (1989) 577-685. ⇒29 [13] 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 [14] 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 [15] M, Rahnemoonfar, C. Sheppard, Deep count

Open access
Validation of Sensor-Based Game Analysis Tools in Tennis

Abstract

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.

Open access