Method evolves spatial features from satellite imagery for regional modeling.
problem Regional summaries from high-resolution satellite data for geospatial phenomena.
method Induces spatial aggregations using Genetic Programming to optimize model performance.
result Genetic Programming synthesizes effective spatial aggregations and improves model predictions.
Deep learning detects snow avalanches in SAR images with high accuracy.
problem Accurate detection of snow avalanches in remote areas using satellite imagery.
method Fully Convolutional Neural Network trained on manually labeled Sentinel-1 radar images.
result Deep learning model achieves F1 score above 66% compared to 38% for state-of-the-art methods.
Study characterizes cryospheric spectral feature space using joint PC+t-SNE approach.
problem Characterize cryospheric spectral feature space for remote sensing applications.
method Compare and contrast two approaches for identifying feature space basis vectors via dimensionality reduction (PCA and t-SNE).
result Joint characterization reveals distinct continua and clusters of ice reflectance properties.
bnlearn is an R package which includes several algorithms for learning the structure of Bayesian networks with either discrete or continuous variables. Both constraint-based and score-based algorithms are implemented, and can use the functionality provided by the snow package to improve their performance via parallel c…
Viewing a data set such as the clouds of Jupiter, coherence is readily apparent to human observers, especially the Great Red Spot, but also other great storms and persistent structures. There are now many different definitions and perspectives mathematically describing coherent structures, but we will take an image pro…
Neuro-symbolic system tackles conversational AI's need for natural, broad-ranging dialogue.
problem Understanding unstated presumptions in conversational AI commands.
method Neuro-symbolic theorem prover for multi-hop reasoning.
result Extracts multi-hop reasoning chains from natural language commands.
Simple noise training improves image recognition robustness.
problem Modern neural networks struggle with unseen image corruptions.
method Additive Gaussian and Speckle noise training, adversarial training against worst-case noise.
result Significant improvement in robustness on ImageNet-C and MNIST-C benchmarks.
Unified machine learning framework for deep learning and web services.
problem Deep learning and web service challenges.
method MMLSpark expands Spark to deep learning, micro-service orchestration, etc.
result Unified API for deep learning and web services.
NeuralHydrology uses LSTMs to forecast rainfall-runoff, revealing interpretable patterns.
problem Difficulty in interpreting LSTMs in environmental sciences.
method Application of LSTMs for rainfall-runoff forecasting in hydrology, analyzing patterns internally.
result Trained LSTMs reveal patterns consistent with hydrological system understanding.
Recurrent CNNs improve image classification in low light conditions.
problem Poor performance of CNNs in noisy images.
method Added recurrent connections to CNN layers to enhance robustness.
result gruCNNs outperform cCNNs in low signal-to-noise ratio images.
New method discourages models from using bias shortcuts for better generalization.
problem Training models on biased data can lead to poor generalization when bias shifts.
method Train a de-biased representation by encouraging it to differ from biased representations.
result Improved generalization across synthetic and real-world biases.
Study examines equity in post-Snow Uri recovery, finds disparities.
problem Disproportionate impacts on vulnerable populations during recovery.
method County and census tract level data analysis, satellite imagery, statistical procedures.
result Negative associations between non-Hispanic whites and outages, positive associations with certain demographic variables.
ST-STORM separates semantic and appearance features for robust representation learning.
problem Traditional SSL methods fail to capture appearance cues in critical applications.
method Hybrid SSL framework with two latent streams, Content and Style, disentangled through gating mechanisms.
result The Style branch effectively isolates complex appearance phenomena without degrading semantic performance.
LSTM models with DI enhance streamflow forecasts across diverse regions.
problem Challenges in integrating varied discharge measurements for accurate streamflow forecasts.
method Flexible data integration (DI) using LSTM models with CNN units for lagged inputs.
result DI significantly improved streamflow forecast performance, reaching record efficiency coefficients.
The paper uses CNNs to classify road conditions in real-time.
problem Classifying road conditions in real-time using images from cameras across North America.
method Used state-of-the-art convolutional neural networks (VGG-16, ResNet50, Xception, InceptionResNetV2, EfficientNet-B0 and EfficientNet-B4) to classify images by road condition.
result EfficientNet-B4 framework achieved validation accuracy of 90.6% in real-time map building.
Groups with Property (T) have fiber products with Property (T).
problem When does the fiber product of groups with Property (T) have Property (T)?
method Analyzing fiber products of groups with Property (T).
result Fiber products of groups with Property (T) also have Property (T).
We prove recognition theorems for codimension one manifold factors of dimension n≥4. In particular, we formalize topographical methods and introduce three ribbons properties: the crinkled ribbons property, the twisted crinkled ribbons property, and the fuzzy ribbons property. We show that X×R i…
The study shows that several properties are not profinite invariants.
problem Determining which properties are profinite invariants.
method Combining Rips constructions and iterated group-theoretic Dehn filling on hyperbolic virtually special groups.
result Several properties (stable commutator length, quasimorphisms, property NL, property FW∞, property FA, and non-abelian free subgroups) are not profinite invariants. We show that all finite-dimensional resolvable generalized manifolds with the piecewise disjoint arc-disk property are codimension one manifold factors. We then show how the piecewise disjoint arc-disk property and other general position properties that detect codimension one manifold factors are related. We also note …
New complexity notion connects finite decomposition and asymptotic property C.
problem Understanding and connecting different properties in metric spaces.
method Introducing finite APC-decomposition complexity and proving its implications.
result Finite APC-decomposition complexity implies property A for metric spaces.
Extended Tetrahedral Property to non-Euclidean spaces.
problem Prove Tetrahedral Property in non-Euclidean spaces.
method Extend Tetrahedral Property to less restrictive definition and prove its properties.
result Generalized Tetrahedral Property retains original properties and leads to convergence results.
Investigates stability properties of Haezendonck-Goovaerts premium principles in Orlicz spaces.
problem Stability properties of Haezendonck-Goovaerts premium principles in various Orlicz spaces.
method Analysis of stability properties including Fatou and Lebesgue properties, and continuity with respect to Φ-weak convergence. result Haezendonck-Goovaerts principles satisfy the Fatou property and Lebesgue property under certain conditions.
The paper explores higher property T in lattices and its connections to geometric phenomena.
problem Understanding higher property T in lattices and related geometric phenomena.
method Operator-algebraic characterizations of higher property T and connections to lattice geometry.
result Unified framework for understanding higher property T and related geometric phenomena.
Asymptotic property C was introduced by Dranishnikov to study spaces with infinite asymptotic dimension. We show that asymptotic property C is preserved by infinite products. We also show that countable restricted direct products of countable groups with finite asymptotic dimension have asymptotic property C. Then we i…
Groups of importance in group theory have flexible stability properties.
problem Stability and flexibility of groups in geometric and combinatorial group theory.
method Establishing Kirchberg's Local Lifting Property and Lubotzky--Shalom's Property FD for specific groups.
result Groups like 3-manifold groups, limit groups, and certain one-relator groups are very flexibly stable. This paper generalizes property (QT) to a broader class of groups.
problem Proving property (QT) for a wider range of groups.
method Using projection complex machinery and hierarchical hyperbolic groups.
result Established sufficient conditions for groups to have property (QT).
Proves a vanishing property for symplectic manifold cohomology.
problem Generalizing complex geometry results to symplectic geometry.
method Based on Tseng and Zhou's vanishing property under symplectic flatness.
result Establishes necessity of symplectic flatness for certain results.
Survey shows degenerate elliptic equations have analytic properties despite low regularity.
problem Understanding analytic properties of degenerate elliptic equations.
method Explains why solutions of a specific degenerate elliptic equation are analytic.
result Solutions of a specific degenerate elliptic equation are analytic despite low regularity.
Unified approach amplifies data for distribution property estimation.
problem Estimating properties of discrete distributions efficiently.
method Unified, linear-time, competitive estimator using just 2n samples.
result Achieves performance of empirical estimator with n√log n samples using only 2n samples.
Survey on foliations and diffeomorphism groups.
problem Relationship between algebraic and homotopical properties.
method Survey and analysis of existing literature.
result Explains the connection between diffeomorphism groups and foliations.
Paper explores limits of graph property testing in Ising models.
problem Understanding information-theoretic limits of graph property testing in Ising models.
method Combinatorial constructs and correlation-based tests.
result Property testing is more challenging for general Ising models than ferromagnets.
We prove extension theorems for several geometric properties such as asymptotic property C (APC), finite decomposition complexity (FDC), strict finite decomposition complexity (sFDC) which are weakenings of Gromov's finite asymptotic dimension (FAD). The context of all theorems is a finitely generated group G with a …
Study generalizes property elicitation to imprecise probabilities.
problem Minimizing risk over imprecise probability distributions.
method Maximin risk minimization over a set of imprecise probabilities.
result Conditions for elicitability of IP-properties.
Introduces bounded scale measure and generalizes property A.
problem Defining property A for large scale spaces with bounded geometry.
method Introduces bounded scale measure, shows its coarse invariance, and generalizes property A.
result Definition of property A for large scale spaces with bounded scale measure is a coarse invariant.
Model predicts price polarity of real estate properties using website information.
problem Predicting price polarity of real estate properties.
method Uses doc2vec and xgboost to learn correlations between price and text descriptions of properties.
result Text descriptions provide slightly higher accuracy than features alone.
Study cohomological and metric properties of non-Kähler complex manifolds.
problem Understanding cohomological invariants and metrics of non-Kähler complex manifolds.
method Partial account of problems through cohomological and metric properties.
result Partial insights into cohomological and metric properties of non-Kähler manifolds.
The paper explores the twisted Rokhlin property in mapping class groups of surfaces.
problem Classifying surfaces whose mapping class groups have the twisted Rokhlin property.
method Generalizing the Rokhlin property to the twisted version, the authors classify surfaces based on their mapping class groups' properties.
result The mapping class groups of connected orientable infinite-type surfaces without boundaries have the twisted Rokhlin property, while those of other surfaces do not.
Study shows space of persistence diagrams doesn't have Yu's property A.
problem Failure of property A in the space of persistence diagrams.
method Introduced k-prisms to prove failure of property A.
result Space of persistence diagrams fails to have Yu's property A in a Wasserstein metric.
The balance property is crucial for insurance pricing, ensuring total actuarial price equals loss. Maximum likelihood GLMs fulfill it, but Lindholm-Wüthrich suggests three methods, with constrained GLM being superior.
problem Ensuring the balance property in insurance pricing models
method Using constrained GLM fitting
result Constrained GLM fitting is superior to the two previously discussed balance correction methods
We prove some general results about quasi-actions on trees and define Property (QFA), which is analogous to Serre's Property (FA), but in the coarse setting. This property is shown to hold for a class of groups, including SL(n,Z) for n≥3. We also give a way of thinking about Property (QFA) by breaking it down …
Hybrid clustering combines partitional and hierarchical clustering for computational effectiveness and versatility in cluster shape. In such clustering, a dissimilarity measure plays a crucial role in the hierarchical merging. The dissimilarity measure has great impact on the final clustering, and data-independent prop…
Study Finsler metric measure manifolds' concentration properties.
problem Understanding concentration properties in Finsler metric measure manifolds.
method Established relationships with observable diameter, isoperimetric inequalities, and first eigenvalue.
result Derived a Cheng type upper bound estimate for the first closed eigenvalue.
Paper proves naturally reductive property is inaudible for certain manifolds.
problem Proving naturally reductive property is inaudible for specific manifolds.
method Using a pair of non-compact 11-dimensional generalized Heisenberg groups, the paper proves the naturally reductive property is inaudible.
result The naturally reductive property is inaudible for certain manifolds.
The paper examines curvature properties of twistor spaces.
problem None explicitly stated in the abstract.
method Review of Riemannian and almost Hermitian geometry of twistor spaces.
result Curvature properties of twistor spaces are explored.
3-manifold groups have a property that allows them to act on quasi-trees.
problem Proving property (QT) for 3-manifold groups.
method Analyzing the geometry of 3-manifolds and using quasi-trees.
result Compact, orientable 3-manifold groups have property (QT) if they don't support Sol or Nil geometry.
Unified method for estimating properties of large domain distributions efficiently.
problem Estimating properties of distributions over large domains efficiently.
method Piecewise-polynomial approximation technique for constructing sample- and time-efficient estimators.
result Near-linear-time computable estimators with optimal and highly-concentrated approximation values.
The average shadowing property is considered for set-valued dynamical systems, generated by parameterized IFS, which are uniformly contracting, or conjugacy, or products of such ones. We also prove that if a continuous surjective IFS F on a compact metric space X has the aver- age shadowing property, then every point x…
A property, or statistical functional, is said to be elicitable if it minimizes expected loss for some loss function. The study of which properties are elicitable sheds light on the capabilities and limitations of point estimation and empirical risk minimization. While recent work asks which properties are elicitable, …