All

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

Interactive Media Final Show 2010

The Prague College Interactive Media Department would like to announce a diploma show of our latest graduates! The show will be held from January 11 – 14 in the Prague College Studios, Polská 26 (entrance from Buděčská street). We would like to invite you to the vernissage which will take place on January 11 from 19:00 at The Studios The Interactive Media Final Show 2010 will present the work of 3 students from Czech Republic, Sweden and Slovakia. You will have a chance to see various 2D/3D animations, videos, printed graphics, web designs, photos and interactive installations based on midi protocols including brainwaves interface. Find out more about the show and the graduates ----> http://www.finalshow.info

Added on 11.01.2010 by Events Prague College

Rating: 1  2  3  4  5 
by 10 people

UCXXI Visual identity by Graphic Design students

During fall semester students of Graphic Design worked on visual identity for Underground City XXI project, specifically for the Workshop Phase 1 that took place at Prague College Studios in December. Design of Milan Nedved was used as the official presentation for the workshop and it included poster, fliers and web-banner.

Added on 06.01.2010 by Underground City

Rating: 1  2  3  4  5 
by 37 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

UCXXI is now MULTI-USERs using the UNITY Game Engine

Thanks to Marko Puskaric and Rajmond Berisha hard work on the unity server programming, we are happy to present the first screen shots of UCXXI tunnels as multiuser Cyberspace in the Unity game engine ! Great Job Messieurs. Pascal and Stefano ;)

Added on 10.12.2009 by Underground City

Rating: 1  2  3  4  5 
by 14 people

UCXXI Workshop poster draft

This is draft of poster for the 1st UCXXI workshop. Would appreciate any thoughts on this one (need your feedback). Gracias.

Added on 07.12.2009 by Dmytro Strapchev

Rating: 1  2  3  4  5 
by 11 people

Knight Ball 3D Animation

3D Animation made for the IM Design & Authoring Class. Used Blender 2.49b.

Added on 05.12.2009 by Juan Dixon

Rating: 1  2  3  4  5 
by 5 people

1 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 25