Zobrazeno 1 - 10
of 1 449
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
Publikováno v:
Jørgensen, M R & Sørensen, M 2017, Interaktioner, relationer og samspil. Amtoft sommerhusområde og dets nærmiljø . i L V Knudsen (red.), Væk fra hverdagen. : Sommerhuse ved Limfjorden . 1. udgave udg, Aalborg Universitetsforlag, Aalborg, Studier i historie, arkiver og kulturarv, nr. 5, s. 191-222 . < http://aauforlag.dk/Shop/boeger/vaek-fra-hverdagen-sommerhuse-ved-limfjorden.aspx >
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::109692b7c5792d83d19533a5c1489758
https://vbn.aau.dk/da/publications/175b2061-2d1c-494a-a97f-3aa77cc4ba20
https://vbn.aau.dk/da/publications/175b2061-2d1c-494a-a97f-3aa77cc4ba20
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:
AMTOFT, TORBEN1 tamtoft@ksu.edu, BANERJEE, ANINDYA2 anindya.banerjee@imdea.org
Publikováno v:
ACM Transactions on Programming Languages & Systems. Apr2020, Vol. 42 Issue 2, p1-71. 71p.
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