Results 261 to 270 of about 3,508,819 (309)
"Descriptive Insight or Missed Accountability? Critical Methodological and Policy Gaps in a Study of Traditional Birth Attendants in Bangladesh". [PDF]
Health Sci RepTahir I, Shahbaz H.
europepmc +1 more source
Noncatalytic surface electrostatic networks tune thermolability in uracil-DNA glycosylase. [PDF]
J Biol ChemSimões RSM +5 more
europepmc +1 more source
Base transit time of the bipolar transistor in quasi-saturation
IEEE Transactions on Electron Devices, 1997 The base transit time of the bipolar transistor (BJT) in quasi-saturation has been evaluated. The base transit time increases with quasi-saturation effect and reaches the maximum when the bipolar transistor is in hard ...
J S Yuan
exaly +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A Saturated Doherty Power Amplifier Based On Saturated Amplifier
IEEE Microwave and Wireless Components Letters, 2010A saturated Doherty power amplifier (PA) based on the saturated PA tuned by the self-generated harmonic currents is presented. When driven with mobile WiMAX 1FA signal, this Doherty PA demonstrates high efficiency performance (average 57%) over the WiMAX band from 2.5 GHz to 2.7 GHz.
Kim, J, Son, J, Moon, J, Kim, B
openaire +2 more sources
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, 2009Coverage 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 +2 more
openaire +2 more sources
Adaptive Saturation-Based Reasoning
2001For 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 +3 more sources
Parallel Saturation Based Model Checking
2011 10th International Symposium on Parallel and Distributed Computing, 2011Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyze the behavior of a system. In this paper, we examine an existing parallel model checking algorithm and we propose improvements to eliminate ...
András Vörös 0001 +5 more
openaire +1 more source
Broadband saturable and reverse saturable absorption in graphene-based nanocomposites
CLEO: 2013, 2013Nonlinear optical studies are carried out on graphene-based polymer composites in the nanosecond and picosecond temporal regime. These graphene-composites demonstrate saturable absorption followed by reverse saturable absorption which depends on graphene content and operation regime.
Saima Husaini +5 more
openaire +1 more source