„Dynamic Logic“

Suchergebnisse

1.066 Treffer

• Retraction Note: Enhanced multi-objective crisscross optimization for dynamic economic emission dispatch considering demand response and wind power uncertainty
  Chinnadurrai, C L. ; Victoire, T. Aruldoss Albert
• Retraction Note: A novel hidden Markov model-based adaptive dynamic time warping (HMDTW) gait analysis for identifying physically challenged persons
  Achanta, Sampath Dakshina Murthy ; Karthikeyan, T. ; Vinothkanna, R.
• Retraction Note: Data monitoring in student psychological automatic evaluation system by using dynamic acquisition algorithm
  Li, Peng
• Retraction Note: Dynamic multi-variant relational scheme-based intelligent ETL framework for healthcare management
  Manickam, Vijayalakshmi ; Indra, Minu Rajasekaran
• Correction: Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories
  Stern, Julio
• Retraction Note: Soft computing-based fuzzy time series model for dynamic vehicle routing problem
  Ganesh, C. S. Sundar ; Sivakumar, R. ; Rajkumar, N.
• Retraction Note: FPGA logic design method based on multi resolution image real time acquisition system
  Li, Cheng-Han ; Shiau, Yeu-Horng
• Correction to: Differential Dynamic Logic for Hybrid Systems
  Platzer, André
• Correction to: Dynamics of lying
  Ditmarsch, Hans van
• Value Determination of Supply Chain Initiatives – A Quantification Approach Based on Fuzzy Logic and System Dynamics
  2011 Gabler
• Enhancing tokenization accuracy with dynamic patterns: cumulative logic for segmenting user-generated content in logographic languages
  Zhang, Yin ; Lin, Zhihuai ; Tong, Castiel Chi-chiu ; Ho, Sam Wai-yeung
• Erratum to: Stable algorithm for event detection in event-driven particle dynamics: logical states
  Strobl, Severin ; Bannerman, Marcus N. ; Pöschel, Thorsten
• Logic-optimization behavior tree algorithm for enhanced autonomous underwater vehicle cooperative decision-making
  Yu, Dan ; Lin, Changjian ; Liu, Nan
• Logical entropy of quantum dynamical systems
  Ebrahimzadeh, Abolfazl
• Context-Sensitive Description Logics in Dynamic Settings
  Tirtarasa, Satyadharma ; Baader, Franz ; Artale, Alessandro 2024 Technische Universität Dresden
• PLC transition sequence identification based on logical reduction
  Luo, Yue ; Ye, Jianhong ; Zhou, Jiazhong ; Liu, Jia ; Jiang, Linping
• Book Review: Dynamic Logic. By D. Harel, D. Kozen, and J. Tiuren. MIT Press, Cambridge, MA 2000. xv + 459 pp. ISBN 0-262-08289-6
  Gregson, Robert A. M.
• Beishui Liao, Thomas Ågotnes, Yi N. Wang, (eds.), Dynamics, Uncertainty and Reasoning, vol. 4 of Logic in Asia: Studia Logica Library, Springer, Singapore, 2019, pp. 207+xii; ISBN: 978-981-13-7793-8 (Softcover) 117,69 €, ISBN: 978-981-13-7790-7 (Hardcover) 160,49 €, ISBN: 978-981-13-7791-4 (eBook) 93,08 €
  Yu, Zhe
• Book Reviews – Fenrong Liu, Hiroakira Ono, Junhua Yu (eds.), Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic, vol. 7 of Logic in Asia: Studia Logica Library, Springer, 2020, pp. 217+ix; ISBN: 978-981-15-2223-9 (Softcover) 123,04 €, ISBN: 978-981-15-2220-8 (Hardcover) 171,19 €, ISBN: 978-981-15-2221-5 (eBook) 96,29 €.
  Kulicki, Piotr
• Book Review: The Dynamics of Judicial Proof. Computation, Logic, and Common Sense
  Verheij, Bart