Residuated structures and orthomodular lattices

The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., ℓ-groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated ℓ-groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated ℓ-groupoids, their ideals, and develop a theory of left nuclei. Finally, we extend some parts of the theory of join-completions of residuated ℓ-groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices

Intuitionistic logic is a connexive logic

We show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic (CHL), hereby introduced as an example of a strongly connexive logic with an intuitive semantics. We use the reverse algebraisation paradigm: CHL is presented as the assertional logic of a point regular variety (whose structure theory is examined in detail) that turns out to be term equivalent to the variety of Heyting algebras. We provide Hilbert-style and Gentzen-style proof systems for CHL; moreover, we suggest a possible computational interpretation of its connexive conditional, and we revisit Kapsner’s idea of superconnexivity

Experimental Investigations on Bending Collapse Modes of Innovative Sandwich Panels with Metallic Foam Core

n/

Physiological Responses of Dogs to Different Housing Systems

Background: The hypothalamic-pituitary-adrenal (HPA) axis undergoes adaptations throughout housing system that might contribute to the avoidance of adverse effects of welfare status in dogs housed in a shelter. Nevertheless, the influence of housing systems and stabling time on glucose and PCV changes is little known. The purpose of the present study was to evaluate the patterns of cortisol, glucose and PCV in dogs housed in a kennel and normal environments, evaluating the differences between housing systems, by taking account the different stabling time and sex. Materials, Methods & Results: The study comprised 98 cross-breed dogs, aged 4 ± 1.5 years, lodged in a kennel (observational group I: N= 61, 29 females and 27 males), in paired household dogs (control group II: N= 25, 13 females and 12 males) and in unpaired household dogs (control group III: N= 12, 6 females and 6 males). Females of both groups were spayed. The subjects were studied on the basis of different stabling times, ranged among <1 year, 2 years and 4 years, and different sex.Discussion: This observational study showed that kennelled males lodged for 2 (P < 0.01) and 4 (P < 0.001) years showed lower cortisol concentrations than males lodged <1 year, males lodged for <1 year (P < 0.001) showed higher cortisol concentrations than females; males lodged for 4 year showed lower cortisol concentrations (P < 0.01) than females. Kennelled females lodged for 4 year showed higher PCV values (P < 0.001) than females lodged for <1 year. Paired and unpaired household females and males lodged for 4 years showed lower cortisol concentrations (P < 0.01) than 2 years and <1 year. Paired and unpaired household females and males lodged for short-, medium- and long-term times showed higher glucose concentrations (P < 0.001) than kennelled dogs. This study showed significant changes of circulating cortisol, glucose and PCV values inter- and intra-groups, according to different housing systems, stabling time and sex. The magnitude of cortisol decreases after 2 and 4 years of stabling time in kennelled male dogs could suggest a stimulus-response relationship, probably due to adaptive responses. Interestingly enough in this observational study was that the exact consummatory event could be represented by the long stabling time itself, observed only in males. Moreover, the significant differences of cortisol concentrations between males and females in group I after a stabling time of <1 and 4 years confirm the wide variability of HPA activity independent of the different sex of dogs. The physiological higher glucose concentrations in household dogs than kennel dogs showed that the normal home environment offers probably more rich stimuli than kennel, independent of stabling times and sex. It is possible to suppose that the housing system of dogs also results in significant rise of organ reserve and adaptability, presumably due at early greatest in functional changes in the catecholaminergic system and related increased hepatic glycogenolysis and gluconeogenesis. Concerning the PCV changes, data obtained confirmed the disagreement among authors about sex differences in the circulating mass of erythrocytes according to different age and sex. In conclusion, this is an observational study on the adaptive responses of circulating cortisol, glucose and PCV patterns to different housing systems in both kennel and household, leading to the question of physiological relevance concerning the effects of different stabling, according to the quality of dogs' life

Recovery from repeated sudden hearing loss in a patient with Takayasu’s arteritis treated with hyperbaric oxygen therapy: the first report in the literature

Hearing loss has been rarely reported in Takayasu's arteritis, presents as sudden sensorineural hearing loss and usually responds well to corticosteroid therapy. Hyperbaric Oxygen Therapy is commonly used as a supplementary treatment to corticosteroids for sudden hearing loss. We present the case of a woman with Takayasu's arteritis who had two episodes of hearing loss involving one ear at a time with a 11-month delay between each episode. During the first episode, the patient was treated with high-dose intramuscular corticosteroids with a temporary improvement of auditory threshold, that deteriorated close to previous level 14 days after cessation of therapy. In the second episode, Hyperbaric Oxygen Therapy was associated to corticosteroids, with a significant, longer term improvement in both ears, including the one that had shown to be unresponsive to previous pharmacologic therapy. Oxygen therapy could have played a role in hearing restoration in this patient, as it could have acted synergically with corticosteroids amplifying their effect

routing in mobile opportunistic social networks with selfish nodes

When the connection to Internet is not available during networking activities, an opportunistic approach exploits the encounters between mobile human-carried devices for exchanging information. When users encounter each other, their handheld devices can communicate in a cooperative way, using the encounter opportunities for forwarding their messages, in a wireless manner. But, analyzing real behaviors, most of the nodes exhibit selfish behaviors, mostly to preserve the limited resources (data buffers and residual energy). That is the reason why node selfishness should be taken into account when describing networking activities: in this paper, we first evaluate the effects of node selfishness in opportunistic networks. Then, we propose a routing mechanism for managing node selfishness in opportunistic communications, namely, SORSI (Social-based Opportunistic Routing with Selfishness detection and Incentive mechanisms). SORSI exploits the social-based nature of node mobility and other social features of nodes to optimize message dissemination together with a selfishness detection mechanism, aiming at discouraging selfish behaviors and boosting data forwarding. Simulating several percentages of selfish nodes, our results on real-world mobility traces show that SORSI is able to outperform the social-based schemes Bubble Rap and SPRINT-SELF, employing also selfishness management in terms of message delivery ratio, overhead cost, and end-to-end average latency. Moreover, SORSI achieves delivery ratios and average latencies comparable to Epidemic Routing while having a significant lower overhead cost

Hierarchical Model for the Evolution of Cloud Complexes

The structure of cloud complexes appears to be well described by a "tree structure" representation when the image is partitioned into "clouds". In this representation, the parent-child relationships are assigned according to containment. Based on this picture, a hierarchical model for the evolution of Cloud Complexes, including star formation, is constructed, that follows the mass evolution of each sub-structure by computing its mass exchange (evaporation or condensation) with its parent and children, which depends on the radiation density at the interphase. For the set of parameters used as a reference model, the system produces IMFs with a maximum at too high mass (~2 M_sun) and the characteristic times for evolution seem too long. We show that these properties can be improved by adjusting model parameters. However, the emphasis here is to illustrate some general properties of this nonlinear model for the star formation process. Notwithstanding the simplifications involved, the model reveals an essential feature that will likely remain if additional physical processes are included. That is: the detailed behavior of the system is very sensitive to variations on the initial and external conditions, suggesting that a "universal" IMF is very unlikely. When an ensemble of IMFs corresponding to a variety of initial or external conditions is examined, the slope of the IMF at high masses shows variations comparable to the range derived from observational data. (Abridged)Comment: Latex, 29 pages, 13 figures, accepted for publication in Ap

Light-Induced ignition of Carbon Nanotubes and energetic nano-materials: a review on methods and advanced technical solutions for nanoparticles-enriched fuels combustion

Abstract Aim of the present manuscript is to provide an overview of all possible methods and light source typologies used by the different research groups for obtaining the energetic nano-materials' photo-ignition, showing the latest progress related to such phenomenon employing, also, alternative radiation sources to the common Xe lamp. In fact, the employment of a different source typology can open new usage prospects respect to those enabled by the Xe lamp, mainly due to its technological limitations. Therefore, several studies are faced to test light sources, such as lasers and LEDs, for igniting the nano-energetic materials (as CNTs mixed with metallic catalyzers, Al / CuO nano-particles, etc); these nano-materials are usefully employed for starting, in volumetric and controlled way, the combustion of air-fuel mixtures inside internal combustion engines, leading to significant benefits to the combustion process also in terms of efficiency, reliability, and emissions of pollutants. Several research works are presented in literature concerning the ignition of liquid / gaseous fuels, without nano-particles, employing laser sources (i.e laser-based plugs in place of the common spark plugs); therefore, an innovative solution is proposed that employs multi-point laser-plugs for inducing the ignition of nano-materials dispersed into the air-fuel mixture inside the cylinder, so further improving the combustion of the fuel in an internal combustion engine