Nondeterministic algorithm ≈ Nondeterministic algorithm
View article
Evolutionary Dynamics of Multi-Agent Learning: A Survey Open
The interaction of multiple autonomous agents gives rise to highly dynamic and nondeterministic environments, contributing to the complexity in applications such as automated financial markets, smart grids, or robotics. Due to the sheer nu…
View article
Epigenetics as a mediator of plasticity in cancer Open
The concept of an epigenetic landscape describing potential cellular fates arising from pluripotent cells, first advanced by Conrad Waddington, has evolved in light of experiments showing nondeterministic outcomes of regulatory processes a…
View article
Machine Learning for Plant Breeding and Biotechnology Open
Classical univariate and multivariate statistics are the most common methods used for data analysis in plant breeding and biotechnology studies. Evaluation of genetic diversity, classification of plant genotypes, analysis of yield componen…
View article
Universal Memcomputing Machines Open
We introduce the notion of universal memcomputing machines (UMMs): a class of brain-inspired general-purpose computing machines based on systems with memory, whereby processing and storing of information occur on the same physical location…
View article
Parallel computation with molecular-motor-propelled agents in nanofabricated networks Open
Significance Electronic computers are extremely powerful at performing a high number of operations at very high speeds, sequentially. However, they struggle with combinatorial tasks that can be solved faster if many operations are performe…
View article
A New Lattice-Based Signature Scheme in Post-Quantum Blockchain Network Open
Blockchain technology has gained significant prominence in recent years due to its public, distributed, and decentration characteristics, which was widely applied in all walks of life requiring distributed trustless consensus. However, the…
View article
Comprehensive genetic algorithm for<i>ab initio</i>global optimisation of clusters Open
Cluster, as the aggregate of a few to thousands of atoms or molecules, bridges the microscopic world of atoms and molecules and the macroscopic world of condensed matters. The physical and chemical properties of a cluster are determined by…
View article
Set-Based Prediction of Traffic Participants Considering Occlusions and Traffic Rules Open
Provably safe motion planning for automated road vehicles must ensure that planned motions do not result in a collision with other traffic participants. This is a major challenge in autonomous driving, since the future behavior of other tr…
View article
Stochasticity Modeling in Memristors Open
Diverse models have been proposed over the past years to explain the exhibiting behavior of memristors, the fourth fundamental circuit element. The models varied in complexity ranging from a description of physical mechanisms to a more gen…
View article
Nondeterministic Extensions of the Strong Exponential Time Hypothesis and Consequences for Non-reducibility Open
We introduce the Nondeterministic Strong Exponential Time Hypothesis (NSETH) as a natural extension of the Strong Exponential Time Hypothesis (SETH). We show that both refuting and proving NSETH would have interesting consequences.
View article
Evidence for universal earthquake rupture initiation behavior Open
Earthquake onsets provide a unique opportunity to study physical rupture processes because they are more easily observable than later rupture stages. Despite this relative simplicity, the observational basis for rupture onsets is unclear. …
View article
Power Allocation in Cell-Free Massive MIMO: A Deep Learning Method Open
Massive multiple-input multiple-output (MIMO) is a key technology in 5G. It enables multiple users to be served in the same time-frequency block through precoding or beamforming techniques, thus increasing capacity, reliability and energy …
View article
Detecting nondeterministic payment bugs in Ethereum smart contracts Open
The term “smart contracts” has become ubiquitous to describe an enormous number of programs uploaded to the popular Ethereum blockchain system. Despite rapid growth of the smart contract ecosystem, errors and exploitations have been consta…
View article
A hybrid particle swarm optimization and hill climbing algorithm for task scheduling in the cloud environments Open
Task scheduling is one of the most important issues in heterogeneous environments when high efficiency is required. Because task scheduling is a Nondeterministic Polynomial (NP)-hard problem, many evolutionary algorithms have been adopted …
View article
Aria Open
Deterministic databases are able to efficiently run transactions across different replicas without coordination. However, existing state-of-the-art deterministic databases require that transaction read/write sets are known before execution…
View article
Memcomputing <i>NP</i> -complete problems in polynomial time using polynomial resources and collective states Open
Demonstration of computing with memory points to a new route for solving hard problems faster.
View article
Decision procedures for path feasibility of string-manipulating programs with complex operations Open
The design and implementation of decision procedures for checking path feasibility in string-manipulating programs is an important problem, with such applications as symbolic execution of programs with strings and automated detection of cr…
View article
Observer and Stochastic Faulty Actuator-Based Reliable Consensus Protocol for Multiagent System Open
A nondeterministic actuator fault model-based reliable control design method is presented for the leader-following consensus of a multiagent system (MAS) subject to input time-varying delay and the nonlinear phenomenon through the observer…
View article
Challenges and opportunities for low noise electric aircraft Open
A new class of electric aircraft is being developed to transport people and goods as a part of the urban and regional transportation infrastructure. To gain public acceptance of these operations, these aircraft need to be much quieter than…
View article
Debates—Stochastic subsurface hydrology from theory to practice: Why stochastic modeling has not yet permeated into practitioners? Open
We address modern topics of stochastic hydrogeology from their potential relevance to real modeling efforts at the field scale. While the topics of stochastic hydrogeology and numerical modeling have become routine in hydrogeological studi…
View article
Multi‐mode resource‐constrained project scheduling using modified variable neighborhood search heuristic Open
This paper aims at providing a fast near‐optimum solution to the multi‐mode resource‐constrained project scheduling problems (MRCPSPs), for projects with activities that have known deterministic renewable and nonrenewable resource requirem…
View article
A comparative study of artificial neural network (ANN) and adaptive neuro-fuzzy inference system (ANFIS) models in distribution system with nondeterministic inputs Open
Most deterministic optimization models use average values of nondeterministic variables as their inputs. It is, therefore, expected that a model that can accept the distribution of a random variable, while this may involve some more comput…
View article
VeriPhy: verified controller executables from verified cyber-physical system models Open
We present VeriPhy, a verified pipeline which automatically transforms verified high-level models of safety-critical cyber-physical systems (CPSs) in differential dynamic logic (dL) to verified controller executables. VeriPhy proves that a…
View article
CORPP: Commonsense Reasoning and Probabilistic Planning, as Applied to Dialog with a Mobile Robot Open
In order to be fully robust and responsive to a dynamically changing real-world environment, intelligent robots will need to engage in a variety of simultaneous reasoning modalities. In particular, in this paper we consider their needs to …
View article
Algorithms and experiments on routing of unmanned aerial vehicles with mobile recharging stations Open
We study the problem of planning a tour for an energy‐limited Unmanned Aerial Vehicle (UAV) to visit a set of sites in the least amount of time. We envision scenarios where the UAV can be recharged at a site or along an edge either by land…
View article
Set-Based Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules Open
Set-based predictions can ensure the safety of planned motions, since they provide a bounded region which includes all possible future states of nondeterministic models of other traffic participants. However, while autonomous vehicles are …
View article
A Review on Key Issues and Challenges in Devices Level MEMS Testing Open
The present review provides information relevant to issues and challenges in MEMS testing techniques that are implemented to analyze the microelectromechanical systems (MEMS) behavior for specific application and operating conditions. MEMS…
View article
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals Open
We study planning for LTLf and LDLf temporally extended goals in nondeterministic fully observable domains (FOND). We consider both strong and strong cyclic plans, and develop foundational automata-based techniques to deal with both cases.…
View article
A metaheuristic-based framework for index tracking with practical constraints Open
Recently, numerous investors have shifted from active strategies to passive strategies because the passive strategy approach affords stable returns over the long term. Index tracking is a popular passive strategy. Over the preceding year, …
View article
Improving massive experiments with threshold blocking Open
Inferences from randomized experiments can be improved by blocking: assigning treatment in fixed proportions within groups of similar units. However, the use of the method is limited by the difficulty in deriving these groups. Current bloc…