1. //
  2. Start
  3. //
  4. Zeitschriften
  5. //
  6. Logical Methods in Computer Science
  7. //
  8. Publikationen
  9. //

Logical Methods in Computer Science

Fachzeitschrift: Zeitschrift

Zuletzt angesehen

Aktivitäten

  1. Monkey Business: Who Pulls the Strings? 2013
  2. International Symposium on Multiscale Computational Analysis of Complex Materials
  3. Chain of Fools? Sensemaking Dynamics regarding the Issue of the Blockchain Technology in the FinTech Field
  4. GET.ON PAPP: Feasibility of a mobile application for panic with and without agoraphobia
  5. The 22nd International Semantic Web Conference (ISWC 2023)
  6. Towards a fully-automated adaptive e-learning environment: A predictive model for difficulty generating factors in gap-filling activities that target English tense-aspect-mood
  7. The Irish English discourse marker sure at the semantics/pragmatics interface
  8. Zombieland: Agent-based Computer Simulation
  9. Between Connections and Knowledge: An Approach to Culture through Graph Theory and Complex Systems
  10. Co-supervisor of the dissertation "Diversity and functions of plant-insect interactions along a forest retention gradient"
  11. From Podcast to Simulation Projects - Web 2.0 Projects in the Secondary EFL Classroom
  12. Global Platform Companies in Local Fields between Disruption and Integration
  13. Uncertainty and Subjectivity in Provenance Linked Open Data
  14. Interstitial spaces as garbage cans of field transformation where problems and solutions meet: the case of blockchain and music cross-fertilization
  15. Placemaking today: integrating place-oriented thinking into cultural policy frameworks
  16. Dynamical systems methods in fluid mechanics

Publikationen

  1. An Adaptive and Optimized Switching Observer for Sensorless Control of an Electromagnetic Valve Actuator in Camless Internal Combustion Engines
  2. Gaussian processes for dispatching rule selection in production scheduling
  3. Learning Analytics with Matlab Grader in Undergraduate Engineering Courses
  4. TRY plant trait database – enhanced coverage and open access
  5. An evaluation of BPR methodologies adopting NIMSAD: A systematic framework for understanding and evaluating methodologies
  6. An expert-based reference list of variables for characterizing and monitoring social-ecological systems
  7. Practical guide to SAP Netweaver PI-development
  8. Two models for gradient inelasticity based on non-convex energy
  9. Modelling and implementation of an Order2Cash Process in distributed systems
  10. Preventive Diagnostics for cardiovascular diseases based on probabilistic methods and description logic
  11. An Orthogonal Wavelet Denoising Algorithm for Surface Images of Atomic Force Microscopy
  12. A Multilevel Inverter Bridge Control Structure with Energy Storage Using Model Predictive Control for Flat Systems
  13. Mirrored piezo servo hydraulic actuators for use in camless combustion engines and its Control with mirrored inputs and MPC
  14. Data-driven and physics-based modelling of process behaviour and deposit geometry for friction surfacing
  15. Competing Vegetation Structure Indices for Estimating Spatial Constrains in Carabid Abundance Patterns in Chinese Grasslands Reveal Complex Scale and Habitat Patterns
  16. Teaching methods for modelling problems and students’ task-specific enjoyment, value, interest and self-efficacy expectations
  17. Digging into the roots
  18. Using transition management concepts for the evaluation of intersecting policy domains ('grand challenges')
  19. Commitment to grand challenges in fluid forms of organizing
  20. Resource extraction technologies - is a more responsible path of development possible?
  21. Using augmented video to test in-car user experiences of context analog HUDs
  22. Teachers’ use of data from digital learning platforms for instructional design
  23. Modeling Conditional Dependencies in Multiagent Trajectories
  24. Second language learners' performance in mathematics
  25. Acceleration of material-dominated calculations via phase-space simplicial subdivision and interpolation
  26. Sliding mode and model predictive control for inverse pendulum
  27. Factor structure and measurement invariance of the Students’ Self-report Checklist of Social and Learning Behaviour (SSL)
  28. Model predictive control for switching gain adaptation in a sliding mode controller of a DC drive with nonlinear friction
  29. Mechanism of dynamic recrystallization and evolution of texture in the hot working domains of the processing map for Mg-4Al-2Ba-2Ca Alloy
  30. More input, better output
  31. A comparison of ML, WLSMV and Bayesian methods for multilevel structural equation models in small samples: A simulation study