Static Type Checking of Model Transformation Programs

Model transformation is seen as a promising approach to automate software development and verification, thus improving quality and reducing production costs significantly. However, errors of transformation programs can propagate into the generated artifacts complicating the detection of errors. The current paper proposes a static type checking approach for early detection of typing errors of partially typed transformation programs. The approach describes type safety as constraint satisfaction problems, and uses a dedicated back-annotation mechanism for error feedback

Role of Cytotoxicity Experiments in Pharmaceutical Development

Through the twentieth century, the road from synthetizing a new drug molecule to become an actual product got longer than ever before. Cytotoxicity assays are a quick way to assess a certain chemical compound’s effects on a given human cell line. The most well-known techniques are the MTT- and the LDH-assays. These tests are cheap, easy to execute, but not very precise and dependent on various environmental factors and also, they show no detail about the time-dependency of the toxic effect. Cytotoxicity experiments are a crucial part of a modern pharmaceutical development process. They are a cheap and safe way to get vital information about a new molecule’s biological attributes focusing on its basic tolerability. These studies not only save human lives and test animals, but they save the time and resources to be spared on a test molecule which is a complete failure having no in vitro safety

Solving the TTC 2011 Reengineering Case with VIATRA2

The current paper presents a solution of the Program Understanding: A Reengineering Case for the Transformation Tool Contest using the VIATRA2 model transformation tool.Comment: In Proceedings TTC 2011, arXiv:1111.440

Cyclodextrins in Drug Delivery Systems and Their Effects on Biological Barriers

L

A bariátriai műtétek egészségpolitikai szerepe a 2-es típusú cukorbetegségben szenvedő elhízott betegek ellátásában // Health policy implications of bariatric surgeries for the management of obese patients with type 2 diabetes

Annak ellenére, hogy a 2-es típusú cukorbetegségben szenvedő elhízott betegek kezelése népegészségügyi prioritás, és a bariátriai műtétek jelentős egészségnyereséget és egészségügyi költségmegtakarítását eredményeznek e betegeknél, ezek a műtétek csak a magán egészségügyi szektorban elérhetőek egy szűk vagyonos réteg számára. Számos akadály gátolja az elhízott cukorbetegeknél végzett bariátriai műtétek széles körű elterjedését, így az egészségpolitikai döntéshozók támogatásának hiánya, a bariátriai műtétek szerepének meghatározatlansága az egészségügyi rendszerben, ebből következően az ilyen műtétek közfinanszírozásának hiánya, közfinanszírozott kapacitások korlátozottsága, valamint a szakmai kompetenciák kidolgozatlansága. A szerzők ezen korlátok áthidalására tesznek konszenzusos javaslatot. // Despite the fact that the treatment of patients with type 2 diabetes and obesity present a public health priority and bariatric surgeries generate remarkable health gain and savings in health care costs in these patients, metabolic surgeries are accessible only in the private health care sector for a selected wealthy population. Several barriers hinder the widespread adoption of bariatric surgeries for diabetic patients living with obesity, including a lack of support from health policy-makers, limited clarity regarding the role of bariatric surgeries in the public health care system and consequently a lack of public funding for these surgeries, limited capacities of providers in the publicly financed health care system, and the limited elaboration of professional competencies. The authors aim to provide a consensus proposal to overcome these barriers