Výsledky vyhľadávania - logic of non-deterministic complex algorithms

A unifying logic for non-deterministic, parallel and concurrent abstract state machines Autor 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…”
Získať plný text

Efficient network dismantling through genetic algorithms Autor 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…”
Získať plný text

Tableau reasoning for description logics and its extension to probabilities Autor 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…”
Získať plný text

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software Autor 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…”
Získať plný text

FSB-EA: Fuzzy search bias guided constraint handling technique for evolutionary algorithm Autor 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…”
Získať plný text

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

“… The latter approach exploits logic to approximate network reliability assessments efficiently while offering theoretical error guarantees…”
Získať plný text

Logically synthesized and hardware-accelerated restricted Boltzmann machines for combinatorial optimization and integer factorization Autor 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…”
Získať plný text

Enhancing Energy Efficiency in IoT Networks Through Fuzzy Clustering and Optimization Autor 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…”
Získať plný text

Channel-Oblivious Counting Algorithms for Large-Scale RFID Systems Autor 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…”
Získať plný text

Boosting Exploration in Reinforcement Learning Agents via Path-Based Knowledge Graph Reasoning Autor 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…”
Získať plný text

Specification and counterexample generation for cyber-physical systems Autor 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…”
Získať plný text

Driving Decisions for Autonomous Vehicles in Intersection Environments: Deep Reinforcement Learning Approaches with Risk Assessment Autor 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…”
Získať plný text

Specifying and Verifying Higher-order Rust Iterators

Získať plný text

Towards a Support Tool for Prolog Using Property-Based Testing Autor 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…”
Získať plný text

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

“…) and safety monitoring of complex socio-technical systems. An overview of the three-layer hybrid causal logic (HCL…”
Získať plný text

PARALLELISM IN LOGICAL INFERENCE DURING ITS AUTOMATION Autor 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…”
Získať plný text

Training multi-agent teams from zero knowledge with the competitive coevolutionary team-based particle swarm optimiser Autor 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…”
Získať plný text

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

“… trajectories of the system terminate in a goal set without entering an unsafe set. Using Metric Temporal Logic (MTL…”
Získať plný text

Verification and Synthesis for Stochastic Systems with Temporal Logic Specifications Autor 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…”
Získať plný text

More on tractable disjunctive Datalog Autor 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…”
Získať plný text