Alejandro Ríos
YOU?
Author Swipe
View article: A Case Study on Implementing Lean Manufacturing and TPM to Improve Quality and Efficiency in Peruvian Garment Manufacturing SMEs
A Case Study on Implementing Lean Manufacturing and TPM to Improve Quality and Efficiency in Peruvian Garment Manufacturing SMEs Open
View article: Fitted avatars: automatic skeleton adjustment for self-avatars in virtual reality
Fitted avatars: automatic skeleton adjustment for self-avatars in virtual reality Open
In the era of the metaverse, self-avatars are gaining popularity, as they can enhance presence and provide embodiment when a user is immersed in Virtual Reality. They are also very important in collaborative Virtual Reality to improve comm…
View article: Walking with virtual humans : understanding human response to virtual humanoids' appearance and behaviour while navigating in immersive VR
Walking with virtual humans : understanding human response to virtual humanoids' appearance and behaviour while navigating in immersive VR Open
In this thesis, we present a set of studies whose results have allowed us to analyze how to improve the realism, navigation, and behaviour of the avatars in an immersive virtual reality environment. In our simulations, participants must pe…
View article: The Impact of Animations in the Perception of a Simulated Crowd
The Impact of Animations in the Perception of a Simulated Crowd Open
View article: Avatars rendering and its effect on perceived realism in Virtual Reality
Avatars rendering and its effect on perceived realism in Virtual Reality Open
Immersive virtual environments have proven to be a plausible platform to be used by multiple disciplines to simulate different types of scenarios and situations at a low cost. When participants are immersed in a virtual environment experie…
View article: Pure Pattern Calculus à la de Bruijn
Pure Pattern Calculus à la de Bruijn Open
It is well-known in the field of programming languages that dealing with variable names and binders may lead to conflicts such as undesired captures when implementing interpreters or compilers. This situation has been overcome by resorting…
View article: Follower behavior under stress in immersive VR
Follower behavior under stress in immersive VR Open
View article: The Bang Calculus Revisited
The Bang Calculus Revisited Open
Call-by-Push-Value (CBPV) is a programming paradigm subsuming both Callby-Name (CBN) and Call-by-Value (CBV) semantics. The essence of this paradigm is captured by the Bang Calculus, a (concise) term language connecting CBPV and Linear Log…
View article: Libro de resúmenes del ECI 2016 de verano
Libro de resúmenes del ECI 2016 de verano Open
The estimation of material properties and distributed sources in participating mediua, where emission, absorption and scattering phenomena takes place, has been accomplished with success through the solution of inverse problems in radiativ…
View article: The Bang Calculus Revisited
The Bang Calculus Revisited Open
View article: Projections for Infinitary Rewriting
Projections for Infinitary Rewriting Open
View article: On abstract normalisation beyond neededness
On abstract normalisation beyond neededness Open
View article: Fireman Rescue: A Serious Game for Fire Fighting Training
Fireman Rescue: A Serious Game for Fire Fighting Training Open
This paper introduces a Serious Game that will be used as a tool for training fire fighting students at the Public Security Institute of Catalonia. The game is played in a virtual environment free of real hazards and/or dangers with the co…
View article: Projections for infinitary rewriting
Projections for infinitary rewriting Open
Proof terms in term rewriting are a representation means for reduction sequences, and more in general for contraction activity, allowing to distinguish e.g simultaneous from sequential reduction. Proof terms for finitary, first-order, left…