Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Proposition

Related publications (9)

Towards a Radical Housing Responsibility

Luca Giovanni Pattaroni, Ifigeneia Dimitrakou

Responsibility—as an analytic or topic of political debate—is out of vogue in critical housing studies. Rather than offering progressive potential, the call for responsibility has been seen to foster neoliberal governance, racial structural violence, and f ...

2023

Formula Normalizations in Verification

Viktor Kuncak, Simon Guilloud, Dragana Milovancevic, Mario Bucev

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2023

An Ink–and–Paper Automaton: The Conceptual Mechanization of Cognition and the Practical Automation of Reasoning in Leibniz’s De Affectibus (1679)

Simon François Dumas Primbault

On ten loose handwritten folios dating back from April 1679, Leibniz gradually devised, in the course of three days, a full-blown theory of thought that nonetheless remained unpublished and still has received little attention from scholars. Conceiving of a ...

2020

A template for constructing Bayesian networks in forensic biology cases when considering activity level propositions

Christophe Champod

The hierarchy of propositions has been accepted amongst the forensic science community for some time. It is also accepted that the higher up the hierarchy the propositions are, against which the scientist are competent to evaluate their results, the more d ...

2018

Configuration Logics: Modelling Architecture Styles

Simon Bliudze, Joseph Sifakis, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Springer Int Publishing Ag2015

Interpolation for Synthesis on Unbounded Domains

Viktor Kuncak, Régis William Blanc

Synthesis procedures compile relational specifications into functions. In addition to bounded domains, synthesis procedures are applicable to domains such as mathematical integers, where the domain and range of relations and synthesized code is unbounded. ...

Ieee2013

Aligning Value and Implementation in Service Design: A Systemic Approach

Alain Wegmann, Gil Regev, Arash Golnam

The promise of service design is to enable a service supplier to prosper by delivering continuous value to customers. This prosperity is of strategic value to the service supplier. There is value in a service for both the service supplier and its service c ...

2012

Perceptual learning of bisection stimuli under roving: slow and largely specific

Michael Herzog

In perceptual learning, performance often improves within a short time if only one stimulus variant is presented, such as a line bisection stimulus with one outer-line-distance. However, performance stagnates if two bisection stimuli with two outer-line-di ...

Association for Research in Vision and Ophthalmology (ARVO)2008

Partner Modeling is Mutual

Pierre Dillenbourg, Nicolas Nova

Collaborative learning has been hypothesized to be related to the cognitive effort engaged by co-learners to build a shared understanding. The process of constructing this shared understanding requires each team member to build some kind of representation ...

2007