Rejection in Łukasiewicz's and Słupecki's Sense

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic

The molecular organization of differentially curved caveolae indicates bendable structural units at the plasma membrane

Caveolae are small coated plasma membrane invaginations with diverse functions. Caveolae undergo curvature changes. Yet, it is unclear which proteins regulate this process. To address this gap, we develop a correlative stimulated emission depletion (STED) fluorescence and platinum replica electron microscopy imaging (CLEM) method to image proteins at single caveolae. Caveolins and cavins are found at all caveolae, independent of curvature. EHD2 is detected at both low and highly curved caveolae. Pacsin2 associates with low curved caveolae and EHBP1 with mostly highly curved caveolae. Dynamin is absent from caveolae. Cells lacking dynamin show no substantial changes to caveolae, suggesting that dynamin is not directly involved in caveolae curvature. We propose a model where caveolins, cavins, and EHD2 assemble as a cohesive structural unit regulated by intermittent associations with pacsin2 and EHBP1. These coats can flatten and curve to enable lipid traffic, signaling, and changes to the surface area of the cell

Baffling perforation of the colon

Idiopathic perforation of the colon is extremely unusual and unexpected, with a very limited number of published reports. The condition’s definition depends on the absence of any detectable pathology in the bowel wall that could be responsible for the perforation. A 62-year-old male patient presented with acute thrombosis of the brachial artery. This was successfully treated with an open thrombectomy and systemic anticoagulation, with rapid resolution of the symptoms. During the hospital stay the patient had regular bowel movements and no abdominal complaints. Suddenly he complained of acute abdominal pain. Physical examination and emergency CT scan of the abdomen were consistent with generalized peritonitis. Emergency laparotomy revealed two perforations of the mid-sigmoid colon, each measuring 1.5 x 1.5 cm, an

Architectural optimization framework for earth-observing heterogeneous constellations : marine weather forecast case

Earth observation satellite programs are currently facing, for some applications, the need to deliver hourly revisit times, subkilometric spatial resolutions, and near-real-time data access times. These stringent requirements, combined with the consolidation of small-satellite platforms and novel distributed architecture approaches, are stressing the need to study the design of new, heterogeneous, and heavily networked satellite systems that can potentially replace or complement traditional space assets. In this context, this paper presents partial results from ONION, a research project devoted to studying distributed satellite systems and their architecting characteristics. A design-oriented framework that allows selecting optimal architectures for the given user needs is presented in this paper. The framework has been used in the study of a strategic use-case and its results are hereby presented. From an initial design space of 5586 potential architectures, the framework has been able to preselect 28 candidate designs by an exhaustive analysis of their performance and by quantifying their quality attributes. This very exploration of architectures and the characteristics of the solution space are presented in this paper along with the selected solution and the results of a detailed performance analysis.Postprint (author's final draft

Mission and system architecture for an operational network of earth observation satellite nodes

Nowadays, constellations and distributed networks of satellites are emerging as clear development trends in the space system market to enable augmentation, enhancement, and possibilities of new applications for future Earth Observation (EO) missions. While the adoption of these satellite architectures is gaining momentum for the attaining of ever more stringent application requirements and stakeholder needs, the efforts to analyze their benefits and suitability, and to assess their impact for future programmes remains as an open challenge to the EO community. In this context, this paper presents the mission and system architecture conceived during the Horizon 2020 ONION project, a European Union research activity that proposes a systematic approach to the optimization of EO space infrastructures. In particular, ONION addressed the design of complementary assets that progressively supplement current programs and took part in the exploration of needs and implementation of architectures for the Copernicus Space Component for EO. Among several use cases considered, the ONION project focused on proposing system architectures to provide improved revisit time, data latency and image resolution for a demanding application scenario of interest: Marine Weather Forecast (MWF). A set of promising system architectures has been subject of a comprehensive assessment, based on mission analysis expertise and detailed simulation for evaluating several key parameters such as revisit time and data latency of each measurement of interest, on-board memory evolution and power budget of each satellite of the constellation, ground station contacts and inter-satellite links. The architectures are built with several heterogeneous satellite nodes distributed in different orbital planes. Each platform can embark different instrument sets, which provide the required measurements for each use case. A detailed mission analysis has then been performed to the selected architecture for the MWF use case, including a refined data flow analysis to optimize system resources; a refined power budget analysis; a delta-V and a fuel budget analysis considering all the possible phases of the mission. This includes from the correction of launcher injection errors and acquisition of nominal satellite position inside the constellation, orbit maintenance to control altitude, collision avoidance to avoid collision with space debris objects and end-of-life (EOL) disposal to comply with EOL guidelines. The relevance of the system architecture selected for the MWF has been evaluated for three use cases of interest (Arctic sea-ice monitoring, maritime fishery pressure and aquaculture, agricultural hydric stress) to show the versatility and the feasibility of the chosen architecture to be adapted for other EO applications.This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 687490

Architectural optimization results for a network of earth-observing satellite nodes

Earth observation satellite programs are currently facing, for some applications, the need to deliver hourly revisit times, sub-kilometric spatial resolutions and near-real-time data access times. These stringent requirements, combined with the consolidation of small-satellite platforms and novel distributed architecture approaches, are stressing the need to study the design of new, heterogeneous and heavily networked satellite systems that can potentially replace or complement traditional space assets. In this context, this paper presents partial results from ONION, a research project devoted to study distributed satellite systems and their architecting characteristics. A design-oriented framework that allows selecting optimal architectures for a given user needs is presented in this paper. The framework has been used in the study of a strategic use-case and its results are hereby presented. From an initial design space of 5586 unique architectures, the framework has been able to pre-select 28 candidate designs by an exhaustive analysis of their performance and by quantifying their quality attributes. This very exploration of architectures and the characteristics of the solution space, are presented in this paper along with the selected solution and the results of a detailed performance analysis.Postprint (published version

Remodeling of Retinal Fatty Acids in an Animal Model of Diabetes: A Decrease in Long-Chain Polyunsaturated Fatty Acids Is Associated With a Decrease in Fatty Acid Elongases Elovl2 and Elovl4

OBJECTIVE: The results of the Diabetes Control and Complications Trial/Epidemiology of Diabetes Interventions and Complications cohort study revealed a strong association between dyslipidemia and the development of diabetic retinopathy. However, there are no experimental data on retinal fatty acid metabolism in diabetes. This study determined retinal-specific fatty acid metabolism in control and diabetic animals. RESEARCH DESIGN AND METHODS: Tissue gene and protein expression profiles were determined by quantitative RT-PCR and Western blot in control and streptozotocin-induced diabetic rats at 3-6 weeks of diabetes. Fatty acid profiles were assessed by reverse-phase high-performance liquid chromatography, and phospholipid analysis was performed by nano-electrospray ionization tandem mass spectrometry. RESULTS: We found a dramatic difference between retinal and liver elongase and desaturase profiles with high elongase and low desaturase gene expression in the retina compared with liver. Elovl4, an elongase expressed in the retina but not in the liver, showed the greatest expression level among retinal elongases, followed by Elovl2, Elovl1, and Elovl6. Importantly, early-stage diabetes induced a marked decrease in retinal expression levels of Elovl4, Elovl2, and Elovl6. Diabetes-induced downregulation of retinal elongases translated into a significant decrease in total retinal docosahexaenoic acid, as well as decreased incorporation of very-long-chain polyunsaturated fatty acids (PUFAs), particularly 32:6n3, into retinal phosphatidylcholine. This decrease in n3 PUFAs was coupled with inflammatory status in diabetic retina, reflected by an increase in gene expression of proinflammatory markers interleukin-6, vascular endothelial growth factor, and intercellular adhesion molecule-1. CONCLUSIONS: This is the first comprehensive study demonstrating diabetes-induced changes in retinal fatty acid metabolism. Normalization of retinal fatty acid levels by dietary means or/and modulating expression of elongases could represent a potential therapeutic target for diabetes-induced retinal inflammation

Stressed out symbiotes:hypotheses for the influence of abiotic stress on arbuscular mycorrhizal fungi

Abiotic stress is a widespread threat to both plant and soil communities. Arbuscular mycorrhizal (AM) fungi can alleviate effects of abiotic stress by improving host plant stress tolerance, but the direct effects of abiotic stress on AM fungi are less well understood. We propose two hypotheses predicting how AM fungi will respond to abiotic stress. The stress exclusion hypothesis predicts that AM fungal abundance and diversity will decrease with persistent abiotic stress. The mycorrhizal stress adaptation hypothesis predicts that AM fungi will evolve in response to abiotic stress to maintain their fitness. We conclude that abiotic stress can have effects on AM fungi independent of the effects on the host plant. AM fungal communities will change in composition in response to abiotic stress, which may mean the loss of important individual species. This could alter feedbacks to the plant community and beyond. AM fungi will adapt to abiotic stress independent of their host plant. The adaptation of AM fungi to abiotic stress should allow the maintenance of the plant-AM fungal mutualism in the face of changing climates. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1007/s00442-016-3673-7) contains supplementary material, which is available to authorized users