197,197 Hits in 4.3 sec

Iterated local reflection versus iterated consistency

Lev Beklemishev
1995 Annals of Pure and Applied Logic  
Here T" stands for c( times iterated local reflection over T, T8 stands for a times iterated consistency, and -np denotes (provable in T) mutual ny-conservativity.  ...  For "natural enough" systems of ordinal notation we show that tl times iterated local reflection schema over a suflicientiy strong arithmetic T proves the same KIF-sentences as CO" times iterated consistency  ...  We show that, for ordinals CI 2 1, a times iterated local reflection schema over any sufficiently strong arithmetic T proves the same II:-sentences as O@ times iterated consistency.  ... 
doi:10.1016/0168-0072(95)00007-4 fatcat:utzrvcl5pfcl7mcq3jw5sotqtu

MetaRadar: Indoor Localization by Reconfigurable Metamaterials [article]

Haobo Zhang, Jingzhi Hu, Hongliang Zhang, Boya Di, Kaigui Bian, Zhu Han, Lingyang Song
2020 arXiv   pre-print
In this paper, we present MetaRadar, which explores reconfigurable radio reflection with a surface/plane made of metamaterial units for multi-user localization.  ...  By changing the reflectivity of metamaterial, MetaRadar modifies the radio channels at different locations, and improves localization accuracy by making RSS values at adjacent locations have significant  ...  error; (d) Localization loss versus iteration number; (e) Localization error versus iteration number.  ... 
arXiv:2008.02459v1 fatcat:wmt42adha5g2jmunkaj7i4hn44


Hadjira Abri Badaoui, Mehadji Abri
2013 Progress in Electromagnetics Research B  
The main focus of this paper consists of an analysis and a synthesis of one-dimensional photonic crystal selective filters.  ...  (b) Error versus iterations.  ...  (b) Error versus iterations. Power transmission spectra for the PhC-1D filter operating at the wavelength 1.4 µm. (b) Error versus iterations.  ... 
doi:10.2528/pierb13052503 fatcat:ylvpi2nqdzao7ndq3bqw7etppe

Simulation of Spectra Code (SOS) for ITER Active Beam Spectroscopy

Manfred von Hellermann, Maarten de Bock, Oleksandr Marchuk, Detlev Reiter, Stanislav Serov, Michael Walsh
2019 Atoms  
Numerous stimulating and helpful discussions with the ITER diagnostic and physics teams in the last years are equally highly appreciated.  ...  (a) Continuum radiation reflection study for ITER Uport-3 showing direct continuum radiation, blue line, reflected divertor continuum, green line and reflected bulk continuum, dashed red-line.  ...  (a) Continuum radiation reflection study for ITER Uport-3 showing direct continuum radiation, blue line, reflected divertor continuum, green line and reflected bulk continuum, dashed red-line.  ... 
doi:10.3390/atoms7010030 fatcat:e7g3n4zaezcq5nzkxym53gier4

Active beam spectroscopy for ITER

M.G. von Hellermann, R. Barnsley, W. Biel, E. Delabie, N. Hawkes, R. Jaspers, D. Johnson, F. Klinkhamer, O. Lischtschenko, O. Marchuk, B. Schunke, M.J. Singh (+5 others)
2010 Nuclear Instruments and Methods in Physics Research Section A : Accelerators, Spectrometers, Detectors and Associated Equipment  
A key issue of the proposed scheme is the ultimate goal of achieving global data consistency.  ...  The latest status of 'Active Beam' related spectroscopy aspects as part of the ITER diagnostic scenario is presented.  ...  In the case of ITER the main concerns are presently the optical qualities of the observation periscope with its labyrinth mirror system and its effect on the polarisation and reflectivity [12, 13] .  ... 
doi:10.1016/j.nima.2010.04.011 fatcat:kyzu6etl6bbhxh2rrjiukt5egy

Coupling geologically consistent geostatistical history matching with parameter uncertainty quantification [article]

Eduardo Barrela, Vasily Demyanov, Leonardo Azevedo
2018 arXiv   pre-print
The areas of influence around each well are one of the key factors in assimilating model perturbation at each iteration.  ...  The objective of this work is twofold: (i) to identify geological and fluid flow consistent areas of influence for geostatistical assimilation; and (ii) to infer large-scale geological uncertainty along  ...  reflect, the real subsurface geology.  ... 
arXiv:1810.06642v1 fatcat:4zi4oelmljcc5jxogcqr7r565m

Self-consistent optical constants of MgF_2, LaF_3, and CeF_3 films

Luis V. Rodríguez-de Marcos, Juan I. Larruquert, José A. Méndez, José A. Aznárez
2017 Optical Materials Express  
An iterative, double KK analysis procedure (successive reflectance-phase and k-n KK analyses) was carried out to obtain a self-consistent set of optical constants per material.  ...  Global self-consistency of the data sets was successfully evaluated through sum rules; additionally, local selfconsistency at each photon energy range was also evaluated through a novel sum-rule method  ...  This indicates that the optical constants are locally consistent at each photon energy range in this wide spectrum.  ... 
doi:10.1364/ome.7.000989 fatcat:5ivhjdlkqfggrlq7kdgtw26afu

An Improved Adaptive Smoothing Method [chapter]

Xin Hu, Hui Peng, Joseph Kesker, Xiang Cai, William G. Wee, Jing-Huei Lee
2009 Lecture Notes in Computer Science  
The H map is the pixel's contextual inhomogeneity value reflecting its proximity position with respect to an edge feature, and a more accurate H value leads to the more accurate smoothing speed for the  ...  Fig. 4 . 4 Our algorithm, (a): besting stopping iteration number versus h; (b): obtained SNR/best SNR versus h Fig. 5 . 5 Chen's algorithm, (a): besting stopping iternation number versus h; (b): obtained  ...  Fig.4a shows the plots of the T (number of iterations for the best SNR) versus the h. One can see that T is less than 8 iterations in all 5 images for h ranging from 0.2 to 0.6.  ... 
doi:10.1007/978-3-642-04146-4_81 fatcat:blvaxfsyorfhfmagb6ouegpkwe

Page 1434 of Mathematical Reviews Vol. , Issue 97C [page]

1997 Mathematical Reviews  
(RS-AOS; Moscow) Iterated local reflection versus iterated consistency. (English summary) Proof theory, provability logic, and computation (Berne, 1994). Ann. Pure Appl.  ...  Here, T° stands for @ times iterated local reflection over T, and T, stands for £ times iterated consistency. The inclusion in (*) holds for all sentences in the language.  ... 

Adaptive Physics-Informed Neural Networks for Markov-Chain Monte Carlo [article]

Mohammad Amin Nabian, Hadi Meidani
2020 arXiv   pre-print
The proposed method consists of: (1) constructing an offline PINN-UQ model as an approximation to the forward model; and (2) refining this approximate model on the fly using samples generated from the  ...  Figure 7 : 7 the accumulated number of online surrogate refinement versus the number of MH iterations, for three refinement options: (a) local surrogate is refined but none of these refinements are reflected  ...  Figure 7 shows the cumulative number of online surrogate refinement versus the number of MH iterations, for three refinement options: (a) local surrogate is refined but none of these refinements are reflected  ... 
arXiv:2008.01604v1 fatcat:igpieoqkr5avjje32xishbvq5u

An efficient implementation of the simulated annealing heuristic for the quadratic assignment problem [article]

Gerald Paul
2011 arXiv   pre-print
We present an efficient implementation of the SA heuristic which performs more than 100 times faster then existing implementations for large problem sizes and a large number of SA iterations.  ...  This reflects the fact that because of the the slower cooling for larger number of iterations, SA finds a deeper local minima from which it cannot escape easily at a higher temperatures for larger I.  ...  Note that the times for the traditional approach are linear with the number of iterations, consistent with Eq. (1).  ... 
arXiv:1111.1353v1 fatcat:mnjwiz22yjf6tjqjgqekbf675e

Consensus optimization of total variation–based reverse time migration

Toktam Zand, Hamid R. Siahkoohi, Alison Malcolm, Ali Gholami, Alan Richardson
2020 Computational Geosciences  
The resulting local images are sent to a master that is responsible for generating (via a proximal mapping) a unique global image that is close to the mean of local images while minimizing the regularizing  ...  Least-squares RTM (LSRTM) extends this method to an iterative method that minimizes a data misfit term.  ...  Figure 8 shows the NCC versus reflection dip for the images estimated by different methods (Fig. 7) .  ... 
doi:10.1007/s10596-020-09958-1 fatcat:krlkl3vdh5djhg6kjzxz5x2rha

Spatial Periodic and Homogeneous Transverse Stress Loading on ITER TF ${\rm Nb}_{3}{\rm Sn}$ Bronze and Internal Tin Strand

A. Nijhuis, R. P. Pompe van Meerdervoort, W. A. J. Wessel
2012 IEEE transactions on applied superconductivity  
We present an overview of the results obtained so far on an ITER TF bronze and internal tin strand.  ...  In the past years we have measured the Ic and n-value of various ITER Nb3Sn strands with different layout in the TARSIS facility, when subjected to spatial periodic contact stress at a temperature of 4.2  ...  INTRODUCTION HE envisaged CICCs for ITER consist out of more than 1000 strands with a strand diameter of about 0.8 mm.  ... 
doi:10.1109/tasc.2011.2174552 fatcat:bgja7adhuragvjivcc4nwvqncu

Author index volume 75 (1995)

1995 Annals of Pure and Applied Logic  
., Iterated local reflection versus iterated consistency (l-2) Berarducci, A. and D'Aquino, P., A,-complexity of the relation y = ni g "F(i) (l-2) Buchholz, W., Proof-theoretic analysis of termination  ... 
doi:10.1016/0168-0072(95)90057-8 fatcat:vr45x2avqfbabgijjz6gvx6ts4

Iterative Layer-peeling algorithm for designing fiber Bragg gratings with fabrication constraints

Yueh Ouyang, Y. Sheng, M. Bernier, G. Paul-Hus
2005 Journal of Lightwave Technology  
We demonstrate the iterative layer-peeling algorithm (LPA) for designing fiber Bragg gratings (FBGs). The algorithm includes explicit fabrication and spectrum constraints in the iterations.  ...  Index Terms-Dispersion-free fiber Bragg grating (FBG), iterative layer-peeling algorithm (LPA), optical communications, optimization, wavelength-division multiplexing (WDM) passband filter.  ...  The boundary condition is that the local reflection of the last layer r(L, β) = 0.  ... 
doi:10.1109/jlt.2005.857765 fatcat:slr4tgdejzalxjhnewujehzzeu
« Previous Showing results 1 — 15 out of 197,197 results