Results 31 to 40 of about 204,919 (207)
Remote SensingGold is a vital strategic resource for many countries. The Laozhaiwan area is an important gold resource base in Yunnan Province and even nationwide.
Qi Chen +11 more
doaj +1 more source
Temporal Graphs and Temporal Network Characteristics for Bio-Inspired Networks during Optimization
Applied Sciences, 2022 Temporal network analysis and time evolution of network characteristics are powerful tools in describing the changing topology of dynamic networks. This paper uses such approaches to better visualize and provide analytical measures for the changes in ...
Nicholas S. DiBrita +4 more
doaj +1 more source
Regular Partitions of Regular Graphs [PDF]
Canadian Mathematical Bulletin, 1978 In the study of the combinatorial structure of edge-graphs of convex polytopes one may ask whether a given graph possesses a partition consisting of certain kinds of subgraphs.In this paper we describe some special partitions of 3-valent and 4-valent graphs.
openaire +2 more sources
CoRR, 2020 Mixup is a data augmentation technique that creates new examples as convex combinations of training points and labels. This simple technique has empirically shown to improve the accuracy of many state-of-the-art models in different settings and applications, but the reasons behind this empirical success remain poorly understood. In this paper we take a
Luigi Carratino +3 more
openaire +5 more sources
Iterative regularization for convex regularizers
, 2020 We study iterative regularization for linear models, when the bias is convex but not necessarily strongly convex. We characterize the stability properties of a primal-dual gradient based approach, analyzing its convergence in the presence of worst case deterministic noise.
Cesare Molinari +3 more
openaire +4 more sources
Regular Model Checking with Regular Relations [PDF]
, 2021 Regular model checking is an exploration technique for infinite state systems where state spaces are represented as regular languages and transition relations are expressed using rational relations over infinite (or finite) strings. We extend the regular model checking paradigm to permit the use of more powerful transition relations: the class of ...
Vrunda Dave +3 more
openaire +3 more sources
Balanced-by-Construction Regular and ω-Regular Languages
International Journal of Foundations of Computer Science, 2021 Parenn is the typical generalization of the Dyck language to multiple types of parentheses. We generalize its notion of balancedness to allow parentheses of different types to freely commute. We show that balanced regular and [Formula: see text]-regular languages can be characterized by syntactic constraints on regular and [Formula: see text]-regular ...
Luc Edixhoven, Sung-Shik Jongmans
openaire +5 more sources
Quasi-randomness and algorithmic regularity for graphs with general degree distributions [PDF]
, 2010 We deal with two intimately related subjects: quasi-randomness and regular partitions. The purpose of the concept of quasi-randomness is to express how much a given graph “resembles” a random one.
Schacht, Mathias +5 more
core +1 more source
Regular Operator Equations: Conditions for Regularity [PDF]
Proceedings of the American Mathematical Society, 1982 Regular operator equations are causal equations admitting unique solutions and have the property that all of their limiting equations along solutions admit unique solutions. Sufficient conditions which guarantee that an operator equation
openaire +2 more sources
Exponential self-similar mixing and loss of regularity for continuity equations [PDF]
, 2014 We consider the mixing behaviour of the solutions of the continuity equation associated with a divergence-free velocity eld. In this announcement we sketch two explicit examples of exponential decay of the mixing scale of the solution, in case of Sobolev
Crippa, Gianluca +5 more
core +1 more source