„Dynamic Logic“

Suchergebnisse

1.066 Treffer

• Application of High-Frequency Intelligent Sensing Network in Monitoring and Early Warning of Water Quality Dynamic Change
  Qian, Ping ; Liu, Gang
• Deep learning-driven intelligent pricing model in retail: from sales forecasting to dynamic price optimization
  Li, Dongxin ; Xin, Jiayue
• A strip-packing constructive algorithm with deep reinforcement learning for dynamic resource-constrained seru scheduling problems
  Xiang, Yiran ; Zhang, Zhe ; Gong, Xue ; Song, Xiaoling ; Yin, Yong
• Constructing uniform design tables based on restart discrete dynamical evolutionary algorithm
  Zhao, Yuelin ; Wu, Feng ; Yang, Yuxiang ; Wei, Xindi ; Hu, Zhaohui ; Yan, Jun ; Zhong, Wanxie
• An efficient adaptive multilevel Renyi entropy thresholding method based on the energy curve with dynamic programming
  Lei, Bo ; He, Luhang ; Yang, Zhen
• Dynamic Logics of Diffusion and Link Changes on Social Networks
  Baccini, Edoardo ; Christoff, Zoé ; Verbrugge, Rineke
• Automatic American sign language prediction for static and dynamic gestures using KFM-CNN
  Thushara, A. ; Hani, Reymond Hakkim Baisil ; Mukundan, Manu
• A multidimensional analysis of scientific dynamics. Part I. Case studies of mathematical logic in the 20th century
  Berg, J. ; Wagner-Döbler, R.
• Computational intelligence and its dynamic development: statistical exploration, comprehensive evaluation and prospect expansion
  Li, Bo ; Xu, Zeshui ; Wang, Xinxin
• Logic-based modeling of dynamic object systems
  Jungclaus, Ralf
• A Sequent Calculus for Propositional Dynamic Logic for Agents with Interactions
  Sakalauskaite, J.
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin 2011 KIT Scientific Publ.
• Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson"
  Arvay, Barnabas ; Thiemann, Peter 2024 Universität
• ICA based identification of dynamical systems generating synthetic and real world time series
  Ciaramella, Angelo ; Lauro, Enza De ; Martino, Salvatore De ; Falanga, Mariarosaria ; Tagliaferri, Roberto
• Relevant propositional dynamic logic
  Tedder, Andrew ; Bilková, Marta
• A new population based adaptive domination change mechanism for diploid genetic algorithms in dynamic environments
  Uyar, A. Şima ; Harmanci, A. Emre
• The dynamic household as a logical concept and its use in demography
  Murphy, Mike
• Construction of a reconfigurable dynamic logic cell
  Murali, K. ; Sinha, Sudeshna ; Ditto, William L.
• On Dynamics and Thermodynamics of Moving Media
  Duyunova, A. ; Lychagin, V. ; Tychkov, S.
• Mathematical Model for Dynamic Adsorption with Immiscible Multiphase Flows in Three-dimensional Porous Media
  Zakirov, T. R. ; Zhuchkova, O. S. ; Khramchenkov, M. G.