Results 251 to 260 of about 1,184,149 (273)

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact)

Dagstuhl Artifacts Ser., 2015
This artifact is an implementation of the loopsensitive analysis (LSA) technique that can improve analysis precision and scalability in analyzing JavaScript applications by distinguishing loop iterations automatically during analysis.
Changhee Park, Sukyoung Ryu
semanticscholar   +1 more source

Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes

Conference on Algebra and Coalgebra in Computer Science, 2015
The question addressed in this paper is how to correctly approximate infinite data given by systems of simultaneous corecursive definitions. We devise a categorical framework for reasoning about regular datatypes, that is, datatypes closed under products,
A. Kurz, Alberto Pardo, Daniela Petrisan, P. Severi, F. D. Vries   +4 more
semanticscholar   +1 more source

3.2 Evaluation of left-ventricular ejection fraction by Tc-99m-MIBI/F-18-FDG gated myocardial tomography with dual isotope simultaneous acquisition

, 2001
Ruqin Shen, Ruiyu Shi, X.J. Liu, Y.Q. Tian, Hong Wei, Fatmagul Gun, Zhixu He   +6 more
openalex   +1 more source

Differences in early and late sequelae of irradiated breast skin between two plans for breast conservation therapy: 50 Gy/25 fractions(f)/5 weeks(w) vs. 44 Gy/16 f/3.2 w - the shorter, the better?

, 2001
T Inomata, M. Takahashi, Toshiaki Tatsumi, Yasuo Uesugi, Isamu Narabayashi, Y. Ogawa, Akihito Nishioka, Shuji Kariya, Shusaku Yoshida   +8 more
openalex   +1 more source

Designing a Novel Electrolyte Na_3.2Hf₂Si_2.2P_0.8O_11.85F_0.3 for All‐Solid‐State Na‐O₂ Batteries

, 2022
Qi Sun, Lei Dai, Yongfu Tang, Jun Sun, Weidong Meng, Tingting Luo, Ling Wang, Shan Liu   +7 more
openalex   +1 more source

e3410, XVIII.3.2-4 Oxotantalates, fluoro-, chloro- and bromo-oxotantalates, hydroxo- and fluorohydroxo-tantalates, oxotantalates with F-, _, and H2O

, 2005
W. Pies, A. Weiß
openalex   +1 more source

Die Berücksichtigung von Idealisierung in drei Theorienkonzeptionen. 3.2 Die Semantic Conception in der Version von F. Suppe

, 2012

openalex   +1 more source

Measurement and modeling of MOSFET's 1/f noise with BSIM3 version 3.2 for an analog circuit design

, 2002
Masanori Shimasue, Hitoshi Aoki
openalex   +1 more source

Final Decision Document for the Interim Response Action, Basin F Liquid Treatment, Rocky Mountain Arsenal, Version 3.2

, 1990
WOODWARD-CLYDE CONSULTANTS DENVER CO
openalex   +1 more source

ChemInform Abstract: FUNCTIONALIZED 2‐AZABICYCLO(3.3.1)NONANES. IV. SYNTHESIS OF THE INDOLO(3.2‐F)MORPHAN SYSTEM

, 1983
J. BONJOCH, Núria Casamitjana, Joan Bosch   +2 more
openalex   +1 more source