Evaluating Matrix Circuits

The circuit evaluation problem (also known as the compressed word problem) for finitely generated linear groups is studied. The best upper bound for this problem is $\mathsf{coRP}$, which is shown by a reduction to polynomial identity testing. Conversely, the compressed word problem for the linear group $\mathsf{SL}_3(\mathbb{Z})$ is equivalent to polynomial identity testing. In the paper, it is shown that the compressed word problem for every finitely generated nilpotent group is in $\mathsf{DET} \subseteq \mathsf{NC}^2$. Within the larger class of polycyclic groups we find examples where the compressed word problem is at least as hard as polynomial identity testing for skew arithmetic circuits

Compressed Membership for NFA (DFA) with Compressed Labels is in NP (P)

In this paper, a compressed membership problem for finite automata, both deterministic and non-deterministic, with compressed transition labels is studied. The compression is represented by straight-line programs (SLPs), i.e. context-free grammars generating exactly one string. A novel technique of dealing with SLPs is introduced: the SLPs are recompressed, so that substrings of the input text are encoded in SLPs labelling the transitions of the NFA (DFA) in the same way, as in the SLP representing the input text. To this end, the SLPs are locally decompressed and then recompressed in a uniform way. Furthermore, such recompression induces only small changes in the automaton, in particular, the size of the automaton remains polynomial. Using this technique it is shown that the compressed membership for NFA with compressed labels is in NP, thus confirming the conjecture of Plandowski and Rytter and extending the partial result of Lohrey and Mathissen; as it is already known, that this problem is NP-hard, we settle its exact computational complexity. Moreover, the same technique applied to the compressed membership for DFA with compressed labels yields that this problem is in P; for this problem, only trivial upper-bound PSPACE was known

Faculty Perceptions Of Attendance Policy In An AACSB School

The issue of attendance policies has been studied by higher education professionals for nearly a century. Prior research has shown a strong statistical link between class attendance and student grades. The aim of our research project is to gauge the attitudes and policies of business school professors in an AACSB accredited school on this topic. An online survey was conducted during the early Fall 2018 semester. Results suggest the vast majority of respondents institute an attendance policy in their classes. Respondents taught courses at both the graduate and undergraduate levels and are a diverse set of faculty as indicated by academic rank, age, gender and level of education

A Risk Assessment of Intangible Asset Valuation: The Post-Hoc Association between Goodwill Impairments and Risk Hazards in Mergers and Acquisitions

We tested whether the change from SFAS 141 to SFAS 141r/ASC 805 had any effect on restatements due to goodwill impairment. Our findings suggest that the implementation of SFAS 141r increased the likelihood of a financial restatement by 2.5 times. Board of Director and Audit Committee involvement in the goodwill impairment decision reduced the likelihood of a restatement occurring. Service industry companies were 3.2 times more likely to restate their assets due to goodwill impairment. Companies who were audited by a Big4 firm reduced the odds of restatement by 47%

A hematopoietic contribution to microhemorrhage formation during antiviral CD8 T cell-initiated blood-brain barrier disruption

<p>Abstract</p> <p>Background</p> <p>The extent to which susceptibility to brain hemorrhage is derived from blood-derived factors or stromal tissue remains largely unknown. We have developed an inducible model of CD8 T cell-initiated blood-brain barrier (BBB) disruption using a variation of the Theiler's murine encephalomyelitis virus (TMEV) model of multiple sclerosis. This peptide-induced fatal syndrome (PIFS) model results in severe central nervous system (CNS) vascular permeability and death in the C57BL/6 mouse strain, but not in the 129 SvIm mouse strain, despite the two strains' having indistinguishable CD8 T-cell responses. Therefore, we hypothesize that hematopoietic factors contribute to susceptibility to brain hemorrhage, CNS vascular permeability and death following induction of PIFS.</p> <p>Methods</p> <p>PIFS was induced by intravenous injection of VP2_121-130peptide at 7 days post-TMEV infection. We then investigated brain inflammation, astrocyte activation, vascular permeability, functional deficit and microhemorrhage formation using T2*-weighted magnetic resonance imaging (MRI) in C57BL/6 and 129 SvIm mice. To investigate the contribution of hematopoietic cells in this model, hemorrhage-resistant 129 SvIm mice were reconstituted with C57BL/6 or autologous 129 SvIm bone marrow. Gadolinium-enhanced, T1-weighted MRI was used to visualize the extent of CNS vascular permeability after bone marrow transfer.</p> <p>Results</p> <p>C57BL/6 and 129 SvIm mice had similar inflammation in the CNS during acute infection. After administration of VP2_121-130peptide, however, C57BL/6 mice had increased astrocyte activation, CNS vascular permeability, microhemorrhage formation and functional deficits compared to 129 SvIm mice. The 129 SvIm mice reconstituted with C57BL/6 but not autologous bone marrow had increased microhemorrhage formation as measured by T2*-weighted MRI, exhibited a profound increase in CNS vascular permeability as measured by three-dimensional volumetric analysis of gadolinium-enhanced, T1-weighted MRI, and became moribund in this model system.</p> <p>Conclusion</p> <p>C57BL/6 mice are highly susceptible to microhemorrhage formation, severe CNS vascular permeability and morbidity compared to the 129 SvIm mouse. This susceptibility is transferable with the bone marrow compartment, demonstrating that hematopoietic factors are responsible for the onset of brain microhemorrhage and vascular permeability in immune-mediated fatal BBB disruption.</p

Choreography Automata

Online event due to covidInternational audienceAutomata models are well-established in many areas of computer science and are supported by a wealth of theoretical results including a wide range of algorithms and techniques to specify and analyse systems. We introduce choreography automata for the choreographic modelling of communicating systems. The projection of a choreography automaton yields a system of communicating finite-state machines. We consider both the standard asynchronous semantics of communicating systems and a synchronous variant of it. For both, the projections of well-formed automata are proved to be live as well as lock-and deadlock-free

Herbage Response to Precommercial Thinning in Direct-Seeded Slash Pine

Direct-seeded slash pines (Pinus elliottii Engelm. var elliottii) were thinned at age 3 years to densities ranging from 500 to 5,300 trees/acre. At stand age 12 years, herbage yields were inversely related to tree basal area, varying from 560 lb./acre under tree basal areas of 125 ft2 to 2,230 lb. under 54 ft2. Where timber stand densities were equal, yield did not vary between plots that had been thinned selectively and those on which continuous opening had been created by removing trees in strips.This material was digitized as part of a cooperative project between the Society for Range Management and the University of Arizona Libraries.The Journal of Range Management archives are made available by the Society for Range Management and the University of Arizona Libraries. Contact [email protected] for further information.Migrated from OJS platform August 202