Coalgebra Learning via Duality

Automata learning is a popular technique for inferring minimal automata through membership and equivalence queries. In this paper, we generalise learning to the theory of coalgebras. The approach relies on the use of logical formulas as tests, based on a dual adjunction between states and logical theories. This allows us to learn, e.g., labelled transition systems, using Hennessy-Milner logic. Our main contribution is an abstract learning algorithm, together with a proof of correctness and termination

Angluin learning via logic

In this paper we will provide a fresh take on Dana Angluin's algorithm for learning using ideas from coalgebraic modal logic. Our work opens up possibilities for applications of tools & techniques from modal logic to automata learning and vice versa. As main technical result we obtain a generalisation of Angluin's original algorithm from DFAs to coalgebras for an arbitrary finitary set functor T in the following sense: given a (possibly infinite) pointed T-coalgebra that we assume to be regular (i.e. having an equivalent finite representation) we can learn its finite representation by asking (i) "logical queries" (corresponding to membership queries) and (ii) making conjectures to which the teacher has to reply with a counterexample. This covers (a known variant) of the original L* algorithm and the learning of Mealy/Moore machines. Other examples are bisimulation quotients of (probabilistic) transition systems

Between the local and the state : practices and discourses of identity among the Kadazan of Sabah (East Malaysia)

Abstract This thesis investigates the effects of the nation-building agenda carried out by the Malaysian state on the sense of collective belonging of the Kadazan people of the Bornean State of Sabah. The thesis includes a reconstruction of the formation of the two most important forms of collective identification, the nation and the ethnic group, and the analysis of the way in which Kadazan villagers identify themselves in relation to discourses circulating in various media and the practices in which they get involved in their everyday life. Kadazan villagers consistently show a rejection of the state propaganda and a general unwillingness to identify themselves as members of the Malaysian nation, which I attribute to their marginal position within the Malaysian state. They more often identify themselves as members of their ethnic group or village, collective forms of identification that seem to allow for a higher degree of participation in their definition than the national one. The empirical analysis of the everyday self-identification in relation to practices and discourses shows a complex picture, as Kadazan villagers differently situate themselves as Malaysian, Kadazan, Sabahan and members of their village in different occasions and contexts. One of the explanations of this fact lies in the ambiguous character of Malaysian nation-building, promoting unity while at the same time treating citizens differently depending on their ethnic and religious background. The official discourse and practice of ethnic and religious differentiation has been deeply internalised by the Kadazan and has become a primary reason for their opposition to the state, as they feel treated as second-class citizens. Another explanation for the development of a sense of belonging to various collective forms of identification among the Kadazan rests in the fact that their recent history has made these significant as expression of different sets of shared lived experiences, providing the basis for the development of senses of commonality with members of the national, sub-national, ethnic and village communities at the same time.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Hydrogen and oxygen evolution reactions on single atom catalysts stabilized by a covalent organic framework

Catalytic activity for HER and OER of SAC made by TM atoms embedded in COF were investigated. They often form stable unconventional intermediates, and these species can be more stable than classical HER and OER adducts

Disclosing the Leaching Behavior of Pd@CMK3 catalysts in Formic Acid Decomposition by Electron Tomography

Supported nanocatalysts exhibit different performance in batch and fixed bed reactors for a wide range of liquid phase catalytic reactions due to differences in metal leaching. To investigate this leaching process and its influence on the catalytic performance, a quantitative 3D characterization of the particle size and the particle distribution is important to follow the structural evolution of the active metal catalysts supported on porous materials during the reaction. In this work, electron tomography has been applied to uncover leaching and redeposition of a Pd@CMK3 catalyst during formic acid decomposition in batch and fixed bed reactors. The 3D distribution of Pd NPs on the mesoporous carbon CMK3 has been determined by a quantitative tomographic analysis and the determined structural changes are correlated with the observed differences in activity and stability of formic acid decomposition using batch and fixed bed reactors

Hydrous hydrazine decomposition for hydrogen production using of ir/ceo2: Effect of reaction parameters on the activity

In the present work, an Ir/CeO2 catalyst was prepared by the deposition–precipitation method and tested in the decomposition of hydrazine hydrate to hydrogen, which is very important in the development of hydrogen storage materials for fuel cells. The catalyst was characterised using different techniques, i.e., X‐ray photoelectron spectroscopy (XPS), transmission electron microscopy (TEM), scanning electron microscopy (SEM) equipped with X‐ray detector (EDX) and inductively coupled plasma—mass spectroscopy (ICP‐MS). The effect of reaction conditions on the activity and selectivity of the material was evaluated in this study, modifying parameters such as temperature, the mass of the catalyst, stirring speed and concentration of base in order to find the optimal conditions of reaction, which allow performing the test in a kinetically limited regime

Doctor-patient care relationship in genetic cardiomyopathies: An exploratory study on clinical consultations

BackgroundThe present study aims to explore the setting of consultation and communication between physicians and patients affected by genetic cardiomyopathies, investigating how the two parts of the therapeutic relationship participate and share information.Methods and results45 adult patients affected by various cardiomyopathies took part in a prospective case study while attending consultations at a cardiologic outpatient clinic constituting an Italian referral centre for cardiomyopathies. A researcher observed the consultations, which were audio-recorded and transcribed. Transcripts were coded and an analysis of setting, type of communication implemented and participation of doctors and patients in terms of word-count and type of questions/answers was carried out. Overall word-count was significantly higher for physicians than for patients (t(44) = 9,506; pConclusionsFindings emphasize patients' need for adequate time and space to share their subjective illness experience with the physician, within an approach informed by the insights and recommendations of Narrative Medicine. These findings are instrumental to improving the specific clinical setting for individuals with genetic cardiomyopathies

pH, drip loss, colour, lipids and protein oxidation of meat from Pampa-Rocha and crossbreed pigs produced outdoor in Uruguay

Pampa-Rocha (PP) is a local rustic pig reared on pasture in Uruguay to produce meat, mainly in a familiar scale system. Meat quality parameters for Longissimus dorsi (LD) and Psoas major (PM) muscles from PP and its crossbreeding with Duroc (PD) and Large White (PL) genetic type were determined. The pH showed no genetic type main effect. Values of pHu (24 hours Post-mortem) fail within advised values for pig meat and ranged for LD 5.48-5.69 and for PM 5.52-5.69. The drip loss for fresh meat, at 24 hours Post-mortem, showed relatively low levels with values ranged 2.23-4.50 for LD and 1.25-2.51 for PM. After five days the drip loss showed values ranged 5.21-9.33 for LD and 3.96-6.65 for PM. After ageing (1-2°C in vacuum) drip loss, at 24 hours Post-mortem, ranged between 1.43-2.47 for LD and 1.62-1.77 for PM while after five days, drip loss showed values ranged 3.73-3.97 for LD, and 3.31-4.12 for PM. Drip loss showed a significant main effect with PP having a lower level than PD and similar to PL. For colour study, PP showed a darker meat than PD and PL, and no main effect of ageing. The lipids oxidation level was similar for the three genetic types and no main effect was observed. The protein oxidation showed a similar level for the three genetic types and fresh meat showed more protein oxidation than aged meat