3.1k citations
- University of LisbonPT74 papers
- Centre National de la Recherche ScientifiqueFR49 papers
- Heidelberg UniversityDE44 papers
- Sorbonne UniversitéFR43 papers
- Justus-Liebig-Universität GießenDE42 papers
- Radboud University NijmegenNL42 papers
- University of EdinburghGB42 papers
- Charles UniversityCZ41 papers
- European Organization for Nuclear ResearchCH41 papers
- New York UniversityUS41 papers
- Stony Brook UniversityUS41 papers
- University of AlbertaCA41 papers
17 papers · 1 filter
Stabilization method with Relativistic Configuration-interaction applied to two-electron resonances
P. Amaro, J. P. Santos, S. Bhattacharyya +2
We applied a relativistic configuration-interaction (CI) framework to the stabilization method as an approach for obtaining the autoionization resonance structure of heliumlike ion…
A Deductive Verification Framework For Higher Order Programs
Tiago Lopes Soares
In this report, we present the preliminary work developed for our research project for the APDC (Área Prática de Desenvolvimento Curricular) course. The main goal of this project i…
Teaching the Machine to Explain Itself using Domain Knowledge
Vladimir Balayan, Pedro Saleiro, Catarina Belém +2
Machine Learning (ML) has been increasingly used to aid humans to make better and faster decisions. However, non-technical humans-in-the-loop struggle to comprehend the rationale b…
Influence of ion induced secondary electron emission on the stability of ionisation vacuum gauges
I. Figueiredo, N. Bundaleski, O. M. N. D. Teodoro +2
Surface modification of different materials exposed to an environment typical for hot cathode ionisation vacuum gauges was investigated. Such environment has been generated in a sp…
Typestates to Automata and back: a tool
André Trindade, João Mota, António Ravara
Development of software is an iterative process. Graphical tools to represent the relevant entities and processes can be helpful. In particular, automata capture well the intended…
Robust and flexible inference for the covariate-specific ROC curve
Vanda Inacio, Vanda M. Lourenco, Miguel de Carvalho +2
Diagnostic tests are of critical importance in health care and medical research. Motivated by the impact that atypical and outlying test outcomes might have on the assessment of th…