Dialogue games for explaining medication choices

SMT solvers can be used efficiently to search for optimal paths across multiple graphs when optimising for certain resources. In the medical context, these graphs can represent treatment plans for chronic conditions where the optimal paths across all plans under consideration are the ones which minimize adverse drug interactions. The SMT solvers, however, work as a black-box model and there is a need to justify the optimal plans in a human-friendly way. We aim to fulfill this need by proposing explanatory dialogue protocols based on computational argumentation to increase the understanding and trust of humans interacting with the system. The protocols provide supporting reasons for nodes in a path and also allow counter reasons for the nodes not in the graph, highlighting any potential adverse interactions during the dialogue.Postprin

Consórcios de caupi e milho em cultivo orgânico para produção de grãos e espigas verdes.

No período de outono-inverno-primavera de 2007, foi conduzido um estudo em Seropédica, Região Metropolitana do estado do Rio de Janeiro (Baixada Fluminense), com o objetivo de avaliar diferentes tipos de consórcio entre caupi (cv. Mauá) e milho (cv. AG-1051), em sistema orgânico de produção. O experimento foi instalado em área de Argissolo Vermelho-Amarelo no delineamento de blocos ao acaso, com quatro repetições. Os tratamentos constaram de diferentes épocas ou intervalos de tempo de semeadura do caupi em relação à do milho, a saber: (E1) 21 dias antes do milho; (E2) 14 dias antes do milho; (E3) 7 dias antes do milho; e (E4) no mesmo dia do milho. Tratamentos correspondentes aos cultivos solteiros do caupi e do milho foram incluídos, ambos semeados na data do tratamento E4. O cultivo consorciado com o caupi não interferiu na produtividade do milho em espigas verdes e também em termos de comprimento e diâmetro basal dessas espigas, independentemente do intervalo entre semeaduras. Com referência ao caupi, a produtividade em grãos verdes no cultivo solteiro foi superior à dos consórcios com o milho. Os valores obtidos para os Índices de Equivalência de Área (IEA), foram todos acima de 1,0, indicando que os consórcios foram eficientes quanto ao desempenho agronômico/biológico. Considerando, ainda a produtividade de cada cultura participante do consórcio, a semeadura do caupi antecipada de 21 dias em relação à do milho afigura-se mais adequada ao manejo orgânico adotado e às condições edafoclimáticas da região

Parameterized Synthesis with Safety Properties

Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems. Such systems occur naturally in practice (e.g., in the form of distributed protocols where the amount of processes is often unknown at design time and the protocol must work regardless of the number of processes). In this paper, we present a novel learning based approach to the synthesis of reactive controllers for parameterized systems from safety specifications. We use the framework of regular model checking to model the synthesis problem as an infinite-duration two-player game and show how one can utilize Angluin's well-known L* algorithm to learn correct-by-design controllers. This approach results in a synthesis procedure that is conceptually simpler than existing synthesis methods with a completeness guarantee, whenever a winning strategy can be expressed by a regular set. We have implemented our algorithm in a tool called L*-PSynth and have demonstrated its performance on a range of benchmarks, including robotic motion planning and distributed protocols. Despite the simplicity of L*-PSynth it competes well against (and in many cases even outperforms) the state-of-the-art tools for synthesizing parameterized systems.Comment: 18 page

Review: Ivan Padjen, Metodologija pravne znanosti: pravo i susjedne discipline, Pravni fakultet Sveučilišta u Rijeci, Rijeka, 2015

Knjiga autora prof. dr. sc. Ivana Padjena, profesora teorije prava i države te znanstvenog savjetnika politologije Pravnog fakulteta Sveučilišta u Rijeci, jedinstvena je jer obrađuje središnje teme prava i pravne znanosti koje dosad nisu bile cjelovito i primjereno obrađene u hrvatskoj pravnoj literaturi. Knjiga je podijeljena u pet dijelova: 1. Uvod; 2. Istraživanja prava i društva; 3. Poimanja prava i društva; 4. Metodologija pravne znanosti: syllabus, te 5. Sažetak na engleskom jeziku (Methodology of Legal Science: Law and Related Disciplines – A Summary).Review of a book by a distinguished Croatian scholar of legal theory Ivan Padjen on various issues of methodology in law and legal science

Testing CPT- and Lorentz-odd electrodynamics with waveguides

We study CPT- and Lorentz-odd electrodynamics described by the Standard Model Extension. Its radiation is confined to the geometry of hollow conductor waveguide, open along $z$. In a special class of reference frames, with vanishing both 0-th and $z$ components of the background field, $(k_{\rm AF})^\mu$, we realize a number of {\em huge and macroscopically detectable} effects on the confined waves spectra, compared to standard results. Particularly, if $(k_{\rm AF})^\mu$ points along $x$ (or $y$) direction only transverse electric modes, with $E_z=0$, should be observed propagating throughout the guide, while all the transverse magnetic, $B_z=0$, are absent. Such a strong mode suppression makes waveguides quite suitable to probe these symmetry violations using a simple and easily reproducible apparatus.Comment: 11pages, double-spacing, tex forma

A generic emergency protocol for patients with inborn errors of metabolism causing fasting intolerance: A retrospective, single-center study and the generation of www.emergencyprotocol.net

Patients with inborn errors of metabolism causing fasting intolerance can experience acute metabolic decompensations. Long-term data on outcomes using emergency letters are lacking. This is a retrospective, observational, single-center study of the use of emergency letters based on a generic emergency protocol in patients with hepatic glycogen storage diseases (GSD) or fatty acid oxidation disorders (FAOD). Data on hospital admissions, initial laboratory results, and serious adverse events were collected. Subsequently, the website www.emergencyprotocol.net was generated in the context of the CONNECT MetabERN eHealth project following multiple meetings, protocol revisions, and translations. Representing 470 emergency protocol years, 127 hospital admissions were documented in 54/128 (42%) patients who made use of emergency letters generated based on the generic emergency protocol. Hypoglycemia (here defined as glucose concentration 5 years. Convulsions, coma, or death was not documented. By providing basic information, emergency letters for individual patients with hepatic GSD or the main FAOD can be generated at www.emergencyprotocol.net, in nine different languages. Generic emergency protocols are safe and easy for home management by the caregivers and the first hour in-hospital management to prevent metabolic emergencies in patients with hepatic GSD and medium-chain Acyl CoA dehydrogenase deficiency. The website www.emergencyprotocol.net is designed to support families and healthcare providers to generate personalized emergency letters for patients with hepatic GSD and the main FAOD