Functional and radiological analysis of posterior lumbar interbody fusion in spondylolisthesis

Background:Spondylolisthesis is present in 5% of the adult population with clinical evidence of low back pain. These patients are treated initially by conservative measures, failing of which surgical intervention is mandatory. Majority of patients with varying degree of slip and disability ultimately require surgical intervention. In this study we are trying to analyse the functional outcome following posterior lumbar interbody fusion in spondylolisthesis.Methods: Posterior lumbar interbody fusion using pedicle screw and rods with cage was performed on 25 patients. 6 months follow-up was completed in 25 patients who were then reviewed at regular intervals. Out of the 25 patients, 17(68%) were females and 8(32%) were males. The mean age of the patients was 40.64 years. Out of 25 patients, 14 patients had listhesis at L4 – L5 level and another 11 at L5 – S1 level. 21(84%) were Isthmic variant and 4 (16%) were Degenerative spondylolisthesis.Results:The mean follow up period in this study of 25 patients is 19 months. Out of 25 patients, there was mean improvement of 18.96 in the Oswestry scoring index. The Visual analogue scale score showed a mean improvement of 6.48. Radiologically, the percentage of slip was decreased by a mean of 8.40%. One patient had a cage extrusion with no neurological deficit.Conclusions:The pedicle screw with rod and cage system is easy to use and provides the anatomic restoration of the isthmus in isthmic spondylolisthesis or restoring the stability after laminectomy/discectomy in degenerative spondylolisthesis. From our study, we strongly believe that this technique is very useful in low grade degenerative and isthmic spondylolisthesis

On the canonical map of surfaces with q>=6

We carry out an analysis of the canonical system of a minimal complex surface of general type with irregularity q>0. Using this analysis we are able to sharpen in the case q>0 the well known Castelnuovo inequality K^2>=3p_g+q-7. Then we turn to the study of surfaces with p_g=2q-3 and no fibration onto a curve of genus >1. We prove that for q>=6 the canonical map is birational. Combining this result with the analysis of the canonical system, we also prove the inequality: K^2>=7\chi+2. This improves an earlier result of the first and second author [M.Mendes Lopes and R.Pardini, On surfaces with p_g=2q-3, Adv. in Geom. 10 (3) (2010), 549-555].Comment: Dedicated to Fabrizio Catanese on the occasion of his 60th birthday. To appear in the special issue of Science of China Ser.A: Mathematics dedicated to him. V2:some typos have been correcte

Propositional Dynamic Logic for Message-Passing Systems

We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event. Path expressions strengthen the classical until operator of temporal logic. For every formula defining an MSC language, we construct a communicating finite-state machine (CFM) accepting the same language. The CFM obtained has size exponential in the size of the formula. This synthesis problem is solved in full generality, i.e., also for MSCs with unbounded channels. The model checking problem for CFMs and HMSCs turns out to be in PSPACE for existentially bounded MSCs. Finally, we show that, for PDL with intersection, the semantics of a formula cannot be captured by a CFM anymore

Selective APRIL Blockade Delays Systemic Lupus Erythematosus in Mouse

SLE pathogenesis is complex, but it is now widely accepted that autoantibodies play a key role in the process by forming excessive immune complexes; their deposits within tissues leading to inflammation and functional damages. A proliferation inducing ligand (APRIL) is a member of the tumor necrosis factor (TNF) superfamily mediating antibody-producing plasma cell (PC)-survival that may be involved in the duration of pathogenic autoantibodies in lupus. We found significant increases of APRIL at the mRNA and protein levels in bone marrow but not spleen cells from NZB/W lupus mice, as compared to control mice. Selective antibody-mediated APRIL blockade delays disease development in this model by preventing proteinuria, kidney lesions, and mortality. Notably, this was achieved by decreasing anti-DNA and anti-chromatin autoantibody levels, without any perturbation of B- and T- cell homeostasis. Thus, anti-APRIL treatment may constitute an alternative therapy in SLE highly specific to PCs compared to other B-cell targeting therapies tested in this disease, and likely to be associated with less adverse effects than any anti-inflammatory and immunosuppressant agents previously used

Analytic curves in algebraic varieties over number fields

We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of Borel-Dwork and P\'olya-Bertrandias valid over the projective line to arbitrary algebraic curves over a number field. The formulation and the proof of these criteria involve some basic notions in Arakelov geometry, combined with complex and rigid analytic geometry (notably, potential theory over complex and $p$-adic curves). We also discuss geometric analogues, pertaining to the algebraic geometry of projective surfaces, of these arithmetic criteria.Comment: 55 pages. To appear in "Algebra, Arithmetic, and Geometry: In Honor of Y.i. Manin", Y. Tschinkel & Yu. Manin editors, Birkh\"auser, 200

Affine modifications and affine hypersurfaces with a very transitive automorphism group

We study a kind of modification of an affine domain which produces another affine domain. First appeared in passing in the basic paper of O. Zariski (1942), it was further considered by E.D. Davis (1967). The first named author applied its geometric counterpart to construct contractible smooth affine varieties non-isomorphic to Euclidean spaces. Here we provide certain conditions which guarantee preservation of the topology under a modification. As an application, we show that the group of biregular automorphisms of the affine hypersurface $X \subset C^{k+2}$ given by the equation $uv=p(x_1,...,x_k)$ where $p \in C[x_1,...,x_k],$ acts $m-$transitively on the smooth part reg$X$ of $X$ for any $m \in N.$ We present examples of such hypersurfaces diffeomorphic to Euclidean spaces.Comment: 39 Pages, LaTeX; a revised version with minor changes and correction

Studying strategies and types of players:Experiments, logics and cognitive models

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms of decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments

Burden of typhoid and paratyphoid fever in India.

BACKGROUND: In 2017, more than half the cases of typhoid fever worldwide were projected to have occurred in India. In the absence of contemporary population-based data, it is unclear whether declining trends of hospitalization for typhoid in India reflect increased antibiotic treatment or a true reduction in infection. METHODS: From 2017 through 2020, we conducted weekly surveillance for acute febrile illness and measured the incidence of typhoid fever (as confirmed on blood culture) in a prospective cohort of children between the ages of 6 months and 14 years at three urban sites and one rural site in India. At an additional urban site and five rural sites, we combined blood-culture testing of hospitalized patients who had a fever with survey data regarding health care use to estimate incidence in the community. RESULTS: A total of 24,062 children who were enrolled in four cohorts contributed 46,959 child-years of observation. Among these children, 299 culture-confirmed typhoid cases were recorded, with an incidence per 100,000 child-years of 576 to 1173 cases in urban sites and 35 in rural Pune. The estimated incidence of typhoid fever from hospital surveillance ranged from 12 to 1622 cases per 100,000 child-years among children between the ages of 6 months and 14 years and from 108 to 970 cases per 100,000 person-years among those who were 15 years of age or older. Salmonella enterica serovar Paratyphi was isolated from 33 children, for an overall incidence of 68 cases per 100,000 child-years after adjustment for age. CONCLUSIONS: The incidence of typhoid fever in urban India remains high, with generally lower estimates of incidence in most rural areas. (Funded by the Bill and Melinda Gates Foundation; NSSEFI Clinical Trials Registry of India number, CTRI/2017/09/009719; ISRCTN registry number, ISRCTN72938224.)