Suchergebnisse - logic of non-deterministic complex algorithms

A unifying logic for non-deterministic, parallel and concurrent abstract state machines von Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing

“… We develop a logic which enables reasoning about single steps of non-deterministic and parallel Abstract State Machines (ASMs …”
Volltext

Efficient network dismantling through genetic algorithms von Lin, Wei, Wandelt, Sebastian, Sun, Xiaoqian

“… to (expensive-to-compute) betweenness-based attacks. Therefore, there is a strong need for developing scalable, yet accurate attacking methods for being able to understand the robustness of large, real-world complex systems …”
Volltext

Tableau reasoning for description logics and its extension to probabilities von Zese, Riccardo, Bellodi, Elena, Riguzzi, Fabrizio, Cota, Giuseppe, Lamma, Evelina

“… Prolog directly manages non-determinism, thus is a good candidate for dealing with the tableau’s non-deterministic expansion rules …”
Volltext

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software von Chavoshi, Mina, Babamir, Seyed Morteza

“… Some types of software systems, like event‐based and non‐deterministic ones, are usually specified as rules so that we can analyse the system behaviour by drawing inferences from firing the rules …”
Volltext

FSB-EA: Fuzzy search bias guided constraint handling technique for evolutionary algorithm von Li, Zhiyong, Chen, Shaomiao, Zhang, Shiwen, Jiang, Shilong, Gu, Yu, Nouioua, Mourad

“… : deterministic and non-deterministic techniques. The deterministic techniques define the search bias with an artificial rule …”
Volltext

Quantum-inspired Boolean states for bounding engineering network reliability assessment von Dueñas-Osorio, Leonardo, Vardi, Moshe, Rojo, Javier

“… The latter approach exploits logic to approximate network reliability assessments efficiently while offering theoretical error guarantees …”
Volltext

Logically synthesized and hardware-accelerated restricted Boltzmann machines for combinatorial optimization and integer factorization von Patel, Saavan, Canoza, Philip, Salahuddin, Sayeef

“… The restricted Boltzmann machine (RBM) is a stochastic neural network capable of solving a variety of difficult tasks including non-deterministic polynomial-time hard combinatorial optimization problems and integer factorization …”
Volltext

Enhancing Energy Efficiency in IoT Networks Through Fuzzy Clustering and Optimization von Javadpour, Amir, Sangaiah, Arun Kumar, Zaviyeh, Hadi, Ja’fari, Forough

“… Heuristic algorithms emerge as valuable tools in this context, capable of swiftly addressing non-deterministic polynomial problems or approximating optimal solutions with remarkable accuracy …”
Volltext

Channel-Oblivious Counting Algorithms for Large-Scale RFID Systems von Wai Kit Sze, Yulin Deng, Wing Cheong Lau, Kodialam, Murali, Nandagopal, Thyaga, Onching Yue

“… Scalable, low-latency and accurate RFID counting algorithms have recently been proposed as a fundamental building block to support more complex query operations in a large-scale RFID system …”
Volltext

Boosting Exploration in Reinforcement Learning Agents via Path-Based Knowledge Graph Reasoning von Pismerov, A. M., Mouromtsev, D. I.

“… This paper proposes and presents a novel methodology for enhancing the exploration process in reinforcement learning algorithms, based on applying an optimal path search algorithm on a knowledge graph …”
Volltext

Specification and counterexample generation for cyber-physical systems von Li, Zhen, Cao, Zining, Wang, Fujun, Xing, Chao

“… Cyber-Physical Systems (CPS) are complex systems that integrate information control devices with physical resources, which can be automatically and formalized verified by model checking according to the expected requirements …”
Volltext

Driving Decisions for Autonomous Vehicles in Intersection Environments: Deep Reinforcement Learning Approaches with Risk Assessment von Yu, Wangpengfei, Qian, Yubin, Xu, Jiejie, Sun, Hongtao, Wang, Junxiang

“… In this study, a non-deterministic vehicle driving risk assessment method is proposed for intersection scenarios and introduced into a learning-based intelligent driving decision algorithm …”
Volltext

Specifying and Verifying Higher-order Rust Iterators

Volltext

Towards a Support Tool for Prolog Using Property-Based Testing von de Sá, Fábio Araújo

“… However, applying this methodology in languages such as Prolog raises specific challenges due to its declarative and non-deterministic nature, as well as the absence of an explicit type system …”
Volltext

Hybrid causal methodology and software platform for probabilistic risk assessment and safety monitoring of socio-technical systems von Groth, Katrina, Wang, Chengdong, Mosleh, Ali

“… ) and safety monitoring of complex socio-technical systems. An overview of the three-layer hybrid causal logic (HCL …”
Volltext

PARALLELISM IN LOGICAL INFERENCE DURING ITS AUTOMATION von Shajkin, Aleksandr, Averina, Olga, Babaev, Vladimir, Lebedeva, Marina, Khlynova, Tatyana

“… It is well known that the process of inference is generally non-deterministic. Therefore, to develop effective inference algorithms, the problem of managing the inference search is very relevant …”
Volltext

Training multi-agent teams from zero knowledge with the competitive coevolutionary team-based particle swarm optimiser von Scheepers, Christiaan, Engelbrecht, Andries P.

“… A new competitive coevolutionary team-based particle swarm optimiser (CCPSO(t)) algorithm is developed to train multi-agent teams from zero knowledge. The CCPSO …”
Volltext

An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications von Saha, Sayan, Julius, A. Agung

“… trajectories of the system terminate in a goal set without entering an unsafe set. Using Metric Temporal Logic (MTL …”
Volltext

Verification and Synthesis for Stochastic Systems with Temporal Logic Specifications von Dutreix, Maxence Dominique Henri

“… The objective of this thesis is to first provide a formal framework for the verification of discrete-time, continuous-space stochastic systems with complex temporal specifications …”
Volltext

More on tractable disjunctive Datalog von Ben-Eliyahu-Zohary, Rachel, Palopoli, Luigi, Zemlyanker, Victoria

“… Several highly complex variants of disjunctive Datalog have been proposed in the past and their expressive power has been studied …”
Volltext