Search

Your search keyword '"004"' showing total 6,416 results

Search Constraints

Start Over You searched for: Descriptor "004" Remove constraint Descriptor: "004"
6,416 results on '"004"'

Search Results

3. Human Robot Interactions using Efficient Semantic Mapping

5. Abstractions for portable data management in heterogeneous memory systems

6. Towards larger scale collective operations in the Message Passing Interface

7. The dynamics of data donation : privacy risk, mobility data, and the smart city

8. Free and open hardware : a critical and thematic analysis of free and open hardware communities RepRap and Arduino

9. A formal approach for the analysis of the security of socio-technical systems

10. Features correlation-based workflows for high-performance computing systems diagnosis

11. CALF - Categorical Automata Learning Framework

12. How to compare uncertain data types : towards robust similarity measures

13. On operations with binders and operations with equations

14. Addressing variability in reuse prediction for last-level caches

15. Compositional Taylor model based validated integration

16. Public engagement technology for bioacoustic citizen science

17. From constraint programming to heterogeneous parallelism

18. Exploiting structure in nonconvex quadratic optimisation

19. Evaluation, compression and application of vibrotactile data

21. A parallel boundary conforming method on adaptive moving meshes for multiphase flows

22. Visualisation support for biological Bayesian network inference

23. A formal agent-based personalised mobile system to support emergency response

24. Handling imbalanced classes : feature based variance ranking techniques for classification

25. Scalable interconnect strategies for neuro-glia networks using Networks-on-Chip

26. Fuzzy interpolation systems with knowledge extraction and adaptation

27. Computational methods toward early detection of neuronal deterioration

28. An investigation into alternative methods for the simulation and analysis of growth models

29. Dynamic networks for robotic control and behaviour selection in interactive environments

30. Transformation of cryptographic primitives : provable security and proof presentation

31. Securing DICOM images through automatic selective encryption

32. Specification and verification of network algorithms using temporal logic

33. Semi-automatic assessment of basic SQL statements

34. Self-efficacy sources and outcome expectations of researchers for sharing knowledge via social media

35. Public library digital services : emergent issues of access and acceptable use

36. Closing the gap between guidance and practice : an investigation of the relevance of design guidance to practitioners using object-oriented technologies

37. From sentiment analysis to choreography of emotions : social media analysis for improved customer relationship management (CRM) in the Omani telecom sector

38. Modelling and evaluation of microservice granularity adaptation decisions

39. Learning to cope with small noisy data in software effort estimation

40. Classification task-driven efficient feature extraction from tensor data

41. Managing time budgets shared between planning and execution

42. Approximate optimal control model for visual search tasks

43. A systematic development of a secure architecture for the European Rail Traffic Management System

44. Continuous evaluation framework for software architectures : an IoT case

45. Statistical inference for periodic and partially observable Poisson processes

46. Technical debt-aware elasticity management in cloud computing environments

47. A distributed rule-based expert system for large event stream processing

48. Women's representation and experiences in the high performance computing community

49. Colour and texture image analysis in a Local Binary Pattern framework

50. Interactive molecular docking with haptics and advanced graphics

Catalog

Books, media, physical & digital resources