Researcher profile

Pedro Teixeira

Pedro Teixeira contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

Aveiro Tech City Living Lab: A Communication, Sensing and Computing Platform for City Environments

This article presents the deployment and experimentation architecture of the Aveiro Tech City Living Lab (ATCLL) in Aveiro, Portugal. This platform comprises a large number of Internet-of-Things devices with communication, sensing and computing capabilities. The communication infrastructure, built on fiber and Millimeter-wave (mmWave) links, integrates a communication network with radio terminals (WiFi, ITS-G5, C-V2X, 5G and LoRa(WAN)), multiprotocol, spread throughout 44 connected points of access in the city. Additionally, public transportation has also been equipped with communication and sensing units. All these points combine and interconnect a set of sensors, such as mobility (Radars, Lidars, video cameras) and environmental sensors. Combining edge computing and cloud management to deploy the services and manage the platform, and a data platform to gather and process the data, the living lab supports a wide range of services and applications: IoT, intelligent transportation systems and assisted driving, environmental monitoring, emergency and safety, among others. This article describes the architecture, implementation and deployment to make the overall platform to work and integrate researchers and citizens. Moreover, it showcases some examples of the performance metrics achieved in the city infrastructure, the data that can be collected, visualized and used to build services and applications to the cities, and, finally, different use cases in the mobility and safety scenarios.

preprint2022arXiv

Bernstein's inequality and holonomicity for certain singular rings

In this manuscript we prove the Bernstein inequality and develop the theory of holonomic D-modules for rings of invariants of finite groups in characteristic zero, and for strongly F-regular finitely generated graded algebras with FFRT in prime characteristic. In each of these cases, the ring itself, its localizations, and its local cohomology modules are holonomic. We also show that holonomic D-modules, in this context, have finite length. We obtain these results using a more general version of Bernstein filtrations.

preprint2021arXiv

Bernstein-Sato functional equations, $V$-filtrations, and multiplier ideals of direct summands

This paper investigates the existence and properties of a Bernstein-Sato functional equation in nonregular settings. In particular, we construct $D$-modules in which such formal equations can be studied. The existence of the Bernstein-Sato polynomial for a direct summand of a polynomial over a field is proved in this context. It is observed that this polynomial can have zero as a root, or even positive roots. Moreover, a theory of $V$-filtrations is introduced for nonregular rings, and the existence of these objects is established for what we call differentially extensible summands. This family of rings includes toric, determinantal, and other invariant rings. This new theory is applied to the study of multiplier ideals and Hodge ideals of singular varieties. Finally, we extend known relations among the objects of interest in the smooth case to the setting of singular direct summands of polynomial rings.

preprint2020arXiv

Merkle-CRDTs: Merkle-DAGs meet CRDTs

We study Merkle-DAGs as a transport and persistence layer for Conflict-Free Replicated Data Types (CRDTs), coining the term Merkle-CRDTs and providing an overview of the different concepts, properties, advantages and limitations involved. We show how Merkle-DAGs can act as logical clocks giving Merkle-CRDTs the potential to greatly simplify the design and implementation of convergent data types in systems with weak messaging layer guarantees and a very large number of replicas. Merkle-CRDTs can leverage highly scalable distributed technologies like DHTs and PubSub algorithms running underneath to take advantage of the security and de-duplication properties of content-addressing. Examples of such content-oriented systems could include peer-to-peer content exchange and synchronisation applications between opportunistically connected mobile devices, IoT devices or user applications running in a web browser.

preprint2018arXiv

On the conservative pasting lemma

Several perturbation tools are established in the volume preserving setting allowing for the pasting, extension, localized smoothing and local linearization of vector fields. The pasting and local linearization hold in all classes of regularity ranging from $C^{1}$ to $C^{\infty}$ (Hölder included). For diffeomorphisms, a conservative linearized version of Franks lemma is proved in the $C^{r,α}$ ($r\in\mathbb{Z}^+$, $0<α<1$) and $C^{\infty}$ settings, the resulting diffeomorphism having the same regularity as the original one.

preprint2010arXiv

Syzygy gap fractals--I. Some structural results and an upper bound

k is a field of characteristic p>0, and l_1,...,l_n are linear forms in k[x,y]. Intending applications to Hilbert--Kunz theory, to each triple C=(F,G,H) of nonzero homogeneous elements of k[x,y] we associate a function delta_C that encodes the &#34;syzygy gaps&#34; of F^q, G^q, and H^q*l_1^{a_1}*...*l_n^{a_n}, for all q=p^e and a_i<= q. These are close relatives of functions introduced in &#34;p-Fractals and power series--I&#34; [P. Monsky, P. Teixeira, p-Fractals and power series--I. Some 2 variable results, J. Algebra 280 (2004) 505--536]. Like their relatives, the delta_C exhibit surprising self-similarity related to &#34;magnification by p,&#34; and knowledge of their structure allows the explicit computation of various Hilbert--Kunz functions. We show that these &#34;syzygy gap fractals&#34; are determined by their zeros and have a simple behavior near their local maxima, and derive an upper bound for their local maxima which has long been conjectured by Monsky. Our results will allow us, in a sequel to this paper, to determine the structure of the delta_C by studying the vanishing of certain determinants.