Silva, João, Pinto, Rui, Carvalho, Tiago, Botelho, Francisco, Silva, Pedro, Oliveira, Rui, ...
Abstract Background Botulinum Toxin Type-A (BoNT/A) intraprostatic injection can induce prostatic involution and improve LUTS and urinary flow in patients with Benign Prostatic Enlargement (BPE)....
Automorphic orbits in free groups: words versus subgroups (2009)
We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under...
Automorphic orbits in free groups: words versus subgroups (2009)
We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under...
On finite-index extensions of subgroups of free groups (2009)
We study the lattice of finite-index extensions of a given finitely generated subgroup $H$ of a free group $F$. This lattice is finite and we give a combinatorial characterization of its greatest...
On finite-index extensions of subgroups of free groups (2009)
We study the lattice of finite-index extensions of a given finitely generated subgroup $H$ of a free group $F$. This lattice is finite and we give a combinatorial characterization of its greatest...
Automorphic orbits in free groups: words versus subgroups (2008)
We show that the following problems are decidable in rank 2 free groups: does a given finitely generated subgroup H contain primitive elements? and does H meet the automorphic orbit of a given word...
On finite-index extensions of subgroups of free groups (2008)
We study the lattice of finite-index extensions of a given finitely generated subgroup $H$ of a free group $F$. This lattice is finite and we give a combinatorial characterization of its greatest...
BUILD AN INTERFACE SETP BY STEP (2008)
There is an increasing demand for software that matches real user needs in a working environment. Human being always had de necessity to increase their knowledge about the world changes and...
Vision, Kinematics and Game strategy in Multi-Robot Systems like MSL RoboCup (2008)
O Ribeiro, Ivo Moutinho, Pedro Silva, Carlos Fraga, Nino Pereira
Abstract. In Multi-Robot systems like the RoboCup football challenge, there are a small number of key issues which are of extreme relevance for the successfulness of the final application. In MSL...
New improvements of MINHO Team for RoboCup Middle Size League in 2003 (2008)
O Ribeiro, Paulo Braga, Jorge Monteiro, Ivo Moutinho, Pedro Silva, Vitor Silva
Abstract. Although this research group has started a robotic football team in 1998, MINHO team has been participating in RoboCup only since 1999. The robots were completely developed by the...
Controlling Omni-directional Wheels of a MSL RoboCup Autonomous Mobile Robot (2008)
O Ribeiro, Ivo Moutinho, Pedro Silva, Carlos Fraga, Nino Pereira
Abstract. Autonomous Mobile Locomotion is of extreme importance in RoboCup robots. Even though in 2050 the robotic team will very likely use legs rather than wheels, at the moment all teams on middle...
Giménez Lugo, Jeannilet Carolina, Silva, Pedro, Cosenza, Mario
Mecanografiado Tesis (Lic. en Física) -- Universidad de Los Andes, Facultad de Ciencias, Departamento de Física, Mérida, 2008 Incluye bibliografía
On an algorithm to decide whether a free group is a free factor of another (2008)
We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths...
A Mahler's theorem for functions from words to integers (2008)
In this paper, we prove an extension of Mahler's theorem, a celebrated result of $p$-adic analysis. Mahler's original result states that a function from $N$ to $Z$ is uniformly continuous for the...
A Mahler's theorem for functions from words to integers (2008)
In this paper, we prove an extension of Mahler's theorem, a celebrated result of $p$-adic analysis. Mahler's original result states that a function from $N$ to $Z$ is uniformly continuous for the...
On an algorithm to decide whether a free group is a free factor of another (2008)
We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths...
On finite-index extensions of subgroups of free groups (2008)
We study the lattice of finite-index extensions of a given finitely generated subgroup $H$ of a free group $F$. This lattice is finite and we give a combinatorial characterization of its greatest...
On finite-index extensions of subgroups of free groups (2008)
We study the lattice of finite-index extensions of a given finitely generated subgroup $H$ of a free group $F$. This lattice is finite and we give a combinatorial characterization of its greatest...
Automorphic orbits in free groups: words versus subgroups (2008)
We show that the following problems are decidable in rank 2 free groups: does a given finitely generated subgroup H contain primitive elements? and does H meet the automorphic orbit of a given word...
Automorphic orbits in free groups: words versus subgroups (2008)
We show that the following problems are decidable in rank 2 free groups: does a given finitely generated subgroup H contain primitive elements? and does H meet the automorphic orbit of a given word...
A Mahler's theorem for functions from words to integers (2008)
In this paper, we prove an extension of Mahler's theorem, a celebrated result of p-adic analysis. Mahler's original result states that a function from N to Z is uniformly continuous for the p-adic...
A Mahler's theorem for functions from words to integers (2008)
In this paper, we prove an extension of Mahler's theorem, a celebrated result of p-adic analysis. Mahler's original result states that a function from N to Z is uniformly continuous for the p-adic...
Giménez Lugo, Jeannilet Carolina, Silva, Pedro, Cosenza, Mario
Mecanografiado
Giménez Lugo, Jeannilet Carolina, Silva, Pedro, Cosenza, Mario
Mecanografiado
Test beam operation of the CMS calorimeter trigger synchronization boards (2007)
David, André, Almeida, Nuno, Da Silva, Jose, Silva, Pedro, Varela, Joao
The CMS experiment uses information from its electromagnetic and hadronic calorimeters and muon detectors to decide whether to readout the whole detector. For such a task to be successful, all...
Implementação de um compressor JPEG em FPGA (2007)
Santos, Nuno, Silva, Pedro, Esteves, António
Este documento descreve a implementação com pipeline de um compressor JPEG em FPGA. Para isso, apresenta-se a funcionalidade e implementação dos blocos principais da arquitectura do compressor. O...
Accelerometer cut-points and youth physical activity prevalence (2007)
Jorge Mota, Mónica Valente, Luísa Aires, Pedro Silva, Maria Santos, José Ribeiro
On an algorithm to decide whether a free group is a free factor of another (2006)
We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths...
On an algorithm to decide whether a free group is a free factor of another (2006)
We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths...
On an algorithm to decide whether a free group is a free factor of another (2006)
We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths...
On an algorithm to decide whether a free group is a free factor of another (2006)
We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths...
Vision, kinematics and game strategy in multi-robot systems like MSL RoboCup (2005)
Ribeiro, António Fernando, Moutinho, Ivo, Silva, Pedro, Fraga, Carlos, Pereira, Nino
In Multi-Robot systems like the RoboCup football challenge, there are a small number of key issues which are of extreme relevance for the successfulness of the final application. In MSL RoboCup these...
A topological approach to transductions (2005)
This paper is a contribution to the mathematical foundations of the theory of automata. We give a topological characterization of the transductions ? from a monoid M into a monoid N, such that if R...
A topological approach to transductions (2005)
This paper is a contribution to the mathematical foundations of the theory of automata. We give a topological characterization of the transductions ? from a monoid M into a monoid N, such that if R...
Three omni-directional wheels control on a mobile robot (2004)
Ribeiro, António Fernando, Moutinho, Ivo, Silva, Pedro, Fraga, Carlos, Pereira, Nino
Traditional two wheels differential drive normally used on mobile robots have manoeuvrability limitations and take time to sort out. Most teams use two driving wheels (with one or two cast wheels),...
O remate de futebol: caracterização biomecânica e considerações para o treino da força rápida (2004)
Santos Martínez, Pedro, Silva, Pedro
O estudo do remate no futebol deve considerá-lo como um gesto técnico de grande complexidade motora bem como um sistema aberto baseado nas leis da termodinâmica. Com este artigo pretendemos...
Neste artigo fazemos uma breve revisão da literatura sobre a temática da Avaliação Metabólica. Reportamo-nos aos ergómetros e aos expirómetros bem como ao significado de determinados...
O remate de futebol: caracterização biomecânica e considerações para o treino da força rápida (2004)
Santos Martínez, Pedro, Silva, Pedro
O estudo do remate no futebol deve considerá-lo como um gesto técnico de grande complexidade motora bem como um sistema aberto baseado nas leis da termodinâmica. Com este artigo pretendemos...
Neste artigo fazemos uma breve revisão da literatura sobre a temática da Avaliação Metabólica. Reportamo-nos aos ergómetros e aos expirómetros bem como ao significado de determinados...
Controlling omni-directional Wheels of a MSL RoboCup autonomous mobile robot (2004)
Ribeiro, António Fernando, Moutinho, Ivo, Silva, Pedro, Fraga, Carlos, Pereira, Nino
Autonomous Mobile Locomotion is of extreme importance in RoboCup robots. Even though in 2050 the robotic team will very likely use legs rather than wheels, at the moment all teams on middle size...
MINHO robot football team for 2003 (2004)
Ribeiro, Fernando, Braga, Paulo, Monteiro, Jorge, Moutinho, Ivo, Silva, Pedro, Silva, Victor
Although this research group has started a robotic football team in 1998, MINHO team has been participating in RoboCup only since 1999. The robots were completely developed by the undergraduate team...
MINHO autonomous mobile robot football team (2003)
Ribeiro, Fernando, Braga, Paulo, Silva, Pedro, Martinho, Ivo, Monteiro, Jorge, Silva, Victor
Silva, Pedro, Oliveira, Gonçalo
O salto de impulsão vertical é uma acção motora bastante importante em várias modalidades desportivas. No futebol, este movimento faz parte das técnicas de guarda-redes e da técnica de...
Silva, Pedro, Oliveira, Gonçalo
O salto de impulsão vertical é uma acção motora bastante importante em várias modalidades desportivas. No futebol, este movimento faz parte das técnicas de guarda-redes e da técnica de...
New improvements of MINHO Team for RoboCup middle size league in 2003 (2003)
Ribeiro, António Fernando, Braga, Paulo, Monteiro, Jorge, Moutinho, Ivo, Silva, Pedro, Silva, Victor
Although this research group has started a robotic football team in 1998, MINHO team has been participating in RoboCup only since 1999. The robots were completely developed by the undergraduate team...
Dilatonic Randall-Sundrum Theory and renormalisation group (2000)
Gomez, Cesar, Janssen, Bert, Silva, Pedro
We extend Randall-Sundrum dynamics to non-conformal metrics corresponding to non-constant dilaton. We study the appareance of space-time naked singularities and the renormalization group evolution of...
Resonancia paramagnética electrónica en el sistema MnIn2- VI4 (0000)
RESUMEN Se reportan medidas de Resonancia Paramagnética Electrónica (RPE) en el sistema Semiconductor Semimagnético Diluido (SMD) MnIn2-VI4 (VI =3D S, Se. Te). Se estudia el comportamiento del...
Resonancia paramagnética electrónica en el sistema MnIn2- VI4
RESUMEN Se reportan medidas de Resonancia Paramagnética Electrónica (RPE) en el sistema Semiconductor Semimagnético Diluido (SMD) MnIn2-VI4 (VI =3D S, Se. Te). Se estudia el comportamiento del...