198 results on '"Murawski A"'
Search Results
2. Contextual Equivalence for State and Control via Nested Data.
3. Operational Algorithmic Game Semantics.
4. Remote Working from a Management Perspective.
5. Probabilistic Verification Beyond Context-Freeness.
6. The Impact of Machine Learning-Based Techniques on the Scouting and Screening Processes of Early-Stage Venture Capital Firms.
7. Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach.
8. Leafy automata for higher-order concurrency.
9. Blockchain Application in Luxury Brand Strategy: What Does Blockchain Technology Mean to Luxury Brands?
10. Towards a New Value Chain for the Audio Industry.
11. Verifying higher-order concurrency with data automata.
12. Compositional relational reasoning via operational game semantics.
13. Cash is King, Isn't It? Payment Preferences and Switching Intentions of German Customers.
14. Improved Propagation Modeling for Non-Terrestrial Networks.
15. Complete trace models of state and control.
16. Is Hardness Inherent in Computational Problems? Performance of Human and Electronic Computers on Random Instances of the 0-1 Knapsack Problem.
17. How to Measure Digitalization? A Critical Evaluation of Digital Maturity Models.
18. Happiness and Big Data - Theoretical Foundation and Empirical Insights for Africa.
19. Exploring Digital Competence Requirements for Junior Financial Analysts in the UK Banking Industry.
20. The Big-O Problem for Labelled Markov Chains and Weighted Automata.
21. Digitale Kompetenzen - Welche Anforderungen stellt die Digitalisierung an Wissensarbeiter und Unternehmen?
22. Social Media Information Literacy - What Does It Mean and How Can We Measure It?
23. Big Data Readiness Index - Africa in the Age of Analytics.
24. Structural Requirements for Digital Transformation - Insights from German Enterprises.
25. Asymmetric Distances for Approximate Differential Privacy.
26. On the Expressivity of Linear Recursion Schemes.
27. DEQ: Equivalence Checker for Deterministic Register Automata.
28. Text Analysis Using Large High-Resolution Displays.
29. Computational cognitive requirements of random decision problems.
30. NLATool: an Application for Enhanced Deep Text Understanding.
31. New Approach to Accuracy Measurement of the Membrane Shape Mapping of the Heart Assist Pump.
32. ECG signal coding methods in digital systems.
33. Study of the Influence of a Light Source on the Result of the Reconstruction of the Flaccid Membrane of an Artificial Heart.
34. Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata.
35. Bisimilarity Distances for Approximate Differential Privacy.
36. Determining the stroke volume of the artificial ventricle using the numerical integration method.
37. Should We Disable the Comment Function on Social Media? The Impact of Negative eWOM on Consumers' Trust in Fashion Presentations.
38. Higher-Order Linearisability.
39. Improvement of accuracy of the membrane shape mapping of the artificial ventricle by eliminating optical distortion.
40. ML and Extended Branching VASS.
41. Optical Driving for a Computer System with Augmented Reality Features.
42. The membrane shape mapping of the artificial ventricle in the actual dimensions.
43. Comparing the required competencies of sales professionals servicing digital and physical channels of sale: a case study of a German children's entertainment company.
44. Contextual Approximation and Higher-Order Procedures.
45. The Role of Non-social Benefits Related to Convenience: Towards an Enhanced Model of User's Self-disclosure in Social Networks.
46. Estimation of the blood volume in pneumatically controlled ventricular assist device by vision sensor and image processing technique.
47. Studying the influence of object size on the range of distance measurement in the new Depth From Defocus method.
48. How Digital Business Strategy Affects Profitability: Opening the 'Black Box' of Performance.
49. Computer Aided Implementation of Logistics Processes - Selected Aspects.
50. Fragments of ML Decidable by Nested Data Class Memory Automata.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.