On relations of invariants for vector-valued forms

An algorithm is given for computing explicit formulas for the generators of relations among the invariant rational functions for vector-valued bilinear forms. These formulas have applications in the geometry of Riemannian submanifolds and in CR geometry.Comment: Major changes in the expositio

Copyright Implications of Live Streaming Apps

One area of the law that is sure to be a hotly contested issue in the near future is copyright infringement through the use of mobile live streaming applications. The two most popular mobile live streaming applications are Meerkat, and the Twitter-owned Periscope. These two applications allow users to point and shoot their mobile devices and cast a live stream for millions of people around the world to see. While these applications can be used to live stream all kinds of entertaining footage, certain uses of the apps have come under fire as potentially illegal. Some experts fear that “[i]n a single live stream, you might show someone else’s copyrighted creative work, illegally invade their privacy, violate their right of publicity…or even all three!” This post was originally published on the Cardozo Arts & Entertainment Law Journal website on April 26, 2016. The original post can be accessed via the Archived Link button above

Programming Language Tools and Techniques for 3D Printing

We propose a research agenda to investigate programming language techniques for improving affordable, end-user desktop manufacturing processes such as 3D printing. Our goal is to adapt programming languages tools and extend the decades of research in industrial, high-end CAD/CAM in order to help make affordable desktop manufacturing processes more accurate, fast, reliable, and accessible to end-users. We focus on three major areas where 3D printing can benefit from programming language tools: design synthesis, optimizing compilation, and runtime monitoring. We present preliminary results on synthesizing editable CAD models from difficult-to-edit surface meshes, discuss potential new compilation strategies, and propose runtime monitoring techniques. We conclude by discussing additional near-future directions we intend to pursue

Toward a Dependability Case Language and Workflow for a Radiation Therapy System

We present a near-future research agenda for bringing a suite of modern programming-languages verification tools - specifically interactive theorem proving, solver-aided languages, and formally defined domain-specific languages - to the development of a specific safety-critical system, a radiotherapy medical device. We sketch how we believe recent programming-languages research advances can merge with existing best practices for safety-critical systems to increase system assurance and developer productivity. We motivate hypotheses central to our agenda: That we should start with a single specific system and that we need to integrate a variety of complementary verification and synthesis tools into system development

Heart rate variability and the relationship between trauma exposure age, and psychopathology in a post-conflict setting

BACKGROUND: Cumulative exposure to potentially traumatic events (PTEs) increases risk for mental distress in conflict-affected settings, but the psychophysiological mechanisms that mediate this dose-response relationship are unknown. We investigated diminished heart rate variability (HRV) - an index of vagus nerve function and a robust predictor of emotion regulation capacity - as a vulnerability marker that potentially mediates the association between PTE exposure, age and symptoms of posttraumatic stress disorder (PTSD), psychological distress and aggressive behavior, in a community sample from Timor-Leste - a post-conflict country with a history of mass violence. METHOD: Resting state heart rate data was recorded from 45 cases of PTSD, depression and intermittent explosive disorder (IED); and 29 non-case controls. RESULTS: Resting HRV was significantly reduced in the combined case group compared with non-cases (p = .021; Cohen's d = 0.5). A significant mediation effect was also observed, whereby a sequence of increased age, reduced HRV and elevated PTSD symptoms mediated the association between PTE exposure and distress (B = .06, SE = .05, 95% CI = [.00-.217]) and aggression (B = .02, SE = .02, 95% CI = [.0003-.069])). CONCLUSION: The findings demonstrate an association between diminished resting HRV and psychopathology. Moreover, age-related HRV reductions emerged as a potential psychophysiological mechanism that underlies enhanced vulnerability to distress and aggression following cumulative PTE exposure

Genome-wide analyses as part of the international FTLD-TDP whole-genome sequencing consortium reveals novel disease risk factors and increases support for immune dysfunction in FTLD

Frontotemporal lobar degeneration with neuronal inclusions of the TAR DNA-binding protein 43 (FTLD-TDP) represents the most common pathological subtype of FTLD. We established the international FTLD-TDP whole genome sequencing consortium to thoroughly characterize the known genetic causes of FTLD-TDP and identify novel genetic risk factors. Through the study of 1,131 unrelated Caucasian patients, we estimated that C9orf72 repeat expansions and GRN loss-of-function mutations account for 25.5% and 13.9% of FTLD-TDP patients, respectively. Mutations in TBK1 (1.5%) and other known FTLD genes (1.4%) were rare, and the disease in 57.7% of FTLD-TDP patients was unexplained by the known FTLD genes. To unravel the contribution of common genetic factors to the FTLD-TDP etiology in these patients, we conducted a two-stage association study comprising the analysis of whole-genome sequencing data from 517 FTLD-TDP patients and 838 controls, followed by targeted genotyping of the most associated genomic loci in 119 additional FTLD-TDP patients and 1653 controls. We identified three genome-wide significant FTLD-TDP risk loci: one new locus at chromosome 7q36 within the DPP6 gene led by rs118113626 (pvalue=4.82e-08, OR=2.12), and two known loci: UNC13A, led by rs1297319 (pvalue=1.27e-08, OR=1.50) and HLA-DQA2 led by rs17219281 (pvalue=3.22e-08, OR=1.98). While HLA represents a locus previously implicated in clinical FTLD and related neurodegenerative disorders, the association signal in our study is independent from previously reported associations. Through inspection of our whole genome sequence data for genes with an excess of rare loss-of-function variants in FTLD-TDP patients (n≥3) as compared to controls (n=0), we further discovered a possible role for genes functioning within the TBK1-related immune pathway (e.g. DHX58, TRIM21, IRF7) in the genetic etiology of FTLD-TDP. Together, our study based on the largest cohort of unrelated FTLD-TDP patients assembled to date provides a comprehensive view of the genetic landscape of FTLD-TDP, nominates novel FTLD-TDP risk loci, and strongly implicates the immune pathway in FTLD-TDP pathogenesis

Genetic variation across RNA metabolism and cell death gene networks is implicated in the semantic variant of primary progressive aphasia

The semantic variant of primary progressive aphasia (svPPA) is a clinical syndrome characterized by neurodegeneration and progressive loss of semantic knowledge. Unlike many other forms of frontotemporal lobar degeneration (FTLD), svPPA has a highly consistent underlying pathology composed of TDP-43 (a regulator of RNA and DNA transcription metabolism). Previous genetic studies of svPPA are limited by small sample sizes and a paucity of common risk variants. Despite this, svPPA\xe2\x80\x99s relatively homogenous clinicopathologic phenotype makes it an ideal investigative model to examine genetic processes that may drive neurodegenerative disease. In this study, we used GWAS metadata, tissue samples from pathologically confirmed frontotemporal lobar degeneration, and in silico techniques to identify and characterize protein interaction networks associated with svPPA risk. We identified 64 svPPA risk genes that interact at the protein level. The protein pathways represented in this svPPA gene network are critical regulators of RNA metabolism and cell death, such as SMAD proteins and NOTCH1. Many of the genes in this network are involved in TDP-43 metabolism. Contrary to the conventional notion that svPPA is a clinical syndrome with few genetic risk factors, our analyses show that svPPA risk is complex and polygenic in nature. Risk for svPPA is likely driven by multiple common variants in genes interacting with TDP-43, along with cell death,x` working in combination to promote neurodegeneration