-
And this is where we fu***d up! Lessons learned from Participatory Design in Digital Civic Initiatives
Authors:
Clara Rosa Cardoso,
Sarah Rüller,
Ana O Henriques,
Anna R L Carter,
Markus Rohde
Abstract:
Participatory design in digital civics aims to foster mutual learning and co-creation between public services and citizens. However, rarely do we collectively explore the challenges and failures we experience within PD and digital civics, to enable us to grow as a community. This workshop will explore real-world experiences that had to adapt to unforeseen circumstances. Through case presentations…
▽ More
Participatory design in digital civics aims to foster mutual learning and co-creation between public services and citizens. However, rarely do we collectively explore the challenges and failures we experience within PD and digital civics, to enable us to grow as a community. This workshop will explore real-world experiences that had to adapt to unforeseen circumstances. Through case presentations and thematic group discussions, participants will reflect on the challenges faced, the causes that led to these challenges, and collaboratively problem-solve effective solutions. Furthermore, we aim to discuss well-being impact on researchers and communities when faced with these obstacles, the strategies participants use to overcome them and how this can be fed back into the digital civics community. By that, the workshop seeks to foster dialogue, reflection, and collective learning, empowering participants with insights to navigate complexities effectively and promote resilient design practices in digital civics.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
Low-amplitude solar-like oscillations in the K5 V star $\varepsilon$ Indi A
Authors:
Mia S. Lundkvist,
Hans Kjeldsen,
Timothy R. Bedding,
Mark J. McCaughrean,
R. Paul Butler,
Ditte Slumstrup,
Tiago L. Campante,
Conny Aerts,
Torben Arentoft,
Hans Bruntt,
Cátia V. Cardoso,
Fabien Carrier,
Laird M. Close,
João Gomes da Silva,
Thomas Kallinger,
Robert R. King,
Yaguang Li,
Simon J. Murphy,
Jakob L. Rørsted,
Dennis Stello
Abstract:
We have detected solar-like oscillations in the mid K-dwarf $\varepsilon$ Indi A, making it the coolest dwarf to have measured oscillations. The star is noteworthy for harboring a pair of brown dwarf companions and a Jupiter-type planet. We observed $\varepsilon$ Indi A during two radial velocity campaigns, using the high-resolution spectrographs HARPS (2011) and UVES (2021). Weighting the time se…
▽ More
We have detected solar-like oscillations in the mid K-dwarf $\varepsilon$ Indi A, making it the coolest dwarf to have measured oscillations. The star is noteworthy for harboring a pair of brown dwarf companions and a Jupiter-type planet. We observed $\varepsilon$ Indi A during two radial velocity campaigns, using the high-resolution spectrographs HARPS (2011) and UVES (2021). Weighting the time series, we computed the power spectra and established the detection of solar-like oscillations with a power excess located at $5265 \pm 110 \ μ$Hz -- the highest frequency solar-like oscillations so far measured in any star. The measurement of the center of the power excess allows us to compute a stellar mass of $0.782 \pm 0.023 \ M_\odot$ based on scaling relations and a known radius from interferometry. We also determine the amplitude of the peak power and note that there is a slight difference between the two observing campaigns, indicating a varying activity level. Overall, this work confirms that low-amplitude solar-like oscillations can be detected in mid-K type stars in radial velocity measurements obtained with high-precision spectrographs.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
Improved modelling of SEP event onset within the WSA-Enlil-SEPMOD framework
Authors:
Erika Palmerio,
Janet G. Luhmann,
M. Leila Mays,
Ronald M. Caplan,
David Lario,
Ian G. Richardson,
Kathryn Whitman,
Christina O. Lee,
Beatriz Sánchez-Cano,
Nicolas Wijsen,
Yan Li,
Carlota Cardoso,
Marco Pinto,
Daniel Heyner,
Daniel Schmid,
Hans-Ulrich Auster,
David Fischer
Abstract:
Multi-spacecraft observations of solar energetic particle (SEP) events not only enable a deeper understanding and development of particle acceleration and transport theories, but also provide important constraints for model validation efforts. However, because of computational limitations, a given physics-based SEP model is usually best-suited to capture a particular phase of an SEP event, rather…
▽ More
Multi-spacecraft observations of solar energetic particle (SEP) events not only enable a deeper understanding and development of particle acceleration and transport theories, but also provide important constraints for model validation efforts. However, because of computational limitations, a given physics-based SEP model is usually best-suited to capture a particular phase of an SEP event, rather than its whole development from onset through decay. For example, magnetohydrodynamic (MHD) models of the heliosphere often incorporate solar transients only at the outer boundary of their so-called coronal domain -- usually set at a heliocentric distance of 20-30 $R_{\odot}$. This means that particle acceleration at CME-driven shocks is also computed from this boundary onwards, leading to simulated SEP event onsets that can be many hours later than observed, since shock waves can form much lower in the solar corona. In this work, we aim to improve the modelled onset of SEP events by inserting a "fixed source" of particle injection at the outer boundary of the coronal domain of the coupled WSA-Enlil 3D MHD model of the heliosphere. The SEP model that we employ for this effort is SEPMOD, a physics-based test-particle code based on a field line tracer and adiabatic invariant conservation. We apply our initial tests and results of SEPMOD's fixed-source option to the 2021 October 9 SEP event, which was detected at five well-separated locations in the inner heliosphere -- Parker Solar Probe, STEREO-A, Solar Orbiter, BepiColombo, and near-Earth spacecraft.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Strong magnetic proximity effect in Van der Waals heterostructures driven by direct hybridization
Authors:
C. Cardoso,
A. T. Costa,
A. H. MacDonald,
J. Fernández-Rossier
Abstract:
We propose a new class of magnetic proximity effects based on the spin dependent hybridization between the electronic states at the Fermi energy in a non-magnetic conductor and the narrow spin split bands of a ferromagnetic insulator. Unlike conventional exchange proximity, we show this hybridization proximity effect has a very strong influence on the non-magnetic layer and can be further modulate…
▽ More
We propose a new class of magnetic proximity effects based on the spin dependent hybridization between the electronic states at the Fermi energy in a non-magnetic conductor and the narrow spin split bands of a ferromagnetic insulator. Unlike conventional exchange proximity, we show this hybridization proximity effect has a very strong influence on the non-magnetic layer and can be further modulated by application of an electric field. We use DFT calculations to illustrate this effect in graphene placed next to a monolayer of CrI$_3$, a ferromagnetic insulator. We find strong hybridization of the graphene bands with the narrow conduction band of CrI$_3$ in one spin channel only. We show that our results are robust with respect to lattice mismatch and twist angle variations. Furthermore, we show that an out-of-plane electric field can be used to modulate the hybridization strength, paving the way for applications.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
Efficient GW calculations via the interpolation of the screened interaction in momentum and frequency space: The case of graphene
Authors:
Alberto Guandalini,
Dario A. Leon,
Pino D'Amico,
Claudia Cardoso,
Andrea Ferretti,
Massimo Rontani,
Daniele Varsano
Abstract:
The GW self-energy may become computationally challenging to evaluate because of frequency and momentum convolutions. These difficulties were recently addressed by the development of the multipole approximation (MPA) and the W-av methods: MPA accurately approximates full-frequency response functions using a small number of poles, while W-av improves the convergence with respect to the k-point samp…
▽ More
The GW self-energy may become computationally challenging to evaluate because of frequency and momentum convolutions. These difficulties were recently addressed by the development of the multipole approximation (MPA) and the W-av methods: MPA accurately approximates full-frequency response functions using a small number of poles, while W-av improves the convergence with respect to the k-point sampling in 2D materials. In this work we (i) present a theoretical scheme to combine them, and (ii) apply the newly developed approach to the paradigmatic case of graphene. Our findings show an excellent agreement of the calculated QP band structure with angle resolved photoemission spectroscopy (ARPES) data. Furthermore, the computational efficiency of MPA and W-av allows us to explore the logarithmic renormalization of the Dirac cone. To this aim, we develop an analytical model, derived from a Dirac Hamiltonian, that we parameterize using ab-initio data. The comparison of the models obtained with PPA and MPA results highlights an important role of the dynamical screening in the cone renormalization.
△ Less
Submitted 9 October, 2023; v1 submitted 21 April, 2023;
originally announced April 2023.
-
Scalable End-to-End ML Platforms: from AutoML to Self-serve
Authors:
Igor L. Markov,
Pavlos A. Apostolopoulos,
Mia R. Garrard,
Tanya Qie,
Yin Huang,
Tanvi Gupta,
Anika Li,
Cesar Cardoso,
George Han,
Ryan Maghsoudian,
Norm Zhou
Abstract:
ML platforms help enable intelligent data-driven applications and maintain them with limited engineering effort. Upon sufficiently broad adoption, such platforms reach economies of scale that bring greater component reuse while improving efficiency of system development and maintenance. For an end-to-end ML platform with broad adoption, scaling relies on pervasive ML automation and system integrat…
▽ More
ML platforms help enable intelligent data-driven applications and maintain them with limited engineering effort. Upon sufficiently broad adoption, such platforms reach economies of scale that bring greater component reuse while improving efficiency of system development and maintenance. For an end-to-end ML platform with broad adoption, scaling relies on pervasive ML automation and system integration to reach the quality we term self-serve that we define with ten requirements and six optional capabilities. With this in mind, we identify long-term goals for platform development, discuss related tradeoffs and future work. Our reasoning is illustrated on two commercially-deployed end-to-end ML platforms that host hundreds of real-time use cases -- one general-purpose and one specialized.
△ Less
Submitted 3 March, 2023; v1 submitted 27 February, 2023;
originally announced February 2023.
-
Efficient full frequency GW for metals using a multipole approach for the dielectric screening
Authors:
Dario A. Leon,
Andrea Ferretti,
Daniele Varsano,
Elisa Molinari,
Claudia Cardoso
Abstract:
The properties of metallic systems with important and structured excitations at low energies, such as Cu, are challenging to describe with simple models like the plasmon pole approximation (PPA), and more accurate and sometimes prohibitive full frequency approaches are usually required. In this paper we propose a numerical approach to $GW$ calculations on metals that takes into account the frequen…
▽ More
The properties of metallic systems with important and structured excitations at low energies, such as Cu, are challenging to describe with simple models like the plasmon pole approximation (PPA), and more accurate and sometimes prohibitive full frequency approaches are usually required. In this paper we propose a numerical approach to $GW$ calculations on metals that takes into account the frequency dependence of the screening via the multipole approximation (MPA), an accurate and efficient alternative to current full-frequency methods that was recently developed and validated for semiconductors and overcomes several limitations of PPA. We now demonstrate that MPA can be successfully extended to metallic systems by optimizing the frequency sampling for this class of materials and introducing a simple method to include the $\mathbf{q}\to 0$ limit of the intra-band contributions. The good agreement between MPA and full frequency results for the calculations of quasi-particle energies, polarizability, self-energy and spectral functions in different metallic systems confirms the accuracy and computational efficiency of the method. Finally, we discuss the physical interpretation of the MPA poles through a comparison with experimental electron energy loss spectra for Cu.
△ Less
Submitted 5 January, 2023;
originally announced January 2023.
-
Methane sensing in the mid-IR using short wave IR photon counting detectors via non-linear interferometry
Authors:
Arthur C. Cardoso,
**ghan Dong,
Haichen Zhou,
Siddarth K. Joshi,
John G. Rarity
Abstract:
We demonstrate a novel MIR methane sensor shifting measurement wavelength to SWIR (1.55$μ$m) by using non-linear interferometry. The technique exploits the interference effects seen in three-wave mixing when pump, signal, and idler modes make a double pass through a nonlinear crystal. The method allows sensing at wavelengths where detectors are poor ($>$3$μ$m) and detection at wavelengths where ph…
▽ More
We demonstrate a novel MIR methane sensor shifting measurement wavelength to SWIR (1.55$μ$m) by using non-linear interferometry. The technique exploits the interference effects seen in three-wave mixing when pump, signal, and idler modes make a double pass through a nonlinear crystal. The method allows sensing at wavelengths where detectors are poor ($>$3$μ$m) and detection at wavelengths where photon counting sensitivity can be achieved. In a first experimental demonstration, we measured a small methane concentration inside a gas cell with high precision. This interferometer can be built in a compact design for field operations and potentially enable the detection of low concentrations of methane at up to 100m range. Signal-to-noise ratio calculations show that the method can outperform existing short wavelength ($\sim$1.65$μ$m) integrated path differential absorption direct sensing at high ($>$$10^{-4}$) non-linear gain.
△ Less
Submitted 21 May, 2024; v1 submitted 30 September, 2022;
originally announced September 2022.
-
Extending Attack-Fault Trees with Runtime Verification
Authors:
Rafael C. Cardoso,
Angelo Ferrando,
Michael Fisher
Abstract:
Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can be used to construct runtime monitors. These monitors are able to detect when failures, that can be caused either by an attack or by a fault, occur. The safety and security properties monitored are, in turn, derived from…
▽ More
Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can be used to construct runtime monitors. These monitors are able to detect when failures, that can be caused either by an attack or by a fault, occur. The safety and security properties monitored are, in turn, derived from the hierarchical decomposition of RVAFTs. Our approach not only provides further use of AFTs, but also improves the process of instrumentation often required in runtime verification. We explain the principles and provide a simple case study demonstrating how RVAFTs can be used in practice. Through this we are also able to evaluate the detection of faults and attacks as well as assessing the computational overhead of the monitors.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
A Compositional Approach to Verifying Modular Robotic Systems
Authors:
Matt Luckcuck,
Marie Farrell,
Angelo Ferrando,
Rafael C. Cardoso,
Louise A. Dennis,
Michael Fisher
Abstract:
Robotic systems used in safety-critical industrial situations often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic systems behave as expected requires approaches that can cope with, and preferably take advantage of, this inherent modularity. This paper describes a compositional approach to specifying the nodes in robotic…
▽ More
Robotic systems used in safety-critical industrial situations often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic systems behave as expected requires approaches that can cope with, and preferably take advantage of, this inherent modularity. This paper describes a compositional approach to specifying the nodes in robotic systems built using the Robotic Operating System (ROS), where each node is specified using First-Order Logic (FOL) assume-guarantee contracts that link the specification to the ROS implementation. We introduce inference rules that facilitate the composition of these node-level contracts to derive system-level properties. We also present a novel Domain-Specific Language, the ROS Contract Language, which captures a node's FOL specification and links this contract to its implementation. RCL contracts can be automatically translated, by our tool Vanda, into executable monitors; which we use to verify the contracts at runtime. We illustrate our approach through the specification and verification of an autonomous rover engaged in the remote inspection of a nuclear site, and finish with smaller examples that illustrate other useful features of our framework.
△ Less
Submitted 30 November, 2023; v1 submitted 10 August, 2022;
originally announced August 2022.
-
Graphene decoupling through oxygen intercalation on Gr/Co and Gr/Co/Ir interfaces
Authors:
Dario A. Leon,
Andrea Ferretti,
Daniele Varsano,
Elisa Molinari,
Claudia Cardoso
Abstract:
We perform a density functional theory study of the effects of oxygen adsorption on the structural and electronic properties of Gr/Co(0001) and Gr/Co/Ir(111) interfaces. In both interfaces, the graphene-Co distance increases with increasing O concentration. The oxygen intercalation effectively decreases the electronic interaction, preventing the hybridization of graphene states with Co $d$-orbital…
▽ More
We perform a density functional theory study of the effects of oxygen adsorption on the structural and electronic properties of Gr/Co(0001) and Gr/Co/Ir(111) interfaces. In both interfaces, the graphene-Co distance increases with increasing O concentration. The oxygen intercalation effectively decreases the electronic interaction, preventing the hybridization of graphene states with Co $d$-orbitals, hence (partly) restoring the typical Dirac cone of pristine graphene. In the case of graphene/Co 1ML/Ir(111), which presents a moiré pattern, the interplay between the O distribution and the continuous change of the graphene-Co registry can be used to tune graphene corrugation and electronic properties. The computed electronic properties are in very good agreement with previously reported angle resolved photoemission spectroscopy and photoemission electron microscopy measurements for Gr/Co(0001).
△ Less
Submitted 4 August, 2022;
originally announced August 2022.
-
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
Authors:
Rafael C. Cardoso,
Angelo Ferrando,
Fabio Papacchini,
Mehrnoosh Askarpour,
Louise A. Dennis
Abstract:
This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022). The AREA workshop brings together researchers from autonomous agents, software engineering and robotic communit…
▽ More
This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022). The AREA workshop brings together researchers from autonomous agents, software engineering and robotic communities, as combining knowledge coming from these research areas may lead to innovative approaches that solve complex problems related with the verification and validation of autonomous robotic systems.
△ Less
Submitted 19 July, 2022;
originally announced July 2022.
-
Precise Dynamical Masses of Epsilon Indi Ba and Bb: Evidence of Slowed Cooling at the L/T Transition
Authors:
Minghan Chen,
Yiting Li,
Timothy D. Brandt,
Trent J. Dupuy,
Cátia V. Cardoso,
Mark J. McCaughrean
Abstract:
We report individual dynamical masses of $66.92 \pm 0.36 \; M_{Jup}$ and $53.25 \pm 0.29 \; M_{Jup}$ for the binary brown dwarfs $\varepsilon$ Indi Ba and Bb, measured from long term ($\approx 10$ yr) relative orbit monitoring and absolute astrometry monitoring data on the VLT. Relative astrometry with NACO fully constrains the Keplerian orbit of the binary pair, while absolute astrometry with FOR…
▽ More
We report individual dynamical masses of $66.92 \pm 0.36 \; M_{Jup}$ and $53.25 \pm 0.29 \; M_{Jup}$ for the binary brown dwarfs $\varepsilon$ Indi Ba and Bb, measured from long term ($\approx 10$ yr) relative orbit monitoring and absolute astrometry monitoring data on the VLT. Relative astrometry with NACO fully constrains the Keplerian orbit of the binary pair, while absolute astrometry with FORS2 measures the system's parallax and mass ratio. We find a parallax consistent with the Hipparcos and Gaia values for $\varepsilon$ Indi A, and a mass ratio for $\varepsilon$ Indi Ba to Bb precise to better than $0.2\%$. $\varepsilon$ Indi Ba and Bb have spectral types T1-1.5 and T6, respectively. With an age of $3.5^{+0.8}_{-1.0}$ Gyr from $\varepsilon$ Indi A's activity, these brown dwarfs provide some of the most precise benchmarks for substellar cooling models. Assuming coevality, the very different luminosities of the two brown dwarfs and our moderate mass ratio imply a steep mass-luminosity relationship $L \propto M^{5.37 \pm 0.08}$ that can be explained by a slowed cooling rate in the L/T transition, as previously observed for other L/T binaries. Finally, we present a periodogram analysis of the near-infrared photometric data, but find no definitive evidence of periodic signals with a coherent phase.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Affine Lie algebras representations induced from Whittaker modules
Authors:
Maria Clara Cardoso,
Vyacheslav Futorny
Abstract:
We use induction from parabolic subalgebras with infinite-dimensional Levi factor to construct new families of irreducible representations for arbitrary Affine Kac-Moody algebra. Our first construction defines a functor from the category of Whittaker modules over the Levi factor of a parabolic subalgebra to the category of modules over the Affine Lie algebra. The second functor sends tensor produc…
▽ More
We use induction from parabolic subalgebras with infinite-dimensional Levi factor to construct new families of irreducible representations for arbitrary Affine Kac-Moody algebra. Our first construction defines a functor from the category of Whittaker modules over the Levi factor of a parabolic subalgebra to the category of modules over the Affine Lie algebra. The second functor sends tensor products of a module over the affine part of the Levi factor (in particular any weight module) and of a Whittaker module over the complement Heisenberg subalgebra to the Affine Lie algebra modules. Both functors preserves irreducibility when the central charge is nonzero.
△ Less
Submitted 13 June, 2022; v1 submitted 24 March, 2022;
originally announced March 2022.
-
Black Phosphorus n-type do** by Cu: a microscopic surface investigation
Authors:
Abhishek Kumar,
Francesca Telesio,
Deborah Prezzi,
Claudia Cardoso,
Alessandra Catellani,
Stiven Forti,
Camilla Coletti,
Manuel Serrano-Ruiz,
Maurizio Peruzzini,
Fabio Beltram,
Stefan Heun
Abstract:
We study surface charge transfer do** of exfoliated black phosphorus (bP) flakes by copper using scanning tunneling microscopy (STM) and spectroscopy (STS) at room temperature. The tunneling spectra reveal a gap in correspondence of Cu islands, which is attributed to Coulomb blockade phenomena. Moreover, using line spectroscopic measurements across small copper islands, we exploit the potential…
▽ More
We study surface charge transfer do** of exfoliated black phosphorus (bP) flakes by copper using scanning tunneling microscopy (STM) and spectroscopy (STS) at room temperature. The tunneling spectra reveal a gap in correspondence of Cu islands, which is attributed to Coulomb blockade phenomena. Moreover, using line spectroscopic measurements across small copper islands, we exploit the potential of the local investigation, showing that the n-type do** effect of copper on bP is short-ranged. These experimental results are substantiated by first-principles simulations, which quantify the role of cluster size for an effective n-type do** of bP and explain the Coulomb blockade by an electronic decoupling of the topmost bP layer from the underlying layers driven by the copper cluster. Our results provide novel understanding, difficult to retrieve by transport measurements, of the do** of bP by copper, which appears promising for the implementation of ultra-sharp p-n junctions in bP.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
Towards Partial Monitoring: It is Always too Soon to Give Up
Authors:
Angelo Ferrando,
Rafael C. Cardoso
Abstract:
Runtime Verification is a lightweight formal verification technique. It is used to verify at runtime whether the system under analysis behaves as expected. The expected behaviour is usually formally specified by means of properties, which are used to automatically synthesise monitors. A monitor is a device that, given a sequence of events representing a system execution, returns a verdict symbolis…
▽ More
Runtime Verification is a lightweight formal verification technique. It is used to verify at runtime whether the system under analysis behaves as expected. The expected behaviour is usually formally specified by means of properties, which are used to automatically synthesise monitors. A monitor is a device that, given a sequence of events representing a system execution, returns a verdict symbolising the satisfaction or violation of the formal property. Properties that can (resp. cannot) be verified at runtime by a monitor are called monitorable and non-monitorable, respectively. In this paper, we revise the notion of monitorability from a practical perspective, where we show how non-monitorable properties can still be used to generate partial monitors, which can partially check the properties. Finally, we present the implications both from a theoretical and practical perspectives.
△ Less
Submitted 24 October, 2021;
originally announced October 2021.
-
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
Authors:
Rafael C. Cardoso,
Angelo Ferrando,
Fabio Papacchini,
Matt Luckcuck,
Sven Linker,
Terry R. Payne
Abstract:
In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used in the contest is an extension of the previous edition (14th) "Agents Assemble" wherein two teams of agents move around a 2D grid and compete to assemble complex block structures. We discuss the languages and tools used…
▽ More
In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used in the contest is an extension of the previous edition (14th) "Agents Assemble" wherein two teams of agents move around a 2D grid and compete to assemble complex block structures. We discuss the languages and tools used during the development of our team. Then, we summarise the main strategies that were carried over from our previous participation in the 14th edition and list the limitations (if any) of using these strategies in the latest contest edition. We also developed new strategies that were made specifically for the extended scenario: cartography (determining the size of the map); formal verification of the map merging protocol (to provide assurances that it works when increasing the number of agents); plan cache (efficiently scaling the number of planners); task achievement (forming groups of agents to achieve tasks); and bullies (agents that focus on stop** agents from the opposing team). Finally, we give a brief overview of our performance in the contest and discuss what we believe were our shortcomings.
△ Less
Submitted 18 October, 2021; v1 submitted 15 October, 2021;
originally announced October 2021.
-
Frequency dependence in GW made simple using a multi-pole approximation
Authors:
Dario A. Leon,
Claudia Cardoso,
Tommaso Chiarotti,
Daniele Varsano,
Elisa Molinari,
Andrea Ferretti
Abstract:
In the $GW$ approximation, the screened interaction $W$ is a non-local and dynamical potential that usually has a complex frequency dependence. A full description of such dependence is possible but often computationally demanding. For this reason, it is still common practice to approximate $W(ω)$ using a plasmon pole (PP) model. Such approach, however, may deliver an accuracy limited by its simpli…
▽ More
In the $GW$ approximation, the screened interaction $W$ is a non-local and dynamical potential that usually has a complex frequency dependence. A full description of such dependence is possible but often computationally demanding. For this reason, it is still common practice to approximate $W(ω)$ using a plasmon pole (PP) model. Such approach, however, may deliver an accuracy limited by its simplistic description of the frequency dependence of the polarizability, i.e. of $W$.
In this work we explore a multi-pole approach (MPA) and develop an effective representation of the frequency dependence of $W$. We show that an appropriate sampling of the polarizability in the frequency complex plane and a multi-pole interpolation can lead to a level of accuracy comparable with full-frequency methods at much lower computational cost. Moreover, both accuracy and cost are controllable by the number of poles used in MPA. Eventually we validate the MPA approach in selected prototype systems, showing that full-frequency quality results can be obtained with a limited number of poles.
△ Less
Submitted 3 September, 2021;
originally announced September 2021.
-
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest
Authors:
Matt Luckcuck,
Rafael C. Cardoso
Abstract:
Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent systems provides useful confidence in its reliability. In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment. The protocol was used by…
▽ More
Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent systems provides useful confidence in its reliability. In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment. The protocol was used by the LFC team in the 2019 edition of the Multi-Agent Programming Contest (MAPC). Our specification of the protocol is written in Communicating Sequential Processes (CSP), which is a well-suited approach to specifying agent communication protocols due to its focus on concurrent communicating systems. We validate the specification's behaviour using scenarios where the correct behaviour is known, and verify that eventually all the maps have merged.
△ Less
Submitted 22 June, 2021; v1 submitted 8 June, 2021;
originally announced June 2021.
-
Narrowing of d bands of FeCo layers intercalated under graphene
Authors:
Daniela Pacilè,
Claudia Cardoso,
Giulia Avvisati,
Ivana Vobornik,
Carlo Mariani,
Dario A. Leon,
Pietro Bonfà,
Daniele Varsano,
Andrea Ferretti,
Maria Grazia Betti
Abstract:
We report on the electronic properties of an artificial system obtained by the intercalation of equiatomic FeCo layers under graphene grown on Ir(111). Upon intercalation, the FeCo film grows epitaxially on Ir(111), resulting in a lattice-mismatched system. By performing Density Functional Theory calculations, we show that the intercalated FeCo layer leads to a pronounced corrugation of the graphe…
▽ More
We report on the electronic properties of an artificial system obtained by the intercalation of equiatomic FeCo layers under graphene grown on Ir(111). Upon intercalation, the FeCo film grows epitaxially on Ir(111), resulting in a lattice-mismatched system. By performing Density Functional Theory calculations, we show that the intercalated FeCo layer leads to a pronounced corrugation of the graphene film. At the same time, the FeCo intercalated layers induce a clear transition from a nearly undisturbed to a strongly hybridized graphene π-band, as measured by angle-resolved photoemission spectroscopy. A comparison of experimental results with the computed band structure and the projected density of states unveils a spin-selective hybridization between the π band of graphene and FeCo-3d states. Our results demonstrate that the reduced dimensionality, as well as the hybridization within the FeCo layers, induce a narrowing and a clear splitting of Fe 3d-up and Fe 3d-down spin bands of the confined FeCo layers with respect to bulk Fe and Co.
△ Less
Submitted 29 March, 2021;
originally announced March 2021.
-
Skin color independent robust assessment of capillary refill time
Authors:
Raquel Pantojo de Souza Bachour,
Eduardo Lopes Dias,
George Cunha Cardoso
Abstract:
Capillary refill time (CRT) is a method for evaluating peripheral perfusion by visual assessment. CRT is especially useful for quick evaluations in the absence of sophisticated equipment. However, there are repeatability and reproducibility limitations with CRT, especially for dark skin. To test the limits of CRT repeatability and skin color independence, we developed a system and method to perfor…
▽ More
Capillary refill time (CRT) is a method for evaluating peripheral perfusion by visual assessment. CRT is especially useful for quick evaluations in the absence of sophisticated equipment. However, there are repeatability and reproducibility limitations with CRT, especially for dark skin. To test the limits of CRT repeatability and skin color independence, we developed a system and method to perform simple and robust CRT measurements. The system consists of an RGB camera and an LED lamp, with crossed circular polarizers imaging to attenuate the light reflected by the superficial layer of the skin. The capillary refill time is determined using an exponential regression on the time-dependent green channel mean pixel intensity of the region of interest after the compression is released. We limited this regression up to a data-dependent cut-off time, after which we assume the exponential model is invalid, and used the confidence interval of the uncertainty to develop a criterion to flag and discard faulty measurements. We tested the system on twenty-two volunteers with skin phototypes ranging from I to VI on the Fitzpatrick scale, applying to their forearms a 7 kPa compression for 5 s. After the release of measurements flagged as inadequate (about 20\% of measurements) by our regressions, our results indicated good precision, with high repeatability for all skin phototypes. Approximately 80\% of measurements fall within $\pm 20\%$ of the individual's expected value for CRT (mean CRT value). Our results suggest CRT can be used as a quantitative measurement and encourages further developments for the implementation of a similar method on smartphone cameras for quick and robust CRT measurements in patients' triage, monitoring, and telehealth.
△ Less
Submitted 11 October, 2022; v1 submitted 26 February, 2021;
originally announced February 2021.
-
Magnetic response and electronic states of well defined Graphene/Fe/Ir(111) heterostructure
Authors:
Claudia Cardoso,
Giulia Avvisati,
Pierluigi Gargiani,
Marco Sbroscia,
Madan S. Jagadeesh,
Carlo Mariani,
Dario A. Leon,
Daniele Varsano,
Andrea Ferretti,
Maria Grazia Betti
Abstract:
We investigate a well defined heterostructure constituted by magnetic Fe layers sandwiched between graphene (Gr) and Ir(111). The challenging task to avoid Fe-C solubility and Fe-Ir intermixing has been achieved with atomic controlled Fe intercalation at moderate temperature below 500 K. Upon intercalation of a single ordered Fe layer in registry with the Ir substrate, an intermixing of the Gr ban…
▽ More
We investigate a well defined heterostructure constituted by magnetic Fe layers sandwiched between graphene (Gr) and Ir(111). The challenging task to avoid Fe-C solubility and Fe-Ir intermixing has been achieved with atomic controlled Fe intercalation at moderate temperature below 500 K. Upon intercalation of a single ordered Fe layer in registry with the Ir substrate, an intermixing of the Gr bands and Fe d states breaks the symmetry of the Dirac cone, with a downshift in energy of the apex by about 3 eV, and well-localized Fe intermixed states induced in the energy region just below the Fermi level. First principles electronic structure calculations show a large spin splitting of the Fe states, resulting in a majority spin channel almost fully occupied and strongly hybridized with Gr π states. X-ray magnetic circular dichroism on the Gr/Fe/Ir heterostructure reveals an ordered spin configuration with a ferromagnetic response of Fe layer(s), with enhanced spin and orbital configurations with respect to the bcc-Fe bulk values. The magnetization switches from a perpendicular easy magnetization axis when the Fe single layer is lattice matched with the Ir(111) surface to a parallel one when the Fe thin film is almost commensurate with graphene.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Towards Compositional Verification for Modular Robotic Systems
Authors:
Rafael C. Cardoso,
Louise A. Dennis,
Marie Farrell,
Michael Fisher,
Matt Luckcuck
Abstract:
Software engineering of modular robotic systems is a challenging task, however, verifying that the developed components all behave as they should individually and as a whole presents its own unique set of challenges. In particular, distinct components in a modular robotic system often require different verification techniques to ensure that they behave as expected. Ensuring whole system consistenc…
▽ More
Software engineering of modular robotic systems is a challenging task, however, verifying that the developed components all behave as they should individually and as a whole presents its own unique set of challenges. In particular, distinct components in a modular robotic system often require different verification techniques to ensure that they behave as expected. Ensuring whole system consistency when individual components are verified using a variety of techniques and formalisms is difficult. This paper discusses how to use compositional verification to integrate the various verification techniques that are applied to modular robotic software, using a First-Order Logic (FOL) contract that captures each component's assumptions and guarantees. These contracts can then be used to guide the verification of the individual components, be it by testing or the use of a formal method. We provide an illustrative example of an autonomous robot used in remote inspection. We also discuss a way of defining confidence for the verification associated with each component.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
Adaptable and Verifiable BDI Reasoning
Authors:
Peter Stringer,
Rafael C. Cardoso,
Xiaowei Huang,
Louise A. Dennis
Abstract:
Long-term autonomy requires autonomous systems to adapt as their capabilities no longer perform as expected. To achieve this, a system must first be capable of detecting such changes. In this position paper, we describe a system architecture for BDI autonomous agents capable of adapting to changes in a dynamic environment and outline the required research. Specifically, we describe an agent-mainta…
▽ More
Long-term autonomy requires autonomous systems to adapt as their capabilities no longer perform as expected. To achieve this, a system must first be capable of detecting such changes. In this position paper, we describe a system architecture for BDI autonomous agents capable of adapting to changes in a dynamic environment and outline the required research. Specifically, we describe an agent-maintained self-model with accompanying theories of durative actions and learning new action descriptions in BDI systems.
△ Less
Submitted 22 July, 2020;
originally announced July 2020.
-
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy
Authors:
Rafael C. Cardoso,
Angelo Ferrando,
Daniela Briola,
Claudio Menghi,
Tobias Ahlbrecht
Abstract:
This volume contains the proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020), co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020). AREA brings together researchers from autonomous agents, software engineering and robotic communities, as combining knowledge coming from these research areas may lead to innovative approac…
▽ More
This volume contains the proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020), co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020). AREA brings together researchers from autonomous agents, software engineering and robotic communities, as combining knowledge coming from these research areas may lead to innovative approaches that solve complex problems related with the verification and validation of autonomous robotic systems.
△ Less
Submitted 22 July, 2020;
originally announced July 2020.
-
Heterogeneous Verification of an Autonomous Curiosity Rover
Authors:
Rafael C. Cardoso,
Marie Farrell,
Matt Luckcuck,
Angelo Ferrando,
Michael Fisher
Abstract:
The Curiosity rover is one of the most complex systems successfully deployed in a planetary exploration mission to date. It was sent by NASA to explore the surface of Mars and to identify potential signs of life. Even though it has limited autonomy on-board, most of its decisions are made by the ground control team. This hinders the speed at which the Curiosity reacts to its environment, due to th…
▽ More
The Curiosity rover is one of the most complex systems successfully deployed in a planetary exploration mission to date. It was sent by NASA to explore the surface of Mars and to identify potential signs of life. Even though it has limited autonomy on-board, most of its decisions are made by the ground control team. This hinders the speed at which the Curiosity reacts to its environment, due to the communication delays between Earth and Mars. Depending on the orbital position of both planets, it can take 4--24 minutes for a message to be transmitted between Earth and Mars. If the Curiosity were controlled autonomously, it would be able to perform its activities much faster and more flexibly. However, one of the major barriers to increased use of autonomy in such scenarios is the lack of assurances that the autonomous behaviour will work as expected. In this paper, we use a Robot Operating System (ROS) model of the Curiosity that is simulated in Gazebo and add an autonomous agent that is responsible for high-level decision-making. Then, we use a mixture of formal and non-formal techniques to verify the distinct system components (ROS nodes). This use of heterogeneous verification techniques is essential to provide guarantees about the nodes at different abstraction levels, and allows us to bring together relevant verification evidence to provide overall assurance.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
Quantum jump simulation in three-level systems using photonic Gaussian modes
Authors:
A. C. Cardoso,
J. G. L. Condé,
B. Marques,
J. S. Cabral,
S. Pádua
Abstract:
Multi-level quantum systems loose coherence due to quantum jumps or spontaneous decay between their internal levels. Here we propose a way to simulate experimentally a three-level system under quantum jump using a three-mode photonic system. We simulated three different dynamics of spontaneous decay in a three-level atomic system: cascade decay, $Λ$ decay and $V$ decay. With an attenuated light co…
▽ More
Multi-level quantum systems loose coherence due to quantum jumps or spontaneous decay between their internal levels. Here we propose a way to simulate experimentally a three-level system under quantum jump using a three-mode photonic system. We simulated three different dynamics of spontaneous decay in a three-level atomic system: cascade decay, $Λ$ decay and $V$ decay. With an attenuated light coherent source at the photon level, we prepared a photonic qutrit state encoded in the parallel path of Gaussian modes. By exploring periodical phase modulation in spatial light modulator, the corresponding dynamical maps for quantum jumps were implemented in terms of the Kraus operator decomposition. With image measurements with an intensified charged-coupled device (ICCD) camera we obtain the diagonal elements of the initial state density matrix. Measuring the image and interference patterns of the evolved qutrit state we verified experimentally the variation of the populations and the decoherence effects caused by the quantum jumps in the three-level system for the three-level decay configurations.
△ Less
Submitted 10 June, 2020;
originally announced June 2020.
-
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest
Authors:
Rafael C. Cardoso,
Angelo Ferrando,
Fabio Papacchini
Abstract:
The 2019 Multi-Agent Programming Contest introduced a new scenario, Agents Assemble, where two teams of agents move around a 2D grid and compete to assemble complex block structures. In this paper, we describe the strategies used by our team that led us to achieve first place in the contest. Our strategies tackle some of the major challenges in the 2019 contest: how to explore and build a map when…
▽ More
The 2019 Multi-Agent Programming Contest introduced a new scenario, Agents Assemble, where two teams of agents move around a 2D grid and compete to assemble complex block structures. In this paper, we describe the strategies used by our team that led us to achieve first place in the contest. Our strategies tackle some of the major challenges in the 2019 contest: how to explore and build a map when agents only have access to local vision and no global coordinates; how to move around the map efficiently even though there are dynamic events that can change the cells in the grid; and how to assemble and submit complex block structures given that the opposing team may try to sabotage us. To implement our strategies, we use the multi-agent systems development platform JaCaMo to program our agents and the Fast Downward planner to plan the movement of the agent in the grid. We also provide a brief discussion of our matches in the contest and give our analysis of how our team performed in each match.
△ Less
Submitted 4 June, 2020;
originally announced June 2020.
-
Citation network centrality: a scientific awards predictor?
Authors:
Osame Kinouchi,
Adriano J. Holanda,
George C. Cardoso
Abstract:
The $K$-index is an easily computable centrality index in complex networks, such as a scientific citations network. A researcher has a $K$-index equal to $K$ if he or she is cited by $K$ articles that have at least $K$ citations. The $K$-index has several advantages over Hirsh's $h$-index and, in previous studies, has shown better correlation with Nobel prizes than any other index given by the {\e…
▽ More
The $K$-index is an easily computable centrality index in complex networks, such as a scientific citations network. A researcher has a $K$-index equal to $K$ if he or she is cited by $K$ articles that have at least $K$ citations. The $K$-index has several advantages over Hirsh's $h$-index and, in previous studies, has shown better correlation with Nobel prizes than any other index given by the {\em Web of Science}, including the $h$-index. It is plausible that researchers who are the most connected to other scientifically well-connected researchers are the most likely to be doing important work and more likely to be awarded major prizes in a given area. However, the correlation found does not imply causation. Here we perform an experiment using the $K$-index, producing a shortlist of twelve candidates for major scientific prizes, including the Physics Nobel award, in the near future. For example, our top-12 $K$-index list naturally selects the 2019 Nobel laureate, James Peebles. The list can be updated annually and should be compared to laureates of the following years
△ Less
Submitted 18 October, 2019; v1 submitted 6 October, 2019;
originally announced October 2019.
-
Modular Verification of Autonomous Space Robotics
Authors:
Marie Farrell,
Rafael C. Cardoso,
Louise A. Dennis,
Clare Dixon,
Michael Fisher,
Georgios Kourtis,
Alexei Lisitsa,
Matt Luckcuck,
Matt Webster
Abstract:
Ensuring that autonomous space robot control software behaves as it should is crucial, particularly as software failure in space often equates to mission failure and could potentially endanger nearby astronauts and costly equipment. To minimise mission failure caused by software errors, we can utilise a variety of tools and techniques to verify that the software behaves as intended. In particular,…
▽ More
Ensuring that autonomous space robot control software behaves as it should is crucial, particularly as software failure in space often equates to mission failure and could potentially endanger nearby astronauts and costly equipment. To minimise mission failure caused by software errors, we can utilise a variety of tools and techniques to verify that the software behaves as intended. In particular, distinct nodes in a robotic system often require different verification techniques to ensure that they behave as expected. This paper introduces a method for integrating the various verification techniques that are applied to robotic software, via a First-Order Logic (FOL) specification that captures each node's assumptions and guarantees. These FOL specifications are then used to guide the verification of the individual nodes, be it by testing or the use of a formal method. We also outline a way of measuring our confidence in the verification of the entire system in terms of the verification techniques used.
△ Less
Submitted 28 August, 2019;
originally announced August 2019.
-
Skin optical attenuation coefficient modulation with arterial pulsation
Authors:
Matheus Bigatão Martinelli,
Christian Tolentino Dominguez,
Luciano Bachmann,
George C. Cardoso
Abstract:
Video plethysmographic (vPPG) signals arise from subtle color modulations in reflected light. vPPG signals can be used to monitor vital signs remotely in a noninvasive manner. We have used optical coherence tomography (OCT) imaging to find whether vPPG signals may result from skin optical properties being modulated by arterial transmural pressure propagation. Our results confirm this hypothesis an…
▽ More
Video plethysmographic (vPPG) signals arise from subtle color modulations in reflected light. vPPG signals can be used to monitor vital signs remotely in a noninvasive manner. We have used optical coherence tomography (OCT) imaging to find whether vPPG signals may result from skin optical properties being modulated by arterial transmural pressure propagation. Our results confirm this hypothesis and show that the attenuation coefficient of even the most external, non-vascularized skin, changes at the same frequency as the arterial pulsation.
△ Less
Submitted 27 October, 2018;
originally announced October 2018.
-
Ferromagnetic and Antiferromagnetic Coupling of Spin Molecular Interfaces with High Thermal Stability
Authors:
Giulia Avvisati,
Claudia Cardoso,
Daniele Varsano,
Andrea Ferretti,
Pierluigi Gargiani,
Maria Grazia Betti
Abstract:
We report an advanced organic spin-interface architecture with magnetic remanence at room temperature, constituted by metal phthalocyanine molecules magnetically coupled with Co layer(s), mediated by graphene. Fe- and Cu-phthalocyanines assembled on graphene/Co have identical structural configurations, but FePc couples antiferromagnetically with Co up to room temperature, while CuPc couples ferrom…
▽ More
We report an advanced organic spin-interface architecture with magnetic remanence at room temperature, constituted by metal phthalocyanine molecules magnetically coupled with Co layer(s), mediated by graphene. Fe- and Cu-phthalocyanines assembled on graphene/Co have identical structural configurations, but FePc couples antiferromagnetically with Co up to room temperature, while CuPc couples ferromagnetically with weaker coupling and thermal stability, as deduced by element-selective X-ray magnetic circular dichroic signals. The robust antiferromagnetic coupling is stabilized by a superexchange interaction, driven by the out-of-plane molecular orbitals responsible of the magnetic ground state and electronically decoupled from the underlying metal via the graphene layer, as confirmed by ab initio theoretical predictions. These archetypal spin interfaces can be prototypes to demonstrate how antiferromagnetic and/or ferromagnetic coupling can be optimized by selecting the molecular orbital symmetry.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
Interplay between interlayer exchange and stacking in CrI$_3$ bilayers
Authors:
D. Soriano,
C. Cardoso,
J. Fernández-Rossier
Abstract:
We address the interplay between stacking and interlayer exchange for ferromagnetically ordered CrI$_3$, both for bilayers and bulk. Whereas bulk CrI$_3$ is ferromagnetic, both magneto-optical and transport experiments show that interlayer exchange for CrI$_3$ bilayers is antiferromagnetic. Bulk CrI$_3$ is known to assume two crystal structures, rhombohedral and monoclinic, that differ mostly in t…
▽ More
We address the interplay between stacking and interlayer exchange for ferromagnetically ordered CrI$_3$, both for bilayers and bulk. Whereas bulk CrI$_3$ is ferromagnetic, both magneto-optical and transport experiments show that interlayer exchange for CrI$_3$ bilayers is antiferromagnetic. Bulk CrI$_3$ is known to assume two crystal structures, rhombohedral and monoclinic, that differ mostly in the stacking between monolayers. Below 210-220 Kelvin, bulk CrI$_3$ orders in a rhombohedral phase. Our density functional theory calculations show a very strong dependence of interlayer exchange and stacking. Specifically, the ground states of both bulk and free-standing CrI$_3$ bilayers are ferromagnetic for the rhombohedral phase. In contrast, the energy difference between both configurations is more than one order of magnitude smaller for the monoclinic phase, and eventually becomes antiferromagnetic when either positive strain or on-site Hubbard interactions ($U \geq 3$) are considered. We also explore the interplay between interlayer hybrydization and stacking, using a Wannier basis, and between interlayer hybrydization and relative magnetic alignment for CrI$_3$ bilayers, that helps to account for the very large tunnel magnetoresistance obvserved in recent experiments.
△ Less
Submitted 25 March, 2019; v1 submitted 1 July, 2018;
originally announced July 2018.
-
FePc Adsorption on the Moiré Superstructure of Graphene Intercalated with a Co Layer
Authors:
Giulia Avvisati,
Simone Lisi,
Pierluigi Gargiani,
Ada Della Pia,
Oreste De Luca,
Daniela Pacilé,
Claudia Cardoso,
Daniele Varsano,
Deborah Prezzi,
Andrea Ferretti,
Maria Grazia Betti
Abstract:
The moiré superstructure of graphene grown on metals can drive the assembly of molecular architectures, as iron-phthalocyanine (FePc) molecules, allowing for the production of artificial molecular configurations. A detailed analysis of the Gr/Co interaction upon intercalation (including a modelling of the resulting moiré pattern) is performed here by density functional theory, which provides an ac…
▽ More
The moiré superstructure of graphene grown on metals can drive the assembly of molecular architectures, as iron-phthalocyanine (FePc) molecules, allowing for the production of artificial molecular configurations. A detailed analysis of the Gr/Co interaction upon intercalation (including a modelling of the resulting moiré pattern) is performed here by density functional theory, which provides an accurate description of the template as a function of the corrugation parameters. The theoretical results are a preliminary step to describe the interaction process of the FePc molecules adsorption on the Gr/Co system. Core level photoemission and absorption spectroscopies have been employed to control the preferential adsorption regions of the FePc on the graphene moiré superstructure and the interaction of the central Fe ion with the underlying Co. Our results show that upon molecular adsorption the distance of C atoms from the Co template mainly drives the strength of the molecules-substrate interaction, thereby allowing for locally different electronic properties within the corrugated interface.
△ Less
Submitted 29 May, 2018;
originally announced May 2018.
-
Van der Waals spin valves
Authors:
C. Cardoso,
D. Soriano,
N. A. García-Martínez,
J. Fernández-Rossier
Abstract:
We propose spin valves where a 2D non-magnetic conductor is intercalated between two ferromagnetic insulating layers. In this setup, the relative orientation of the magnetizations of the insulating layers can have a strong impact on the in-plane conductivity of the 2D conductor. We first show this for a graphene bilayer, described with a tight-binding model, placed between two ferromagnetic insula…
▽ More
We propose spin valves where a 2D non-magnetic conductor is intercalated between two ferromagnetic insulating layers. In this setup, the relative orientation of the magnetizations of the insulating layers can have a strong impact on the in-plane conductivity of the 2D conductor. We first show this for a graphene bilayer, described with a tight-binding model, placed between two ferromagnetic insulators. In the anti-parallel configuration, a band gap opens at the Dirac point, whereas in the parallel configuration, the graphene bilayer remains conducting. We then compute the electronic structure of graphene bilayer placed between two monolayers of the ferromagnetic insulator CrI$_3$, using density functional theory. Consistent with the model, we find that a gap opens at the Dirac point only in the antiparallel configuration.
△ Less
Submitted 9 April, 2018;
originally announced April 2018.
-
Bright electroluminescence from single graphene nanoribbon junctions
Authors:
Michael C. Chong,
Nasima Afshar-Imani,
Fabrice Scheurer,
Claudia Cardoso,
Andrea Ferretti,
Deborah Prezzi,
Guillaume Schull
Abstract:
Thanks to their highly tunable band gaps, graphene nanoribbons (GNRs) with atomically precise edges are emerging as mechanically and chemically robust candidates for nanoscale light emitting devices of modulable emission color. While their optical properties have been addressed theoretically in depth, only few experimental studies exist, limited to ensemble measurements and without any attempt to…
▽ More
Thanks to their highly tunable band gaps, graphene nanoribbons (GNRs) with atomically precise edges are emerging as mechanically and chemically robust candidates for nanoscale light emitting devices of modulable emission color. While their optical properties have been addressed theoretically in depth, only few experimental studies exist, limited to ensemble measurements and without any attempt to integrate them in an electronic-like circuit. Here we report on the electroluminescence of individual GNRs suspended between the tip of a scanning tunneling microscope (STM) and a Au(111) substrate, constituting thus a realistic opto-electronic circuit. Emission spectra of such GNR junctions reveal a bright and narrow band emission of red light, whose energy can be tuned with the bias voltage applied to the junction, but always lying below the gap of infinite GNRs. Comparison with {\it ab initio} calculations indicate that the emission involves electronic states localized at the GNR termini. Our results shed light on unpredicted optical transitions in GNRs and provide a promising route for the realization of bright, robust and controllable graphene-based light emitting devices.
△ Less
Submitted 28 February, 2018;
originally announced February 2018.
-
Classical Imaging with Undetected Light
Authors:
A. C. Cardoso,
L. P. Berruezo,
D. F. Ávila,
G. B. Lemos,
W. M. Pimenta,
C. H. Monken,
P. L. Saldanha,
S. Pádua
Abstract:
We obtained the phase and intensity images of an object by detecting classical light which never interacted with it. With a double passage of a pump and a signal laser beams through a nonlinear crystal, we observe interference between the two idler beams produced by stimulated parametric down conversion. The object is placed in the amplified signal beam after its first passage through the crystal,…
▽ More
We obtained the phase and intensity images of an object by detecting classical light which never interacted with it. With a double passage of a pump and a signal laser beams through a nonlinear crystal, we observe interference between the two idler beams produced by stimulated parametric down conversion. The object is placed in the amplified signal beam after its first passage through the crystal, and the image is observed in the interference of the generated idler beams. High contrast images can be obtained even for objects with small transmittance coefficient due to the geometry of the interferometer and to the stimulated parametric emission. Like its quantum counterpart, this three-colour imaging concept can be useful when the object must be probed with light at a wavelength for which detectors are not available.
△ Less
Submitted 27 January, 2018;
originally announced January 2018.
-
Lipschitz perturbations of Morse-Smale semigroups
Authors:
M. C. Bortolan,
C. A. E. N. Cardoso,
A. N. Carvalho,
L. Pires
Abstract:
In this paper we will deal with Lipschitz continuous perturbations of Morse-Smale semigroups with only equilibrium points as critical elements. We study the behavior of the structure of equilibrium points and their connections when subjected to non-differentiable perturbations. To this end we define more general notions of \emph{hyperbolicity} and \emph{transversality}, which do not require differ…
▽ More
In this paper we will deal with Lipschitz continuous perturbations of Morse-Smale semigroups with only equilibrium points as critical elements. We study the behavior of the structure of equilibrium points and their connections when subjected to non-differentiable perturbations. To this end we define more general notions of \emph{hyperbolicity} and \emph{transversality}, which do not require differentiability.
△ Less
Submitted 28 May, 2017;
originally announced May 2017.
-
Electronic Structure Evolution during the Growth of Graphene Nanoribbons on Au(110)
Authors:
Ada Della Pia,
Giulia Avvisati,
Oualid Ourd**i,
Claudia Cardoso,
Daniele Varsano,
Deborah Prezzi,
Andrea Ferretti,
Carlo Mariani,
Maria Grazia Betti
Abstract:
Surface-assisted polymerization of molecular monomers into extended chains can be used as the seed of graphene nanoribbon (GNR) formation, resulting from a subsequent cyclo-dehydrogenation process. By means of valence-band photoemission and ab-initio density-functional theory (DFT) calculations, we investigate the evolution of molecular states from monomer 10,10'-dibromo-9,9'bianthracene (DBBA) pr…
▽ More
Surface-assisted polymerization of molecular monomers into extended chains can be used as the seed of graphene nanoribbon (GNR) formation, resulting from a subsequent cyclo-dehydrogenation process. By means of valence-band photoemission and ab-initio density-functional theory (DFT) calculations, we investigate the evolution of molecular states from monomer 10,10'-dibromo-9,9'bianthracene (DBBA) precursors to polyanthryl polymers, and eventually to GNRs, as driven by the Au(110) surface. The molecular orbitals and the energy level alignment at the metal-organic interface are studied in depth for the DBBA precursors deposited at room temperature. On this basis, we can identify a spectral fingerprint of C-Au interaction in both DBBA single-layer and polymerized chains obtained upon heating. Furthermore, DFT calculations help us evidencing that GNRs interact more strongly than DBBA and polyanthryl with the Au(110) substrate, as a result of their flatter conformation.
△ Less
Submitted 20 April, 2017;
originally announced April 2017.
-
Blood Pulsation Intensity Video Map**
Authors:
Pedro Henrique de M. Borges,
George C. Cardoso
Abstract:
In this study, we make non-invasive, remote, passive measurements of the heart beat frequency and determine the map of blood pulsation intensity in a region of interest (ROI) of skin. The ROI used was the forearm of a volunteer. The method employs a regular video camera and visible light, and the video acquisition takes less than 1 minute. The mean cardiac frequency found in our volunteer was with…
▽ More
In this study, we make non-invasive, remote, passive measurements of the heart beat frequency and determine the map of blood pulsation intensity in a region of interest (ROI) of skin. The ROI used was the forearm of a volunteer. The method employs a regular video camera and visible light, and the video acquisition takes less than 1 minute. The mean cardiac frequency found in our volunteer was within 1 bpm of the ground-truth value simultaneously obtained via earlobe plethysmography. Using the signals extracted from the video images, we have determined an intensity map for the blood pulsation at the surface of the skin. In this paper we present the experimental and data processing details of the work and well as limitations of the technique.
-----------------------------------------
Neste estudo medimos a frequência cardíaca de forma não invasiva, remota e passiva e determinamos o mapa da atividade de pulsação sanguínea numa região de interesse (ROI) da pele. A ROI utilizada foi o antebraço de um voluntário. O método utiliza uma câmara de vídeo comum e luz visível como processo de aquisição do vídeo durando menos de 1 minuto. A frequência cardíaca média encontrada tem erro em torno de 1 batimento por minuto em relação a uma medida simultânea usando fotopletismografia de lóbulo de orelha. A partir dos sinais extraídos das imagens de vídeo, determinamos um mapa da intensidade da pulsação sanguínea na superfície da pele. Apresentamos detalhes experimentais e de processamento dos sinais, assim como limitações da técnica.
△ Less
Submitted 10 November, 2016;
originally announced November 2016.
-
Method to study student engagement uniformity in a classroom
Authors:
George C. Cardoso
Abstract:
We present a method to study engagement level uniformity in a class of students. We validate our method by comparing two semesters taught using different methods in a physics and mathematics course. The first semester used conventional methods while the second semester used graphic spreadsheets-based laboratories and homework before the introduction of formal methods. We found that engagement of t…
▽ More
We present a method to study engagement level uniformity in a class of students. We validate our method by comparing two semesters taught using different methods in a physics and mathematics course. The first semester used conventional methods while the second semester used graphic spreadsheets-based laboratories and homework before the introduction of formal methods. We found that engagement of the students that were below the median at the beginning of the semester improved by an order of magnitude (by our metric) while the engagement level of students initially above the median did not change.
△ Less
Submitted 10 November, 2016;
originally announced November 2016.
-
A battery-resistor analogy for further insights on measurement uncertainties
Authors:
Gabriel L. A. de Sousa,
George C. Cardoso
Abstract:
We use analogies to give introductory laboratory students intuition about measurement uncertainties. Using a battery-resistor circuit we discuss uncertainty concepts and derive expressions for uncertainty of the mean and sums of uncertainties. Finally, we draw attention to the fact that the interpretation of standard deviation as uncertainty depends on the statistical distribution of the data, whi…
▽ More
We use analogies to give introductory laboratory students intuition about measurement uncertainties. Using a battery-resistor circuit we discuss uncertainty concepts and derive expressions for uncertainty of the mean and sums of uncertainties. Finally, we draw attention to the fact that the interpretation of standard deviation as uncertainty depends on the statistical distribution of the data, while the interpretation of uncertainty of the mean is largely insensitive to such distribution, especially for large samples. If the resistor in the battery-resistor circuit is a resistive loudspeaker, the uncertainty or noise is literally the acoustic power of the sound produced by such noise. In the sound analogy the statistical distribution of the noise is related to its timbre.
△ Less
Submitted 6 May, 2021; v1 submitted 10 November, 2016;
originally announced November 2016.
-
Mobility-limited polyarylamine biscarbonate ester (PABC) /[6,6]-phenyl $C_{61}$ butyric acid methyl ester (PCBM) bulk heterojunction photovoltaic device
Authors:
Liang-Bih Lin,
Krishna Balantrapu,
Amanda E. Preske,
Arthur A. Mamiya,
Demétrio A. da Silva Filho,
George C. Cardoso
Abstract:
Photovoltaic (PV) devices made from blends of a polyarylamine biscarbonate ester (PABC) and [6,6]-phenyl $C_{61}$ butyric acid methyl ester (PCBM) have been fabricated and characterized. PABC is a hole transporting co-polymer prepared from reacting N,N'diphenyl-N,N'bis(3-hydroxyphenyl)1,1;biphenyl(4,4'diamine), diethylene glycol bischloroformate, and triethylemine. By varying the polymer loading i…
▽ More
Photovoltaic (PV) devices made from blends of a polyarylamine biscarbonate ester (PABC) and [6,6]-phenyl $C_{61}$ butyric acid methyl ester (PCBM) have been fabricated and characterized. PABC is a hole transporting co-polymer prepared from reacting N,N'diphenyl-N,N'bis(3-hydroxyphenyl)1,1;biphenyl(4,4'diamine), diethylene glycol bischloroformate, and triethylemine. By varying the polymer loading in the blend, optimal power conversion efficiency (PCE) of approximately 0.45\% has been achieved for a blend consisting of 25 wt\% PABC, which is an order of magnitude higher than the PCE for a 45 wt\% blend. The optimal ratio is at about 0.44:0.56 molar ratio of the active hole transporting to electron transporting moieties. Results of mobility studies suggest that blends with higher PABC loading have efficiencies limited by 'hole' transport. Also responsible for the lower efficiency at higher PABC concentrations was optical filtering. The efficiency does not appear to be limited by deep charge trap**. Density functional theory calculations conducted pointed toward a strong localization of the frontier orbitals, which might offer an explanation for the low PABC hole mobility. Calculated frontier orbital energy levels found band gap to be consistent with the $V_{OC}$ measured.
△ Less
Submitted 21 October, 2016;
originally announced October 2016.
-
Finite symmetries in agent-based epidemic models
Authors:
Gilberto M. Nakamura,
Ana Carolina P. Monteiro,
George C. Cardoso,
Alexandre S. Martinez
Abstract:
We present an algorithm which explores permutation symmetries to describe the time evolution of agent-based epidemic models. The main idea to improve computation times relies on restricting the stochastic process to one sector of the vector space, labeled by a single permutation eigenvalue. In this scheme, the transition matrix reduces to block diagonal form, enhancing computational performance.
We present an algorithm which explores permutation symmetries to describe the time evolution of agent-based epidemic models. The main idea to improve computation times relies on restricting the stochastic process to one sector of the vector space, labeled by a single permutation eigenvalue. In this scheme, the transition matrix reduces to block diagonal form, enhancing computational performance.
△ Less
Submitted 27 September, 2016; v1 submitted 21 September, 2016;
originally announced September 2016.
-
A simple centrality index for scientific social recognition
Authors:
Osame Kinouchi,
Leonardo D. H. Soares,
George C. Cardoso
Abstract:
We introduce a new centrality index for bipartite network of papers and authors that we call $K$-index. The $K$-index grows with the citation performance of the papers that cite a given researcher and can seen as a measure of scientific social recognition. Indeed, the $K$-index measures the number of hubs, defined in a self-consistent way in the bipartite network, that cites a given author. We sho…
▽ More
We introduce a new centrality index for bipartite network of papers and authors that we call $K$-index. The $K$-index grows with the citation performance of the papers that cite a given researcher and can seen as a measure of scientific social recognition. Indeed, the $K$-index measures the number of hubs, defined in a self-consistent way in the bipartite network, that cites a given author. We show that the $K$-index can be computed by simple inspection of the Web of Science platform and presents several advantages over other centrality indexes, in particular Hirsch $h$-index. The $K$-index is robust to self-citations, is not limited by the total number of papers published by a researcher as occurs for the $h$-index and can distinguish in a consistent way researchers that have the same $h$-index but very different scientific social recognition. The $K$-index easily detects a known case of a researcher with inflated number of papers, citations and $h$-index due to scientific misconduct. Finally, we show that, in a sample of twenty-eight physics Nobel laureates and twenty-eight highly cited non-Nobel-laureate physicists, the $K$-index correlates better to the achievement of the prize than the number of papers, citations, citations per paper, citing articles or the $h$-index. Clustering researchers in a $K$ versus $h$ plot reveals interesting outliers that suggest that these two indexes can present complementary independent information.
△ Less
Submitted 28 September, 2017; v1 submitted 16 September, 2016;
originally announced September 2016.
-
Fast computation method for comprehensive agent-level epidemic dissemination in networks
Authors:
Gilberto M. Nakamura,
Ana Carolina P. Monteiro,
George C. Cardoso,
Alexandre S. Martinez
Abstract:
Two simple agent based models are often employed in epidemic studies: the susceptible-infected (SI) and the susceptible-infected-susceptible (SIS). Both models describe the time evolution of infectious diseases in networks in which vertices are either susceptible (S) or infected (I) agents. Predicting the effects of disease spreading is one of the major goals in epidemic studies, but often restric…
▽ More
Two simple agent based models are often employed in epidemic studies: the susceptible-infected (SI) and the susceptible-infected-susceptible (SIS). Both models describe the time evolution of infectious diseases in networks in which vertices are either susceptible (S) or infected (I) agents. Predicting the effects of disease spreading is one of the major goals in epidemic studies, but often restricted to numerical simulations. Analytical methods using operatorial content are subjected to the asymmetric eigenvalue problem, restraining the usability of standard perturbative techniques, whereas numerical methods are limited to small populations since the vector space increases exponentially with population size $N$. Here, we propose the use of the squared norm of probability vector, $\vert P(t)\vert ^2$, to obtain an algebraic equation which allows the evaluation of stationary states, in time independent Markov processes. The equation requires eigenvalues of symmetrized time generators, which take full advantage of system symmetries, reducing the problem to an $O(N)$ sparse matrix diagonalization.
Standard perturbative methods are introduced, creating precise tools to evaluate the effects of health policies.
△ Less
Submitted 24 June, 2016;
originally announced June 2016.
-
Uplink Performance Evaluation of Massive MU-MIMO Systems
Authors:
Felipe A. P. de Figueiredo,
Joao Paulo Miranda,
Fabricio L. Figueiredo,
Fabbryccio A. C. M. Cardoso
Abstract:
The present paper deals with an OFDM-based uplink within a multi-user MIMO (MU-MIMO) system where a massive MIMO approach is employed. In this context, the linear detectors Minimum Mean-Squared Error (MMSE), Zero Forcing (ZF) and Maximum Ratio Combining (MRC) are considered and assessed. This papers includes Bit Error Rate (BER) results for uncoded QPSK/OFDM transmissions through a flat Rayleigh f…
▽ More
The present paper deals with an OFDM-based uplink within a multi-user MIMO (MU-MIMO) system where a massive MIMO approach is employed. In this context, the linear detectors Minimum Mean-Squared Error (MMSE), Zero Forcing (ZF) and Maximum Ratio Combining (MRC) are considered and assessed. This papers includes Bit Error Rate (BER) results for uncoded QPSK/OFDM transmissions through a flat Rayleigh fading channel under the assumption of perfect power control and channel estimation. BER results are obtained through Monte Carlo simulations. Performance results are discussed in detail and we confirm the achievable "massive MIMO" effects, even for a reduced complexity detection technique, when the number of receive antennas at BS is much larger than the number of transmit antennas.
△ Less
Submitted 7 March, 2015;
originally announced March 2015.
-
49 new T dwarfs identified using methane imaging
Authors:
C. V. Cardoso,
B. Burningham,
R. L. Smart,
L. van Spaandonk,
D. Baker,
L. C. Smith,
A. H. Andrei,
B. Bucciarelli,
S. Dhital,
H. R. A. Jones,
M. G. Lattanzi,
A. Magazzu,
D. J. Pinfield,
C. G. Tinney
Abstract:
We present the discovery of 49 new photometrically classified T dwarfs from the combination of large infrared and optical surveys combined with follow-up TNG photometry. We used multi-band infrared and optical photometry from the UKIRT and Sloan Digital Sky Surveys to identify possible brown dwarf candidates, which were then confirmed using methane filter photometry. We have defined a new photomet…
▽ More
We present the discovery of 49 new photometrically classified T dwarfs from the combination of large infrared and optical surveys combined with follow-up TNG photometry. We used multi-band infrared and optical photometry from the UKIRT and Sloan Digital Sky Surveys to identify possible brown dwarf candidates, which were then confirmed using methane filter photometry. We have defined a new photometric conversion between CH4s - CH4l colour and spectral type for T4 to T8 brown dwarfs based on a part of the sample that has been followed up using methane photometry and spectroscopy. Using methane differential photometry as a proxy for spectral type for T dwarfs has proved to be a very efficient technique. Of a subset of 45 methane selected brown dwarfs that were observed spectroscopically, 100% were confirmed as T dwarfs. Future deep imaging surveys will produce large samples of faint brown dwarf candidates, for which spectroscopy will not be feasible. When broad wavelength coverage is unavailable, methane imaging offers a means to efficiently classify candidates from such surveys using just a pair of near-infrared images.
△ Less
Submitted 23 February, 2015;
originally announced February 2015.
-
Discovery of a new Y dwarf: WISE J030449.03-270508.3
Authors:
D. J. Pinfield,
M. Gromadzki,
S. K. Leggett,
J. Gomes,
N. Lodieu,
R. Kurtev,
A. C. Day-Jones,
M. T. Ruiz,
N. J. Cook,
C. V. Morley,
M. S. Marley,
F. Marocco,
R. L. Smart,
H. R. A. Jones,
P. W. Lucas,
Y. Beletsky,
V. D. Ivanov,
B. Burningham,
J. S. Jenkins,
C. Cardoso,
J. Frith,
J. R. A. Clarke,
M. C. Galvez-Ortiz,
Z. Zhang
Abstract:
We present a new Y dwarf, WISE J030449.03-270508.3, confirmed from a candidate sample designed to pick out low temperature objects from the WISE database. The new object is typed Y0pec following a visual comparison with spectral standards, and lies at a likely distance of 10-17 pc. Its tangential velocity suggests thin disk membership, but it shows some spectral characteristics that suggest it may…
▽ More
We present a new Y dwarf, WISE J030449.03-270508.3, confirmed from a candidate sample designed to pick out low temperature objects from the WISE database. The new object is typed Y0pec following a visual comparison with spectral standards, and lies at a likely distance of 10-17 pc. Its tangential velocity suggests thin disk membership, but it shows some spectral characteristics that suggest it may be metal-poor and/or older than previously identified Y0 dwarfs. Based on trends seen for warmer late type T dwarfs, the Y-band flux peak morphology is indicative of sub-solar metallicity, and the enhanced red wing of the J-band flux peak offers evidence for high gravity and/or low metallicity (with associated model trends suggesting an age closer to ~10 Gyr and mass in the range 0.02-0.03 Mo). This object may thus be extending the population parameter-space of the known Y0 dwarfs.
△ Less
Submitted 1 August, 2014;
originally announced August 2014.
-
The discovery of a T6.5 subdwarf
Authors:
Ben Burningham,
L. Smith,
C. V. Cardoso,
P. W. Lucas,
A. J. Burgasser,
H. R. A. Jones,
R. L. Smart
Abstract:
We report the discovery of ULAS J131610.28+075553.0, a sdT6.5 dwarf in the UKIDSS Large Area Survey 2 epoch proper motion catalogue. This object displays significant spectral peculiarity, with the largest yet seen deviations from T6 and T7 templates in the Y and K bands for this subtype. Its large, ~1 arcsec/yr, proper motion suggests a large tangential velocity of Vtan = 240 - 340km/s, if we assu…
▽ More
We report the discovery of ULAS J131610.28+075553.0, a sdT6.5 dwarf in the UKIDSS Large Area Survey 2 epoch proper motion catalogue. This object displays significant spectral peculiarity, with the largest yet seen deviations from T6 and T7 templates in the Y and K bands for this subtype. Its large, ~1 arcsec/yr, proper motion suggests a large tangential velocity of Vtan = 240 - 340km/s, if we assume its MJ lies within the typical range for T6.5 dwarfs. This makes it a candidate for membership of the Galactic halo population. However, other metal poor T dwarfs exhibit significant under luminosity both in specific bands and bolometrically. As a result, it is likely that its velocity is somewhat smaller, and we conclude it is a likely thick disc or halo member. This object represents the only T dwarf earlier than T8 to be classified as a subdwarf, and is a significant addition to the currently small number of known unambiguously substellar subdwarfs.
△ Less
Submitted 23 January, 2014;
originally announced January 2014.