Tensorial logic is a primitive logic of tensor and negation which refines linear logic by relaxing the hypothesis that tensorial negation A 7→ ¬A is involutive. The resulting logic of linear continuations provides a proof-theoretic account of game semantics, where the formulas and proofs of the logic reflect univoquely dialogue games and innocent strategies. In the present paper, we introduce a...

Ultrasound has been used to disperse the cytoplasm of Giardia muris and Giardia duodenalis trophozoites, releasing disk cytoskeletons for negative staining and study by electron microscopy. Sonication also breaks down the corss-bridges uniting microribbons in disks. Individual ribbons and small bundles of these structures, are found in these preparations and have been imaged both from their edg...

Mammalian cells exhibit a frequent pericentrosomal Golgi ribbon organization. In this paper, we show that two AKAP450 N-terminal fragments, both containing the Golgi-binding GM130-interacting domain of AKAP450, dissociated endogenous AKAP450 from the Golgi and inhibited microtubule (MT) nucleation at the Golgi without interfering with centrosomal activity. These two fragments had, however, stri...

Despite ototoxic effect of aminoglycosides on auditory sensory system has been well documented, the mechanism of ototoxic damage on synaptic connection (ribbon synapse) between inner hair cells (IHCs) and spiral ganglion neurons (SGNs) is still largely unknown. Otoferlin is essential for a late step in exocytosis of neurotransmitter at ribbon synapses. In this study, C57BL/6J mice were intraper...

Introduction. Venus' ribbon tessera terrain [1,2] (rtt) records ancient environmental conditions significantly different than contemporary Venus [3,4], and geologic relations are consistent with rtt representing the oldest locally exposed unit across Venus [5], although individual tracts of rrt may have formed at differnet times [6]. We have constructed a global geologic map of rtt exposures an...

Cone light responses are transmitted to postsynaptic neurons by changes in the rate of synaptic vesicle release. Vesicle pool size at the cone synapse constrains the amount of release and can thus shape contrast detection. We measured the number of vesicles in the rapidly releasable and reserve pools at cone ribbon synapses by performing simultaneous whole cell recording from cones and horizont...

We introduce the notions of “k-connected-slice” and “π1-slice”, interpolating between “homotopy ribbon” and “slice”. We show that every high-dimensional knot group π is the group of an (n− 1)-connected-slice n-knot for all n ≥ 3. However if π is the group of an n-connected-slice n-knot the augmentation ideal I(π) must have deficiency 1 as a module. If moreover n = 2 and π is finitely generated ...