BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Matteo Rossi

Matteo Rossi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
cond-mat.str-elcond-mat.supr-conRoboticsFormal Languages and Automata TheoryLogic in Computer Sciencemath.NANumerical Analysisphysics.geo-phSoftware Engineering

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
9topics
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

9 published item(s)

preprint2022arXiv

SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport

Interoperability is a long-standing challenge slowing down the digitalization of mobility systems and the provision of full mobility-as-a-service offerings. This paper presents early results achieved by the SPRINT project (Semantics for PerfoRmant and scalable INteroperability of multimodal Transport), an integral part of the Shift2Rail IP4 work programme, in meeting the challenge. It introduces the conceptual architecture and describes the demonstrator implementation of the Interoperability Framework (IF), a solution designed to support servitization in the mobility domain in two directions: From the Travel Application perspective, the IF provides semantically-consistent abstractions of distributed ICT resources offered by Service Provider Companies, insulating them from the "mechanics" of operating remotely over networks and across multiple communication protocols and/or data formats; from the Service Provider Companies perspective, the IF allows leveraging their native ICT computing environment and resources as elements of an end-to-end integrated intermodal mobility solution, insulating them from the specifics of the customer front-end applications.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A Broken Translational Symmetry State in an Infinite-Layer Nickelate

A defining signature of strongly correlated electronic systems is the existence of competing phases with similar ground state energies, resulting in a rich phase diagram. While in the recently discovered nickelate superconductors, a high antiferromagnetic exchange energy has been reported, which implies the existence of strong electronic correlations, signatures of competing phases have not yet been observed. Here, we uncover a charge order (CO) in infinite-layer nickelates La1-xSrxNiO2 using resonant x-ray scattering across the Ni L-edge. In the parent compound, the CO arranges along the Ni-O bond direction with an incommensurate wave vector (0.344+/-0.002, 0) r.l.u., distinct from the stripe order in other nickelates which propagates along a direction 45 degree to the Ni-O bond. The CO resonance profile indicates that CO originates from the Ni 3d states and induces a parasitic charge modulation of La electrons. Upon doping, the CO diminishes and the ordering wave vector shifts toward a commensurate value of 1/3 r.l.u., indicating that the CO likely arises from strong correlation effects and not from Fermi surface nesting.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Doping-dependence of the electron-phonon coupling in two families of bilayer superconducting cuprates

While electron-phonon coupling (EPC) is crucial for Cooper pairing in conventional superconductors, its role in high-$T_c$ superconducting cuprates is debated. Using resonant inelastic x-ray scattering at the oxygen $K$-edge, we studied the EPC in Bi$_2$Sr$_2$CaCu$_2$O$_{8+δ}$ (Bi2212) and Nd$_{1+x}$Ba$_{2-x}$Cu$_3$O$_{7-δ}$ (NBCO) at different doping levels ranging from heavily underdoped ($p =0.07$) to overdoped ($p=0.21$). We analyze the data with a localized Lang-Firsov model that allows for the coherent excitations of two phonon modes. While electronic band dispersion effects are non-negligible, we are able to perform a study of the relative values of EPC matrix elements in these cuprate families. In the case of NBCO, the choice of the excitation energy allows us to disentangle modes related to the CuO$_3$ chains and the CuO$_2$ planes. Combining the results from the two families, we find the EPC strength decreases with doping at $\mathbf{q_\parallel}=(-0.25, 0)$ r.l.u., but has a non-monotonic trend as a function of doping at smaller momenta. This behavior is attributed to the screening effect of charge carriers. We also find that the phonon intensity is enhanced in the vicinity of the charge-density-wave (CDW) excitations while the extracted EPC strength appears to be less sensitive to their proximity. By performing a comparative study of two cuprate families, we are able to identify general trends in the EPC for the cuprates and provide experimental input to theories invoking a synergistic role for this interaction in $d$-wave pairing.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Reconstruction, with tunable sparsity levels, of shear-wave velocity profiles from surface wave data

The analysis of surface wave dispersion curves is a way to infer the vertical distribution of shear-wave velocity. The range of applicability is extremely wide going, for example, from seismological studies to geotechnical characterizations and exploration geophysics. However, the inversion of the dispersion curves is severely ill-posed and only limited efforts have been put into the development of effective regularization strategies. In particular, relatively simple smoothing regularization terms are commonly used, even when this is in contrast with the expected features of the investigated targets. To tackle this problem, stochastic approaches can be utilized, but they are too computationally expensive to be practical, at least, in the case of large surveys. Instead, within a deterministic framework, we evaluate the applicability of a regularizer capable of providing reconstructions characterized by tunable levels of sparsity. This adjustable stabilizer is based on the minimum support regularization, applied before on other kinds of geophysical measurements, but never on surface wave data. We demonstrate the effectiveness of this stabilizer on i) two benchmark - publicly available - datasets at crustal and near-surface scales, ii) an experimental dataset collected on a well-characterized site. In addition, we discuss a possible strategy for the estimation of the depth of investigation. This strategy relies on the integrated sensitivity kernel used for the inversion and calculated for each individual propagation mode. Moreover, we discuss the reliability, and possible caveats, of the direct interpretation of this particular estimation of the depth of investigation, especially in the presence of sharp boundary reconstructions.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A $j_\mathrm{eff} = 1/2$ pseudospinon continuum in CaIrO$_3$

In so-called $j_\mathrm{eff} = 1/2$ systems, including some iridates and ruthenates, the coherent superposition of $t_\mathrm{2g}$ orbitals in the ground state gives rise to hopping processes that strongly depend on the bond geometry. Resonant inelastic x-ray scattering (RIXS) measurements on CaIrO$_3$ reveal a prototypical $j_\mathrm{eff} = 1/2$ pseudospinon continuum, a hallmark of one-dimensional (1D) magnetic systems despite its three-dimensional crystal structure. The experimental spectra compare very well to the calculated magnetic dynamical structure factor of weakly coupled spin-1/2 chains. We attribute the onset of such quasi-1D magnetism to the fundamental difference in the magnetic interactions between the $j_\mathrm{eff} = 1/2$ pseudospins along the corner- and edge-sharing bonds in CaIrO$_3$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation

Human-Robot Collaboration (HRC) is rapidly replacing the traditional application of robotics in the manufacturing industry. Robots and human operators no longer have to perform their tasks in segregated areas and are capable of working in close vicinity and performing hybrid tasks -- performed partially by humans and by robots. We have presented a methodology in an earlier work [16] to promote and facilitate formally modeling HRC systems, which are notoriously safety-critical. Relying on temporal logic modeling capabilities and automated model checking tools, we built a framework to formally model HRC systems and verify the physical safety of human operator against ISO 10218-2 [10] standard. In order to make our proposed formal verification framework more appealing to safety engineers, whom are usually not very fond of formal modeling and verification techniques, we decided to couple our model checking approach with a 3D simulator that demonstrates the potential hazardous situations to the safety engineers in a more transparent way. This paper reports our co-simulation approach, using Morse simulator [4] and Zot model checker [14].

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Large polarons as key quasiparticles in SrTiO3 and SrTiO3-based heterostructures

Despite its simple structure and low degree of electronic correlation, SrTiO$_3$ (STO) features collective phenomena linked to charge transport and, ultimately, superconductivity, that are not yet fully explained. Thus, a better insight in the nature of the quasiparticles shaping the electronic and conduction properties of STO is needed. We studied the low energy excitations of bulk STO and of the LaAlO$_{3}$/SrTiO$_{3}$ two dimensional electron gas (2DEG) by Ti L$_3$ edge resonant inelastic x-ray scattering. In all samples, we find the hallmark of polarons in the form of intense $dd$+phonon excitations, and a decrease of the LO3-mode electron-phonon coupling when going from insulating to highly conducting STO single crystals and heterostructures. Both results are attributed to the dynamic screening of the large polaron self-induced polarization, showing that the low temperature physics of STO and STO-based 2DEGs is dominated by large polaron quasiparticles.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Mobile orbitons in Ca$_2$CuO$_3$: crucial role of the Hund's exchange

We investigate the Cu $L_3$ edge resonant inelastic x-ray scattering (RIXS) spectra of a quasi-1D antiferromagnet Ca$_2$CuO$_3$. In addition to the magnetic excitations, which are well-described by the two-spinon continuum, we observe two dispersive orbital excitations, the $3d_{xy}$ and the $3d_{yz}$ orbitons. We carry out a quantitative comparison of the RIXS spectra, obtained with two distinct incident polarizations, with a theoretical model. We show that any realistic spin-orbital model needs to include a finite, but realistic, Hund's exchange $J_H \approx 0.5$ eV. Its main effect is an increase in orbiton velocities, so that their theoretically calculated values match those observed experimentally. Even though Hund's exchange also mediates some interaction between spinon and orbiton, the picture of spin-orbit separation remains intact and describes orbiton motion in this compound.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Statistical Model Checking of Human-Robot Interaction Scenarios

Robots are soon going to be deployed in non-industrial environments. Before society can take such a step, it is necessary to endow complex robotic systems with mechanisms that make them reliable enough to operate in situations where the human factor is predominant. This calls for the development of robotic frameworks that can soundly guarantee that a collection of properties are verified at all times during operation. While developing a mission plan, robots should take into account factors such as human physiology. In this paper, we present an example of how a robotic application that involves human interaction can be modeled through hybrid automata, and analyzed by using statistical model-checking. We exploit statistical techniques to determine the probability with which some properties are verified, thus easing the state-space explosion problem. The analysis is performed using the Uppaal tool. In addition, we used Uppaal to run simulations that allowed us to show non-trivial time dynamics that describe the behavior of the real system, including human-related variables. Overall, this process allows developers to gain useful insights into their application and to make decisions about how to improve it to balance efficiency and user satisfaction.

0 citations0 reviewsNo code linkedOpen access