Results 61 to 70 of about 12,819,077 (325)

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, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi   +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

Genome-wide CRISPR Screens in Primary Human T Cells Reveal Key Regulators of Immune Function

bioRxiv, 2018
Human T cells are central effectors of immunity and cancer immunotherapy. CRISPR-based functional studies in T cells could prioritize novel targets for drug development and improve the design of genetically reprogrammed cell-based therapies.
E. Shifrut, J. Carnevale, Victoria R. Tobin, Theodore L. Roth, J. Woo, Christine Bui, P. J. Li, Morgan E. Diolaiti, A. Ashworth, A. Marson   +9 more
semanticscholar   +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

On Slice Polyanalytic Functions of a Quaternionic Variable [PDF]

Results in Mathematics, 2019
A Corrigendum to the previous version is contained at the end of the ...
Alpay, Daniel, DIKI, KAMAL, Sabadini, Irene   +2 more
openaire   +5 more sources

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

Continuous slice functional calculus in quaternionic Hilbert spaces

, 2013
The aim of this work is to define a continuous functional calculus in quaternionic Hilbert spaces, starting from basic issues regarding the notion of spherical spectrum of a normal operator.
Adler S. L., ALESSANDRO PEROTTI, Beltrametti E. G., Brackx F., Dunford N., Emch G., Engesser K., Kulkarni S. H., Moretti V., Piron C., RICCARDO GHILONI, Rudin W., Rudin W., VALTER MORETTI, Varadarajan V. S., Viswanath K.   +15 more
core   +1 more source

Predicting Slice-to-Volume Transformation in Presence of Arbitrary Subject Motion [PDF]

International Conference on Medical Image Computing and Computer-Assisted Intervention, 2017
This paper aims to solve a fundamental problem in intensity-based 2D/3D registration, which concerns the limited capture range and need for very good initialization of state-of-the-art image registration methods.
Benjamin Hou, A. Alansary, Steven G. McDonagh, A. Davidson, M. Rutherford, J. Hajnal, D. Rueckert, B. Glocker, Bernhard Kainz   +8 more
semanticscholar   +1 more source

Slicing Functional Programs by Calculation

, 2006
Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance.
F. Rodrigues, Nuno, Barbosa, Luís S.
openaire   +4 more sources

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   +2 more sources