Practical therapeutic approach in the management of diabetes mellitus secondary to Cushing's syndrome, acromegaly and neuroendocrine tumours.

Autor: Guarnotta V; Department of Health Promotion, Mother and Child Care, Internal Medicine and Medical Specialties, Section of Endocrinology, University of Palermo, Piazza delle Cliniche 2, Palermo, Italy., Emanuele F; Department of Health Promotion, Mother and Child Care, Internal Medicine and Medical Specialties, Section of Endocrinology, University of Palermo, Piazza delle Cliniche 2, Palermo, Italy., Salzillo R; Department of Health Promotion, Mother and Child Care, Internal Medicine and Medical Specialties, Section of Endocrinology, University of Palermo, Piazza delle Cliniche 2, Palermo, Italy., Bonsangue M; Department of Health Promotion, Mother and Child Care, Internal Medicine and Medical Specialties, Section of Endocrinology, University of Palermo, Piazza delle Cliniche 2, Palermo, Italy., Amato C; Department of Health Promotion, Mother and Child Care, Internal Medicine and Medical Specialties, Section of Endocrinology, University of Palermo, Piazza delle Cliniche 2, Palermo, Italy., Mineo MI; Department of Health Promotion, Mother and Child Care, Internal Medicine and Medical Specialties, Section of Endocrinology, University of Palermo, Piazza delle Cliniche 2, Palermo, Italy., Giordano C; Department of Health Promotion, Mother and Child Care, Internal Medicine and Medical Specialties, Section of Endocrinology, University of Palermo, Piazza delle Cliniche 2, Palermo, Italy.

Publikováno v: Frontiers in endocrinology [Front Endocrinol (Lausanne)] 2023 Sep 28; Vol. 14, pp. 1248985. Date of Electronic Publication: 2023 Sep 28 (Print Publication: 2023).

Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq

Autor: Krebbers, R., Parlant, L., Silva, A., Ábrahám, E., Bonsangue, M., Johnsen, B.E.

Publikováno v: Ábrahám, E.; Bonsangue, M.; Johnsen, B.E. (ed.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 309-324
Ábrahám, E.; Bonsangue, M.; Johnsen, B.E. (ed.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 309-324. Cham : Springer International Publishing
STARTPAGE=309;ENDPAGE=324;ISSN=0302-9743;TITLE=Ábrahám, E.; Bonsangue, M.; Johnsen, B.E. (ed.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Contains fulltext : 159576.pdf (Author’s version preprint ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4d88fcf35ee1dba3cf1efe8554293247
https://hdl.handle.net/2066/159576

Completeness and Incompleteness of Synchronous Kleene Algebra

Autor: Wagemaker, J., Bonsangue, M., Kappé, T., Rot, J., Silva, A., Hutton, G.

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030336356
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Mathematics of Program Construction
Hutton, G. (ed.), Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings, 385-413. Cham : Springer International Publishing
STARTPAGE=385;ENDPAGE=413;ISSN=0302-9743;TITLE=Hutton, G. (ed.), Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings
Mathematics of Program Construction-13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Hutton, G. (ed.), Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings, pp. 385-413

Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), was proposed by Prisacariu as a tool for reasoning about programs that may execute synchronously, i.e., in lock-step. We provide a countermodel witnessing that the axioms of SKA a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::199495cc5e76799bb37abbd089907f2a
https://doi.org/10.1007/978-3-030-33636-3_14

Formal Frameworks for Verifying Normative Multi-agent Systems

Autor: Knobbout, M., Dastani, M.M., Meyer, J.J.C., Ábrahám, E., Bonsangue, M., Johnsen, E.B.

In this paper we concern ourselves with normative multi-agent systems, which are multi-agent systems governed by a set of norms. In these systems, the internals and architecture of the participating agents may be unknown to us, which disables us to m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______101::ed6b43b252cbab42ba5e5318e1249170
https://dspace.library.uu.nl/handle/1874/343758

Regular Varieties of Automata and Coequations.

Autor: Salamanca, J., Ballester-Bolinches, A., Bonsangue, M. M., Cosme-LlÃˢpez, E., Rutten, J. J. M. M.

Publikováno v: Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings; 2015, p224-237, 14p