Search Results - computer program based data processing.

Get full text

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Table of Contents: “...Tweet-related emotion on recovery from work -- Winning of Hearts and Minds: Integrating Sentiment Analytics into the Analysis of Contradictions -- Analyzing Customer Engagement using Twitter Analytics: A case of Uber Taxi Services -- Aggressive Social Media Post Detection System containing Symbolic Images -- Digital Payment Adoption in India: Insights from Twitter Analytics -- Digital Governance -- Adoption of Transactional Service in Electronic Government A case of Pak-Identity Service -- Governments Perspective on Engaging Citizens in the Co-Creation of E-Government Services: A Meta-Synthesis of Qualitative Case Studies -- Considering Blockchain Technology for Enabling Transparent and Traceable Government Collaboration in Public Project Processes of Developing Economies -- Aspects of Personal Data Protection: State and Citizen Perspective - Case Study of Georgia -- Prioritizing Digital Identity Goals { The case study of Aadhaar in India -- Digital divide and social inclusion -- Digital inequalities in the digitalization era: a review of contributing factors and measures for crossing the divide -- A review of the state-of-the-art of assistive technology for people with ASD in the workplace and in everyday life -- Understanding the value of using smartphones for older adults in China: a value-focused thinking approach -- Adoption and Use of Tablet Devices by Older Adults: A Quantitative Study -- Reciprocity and Social Exchange in the Sharing Economy -- Learning and Education -- Technology-Enhanced Organizational Learning: A Systematic Literature Review -- E-assessment in programming courses: Towards a digital ecosystem supporting diverse needs -- Reflection on how to write the learning outcomes for an online programming course for teachers -- Autonomous and collaborative e-learning in English for Specific Purposes -- User Experience Evaluation in eModeration: the case of Higher Education Institutions in Developing Countries -- Computational linguistics and its implementation in e-Learning platforms -- ICT-based challenges of repurposing a single-campus course to multi-campus settings: a pragmatic case study -- From theory to practice: Teaching Assistants role in Multi-campus courses -- Security in Digital Environments -- Role of Human Factors and Cyber Security: Demographic Analysis -- Identifying security risks of digital transformation - an engineering perspective -- Modelling and Managing the Digital Enterprise -- Creating Business Value from Cloud-based ERP Systems in Small and Medium-Sized Enterprises -- Critical success factors for dynamic enterprise risk management in responsive organisations: a factor analysis approach -- Structural Requirements for Digital Transformation Insights from German Enterprises -- Chief Digital Officers as Protagonists in Digital Transformation -- A Role-based Maturity Model for Digital Relevance -- Digital Innovation and Business Transformation -- Prioritising knowledge transfer conditions for innovation ecosystems: a mixed-method approach -- Design Thinking for Digital Disruption -- A Taxonomy for Personal Processes: Results from A Semi-Structured Interview -- Online Communities -- Learning to Lead Online Collaborations: Insights from Student-based Global Virtual Teams between UK and Norway -- Fighting crime: Harnessing the power of virtual social communities....”
Connect to the full text of this electronic book

Connect to the full text of this electronic book

Link to OAKTrust copy
ProQuest, Abstract

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Table of Contents: “...-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants....”
Connect to the full text of this electronic book

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Link to ProQuest copy
Link to OAKTrust copy

Get full text

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Connect to the full text of this electronic book