Existence of global weak solutions to some regularized kinetic models for dilute polymers

Published versio

Systematic study of the PDC speckle structure for quantum imaging applications

Sub shot noise imaging of weak object by exploiting Parametric Down Converted light represents a very interesting technological development. A precise characterization of PDC speckle structure in dependence of pump beam parameters is a fundamental tool for this application. In this paper we present a first set of data addressed to this purpose

Association of Factor V Secretion with Protein Kinase B Signaling in Platelets from Horses with Atypical Equine Thrombasthenia.

BackgroundTwo congenital bleeding diatheses have been identified in Thoroughbred horses: Glanzmann thrombasthenia (GT) and a second, novel diathesis associated with abnormal platelet function in response to collagen and thrombin stimulation.Hypothesis/objectivesPlatelet dysfunction in horses with this second thrombasthenia results from a secretory defect.AnimalsTwo affected and 6 clinically normal horses.MethodsEx vivo study. Washed platelets were examined for (1) expression of the αIIb-β3 integrin; (2) fibrinogen binding capacity in response to ADP and thrombin; (3) secretion of dense and α-granules; (4) activation of the mammalian target of rapamycin (mTOR)-protein kinase B (AKT) signaling pathway; and (5) cellular distribution of phosphatidylinositol-4-phosphate-3-kinase, class 2B (PIK3C2B) and SH2 containing inositol-5'-phosphatase 1 (SHIP1).ResultsPlatelets from affected horses expressed normal amounts of αIIb-β3 integrin and bound fibrinogen normally in response to ADP, but bound 80% less fibrinogen in response to thrombin. α-granules only released 50% as much Factor V as control platelets, but dense granules released their contents normally. Protein kinase B (AKT) phosphorylation was reduced after thrombin activation, but mTOR Complex 2 (mTORC2) and phosphoinositide-dependent kinase 1 (PDK1) signaling were normal. SH2-containing inositol-5'-phosphatase 1 (SHIP1) did not localize to the cytoskeleton of affected platelets and was decreased overall consistent with reduced AKT phosphorylation.Conclusions and clinical significanceDefects in fibrinogen binding, granule secretion, and signal transduction are unique to this thrombasthenia, which we designate as atypical equine thrombasthenia

Introducing a Calculus of Effects and Handlers for Natural Language Semantics

In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the same pattern: they are instances of a monad. In this paper, we present an extension of the simply-typed lambda calculus that exploits this uniformity using the recently discovered technique of effect handlers. We prove that our calculus exhibits some of the key formal properties of the lambda calculus and we use it to construct a modular semantics for a small fragment that involves multiple distinct semantic phenomena

The relationship between parental education and children's schooling in a time of economic turmoil: The case of East Zimbabwe, 2001 to 2011.

Using data collected from 1998 to 2011 in a general population cohort study in eastern Zimbabwe, we describe education trends and the relationship between parental education and children's schooling during the Zimbabwean economic collapse of the 2000s. During this period, the previously-rising trend in education stalled, with girls suffering disproportionately; however, female enrolment increased as the economy began to recover. Throughout the period, children with more educated parents continued to have better outcomes such that, at the population level, an underlying increase in the proportion of children with more educated parents may have helped to maintain the upwards education trend

Existence of global weak solutions to compressible isentropic finitely extensible bead-spring chain models for dilute polymers

We prove the existence of global-in-time weak solutions to a general class of models that arise from the kinetic theory of dilute solutions of nonhomogeneous polymeric liquids, where the polymer molecules are idealized as bead-spring chains with finitely extensible nonlinear elastic (FENE) type spring potentials. The class of models under consideration involves the unsteady, compressible, isentropic, isothermal Navier–Stokes system in a bounded domain Ω in Rd, d = 2 or 3, for the density ρ, the velocity u∼ and the pressure p of the fluid, with an equation of state of the form p(ρ) = cpρ γ, where cp is a positive constant and γ > 3 2 . The right-hand side of the Navier–Stokes momentum equation includes an elastic extra-stress tensor, which is the sum of the classical Kramers expression and a quadratic interaction term. The elastic extra-stress tensor stems from the random movement of the polymer chains and is defined through the associated probability density function that satisfies a Fokker–Planck-type parabolic equation, a crucial feature of which is the presence of a centre-of-mass diffusion term

Primary care physician practices in the diagnosis, treatment and management of men with chronic prostatitis/chronic pelvic pain syndrome.

To describe practice patterns of primary care physicians (PCPs) for the diagnosis, treatment and management of chronic prostatitis/chronic pelvic pain syndrome (CP/CPPS), we surveyed 556 PCPs in Boston, Chicago, and Los Angeles (RR=52%). Only 62% reported ever seeing a patient like the one described in the vignette. In all, 16% were 'not at all' familiar with CP/CPPS, and 48% were 'not at all' familiar with the National Institutes of Health classification scheme. PCPs reported practice patterns regarding CP/CPPS, which are not supported by evidence. Although studies suggest that CP/CPPS is common, many PCPs reported little or no familiarity, important knowledge deficits and limited experience in managing men with this syndrome

Centrifuge modeling of rocking-isolated inelastic RC bridge piers

Experimental proof is provided of an unconventional seismic design concept, which is based on deliberately underdesigning shallow foundations to promote intense rocking oscillations and thereby to dramatically improve the seismic resilience of structures. Termed rocking isolation, this new seismic design philosophy is investigated through a series of dynamic centrifuge experiments on properly scaled models of a modern reinforced concrete (RC) bridge pier. The experimental method reproduces the nonlinear and inelastic response of both the soil-footing interface and the structure. To this end, a novel scale model RC (1:50 scale) that simulates reasonably well the elastic response and the failure of prototype RC elements is utilized, along with realistic representation of the soil behavior in a geotechnical centrifuge. A variety of seismic ground motions are considered as excitations. They result in consistent demonstrably beneficial performance of the rocking-isolated pier in comparison with the one designed conventionally. Seismic demand is reduced in terms of both inertial load and deck drift. Furthermore, foundation uplifting has a self-centering potential, whereas soil yielding is shown to provide a particularly effective energy dissipation mechanism, exhibiting significant resistance to cumulative damage. Thanks to such mechanisms, the rocking pier survived, with no signs of structural distress, a deleterious sequence of seismic motions that caused collapse of the conventionally designed pier. © 2014 The Authors Earthquake Engineering & Structural Dynamics Published by John Wiley & Sons Ltd

A multiple scales approach to crack front waves

Perturbation of a propagating crack with a straight edge is solved using the method of matched asymptotic expansions (MAE). This provides a simplified analysis in which the inner and outer solutions are governed by distinct mechanics. The inner solution contains the explicit perturbation and is governed by a quasi-static equation. The outer solution determines the radiation of energy away from the tip, and requires solving dynamic equations in the unperturbed configuration. The outer and inner expansions are matched via the small parameter L/l defined by the disparate length scales: the crack perturbation length L and the outer length scale l associated with the loading. The method is first illustrated for a scalar crack model and then applied to the elastodynamic mode I problem. The dispersion relation for crack front waves is found by requiring that the energy release rate is unaltered under perturbation. The wave speed is calculated as a function of the nondimensional parameter kl where k is the crack front wavenumber, and dispersive properties of the crack front wave speed are described for the first time. The example problems considered here demonstrate that the potential of using MAE for moving boundary value problems with multiple scales.Comment: 25 pages, 5 figure

Trustee: Full Privacy Preserving Vickrey Auction on top of Ethereum

The wide deployment of tokens for digital assets on top of Ethereum implies the need for powerful trading platforms. Vickrey auctions have been known to determine the real market price of items as bidders are motivated to submit their own monetary valuations without leaking their information to the competitors. Recent constructions have utilized various cryptographic protocols such as ZKP and MPC, however, these approaches either are partially privacy-preserving or require complex computations with several rounds. In this paper, we overcome these limits by presenting Trustee as a Vickrey auction on Ethereum which fully preserves bids' privacy at relatively much lower fees. Trustee consists of three components: a front-end smart contract deployed on Ethereum, an Intel SGX enclave, and a relay to redirect messages between them. Initially, the enclave generates an Ethereum account and ECDH key-pair. Subsequently, the relay publishes the account's address and ECDH public key on the smart contract. As a prerequisite, bidders are encouraged to verify the authenticity and security of Trustee by using the SGX remote attestation service. To participate in the auction, bidders utilize the ECDH public key to encrypt their bids and submit them to the smart contract. Once the bidding interval is closed, the relay retrieves the encrypted bids and feeds them to the enclave that autonomously generates a signed transaction indicating the auction winner. Finally, the relay submits the transaction to the smart contract which verifies the transaction's authenticity and the parameters' consistency before accepting the claimed auction winner. As part of our contributions, we have made a prototype for Trustee available on Github for the community to review and inspect it. Additionally, we analyze the security features of Trustee and report on the transactions' gas cost incurred on Trustee smart contract.Comment: Presented at Financial Cryptography and Data Security 2019, 3rd Workshop on Trusted Smart Contract