Making Property-Based Testing Easier to Read for Humans

Software stakeholders who do not have a technical profile (i.e. users, clients) but do want to take part in the development and/or quality assurance process of software, have an unmet need for communication on what is being tested during the development life-cycle. The transformation of test properties and models into semi-natural language representations is one way of responding to such need. Our research has demonstrated that these transformations are challenging but feasible, and they have been implemented into a prototype tool called readSpec. The readSpec tool transforms universally-quantified test properties and stateful test models - the two kinds of test artifacts used in property-based testing - into plain text interpretations. The tool has been successfully evaluated on the PBT artifacts produced and used within the FP7 PROWESS project by industrial partners

Agroforestry Systems in Cuba: Some Aspects of Animal Production

The silvopastoral systems, that nowadays constitute scientific achievements of the Grasses and Forages Research Station “Indio Hatuey , have been developed from the results of investigations that were carried out since the 1980s, to improve the productivity of natural pastures through the introduction of valuable herbaceous species and tree legumes. Those investigations also determined the essential elements of pasture management such as the optimal stocking rates for low input systems and suitable methods of grazing to obtain sustainability of grasslands

Agroforestry Systems in Cuba: Some Aspects of Animal Production

The silvopastoral systems, that nowadays constitute scientific achievements of the Grasses and Forages Research Station Indio Hatuey , have been developed from the results of investigations that were carried out since the 1980s, to improve the productivity of natural pastures through the introduction of valuable herbaceous species and tree legumes. Those investigations also determined the essential elements of pasture management such as the optimal stocking rates for low input systems and suitable methods of grazing to obtain sustainability of grasslands

Infliximab microencapsulation: an innovative approach for intra-articular administration of biologics in the management of rheumatoid arthritis-in vitro evaluation

Microencapsulation of the therapeutical monoclonal antibody infliximab (INF) was investigated as an innovative approach to improve its stability and to achieve formulations with convenient features for intra-articular administration. Ultrasonic atomization (UA), a novel alternative to microencapsulate labile drugs, was compared with the conventional emulsion/evaporation method (Em/Ev) using biodegradable polymers, specifically Polyactive® 1000PEOT70PBT30 [poly(ethylene-oxide-terephthalate)/poly(butylene-terephthalate); PEOT-PBT] and its polymeric blends with poly-(D, L-lactide-co-glycolide) (PLGA) RG502 and RG503 (PEOT-PBT:PLGA; 65:35). Six different formulations of spherical core-shell microcapsules were successfully developed and characterized. The UA method achieved a significantly higher encapsulation efficiency (69.7-80.25%) than Em/Ev (17.3-23.0%). Mean particle size, strongly determined by the microencapsulation method and to a lesser extent by polymeric composition, ranged from 26.6 to 49.9 µm for UA and 1.5-2.1 µm for Em/Ev. All formulations demonstrated sustained INF release in vitro for up to 24 days, with release rates modulated by polymeric composition and microencapsulation technique. Both methods preserved INF biological activity, with microencapsulated INF showing higher efficacy than commercial formulations at comparable doses regarding bioactive tumor necrosis factor-alpha (TNF-α) neutralization according to WEHI-13VAR bioassay. Microparticles' biocompatibility and extensive internalization by THP-1-derived macrophages was demonstrated. Furthermore, high in vitro anti-inflammatory activity was achieved after treatment of THP-1 cells with INF-loaded microcapsules, significatively reducing in vitro production of TNF-α and interleucine-6 (Il-6)Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. Iván Lamela-Gómez received funding from the “Axudas á etapa predoutoral da Xunta de Galicia, cofinanciadas polo programa operativo FSE Galicia 2014–2020” predoctoral grant program. Consellería de Cultura, Educación e ordenación universitaria, Xunta de Galicia, Spain. This research was partially funded by Consellería de Cultura, Educación e ordenación universitaria, Xunta de Galicia, Spain. Axudas para a consolidación e estructuración de unidades de investigación competitivas Modalidad A: Grupos de Referencia Competitiva (ED341C 2017/13). This research was also partially funded by the Fundação para a Ciência e a Tecnologia (FCT), Portugal (UID/DTP/04138/2019 and UIDB/04138/2020 to iMed.ULisboa), and principal investigator grants CEECIND/03143/2017 (L. M. Gonçalves)S

Near-field scanning optical microscopy to study nanometric structural details of LiNbO3 Zn-diffused channel waveguides

A near-field scanning optical microscope (NSOM) is used to perform structural and optical characterization of the surface layer after Zn diffusion in a channel waveguide fabricated on lithium niobate. A theoretical approach has been developed in order to extract refractive index contrast from NSOM optical transmission measurements (illumination configuration). As a result, different solid phases present on the sample surface can be identified, such as ZnO and ZnNb2O6. They appear like submicrometric crystallites aligned along the domain wall direction, whose origin can be ascribed to some strain relaxation mechanism during the annealing process after Zn [email protected]

A cumulative risk model of child physical maltreatment potential: findings from a community-based study

"Published online before print November 20, 2015"Previous studies have identified the predictive risk factors of child physical maltreatment (CPM). However, a significant number of these studies assessed risk factors in isolation. The cumulative risk hypothesis postulates that health problems are caused by the accumulation of risk factors, independently of the presence or absence of specific risk indicators. Few studies examined the effect of cumulative risk on CPM potential. This study aimed to test two concurrent models of cumulative risk of CPM potential by investigating whether CPM potential was better predicted by a threshold cumulative risk model or a linear cumulative risk model. Data from the National Representative Study of Psychosocial Context of Child Abuse and Neglect in Portugal were used. Parents of school-age children (N = 796) answered to self-report measures regarding sociodemographic variables, history of child maltreatment, psychological distress, and CPM potential. A cumulative risk index was computed, comprising 10 dichotomized risk factors. Evidence for a threshold cumulative effect was found. Additional bivariate logistic regressions revealed that the odds for high-potential CPM were dramatically higher for those parents with six or more risk factors when compared with parents with any one risk factor. By testing and confirming a threshold cumulative effect on CPM potential, it was possible to find a "trigger point" from which a dramatic increase in child physical maltreatment potential occurs.This study was supported by the Portuguese Foundation of Science and Technology through a research grant to the second author (POCTI/PSI/14276/1998