Universitat de Barcelona
Mostrando ítems 48-54 de 54
Wearable photo-cameras offer a hands-free way to record images from the camera- wearer perspective of daily experiences as they are lived, without the necessity to interrupt recording due to the device battery or storage ...
Complex systems can be understood as an entity composed by a large number of interactive elements whose emergent global behaviour cannot be derived from the local laws characterizing their constituents. The observables ...
[eng] This thesis explores various aspects of logic, encompassing provability logic, logical analysis of law, and formalization of both mathematics and software. We are particularly interested in the aspect of suitability, ...
This dissertation is devoted to developing modal logical tools that can be used in the field of proof theory and ordinal analysis. More precisely, we focus on the relation between strictly positive modal logics and both ...
Apart from this introductory chapter, the contents of the thesis is splitted among four more chapters. Chapters 2, 3 and 4 deal with the planar case, while chapter 5 deals with the 3D volume preserving case. More ...
Norms have been widely enacted in both human and agent societies to regulate the actions that individuals can perform. However, although legislators may have ethics in mind when establishing norms, moral values are seldom ...
An important result in Harmonic Analysis is the extrapolation theorem of Rubio de Francia. In its original version says that if T is a sublinear operator that is bounded in Lp0 pvq, for some p0 ě 1 and every v P Ap , then ...
