742 citations
- Universidade do PortoPT149 papers
- University of MinhoPT47 papers
- University of LisbonPT20 papers
- University of AveiroPT18 papers
- Polytechnic Institute of PortoPT17 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT16 papers
- University of Beira InteriorPT16 papers
- Institute for Systems Engineering and ComputersPT13 papers
- University of CoimbraPT13 papers
- Carnegie Mellon UniversityUS12 papers
- Universidade PortucalensePT10 papers
- Instituto Superior TécnicoPT9 papers
14 papers · 1 filter
Multiple-choice Vector Bin Packing: Arc-flow Formulation with Graph Compression
Filipe Brandão, João Pedro Pedroso
The vector bin packing problem (VBP) is a generalization of bin packing with multiple constraints. In this problem we are required to pack items, represented by p-dimensional vecto…
3-D position estimation from inertial sensing: minimizing the error from the process of double integration of accelerations
P. Neto, J. N. Pires, A. P Moreira
This paper introduces a new approach to 3-D position estimation from acceleration data, i.e., a 3-D motion tracking system having a small size and low-cost magnetic and inertial me…
The role of logical interpretations in program development
Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa
Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms…
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine
Marek Zawirski, Annette Bieniusa, Valter Balegas +4
Client-side logic and storage are increasingly used in web and mobile applications to improve response time and availability. Current approaches tend to be ad-hoc and poorly integr…
Dynamics of blueshifted floating pulses in gas filled hollow-core photonic crystal fibers
M. Facao, M. I. Carvalho
Frequency blueshifting was recently observed in light pulses propagating on gas filled hollow-core photonic crystal fibers where a plasma has been produced due to photoionization o…
High-level programming and control for industrial robotics: using a hand-held accelerometer-based input device for gesture and posture recognition
Pedro Neto, Norberto Pires, Paulo Moreira
Purpose - Most industrial robots are still programmed using the typical teaching process, through the use of the robot teach pendant. This is a tedious and time-consuming task that…