Case report of a 38-year-old female patient with systemic lupus erythematosus (SLE) who presented an acute arterial thromboembolic event in the right lower limb. Investigation showed the presence of antiphospholipid antibodies and sterile vegetation in the mitral valve, Libman-Sacks endocarditis (LSE). Possible causes of thromboembolic events in SLE are discussed, with emphasis on current recom...

We consider selective ultrafilters on the collection FIN of all finite nonempty subsets of N. If countablesupport side-by-side Sacks forcing is applied, then every selective ultrafilter in the ground model generates a selective ultrafilter in the extension. We also show that selective ultrafilters localizes the Parametrized Milliken Theorem, and that selective ultrafilters are Ramsey.

Inverse problems for selfadjoint Schrödinger operators on the half line with compactly supported potentials Tuncay Aktosun,1,a) Paul Sacks,2,b) and Mehmet Unlu3,c) 1Department of Mathematics, University of Texas at Arlington, Arlington, Texas 76019-0408, USA 2Department of Mathematics, Iowa State University, Ames, Iowa 24061, USA 3Department of Mathematics, Recep Tayyip Erdogan University, 5310...

We present sharp bounds on the minimal errors of linear estimators for multi-variate integration and L 2-approximation. This is done for a random eld whose covariance kernel is a tensor product of one dimensional kernels that satisfy the Sacks-Ylvisaker regularity conditions.

We provide a general preservation theorem for preserving selective independent families along countable support iterations. The gives framework number of results in the literature concerning models which independence i is strictly below c, including iterations Sacks forcing, Miller partition h-perfect tree forcings, coding with perfect trees. Moreover, applying theorem, we show that i=ℵ1 Lite m...

We prove that various classical tree forcings—for instance Sacks forcing, Mathias Laver Miller forcing and Silver forcing—preserve the statement every real has a sharp hence analytic determinacy. then lift this result via methods of inner model theory to obtain level-by-level preservation projective determinacy (PD). Assuming PD, we further generic absoluteness holds no new equivalence classes ...

The perforation of a mitral valve aneurysm is a rare disease which induces acute mitral regurgitation and is usually induced by infective endocarditis; however, in this case report, acute heart failure was caused by a perforated mitral valve aneurysm that was speculated to be due to Libman-Sacks endocarditis with systemic lupus erythematosis and secondary anti-phospholipid syndrome. Mitral valv...

This paper analyses the register requirements of software pipelined inner loops. When the number of functional units and/or the number of stages of individual functional units is increased, the number of registers required may be prohibitive in chip area and cycle time. We characterize lifetime of values in pipelined loops with their loop register locality (LRL). Based on this characteristic, w...