1. //
  2. Start
  3. //
  4. Journals
  5. //
  6. Bulletin of Symbolic Logic
  7. //

Bulletin of Symbolic Logic, ‎1079-8986

Journal

Recently viewed

Activities

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

Publications

  1. Introducing parametric uncertainty into a nonlinear friction model
  2. The Influence of Note-taking on Mathematical Solution Processes while Working on Reality-Based Tasks
  3. Holistic and scalable ranking of RDF data
  4. Taking notes as a strategy for solving reality-based tasks in mathematics
  5. Lyapunov Convergence Analysis for Asymptotic Tracking Using Forward and Backward Euler Approximation of Discrete Differential Equations
  6. Contextual movement models based on normalizing flows
  7. The role of learners’ memory in app-based language instruction: the case of Duolingo.
  8. Towards a spatial understanding of identity play
  9. Global Finite-Time Stabilization of Planar Linear Systems With Actuator Saturation
  10. A Lean Convolutional Neural Network for Vehicle Classification
  11. A reference architecture for the integration of EMIS and ERP-Systems
  12. Effectiveness of a guided multicomponent internet and mobile gratitude training program - A pragmatic randomized controlled trial
  13. Sensor Fusion for Power Line Sensitive Monitoring and Load State Estimation
  14. Combining a PI Controller with an Adaptive Feedforward Control in PMSM
  15. Overcoming Multi-legacy Application Challenges through Building Dynamic Capabilities for Low-Code Adoption
  16. Outperformed by a Computer? - Comparing Human Decisions to Reinforcement Learning Agents, Assigning Lot Sizes in a Learning Factory
  17. Conceptualizing Role Development in Agile Transformations
  18. Educational reconstruction as model for the theory-based design of student-centered learning environments in electrical engineering courses
  19. Preventive Diagnostics for cardiovascular diseases based on probabilistic methods and description logic
  20. Action rate models for predicting actions in soccer
  21. TRY plant trait database – enhanced coverage and open access
  22. Neural correlates of the enactment effect in the brain
  23. Recontextualizing Anthropomorphic Metaphors in Organization Studies
  24. Assessing Quality of Teaching from Different Perspectives
  25. Trajectory tracking using MPC and a velocity observer for flat actuator systems in automotive applications
  26. Interactions between ecosystem properties and land use clarify spatial strategies to optimize trade-offs between agriculture and species conservation
  27. Global fern and lycophyte richness explained: How regional and local factors shape plot richness
  28. Pluralism and diversity: Trends in the use and application of ordination methods 1990-2007
  29. Failing and the perception of failure in student-driven transdisciplinary projects