Results 1 to 10 of about 274,861 (135)
Normalisation Control in Deep Inference via Atomic Flows [PDF]
Logical Methods in Computer Science, 2008 We introduce `atomic flows': they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomic flows that correspond to complex reductions on derivations. This allows us to
Alessio Guglielmi, Tom Gundersen
doaj +10 more sources
Degradation graphs reveal hidden proteolytic activity in peptidomes. [PDF]
PLoS Computational BiologyProtein degradation is a regulated process that reshapes the proteome and generates bioactive peptides. Peptidomics and degradomics enables large-scale measurement of these peptides, yet most data analyses approaches treat peptides as isolated endpoints ...
Erik Hartman +2 more
doaj +2 more sources
Pedestrian Flows Analysis to Create a Sustainable Development Concept for a Metropolitan Area [PDF]
E3S Web of Conferences, 2023 This article presents the results of structuring the territory adjacent to Pryanishnikov Street in the Timiryazevsky District of the Northern Administrative District of Moscow. The key objects of the street road network that form the pedestrian flows are
Altunina Yulia, Boikova Galina
doaj +1 more source
Simple graph models of information spread in finite populations [PDF]
Royal Society Open Science, 2015 We consider several classes of simple graphs as potential models for information diffusion in a structured population. These include biases cycles, dual circular flows, partial bipartite graphs and what we call ‘single-link’ graphs.
Burton Voorhees, Bergerud Ryder
doaj +1 more source
Coherent fans in the space of flows in framed graphs [PDF]
Discrete Mathematics & Theoretical Computer Science, 2012 Let $G=(V,E)$ be a finite acyclic directed graph. Being motivated by a study of certain aspects of cluster algebras, we are interested in a class of triangulations of the cone of non-negative flows in $G, \mathcal F_+(G)$.
Vladimir I. Danilov +2 more
doaj +1 more source
Acoustic hysteresis in flows with different kinds of relaxation and attenuation [PDF]
Archives of Acoustics, 2022 Graphs in the thermodynamic plane acoustic pressure versus excess acoustic density representing acoustic hysteresis, are considered as indicators of relaxation processes, equilibrium parameters of a flow, and kinds of wave exciters.
Anna Perelomova
doaj +1 more source
Linear Algebraic Relations among Cardinalities of Sets of Matroid Functions
Mathematics, 2023 We introduce a unifying approach for invariants of finite matroids that count mappings to a finite set. The aim of this paper is to show that if the cardinalities of mappings with fixed values on a restricted set satisfy contraction–deletion rules, then ...
Martin Kochol
doaj +1 more source
Exceedance probability of characteristic flows in Poland [PDF]
Acta Scientiarum Polonorum. Formatio Circumiectus, 2023 Aim of the study: The goals of this paper are: to determine the empirical exeedance probability of the characteristic flows Qchar (SNQ, WNQ, NSQ, SSQ, WSQ, NWQ and SWQ) in Poland; to link the flows Qchar with quantiles Qp and to examine the relationship
Katarzyna Baran-Gurgul
doaj +1 more source
Selected characteristics of hydrological drought progression in the upper Warta river catchment [PDF]
Acta Scientiarum Polonorum. Formatio Circumiectus, 2018 Low-flows are an important component of the river regime. Their identification advances our knowledge about the formation of water resources in drought conditions.
Malwina Kozek, Edmund Tomaszewski
doaj +1 more source
GRAPH MODEL OF VEHICLE CONFLICT INTERACTION AT VARIOUS CROSSROADS
Наука и техника, 2018 The paper introduces a new notion that is a graph of crossroad transport flows. It has been shown that the given graph serves as a unification of conflict graphs. The paper provides numerical characteristics of graphs on conflict interaction of transport
D. V. Kapskiy, V. N. Shutst, P. A. Pegin
doaj +1 more source