نتایج جستجو برای: sub mv algebra

تعداد نتایج: 298476  

2013
Kiriakos Kotzabasis Horst Senger

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...

2003

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...

2017
Mickaël Chen Ludovic Denoyer

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...

2003
S. Courty J. Mine A. R. Tajbakhsh E. M. Terentjev

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 ...

Journal: :Computational biology and chemistry 2003
Juan D. Mozo Emilio Roldán Manuel María Domínguez

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...

1999
E. V. Dubrova D. M. Miller J. C. Muzio

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...

2000
David A. Basin Stefan Friedrich Sebastian Mödersheim

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...

2015
Emma Carlsson

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”, ...

2008
S. M. Walsh H. Jerjen B. Willman

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 ...

Journal: :Filomat 2021

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید