Institution
University of Lisbon
Education•Lisbon, Lisboa, Portugal•
About: University of Lisbon is a education organization based out in Lisbon, Lisboa, Portugal. It is known for research contribution in the topics: Population & European union. The organization has 19122 authors who have published 48503 publications receiving 1102623 citations. The organization is also known as: Universidade de Lisboa & Lisbon University.
Papers published on a yearly basis
Papers
More filters
TL;DR: An in-depth analysis of 22 studies on automatic cyberbullying detection is conducted, complemented by an experiment to validate current practices through the analysis of two datasets and indicates that cyberbullies is often misrepresented in the literature, leading to inaccurate systems that would have little real-world application.
178 citations
TL;DR: The present document refers to Part 1 and reviews the major lines of research and main contributions in the field of occupational safety and health in the construction industry and proposes and details the Occupational Safety and Health Potential Risk Model (OSH-PRM) that was designed to allow estimating the statistical cost of occupationalsafety and health risk.
178 citations
TL;DR: There was often a lack of practical detail to support the educational community in enactment of novel interventions, as well as limited evaluation data, and there was an indication that outcome data and greater detail will be reported in the future.
Abstract: The novel coronavirus disease (COVID-19) was declared a pandemic in March 2020. This rapid systematic review synthesised published reports of medical educational developments in response to the pan...
178 citations
TL;DR: In this article, the authors explore whether short-term rental platforms such as Airbnb channel investment in residential real estate and the way in which they are used in the real estate market.
Abstract: Through detailed empirical analysis of a central area of Lisbon, this paper explores whether short-term rental platforms such as Airbnb channel investment in residential real estate and the way in ...
178 citations
09 Jul 2018
TL;DR: The PySAT toolkit is proposed, which enables fast Python-based prototyping using SAT oracles and SAT-related technology and also integrates a number of cardinality constraint encodings, all aiming at simplifying the prototyping process.
Abstract: Boolean satisfiability (SAT) solvers are at the core of efficient approaches for solving a vast multitude of practical problems. Moreover, albeit targeting an NP-complete problem, SAT solvers are increasingly used for tackling problems beyond NP. Despite the success of SAT in practice, modeling with SAT and more importantly implementing SAT-based problem solving solutions is often a difficult and error-prone task. This paper proposes the PySAT toolkit, which enables fast Python-based prototyping using SAT oracles and SAT-related technology. PySAT provides a simple API for working with a few state-of-the-art SAT oracles and also integrates a number of cardinality constraint encodings, all aiming at simplifying the prototyping process. Experimental results presented in the paper show that PySAT-based implementations can be as efficient as those written in a low-level language.
178 citations
Authors
Showing all 19716 results
| Name | H-index | Papers | Citations |
|---|---|---|---|
| Joao Seixas | 153 | 1538 | 115070 |
| A. Gomes | 150 | 1862 | 113951 |
| Marco Costa | 146 | 1458 | 105096 |
| António Amorim | 136 | 1477 | 96519 |
| Osamu Jinnouchi | 135 | 885 | 86104 |
| P. Verdier | 133 | 1111 | 83862 |
| Andy Haas | 132 | 1096 | 87742 |
| Wendy Taylor | 131 | 1252 | 89457 |
| Steve McMahon | 130 | 878 | 78763 |
| Timothy Andeen | 129 | 1069 | 77593 |
| Heather Gray | 129 | 966 | 80970 |
| Filipe Veloso | 128 | 887 | 75496 |
| Nuno Filipe Castro | 128 | 960 | 76945 |
| Oliver Stelzer-Chilton | 128 | 1141 | 79154 |
| Isabel Marian Trigger | 128 | 974 | 77594 |