نتایج جستجو برای: sub mv algebra
تعداد نتایج: 298476 فیلتر نتایج به سال:
Kiriakos Kotzabasis and Horst Senger Fachbereich Biologie/Botanik, Philipps-Universität, Lahnberge, D-3550 Marburg, Bundesrepublik Deutschland Z. Naturforsch. 41c, 1001 — 1003 (1986); received July 1, 1986 Scenedesmus obliquus, Protochlorophyllide, Monovinyl Protochlorophyllide, Divinyl Protochlorophyllide Three Protrochlorophyllides (protochlorophyllide) were separated from mutant C-2 A' of th...
We introduce and study a Hopf algebra containing the descent algebra as a sub-Hopf-algebra. It has the main algebraic properties of the descent algebra, and more: it is a sub-Hopf-algebra of the direct sum of the symmetric group algebras; it is closed under the corresponding inner product; it is cocommutative, so it is an enveloping algebra; it contains all Lie idempotents of the symmetric grou...
Learning over multi-view data is a challenging problem with strong practical applications. Most related studies focus on the classification point of view and assume that all the views are available at any time. We consider an extension of this framework in two directions. First, based on the BiGAN model, the Multi-view BiGAN (MV-BiGAN) is able to perform density estimation from multi-view input...
We demonstrate, for the first time, the large electromechanical response in ne-matic liquid crystalline elastomers filled with a very low (∼ 0.01%) concentration of carbon nanotubes, aligned along the nematic director at preparation. The nan-otubes create a very large effective dielectric anisotropy of the composite. Their local field-induced torque is transmitted to the rubber-elastic network ...
A new design for a true-linear generator suitable for electrochemical measures is presented. The main component of generation system is an MAX038 chip, a high-frequency relaxation-type oscillator. The design is completed with a digital interface for computer control and an output stage to make signal suitable for cyclic voltammetry experiments. A digital circuit is also included to obtain singl...
Three-level logic is shown to have a potential for reduction of the area over twolevel implementations, as well as for a gain in speed over multi-level implementations. In this paper we present an heuristic algorithm, AOXMIN-MV, targeting a three-level logic expression which is an XOR of two sum-of-products. For some practical functions, such an AND-OR-XOR expression may have up to 27 times les...
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, that interprets hardware descriptions in WS1S, the weak monadic second-order logic of one successor. We show how, using a decision procedure for WS1S, our semantics provides a simple but effective basis for diverse kin...
Fair Trade is an international movement which aims to strengthen the livelihoods of producers in the South, and to give the opportunity for conscious customers in the North to buy socially and environmentally friendly products. The conventional trade system is criticised, as well as the efficiency of aid to support developing countries. The core idea of Fair Trade is therefore “Trade not Aid”, ...
As part of preparations for a southern sky search for faint Milky Way dwarf galaxy satellites, we report the discovery of a stellar overdensity in the Sloan Digital Sky Survey Data Release 5, lying at an angular distance of only 1.5 degrees from the recently discovered Boötes dwarf. The overdensity was detected well above statistical noise by employing a sophisticated data mining algorithm and ...
EQ-algebras were introduced by Nov?ak in [16] as an algebraic structure of truth values for fuzzy type theory (FTT). Nov?k and De Baets [18] various kinds such good, residuated, lattice ordered EQ-algebras. In any logical structures, using filters, one can construct other structures. With this inspirations, means fantastic filters we MV-algebras. Also, study prelinear introduce a new kind filte...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید