Publications associées à Proposition (philosophie)

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, Mario Bucev, Dragana Milovancevic

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, Alex Biedermann

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

Joseph Sifakis, Simon Bliudze, 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

Gil Regev, Alain Wegmann, Arash Golnam, Philippe Laprade, Julien Ramboz

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, Thomas Otto

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 Ophthalmology2008

Partner Modeling is Mutual

Pierre Dillenbourg, Nicolas Nova, Mirweis Sangin, Gaëlle Molinari

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