Blood Oxygen Level-Dependent Activation of the Primary Visual Cortex Predicts Size Adaptation Illusion

In natural scenes, objects rarely occur in isolation but appear within a spatiotemporal context. Here, we show that the perceived size of a stimulus is significantly affected by the context of the scene: brief previous presentation of larger or smaller adapting stimuli at the same region of space changes the perceived size of a test stimulus, with larger adapting stimuli causing the test to appear smaller than veridical and vice versa. In ahumanfMRI study, we measured the blood oxygen level-dependent activation (BOLD) responses of the primary visual cortex (V1) to the contours of large-diameter stimuli and found that activation closely matched the perceptual rather than the retinal stimulus size: the activated area of V1 increased or decreased, depending on the size of the preceding stimulus. A model based on local inhibitory V1 mechanisms simulated the inward or outward shifts of the stimulus contours and hence the perceptual effects. Our findings suggest that area V1 is actively involved in reshaping our perception to match the short-term statistics of the visual scene

Linearity in the non-deterministic call-by-value setting

We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in such formalisms. After proving the subject reduction and the strong normalisation properties, we propose a translation of this calculus into the System F with pairs, which corresponds to a non linear fragment of linear logic. The translation provides a deeper understanding of the linearity in our setting.Comment: 15 pages. To appear in WoLLIC 201

Virtually Abelian Quantum Walks

We introduce quantum walks on Cayley graphs of non-Abelian groups. We focus on the easiest case of virtually Abelian groups, and introduce a technique to reduce the quantum walk to an equivalent one on an Abelian group with coin system having larger dimension. We apply the technique in the case of two quantum walks on virtually Abelian groups with planar Cayley graphs, finding the exact solution.Comment: 10 pages, 3 figure

Life Cycle Assessment of a Circular Economy Process for Tray Production via Water-Based Upcycling of Vegetable Waste

With one-third of food being wasted at the various steps of the value chain, there is a large amount of biomass constantly being discarded, also wasting the resources consumed for its production. Several strategies have been proposed to use this biomass as a source of raw materials for the production of plastic alternatives, but the environmental impact parameters have rarely been estimated to understand if the proposed process provides an overall benefit. The purpose of this paper is to analyze, through an experimental laboratory campaign, the production process of a vegetable biocomposite material obtained by valorization of biomass from two sources: unsold vegetables from a wholesale market and carrot pomace obtained as a byproduct of juicing. The obtained biocomposite films were thermoformed into trays to replace the traditional plastic food containers made principally with PET. Different scenarios for the lab-scale production of trays were evaluated by testing two water-based processing methods for the two types of biomass used. In order to understand which of the four scenarios was the least impactful, the global warming potential, the cumulative energy demand, and the water scarcity index were used as indicators. Among the different lab-scale processing scenarios for the upscaling of vegetable waste, the least impactful was starting from the unsold/discarded vegetables collected at the wholesale market that were processed via water-based hydrolysis catalyzed by formic acid. Impact parameters were comparable or better than two traditional polymers (PET and HDPE) and two biopolymers (PLA and biopolymer from starch), showing that this process has excellent potential, from an environmental point of view, of substituting plastic packaging

Breeding Ecology of the Imperial Shag (Phalacrocorax atriceps), in Deseada Island (Santa Cruz, Argentina)

We studied the breeding ecology of Imperial Shags (Phalacrocorax atriceps) in Deseada Island (Santa Cruz, Argentina), during the breeding season of 1994-95. The shags arrived to the island in early August, they re-builded their nests and started to lay eggs during late October, with a peak of egg production in the first two weeks of November. The modal clutch size was three eggs. Hatehing started in late November. The maximum mean brood size was observed in mid- Oecember (1.4 chicks). Hatehing success was 53%, whereas the survival of chicks was 60%. Nelther hatching success nor chick survival differed among nests located in distinct sectors of the colony. In mid- February the juvenile (approximately 60 days of age): adult ratio was 1:3. All the juvenile shags left the island in late March, together with most adults

Call-by-value non-determinism in a linear logic type discipline

We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent intersection types, we endow this calculus with a type system based on the so-called Girard's second translation of intuitionistic logic into linear logic. We prove that a term is typable if and only if it is converging, and that its typing tree carries enough information to give a bound on the length of its lazy call-by-value reduction. Moreover, when the typing tree is minimal, such a bound becomes the exact length of the reduction

Environmental impacts and risk assessment in the re-use of Cr-bearing pyrolyzed tannery wastes: A case study in a residential area

Increasing concern has been raised on the environmental impacts of chromium -tanning wastes recycling. In particular, the pyrolytic conversion of leather industry sludges into Cr(VI)-free carbonized residues is believed to represent a viable route for a sustainable re -use of this type of wastes. The aim of this study was to determine the impact of recycled Cr-bearing pyrolyzed char (named KEU) as backfilling material for road construction in an urban area in Tuscany (Italy). Geochemical and chromium -isotope data, together with microstructural analyses (HR-TEM and XAS), indicate that the presence of KEU results in a significant enhancement of the natural Cr background. The results support the hypothesis that, in environmental conditions, the Cr (III) hosted in KEU is converted into Cr(VI), which is leached out by rainwater. Indeed, Cr(VI) is dispersed in surface water, reaching concentrations up to 18 mg/L and it also occurs in coatings on the surface gravel of unpaved roads. The 53 Cr/ 52 Cr ratio measured in KEU, reported in delta 53 Cr notation, was in the restricted range delta 53 Cr = - 0.031 +/- 0.057 %o ; on the contrary, the delta 53 Cr in water varied between + 1.581 +/- 0.038 %o and + 3.261 +/- 0.191 %o , indicating the reduction of Cr(VI) after the pristine oxidative mobilization. The risk -based soil screening levels (SSLs) for total Cr are well above the concentration measured in soil for all the exposure pathways. On the contrary, the SSL for Cr(VI)indicates that soil contamination poses health hazards for residents