149 research outputs found
The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name
Large constellations of small satellites: A survey of near future challenges and missions
Constellations of satellites are being proposed in large numbers; most of them are expected to be in orbit within the next decade. They will provide communication to unserved and underserved communities, enable global monitoring of Earth and enhance space observation. Mostly enabled by technology miniaturization, satellite constellations require a coordinated effort to face the technological limits in spacecraft operations and space traffic. At the moment in fact, no cost-effective infrastructure is available to withstand coordinated flight of large fleets of satellites. In order for large constellations to be sustainable, there is the need to efficiently integrate and use them in the current space framework. This review paper provides an overview of the available experience in constellation operations and statistical trends about upcoming constellations at the moment of writing. It highlights also the tools most often proposed in the analyzed works to overcome constellation management issues, such as applications of machine learning/artificial intelligence and resource/infrastructure sharing. As such, it is intended to be a useful resource for both identifying emerging trends in satellite constellations, and enabling technologies still requiring substantial development efforts
Constraints on upper crustal fluid circulation and seismogenesis from in-situ outcrop quantification of complex fault zone permeability
: The permeability of fault zones plays a significant role on the distribution of georesources and on seismogenesis in the brittle upper crust, where both natural and induced seismicity are often associated with fluid migration and overpressure. Detailed models of the permeability structure of fault zones are thus necessary to refine our understanding of natural fluid pathways and of the mechanisms leading to fluid compartmentalization and possible overpressure in the crust. Fault zones commonly contain complex internal architectures defined by the spatial juxtaposition of "brittle structural facies" (BSF), which progressively and continuously form and evolve during faulting and deformation. We present the first systematic in-situ outcrop permeability measurements from a range of BSFs from two architecturally complex fault zones in the Northern Apennines (Italy). A stark spatial heterogeneity of the present-day permeability (up to four orders of magnitude) even for tightly juxtaposed BSFs belonging to the same fault emerges as a key structural and hydraulic feature. Insights from this study allow us to better understand how complex fault architectures steer the 3D hydraulic structure of the brittle upper crust. Fault hydraulic properties, which may change through space but also in time during an orogenesis and/or individual seismic cycles, in turn steer the development of overpressured volumes, where fluid-induced seismogenesis may localize
Constraints on upper crustal fluid circulation and seismogenesis from in-situ outcrop quantification of complex fault zone permeability
The permeability of fault zones plays a significant role on the distribution of georesources and on seismogenesis in the brittle upper crust, where both natural and induced seismicity are often associated with fluid migration and overpressure. Detailed models of the permeability structure of fault zones are thus necessary to refine our understanding of natural fluid pathways and of the mechanisms leading to fluid compartmentalization and possible overpressure in the crust. Fault zones commonly contain complex internal architectures defined by the spatial juxtaposition of "brittle structural facies" (BSF), which progressively and continuously form and evolve during faulting and deformation. We present the first systematic in-situ outcrop permeability measurements from a range of BSFs from two architecturally complex fault zones in the Northern Apennines (Italy). A stark spatial heterogeneity of the present-day permeability (up to four orders of magnitude) even for tightly juxtaposed BSFs belonging to the same fault emerges as a key structural and hydraulic feature. Insights from this study allow us to better understand how complex fault architectures steer the 3D hydraulic structure of the brittle upper crust. Fault hydraulic properties, which may change through space but also in time during an orogenesis and/or individual seismic cycles, in turn steer the development of overpressured volumes, where fluid-induced seismogenesis may localize
Architecture and permeability structure of the Sibillini Mts. Thrust and influence upon recent, extension-related seismicity in the central Apennines (Italy) through fault-valve behavior
The central Apennines are a fold-thrust belt currently affected by post-orogenic ex-tensional seismicity. To constrain the influ-ence that the inherited thrust-related struc-tures exert on the present seismic behavior of the belt, we provide the high-resolution structural and hydraulic characterization of one of the most external exposed thrust fault systems of the central Apennines, the Sibil-lini Mts. Thrust Front (STF). We integrate structural mapping, multiscale structural analysis, and in situ air permeability on the brittle structural facies of the thrust zone. We also performed K-Ar dating of selected fault rocks to better constrain structural in-heritance. The STF is defined by a complex, similar to 300-m-thick deformation zone involving Meso-Cenozoic marl and limestone that re-sults from the accommodation of both seis-mic and aseismic slip during shortening. Permeability measurements indicate that the low permeability (10-2 divided by 10-3 D) of the marly rich host rock diminishes within the thrust zone, where the principal slip surfaces and associated S-C structures represent efficient hydraulic barriers (permeability down to similar to 3 x 10-10 D) to sub-vertical fluid flow. Field data and K-Ar dating indicate that the STF began its evolution ca. 7 Ma (early Messin-ian). We suggest that the studied thrust zone may represent a barrier for the upward migration of deep fluids at the hypocentral depth of present-day extensional earth-quakes. We also speculate on the influence that similar deformation zones may have at depth on the overall regional seismotectonic pattern by causing transient fluid overpres-sures and, possibly, triggering cyclic exten-sional earthquakes on normal faults prone to slip while crosscutting the earlier thrust zones (as per a classic fault valve behavior). This mechanism may have controlled the ori-gin of the 2016-2017 central Apennines dev-astating earthquakes
Absence of FGFR3–TACC3 rearrangement in hematological malignancies with numerical chromosomal alteration
n/
Ultrastructural modifications of myotendinous junction with disuse
The skeletal muscle contraction is transmitted to the tendon through the myotendinous junction (MTJ), where the proximal extremity of tendon forms characteristic finger-like processes, penetrating into the muscle mass (Ciena et al., 2010). MTJ represents an intriguing and complex structure from both biological and functional point of view. We recently demonstrated that changes at MTJ level occur as an adaptation to exercise-induced tension increase. In particular, branching of finger-like processes increases, so enlarging the whole tendon-muscle surface area and, consequently, allowing a better tension resistance (Curzi et al., 2012). The aim of this study is to analyse MTJ behavior in disuse condition, furtherly investigating the strict morphofunctional correlation. Therefore, 4 hind-limb suspended and 4 control rats were studied. After sacrifice, MTJs of plantaris muscle were withdrawn, fixed in 1.4% glutaraldehyde in 0.2M sodium cacodylate and processed as previously described (Tidball et al., 1992; D’Emilio et al., 2010). After 5 days of suspension, skeletal muscle highlights signs of atrophy in response to decreased mechanical loading (Linderman et al., 1994). In fact, close to muscle-tendon interface, irregular misaligned sarcomeres, with absent Z-lines, were observed. Muscle intermyofibrillar component spreads, especially between terminal filaments and tendon finger-like processes. A lower number of muscle-tendon interdigitations, characteristically not bifurcated, also appears. In conclusion, along with muscle atrophy features, ultrastructural changes occur at the MTJ organization level, as an adaptation to muscle unloading
Surgical site infection after caesarean section. Space for post-discharge surveillance improvements and reliable comparisons
Surgical site infections (SSI) after caesarean section (CS) represent a substantial health system concern. Surveying SSI has been associated with a reduction in SSI incidence. We report the findings of three (2008, 2011 and 2013) regional active SSI surveillances after CS in community hospital of the Latium region determining the incidence of SSI. Each CS was surveyed for SSI occurrence by trained staff up to 30 post-operative days, and association of SSI with relevant characteristics was assessed using binomial logistic regression. A total of 3,685 CS were included in the study. A complete 30 day post-operation follow-up was achieved in over 94% of procedures. Overall 145 SSI were observed (3.9% cumulative incidence) of which 131 (90.3%) were superficial and 14 (9.7%) complex (deep or organ/space) SSI; overall 129 SSI (of which 89.9% superficial) were diagnosed post-discharge. Only higher NNIS score was significantly associated with SSI occurrence in the regression analysis. Our work provides the first regional data on CS-associated SSI incidence, highlighting the need for a post-discharge surveillance which should assure 30 days post-operation to not miss data on complex SSI, as well as being less labour intensive
Growth hormone and resistance exercise effects on myotendinous junction in hind-limb unloaded rats: an ultrastructural study
Myotendinous junction (MTJ), is the site at which the contractile forces are transmitted from myofibrils to extracellular matrix, and, when observed at ultrastructural level, it displays an interdigitated profile (Kojima et al., 2008). The aim of this study is to investigate the junctional behaviour in the atrophic condition and during particular prevention protocols. The MTJs of plantaris muscles from twenty hypophysectomized rats were processed for electron microscopy (Curzi et al., 2012). The animals were assigned to one of five groups: control (CTRL), hind-limb suspended (HS), hind-limb suspended and exercised (EX), hind-limb suspended and growth hormone injected (GH) and hind-limb suspended, GH injected and exercised (GH+EX). After unloading, the tendon finger-like processes appeared small and irregular and the contact between tissues is reduced to 61.3%. The prevention treatments increased the interface area up to 6.2% in GH, 25.3% in EX and 46.4 % in GH+EX respectively. The resistance exercise protocol, as well as GH treatment, was not capable of maintaining the contact surface between tissues, but in both exercised groups the number of bifurcated interdigitations was higher than in the CTRL. In conclusion, ultrastructural changes occur at MTJ in HS, as an adaptation to muscle unloading. Differently, MTJ structure is partially maintained by resistance training or GH treatment, while the exercise with simultaneous somatropin administration showed a greater effect
- …