„Dynamic Logic“

Suchergebnisse

1.066 Treffer

• Method for clustering and identification of objects in laser scanning point clouds using dynamic logic
  Milanov, Yevgeny ; Badenko, Vladimir ; Yadykin, Vladimir ; Perlovsky, Leonid
• Sail-assisted motor vessels weather routing using a fuzzy logic model
  Marie, Stéphane ; Courteille, Eric
• A GA-SLP-Based Dynamic Allocation Method for Electric Power Emergency Materials Considering Disaster Impact Differences
  Fan, Ruiming ; Zhang, Peng
• A co-evolutionary meta-heuristic framework for dynamic constrained optimization problems
  Pamparà, Gary ; Engelbrecht, Andries P.
• State Observer Based Dynamic Fuzzy Logic System for a Class of SISO Nonlinear Systems
  Hamdy, Mohamed
• Extending dynamic logic for reasoning about evolving algebras
  Schönegge, Arno 1995 Univ., Fak. für Informatik
• Integrating fuzzy logic and land use dynamics to delineate urban heat island formation zones and assess land surface temperature changes over three decades: a case study of Asir region, Saudi Arabia
  Alshayeb, Mohammed J. ; Bindajam, Ahmed Ali ; Mallick, Javed ; Shohan, Ahmed Ali A.
• New dynamic fuzzy structure and dynamic system identification
  Alci, Musa
• A secure framework for managing data in cloud storage using rapid asymmetric maximum based dynamic size chunking and fuzzy logic for deduplication
  Rajkumar, K. ; Hariharan, U. ; Dhanakoti, V. ; Muthukumaran, N.
• Using fuzzy logic for morphological classification of IVUS-based plaques in diseased coronary artery in the context of flow-dynamics
  Beaumont, Ryan ; Bhaganagar, Kiran ; Segee, Bruce ; Badak, Ozer
• Autapse-induced logical resonance in the FitzHugh–Nagumo neuron
  Yao, Yuangen ; Yao, Chenggui
• Logical stochastic resonance and energy consumption in stochastic Hodgkin–Huxley neuron system
  Yu, Dong ; Yang, Lijian ; Zhan, Xuan ; Fu, Ziying ; Jia, Ya
• Logical chaotic resonance in the FitzHugh–Nagumo neuron
  Yao, Yuangen
• Brute Past Presentism, Dynamic Presentism, and the Objection from Being-Supervenience
  Gołosz, Jerzy
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin ; Schmitt, P. H. 2011 KIT Scientific Publishing
• Verification-based software-fault detection
  Gladisch, Christoph ; Beckert, B. 2011 KIT Scientific Publishing
• Dynamic Logic for an Intermediate Language – Verification, Interaction and Refinement
  Ulbrich, Mattias 2014 epubli GmbH
• Action Logic Programs – How to Specify Strategic Behavior in Dynamic Domains Using Logical Rules
  Drescher, Conrad ; Thielscher, Michael ; Meyer, Thomas 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
  Ulbrich, Mattias ; Schmitt, P. H. 2013 KIT-Bibliothek
• Modeling of dynamic systems with Petri nets and fuzzy logic
  Windhager, Lukas ; Zimmer, Ralf 2013 Universitätsbibliothek der Ludwig-Maximilians-Universität