In the subcritical preferential attachment process without vertex growth, the largest component equals (1+o_p(1))·2(α+2)/(α+1)·ε^{-2} log(ε^3 n).
hub Mixed citations
(Springer Berlin Heidelberg, 2009)
Mixed citation behavior. Most common role is background (60%).
30
Pith papers citing it
Background
60% of classified citations
hub tools
citation-role summary
background 3
dataset 1
method 1
citation-polarity summary
representative citing papers
Arbitrary-depth k-stage masked NTT pipelines with fresh inter-stage masking and PF-PINI(≤2) gadgets satisfy a universal 2/q per-observation leakage bound, machine-checked in Lean 4.
SMX explains spectral ML classifiers by summarizing expert zones with PCA, testing quantile predicates via perturbation, aggregating via directed graph centrality, and reconstructing thresholds back onto original spectra.
Hybrid Path-Sums offer a new symbolic framework with rewriting rules and assertions to represent, simplify, and verify properties of hybrid quantum-classical programs.
Multirate SVGD improves robustness and efficiency over standard SVGD by updating attraction and repulsion on independent time scales, with strongest gains on hierarchical and multimodal targets.
A categorical duality links algebraic and birelational semantics for constructive modal logic CK, enabling Sahlqvist correspondence, completeness, and Goldblatt-Thomason definability theorems.
A Maude-with-SMT framework for sound and complete formal analysis and parameter synthesis of parametric time Petri nets, including a folding approach that terminates on finite parametric state-class graphs and support for LTL model checking.
Introduces 2-HRFA and B2-HRFA for picture languages, proves incomparability with CFMG, proper subset relations with RPDA and RFA, and examines closure properties.
A method recasts exact output distribution computation for small programs with random inputs as a cylindrical algebraic decomposition problem plus integration.
Shield synthesis is repositioned as a design-time defensibility analysis framework for adversarial networks, generating verdicts, winning regions, and fingerprints that separate formal safety from operational behavior under adaptive play.
Systematizes constant time models, identifies a specification gap in private key loading, and confirms timing leaks in OpenSSL and BoringSSL where BoringSSL leaks more strongly despite a stricter model.
Geo is a framework for optimizing graph pattern matching queries via rewrite rules and equality saturation that discovers equivalences and reduces costs by up to 99%.
CuLifter recovers types from untyped GPU register files via constraint propagation to lift 99.98% of 24,437 functions across 919 cubins to valid LLVM IR.
An explicit A_infinity description of the Hochschild homology transfer yields a rational model for the Becker-Gottlieb transfer and proves vanishing of certain rational characteristic classes for manifold bundles while modeling fiberwise THH-simple structures.
In the dueling bandit setting, the (1+1) EA selects the Condorcet winner with only constant probability when its advantage is Ω(1/n), while a Max-Min Ant System EDA selects it with probability 1-Θ(p), and repeated duels improve the EA's performance.
Reinforcement learning with spectest completeness rewards lifts a 7B model’s Dafny specification verification success and completeness over supervised fine-tuning by about 50% and 26%.
Signature-linear trading rules reduce path-dependent statistical-arbitrage execution to one concave quadratic programme; fitted rules beat a z-score benchmark (9 vs 6 bps synthetic; 9 vs 2 bps on one pair).
Reservoir engineering modifies the susceptibility of a weakly driven two-level medium to control transmission modulation and angular selectivity in electromagnetically induced gratings.
A design proposal for a VR interactive narrative that uses face-tracking to create emotional perspective-taking between player and character.
Evidence-based taxonomy of security properties with first-order logic definitions and ProVerif/Tamarin executable examples derived from a 2022-2025 literature review of 53 studies.
Proposes a heterogeneous quantum repeater network architecture using recursive designs and RuleSets with a new bridging building block, but states that full-scale resource trade-off analysis remains future work.
U-Schema acts as a common pivot representation that reduces the number of direct mappings needed for schema and data migration across heterogeneous database paradigms while preserving structure and query behavior.
For the figure-eight knot complement, the real part of the semi-classical limit of its QHI sequence is rigid and equals 0 or vol(M)/(2 pi) depending on parity of log holonomy eigenvalues on the canonical longitude.
Nine care-trajectory clusters derived from Dynamic Time Warping and hierarchical clustering independently predict mortality in cancer patients and show an inverse link to baseline anxiety in high-utilization groups.
citing papers explorer
-
Care Trajectories Are Linked to Mental Health and Mortality in Cancer Patients
Nine care-trajectory clusters derived from Dynamic Time Warping and hierarchical clustering independently predict mortality in cancer patients and show an inverse link to baseline anxiety in high-utilization groups.