Search results for "proof"
showing 10 items of 187 documents
The Duality of Entropy/Extropy, and Completion of the Kullback Information Complex
2018
The refinement axiom for entropy has been provocative in providing foundations of information theory, recognised as thoughtworthy in the writings of both Shannon and Jaynes. A resolution to their concerns has been provided recently by the discovery that the entropy measure of a probability distribution has a dual measure, a complementary companion designated as &ldquo
Solving Two-Person Zero-Sum Stochastic Games With Incomplete Information Using Learning Automata With Artificial Barriers
2021
Learning automata (LA) with artificially absorbing barriers was a completely new horizon of research in the 1980s (Oommen, 1986). These new machines yielded properties that were previously unknown. More recently, absorbing barriers have been introduced in continuous estimator algorithms so that the proofs could follow a martingale property, as opposed to monotonicity (Zhang et al., 2014), (Zhang et al., 2015). However, the applications of LA with artificial barriers are almost nonexistent. In that regard, this article is pioneering in that it provides effective and accurate solutions to an extremely complex application domain, namely that of solving two-person zero-sum stochastic games that…
A formal proof of the e-optimality of discretized pursuit algorithms
2015
Learning Automata (LA) can be reckoned to be the founding algorithms on which the field of Reinforcement Learning has been built. Among the families of LA, Estimator Algorithms (EAs) are certainly the fastest, and of these, the family of discretized algorithms are proven to converge even faster than their continuous counterparts. However, it has recently been reported that the previous proofs for ??-optimality for all the reported algorithms for the past three decades have been flawed. We applaud the researchers who discovered this flaw, and who further proceeded to rectify the proof for the Continuous Pursuit Algorithm (CPA). The latter proof examines the monotonicity property of the proba…
The minimal model of Hahn for the Calvin cycle.
2018
There are many models of the Calvin cycle of photosynthesis in the literature. When investigating the dynamics of these models one strategy is to look at the simplest possible models in order to get the most detailed insights. We investigate a minimal model of the Calvin cycle introduced by Hahn while he was pursuing this strategy. In a variant of the model not including photorespiration it is shown that there exists exactly one positive steady state and that this steady state is unstable. For generic initial data either all concentrations tend to infinity at lates times or all concentrations tend to zero at late times. In a variant including photorespiration it is shown that for suitable v…
Categorical Modeling Method, Proof of Concept for the Petri Net Language
2019
Modeling increases the importance of processes significantly, but also imposes higher requirements for the accuracy of process specifications, since an error in the design of a process may only be discovered after it already produces large cumulative losses. We believe that modeling tools can help build better models in a shorter time. This inevitably results in the need to build formal models that can be theoretically verified. A category as well as a model is a mixture of graphical information and algebraic operations. Therefore, category language seems to be the most general to describe the models. The category theory offers an integrated vision of the concepts of a model, and also provi…
Association Between Serum Levels of Neurofilament Light Chains and Minimal Hepatic Encephalopathy in Patients With Liver Cirrhosis.
2021
INTRODUCTION: Serum biomarkers for the diagnosis of minimal hepatic encephalopathy (MHE) in patients with liver cirrhosis would be desirable. In this proof-of-concept study, we investigated the association between MHE and serum levels of neurofilament light chains (sNfL) in patients with liver cirrhosis. METHODS: sNfL were studied in patients with liver cirrhosis (with or without MHE) and controls (patients with ischemic stroke, transitory ischemic attack, and healthy individuals). MHE was diagnosed using the Psychometric Hepatic Encephalopathy Score. RESULTS: Patients with MHE showed higher sNfL than patients without MHE and controls. In multivariable analyses, higher sNfL were independent…
Analysis of a Collapsed Long-Span Reinforced Concrete Roof in South Italy: Design Mistakes and Material Degradation
2020
In 2004, during ordinary maintenance work, consisting of waterproofing a building located in the south of Italy, the long-span (14.5 m) in situ RC roof partially collapsed. The building, constructed in 1950, was in service as a cinema until 1967 and then utilized as a school until 1985. Lastly, it was a hotel until 2000. In 2004, when the building was not in service and was undergoing maintenance work, it partially collapsed under dead load. After the collapse, which involved a large portion of the roof, several beams, and two columns, the Italian court nominated an official technical consultant to investigate the direct and related causes of the failure. After the main causes were identifi…
Empirical measures and Vlasov hierarchies
2013
The present note reviews some aspects of the mean field limit for Vlasov type equations with Lipschitz continuous interaction kernel. We discuss in particular the connection between the approach involving the N-particle empirical measure and the formulation based on the BBGKY hierarchy. This leads to a more direct proof of the quantitative estimates on the propagation of chaos obtained on a more general class of interacting systems in [S.Mischler, C. Mouhot, B. Wennberg, arXiv:1101.4727]. Our main result is a stability estimate on the BBGKY hierarchy uniform in the number of particles, which implies a stability estimate in the sense of the Monge-Kantorovich distance with exponent 1 on the i…
A phase 2 randomized, double-blind, placebo-controlled, proof-of-concept study of oral seletalisib in primary Sjögren’s syndrome
2020
Abstract Objectives This phase 2 proof-of-concept study (NCT02610543) assessed efficacy, safety and effects on salivary gland inflammation of seletalisib, a potent and selective PI3Kδ inhibitor, in patients with moderate-to-severe primary Sjögren’s syndrome (PSS). Methods Adults with PSS were randomized 1:1 to seletalisib 45 mg/day or placebo, in addition to current PSS therapy. Primary end points were safety and tolerability and change from baseline in EULAR Sjögren’s Syndrome Disease Activity Index (ESSDAI) score at week 12. Secondary end points included change from baseline at week 12 in EULAR Sjögren’s Syndrome Patient Reported Index (ESSPRI) score and histological features in salivary …
A Nomogram to Characterize the Severity of Detrusor Overactivity during the Ice Water Test: Description of the Method and Proof of Concept
2017
<b><i>Aims:</i></b> To develop a nomogram with severity categories for detrusor overactivity (DO). <b><i>Methods:</i></b> By conducting ice water tests (IWT) in 55 patients with Parkinson’s disease, we identified criteria to describe characteristics of the detrusor pressure curves: (1) a gradient of Δ<i>pdet</i> over Δt at the maximum detrusor pressure and (2) the area under the curve. In a nomogram, 10 severity categories of DO were established: 1 and 2 were assigned to group A (mild), 3 and 4 to group B (moderate) and 5–10 to group C (severe). <b><i>Results:</i></b> In the nomogram, negative IWT (20) appea…