標(biāo)題: Titlebook: Structured Object-Oriented Formal Language and Method; 11th International W Shaoying Liu,Zhenhua Duan,Ai Liu Conference proceedings 2023 Th [打印本頁(yè)] 作者: Assert 時(shí)間: 2025-3-21 19:19
書目名稱Structured Object-Oriented Formal Language and Method影響因子(影響力)
書目名稱Structured Object-Oriented Formal Language and Method影響因子(影響力)學(xué)科排名
書目名稱Structured Object-Oriented Formal Language and Method網(wǎng)絡(luò)公開度
書目名稱Structured Object-Oriented Formal Language and Method網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Structured Object-Oriented Formal Language and Method被引頻次
書目名稱Structured Object-Oriented Formal Language and Method被引頻次學(xué)科排名
書目名稱Structured Object-Oriented Formal Language and Method年度引用
書目名稱Structured Object-Oriented Formal Language and Method年度引用學(xué)科排名
書目名稱Structured Object-Oriented Formal Language and Method讀者反饋
書目名稱Structured Object-Oriented Formal Language and Method讀者反饋學(xué)科排名
作者: Adjourn 時(shí)間: 2025-3-21 22:26
Formalization of Natural Language into PPTL Specification via Neural Machine Translationng data preprocessing, encoder-decoder network and stack sequentially. To evaluate the performance of our method, the experimental verification is realized on real datasets. The experiment conducted shows that our method has effectiveness on temporal logic specification generation.作者: 最高峰 時(shí)間: 2025-3-22 04:01 作者: tattle 時(shí)間: 2025-3-22 04:38
Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attacion of formal methods and formal verification to deep learning systems. We hope to draw more attention from researchers to the application of formal methods and formal verification to artificial intelligence.作者: arrhythmic 時(shí)間: 2025-3-22 09:42 作者: Innocence 時(shí)間: 2025-3-22 14:29
Implementation of Matlab matfun Toolkit Based on MSVLSVL to imitate all basic functions in the matfun function library, and gives several representative function algorithms and implementation details. Finally we use these functions to design and implement a practical application.作者: 名字的誤用 時(shí)間: 2025-3-22 17:16 作者: Rheumatologist 時(shí)間: 2025-3-23 00:33 作者: Minikin 時(shí)間: 2025-3-23 05:13 作者: Meander 時(shí)間: 2025-3-23 08:51 作者: 外觀 時(shí)間: 2025-3-23 10:29
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graphever, the complexity and variety of relationships between different data objects create difficulties in the derivation of graph algorithms, the correctness of algorithms cannot be easily guaranteed in some complex problems. In this paper, we formally derive the loop invariant of critical path by usi作者: Confirm 時(shí)間: 2025-3-23 14:39
An Approach of Transforming Non-Markovian Reward to Markovian Rewardntelligent robot needs to check its power before sweeping. This kind of reward functions involves historical states, rather than a single current state. It is referred to as non-Markovian reward. However, state-of-the-art MDP (Markov Decision Process) planners only support Markovian reward. In this 作者: Pastry 時(shí)間: 2025-3-23 21:24 作者: 無(wú)彈性 時(shí)間: 2025-3-24 00:29
Implementation of Matlab matfun Toolkit Based on MSVLrtant applications in artificial intelligence, big data and other fields. This paper makes use of the modeling, simulation and verification language MSVL to imitate all basic functions in the matfun function library, and gives several representative function algorithms and implementation details. Fi作者: 令人不快 時(shí)間: 2025-3-24 05:41 作者: LAST 時(shí)間: 2025-3-24 06:35 作者: 嚙齒動(dòng)物 時(shí)間: 2025-3-24 12:17 作者: 外貌 時(shí)間: 2025-3-24 18:30 作者: TAG 時(shí)間: 2025-3-24 22:30 作者: Defense 時(shí)間: 2025-3-25 02:44
Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attacply deep learning to detect COVID-19, but little research has been done on the security of COVID-19 deep learning systems. Therefore, we test and verify the security of COVID-19 CT images deep learning system with adversarial attack. Firstly, we build a deep learning system for recognizing COVID-19 作者: oncologist 時(shí)間: 2025-3-25 06:19
Verifying and?Improving Neural Networks Using Testing-Based Formal Verificationks due to the existence of adversarial examples. The security of neural networks can be ensured to some extent by verifying them. However, since the verification of neural networks is a NP-hard problem, it is still impossible to apply the verification algorithm to large-scale neural networks. For th作者: 數(shù)量 時(shí)間: 2025-3-25 10:22
Alternating Projection Temporal Epistemic Logics how to describe the properties of systems using logical formulas accurately. The existing model checking methods based on single logic can no longer meet the increasingly complex verification requirements of Multi-agent systems (MASs) in the current intelligent era. In the MASs, logics of knowledg作者: 否認(rèn) 時(shí)間: 2025-3-25 12:55 作者: Fantasy 時(shí)間: 2025-3-25 17:35
A JPSL Based Model Checking Approach for?Java Programs Java programs, which in turn can be verified with the model checking tool JMC. In addition, an example is given to illustrate how the method works. This method makes full use of the precise constraint ability of JPSL properties on the property range and the advantages of the On-The-Fly strategy.作者: 魯莽 時(shí)間: 2025-3-25 20:28 作者: 開花期女 時(shí)間: 2025-3-26 03:12 作者: 錯(cuò)事 時(shí)間: 2025-3-26 06:12 作者: 變異 時(shí)間: 2025-3-26 11:30 作者: 幼稚 時(shí)間: 2025-3-26 16:07
on the application of quantum finance technologies in intelligent real-time financial prediction and quantum trading systems.? ..This book is both a textbook for undergraduate & masters level quan978-981-32-9798-2978-981-32-9796-8作者: bioavailability 時(shí)間: 2025-3-26 17:07
Jin Liu,Yeqiu Xiao,Haiyang Wang,Wensheng Wangd dynamics and bone mechanics..Combining theory and practice, with extensive use of MATLAB, this book is designed to establish a paradigm for quantitative physiology by integrating biology, mathematics, physics978-981-33-4035-0978-981-33-4033-6作者: agonist 時(shí)間: 2025-3-26 22:36 作者: CRATE 時(shí)間: 2025-3-27 04:48 作者: defibrillator 時(shí)間: 2025-3-27 08:38 作者: 低三下四之人 時(shí)間: 2025-3-27 11:16
Extending Visibly Pushdown Automata over Multi-matching Nested Relationsantee whether a one-to-n or n-to-one matching nested relation is read without confusion. Each nondeterministic multi-matching visibly pushdown automaton is demonstrated to be transformed into a deterministic one. Moreover, the symbolic version of multi-matching visibly pushdown automata is proposed 作者: 灰姑娘 時(shí)間: 2025-3-27 15:08 作者: 傾聽(tīng) 時(shí)間: 2025-3-27 20:00 作者: restrain 時(shí)間: 2025-3-28 01:41 作者: 附錄 時(shí)間: 2025-3-28 04:40
XinFeng Shu,YanLin Li,WeiRan Gaoion of AI technology with state-of-the-art finance technology such as blockchains and digital ledgers; (2) quantum computing—the R&D of potential applications of quantum computing technology in various areas such as quantum entanglements in quantum finance, quantum cryptography, quantum holographic 作者: MAPLE 時(shí)間: 2025-3-28 08:25
Xueqing Feng,Nan Zhang,Zhenhua Duan models addressed are related to gene expression, calcium signalling, neural activity,blood dynamics and bone mechanics..Combining theory and practice, with extensive use of MATLAB, this book is designed to establish a paradigm for quantitative physiology by integrating biology, mathematics, physics作者: FUSC 時(shí)間: 2025-3-28 13:42 作者: 詳細(xì)目錄 時(shí)間: 2025-3-28 15:41 作者: muster 時(shí)間: 2025-3-28 20:36 作者: Collected 時(shí)間: 2025-3-29 00:14
Lei Rao,Shaoying Liu,Ai Liung are presented for study. While quantum information has been developing mostly in the finite-dimensional setting, it is widely believed that von Neumann algebras provide the most suitable framework in studying quantum information and related subjects. Thus, the advance of quantum divergences in vo作者: BRACE 時(shí)間: 2025-3-29 05:42 作者: 爭(zhēng)議的蘋果 時(shí)間: 2025-3-29 09:43 作者: PRO 時(shí)間: 2025-3-29 12:18 作者: Irrigate 時(shí)間: 2025-3-29 19:17 作者: 食品室 時(shí)間: 2025-3-29 20:36 作者: 表兩個(gè) 時(shí)間: 2025-3-30 03:48
Structured Object-Oriented Formal Language and Method11th International W作者: 灰心喪氣 時(shí)間: 2025-3-30 04:15
Zhen You,Xinwu Yi,Jinyun Xue,Hongwen Hu,Jiewen Huang,Zhuo Chengime series prediction, fuzzy logics (FLs) on fuzzy and inexact financial modeling and genetic algorithms (GAs) on trading strategy optimization. More importantly, it shows how these AI tools are integrated with quantum finance technology to implement quantum finance forecast and intelligent agent-ba
