Results 311 to 320 of about 685,157 (352)

Adaptive Saturation-Based Reasoning

2001
For most applications of first-order theorem provers a proof should be found within a fixed time limit. When the time limit is set, systems can perform much better by using algorithms other than the ordinary complete ones. In this paper we describe the Limited Resource Strategy intended to improve performance of resolution- and paramodulation- based ...
Riazanov, Alexandre, Voronkov, Andrei
openaire   +2 more sources

Nanoparticle‐based chemical exchange saturation transfer (CEST) agents

NMR in Biomedicine, 2013
The frequency‐encoding property of chemical exchange saturation transfer (CEST) agents places them in a unique position among the MRI contrast agents, as it allows the visualization of more agents in the same MR image, as well as making it possible to set up innovative MRI‐responsive agents.
DELLI CASTELLI, Daniela, TERRENO, Enzo, LONGO, DARIO LIVIO, AIME, Silvio   +3 more
openaire   +4 more sources

InSb-based saturable absorbers for ultrafast photonic applications

Nanoscale, 2023
The structure of the electronic band and density of states of InSb were theoretically calculated, and the usage of an InSb-microfiber as an ultrafast photonic device to generate Q-switched and mode-locked pulses in fiber lasers is demonstrated.
Lihui Pang, Rongfeng Wang, Qiyi Zhao, Meng Zhao, Le Jiang, Xiaogang Zhang, Rongqian Wu, Yi Lv, Wenjun Liu   +8 more
openaire   +2 more sources

A Nonlinear Bragg Reflector Based On Saturable Absorption

Conference Proceedings LEOS Lasers and Electro-Optics Society, 1989
The first observation of nonlinear reflection from a Bragg reflector composed of Ga0.8 Al0.2As/AlAs layers due to the band filling effect was measured by the pump probe method. The nonlinearity was primarily due to saturable absorption. Optically induced reflectivity changes of as much as 38% were measured.
B. G. Kim, E. Garmire, Steven G. Hummel, P. D. Dapkus   +3 more
openaire   +1 more source

CT saturation correction based on the estimated CT saturation time constant

IET 9th International Conference on Developments in Power Systems Protection (DPSP 2008), 2008
A new method for CT saturation correction is presented that is based on an on-line estimation of the CT magnetizing inductance. The approach adopted is based on numerical solution of the differential equation, which describes the saturated current transformer.
W. Rebizant, A. Wiszniewski, L. Schiel
openaire   +1 more source

Efficient intensity-hue-saturation-based image fusion with saturation compensation

Optical Engineering, 2001
The intensity-hue-saturation (IHS) and Brovey transforms are two widespread image fusion methods in the remote sensing community. However, both are sensitive to the characteristics of the analyzed area. Restated, they often face color distortion problems with fused images. This work investigates models representing the color space in images.
openaire   +1 more source

Saturation-based testing of concurrent programs

Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2009
Coverage measures help to determine whether a test suite exercises a program adequately according to a testing criterion. Many existing measures, however, are defined over coverage domains that cannot be precisely calculated, rendering them of limited value in assessing the extent of testing activities. To exploit the use of such measures, we formalize
Elena Sherman, Matthew B. Dwyer, Sebastian Elbaum   +2 more
openaire   +1 more source

Vanadium pentoxide nanoparticles based saturable absorbers

AIP Conference Proceedings, 2012
Vanadium pentoxide (V2O5) nanoparticles were synthesized by solution combustion method. The particle size reduction of the as-synthesized sample was achieved through ball milling. The as-synthesized and the ball milled samples were further characterized using XRD, TEM, EDX, UV-Visible and FTIR spectroscopy.
Muralikrishna Molli, Girish D. Salian, Sai Kiran Aditha, V. Sai Muthukumar, Tanu Mimani Rattan, S. Amrithapandian, B. K. Panigrahi, Venkataramaniah Kamisetti   +7 more
openaire   +1 more source

Facies-Based Saturation Modeling—Bonga Field

Nigeria Annual International Conference and Exhibition, 2011
Abstract The initial Bonga field development was based on a "green field" integrated saturation model using Gulf of Mexico (GoM) data as analogue. In an earlier revision of the Field Development Plan, the relative permeability and capillary pressure models were based on steady-state and centrifuge special core analysis (SCAL) experiments
E. C. Kalu, O. O. Arogun, C. P. Pirmez
openaire   +1 more source

Optooptic modulation based on gain saturation

IEEE Journal of Quantum Electronics, 1978
A technique has been developed for obtaining efficient modulation of an optical signal. It is shown that the presence of a small optical bias signal on an appropriately designed laser amplifier can lead to a substantial change in another much larger signal.
R. Gray, L. Casperson
openaire   +1 more source