Results 11 to 20 of about 11,277 (194)
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Alexander S. Kechris +4 more
core +3 more sources
Semi-classical Dynamical Triangulations [PDF]
, 2012 For non-critical string theory the partition function reduces to an integral over moduli space after integrating over matter fields. The moduli integrand is known analytically for genus one surfaces.
Ambjorn, Jan, Budd, Timothy G.
core +1 more source
Polyhedra in loop quantum gravity
, 2011 Interwiners are the building blocks of spin-network states. The space of intertwiners is the quantization of a classical symplectic manifold introduced by Kapovich and Millson.
A. Ashtekar +19 more
core +3 more sources
Antimatroids and Balanced Pairs [PDF]
, 2013 We generalize the 1/3-2/3 conjecture from partially ordered sets to antimatroids: we conjecture that any antimatroid has a pair of elements x,y such that x has probability between 1/3 and 2/3 of appearing earlier than y in a uniformly random basic word ...
Eppstein, David
core +1 more source
Computational Tools for Cohomology of Toric Varieties [PDF]
, 2011 In this review, novel non-standard techniques for the computation of cohomology classes on toric varieties are summarized. After an introduction of the basic definitions and properties of toric geometry, we discuss a specific computational algorithm for ...
Blumenhagen, Ralph +2 more
core +3 more sources
Advanced Engineering Materials, EarlyView.This study examines how several molten high‐silicon electrical steels interact with both conventional and recycled MgO–C refractories. For this, various immersion experiments are conducted. In addition to infiltration, a number of mechanisms are identified and explained that control the corrosion of the refractory material.
Lukas Neubert +7 more
wiley +1 more source
A unified approach to combinatorial key predistribution schemes for sensor networks [PDF]
, 2012 There have been numerous recent proposals for key predistribution schemes for wireless sensor networks based on various types of combinatorial structures such as designs and codes.
C. Blundo +19 more
core +3 more sources
Advanced Engineering Materials, EarlyView.Stabilization of L‐PBF Ni50.7Ti49.3 under low‐cycle loading was investigated. Recoverable strain after cycling was dependent on the amount of applied load. Recovery ratio was 53.4% and 35.1% at intermediate and high load, respectively. The maximum total strain reached 10.3% at a high load of 1200 MPa.
Ondřej Červinek +5 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Nickel‐based alloys are widely used in high‐temperature applications due to their excellent mechanical strength and oxidation resistance. However, properties such as high‐temperature strength and pronounced work‐hardening make them difficult to machine.
Soheil Rooein +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This article presents the design, modeling, and characterization of air‐pressure–actuated programmable vibroacoustic metamaterials (PVAMM). The study focuses on leveraging air pressure to dynamically tune resonance frequencies for effective noise attenuation.
William Kaal +2 more
wiley +1 more source