Presentations

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 10 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 16 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 17 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 15 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 26 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 8 people

BA (Hons) - Dissertation 2009

Corporate culture and its influence on motivation of employees

Added on 07.11.2009 by Sarka Smrckova

Rating: 1  2  3  4  5 
by 7 people

Guerrilla Marketing Online

Innovative Internet Marketing | Become competitive on Internet. Full version available now on http://www.guerrillaonline.com

Added on 05.11.2009 by Vit Horky

Rating: 1  2  3  4  5 
by 9 people

BA (Hons) - Dissertation 2009

How to train and motivate employees in the tourist market in Prague?

Added on 03.11.2009 by Simona Rehakova

Rating: 1  2  3  4  5 
by 7 people

Cyberspace 2009 Conference

Abstract for a "Philosophy of Cyberspace" by Stefano Cavagnetto and Bruce Gahir. This paper contributes to work relating to identity in virtual worlds, which is a theme running through Underground City XXI project.

Added on 29.10.2009 by Underground City

Rating: 1  2  3  4  5 
by 19 people

1 2 3 4 5 6