INESC TEC Repository
Not a member yet
    2130 research outputs found

    Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars

    Get PDF
    Language designers usually need to implement parsers and printers. Despite being two closely related programs, in practice they are often designed separately, and then need to be revised and kept consistent as the language evolves. It will be more convenient if the parser and printer can be unified and developed in a single program, with their consistency guaranteed automatically. Furthermore, in certain scenarios (like showing compiler optimisation results to the programmer), it is desirable to have a more powerful reflective printer that, when an abstract syntax tree corresponding to a piece of program text is modified, can propagate the modification to the program text while preserving layouts, comments, and syntactic sugar. To address these needs, we propose a domain-specific language BiYacc, whose programs denote both a parser and a reflective printer for a fully disambiguated context-free grammar. BiYacc is based on the theory of bidirectional transformations, which helps to guarantee by construction that the generated pairs of parsers and reflective printers are consistent. Handling grammatical ambiguity is particularly challenging: we propose an approach based on generalised parsing and disambiguation filters, which produce all the parse results and (try to) select the only correct one in the parsing direction; the filters are carefully bidirectionalised so that they also work in the printing direction and do not break the consistency between the parsers and reflective printers. We show that BiYacc is capable of facilitating many tasks such as Pombrio and Krishnamurthi's 'resugaring', simple refactoring, and language evolution

    A full-stack model proposal to willingly implement E-learning at small universities: The University of Trás-Os-Montes E Alto Douro case

    Get PDF
    This paper presents a model of a system capable of addressing the training needs identified for small universities, using the University of Trás-os-Montes e Alto Douro (UTAD) as a case study. In addition to supporting the typical needs of distance learning/education (e.g., e-learning), it is also intended that the proposed system complements the traditional classroom-based teaching. This model will have two modules: the physical/infrastructural module and the policies/practices module. While the physical module will have all the infrastructure services associated with educational practices, such as the e-learning platform, the policy module will include institutional policies and rules in the creation, development, practice and management of courses, equipment and physical spaces, such as exam rooms. In line with these, UTAD has come to recognize that e-learning should be part of its strategy for its training offer and, consequently, is being adopting new policies, namely through the signing of protocols with other institutions with more experience using e-learning. As such, a review of other models and systems that have been successfully implemented in other international reference universities will also be briefly presented here. The courses implemented so far, and the results achieved, are also presented and commented. © Italian e-Learning Association

    802.11 wireless simulation and anomaly detection using HMM and UBM

    Get PDF
    Despite the growing popularity of 802.11 wireless networks, users often suffer from connectivity problems and performance issues due to unstable radio conditions and dynamic user behavior, among other reasons. Anomaly detection and distinction are in the thick of major challenges that network managers encounter. The difficulty of monitoring broad and complex Wireless Local Area Networks, that often requires heavy instrumentation of the user devices, makes anomaly detection analysis even harder. In this paper we exploit 802.11 access point usage data and propose an anomaly detection technique based on Hidden Markov Model (HMM) and Universal Background Model (UBM) on data that is inexpensive to obtain. We then generate a number of network anomalous scenarios in OMNeT /INET network simulator and compare the detection outcomes with those in baseline approaches—RawData and Principal Component Analysis. The experimental results show the superiority of HMM and HMM-UBM models in detection precision and sensitivity. </jats:p

    VisWebDrone: A Web Application for UAV Photogrammetry Based on Open-Source Software

    Get PDF
    Currently, the use of free and open-source software is increasing. The flexibility, availability, and maturity of this software could be a key driver to develop useful and interesting solutions. In general, open-source solutions solve specific tasks that can replace commercial solutions, which are often very expensive. This is even more noticeable in areas requiring analysis and manipulation/visualization of a large volume of data. Considering that there is a major gap in the development of web applications for photogrammetric processing, based on open-source technologies that offer quality results, the application presented in this article is intended to explore this niche. Thus, in this article a solution for photogrammetric processing is presented, based on the integration of MicMac, GeoServer, Leaflet, and Potree software. The implemented architecture, focusing on open-source software for data processing and for graphical manipulation, visualization, measuring, and analysis, is presented in detail. To assess the results produced by the proposed web application, a case study is presented, using imagery acquired from an unmanned aerial vehicle in two different areas.</jats:p

    Efficient procedures for the weighted squared tardiness permutation flowshop scheduling problem

    Get PDF
    This paper addresses a permutation flowshop scheduling problem, with the objective of minimizing total weighted squared tardiness. The focus is on providing efficient procedures that can quickly solve medium or even large instances. Within this context, we first present multiple dispatching heuristics. These include general rules suited to various due date-related environments, heuristics developed for the problem with a linear objective function, and procedures that are suitably adapted to take the squared objective into account. Then, we describe several improvement procedures, which use one or more of three techniques. These procedures are used to improve the solution obtained by the best dispatching rule. Computational results show that the quadratic rules greatly outperform the linear counterparts, and that one of the quadratic rules is the overall best performing dispatching heuristic. The computational tests also show that all procedures significantly improve upon the initial solution. The non-dominated procedures, when considering both solution quality and runtime, are identified. The best dispatching rule, and two of the non-dominated improvement procedures, are quite efficient, and can be applied to even very large-sized problems. The remaining non-dominated improvement method can provide somewhat higher quality solutions, but it may need excessive time for extremely large instances

    Detecting and Solving Tube Entanglement in Bin Picking Operations

    Get PDF
    Manufacturing and production industries are increasingly turning to robots to carry out repetitive picking operations in an efficient manner. This paper focuses on tackling the novel challenge of automating the bin picking process for entangled objects, for which there is very little research. The chosen case study are sets of freely curved tubes, which are prone to occlusions and entanglement. The proposed algorithm builds a representation of the tubes as an ordered list of cylinders and joints using a point cloud acquired by a 3D scanner. This representation enables the detection of occlusions in the tubes. The solution also performs grasp planning and motion planning, by evaluating post-grasp trajectories via simulation using Gazebo and the ODE physics engine. A force/torque sensor is used to determine how many items were picked by a robot gripper and in which direction it should rotate to solve cases of entanglement. Real-life experiments with sets of PVC tubes and rubber radiator hoses showed that the robot was able to pick a single tube on the first try with success rates of 99% and 93%, respectively. This study indicates that using simulation for motion planning is a promising solution to deal with entangled objects.</jats:p

    Solving the grocery backroom layout problem

    Get PDF

    Forestry Remote Sensing from Unmanned Aerial Vehicles: A Review Focusing on the Data, Processing and Potentialities

    Get PDF
    Currently, climate change poses a global threat, which may compromise the sustainability of agriculture, forestry and other land surface systems. In a changing world scenario, the economic importance of Remote Sensing (RS) to monitor forests and agricultural resources is imperative to the development of agroforestry systems. Traditional RS technologies encompass satellite and manned aircraft platforms. These platforms are continuously improving in terms of spatial, spectral, and temporal resolutions. The high spatial and temporal resolutions, flexibility and lower operational costs make Unmanned Aerial Vehicles (UAVs) a good alternative to traditional RS platforms. In the management process of forests resources, UAVs are one of the most suitable options to consider, mainly due to: (1) low operational costs and high-intensity data collection; (2) its capacity to host a wide range of sensors that could be adapted to be task-oriented; (3) its ability to plan data acquisition campaigns, avoiding inadequate weather conditions and providing data availability on-demand; and (4) the possibility to be used in real-time operations. This review aims to present the most significant UAV applications in forestry, identifying the appropriate sensors to be used in each situation as well as the data processing techniques commonly implemented.</jats:p

    861

    full texts

    2,130

    metadata records
    Updated in last 30 days.
    INESC TEC Repository is based in Portugal
    Access Repository Dashboard
    Do you manage Open Research Online? Become a CORE Member to access insider analytics, issue reports and manage access to outputs from your repository in the CORE Repository Dashboard! 👇