Compact Labelings For Efficient First-Order Model-Checking

We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the graphs of every class that is \emph{nicely locally cwd-decomposable}. This notion generalizes that of a \emph{nicely locally tree-decomposable} class. The graphs of such classes can be covered by graphs of bounded \emph{clique-width} with limited overlaps. We also consider such labelings for \emph{bounded} first-order formulas on graph classes of \emph{bounded expansion}. Some of these results are extended to counting queries

Capturing MSO with One Quantifier

International audienceWe construct a single Lindström quantifier Q such that FO(Q), the extension of first-order logic with Q has the same expressive power as monadic second-order logic on the class of binary trees (with distinct left and right successors) and also on unranked trees with a sibling order. This resolves a conjecture by ten Cate and Segoufin. The quantifier Q is a variation of a quantifier expressing the Boolean satisfiability problem

On Second-Order Monadic Monoidal and Groupoidal Quantifiers

We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages. We give a computational classification of the expressive power of these logics over strings with varying built-in predicates. In particular, we show that ATIME(n) can be logically characterized in terms of second-order monadic monoidal quantifiers

Caspase-2-mediated cell death is required for deleting aneuploid cells

Caspase-2, one of the most evolutionarily conserved of the caspase family, has been implicated in maintenance of chromosomal stability and tumour suppression. Caspase-2 deficient (Casp2-/-) mice develop normally but show premature ageing-related traits and when challenged by certain stressors, succumb to enhanced tumour development and aneuploidy. To test how caspase-2 protects against chromosomal instability, we utilized an ex vivo system for aneuploidy where primary splenocytes from Casp2-/- mice were exposed to anti-mitotic drugs and followed up by live cell imaging. Our data show that caspase-2 is required for deleting mitotically aberrant cells. Acute silencing of caspase-2 in cultured human cells recapitulated these results. We further generated Casp2C320S mutant mice to demonstrate that caspase-2 catalytic activity is essential for its function in limiting aneuploidy. Our results provide direct evidence that the apoptotic activity of caspase-2 is necessary for deleting cells with mitotic aberrations to limit aneuploidy.S Dawar, Y Lim, J Puccini, M White, P Thomas, L Bouchier-Hayes, D R Green, L Dorstyn and S Kuma

A Population-Based Evaluation of a Publicly Funded, School-Based HPV Vaccine Program in British Columbia, Canada: Parental Factors Associated with HPV Vaccine Receipt

Analysis of a telephone survey by Gina Ogilvie and colleagues identifies the parental factors associated with HPV vaccine uptake in a school-based program in Canada

Five areas to advance branding theory and practice

The paper suggests five areas to advance branding theory and practice based on the authors’ recent work in brand management. In this commentary, we aim to put forward suggestions and ideas for further research in brand management; ideas, which we believe will have an impact on the way branding is researched and practiced by both academics and practitioners alike. We will focus on the future of branding in the following areas, inspired by our own work in the field: (1) branding in higher education, (2) branding in Asia Pacific, (3) brand ambidexterity, (4) brand innovation on social media, and (5) brand likeability

An Outer Arm Dynein Conformational Switch Is Required for Metachronal Synchrony of Motile Cilia in Planaria

Here we use the motile ventral cilia of the planarian S. mediterranea to examine the role of outer arm dynein in the generation and maintenance of metachronal synchrony. We demonstrate that a single dynein light chain plays a mechanosensory role necessary to entrain and maintain the metachronal synchrony of motile cilia

Leveraging analytics to produce compelling and profitable film content

Producing compelling film content profitably is a top priority to the long-term prosperity of the film industry. Advances in digital technologies, increasing availabilities of granular big data, rapid diffusion of analytic techniques, and intensified competition from user generated content and original content produced by Subscription Video on Demand (SVOD) platforms have created unparalleled needs and opportunities for film producers to leverage analytics in content production. Built upon the theories of value creation and film production, this article proposes a conceptual framework of key analytic techniques that film producers may engage throughout the production process, such as script analytics, talent analytics, and audience analytics. The article further synthesizes the state-of-the-art research on and applications of these analytics, discuss the prospect of leveraging analytics in film production, and suggest fruitful avenues for future research with important managerial implications