Presentations

UCXXI Workshop - Phase III

The main topics of the second workshop/laboratory are the Construction of 3D models and their integration into 3D multiuser environments, Collaborative experimentation into 3D interactive multiuser environments, and 2D/3D multimedia creation for mixed 3D multiuser environments shared on the Internet. This second Prague workshop will be directed by Pascal and Marie Silondi and will offer an experimental and collaborative week, multiplying audiovisual, interactive and conceptual experiences within 3D multiuser environments. The workshop is related to Phase 3 of the “Underground city XXI” project. The action is proposed by Libat and Prague College, and will start Saturday 03.04.2010 and end Saturday 10.04.2010. It will mainly take place at the Prague College Studios.

Added on 29.03.2010 by Underground City

Rating: 1  2  3  4  5 
by 6 people

Esprit article

Added on 12.03.2010 by Marie Silondi

Rating: 1  2  3  4  5 
by 7 people

George Allen on UCXXI project

Prague College Art&Design lecturer writes an insightful article about Underground City project on Prague College

Added on 03.03.2010 by Underground City

Rating: 1  2  3  4  5 
by 21 people

String Rewriting and Proof Complexity: an interpretation of Resolution

In this paper we give a new interpretation using string rewriting systems of the proof system Resolution in its tree-like and sequence-like versions. Also we give a geometric meaning to the interpretation using planar diagrams. [preprint available in pdf]

Added on 14.01.2010 by Stefano Cavagnetto

Rating: 1  2  3  4  5 
by 38 people

The Lengths of Proofs: Kreisel’s conjecture and Godel’s speed-up theorem

We collect and compare several results which have been obtained so far in the attempts to prove a statement conjectured by Kreisel, about the lengths of proofs. We also survey several results regarding a speed-up theorem announced by Goedel in an abstract published in 1936. Finally we connect this to Kreisel's conjecture. [preprint available in pdf]

Added on 14.01.2010 by Stefano Cavagnetto

Rating: 1  2  3  4  5 
by 30 people

Applications of Propositional Logic to Cellular Automata

In this paper we give a new proof of Richardson’s theorem : a global function G_{A} of a cellular automaton A is injective if and only if the inverse of G_{A} is a global function of a cellular automaton. More- over, we show a way how to construct the inverse cellular automaton using the method of feasible interpolation. We also solve two problems regarding complexity of cellular automata formulated by Bruno Durand.[preprint available in pdf]

Added on 14.01.2010 by Stefano Cavagnetto

Rating: 1  2  3  4  5 
by 30 people

The Conception of the Self in Multiple Cyber Worlds

In this paper we discuss many issues about personal identity and we propose a model of the Self in the Cyberspace based on information theory. This work combines some concepts from information theory, Dennett theory of multiple drafts with the concept of liminod as proposed by Victor Tucker in 1964.[preprint available in pdf]

Added on 14.01.2010 by Stefano Cavagnetto

Rating: 1  2  3  4  5 
by 18 people

UCXXI Prague Workshop 12.-18.12

Phase 1 workshop of UNDERGROUND CITY XXI takes place in Prague at Prague College Studios 12.-18.12.

Added on 11.12.2009 by Underground City

Rating: 1  2  3  4  5 
by 16 people

The Conception of the Self in Multiple Cyber Worlds

Stefano Cavagnetto and Bruce Gahir from Prague College at 7th International Conference Cyberspace 2009 in Brno, Czech Republic, 20‐21 November 2009

Added on 18.11.2009 by Underground City

Rating: 1  2  3  4  5 
by 27 people

BA(Hons)Dissertation:Do telecommunication companies in Prague Advertise Effectively?

BA Dissertation work

Added on 17.11.2009 by Aya Aitmambetova

Rating: 1  2  3  4  5 
by 25 people

1 2 3 4 5 6