1. //
  2. Start
  3. //
  4. Journals
  5. //
  6. Journal of Logic and Computation
  7. //

Journal of Logic and Computation, ‎0955-792X

Journal

Recently viewed

Activities

  1. Coherent sets in nonautonomous dynamics
  2. Understanding Corruptive Behaviour by Means of Experiments
  3. Sino-German Summer School on Design and data analysis of biodiversity-ecosystem functioning experiments 2011
  4. Performing Contracts: BDSM, Performance Art and Aesthetics of Complexity
  5. Thematic and Task-Based Categorization of K-12 GenAI Usages with Hierarchical Topic Modeling
  6. Is a better understanding of assembly a way to help reassemble communities for restoration?
  7. A shift of mindset? Rethinking our (learning) objectives
  8. Employer Longevity Readiness Index Workshop: Session 2: How do you build a longevity readiness Index?
  9. Trajectory-based Lagrangian approaches for the extraction and characterization of coherent structures in turbulent convection
  10. Digital, open and collaborative: New teaching formats for times of crisis – and beyond?
  11. Workshop on Family Migration Processes in a Comparative Perspective - 2018
  12. 27th International Conference on System Theory, Control and Computing - ICSTCC 2023
  13. Blogs in the Foreign Language Classroom
  14. Development and Validation of the Later Life Workplace Index for Successful Management of an Aging Workforce

Publications

  1. Training effects of two different unstable shoe constructions on postural control in static and dynamic testing situations
  2. Selecting and Adapting Methods for Analysis and Design in Value-Sensitive Digital Social Innovation Projects: Toward Design Principles
  3. Volume of Imbalance Container Prediction using Kalman Filter and Long Short-Term Memory
  4. Intentionality
  5. Comparison of Odor Thresholds obtained by a Three Alternative Choice Procedure and by the Method of Limits
  6. How does Enterprise Architecture support the Design and Realization of Data-Driven Business Models?
  7. Introducing parametric uncertainty into a nonlinear friction model
  8. The Influence of Note-taking on Mathematical Solution Processes while Working on Reality-Based Tasks
  9. Holistic and scalable ranking of RDF data
  10. Taking notes as a strategy for solving reality-based tasks in mathematics
  11. Lyapunov Convergence Analysis for Asymptotic Tracking Using Forward and Backward Euler Approximation of Discrete Differential Equations
  12. Contextual movement models based on normalizing flows
  13. The role of learners’ memory in app-based language instruction: the case of Duolingo.
  14. Towards a spatial understanding of identity play
  15. Global Finite-Time Stabilization of Planar Linear Systems With Actuator Saturation
  16. A Lean Convolutional Neural Network for Vehicle Classification
  17. A reference architecture for the integration of EMIS and ERP-Systems
  18. Effectiveness of a guided multicomponent internet and mobile gratitude training program - A pragmatic randomized controlled trial
  19. Sensor Fusion for Power Line Sensitive Monitoring and Load State Estimation
  20. Combining a PI Controller with an Adaptive Feedforward Control in PMSM
  21. Overcoming Multi-legacy Application Challenges through Building Dynamic Capabilities for Low-Code Adoption
  22. Outperformed by a Computer? - Comparing Human Decisions to Reinforcement Learning Agents, Assigning Lot Sizes in a Learning Factory
  23. Conceptualizing Role Development in Agile Transformations
  24. Educational reconstruction as model for the theory-based design of student-centered learning environments in electrical engineering courses
  25. Preventive Diagnostics for cardiovascular diseases based on probabilistic methods and description logic
  26. Action rate models for predicting actions in soccer
  27. TRY plant trait database – enhanced coverage and open access
  28. Neural correlates of the enactment effect in the brain