Zobrazeno 1 - 10
of 327
pro vyhledávání: '"A, Amtoft"'
Autor:
Amtoft, Torben, Banerjee, Anindya
When proving the correctness of a method for slicing probabilistic programs, it was previously discovered by the authors that for a fixed point iteration to work one needs a non-standard starting point for the iteration. This paper presents and explo
Externí odkaz:
http://arxiv.org/abs/2412.07086
Mobile apps provide various critical services, such as banking, communication, and healthcare. To this end, they have access to our personal information and have the ability to perform actions on our behalf. Hence, securing mobile apps is crucial to
Externí odkaz:
http://arxiv.org/abs/2001.10052
Autor:
Amtoft, Torben, Banerjee, Anindya
This article develops a novel operational semantics for probabilistic control-flow graphs (pCFGs) of probabilistic imperative programs with random assignment and "observe" (or conditioning) statements. The semantics transforms probability distributio
Externí odkaz:
http://arxiv.org/abs/1711.02256
Autor:
Amtoft, Torben, Banerjee, Anindya
We present a theory for slicing probabilistic imperative programs -- containing random assignments, and ``observe'' statements (for conditioning) -- represented as probabilistic control-flow graphs (pCFGs) whose nodes modify probability distributions
Externí odkaz:
http://arxiv.org/abs/1711.02246
Autor:
Heidi S. Eddelien, Jawad H. Butt, André C. Amtoft, Nicholine S. K. Nielsen, Emilie S. Jensen, Ida M. K. Danielsen, Thomas Christensen, Anne K. Danielsen, Nete Hornnes, Christina Kruuse
Publikováno v:
Brain and Behavior, Vol 11, Iss 8, Pp n/a-n/a (2021)
Abstract Objective Timely evaluation and initiation of treatment is the key for improving stroke outcomes, although minimizing the time from symptom onset to the first contact with healthcare professionals remains a challenge. We aimed to identify pa
Externí odkaz:
https://doaj.org/article/9b1fa616ab324ee29fabe25227247630
Autor:
Tine N. Christensen, Seppo W. Langer, Gitte Persson, Klaus Richter Larsen, Annemarie G. Amtoft, Sune H. Keller, Andreas Kjaer, Barbara Malene Fischer
Publikováno v:
Diagnostics, Vol 12, Iss 7, p 1741 (2022)
In the original publication [...]
Externí odkaz:
https://doaj.org/article/cca2a945e2fd48b197c4b10921f04ce3
Autor:
Danijela Dejanovic, Marie Boennelycke, Annemarie Gjelstrup Amtoft, Charlotte Birk Christensen, Victoria Wetterstroem, Annika Loft, Trine Jakobi Noettrup
Publikováno v:
Diagnostics, Vol 12, Iss 6, p 1447 (2022)
We present the 18F-Fluorodeoxyglucose (18F-FDG) positron emission tomography/computed tomography (PET/CT) findings in a 57-year-old woman with post-menopausal bleeding diagnosed with hepatoid adenocarcinoma (HAC) with a primary tumour in the uterine
Externí odkaz:
https://doaj.org/article/2d1bcdad52df4b499cdbd418d3ecd6d6
Publikováno v:
Brittonia, 2002 Oct 01. 54(4), 262-265.
Externí odkaz:
https://www.jstor.org/stable/3218496
Autor:
Helen E. Roy, Helen Hesketh, Bethan V. Purse, Jørgen Eilenberg, Alberto Santini, Riccardo Scalera, Grant D. Stentiford, Tim Adriaens, Karolina Bacela‐Spychalska, David Bass, Katie M. Beckmann, Paul Bessell, Jamie Bojko, Olaf Booy, Ana Cristina Cardoso, Franz Essl, Quentin Groom, Colin Harrower, Regina Kleespies, Angeliki F. Martinou, Monique M. vanOers, Edmund J. Peeler, Jan Pergl, Wolfgang Rabitsch, Alain Roques, Francis Schaffner, Stefan Schindler, Benedikt R. Schmidt, Karsten Schönrogge, Jonathan Smith, Wojciech Solarz, Alan Stewart, Arjan Stroo, Elena Tricarico, Katharine M.A. Turvey, Andrea Vannini, Montserrat Vilà, Stephen Woodward, Anja Amtoft Wynns, Alison M. Dunn
Publikováno v:
Conservation Letters, Vol 10, Iss 4, Pp 477-484 (2017)
Abstract According to the Convention on Biological Diversity, by 2020 invasive alien species (IAS) should be identified and their impacts assessed, so that species can be prioritized for implementation of appropriate control strategies and measures p
Externí odkaz:
https://doaj.org/article/3631d0ed8a6b448b872770722cfc57f5