17 citations
- University of LisbonPT11 papers
- University of St AndrewsGB3 papers
- Bielefeld UniversityDE2 papers
- Queen Mary University of LondonGB2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Colorado State UniversityUS1 paper
- IIT@MITUS1 paper
- Institute of MathematicsPL1 paper
- Instituto Politécnico de LisboaPT1 paper
- Instituto Superior TécnicoPT1 paper
- Kennesaw State UniversityUS1 paper
- Mississippi State UniversityUS1 paper
5 papers · 1 filter
InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees
Nghi D. Q. Bui, Yijun Yu, Lingxiao Jiang
Building deep learning models on source code has found many successful software engineering applications, such as code search, code comment generation, bug detection, code migratio…
Introducing edge-biregular maps
Olivia Reade Jeans
We introduce the concept of alternate-edge-colourings for maps, and study highly symmetric examples of such maps. Edge-biregular maps of type occur as smooth normal quotien…
Aligning Intraobserver Agreement by Transitivity
Jacopo Amidei
Annotation reproducibility and accuracy rely on good consistency within annotators. We propose a novel method for measuring within annotator consistency or annotator Intraobserver…
Proving the Relativistic Rotation Paradox
Christian P. H. Salas
An apparent paradox in Einstein's Special Theory of Relativity, known as a Thomas precession rotation in atomic physics, has been verified experimentally in a number of ways. Howev…
Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems
Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh
Many software systems have become too large and complex to be managed efficiently by human administrators, particularly when they operate in uncertain and dynamic environments and…