Deriving session and union types for objects

Guaranteeing that the parties of a network application respect a given protocol is a crucial issue. Session types offer a method for abstracting and validating structured communication sequences (sessions). Object-oriented programming is an established paradigm for large scale applications. Union types, which behave as the least common supertypes of a set of classes, allow the implementation of unrelated classes with similar interfaces without additional programming. We have previously developed an integration of the features above into a class-based core language for building network applications, and this successfully amalgamated sessions and methods so that data can be exchanged flexibly according to communication protocols (session types). The first aim of the work reported in this paper is to provide a full proof of the type safety property for that core language by renewing syntax, typing and semantics. In this way, static typechecking guarantees that after a session has started, computation cannot get stuck on a communication deadlock. The second aim is to define a constraint-based type system that reconstructs the appropriate session types of session declarations instead of assuming that session types are explicitly given by the programmer. Such an algorithm can save programming work, and automatically presents an abstract view of the communications of the session

Outpatient satisfaction during pharmacotherapy followup

This study aimed to investigate the satisfaction of patients with uncontrolled hypertension referred for pharmacotherapy followup. A cross-sectional study by semi-structured interview was used. The sample comprised patients undergoing pharmacotherapy followup, patients who had discontinued pharmacotherapy followup and patients who had not kept the appointments. A total of 80 (76.9 %) out of 104 patients registered were contacted. The majority of patients undergoing pharmacotherapy followup (91.1 %) were fully satisfied with the pharmacists' care given, their relationship with them (94.9 %), the manner in which their therapy was conducted (99.2 %) and the environment where it was carried out (85.3 %). The reasons for non-attendance were mostly forgetting the date, illness on the appointment day and other arrangements on the same day. Interestingly, all of these patients were completely satisfied with the pharmacists' care given. The satisfaction of patients with the pharmaceutical care is high among patients that have continuous followup, but a relevant proportion discontinued followup. Newer approaches to keep these patients under followup are necessary.Colegio de Farmacéuticos de la Provincia de Buenos Aire

Population trends of the fan mussel Pinna nobilis from Portofino MPA (Ligurian Sea, Western Mediterranean Sea) before and after a mass mortality event and a catastrophic storm

Two Pinna nobilis populations thriving inside the borders of the Portofino Marine Protected Area (MPA) (Ligurian Sea, western Mediterranean Sea) were monitored before (2012) and after (September 2018) a dire mass mortality event that, since September 2016, spread through the whole Mediterranean Sea. In Portofino MPA, recorded mortality rates reached values of 91.29% and 43.94% in the two populations. The presence of a Haplosporidium protozoan parasite, considered to be the main cause of the mortality episodes, was confirmed from histological evidence: sporocysts and plasmodia were observed in all the tubules of the digestive glands of the collected specimens. Moreover, a catastrophic storm hit the Ligurian coasts at the end of October 2018, causing considerable damages both below and above the surface; a new survey conducted in November 2018 showed the complete annihilation of the two studied populations, as a probable combination of the continued parasite infections and the mechanical impacts caused by the storm. Finally, in June 2020 the sites were monitored again looking for traces of recovery, but no new specimens were recorded, indicating that P. nobilis became virtually absent from the MPA

Outpatient satisfaction during pharmacotherapy followup

This study aimed to investigate the satisfaction of patients with uncontrolled hypertension referred for pharmacotherapy followup. A cross-sectional study by semi-structured interview was used. The sample comprised patients undergoing pharmacotherapy followup, patients who had discontinued pharmacotherapy followup and patients who had not kept the appointments. A total of 80 (76.9 %) out of 104 patients registered were contacted. The majority of patients undergoing pharmacotherapy followup (91.1 %) were fully satisfied with the pharmacists' care given, their relationship with them (94.9 %), the manner in which their therapy was conducted (99.2 %) and the environment where it was carried out (85.3 %). The reasons for non-attendance were mostly forgetting the date, illness on the appointment day and other arrangements on the same day. Interestingly, all of these patients were completely satisfied with the pharmacists' care given. The satisfaction of patients with the pharmaceutical care is high among patients that have continuous followup, but a relevant proportion discontinued followup. Newer approaches to keep these patients under followup are necessary.Colegio de Farmacéuticos de la Provincia de Buenos Aire

Real-life comparison of Pirfenidone and Nintedanib in patients with Idiopathic Pulmonary Fibrosis: a 24-month assessment.

Background: Real-life data on the use of pirfenidone and nintedanib to treat patients with idiopathic pulmonary fibrosis (IPF) are still scarce. Methods: We compared the efficacy of either pirfenidone (n=78) or nintedanib (n=28) delivered over a 24-month period in patients with IPF, followed at two regional clinic centers in Italy, with a group of patients who refused the treatment (n=36), and who were considered to be controls. All patients completed regular visits at 1- to 3-month intervals, where primary [forced vital capacity (FVC) and diffusing capacity of the lungs for carbon monoxide (DLCO)] and secondary outcomes (side effects, treatment compliance, and mortality) were recorded. Results: Over time, the decline in FVC and DLCO was significantly higher (p=0.0053 and p=0.037, respectively) in controls when compared with the combined treated group, with no significant difference between the two treated groups. Compared to patients with less advanced disease (GAP (Gender, Age, Physiology) stage I), those in GAP stages II and III showed a significantly higher decline in both FVC and DLCO irrespective of the drug taken. Side effects were similarly reported in patients receiving pirfenidone and nintedanib (5% and 7%, respectively), whereas mortality did not differ among the three groups. Conclusion: This real-life study demonstrated that both pirfenidone and nintedanib were equally effective in reducing the decline of FVC and DLCO versus non-treated patients after 24 months of treatment; however, patients with more advanced disease were likely to show a more rapid decline in respiratory function

Faulting and deformation in chalk

peer reviewe

“New records of rare species in the Mediterranean Sea” (October 2021)

“New records of rare species in the Mediterranean Sea” (October 2021

New records of rare species in the Mediterranean Sea (October 2020)

This Collective Article presents information about 21 taxa belonging to seven Phyla (one Ochrophyta, one Porifera, three Cnidaria, two Arthropoda, three Mollusca, one Echinodermata, and ten Chordata) and extending from the western Mediterranean Sea to the Levantine Sea. The new records were reported from nine countries as follows: Spain: first records of three deep-sea species from the Blanes Canyon along the Catalan margin, namely the gorgonian Placogorgia coronata, the bivalve Acesta excavata, and the Azores rockling Gaidropsarus granti; Italy: first record of the mesopsammic nudibranch Embletonia pulchra from Ligurian shallow-waters; first record of the deep-sea carnivorous sponge Lycopodina hypogea from the north-central Tyrrhenian Sea, living in dense clusters over dead black corals; new records of the Portuguese man o’ war Physalia physalis from Sardinian and Sicilian waters; first Italian record of the large asteroid Coronaster briareus from the Ionian Sea; first record of the white grouper Epinephelus aeneus in the northernmost point of the Adriatic Sea; Croatia: first record of the gastropod Haliotis mykonosensis for the Adriatic Sea; Malta: new sightings of Physalia physalis from Maltese waters; Libya: first record of the sand crab Albunea carabus from two localities along the Libyan coast; Greece: first records of the deep-sea black coral Parantipathes larix from the eastern Mediterranean Sea; first verified record of the agujon needlefish Tylosurus imperialis in the Hellenic Ionian Sea; first confirmed record of the brown algae Treptacantha squarrosa in the eastern Mediterranean Sea; new records of three deep-sea fish species from the Aegean Sea, namely the bluntnose sixgill shark Hexanchus griseus, the Atlantic pomfret Brama brama, and the rudderfish Centrolophus niger; new record of the tripletail Lobotes surinamensis from Lesvos Island; new record of the shrimp Brachycarpus biunguiculatus from the gut content of the non-indigenous lionfish Pterois miles; Turkey: new record of the imperi- al blackfish Schedophilus ovalis from Turkish waters; Lebanon: first record of the slender sunfish Ranzania laevis, stranded along the Lebanese coast; Israel: new record, after about 60 years from the last catch, of the spotted dragonet Callionymus maculatus.peer-reviewe