Logical Methods in Computer Science

Journal

Recently viewed

Activities

  1. Probabilistic and discrete computational methods for studying coherent behavior in flows
  2. Graph Conditional Variational Models: Too Complex for Multiagent Trajectories?
  3. A discrete-time fractional order PI controller for a three phase synchronous motor using an optimal loop shaping Approach
  4. Process Analyses of Grounding in Chat-based CSCL: An Approach for Adaptive Scripting?
  5. Modeling Efficient Grounding in Chat-based CSCL: An Approach for Adaptive Scripting?
  6. Probabilistic and discrete methods for the computational study of coherent behavior in flows
  7. Multi-Agent Path Finding with Kinematic Constraints for Robotic Mobile Fulfillment Systems
  8. Applications of transfer operator methods in fluid dynamics
  9. Model Predictive Control for Switching Gain Adaptation in a Sliding Mode Controller of a DC Drive with Nonlinear Friction
  10. Domestication and/or Digital Divide – How to Overcome Binary Classifications in Analysing Everyday Internet Use and Diffusion
  11. Structure and dynamics laboratory testing of an indirectly controlled full variable valve train for camless engines
  12. Framing Emerging Technologies in Interstitial Issue Fields: Insights from the Blockchain Technology
  13. Computer Simulations in Design. How Social Media meet Computational Methods in Design Processes
  14. Interpreting Strings, Weaving Threads – Structuring Provenance Data with AI
  15. Learner Performance of Language Learning Tasks in Web-Based Environments
  16. SIAM Conference on Applications of Dynamical Systems - DS 2023
  17. A New Approach for Optimal Solving of Cyclic and Non-Cyclic Bus Driver Rostering Problems

Publications

  1. Wavelet based Fault Detection and RLS Parameter Estimation of Conductive Fibers with a Simultaneous Estimation of Time-Varying Disturbance
  2. Supervised clustering of streaming data for email batch detection
  3. A genetic algorithm for a self-learning parameterization of an aerodynamic part feeding system for high-speed assembly
  4. Using Euler Discrete Approximation to Control an Aggregate Actuator in Camless Engines
  5. Application of non-convex rate dependent gradient plasticity to the modeling and simulation of inelastic microstructure development and inhomogeneous material behavior
  6. Managing Business Process in Distributed Systems: Requirements, Models, and Implementation
  7. Joint entity and relation linking using EARL
  8. Learning Rotation Sensitive Neural Network for Deformed Objects' Detection in Fisheye Images
  9. Dynamic adjustment of dispatching rule parameters in flow shops with sequence-dependent set-up times
  10. Evaluating the construct validity of Objective Personality Tests using a multitrait-multimethod-Multioccasion-(MTMM-MO)-approach
  11. Analyzing different types of moderated method effects in confirmatory factor models for structurally different methods
  12. A coding scheme to analyse global text processing in computer supported collaborative learning: What eye movements can tell us
  13. Binary Random Nets I
  14. Using Natural Language Processing Techniques to Tackle the Construct Identity Problem in Information Systems Research
  15. Ant colony optimization algorithm and artificial immune system applied to a robot route
  16. Development of a Didactic Graphical Simulation Interface on MATLAB for Systems Control
  17. Graph Conditional Variational Models: Too Complex for Multiagent Trajectories?
  18. Analysis of Complexity Reduction in Kalman Filters Through Decoupling Control With Chattered Inputs in PMSM
  19. Towards a Dynamic Interpretation of Subjective and Objective Values
  20. Using protochirons for three-dimensional coding of certain chemical structures.
  21. Adaptive and Dynamic Feedback Loops between Production System and Production Network based on the Asset Administration Shell
  22. Predicting the Difficulty of Exercise Items for Dynamic Difficulty Adaptation in Adaptive Language Tutoring
  23. The Scalable Question Answering Over Linked Data (SQA) Challenge 2018
  24. A Lightweight Simulation Model for Soft Robot's Locomotion and its Application to Trajectory Optimization
  25. Isocodal and isospectral points, edges, and pairs in graphs and how to cope with them in computerized symmetry recognition
  26. On the Power and Performance of a Doubly Latent Residual Approach to Explain Latent Specific Factors in Multilevel-Bifactor-(S-1) Models
  27. Building a process layer for business applications using the blackboard pattern
  28. A discrete approximate solution for the asymptotic tracking problem in affine nonlinear systems
  29. Global text processing in CSCL with learning protocols
  30. Performance and Comfort when Using Motion-Controlled Tools in Complex Tasks