Results 31 to 40 of about 7,077,388 (197)
Algorithms, 2017 Interval Type-2 fuzzy systems allow the possibility of considering uncertainty in models based on fuzzy systems, and enable an increase of robustness in solutions to applications, but also increase the complexity of the fuzzy system design.
Emanuel Ontiveros-Robles +2 more
doaj +1 more source
Electrochemistry of potential bioreductive alkylating quinones : Part 2. Electrochemical properties of 2,5-bis(1-aziridinyl)-3,6-bis(ethoxycarbonylamino)-1,4-benzoquinone and some model compounds [PDF]
, 1990 The reduction mechanism of 2,5-bis(1-aziridinyl)-3,6-bis(ethoxycarbonylamino)-1,4-benzoquinone (Diaziquone, AZQ) and several model compounds of the mono- and bis(1-aziridinyl)quinone type at the dropping mercury electrode in aqueous solutions was studied.
Blauw, J.S. +6 more
core +2 more sources
Interval Type-2 Fuzzy Markov Chains: Type Reduction
, 2012 This paper shows an application of Type-reduction algorithms for computing the steady state of an Interval Type-2 Fuzzy Markov Chain (IT2FM). The IT2FM approach is an extension of the scope of a Type-1 fuzzy markov chain (T1FM) that allows to embed several Type-1 fuzzy sets (T1FS) inside its Footprint of Uncertainty.
Figueroa García, Juan Carlos +2 more
openaire +3 more sources
Light types for polynomial time computation in lambda-calculus [PDF]
, 2004 We propose a new type system for lambda-calculus ensuring that well-typed programs can be executed in polynomial time: Dual light affine logic (DLAL). DLAL has a simple type language with a linear and an intuitionistic type arrow, and one modality.
Baillot, Patrick, Terui, Kazushige
core +3 more sources
Research on Precise Feeding Strategies for Large-Scale Marine Aquafarms
Journal of Marine Science and EngineeringBreeding in large-scale marine aquafarms faces many challenges in terms of precise feeding, including real-time decisions as to the precise feeding amount, along with disturbances caused by the feeding speed and the moving speed of feeding equipment ...
Yizhi Wang +6 more
doaj +1 more source
The Yoneda Reduction of Polymorphic Types
, 2021 In this paper we explore a family of type isomorphisms in System F whose validity corresponds, semantically, to some form of the Yoneda isomorphism from category theory. These isomorphisms hold under theories of equivalence stronger than βη-equivalence, like those induced by parametricity and dinaturality.
Pistone P., Tranchini L.
openaire +3 more sources
Reduction of Anyons to One Dimension and Calogero-Sutherland-type Models
, 1998 The two-dimensional anyon system, when reduced to one dimension, yields models related to the Calogero-Sutherland model. One such reduction leads to a new model with a class of exact solutions.
Vathsan, Radhika
core +1 more source
Biomolecules & Biomedicine, 2009 Dietary interventions with protein and salt restriction, good glucose control, smoking cessation, aggressive blood pressure control, good control of cholesterol and triglycerides, use of ACE inhibitors and ARBs can delay the progression of diabetic ...
Belma Aščić – Buturović +2 more
doaj +1 more source
Stochastic noise reduction upon complexification: positively correlated birth-death type systems
, 2014 Cell systems consist of a huge number of various molecules that display specific patterns of interactions, which have a determining influence on the cell's functioning.
Albert, Jaroslav +2 more
core +1 more source
On computing minimal realizations of periodic descriptor systems [PDF]
, 2007 : We propose computationally efficient and numerically reliable algorithms to compute minimal realizations of periodic descriptor systems. The main computational tool employed for the structural analysis of periodic descriptor systems (i.e., reachability
Varga, Andreas
core +1 more source