Results 61 to 70 of about 1,601,892 (304)
A Complexity Analysis of Functional Interpretations
BRICS Report Series, 2003 We give a quantitative analysis of Gödel's functional interpretation and its monotone variant. The two have been used for the extraction of programs and numerical bounds as well as for conservation results. They apply both to (semi-)intuitionistic as well as (combined with negative translation) classical proofs.
Mircea-Dan Hernest, Ulrich Kohlenbach
openaire +3 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Neuromyelitis optica spectrum disorder (NMOSD) is a relapsing autoimmune disease of the central nervous system. High‐dose intravenous methylprednisolone (IVMP) is the standard first‐line therapy for acute attacks, although some patients remain refractory.
Wataru Horiguchi +5 more
wiley +1 more source
Responsive Governance and Harmful Microbial Blooms on Lake Erie: An ABM Approach
, 2019 In general, decision makers tend to respond to problems rather than prevent them. In political science, this process of responsive governance is associated with complex dynamics such as availability cascades and punctuated equilibrium.
Pavlovich, Tyler, Webster, DG
core +1 more source
Criteria For Conceptual And Operational Notions of Complexity [PDF]
, 2008 While complex systems have been studied now for more than two decades, there still is no agreement on what complexity actually is. This lack of a definition might be a problem when asking questions about the evolution of complexity.
Chu, Dominique
core +1 more source
Stochastic Bigger Subspace Algorithms for Nonconvex Stochastic Optimization
IEEE Access, 2021 It is well known that the stochastic optimization problem can be regarded as one of the most hard problems since, in most of the cases, the values of $f$ and its gradient are often not easily to be solved, or the $F(\cdot, \xi)$ is normally not given
Gonglin Yuan +3 more
doaj +1 more source
Dietary Protein Intake and Peritoneal Protein Losses in Peritoneal Dialysis Patients
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Peritoneal dialysis (PD) patients lose protein in their waste dialysate, potentially increasing their risk for malnutrition. We wished to determine whether there was any association between losses and dietary protein intake (DPI). Methods DPI was assessed from 24‐h dietary recall using Nutrics software.
Haalah Shaaker, Andrew Davenport
wiley +1 more source
Modeling Innovations: Levels of Complexity in the Discovery of Novel Scientific Methods
PhilosophiesScientists often disagree on the best theory to describe a scientific event. While such debates are a natural part of healthy scientific discourse, the timeframe for scientists to converge on an ideal method may not always align with real-life knowledge ...
José Ferraz-Caetano
doaj +1 more source
Entropy and Recurrence Measures of a Financial Dynamic System by an Interacting Voter System
Entropy, 2015 A financial time series agent-based model is reproduced and investigated by the statistical physics system, the finite-range interacting voter system.
Hong-Li Niu, Jun Wang
doaj +1 more source
Multi-Robot Persistent Surveillance With Connectivity Constraints
IEEE Access, 2020 Mobile robots, especially unmanned aerial vehicles (UAVs), are of increasing interest for surveillance and disaster response scenarios. We consider the problem of multi-robot persistent surveillance with connectivity constraints where robots have to ...
Jurgen Scherer, Bernhard Rinner
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Pre‐dilution online hemodiafiltration (Pre‐HDF) is predominantly used in Japan, whereas post‐dilution online HDF (Post‐HDF) is more common in Europe. An asymmetric cellulose triacetate (ATA) membrane may improve biocompatibility.
Kenji Sakurai +4 more
wiley +1 more source