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

Logical Methods in Computer Science

Journal

Recently viewed

Activities

  1. How, when, and why do negotiators use reference points? A qualitative interview study with negotiation experts.
  2. Framing Emerging Technologies in Interstitial Issue Fields: Insights from the Blockchain Technology
  3. A data base for biodegradability prediction for the Closed Bottle test using Multicase.
  4. Computer Simulations in Design. How Social Media meet Computational Methods in Design Processes
  5. Presentation of the paper entitled: "Combining a PI Controller with an Adaptive Feedforward Control in PMSM"
  6. All Surface: Blobs and the Liquefaction of Architecture
  7. Challenges And Pitfalls Of Designing, Conducting, And Evaluating Web-Based Interventions
  8. International Conference on Applied Mathematics and Computational Methods in Engineering - AMCME 2013
  9. IEEE Transactions on Neural Networks and Learning Systems (Zeitschrift)
  10. Masked Autoencoder Pretraining for Event Classification in Elite Soccer
  11. Probabilistic and discrete methods for the computational study of coherent behavior in flows
  12. Can the ability to identify criteria explain why some selection procedures work? Results and unresolved issues
  13. Set-oriented computation in dynamics
  14. Optimal trajectory generation using MPC in robotino and its implementation with ROS system
  15. Policing protest by simulation
  16. Keynote speech entitled: "A Stabilizing Control Strategy for a Bank System using State Space and Sliding Mode Control Approach with an Extended Kalman Filter"

Publications

  1. Modeling and Performance Analysis of a Node in Fault Tolerant Wireless Sensor Networks
  2. An on-line orthogonal wavelet denoising algorithm for high-resolution surface scans
  3. Implicit statistical learning and working memory predict EFL development and written task outcomes in adolescents
  4. A change of values is in the air
  5. Design of a Real Time Path of Motion Using a Sliding Mode Control with a Switching Surface
  6. Modeling and simulation of inelastic microstructure development and inhomogeneous material behavior via non-convex rate dependent gradient plasticity
  7. Digital Control of a Camless Engine Using Lyapunov Approach with Backward Euler Approximation
  8. Unidimensional and Multidimensional Methods for Recurrence Quantification Analysis with crqa
  9. A model predictive control in Robotino and its implementation using ROS system
  10. Kinematic self-calibration of non-contact five-axis measuring machine using improved genetic algorithm.
  11. A Python toolbox for the numerical solution of the Maxey-Riley equation
  12. Constrained Independence for Detecting Interesting Patterns
  13. Integrating Mobile Devices into AAL-Environments using Knowledge based Assistance Systems
  14. How to combine collaboration scripts and heuristic worked examples to foster mathematical argumentation - when working memory matters
  15. The Use of Genetic Algorithm for PID Controller Auto-Tuning in ARM CORTEX M4 Platform
  16. A genetic algorithm for a self-learning parameterization of an aerodynamic part feeding system for high-speed assembly
  17. Modelling tasks—The relation between linguistic skills, intra-mathematical skills, and context-related prior knowledge
  18. Detection and mapping of water pollution variation in the Nile Delta using multivariate clustering and GIS techniques
  19. Modeling and simulation of deformation behavior, orientation gradient development and heterogeneous hardening in thin sheets with coarse texture
  20. Random measurement and prediction errors limit the practical relevance of two velocity sensors to estimate the 1RM back squat
  21. Proceedings of the SeMantic Answer Type and Relation Prediction Task at ISWC 2021 Semantic Web Challenge (SMART2021)
  22. Analysis of priority rule-based scheduling in dual-resource-constrained shop-floor scenarios
  23. Using haar wavelets for fault detection in technical processes