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

Logical Methods in Computer Science

Journal

Recently viewed

Activities

  1. Probabilistic and discrete computational methods for studying coherent behavior in flows
  2. Computer Simulations in Design. How Social Media meet Computational Methods in Design Processes
  3. Graph Conditional Variational Models: Too Complex for Multiagent Trajectories?
  4. Process Analyses of Grounding in Chat-based CSCL: An Approach for Adaptive Scripting?
  5. Set-oriented computation in dynamics
  6. Modeling Efficient Grounding in Chat-based CSCL: An Approach for Adaptive Scripting?
  7. Learner Performance of Language Learning Tasks in Web-Based Environments
  8. Optimal trajectory generation using MPC in robotino and its implementation with ROS system
  9. Probabilistic and discrete methods for the computational study of coherent behavior in flows
  10. Multi-Agent Path Finding with Kinematic Constraints for Robotic Mobile Fulfillment Systems
  11. Applications of transfer operator methods in fluid dynamics
  12. Perturbation Analysis to Design a Robust Decoupling Geometric Technique in Linear Multi-Input Multi-Output Systems
  13. Domestication and/or Digital Divide – How to Overcome Binary Classifications in Analysing Everyday Internet Use and Diffusion
  14. Contributions of declarative and procedural memory to second language accuracy and automatization
  15. Children's Use of Spatial Skills in Solving Two Map-reading Tasks in Real Space
  16. All Surface: Blobs and the Liquefaction of Architecture

Publications

  1. Parsing Causal Models – An Instance Segmentation Approach
  2. A rough-and-ready cluster-based approach for extracting finite-time coherent sets from sparse and incomplete trajectory data
  3. Insights from classifying visual concepts with multiple kernel learning
  4. Modeling the Clickstream Across Multiple Online Advertising Channels Using a Binary Logit With Bayesian Mixture of Normals
  5. An incomplete and simplifying introduction to linked data
  6. Fostering Circularity: Building a Local Community and Implementing Circular Processes
  7. Calculation of Average Mutual Information (AMI) and false-nearest neighbors (FNN) for the estimation of embedding parameters of multidimensional time series in matlab
  8. Wavelet based Fault Detection and RLS Parameter Estimation of Conductive Fibers with a Simultaneous Estimation of Time-Varying Disturbance
  9. The scaled boundary finite element method for computational homogenization of heterogeneous media
  10. Design of a Real Time Path of Motion Using a Sliding Mode Control with a Switching Surface
  11. Setting controller parameters through a minimum strategy with a weighted least squares method
  12. Supervised clustering of streaming data for email batch detection
  13. Comparing Two Voltage Observers in a Sensorsystem using Repetitive Control
  14. Agile knowledge graph testing with TESTaLOD
  15. Emergency detection based on probabilistic modeling in AAL environments
  16. Neural Combinatorial Optimization on Heterogeneous Graphs
  17. Closed-loop control of product geometry by using an artificial neural network in incremental sheet forming with active medium
  18. Enhancing Performance of Level System Modeling with Pseudo-Random Signals
  19. Rebounded PSO Method for Sigmoid PID Controller for a Maglev System with Input Saturation
  20. Managing Business Process in Distributed Systems: Requirements, Models, and Implementation
  21. Vision-Based Deep Learning Algorithm for Detecting Potholes
  22. Learning Rotation Sensitive Neural Network for Deformed Objects' Detection in Fisheye Images
  23. Different approaches to learning from errors: Comparing the effectiveness of high reliability and error management approaches
  24. Optimizing sampling of flying insects using a modified window trap
  25. Evaluating the construct validity of Objective Personality Tests using a multitrait-multimethod-Multioccasion-(MTMM-MO)-approach
  26. Analyzing different types of moderated method effects in confirmatory factor models for structurally different methods
  27. A Python toolbox for the numerical solution of the Maxey-Riley equation
  28. A Wavelet Packet Tree Denoising Algorithm for Images of Atomic-Force Microscopy
  29. Automatic enumeration of all connected subgraphs.
  30. Methodologies for Noise and Gross Error Detection using Univariate Signal-Based Approaches in Industrial Application