Find Research outputs

Search results

• Conference contribution

  Towards EI as a science: Considerations and points of view

  Jardim-Goncalves, R. & Garcao, A. S., 2009, 2009 IEEE International Technology Management Conference, ICE 2009. Institute of Electrical and Electronics Engineers (IEEE), 7461396

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Towards emotion related feature extraction based on generalized source-independent event detection

  Santos, R. M., Sousa, J., Marques, C. J., Gamboa, H. & Silva, H. G., 2012, Proceedings of the 2nd International Workshop on Computing Paradigms for Mental Health, MindCare 2012, in Conjunction with BIOSTEC 2012. p. 71-78 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards Encoding Background Knowledge with Temporal Extent into Neural Networks

  Cavalheiro Marques, N. M., 1 Jan 2010, Lecture Notes in Computer Science. Bi, Y. & Williams, M. (eds.). Springer, Vol. 6291. p. 63-75

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Towards FPGA learning through a game-based approach

  Marcelo, M. & Moutinho, F., 2021, Atas das XVII Jornadas sobre Sistemas Reconfiguráveis, REC'2021.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Towards generic query, update, and event languages for the semantic web

  May, W. & Alferes, J. J. A., 1 Jan 2004, Lecture Notes in Computer Science. Vol. 3208. p. 19-33 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  2 Citations (Scopus)

• Towards Global and Local Types for Adaptation

  Bravetti, M., Carbone, M., Hildebrandt, T., Lanese, I., Mauro, J., Pérez, J. A. & Zavattaro, G., 2014, SOFTWARE ENGINEERING AND FORMAL METHODS. Counsell, S. & Nunez, M. (eds.). SPRINGER INT PUBLISHING AG, p. 3-14 12 p. (Lecture Notes in Computer Science; vol. 8368).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  12 Citations (Scopus)

• Towards Identifying Augmented Reality Unique Attributes to Facilitate Chemistry Learning

  Olim, S. C., Nisi, V. & Romão, T., 2021, Human-Computer Interaction – INTERACT 2021: 18th IFIP TC 13 International Conference, Proceedings. Ardito, C., Lanzilotti, R., Malizia, A., Malizia, A., Petrie, H., Piccinno, A., Desolda, G. & Inkpen, K. (eds.). Cham: Springer, Vol. Part IV. p. 513-516 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12936 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards Lean Ground Handling Processes at an Airport

  Barroso, A. P., Machado, V. H. & Carvalho, H., 2020, Proceedings of the 6th European Lean Educator Conference, ELEC 2019. Rossi, M., Rossini, M. & Terzi, S. (eds.). Cham: Springer, p. 221-230 10 p. (Lecture Notes in Networks and Systems; vol. 122).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards measuring information interoperability based on model transformations

  Maló, P. M. N., 1 Jan 2011, Iberian Conferences on Information Systems and Technologies (CISTI). p. 1-4

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  1 Citation (Scopus)

• Towards Medical Device Behavioural Validation Using Petri Nets

  Barbosa, P. E. S., Morais, M., Galdino, K., Andrade, M., Gomes, L. F. D. S., Moutinho, F. & Figueiredo, J. C. A., 2013, 2013 IEEE 26th International Symposium on Computer-Based Medical Systems (CBMS). New York: Institute of Electrical and Electronics Engineers (IEEE), p. 4-10 6627756

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  7 Citations (Scopus)

• Towards modeling a collaborative environment for extension of professional active life

  Afsarmanesh, H. & Camarinha-Matos, L., 1 Jan 2009, Leveraging Knowledge for Innovation in Collaborative Networks: 10th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2009, Thessaloniki, Greece, October 7-9, 2009. Proceedings. Camarinha-Matos, L. M., Afsarmanesh, H. & Paraskakis, I. (eds.). Berlin, Heidelberg: Springer, p. 721-732 12 p. (IFIP Advances in Information and Communication Technology; vol. 307).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  1 Citation (Scopus)

• Towards modeling morality computationally with logic programming

  Saptawijaya, A. & Pereira, L. M., 7 Feb 2014, Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings. p. 104-119 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8324 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  13 Citations (Scopus)

• Towards modular i* models

  Júnior, J. B. D. S. A. & Moreira, A. M. D., 1 Jan 2010, ACM SAC. p. 292-297

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  28 Citations (Scopus)

• Toward social paradigms for mobile context-Aware computing in smart cities: Position paper

  Kamberov, R., Santos, V. & Granell, C., 25 Jul 2016, Proceedings of the 11th Iberian Conference on Information Systems and Technologies, CISTI 2016. IEEE Computer Society, Vol. 2016-July. 7521453

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  3 Citations (Scopus)

• Towards ontology harmonization of mechanical manufacture constraints through PLC

  DEE Group Author & Jardim-gonçalves, R. L. R., 1 Jan 2009, -. p. -

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards Practical Tabled Abduction in Logic Programs

  Saptawijaya, A. & Pereira, L. M., 2013, PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013. Correia, L., Reis, LP. & Cascalho, J. (eds.). SPRINGER-VERLAG BERLIN, p. 223-234 12 p. (Lecture Notes in Artificial Intelligence; vol. 8154).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  2 Citations (Scopus)

• Towards Practical Tabled Abduction Usable in Decision Making

  Saptawijaya, A. & Pereira, L. M., 2013, INTELLIGENT DECISION TECHNOLOGIES. NevesSilva, R., Watada, J., PhillipsWren, G., Jain, LC. & Howlett, RJ. (eds.). IOS Press, p. 429-438 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 255).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  4 Citations (Scopus)

• Towards Provenance in Heterogeneous Knowledge Bases

  Knorr, M., Damásio, C. V., Gonçalves, R. & Leite, J., 2022, Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). Cham: Springer, p. 287-300 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13416).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web

  Alferes, J. J. A., Amador, R. & Kärger, P., 1 Jan 2008, CEUR WS-proceedings. Vol. 401. p. 0

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  1 Citation (Scopus)

• Towards remote monitoring and reconfiguration of FPGA-based controllers using IOPT-Tools

  Alves, G., Moutinho, F., Campos-Rebelo, R. & Gomes, L., 2020, Atas das XVI Jornadas sobre Sistemas Reconfiguráveis, REC'2020. p. 28-29 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  10 Downloads (Pure)

• Towards security modeling of E-voting systems

  de Faveri, C., Moreira, A., Araújo, J. & Amaral, V., 12 Jan 2017, Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016. Institute of Electrical and Electronics Engineers (IEEE), p. 145-154 10 p. 7815620

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  20 Citations (Scopus)

• Towards Segmentation and Labelling of Motion Data in Manufacturing Scenarios

  Santos, A., Rodrigues, J., Folgado, D., Santos, S., Fujão, C. & Gamboa, H., 2022, Biomedical Engineering Systems and Technologies - 14th International Joint Conference, BIOSTEC 2021, Revised Selected Papers. Gehin, C., Wacogne, B., Douplik, A., Lorenz, R., Bracken, B., Pesquita, C., Fred, A., Fred, A. & Gamboa, H. (eds.). Cham: Springer, p. 80-101 22 p. (Communications in Computer and Information Science; vol. 1710 CCIS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  1 Downloads (Pure)

• Towards self-evolutionary cyber physical systems

  Ghimire, S., Luis-Ferreira, F., Jardim-Gonçalves, R. & Nodehi, T., 2014, Moving Integrated Product Development to Service Clouds in the Global Economy - Proceedings of the 21st ISPE Inc. International Conference on Concurrent Engineering, CE 2014. Chou, S-Y., Stjepandic, J., Xu, W., Cha, J. & Curran, R. (eds.). IOS Press BV, p. 547-554 8 p. (Advances in Transdisciplinary Engineering; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards single cell spectroscopy and refractometry in microfluidic chip platforms

  Águas, H. M. B. & Oliva, A. M., 1 Jan 2011, SPIE Proceedings. Vol. 8001. p. 800122

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  1 Citation (Scopus)

• Towards smart agriculture using FIWARE enablers

  Ferreira, D., Corista, P., Giao, J., Ghimire, S., Sarraipa, J. & Jardim-Goncalves, R., 2 Feb 2018, 2017 International Conference on Engineering, Technology and Innovation: Engineering, Technology and Innovation Management Beyond 2020: New Challenges, New Approaches, ICE/ITMC 2017 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), Vol. 2018-January. p. 1544-1551 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  13 Citations (Scopus)

• Towards Statecharts to Input-Output Place Transition Nets Transformations

  Gomes, L. F. D. S. & DEE Group Author, 1 Jan 2011, Doctoral Conference on Computing, Electrical and Industrial Systems. Vol. 349. p. 227-236

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  6 Citations (Scopus)

• Towards static deadlock resolution in the π-calculus

  Giunti, M. & Ravara, A., 2014, Trustworthy Global Computing - 8th International Symposium, TGC 2013, Revised Selected Papers. Springer Verlag, Vol. 8358 LNCS. p. 136-155 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8358 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  3 Citations (Scopus)

• Towards supply chain sustainability: balancing costs with environmental and social impacts

  Gomes, M. I. A. R., 1 Jan 2013, Computer Aided Chemical Engineering. Kraslawski, A. & Turunen, I. (eds.). Filand: Elsevier, p. 895-900

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  10 Citations (Scopus)

• Towards systematic spreadsheet construction processes

  Mendes, J., Cunha, J., Duarte, F., Engels, G., Saraiva, J. & Sauer, S., 30 Jun 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. Institute of Electrical and Electronics Engineers (IEEE), p. 356-358 3 p. 7965357

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  1 Citation (Scopus)

• Towards the application of a model based design methodology for reliable control systems on HEP experiments

  Júnior, J. B. D. S. A., Moreira, A. M. D. & Amaral, V. M. M. D., 1 Jan 2009, IEEE NUCLEAR SCIENCE SYMPOSIUM - CONFERENCE. p. 84-91

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  2 Citations (Scopus)

• Towards the design and implementation of aspect-oriented programming for spreadsheets

  Maia, P., Mendes, J., Cunha, J., Rebêlo, H. & Saraiva, J., 2015, 2nd Workshop on Software Engineering Methods in Spreadsheets. CEUR Workshop Proceedings, Vol. 1355. p. 7-13 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards the Detection of Malicious URL and Domain Names Using Machine Learning

  Ghalati, N. F., Ghalaty, N. F. & Barata, J., 2020, Technological Innovation for Life Improvement - 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Proceedings. Camarinha-Matos, L. M., Farhadi, N., Lopes, F. & Pereira, H. (eds.). Cham: Springer, p. 109-117 9 p. (IFIP Advances in Information and Communication Technology; vol. 577).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  3 Citations (Scopus)

• Towards the Development and Validation of a Smartphone-Based Pupillometer for Neuro-Ophthalmological Diseases Screening

  Sousa, A. I., Neves, C. M., Pinto, L. A. & Vieira, P., 2021, Biomedical Engineering Systems and Technologies: 13th International Joint Conference, BIOSTEC 2020, Revised Selected Papers. Ye, X., Soares, F., De Maria, E., Gómez Vilda, P., Cabitza, F., Fred, A. & Gamboa, H. (eds.). Cham: Springer, p. 39-52 14 p. (Communications in Computer and Information Science; vol. 1400 CCIS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  1 Citation (Scopus)

  9 Downloads (Pure)

• Towards the development of a complete GP system on an FPGA using geometric semantic operators

  Goribar-Jimenez, C., Maldonado, Y., Trujillo, L., Castelli, M., Goncalves, I. & Vanneschi, L., 5 Jul 2017, 2017 IEEE Congress on Evolutionary Computation, CEC 2017 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 1932-1939 8 p. 7969537

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  2 Citations (Scopus)

• Towards the framework for the design of human centric internet of things

  Luís-Ferreira, F., Ghimire, S., Zdravkovic, M. & Jardim-Gonçalves, R., 2014, Advanced Manufacturing. American Society of Mechanical Engineers (ASME), 38278. (ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE); vol. 2B).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards the improvement of use case models: the AIRDoc process

  Júnior, J. B. D. S. A., 1 Jan 2011, ACM SAC. p. 708-709

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Towards the opportunistic combination of mobile ad-hoc networks with infrastructure access

  Leitão, J., Preguiça, N., Lourenço, J. M. & Paulino, H., 12 Dec 2016, Proceedings of the 1st Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2016. Association for Computing Machinery, Inc, a3

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  6 Citations (Scopus)

• Towards the structure of mathematical proof

  Kahle, R., 1 Jan 2014, CEUR Workshop Proceedings. p. 7

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards the Transparent Execution of Compound OpenCL Computations in Multi-CPU/Multi-GPU Environments

  Soldado, F., Alexandre, F. & Paulino, H. M. C., 2014, EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS. SPRINGER-VERLAG BERLIN, Vol. Pt. 1. p. 177-188 (Lecture Notes in Computer Science; vol. 8805).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  2 Citations (Scopus)

• Towards the Understanding of Interaction in Information Visualization

  Figueiras, A. R., 2015, Information Visualisation (iV), 2015 19th International Conference on. IEEE Conference Publications ed. Institute of Electrical and Electronics Engineers (IEEE), p. 140 - 147 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  18 Citations (Scopus)

  67 Downloads (Pure)

• Towards the use of machine learning algorithms to enhance the effectiveness of search strings in secondary studies

  Cairo, L., Monteiro, M. P., Carneiro, G. D. F. & Brito E Abreu, F., 23 Sept 2019, Proceedings of the 33rd Brazilian Symposium on Software Engineering, SBES 2019. Association for Computing Machinery, p. 22-26 5 p. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  1 Citation (Scopus)

• Towards the use of Place/Transition net tools for analysis of IOPT models

  Barros, J. P. & Gomes, L. F. D. S., 2014, 2014 IEEE 23rd International Symposium on Industrial Electronics, ISIE. p. 1141-1146 6864774. (Proceedings of the IEEE International Symposium on Industrial Electronics).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  1 Citation (Scopus)

• Towards the use of Unbundle Smart Meter for advanced inverters integration

  Delgado-Gomes, V., Martins, J. F., Lima, C. & Borza, P. N., 3 Aug 2017, Proceedings - 2017 IEEE International Symposium on Industrial Electronics, ISIE 2017. Institute of Electrical and Electronics Engineers (IEEE), p. 1721-1724 4 p. 8001507

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  8 Citations (Scopus)

• Towards the Use of XOR-Based Routing Protocols in Vehicular Ad Hoc Networks

  Pinto, P. D. C. L. D. F., Oliveira, R. A. D., Bernardo, L. F. L., Dinis, R. M. H. D. M. & DEE Group Author, 1 Jan 2011, IEEE Vehicular Technology Conference (VTC Spring). p. 1-6

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  8 Citations (Scopus)

• Towards to a Web Service alert software system for standard electrical protective devices

  Pereira, P. M. R., DEE Group Author & Martins, J. F. A., 1 Jan 2012, International Conference on Intelligent Engineering Systems (INES). p. 197-201

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Towards tractable local closed world reasoning for the semantic web

  Knorr, M., Alferes, J. J. & Hitzler, P., 1 Dec 2007, Progress in Artificial Intelligence - 13th Portuguese Conference on Artificial Intelligence, EPIA 2007 Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Proceedings. Neves, J., Santos, M. F. & Machado, J. M. (eds.). Springer Verlag, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4874 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  1 Citation (Scopus)

• Towards trustworthy tracing responsibility of collaborative software engineering artefacts of student's software projects

  Almeida, J. & Amaral, V., 2022, Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022. Va Leong, H., Sarvestani, S. S., Teranishi, Y., Cuzzocrea, A., Kashiwazaki, H., Towey, D., Yang, J-J. & Shahriar, H. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 151-160 10 p. (Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Toxicity of Ashes Produced During the Combustion and Co-combustion of Coal and Meat and Bone Meal in a Fluidized-Bed Reactor

  Mendes, B. S. & Nunes, N. C. L. D. S., 1 Jan 2009, NA. p. 10 pp.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Toxicity of Ashes Produced During the Combustion and Co-combustion of Coal and Meat and Bone Meal in a Fluidized- Bed Reactor.

  Mendes, B. S. & Nunes, N. C. L. D. S., 1 Jan 2009, NA. Cossu, R., Diaz, L. & Stegmann, R. (eds.). Cagliari: CISA Environmental Sanitary Engineering Centre, p. 12

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Trabalho, cidadania e reconhecimento: a dificuldade de consolidar direitos sociais

  Martins, L., 1 Jan 2011, Actas do XVI Seminário Académico APEC – Associación de Investigadores y Estudiantes Brasileños en Catalunya. p. CD Rom

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review