:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Woodcock, Jim, Andersen, Mikkel Schmidt, Aranha, Diego F., Hallerstede, Stefan, Hansen, Simon Thrane, Jakobsen, Nikolaj Kuhne, Kulik, Tomas, Larsen, Peter Gorm, Macedo, Hugo Daniel, Martin, Carlos Ignacio Isasa, Norrild, Victor Alexander Mtsimbe
Format:	Preprint
Published:	2023
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2308.15191
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Establishing tool support for a concept DSL
by: Jakobsen, Nikolaj Kühne
Published: (2025)

Formally Verified Animation for RoboChart using Interaction Trees
by: Ye, Kangfeng, et al.
Published: (2023)

Agrohidronegocio en Uruguay: acaparamiento de tierras, intensificación agraria y apropiación del agua
by: Ismael Díaz Isasa
Published: (2025)

Diagnóstico y evaluación de la situación del tratamiento de los efluentes líquidos de la Industria Frigorífica en Rosario y el Gran Rosario
by: Silvina Guadalupe Isasa
Published: (2000)

Software Engineering for Self-Adaptive Robotics: A Research Agenda
by: Sartaj, Hassan, et al.
Published: (2025)

RoboCertProb: Property Specification for Probabilistic RoboChart Models
by: Ye, Kangfeng, et al.
Published: (2024)

Towards Operation Proof Obligation Generation for VDM
by: Battle, Nick, et al.
Published: (2025)

Towards a Pedagogy of Organizational Change: PBL as a Lever for Organizational Development in Higher Education Institutions
by: Trine Lindvig Thomsen, et al.
Published: (2024)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
by: Bryant, Dustin, et al.
Published: (2025)

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
by: Ye, Kangfeng, et al.
Published: (2023)

Rouge y tacos al volante. La relación entre autos y mujeres en el ámbito turístico de Argentina
by: Juana Norrild
Published: (2010)

Powell and Pressburger's War: The Art of Propaganda, 1939–1946. By Greg M.Colón Semenza and Garrett A.Sullivan, Jr.Bloomsbury, 2023. 271 pp. ISBN: 979‐8‐7651‐0573‐3. £90.00.
by: Matthew Woodcock
Published: (2024)

Poor socioeconomic outcomes: Completion of the final examination after lower secondary education mitigates risks associated with gestational age
by: Rikke Wiingreen, et al.
Published: (2024)

On Local Posterior Structure in Deep Ensembles
by: Jordahn, Mikkel, et al.
Published: (2025)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
by: Foster, Simon, et al.
Published: (2024)

Shotgun DNA sequencing evidence: sample-specific and unknown genotyping error probabilities
by: Andersen, Mikkel Meyer
Published: (2025)

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
by: Kulik, Tomas, et al.
Published: (2024)

Reseña de "TURISMO. ENTRE EL OCIO Y EL NEG-OCIO Identidad cultural y desarrollo económico en América Latina y el MERCOSUR" de Octavio Getino.
by: Juana A. Norrild
Published: (2005)

Reseña de "Escuela Profesional de Turismo y Hotelería" de John Urry
by: Juana Alejandrina Norrild
Published: (2009)

Reseña de "CAMBIO CLIMÁTICO. REALIDAD Y FICCIÓN" de Eduardo Fayos-Solà y Jafar Jafari (eds.)
by: Juana A. Norrild
Published: (2011)

MONTEVIDEO CIUDAD BALNEARIA (1900-1950). El municipio y el fomento del turismo. Reseña de "Universidad de la República (Magallanes 1577, Montevideo - Uruguay)" de Nelly da Cunha
by: Juana A. Norrild
Published: (2011)

LAS CARTAS DE MENÚ DE LA CIUDAD DE BUENOS AIRES (ARGENTINA) Su evolución y potencial para el aprovechamiento turístico
by: Juana A Norrild
Published: (2020)

Reseña de "Los nuevos braceros del ocio. Sonrisas, cuerpos flexibles e identidad de empresa en el sector turístico" de Juana A. Norrild
by: Juana A. Norrild
Published: (2007)

ESTUDIOS Y PERSPECTIVAS EN TURISMO. Una mirada retrospectiva y hacia el futuro
by: Juana A Norrild
Published: (2020)

Reseña de "Planificación territorial del turismo" de Salvador Antón Clavé y Francesc González Reverté
by: Juana A Norrild
Published: (2006)

Relación entre turismo, género y sexo. El caso de Buzios - Brasil
by: Juana A. Norrild
Published: (2007)

DE LA INVERSIÓN HOTELERA AL TURISMO SUSTENTABLE. Reseña de "Inversión Hotelera. Elementos para su evaluación" de Alfredo Ascanio Guevara y Reseña de "Turismo Sustentable. El equilibrio necesario en el siglo XXI" de Alfredo Ascanio Guevara y Marcus Vinicius Campos
by: Juana A. Norrild
Published: (2011)

RESEÑA DE "FILOSOFIA DO TURISMO. TEORIA E EPISTEMOLOGIA" DE ALEXANDRE PANOSSO NETTO
by: Juana A. Norrild
Published: (2012)

Turismo y sexo en México. Cuerpos masculinos en venta y experiencias homoeróticas. Una perspectiva multidisciplinaria. Álvaro López López y Anne Marie Van Broeck (Coordinadores). Instituto de Geografía – Universidad Nacional Autónoma de México. (Coyoacán, 04510; Ciudad de México, México www.unam.mx) 2013, 418 pp. (figuras, cuadros). ISBN 978-607-02-4953-2.
by: Juana A. Norrild
Published: (2015)

Geopolítica, recursos naturales y turismo. Una historia del caribe mexicano
by: Juana A. Norrild
Published: (2010)

Reseña de " Horror and Human Tragedy Revisited. The management of sites of atrocities for tourism." de Gregory Ashworth & Rudi Hartmann
by: Juana A. Norrild
Published: (2007)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
by: Ye, Kangfeng, et al.
Published: (2025)

Practical Deep Heteroskedastic Regression
by: Jordahn, Mikkel, et al.
Published: (2026)

Celebrating a century of APMIS: a legacy of pathology, microbiology, and immunology
by: Bodil Norrild, et al.
Published: (2024)

EOSpython Version 0.0.11: A Framework for Scenario Generation and a Solution System for the Agile Earth Observation Satellite Scheduling Problem
by: Vasegaard, Alex Elkjær, et al.
Published: (2024)

What is cerebral blood volume good for?
by: Gorm Greisen
Published: (2024)

Introductory Courses on Digital Twins: an Experience Report
by: Fitzgerald, John S, et al.
Published: (2025)

Working the Phones
by: Woodcock, Jamie
Published: (2019)

The Fight Against Platform Capitalism
by: Woodcock, Jamie
Published: (2021)

The Cinema of Powell and Pressburger. Edited by NathalieMorris and ClaireSmith. Bloomsbury, 2023. x + 206 pp. £30.00.
by: Matthew Woodcock
Published: (2024)