Now showing items 171-190 of 307

• #### A Machine-Assisted Proof of Gödel’s Incompleteness Theorems for the Theory of Hereditarily Finite Sets ﻿

(2014-04-03)
• #### Mathematical Information Retrieval based on type embeddings and query expansion ﻿

(International Committee on Computational Linguistics, 2016-12)
We present an approach to mathematical information retrieval (MIR) that exploits a special kind of technical terminology, referred to as a mathematical type. In this paper, we present and evaluate a type detection mechanism ...
• #### Measuring affective, physiological and behavioural differences in solo, competitive and collaborative games ﻿

(2017-01-01)
• #### Measuring similarity between gene expression profiles: a Bayesian approach ﻿

(2009-12-03)
• #### Measuring Urban Social Diversity Using Interconnected Geo-Social Networks ﻿

(2016-04-16)
• #### A Mechanised Proof of Gödel’s Incompleteness Theorems using Nominal Isabelle ﻿

(2015-05-02)
• #### Mind the Gap: A Comparison of Software Packet Generators ﻿

(IEEE, IEEE, 2017-05-18)
Network research relies on packet generators to assess performance and correctness of new ideas. Software-based generators in particular are widely used by academic researchers because of their flexibility, affordability, ...
• #### Minimizing Detection Probability Routing in Ad Hoc Networks Using Directional Antennas ﻿

(2009-06-08)
• #### Mining Open Datasets for Transparency in Taxi Transport in Metropolitan Environments ﻿

(2015-12-10)
• #### Mining Users' Significant Driving Routes with Low-power Sensors ﻿

(2014)

(2016-10-19)
• #### Mixed-size concurrency: ARM, POWER, C/C++11, and SC ﻿

(Association for Computing Machinery, 2017-01-01)
Previous work on the semantics of relaxed shared-memory concurrency has only considered the case in which each load reads the data of exactly one store. In practice, however, multiprocessors support mixed-size accesses, ...
• #### Mobile Sensing at the Service of Mental Well-being: a Large-scale Longitudinal Study ﻿

Measuring mental well-being with mobile sensing has been an increasingly active research topic. Pervasiveness of smartphones combined with the convenience of mobile app distribution platforms (e.g., Google Play) provide a ...
• #### Modal Kleene Algebra Applied to Program Correctness ﻿

(Springer, 2016)
Modal Kleene algebras are relatives of dynamic logics that support program construction and verification by equational reasoning. We describe their application in implementing versatile program correctness components in ...
• #### A model of local adaptation ﻿

(ACM, 2015-11-01)
The visual system constantly adapts to different luminance levels when viewing natural scenes. The state of visual adaptation is the key parameter in many visual models. While the time-course of such adaptation is well ...
• #### Modeling HIV quasispecies evolutionary dynamics ﻿

(2007-08-16)
• #### Modelling metaphor with attribute-based semantics ﻿

(2017-04-07)
One of the key problems in computational metaphor modelling is finding the optimal level of abstraction of semantic representations, such that these are able to capture and generalise metaphorical mechanisms. In this paper ...
• #### Modelling osteomyelitis ﻿

(2012-09-07)
• #### Models of Type Theory Based on Moore Paths ﻿

(Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, 2017-09-04)
This paper introduces a new family of models of intensional Martin-Löf type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path. By considering a particular ...
• #### A modular foreign function interface ﻿

Foreign function interfaces are typically organised monolithically, tying together the $\textit{specification}$ of each foreign function with the $\textit{mechanism }$ used to make the function available in the host language. ...