Zobrazeno 1 - 10
of 310
pro vyhledávání: '"Marta Kwiatkowska"'
Autor:
Desirée Colombo, Azucena Garcia Palacios, Javier Fernandez Alvarez, Andrea Patané, Michelle Semonella, Pietro Cipresso, Marta Kwiatkowska, Giuseppe Riva, Cristina Botella
Publikováno v:
Systematic Reviews, Vol 7, Iss 1, Pp 1-7 (2018)
Abstract Background Ecological momentary assessments (EMAs) and ecological momentary interventions (EMIs) represent a novel approach for the assessment and delivery of psychological support to depressed patients in daily life. Beyond the classical pa
Externí odkaz:
https://doaj.org/article/2ac2e3a50ecf479ba5872687e4bdc80d
Publikováno v:
Computation, Vol 9, Iss 10, p 107 (2021)
Automation is becoming ubiquitous in all laboratory activities, moving towards precisely defined and codified laboratory protocols. However, the integration between laboratory protocols and mathematical models is still lacking. Models describe physic
Externí odkaz:
https://doaj.org/article/f5f2069f58c44f30822ce2059fa7bcea
Autor:
Desirée Colombo, Javier Fernández-Álvarez, Andrea Patané, Michelle Semonella, Marta Kwiatkowska, Azucena García-Palacios, Pietro Cipresso, Giuseppe Riva, Cristina Botella
Publikováno v:
Journal of Clinical Medicine, Vol 8, Iss 4, p 465 (2019)
Ecological momentary assessment (EMA) and ecological momentary intervention (EMI) are alternative approaches to retrospective self-reports and face-to-face treatments, and they make it possible to repeatedly assess patients in naturalistic settings a
Externí odkaz:
https://doaj.org/article/686d48dafb644c0d991ae523a2445f8c
Publikováno v:
Medycyna Pracy, Vol 64, Iss 5, Pp 717-729 (2013)
Glyphosate (N-(phosphonomethyl)glycine) is an active ingredient of the most widely used herbicide formulations in protecting agricultural and horticultural crops. Numerous results (mostly published in the years 2010-2013) concerning the action of gly
Externí odkaz:
https://doaj.org/article/2e009803a5c6427fa7e5812778c6b208
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 117, Iss Proc. QAPL 2013, Pp 66-80 (2013)
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reasoning. In recent years, quantitative variants of modal automata were i
Externí odkaz:
https://doaj.org/article/3a3a7f7f4844425280fee42bb678e3b0
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 112, Iss Proc. SR 2013, Pp 53-59 (2013)
We present a strategic analysis of a trust model that has recently been proposed for promoting cooperative behaviour in user-centric networks. The mechanism for cooperation is based on a combination of reputation and virtual currency schemes in which
Externí odkaz:
https://doaj.org/article/925b5d0394bc483788311ae7173cef43
Autor:
Marta Kwiatkowska, Paweł Jarosiewicz, Jaromir Michałowicz, Maria Koter-Michalak, Bogumiła Huras, Bożena Bukowska
Publikováno v:
PLoS ONE, Vol 11, Iss 6, p e0156946 (2016)
The toxicity of herbicides to animals and human is an issue of worldwide concern. The present study has been undertaken to assess toxic effect of widely used pesticide-glyphosate, its metabolites: aminomethylphosphonic acid (AMPA) and methylphosphoni
Externí odkaz:
https://doaj.org/article/209e8ad644da48a688727466c16745cd
Publikováno v:
Logical Methods in Computer Science, Vol Volume 11, Issue 2 (2015)
We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due
Externí odkaz:
https://doaj.org/article/6c7b50e9bf3045e1b2956520e3365ecf
Publikováno v:
Logical Methods in Computer Science, Vol Volume 4, Issue 4 (2008)
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (\omega -regular or LTL) properties \varphi\_i, and probabilities r\_i \epsilo
Externí odkaz:
https://doaj.org/article/aeede10b9a274e90b0d23e46a0aa3654
Publikováno v:
Pomiary Automatyka Robotyka. 26:43-51
In this paper the novel control and communication scheme designed to ease the development and maintenance of the robotic astronomical telescope device is presented. The proposed solution allows the user to remotely access any signal in the controller