Tootfinder

Admissibility of the Structural Rules in the Sequent Calculus with Equality
Franco Parlamento, Flavio Previale
https://arxiv.org/abs/2403.06887 https://

Admissibility of the Structural Rules in the Sequent Calculus with Equality
On the ground of a general theorem concerning the admissibility of the structural rules in sequent calculi with additional atomic rules, we develop a proof theoretic analysis for several extensions of the ${\bf G3[mic]}$ sequent calculi with rules for equality, including the one originally proposed by H.Wang. In the classical case we relate our results with the semantic tableau method for first order logic with equality. In particular we establish that, for languages without function symbols, i…

scCDCG: Efficient Deep Structural Clustering for single-cell RNA-seq via Deep Cut-informed Graph Embedding
Ping Xu, Zhiyuan Ning, Meng Xiao, Guihai Feng, Xin Li, Yuanchun Zhou, Pengfei Wang
https://arxiv.org/abs/2404.06167

scCDCG: Efficient Deep Structural Clustering for single-cell RNA-seq via Deep Cut-informed Graph Embedding
Single-cell RNA sequencing (scRNA-seq) is essential for unraveling cellular heterogeneity and diversity, offering invaluable insights for bioinformatics advancements. Despite its potential, traditional clustering methods in scRNA-seq data analysis often neglect the structural information embedded in gene expression profiles, crucial for understanding cellular correlations and dependencies. Existing strategies, including graph neural networks, face challenges in handling the inefficiency due to …

Sampling recovery on function classes with a structural condition
V. Temlyakov
https://arxiv.org/abs/2404.07210 https://arxiv.org/pdf…

Sampling recovery on function classes with a structural condition
Sampling recovery on some function classes is studied in this paper. Typically, function classes are defined by imposing smoothness conditions. It was understood in nonlinear approximation that structural conditions in the form of control of the number of big coefficients of an expansion of a function with respect to a given system of functions plays an important role. Sampling recovery on smoothness classes is an area of active research, some problems, especially in the case of mixed smoothnes…

Composition Rules for Strong Structural Controllability and Minimum Input Problem in Diffusively-Coupled Networks
Nam-Jin Park, Seong-Ho Kwon, Yoo-Bin Bae, Byeong-Yeon Kim, Kevin L. Moore, Hyo-Sung Ahn
https://arxiv.org/abs/2405.05557

Composition Rules for Strong Structural Controllability and Minimum Input Problem in Diffusively-Coupled Networks
This paper presents new results and reinterpretation of existing conditions for strong structural controllability in a structured network determined by the zero/non-zero patterns of edges. For diffusively-coupled networks with self-loops, we first establish a necessary and sufficient condition for strong structural controllability, based on the concepts of dedicated and sharing nodes. Subsequently, we define several conditions for strong structural controllability across various graph types by …

For everybody who wasn't there, here's what you missed at yesterday's Godot Engine Meetup in Berlin: Grown adults toying around at a kid's playground. 😁 (Note: There were a lot more people! It's just that I took my photos at the end of the event.)
CC: @… @…

Learning Structural Causal Models through Deep Generative Models: Methods, Guarantees, and Challenges
Audrey Poinsot, Alessandro Leite, Nicolas Chesneau, Mich\`ele S\'ebag, Marc Schoenauer
https://arxiv.org/abs/2405.05025

Learning Structural Causal Models through Deep Generative Models: Methods, Guarantees, and Challenges
This paper provides a comprehensive review of deep structural causal models (DSCMs), particularly focusing on their ability to answer counterfactual queries using observational data within known causal structures. It delves into the characteristics of DSCMs by analyzing the hypotheses, guarantees, and applications inherent to the underlying deep learning components and structural causal models, fostering a finer understanding of their capabilities and limitations in addressing different counter…

This https://arxiv.org/abs/2205.00386 has been replaced.
link: https://scholar.google.com/scholar?q=a

Internal sums for synthetic fibered $(\infty,1)$-categories
We give structural results about bifibrations of (internal) $(\infty,1)$-categories with internal sums. This includes a higher version of Moens' Theorem, characterizing cartesian bifibrations with extensive aka stable and disjoint internal sums over lex bases as Artin gluings of lex functors. We also treat a generalized version of Moens' Theorem due to Streicher which does not require the Beck--Chevalley condition. Furthermore, we show that also in this setting the Moens fibrations can be c…

Atomistic investigation of deformation and fracture of individual structural components of metal matrix composites
Marcin Ma\'zdziarz, Szymon Nosewicz
https://arxiv.org/abs/2403.05371

Atomistic investigation of deformation and fracture of individual structural components of metal matrix composites
This paper focuses on the development of the atomistic framework for determining the lower scale mechanical parameters of single components of a metal matrix composite for final application to a micromechanical damage model. Here, the deformation and failure behavior of NiAl-Al$_2$O$_3$ interfaces and their components, metal and ceramic, are analyzed in depth using molecular statics calculations. A number of atomistic simulations of strength tests, uniaxial tensile, uniaxial compressive and sim…

This https://arxiv.org/abs/2310.16077 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Femtosecond laser fabricated nitinol living hinges for millimeter-sized robots
Nitinol is a smart material that can be used as an actuator, a sensor, or a structural element, and has the potential to significantly enhance the capabilities of microrobots. Femtosecond laser technology can be used to process nitinol while avoiding heat-affected zones (HAZ), thus retaining superelastic properties. In this work, we manufacture living hinges of arbitrary cross-sections from nitinol using a femtosecond laser micromachining process. We first determined the laser cutting parameter…

Composition Rules for Strong Structural Controllability and Minimum Input Problem in Diffusively-Coupled Networks
Nam-Jin Park, Seong-Ho Kwon, Yoo-Bin Bae, Byeong-Yeon Kim, Kevin L. Moore, Hyo-Sung Ahn
https://arxiv.org/abs/2405.05557

Composition Rules for Strong Structural Controllability and Minimum Input Problem in Diffusively-Coupled Networks
This paper presents new results and reinterpretation of existing conditions for strong structural controllability in a structured network determined by the zero/non-zero patterns of edges. For diffusively-coupled networks with self-loops, we first establish a necessary and sufficient condition for strong structural controllability, based on the concepts of dedicated and sharing nodes. Subsequently, we define several conditions for strong structural controllability across various graph types by …