Results 71 to 80 of about 367 (158)
Gas of Particles Obeying the Monotone Statistics. [PDF]
Fidaleo F.
europepmc +1 more source
Safe Stabilization Using Non‐Smooth Control Lyapunov Barrier Function
ABSTRACT This paper addresses the challenge of safe stabilization, ensuring the system state reaches the origin while avoiding unsafe state regions. Existing approaches that rely on smooth Lyapunov barrier functions often fail to guarantee a feasible controller. To overcome this limitation, we introduce the non‐smooth control Lyapunov barrier function (
Jianglin Lan +3 more
wiley +1 more source
The critical complexity of all (monotone) boolean functions and monotone graph properties
CREW-PRAM's are a powerful model of parallel computers. Lower bounds for this model are rather general. \textit{S. A. Cook}, \textit{C. Dwork} and \textit{R. Reischuk} [SIAM J. Comput. 15, 87-97 (1986)] proved that the CREW-PRAM complexity of Boolean functions is bounded by \(\log_ b(f)\), where \(b\approx 4.79\) and c(f) is the critical complexity of ...
openaire +1 more source
Computation of Immediate Neighbours of Monotone Boolean Functions
Boolean networks constitute relevant mathematical models to study the behaviours of genetic and signalling networks. These networks define regulatory influences between molecular nodes, each being associated to a Boolean variable and a regulatory (local) function specifying its dynamical behaviour depending on its regulators.
José E. R. Cury +4 more
openaire +2 more sources
Spontaneous emergence of computation in network cascades. [PDF]
Wilkerson G, Moschoyiannis S, Jensen HJ.
europepmc +1 more source
Monotone Circuit Lower Bounds from Robust Sunflowers. [PDF]
Cavalar BP, Kumar M, Rossman B.
europepmc +1 more source
On the Thermodynamics of Particles Obeying Monotone Statistics. [PDF]
Ciolli F, Fidaleo F, Marullo C.
europepmc +1 more source
Boolean network sketches: a unifying framework for logical model inference. [PDF]
Beneš N +4 more
europepmc +1 more source
Update rules and semantic universals. [PDF]
Incurvati L, Sbardolini G.
europepmc +1 more source
Functions computed by monotone boolean formulas with no repeated variables
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources

