Search Results - computer program (basic OR based) data processing.

Refine Results
  1. 2261
    by Gyncild, Brie, Fridsma, Lisa
    Published 2024
    Book
  2. 2262
    Published 2019
    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
    eBook
  3. 2263
  4. 2264
  5. 2265
  6. 2266
    Published 2021
    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
    eBook
  7. 2267
  8. 2268
  9. 2269
  10. 2270
    by Best, Eike
    Published 2001
    Connect to the full text of this electronic book
    eBook
  11. 2271
  12. 2272
  13. 2273
  14. 2274
  15. 2275
  16. 2276
  17. 2277
    Published 2006
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  18. 2278
  19. 2279
  20. 2280
    by Knapp, Beverly C.
    Published 1986
    Get full text
    Government Document eBook