Results 61 to 70 of about 2,058,291 (283)

Pathology features and the results of treatment of two cases of posterior choroidal leiomyoma

BMC Ophthalmology, 2020
Background Posterior choroidal leiomyoma is an extremely rare tumor, to our knowledge, less than 10 cases reported in the literature. The definite diagnosis can be confirmed by immunohistochemistry, and local resection is preferable to enucleation for ...
Nan Zhou, Wenbin Wei, Xiaolin Xu
doaj   +1 more source

Pre-Solicitation Notice [PDF]

, 2008
This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide.
International Cocoa Verification Board, Verité   +1 more
core   +1 more source

Abstraction and Learning for Infinite-State Compositional Verification

, 2013
Despite many advances that enable the application of model checking techniques to the verification of large systems, the state-explosion problem remains the main challenge for scalability.
Giannakopoulou, Dimitra, Păsăreanu, Corina S.   +1 more
core   +2 more sources

Platform Dependent Verification: On Engineering Verification Tools for 21st Century [PDF]

, 2011
The paper overviews recent developments in platform-dependent explicit-state LTL model checking.Comment: In Proceedings PDMC 2011, arXiv:1111 ...
A. Aggarwal, A. B. Kahn, Alfons Laarman, Armin Biere, B. R. Haverkort, Boudewijn R. Haverkort, Brad Bingham, Cornelia P. Inggs, D. Bosnacki, David L. Dill, Doron Peled, E. Allen Emerson, E. M. Clarke, E.M. Clarke, Flavio Lerda, Flavio Lerda, G. Behrmann, G. Ciardo, G. Jayachandran, Gerard J. Holzmann, Gerard J. Holzmann, Gerard J. Holzmann, Gianfranco Ciardo, Giuseppe Della Penna, H. Garavel, I. Černá, I. Černá, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. Barnat, J. R. Burch, Jaco Geldenhuys, Jiří Barnat, Jiří Barnat, K. Verstoep, Keijo Heljanko, Keijo Heljanko, L. Brim, L. Brim, Luboš Brim, M.Y. Vardi, Michael Jones, Moritz Hammer, Naga K. Govindaraju, P. Harish, Peter Lamborn, R. Korf, R. Korf, R. Pel\IeC ánek, Rahul Kumar, Rong Zhou, S. Allmaier, S. Caselli, Sami Evangelista, Shahid Jabbar, Shahid Jabbar, Stefan Edelkamp, T. von Eicken, Tonglaga Bao, U. Stern, U. Stern, W. Knottenbelt, W. Knottenbelt, Yi-Jen Chiang   +78 more
core   +2 more sources

Evaluating the Utility of Paired Tumor and Germline Targeted DNA Sequencing for Pediatric Oncology Patients: A Single Institution Report

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Objective To evaluate the diagnostic yield and utility of universal paired tumor–normal multigene panel sequencing in newly diagnosed pediatric solid and central nervous system (CNS) tumor patients and to compare the detection of germline pathogenic/likely pathogenic variants (PV/LPVs) against established clinical referral criteria for cancer ...
Natalie Waligorski, Rebecca Ronsley, Shannon M. Stasi, Jeffrey Stevens, Erin R. Rudzinski, Christina M. Lockwood, Sarah E. S. Leary, Bonnie L. Cole, Michelle A. Ting, Vera Paulson   +9 more
wiley   +1 more source

On Formal Specification of Emergent Behaviours in Swarm Robotic Systems

International Journal of Advanced Robotic Systems, 2005
It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours of individual robots is very difficult.
Alan FT Winfield, Jin Sa, Mari-Carmen Fernández-Gago, Clare Dixon, Michael Fisher   +4 more
doaj   +1 more source

Optical coherence tomography angiography characteristics of optic disc melanocytoma

BMC Ophthalmology, 2020
Background Optic disc melanocytoma (ODMC) was a benign pigmented intraocular tumor with the rare potential malignant transformation. This study was designed to evaluate tumor vasculature with optical coherence tomography angiography (OCTA) in ODMC ...
Nan Zhou, Xiaolin Xu, Wenbin Wei
doaj   +1 more source

Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback

, 2011
We present the formal verification of a low-power x86 floating-point multiplier. The multiplier operates iteratively and feeds back intermediate results in redundant representation. It supports x87 and SSE instructions in various precisions and can block
Anna Slobodová, Anna Slobodová, Christoph Berg, David Hardin, David M. Russinoff, David M. Russinoff, David M. Russinoff, David M. Russinoff, David M. Russinoff, Dimitri Tan, Erik Reeber, Julien Schmaltz, Mark D Aagaard, Matt Kaufmann, Matt Kaufmann, Peter-Michael Seidel, Roope Kaivola   +16 more
core   +2 more sources

Intravitreal GD2‐Specific Chimeric Antigen Receptor T‐Cell Therapy for Refractory Retinoblastoma

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Effective treatments for advanced, treatment‐resistant retinoblastoma (RB) remain limited. GD2‐specific chimeric antigen receptor (CAR) T cells show potent antitumor activity with minimal toxicity but have not previously been evaluated in RB.
Subongkoch Subhadhirasakul, Jatuporn Sujjitjoon, Pa‐thai Yenchitsomanus, Kridtin Jarutatsanangkoon, Ng Wei Loon, Kleebsabai Sanpakit, Jassada Buaboonnam, Chayamon Takpradit, Pornpimon Yuti, Nunghathai Sawasdee, Piriya Luangwattananun, Siripakorn Sangkitporn, Arnan Limmahachai, La‐ongsri Atchaneeyasakul   +13 more
wiley   +1 more source

Outcomes of Live Virus Vaccination in Patients With Vascular Anomalies Being Treated With Sirolimus

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Live vaccination in patients with vascular anomalies (VA) receiving sirolimus remains controversial due to immunosuppressive effects and theoretical risks. Procedure This single‐center retrospective study included patients with VA less than 4 years old at the start of sirolimus therapy who were incompletely vaccinated.
Svatava Merkle, Kiersten Ricci, Kelly Blache, Rebecca A. Marsh, Adrienne M. Hammill, Elissa Engel   +5 more
wiley   +1 more source