The concept of Bregman distances for Euclidean space vectors was introduced by Bregman (1967) in the context of convex programming. In this setup, the Bregman method has been widely applied and adapted, especially for the design of regularization algorithms for …nding a good approximate solution of inverse problems e.g. in image processing (tomography etc.), see for instance Censor and Lent (19...

In this paper a framework is developed for measuring the complexities of deductions in an ab­ stract and computationally perspicuous man­ ner. As a notion of central importance appears the so-called polynomial transparency of a cal­ culus. If a logic calculus possesses this prop­ erty, then the complexity of any deduction can be correctly measured in terms of its inference steps. The resolution...

Vegetable consumption by young children does not meet national recommendations in either the United States or in Europe due in part to the bitter taste of vegetables. Cruciferous vegetables contain natural bitter-tasting substances that share the same chemical structure as phenylthiocarbamide (PTC) and its chemical derivative 6-n-propylthiouracil (PROP). The degree to which the bitter taste fro...

BACKGROUND The effects of anesthetics on ischemia-induced ventricular arrhythmias remain poorly studied. This study investigated the effects of propofol and sevoflurane on the survival rate and morbidity as a result of ventricular arrhythmias, and defined a possible mechanism for the arrhythmogenic properties of anesthetics during acute myocardial ischemia. METHODS Under anesthesia with intra...

We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing “algebraic” semantics nonclassical first-order logics. This includes natural notion of substitution, which allows logics be considered as structural closure operators just propositional are in abstract algebraic logic. then establish an extension the homomorphism theorem from universal alg...

Abstract We introduce the concept of TRAP (Traces and Permutations), which can roughly be viewed as a wheeled PROP (Products Permutations) without unit. TRAPs are equipped with horizontal concatenation partial trace maps. Continuous morphisms on an infinite-dimensional topological space smooth kernels (respectively, smoothing operators) closed manifold form but not PROP. build free objects in c...

1 Government-controlled property refers to property that is permanently maintained by the U.S. Federal Government for planned training exercises or maneuvers by individual units, commands, and inter-commands of the U.S. Armed Forces, including friendly foreign military elements. reproduction contractor will copy documents for a fee. Persons who do not have access to ADAMS or who encounter probl...

Ordered binary decision diagrams (OBDDs) are graph-based data structures for representing Boolean functions. They have found widespread use in computer-aided design and in formal veri cation of digital circuits. Minimal trellises are graphical representations of error-correcting codes that play a prominent role in coding theory. This paper establishes a close connection between these two graphi...

Citation: Ramalho SP, Lins L, Bueno-Pardo J, Cordova EA, Amisi JM, Lampadariou N, Vanreusel A and Cunha MR (2017) Deep-Sea Mega-Epibenthic Assemblages from the SW Portuguese Margin (NE Atlantic) Subjected to Bottom-Trawling Fisheries. Front. Mar. Sci. 4:350. doi: 10.3389/fmars.2017.00350 Deep-Sea Mega-Epibenthic Assemblages from the SW Portuguese Margin (NE Atlantic) Subjected to Bottom-Trawlin...