32 research outputs found
Separation and Renaming in Nominal Sets
Nominal sets provide a foundation for reasoning about names. They are used primarily in syntax with binders, but also, e.g., to model automata over infinite alphabets. In this paper, nominal sets are related to nominal renaming sets, which involve arbitrary substitutions rather than permutations, through a categorical adjunction. In particular, the left adjoint relates the separated product of nominal sets to the Cartesian product of nominal renaming sets. Based on these results, we define the new notion of separated nominal automata. We show that these automata can be exponentially smaller than classical nominal automata, if the semantics is closed under substitutions
Residual Nominal Automata
Nominal automata are models for accepting languages over infinite alphabets.
In this paper we refine the hierarchy of nondeterministic nominal automata, by
developing the theory of residual nominal automata. In particular, we show that
they admit canonical minimal representatives, and that the universality problem
becomes decidable. We also study exact learning of these automata, and settle
questions that were left open about their learnability via observations
Residual Nominal Automata
We are motivated by the following question: which nominal languages admit an active learning algorithm? This question was left open in previous work, and is particularly challenging for languages recognised by nondeterministic automata. To answer it, we develop the theory of residual nominal automata, a subclass of nondeterministic nominal automata. We prove that this class has canonical representatives, which can always be constructed via a finite number of observations. This property enables active learning algorithms, and makes up for the fact that residuality - a semantic property - is undecidable for nominal automata. Our construction for canonical residual automata is based on a machine-independent characterisation of residual languages, for which we develop new results in nominal lattice theory. Studying residuality in the context of nominal languages is a step towards a better understanding of learnability of automata with some sort of nondeterminism
Orbit-finite-dimensional vector spaces and weighted register automata
We develop a theory of vector spaces spanned by orbit-finite sets. Using this theory, we give a decision procedure for equivalence of weighted register automata, which are the common generalization of weighted automata and register automata for infinite alphabets. The algorithm runs in exponential time, and in polynomial time for a fixed number of registers. As a special case, we can decide, with the same complexity, language equivalence for unambiguous register automata, which improves previous results in three ways: (a) we allow for order comparisons on atoms, and not just equality; (b) the complexity is exponentially better; and (c) we allow automata with guessing
Residuality and Learning for Nondeterministic Nominal Automata
We are motivated by the following question: which data languages admit an
active learning algorithm? This question was left open in previous work by the
authors, and is particularly challenging for languages recognised by
nondeterministic automata. To answer it, we develop the theory of residual
nominal automata, a subclass of nondeterministic nominal automata. We prove
that this class has canonical representatives, which can always be constructed
via a finite number of observations. This property enables active learning
algorithms, and makes up for the fact that residuality -- a semantic property
-- is undecidable for nominal automata. Our construction for canonical residual
automata is based on a machine-independent characterisation of residual
languages, for which we develop new results in nominal lattice theory. Studying
residuality in the context of nominal languages is a step towards a better
understanding of learnability of automata with some sort of nondeterminism
Generating Functions for Probabilistic Programs
This paper investigates the usage of generating functions (GFs) encoding
measures over the program variables for reasoning about discrete probabilistic
programs. To that end, we define a denotational GF-transformer semantics for
probabilistic while-programs, and show that it instantiates Kozen's seminal
distribution transformer semantics. We then study the effective usage of GFs
for program analysis. We show that finitely expressible GFs enable checking
super-invariants by means of computer algebra tools, and that they can be used
to determine termination probabilities. The paper concludes by characterizing a
class of -- possibly infinite-state -- programs whose semantics is a rational
GF encoding a discrete phase-type distribution
DEQ:Equivalence Checker for Deterministic Register Automata
Register automata are one of the most studied automata models over infinite alphabets with applications in learning, systems modelling
and program verification. We present an equivalence checker for deterministic register automata, called DEQ, based on a recent polynomial-time
algorithm that employs group-theoretic techniques to achieve succinct
representations of the search space. We compare the performance of our
tool to other available implementations, notably in the learning library
RALib and nominal frameworks LOIS and NLambda
Learning nominal automata
We present an Angluin-style algorithm to learn nominal automata, which are
acceptors of languages over infinite (structured) alphabets. The abstract
approach we take allows us to seamlessly extend known variations of the
algorithm to this new setting. In particular we can learn a subclass of nominal
non-deterministic automata. An implementation using a recently developed
Haskell library for nominal computation is provided for preliminary
experiments
Proceedings of the International Cancer Imaging Society (ICIS) 16th Annual Teaching Course
Table of contents
O1 Tumour heterogeneity: what does it mean?
Dow-Mu Koh
O2 Skeletal sequelae in adult survivors of childhood cancer
Sue Creviston Kaste
O3 Locoregional effects of breast cancer treatment
Sarah J Vinnicombe
O4 Imaging of cancer therapy-induced CNS toxicity
Giovanni Morana, Andrea Rossi
O5 Screening for lung cancer
Christian J. Herold
O6Risk stratification of lung nodules
Theresa C. McLoud
O7 PET imaging of pulmonary nodules
Kirk A Frey
O8 Transarterial tumour therapy
Bernhard Gebauer
O9 Interventional radiology in paediatric oncology
Derek Roebuck
O10 Image guided prostate interventions
Jurgen J. FĂŒtterer
O11 Imaging cancer predisposition syndromes
Alexander J. Towbin
O12Chest and chest wall masses
Thierry AG Huisman
O13 Abdominal masses: good or bad?
Anne MJB Smets
O14 Hepatobiliary MR contrast: enhanced liver MRI for HCC diagnosis and management
Giovanni Morana
O15 Role of US elastography and multimodality fusion for managing patients with chronic liver disease and HCC
Jeong Min Lee
O16 Opportunities and challenges in imaging metastatic disease
Hersh Chandarana
O17 Diagnosis, treatment monitoring, and follow-up of lymphoma
Marius E. Mayerhoefer, Markus Raderer, Alexander Haug
O18 Managing high-risk and advanced prostate cancer
Matthias Eiber
O19 Immunotherapy: imaging challenges
Bernhard Gebauer
O20 RECIST and RECIST 1.1
Andrea Rockall
O21 Challenges of RECIST in oncology imaging basics for the trainee and novice
Aslam Sohaib
O22 Lymphoma: PET for interim and end of treatment response assessment: a usersâ guide to the Deauville Score
Victoria S Warbey
O23 Available resources
Hebert Alberto Vargas
O24 ICIS e-portal and the online learning community
Dow-Mu Koh
O25 Benign lesions that mimic pancreatic cancer
Jay P Heiken
O26 Staging and reporting pancreatic malignancies
Isaac R Francis, Mahmoud, M Al-Hawary, Ravi K Kaza
O27 Intraductal papillary mucinous neoplasm
Giovanni Morana
O28 Cystic pancreatic tumours
Mirko DâOnofrio
O29 Diffusion-weighted imaging of head and neck tumours
Harriet C. Thoeny
O30 Radiation injury in the head and neck
Ann D King
O31 PET/MR of paediatric brain tumours
Giovanni Morana, Arnoldo Piccardo, Maria Luisa GarrĂš, Andrea Rossi
O32 Structured reporting and beyond
Hebert Alberto Vargas
O33 Massachusetts General Hospital experience with structured reporting
Theresa C. McLoud
O34 The oncologistâs perspective: what the oncologist needs to know
Nick Reed
O35 Towards the cure of all children with cancer: global initiatives in pediatric oncology
Carlos Rodriguez-Galindo
O36 Multiparametric imaging of renal cancers
Hersh Chandarana
O37 Linking imaging features of renal disease and their impact on management strategies
Hebert Alberto Vargas
O38 Adrenals, retroperitoneum and peritoneum
Isaac R Francis, Ashish P Wasnik
O39 Lung and pleura
Stefan Diederich
O40 Advances in MRI
Jurgen J. FĂŒtterer
O41 Advances in molecular imaging
Wim J.G. Oyen
O42 Incorporating advanced imaging, impact on treatment selection and patient outcome
Cheng Lee Chaw, Nicholas van As
S1 Combining ADC-histogram features improves performance of MR diffusion-weighted imaging for Lymph node characterisation in cervical cancer
Igor Vieira, Frederik De Keyzer, Elleke Dresen, Sileny Han, Ignace Vergote, Philippe Moerman, Frederic Amant, Michel Koole, Vincent Vandecaveye
S2 Whole-body diffusion-weighted MRI for surgical planning in patients with colorectal cancer and peritoneal metastases
R Dresen, S De Vuysere, F De Keyzer, E Van Cutsem, A DâHoore, A Wolthuis, V Vandecaveye
S3 Role of apparent diffusion coefficient (ADC) diffusion-weighted MRI for predicting extra capsular extension of prostate cancer.
P. Pricolo ([email protected]), S. Alessi, P. Summers, E. Tagliabue, G. Petralia
S4 Generating evidence for clinical benefit of PET/CT â are management studies sufficient as surrogate for patient outcome?
C. Pfannenberg, B. GĂŒckel, SC SchĂŒle, AC MĂŒller, S. Kaufmann, N. Schwenzer, M. Reimold,C. la Fougere, K. Nikolaou, P. Martus
S5 Heterogeneity of treatment response in skeletal metastases from breast cancer with 18F-fluoride and 18F-FDG PET
GJ Cook, GK Azad, BP Taylor, M Siddique, J John, J Mansi, M Harries, V Goh
S6 Accuracy of suspicious breast imagingâcan we tell the patient?
S Seth, R Burgul, A Seth
S7 Measurement method of tumour volume changes during neoadjuvant chemotherapy affects ability to predict pathological response
S Waugh, N Muhammad Gowdh, C Purdie, A Evans, E Crowe, A Thompson, S Vinnicombe
S8 Diagnostic yield of CT IVU in haematuria screening
F. Arfeen, T. Campion, E. Goldstraw
S9 Percutaneous radiofrequency ablation of unresectable locally advanced pancreatic cancer: preliminary results
DâOnofrio M, Ciaravino V, Crosara S, De Robertis R, Pozzi Mucelli R
S10 Iodine maps from dual energy CT improve detection of metastases in staging examinations of melanoma patients
M. Uhrig, D. Simons, H. Schlemmer
S11Can contrast enhanced CT predict pelvic nodal status in malignant melanoma of the lower limb?
Kate Downey
S12 Current practice in the investigation for suspected Paraneoplastic Neurological Syndromes (PNS) and positive malignancy yield.
S Murdoch, AS Al-adhami, S Viswanathan
P1 Technical success and efficacy of Pulmonary Radiofrequency ablation: an analysis of 207 ablations
S Smith, P Jennings, D Bowers, R Soomal
P2 Lesion control and patient outcome: prospective analysis of radiofrequency abaltion in pulmonary colorectal cancer metastatic disease
S Smith, P Jennings, D Bowers, R Soomal
P3 Hepatocellular carcinoma in a post-TB patient: case of tropical infections and oncologic imaging challenges
TM Mutala, AO Odhiambo, N Harish
P4 Role of apparent diffusion coefficient (ADC) diffusion-weighted MRI for predicting extracapsular extension of prostate cancer
P. Pricolo, S. Alessi, P. Summers, E. Tagliabue, G. Petralia
P5 What a difference a decade makes; comparison of lung biopsies in Glasgow 2005 and 2015
M. Hall, M. Sproule, S. Sheridan
P6 Solid pseudopapillary tumour of pancreas: imaging features of a rare neoplasm
KY Thein, CH Tan, YL Thian, CM Ho
P7 MDCT - pathological correlation in colon adenocarcinoma staging: preliminary experience
S De Luca, C Carrera, V Blanchet, L AlarcĂłn, E Eyheremnedy
P8 Image guided biopsy of thoracic masses and reduction of pneumothorax risk: 25Â years experience
B K Choudhury, K Bujarbarua, G Barman
P9 Tumour heterogeneity analysis of 18F-FDG-PET for characterisation of malignant peripheral nerve sheath tumours in neurofibromatosis-1
GJ Cook, E Lovat, M Siddique, V Goh, R Ferner, VS Warbey
P10 Impact of introduction of vacuum assisted excision (VAE) on screen detected high risk breast lesions
L Potti, B Kaye, A Beattie, K Dutton
P11 Can we reduce prevalent recall rate in breast screening?
AA Seth, F Constantinidis, H Dobson
P12 How to reduce prevalent recall rate? Identifying mammographic lesions with low Positive Predictive Value (PPV)
AA Seth ([email protected]), F Constantinidis, H Dobson
P13 Behaviour of untreated pulmonary thrombus in oncology patients diagnosed with incidental pulmonary embolism on CT
R. Bradley, G. Bozas, G. Avery, A. Stephens, A. Maraveyas
P14 A one-stop lymphoma biopsy service â is it possible?
S Bhuva, CA Johnson, M Subesinghe, N Taylor
P15 Changes in the new TNM classification for lung cancer (8th edition, effective January 2017)
LE Quint, RM Reddy, GP Kalemkerian
P16 Cancer immunotherapy: a review of adequate imaging assessment
G GonzĂĄlez Zapico, E Gainza Jauregui, R Ălvarez Francisco, S Ibåñez Alonso, I Tavera Bahillo, L MĂșgica Ălvarez
P17 Succinate dehydrogenase mutations and their associated tumours
O Francies, R Wheeler, L Childs, A Adams, A Sahdev
P18 Initial experience in the usefulness of dual energy technique in the abdomen
SE De Luca, ME Casalini Vañek, MD Pascuzzi, T Gillanders, PM Ramos, EP Eyheremendy
P19 Recognising the serious complication of Richterâs transformation in CLL patients
C Stove, M Digby
P20 Body diffusion-weighted MRI in oncologic practice: truths, tricks and tips
M. Nazar, M. Wirtz, MD. Pascuzzi, F. Troncoso, F. Saguier, EP. Eyheremendy
P21 Methotrexate-induced leukoencephalopathy in paediatric ALL Patients
D.J. Quint, L. Dang, M. Carlson, S. Leber, F. Silverstein
P22 Pitfalls in oncology CT reporting. A pictorial review
R Rueben, S Viswanathan
P23 Imaging of perineural extension in head and neck tumours
B Nazir, TH Teo, JB Khoo
P24 MRI findings of molecular subtypes of breast cancer: a pictorial primer
K Sharma, N Gupta, B Mathew, T Jeyakumar, K Harkins
P25 When cancer canât wait! A pictorial review of oncological emergencies
K Sharma, B Mathew, N Gupta, T Jeyakumar, S Joshua
P26 MRI of pancreatic neuroendocrine tumours: an approach to interpretation
D Christodoulou, S Gourtsoyianni, A Jacques, N Griffin, V Goh
P27 Gynaecological cancers in pregnancy: a review of imaging
CA Johnson, J Lee
P28 Suspected paraneoplastic neurological syndromes - review of published recommendations to date, with proposed guideline/flowchart
JA Goodfellow, AS Al-adhami, S Viswanathan
P29 Multi-parametric MRI of the pelvis for suspected local recurrence of prostate cancer after radical prostatectomy
R Bradley
P30 Utilisation of PI-RADS version 2 in multi-parametric MRI of the prostate; 12-months experience
R Bradley
P31 Radiological assessment of the post-chemotherapy liver
A Yong, S Jenkins, G Joseph
P32 Skeletal staging with MRI in breast cancer â what the radiologist needs to know
S Bhuva, K Partington
P33 Perineural spread of lympoma: an educational review of an unusual distribution of disease
CA Johnson, S Bhuva, M Subesinghe, N Taylor
P34 Visually isoattenuating pancreatic adenocarcinoma. Diagnostic imaging tools.
C Carrera, A Zanfardini, S De Luca, L AlarcĂłn, V Blanchet, EP Eyheremendy
P35 Imaging of larynx cancer: when is CT, MRI or FDG PET/CT the best test?
K Cavanagh, E Lauhttp://deepblue.lib.umich.edu/bitstream/2027.42/134651/1/40644_2016_Article_79.pd