Search results for "Logics"
showing 10 items of 124 documents
Meta-analysis: remission and response from control arms of randomized trials of biological therapies for active luminal Crohn's disease.
2008
1. Aliment Pharmacol Ther. 2008 Jun;27(12):1210-23. Epub 2008 Mar 14. Meta-analysis: remission and response from control arms of randomized trials of biological therapies for active luminal Crohn's disease. Tinè F, Rossi F, Sferrazza A, Orlando A, Mocciaro F, Scimeca D, Olivo M, Cottone M. Divisione di Gastroenterologia, Azienda Ospedaliera V. Cervello, Palermo, Italy. fabiotinemd@virgilio.it BACKGROUND: Remission and response are the main outcomes to evaluate the efficacy of new treatments for Crohn's disease (CD). AIM: To explain variation of remission and response rates in active luminal CD. METHODS: We studied control patients from trials of biological therapies through articles retriev…
Improved effectiveness from individualized dosing of self-administered biologics for the treatment of moderate-to-severe psoriasis: a 5-year retrospe…
2019
Background: Biologics for moderate-to-severe psoriasis are expensive and treatment substitutions may vastly increase cost. Moreover, administration regimens in routine practice may differ from recommended guidelines. Objectives: To evaluate long-term effectiveness, regimen, drug-survival, and efficiency of self-administered biologics in clinical practice. Methods: We performed a 5-year retrospective study in 72 patients (44 ± 14 years old) with moderate-to-severe psoriasis at the University Hospital La Plana (Vila-real, Spain), treated with subcutaneous biologics. We determined the effectiveness (PASI 75 or PASI < 5), and drug-survival using Kaplan-Meier estimates, and analyzed reasons for …
Weakly algebraizable logics
2000
AbstractIn the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.
La filosofía y sus lógicas
2003
It is common use at the end of the century to make retrospectives in all domains: politics, sciences, military, arts... This has also been made in philosophy, and it tries to explain the world from fightings between one another, lists of great men names, the death of the field itself, rhapsodies of schools and philosophers, conceptual exhibitions of external problems (biographic, politic or colonial ones) and so on. In this paper, it is intended to give a criterium internal to the philosophy itself, in order to classify the philosophical thought all along the 20th century. This criterium has to be built as a philosophical idea in which are situated the methods, the ontologies and the ethics…
Frames for fusions of modal logics
2018
Let us consider multimodal logics and . We assume that is characterised by a class of connected frames, and there exists an -frame with a so-called -starting point. Similarly, the logic is characterised by a class of connected frames, and there exists an -frame with a -starting point. Using isomorphic copies of the frames and , we construct a connected frame which characterises the fusion . The frame thus obtained has some useful properties. Among others, is countable if both and are countable, and there is a special world of the frame such that any formula is valid in the frame if and only if it is valid at the point . We also describe a similar construction where we assume the existence o…
Nonlocal Quantum XOR Games for Large Number of Players
2010
Nonlocal games are used to display differences between classical and quantum world In this paper, we study nonlocal games with a large number of players We give simple methods for calculating the classical and the quantum values for symmetric XOR games with one-bit input per player, a subclass of nonlocal games We illustrate those methods on the example of the N-player game (due to Ardehali [Ard92]) that provides the maximum quantum-over-classical advantage.
Equivalence closure in the two-variable guarded fragment
2015
We consider the satisfiability and finite satisfiability problems for the extension of the two-variable guarded fragment in which an equivalence closure operator can be applied to two distinguished binary predicates. We show that the satisfiability and finite satisfiability problems for this logic are 2-ExpTime-complete. This contrasts with an earlier result that the corresponding problems for the full two-variable logic with equivalence closures of two binary predicates are 2-NExpTime-complete.
On the Quantum and Classical Complexity of Solving Subtraction Games
2019
We study algorithms for solving Subtraction games, which are sometimes referred as one-heap Nim games.
Efficient FPGA Implementation of an Adaptive Noise Canceller
2006
A hardware implementation of an adaptive noise canceller (ANC) is presented. It has been synthesized within an FPGA, using a modified version of the least mean square (LMS) error algorithm. The results obtained so far show a significant decrease of the required gate count when compared with a standard LMS implementation, while increasing the ANC bandwidth and signal to noise (S/N) ratio. This novel adaptive noise canceller is then useful for enhancing the S/N ratio of data collected from sensors (or sensor arrays) working in noisy environment, or dealing with potentially weak signals.
The promise of spintronics for unconventional computing
2021
Novel computational paradigms may provide the blueprint to help solving the time and energy limitations that we face with our modern computers, and provide solutions to complex problems more efficiently (with reduced time, power consumption and/or less device footprint) than is currently possible with standard approaches. Spintronics offers a promising basis for the development of efficient devices and unconventional operations for at least three main reasons: (i) the low-power requirements of spin-based devices, i.e., requiring no standby power for operation and the possibility to write information with small dynamic energy dissipation, (ii) the strong nonlinearity, time nonlocality, and/o…