Search Results - logic of non-deterministic complex algorithms

A unifying logic for non-deterministic, parallel and concurrent abstract state machines by 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…”
Get full text

Efficient network dismantling through genetic algorithms by 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…”
Get full text

Tableau reasoning for description logics and its extension to probabilities by 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…”
Get full text

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software by 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…”
Get full text

FSB-EA: Fuzzy search bias guided constraint handling technique for evolutionary algorithm by 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…”
Get full text

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

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

Logically synthesized and hardware-accelerated restricted Boltzmann machines for combinatorial optimization and integer factorization by 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…”
Get full text

Enhancing Energy Efficiency in IoT Networks Through Fuzzy Clustering and Optimization by 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…”
Get full text

Channel-Oblivious Counting Algorithms for Large-Scale RFID Systems by 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…”
Get full text

Boosting Exploration in Reinforcement Learning Agents via Path-Based Knowledge Graph Reasoning by 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…”
Get full text

Specification and counterexample generation for cyber-physical systems by 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…”
Get full text

Driving Decisions for Autonomous Vehicles in Intersection Environments: Deep Reinforcement Learning Approaches with Risk Assessment by 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…”
Get full text

Specifying and Verifying Higher-order Rust Iterators

Get full text

Towards a Support Tool for Prolog Using Property-Based Testing by 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…”
Get full text

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

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

PARALLELISM IN LOGICAL INFERENCE DURING ITS AUTOMATION by 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…”
Get full text

Training multi-agent teams from zero knowledge with the competitive coevolutionary team-based particle swarm optimiser by 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…”
Get full text

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

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

Verification and Synthesis for Stochastic Systems with Temporal Logic Specifications by 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…”
Get full text

More on tractable disjunctive Datalog by 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…”
Get full text