205 research outputs found
Shape Calculus: Timed Operational Semantics and Well-Formedness
No full textExtended version, including proofs, of Bartocci, E.; Cacciagrano, D. R.; Di Berardini, M. R.; Merelli, E. & Tesei, L. Timed Operational Semantics and Well-formedness of Shape Calculus. Scientific Annals of Computer Science, 20(1):33-52, 201
Differenziali retributivi di genere e organizzazione del lavoro : una indagine qualitativa
No full textIsfol, Catemaro M. G. e Merelli M. e Ruggerini M.G. (a cura di), Differenziali retributivi di genere e organizzazione del lavoro : una indagine qualitativa, Roma, Isfol, 2008. Isfol OABook. Presentazione dei risultati di una ricerca realizzata tramite una metodologia qualitativa volta a cogliere i comportamenti delle aziende e dei dipendenti donne e uomini, nonché la soggettività degli attori in gioco. Equità, valorizzazione, negoziazione, tempo, cultura sono le parole chiave poste alla base della metodologia adottata per l’analisi dei casi aziendali; i diversi profili organizzativi delle imprese trovano una rappresentazione nel diagramma di Ishikawa che mostra il peso delle variabili che concorrono a produrre il gap salariale di genere.Unione europea, Fondo sociale europeo; Ministero del lavoro della salute e delle politiche socialibook. presentazione dei risultati di una ricerca realizzata tramite una metodologia qualitativa volta a cogliere i comportamenti delle aziende e dei dipendenti donne e uomini, nonché la soggettività degli attori in gioco. equità, valorizzazione, negoziazione, tempo, cultura sono le parole chiave poste alla base della metodologia adottata per l’analisi dei casi aziendali; i diversi profili organizzativi delle imprese trovano una rappresentazione nel diagramma di ishikawa che mostra il peso delle variabili che concorrono a produrre il gap salariale di genere. differenziali retributivi di genere e organizzazione del lavoro : una indagine qualitativa maria giulia catemaro maria merelli maria grazia ruggerin
New antibiotics for bad bugs: Where are we?
No full textBacterial resistance to antibiotics is growing up day by day in both community and hospital setting, with a significant impact on the mortality and morbidity rates and the financial burden that is associated. In the last two decades multi drug resistant microorganisms (both hospital- and community-acquired) challenged the scientific groups into developing new antimicrobial compounds that can provide safety in use according to the new regulation, good efficacy patterns, and low resistance profile. In this review we made an evaluation of present data regarding the new classes and the new molecules from already existing classes of antibiotics and the ongoing trends in antimicrobial development. Infectious Diseases Society of America (IDSA) supported a proGram, called " the ′10 × ́20′ initiative" , to develop ten new systemic antibacterial drugs within 2020. The microorganisms mainly involved in the resistance process, so called the ESKAPE pathogens (Enterococcus faecium, Staphylococcus aureus, Klebsiella pneumoniae, Acinetobacter baumanii, Pseudomonas aeruginosa, and enterobacteriaceae) were the main targets. In the era of antimicrobial resistance the new antimicrobial agents like fifth generation cephalosporins, carbapenems, monobactams, β-lactamases inhibitors, aminoglycosides, quinolones, oxazolidones, glycopeptides, and tetracyclines active against Gram-positive pathogens, like vancomycin-resistant S. aureus (VRSA) and MRSA, penicillin-resistant streptococci, and vancomycin resistant Enterococcus (VRE) but also against highly resistant Gram-negative organisms are more than welcome. Of these compounds some are already approved by official agencies, some are still in study, but the need of new antibiotics still does not cover the increasing prevalence of antibiotic-resistant bacterial infections. Therefore the management of antimicrobial resistance should also include fostering coordinated actions by all stakeholders, creating policy guidance, support for surveillance and technical assistance
Proceedings of the Third Workshop From Biology To Concurrency and back. Electronic Proceedings in Theoretical Computer Science 19, 2010
No full textPreface
This volume contains the papers presented at the 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, held in Paphos, Cyprus, on March 27, 2010, as satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS 2010.
The Workshop aimed at gathering together researchers with special interest at the convergence of life and computer science, with particular focus on the application of techniques and methods from concurrency. The papers contained in this volume present works on modelling, analysis, and validation of biological behaviours using concurrency-inspired methods and platforms, and bio-inspired models and tools for describing distributed interactions. The invited speaker, Alberto Policriti, gave a talk on mixing discrete and continuous modeling in systems biology.
Out of the 15 submitted papers, 8 were accepted for presentation at the Workshop and for publication in this volume. We would like to thank the authors who showed interest in FBTC 2010. We also wish to thank the programme committee:
Marco Antoniotti (University of Milan Bicocca, IT)
Chiara Bodei (University of Pisa, IT)
Luca Cardelli (Microsoft Research Cambridge, UK)
Erik de Vink (Technische Universiteit Eindhoven, NL)
François Fages (INRIA Paris-Rocquencourt, F)
Anthony Finkelstein (University College London, UK)
Radu Grosu (Stony Brook University, US)
Jane Hillston (University of Edinburgh, UK)
Anna Ingólfsdóttir (Reykjavik University, IS)
Carolyn Talcott (SRI International, US)
Adelinde Uhrmacher (University of Rostock, DE)
Cristian Versari (University of Bologna, IT)
together with the sub-reviewers Ezio Bartocci, Linda Brodo, Alberto Casagrande, Maria Rita Di Berardini, Paola Lecca, Carsten Maus, and Luca Tesei, for their hard work in reviewing the submitted papers.
We are grateful to Alberto Policriti for accepting our invitation, and to George A. Papadopoulos, to Anna Philippou and to the whole Organizing Committee of ETAPS 2010 for their continuous support. We also wish to thank the Editorial Board of EPTCS for publishing these proceedings in their series, and gratefully acknowledge the kind support we had by Rob van Glabbeek in the editing process
Proactive therapeutic drug monitoring (TDM) may be helpful in managing long-term treatment with linezolid safely: findings from a monocentric, prospective, open-label, interventional study
No full textThrombocytopenia may be a dose-dependent adverse effect of linezolid therapy
Time to organize the bioinformatics resourceome
No full textThe initial steps toward a bioinformatics resourceome are
clear. First, an overall ontology with the high-level concepts
(algorithms, databases, organizations, papers, people, etc.)
must be created, with a set of standard attributes and a
standard set of relations between these concepts (e.g., people
publish papers, papers describe algorithms or databases,
organizations house people, etc.). The initial ontology should
be compact and built for distributed collaborative extension.
Second, a mechanism for people to extend this ontology with
subconcepts in order to describe their own resources should
be designed. The precise location of a tool within a taxonomy
is not critical—the author will place it somewhere based on
the location of similar/competing resources or based on a
best-informed guess. Others may create links to the resource
from other appropriate locations in the taxonomy in order to
ensure that competing interpretations of the appropriate
conceptual location for the resource are accommodated.
Third, the formats for the ontologies and the resource
descriptions should be published so enterprising software
engineers can create interfaces for surfing, searching, and
viewing the resources. The resulting distributed system of
resource descriptions would be extensible, robust, and useful
to the entire biomedical research community
Treatment of consecutive episodes of multidrug-resistant bacterial pleurisy with different aetiology in a heart transplant candidate: Proof of concept of pharmacokinetic/pharmacodynamic optimisation of antimicrobial therapy at the infection site
No full textIntegrating Ontologies in Mobile Agents
No full textThe process of information extraction and data integration in a global information system demands automatic techniques for quickly determining semantic similarity among concepts across different ontologies. This paper presents a graph based approach for computing, on-the-fly, semantic similarities among ontologies of a specific domain. The approach consists of integrating mobile agents and ontologies to support a variety of applications in distributed environments. The resulting technique is illustrated on Hermes, agent-based middleware for mobile computing, by an example in molecular biology domain
Successful and safe long-term treatment of cerebral aspergillosis with high-dose voriconazole guided by therapeutic drug monitoring
No full textWe report the case of a patient who had cerebral aspergillosis after otorhinolaryngologic surgery and who was successfully and safely treated with high-dose voriconazole (200 mg q6h) for more than 1 year thanks to a TDM-guided approach coupled with pharmacological review and with genotyping of CYP2C19 polymorphisms. The findings support the idea that personalized medicine based on TDM coupled with the need of avoiding drug–drug interactions may be helpful for maximizing the net benefit (probability of efficacy vs. probability of adverse events) of voriconazole in the management of long-term treatment of cerebral aspergillosis
Determination of PCT on admission is a useful tool for the assessment of disease severity in travelers with imported Plasmodium falciparum malaria
No full textProcalcitonin (PCT) and C-reactive protein (CRP) may be useful to predict complicated forms of malaria. A total of 30
consecutive travelers diagnosed with Plasmodium falciparum malaria over a two-year period were included in the study. Patients
with complicated Plasmodium falciparum malaria showed higher levels of parasitemia (P = 0.0001), PCT (P = 0.0018),
CRP (P = 0.0005), bilirubinemia (P = 0.004), and a lower platelet count (P<0.0001) compared with patients with uncomplicated
forms. PCT levels above 5 ng/mL showed the highest value of specificity (0.86) and positive predictive factor (0.67) among
other parameters, and equal sensitivity (0.67) was displayed by CRP levels above 150 mg/dl. None of the patients with
complicated malaria showed PCT levels within normal limits (<0.5 ng/ml). Both PCT and CRP correlated with parasitemia
(P<0.001) and showed areas under ROC curve of 0.83. At multivariate analysis, only PCT was associated with an increased risk
of complicated malaria (OR 8.2, IC 95% 1.2–57.2, P = 0.03). The determination of PCT on admission showed better results
compared to CRP, platelet count, and bilirubinemia and can be useful in non-endemic areas for the initial clinical assessment
of disease severity in travelers with Plasmodium falciparum malaria
- …
