Sciweavers

AMAI
2015
Springer
8 years 8 months ago
Formalizing complex plane geometry
Deep connections between complex numbers and geometry had been well known and carefully studied centuries ago. Fundamental objects that are investigated are the complex plane (usua...
Filip Maric, Danijela Petrovic
AMAI
2015
Springer
8 years 8 months ago
A Singular web service for geometric computations
Francisco Botana, Zoltán Kovács
AMAI
2015
Springer
8 years 8 months ago
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
This work presents a formalization of the discrete model of the continuum introduced by Harthong and Reeb [16], the HarthongReeb line. This model was at the origin of important dev...
Nicolas Magaud, Agathe Chollet, Laurent Fuchs
AMAI
2015
Springer
8 years 8 months ago
Lang's Universal molecule algorithm
We present a Java implementation of Lang’s Universal Molecule algorithm, alongside with a visualization of its interconnected structures: the input metric tree and compatible co...
John Christopher Bowers, Ileana Streinu
AMAI
2015
Springer
8 years 8 months ago
Lattice-based and topological representations of binary relations with an application to music
Abstract Formal concept analysis associates a lattice of formal concepts to a binary relation. The structure of the relation can then be described in terms of lattice theory. On th...
Anton Freund, Moreno Andreatta, Jean-Louis Giavitt...
AIS
2015
Springer
8 years 8 months ago
Simulating effects of signage, groups, and crowds on emergent evacuation patterns
Studies of past emergency events have revealed that occupants’ behaviors, egress signage system, local geometry, and environmental constraints affect crowd movement and govern th...
Mei Ling Chu, Paolo Parigi, Jean-Claude Latombe, K...
AIS
2015
Springer
8 years 8 months ago
A social contract for virtual institutions
Computer-mediated social groups, often known as virtual communities, are now giving a more durable and more abstract phenomenon: the emergence of virtual institutions. These social...
Daniel Memmi
AIS
2015
Springer
8 years 8 months ago
Information technology as social phenomenon
Computer science is of course first of all a technological domain, but it has also become an important social phenomenon as well. Information processing techniques fulfill crucial ...
Daniel Memmi