Optimizing Automata Learning via Monads

Automata learning has been successfully applied in the verification of hardware and software. The size of the automaton model learned is a bottleneck for scalability, and hence optimizations that enable learning of compact representations are important. This paper exploits monads, both as a mathematical structure and a programming construct, to design, prove correct, and implement a wide class of such optimizations. The former perspective on monads allows us to develop a new algorithm and accompanying correctness proofs, building upon a general framework for automata learning based on category theory. The new algorithm is parametric on a monad, which provides a rich algebraic structure to capture non-determinism and other side-effects. We show that our approach allows us to uniformly capture existing algorithms, develop new ones, and add optimizations. The latter perspective allows us to effortlessly translate the theory into practice: we provide a Haskell library implementing our general framework, and we show experimental results for two specific instances: non-deterministic and weighted automata

Learning Pomset Automata.

We extend the L⋆ algorithm to learn bimonoids recognising pomset languages. We then identify a class of pomset automata that accepts precisely the class of pomset languages recognised by bimonoids and show how to convert between bimonoids and automata

Indoor Air Quality in Elderly Centers: Pollutants Emission and Health Effects

The world population is ageing, in particular in the developed world, with a significant increase in the percentage of people above 60 years old. They represent a segment of the population that is more vulnerable to adverse environmental conditions. Among them, indoor air quality is one of the most relevant, as elders spend comparatively more time indoors than younger generations. Furthermore, the recent COVID-19 pandemic contributed immensely to raising awareness of the importance of breathing air quality for human health and of the fact that indoor air is a vector for airborne infections and poisoning. Hence, this work reviews the state of the art regarding indoor air quality in elderly centers, considering the type of pollutants involved, their emission sources, and their health effects. Moreover, the influence of ventilation on air quality is also addressed. Notwithstanding the potential health problems with the corresponding costs and morbidity effects, only a few studies have considered explicitly indoor air quality and its impacts on elderly health. More studies are, therefore, necessary to objectively identify what are the impacts on the health of elderly people due to the quality of indoor air and how it can be improved, either by reducing the pollutants emission sources or by more adequate ventilation and thermal comfort strategies. © 2022 by the authors. Licensee MDPI, Basel, Switzerland.Funding: This work was financially supported by base funding of the following projects: LA/P/0045/2020 (ALiCE), UIDB/00511/2020 (LEPABE), and UIDB/50022/2020 (LAETA), funded by national funds through FCT/MCTES (PIDDAC). Fátima Felgueiras gratefully acknowledges the Portuguese National Funding Agency for Science, Research, and Technology (FCT) for the financial support through the Grant BD/6521/2020. António Martins thanks FCT for funding through program DL 57/2016—Norma transitória. Teresa Mata gratefully acknowledge the funding of Project NORTE-06-3559-FSE-000107, cofinanced by Programa Operacional Regional do Norte (NORTE2020), through Fundo Social Europeu (FSE)

Regionalização para o cultivo do feijão no Rio Grande do Sul com base na interação genótipo x ambiente¹.

bitstream/item/59171/1/Iraja-V59N002P19810.pd

The phases of deuterium at extreme densities

We consider deuterium compressed to higher than atomic, but lower than nuclear densities. At such densities deuterium is a superconducting quantum liquid. Generically, two superconducting phases compete, a "ferromagnetic" and a "nematic" one. We provide a power counting argument suggesting that the dominant interactions in the deuteron liquid are perturbative (but screened) Coulomb interactions. At very high densities the ground state is determined by very small nuclear interaction effects that probably favor the ferromagnetic phase. At lower densities the symmetry of the theory is effectively enhanced to SU(3), and the quantum liquid enters a novel phase, neither ferromagnetic nor nematic. Our results can serve as a starting point for investigations of the phase dynamics of deuteron liquids, as well as exploration of the stability and dynamics of the rich variety of topological objects that may occur in phases of the deuteron quantum liquid, which range from Alice strings to spin skyrmions to Z_2 vortices.Comment: 9 pages, 6 figures; v2: fixed typo

Nanostructured 3D Constructs Based on Chitosan and Chondroitin Sulphate Multilayers for Cartilage Tissue Engineering

Nanostructured three-dimensional constructs combining layer-by-layer technology (LbL) and template leaching were processed and evaluated as possible support structures for cartilage tissue engineering. Multilayered constructs were formed by depositing the polyelectrolytes chitosan (CHT) and chondroitin sulphate (CS) on either bidimensional glass surfaces or 3D packet of paraffin spheres. 2D CHT/CS multi-layered constructs proved to support the attachment and proliferation of bovine chondrocytes (BCH). The technology was transposed to 3D level and CHT/CS multi-layered hierarchical scaffolds were retrieved after paraffin leaching. The obtained nanostructured 3D constructs had a high porosity and water uptake capacity of about 300%. Dynamical mechanical analysis (DMA) showed the viscoelastic nature of the scaffolds. Cellular tests were performed with the culture of BCH and multipotent bone marrow derived stromal cells (hMSCs) up to 21 days in chondrogenic differentiation media. Together with scanning electronic microscopy analysis, viability tests and DNA quantification, our results clearly showed that cells attached, proliferated and were metabolically active over the entire scaffold. Cartilaginous extracellular matrix (ECM) formation was further assessed and results showed that GAG secretion occurred indicating the maintenance of the chondrogenic phenotype and the chondrogenic differentiation of hMSCs