Results 41 to 50 of about 5,737,630 (301)
Journal of Cardiovascular Magnetic Resonance, 2011 Background To investigate the utility of three-dimensional guide-point modeling (GPM) to reduce the time required for CMR evaluation of global cardiac function in mice, by reducing the number of image slices required for accurate quantification of left ...
Neubauer Stefan +4 more
doaj +1 more source
On the complexity of slice functions
Theoretical Computer Science, 1985 By results of Razborov negations can be very powerful for Boolean circuits. But for the class of slice functions negations are almost powerless. Hence each hard function has a hard slice. Lower bounds on the monotone circuit complexity of slice functions imply lower bounds on the circuit complexity of these functions.
openaire +4 more sources
Study on Vacuum Drying Characteristics and Model of Yam Slices
Shipin gongye ke-ji, 2022 In order to explore the vacuum drying characteristics of yam slices, a drying model was established. Vacuum drying tests were carried out under different drying temperature (40, 50, 60, 70, 80 ℃), vacuum degree (0.03, 0.04, 0.05, 0.06, 0.07 MPa) and ...
Xin ZHANG +5 more
doaj +1 more source
Higher-Order Lazy Functional Slicing
J. Univers. Comput. Sci., 2007 JUCS - Journal of Universal Computer Science Volume Nr.
F. Rodrigues, Nuno, Barbosa, Luís S.
openaire +3 more sources
Soda, Slice, and Naylor (2016) data and code repository
, 2016 This fileset contains the data and code used in Soda, Slice, and Naylor (2016). All data originates from a previous study, Naylor and Marcus (1994).
Dennis Slice (1369977) +2 more
core +1 more source
Statistics for slice time of WP-Slice, weiser’s slice, thin slice and prio-slice in seconds.
, 2020 Statistics for slice time of WP-Slice, weiser’s slice, thin slice and prio-slice in seconds.
Shengbing Ren (8697819) +3 more
core +1 more source
Unifying B\"uchi Complementation Constructions [PDF]
Logical Methods in Computer Science, 2013 Complementation of B\"uchi automata, required for checking automata containment, is of major theoretical and practical interest in formal verification. We consider two recent approaches to complementation.
Seth J. Fogarty +3 more
doaj +1 more source
Hardware Accelerated Design of a Dual-Mode Refocusing Algorithm for SAR Imaging Systems
Sensors, 2023 The use of satellite synthetic aperture radar (SAR) for moving target imaging has gained popularity recently. Researchers are focused on improving its imaging quality.
Le Yu, Yaqi Li, Nansong Wu
doaj +1 more source
More on the complexity of slice functions
Theoretical Computer Science, 1986 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
General and efficient dispersion-based measurement of beam slice parameters
Physical Review Special Topics. Accelerators and Beams, 2014 In free-electron lasers, it is essential to characterize the beam parameters as a function of the longitudinal position along the bunch, i.e., to determine the so-called slice parameters.
Eduard Prat, Masamitsu Aiba
doaj +1 more source