2018
Autores
Milas, AS; Sousa, JJ; Warner, TA; Teodoro, AC; Peres, E; Goncalves, JA; Delgado Garcia, J; Bento, R; Phinn, S; Woodget, A;
Publicação
INTERNATIONAL JOURNAL OF REMOTE SENSING
Abstract
2018
Autores
Figueiredo, FO; Figueiredo, AM; Gomes, MI;
Publicação
INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2018 (ICCMSE-2018)
Abstract
Sensory tests are quality assurance tools commonly used to measure and/or detect the presence of abnormal characteristics perceived through the senses in lots of raw material and final products in many manufacturing and food industries. In this paper two acceptance sampling plans for sensory evaluation are designed, and an illustration of the performance of such plans applied to a real data set is presented.
2018
Autores
Carvalho, NR; Barbosa, LS;
Publicação
Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018
Abstract
Regulations, laws, norms, and other documents of legal nature are a relevant part of any governmental organisation. During digitisation and transformation stages towards a digital government model, information and communication technologies are explored to improve internal processes and working practices of government infrastructures. This paper introduces preliminary results on a research line devoted to developing visualisation techniques for enhancing the readability and comprehension of legal texts. The content of documents is conveyed to a well-defined model, which is enriched with semantic information extracted automatically. Then, a set of digital views are created for document exploration from both a structural and semantic point of view. Effective and easier to use digital interfaces can enable and promote citizens engagement in decision-making processes, provide information for the public, and also enhance the study and analysis of legal texts by lawmakers, legal practitioners, and assorted scholars. © 2018 Copyright is held by the owner/author(s). Publication rights licensed to ACM.
2018
Autores
Duarte, FL; Félix de Castro, A; Gadelha Queiroz, PG;
Publicação
Computer Science & Information Technology
Abstract
2018
Autores
Couto, R; Campos, JC; Macedo, N; Cunha, A;
Publicação
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Abstract
Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE provides a visualizer that produces graphical representations of analysis results, which is essential for the proper validation of the model. Alloy is a rich language but inherently static, so behavior needs to be explicitly encoded and reasoned about. Even though this is a common scenario, the visualizer presents limitations when dealing with such models. The main contribution of this paper is a principled approach to generate instance visualizations, which improves the current Alloy Visualizer, focusing on the representation of behavior.
2018
Autores
Figueiredo, F; Figueiredo, A; Gomes, MI;
Publicação
Contributions to Statistics - Recent Studies on Risk Analysis and Statistical Modeling
Abstract
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.