Results 31 to 40 of about 12,123 (304)
Automatic synthesis of decision procedures [PDF]
, 2007 We address the problem of automatic synthesis of decision procedures. We evaluate our ideas on ground arithmetic and linear arithmetic, but the approach can be applied to other domains as well.
Bundy, Alan +3 more
core +1 more source
Twin Crystal Moiré Metasurfaces for Crossing Flat‐Band Transport
Advanced Functional Materials, EarlyView.This study introduces twin crystal moiré metasurfaces, breaking in‐plane symmetry to enable reconfigurable acoustic wave manipulation. By adjusting the twin angle and interlayer twist angle, various combinations of hyperbolic, flat bands, and elliptic states can be synthesized in the system.
Shida Fan +9 more
wiley +1 more source
Axioms, 2015 Conventional splines offer powerful means for modeling surfaces and volumes in three-dimensional Euclidean space. A one-dimensional quaternion spline has been applied for animation purpose, where the splines are defined to model a one-dimensional ...
Wei Zeng +2 more
doaj +1 more source
Spin and Charge Control of Topological End States in Chiral Graphene Nanoribbons on a 2D Ferromagnet
Advanced Materials, EarlyView.Chiral graphene nanoribbons on a ferromagnetic gadolinium‐gold surface alloy display tunable spin and charge states at their termini. Atomic work function variations and exchange fields enabe transitions between singlet, doublet, and triplet configurations.
Leonard Edens +8 more
wiley +1 more source
Spin‐Split Edge States in Metal‐Supported Graphene Nanoislands Obtained by CVD
Advanced Materials, EarlyView.Combining STM measurements and ab‐initio calculations, we show that zig‐zag edges in graphene nanoislands grown on Ni(111) by CVD retrieve their spin‐polarized edge states after intercalation of a few monolayers of Au. ABSTRACT Spin‐split states localized on zigzag edges have been predicted for different free‐standing graphene nanostructures.
Michele Gastaldo +6 more
wiley +1 more source
Normalized generalized Bessel function and its geometric properties
Journal of Inequalities and Applications, 2022 The normalization of the generalized Bessel functions U σ , r $\mathrm{U}_{\sigma,r}$ ( σ , r ∈ C ) $(\sigma,r\in \mathbb{C}\mathbbm{)}$ defined by U σ , r ( z ) = z + ∑ j = 1 ∞ ( − r ) j 4 j ( 1 ) j ( σ ) j z j + 1 $$\begin{aligned} \mathrm{U}_{\sigma,r}
Hanaa M. Zayed, Teodor Bulboacă
doaj +1 more source
Gapless Superconductivity From Extremely Dilute Magnetic Disorder in 2H‐NbSe2‐xSx
Advanced Materials, EarlyView.We demonstrate that 2H‐NbSe2‐xSx hosts gapless superconductivity at unexpectedly low magnetic impurity concentrations. Combining STM, Bogoliubovde Gennes simulations, DFT, and quasiparticle interference, we comprehensively study the development of gapless behavior and show that SeS substitution reshapes the band structure, enhances nesting, and drives ...
Jose Antonio Moreno +16 more
wiley +1 more source
Universality of rank-ordering distributions in the arts and sciences. [PDF]
PLoS ONE, 2009 Searching for generic behaviors has been one of the driving forces leading to a deep understanding and classification of diverse phenomena. Usually a starting point is the development of a phenomenology based on observations.
Gustavo Martínez-Mekler +5 more
doaj +1 more source
, 2023 G{\"o}del's second incompleteness theorem forbids to prove, in a given theory U, the consistency of many theories-in particular, of the theory U itself-as well as it forbids to prove the normalization property for these theories, since this property ...
Dowek, Gilles, Miquel, Alexandre
core
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials [PDF]
, 2011 In this paper we present a complete formalization, using the ACL2 theorem prover, of the Normalization Theorem, a result in Algebraic Simplicial Topology stating that there exists a homotopy equivalence between the chain complex of a simplicial set ...
J. Rubio +7 more
core +1 more source