Results 31 to 40 of about 90,289 (109)

Synthesizing Short-Circuiting Validation of Data Structure Invariants

, 2015
This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with
Chang, Bor-Yuh Evan, Coughlin, Devin, Rival, Xavier, Tsai, Yi-Fan   +3 more
core   +1 more source

Gauge parameter dependence in the background field gauge and the construction of an invariant charge

, 1998
By using the enlarged BRS transformations we control the gauge parameter dependence of Green functions in the background field gauge. We show that it is unavoidable -- also if we consider the local Ward identity -- to introduce the normalization gauge ...
't Hooft, Abbott, Beneke, Celmaster, Cornwall, Cornwall, Davydychev, Degrassi, Denner, Denner, DeWitt, Elisabeth Kraus, Grassi, Hashimoto, Häuβling, Kallosh, Klaus Sibold, Kluberg-Stern, Kluberg-Stern, Kluberg-Stern, Kluberg-Stern, Papavassiliou, Papavassiliou, Papavassiliou, Piguet, Rainer Häuβling, Watson, Zakharov   +27 more
core   +1 more source

Electromagnetic properties of material coated surfaces [PDF]

The electromagnetic properties of material coated conducting surfaces were investigated. The coating geometries consist of uniform layers over a planar surface, irregularly shaped formations near edges and randomly positioned, electrically small ...
Beard, L., Berrie, J., Burkholder, R., Dominek, A., Walton, E., Wang, N.   +5 more
core   +1 more source

A fully-convolutional neural network for background subtraction of unseen videos [PDF]

, 2019
Background subtraction is a basic task in computer vision and video processing often applied as a pre-processing step for object tracking, people recognition, etc.
Ishwar, Prakash, Konrad, Janusz, Tezcan, Mustafa Ozan   +2 more
core  

Extragalactic Radio Sources and the WMAP Cold Spot

, 2007
We detect a dip of 20-45% in the surface brightness and number counts of NVSS sources smoothed to a few degrees at the location of the WMAP cold spot. The dip has structure on scales of approximately 1-10 degrees.
Cabre A., Haslam C. G. T., Lawrence Rudnick, Liliya R. Williams, Reich W., Shea Brown   +5 more
core   +1 more source

Are Coronal Loops Isothermal or Multithermal? Yes!

, 2009
Surprisingly few solar coronal loops have been observed simultaneously with TRACE and SOHO/CDS, and even fewer analyses of these loops have been conducted and published.
Allen, Aschwanden, Brickhouse, Brooks, Cirtain, E. E. DeLuca, Fludra, G. Del Zanna, H. E. Mason, J. A. Kimble, J. T. Schmelz, J. W. Cirtain, Jordan, K. Nasraoui, Klimchuk, L. A. Rightmire, Landi, Lenz, Patsourakos, Schmelz, Schmelz, Schmelz, Schmelz, Schmelz, Warren, Warren, Weber, Winebarger   +27 more
core   +1 more source

H -> gamma gamma: a Comment on the Indeterminacy of Non-Gauge-Invariant Integrals

, 2011
We reanalyze the recent computation of the amplitude of the Higgs boson decay into two photons presented by Gastmans et al.. The reasons for which this result cannot be the correct one have been discussed in some recent papers.
Piccinini, F., Pilloni, A., Polosa, A. D.   +2 more
core   +1 more source

Weighted power counting and chiral dimensional regularization

, 2014
We define a modified dimensional-regularization technique that overcomes several difficulties of the ordinary technique, and is specially designed to work efficiently in chiral and parity violating quantum field theories, in arbitrary dimensions greater ...
Anselmi, Damiano
core   +1 more source

High-contrast Imaging with Spitzer: Deep Observations of Vega, Fomalhaut, and epsilon Eridani

, 2014
Stars with debris disks are intriguing targets for direct imaging exoplanet searches, both due to previous detections of wide planets in debris disk systems, as well as commonly existing morphological features in the disks themselves that may be ...
Amara, Adam, Carson, Joseph C., Janson, Markus, Lafreniere, David, Quanz, Sascha P., Thalmann, Christian   +5 more
core   +1 more source

Optical focusing into scattering media via iterative time reversal guided by absorption nonlinearity. [PDF]

Nat Commun
Cui M, Kahraman SS, Wang LV.
europepmc   +1 more source