3.1k citations
- University of LisbonPT73 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
6 papers · 1 filter
Pot: Deterministic transactional execution
Tiago M. Vale, João A. Silva, Ricardo J. Dias +1
This paper presents Pot, a system that leverages the concept of preordered transactions to achieve deterministic multithreaded execution of programs that use Transactional Memory.…
Rotational tumbling of Escherichia coli aggregates under shear
R. Portela, P. Patrício, P. L. Almeida +3
Growing living cultures of Escherichia coli bacteria were investigated using real-time in situ rheology and rheo-imaging measurements. In the early stages of growth (lag phase), an…
The ALFA Roman Pot Detectors of ATLAS
S. Abdel Khalek, B. Allongue, F. Anghinolfi +42
The ATLAS Roman Pot system is designed to determine the total proton-proton cross-section as well as the luminosity at the Large Hadron Collider (LHC) by measuring elastic proton s…
Why are we not able to see beyond three dimensions?
Rogério Martins
This is perhaps a philosophical question rather than a mathematical one, we do not expect to give a full answer, even though we hope to clarify some ideas. In addition, we would li…
Angles in normed spaces
Vitor Balestro, Ákos G. Horváth, Horst Martini +1
The concept of angle, angle functions, and the question how to measure angles present old and well-established mathematical topics referring to Euclidean space, and there exist als…
The Actias system: supervised multi-strategy learning paradigm using categorical logic
Carlos Leandro, Helder Pita, Luís Monteiro
One of the most difficult problems in the development of intelligent systems is the construction of the underlying knowledge base. As a consequence, the rate of progress in the dev…