Find Research outputs

Search results

• Conference contribution

  Snapshot Isolation Anomalies Detection in Software Transactional Memory

  Lourenço, J. M. D. S. & Seco, J. R. V. D. C., 1 Jan 2010, INForum. Universidade do Minho, p. 31-42

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

• SNITCH: A Platform for Information Flow Control

  Geraldo, E., 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. ter Beek, M. H. & Monahan, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 365-368 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13274 LNCS).

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

• SNN Input Parameters: how are they related?

  Moreira, G., Santos, M. Y. & Moura-Pires, J., 2013, 2013 19TH IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2013). IEEE, p. 492-497 6 p. (International Conference on Parallel and Distributed Systems - Proceedings).

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

• SnO₂ thin Film Oxides Produced by rf Sputtering for Transparent Thermoelectric Devices

  Ferreira, M., Loureiro, J., Nogueira, A., Rodrigues, A., Martins, R. & Ferreira, I. M. M., 2015, Materials Today: Proceedings. Elsevier Ltd, Vol. 2. p. 647-653 7 p. (Materials Today: Proceedings; vol. 2, no. 2).

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

• SOA at device level in the industrial domain: Assessment of OPC UA and DPWS specifications

  Barata Oliveira, J. A. & DEE Group Author, 1 Jan 2010, -. p. 598-603

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

  Open Access
  76 Citations (Scopus)

• Sobre a construção inferencial do conhecimento a partir de três verbos de percepção sensorial

  Oliveira, M. T. F. D., 1 Jan 2011, XXVI Encontro Nacional da Associação Portuguesa de Linguística. Textos Seleccionados. p. 460-474

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

• Sobre a importância da política pública de informação geográfica. Lições e perspectivas da experiência Portuguesa

  Julião, R. P. S. P. M., 1 Jan 2014, 11º Congresso de Cadastro Técnico Multifinalitário e Gestão Territorial. Florianópolis (Brasil: COBRAC 2014, Vol. online. p. online

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

• Sobre a natureza tensional e constitutiva da representação política: e suas implicações para o pensamento democrático

  Magalhães, P. M. T., 2013, Cadernos Mateus DOC: Representação. Vila Real: Casa de Mateus, Vol. 4. p. 41-53 12 p.

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

• Sobre a ocupação pré-romana de Olisipo: a intervenção arqueológica urbana da Rua de São Mamede ao Caldas n.º15

  Pimenta, J., Silva, R. B. D. & Calado, M., 1 Jan 2014, Fenícios e Púnicos por terra e mar: Actas do VI Congresso Internacional de Estudos Fenícios e Púnicos . Arruda, A. M. (ed.). Lisboa: UNIARQ, Vol. 2. p. 724-735 11 p. (Estudos & Memórias; vol. 6).

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

  Open Access

  File
  350 Downloads (Pure)

• Sobre concordância nominal em crianças com Perturbação Específica do Desenvolvimento da Linguagem

  Castro, A. L. A. D. S. F. D., 1 Jan 2011, Textos Seleccionados do XXVI Encontro Nacional da Associação Portuguesa de Linguística. p. 111-124

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

• Sobre o uso do tubo de Pitot para localizar o ponto de sela num escoamento com rotação

  Translated title of the contribution: On the use of the Pitot tube to locate the saddle point in a swirling flowVaz, D. C. & Camilo, E., 2017, 13.º Congresso Ibero-americano de Engenharia Mecânica. 7 p. 0933

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

• Sobre um Mecanismo de Controlo de Concorrência baseado em Grupos de Recursos

  Paulino, H. M. C., 1 Jan 2012, INForum. p. 302-305

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

• Social Abstract Argumentation

  Leite, J. A. C. P., 1 Jan 2011, IJCAI/AAAI. IJCAI/AAAI, p. 2287-2292

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

  152 Citations (Scopus)

• Socialismo democrático e social-democracia: entre o discurso e a prática de Mário Soares - 1964/1979

  Castaño, D., 2013, Atas I Congresso de História Contemporânea. Rollo, M. F., Tavares Ribeiro, M. M., Pires, A. P. & Nunes, J. P. A. (eds.). IHC / CEIS20 / Rede História, p. 489-498 9 p.

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

  Open Access

  File
  942 Downloads (Pure)

• Social manifestation of guilt leads to stable cooperation in multi-agent systems

  Pereira, L. M., Lenaerts, T., Martinez-Vaquero, L. A. & Han, T. A., 2017, 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017. Durfee, E., Winikoff, M., Larson, K. & Das, S. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 3. p. 1421-1430 10 p.

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

  22 Citations (Scopus)

• Social market: Stock market and twitter correlation

  Bernardo, I., Henriques, R. & Lobo, V., 2018, Intelligent Decision Technologies 2017: Proceedings of the 9th KES International Conference on Intelligent Decision Technologies, KES-IDT 2017. Springer Science and Business Media Deutschland GmbH, p. 341-356 16 p. (Smart Innovation, Systems and Technologies; vol. 73).

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

• Social networks: Intentions and usage

  Costa, C. J. & Aparicio, M., 16 Sep 2013, Proceedings of International Conference on Information Systems and Design of Communication, ISDOC 2013. p. 101-107 7 p.

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

• Social networks sites adoption at firm level: A literature review

  Martins, J., Gonçalves, R., Pereira, J., Oliveira, T. & Cota, M. P., 1 Jan 2014, 9th Iberian Conference on Information Systems and Technologies, CISTI 2014. IEEE Computer Society, 6876910. (Iberian Conference on Information Systems and Technologies, CISTI).

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

• Sociedad y conformación urbanística en la Alta Extremadura (siglos XIV-XVI): los trazados de Cáceres y Valencia de Alcántara

  Translated title of the contribution: Society and urban planning in Alta Extremadura (14th-16th centuries): the urban layouts of Cáceres and Valencia de AlcántaraQuijada, L. C., 2017, O papel das pequenas cidades na construção da Europa medieval. Costa, A. M. D., Andrade, A. A. & Tente, C. (eds.). Lisboa: IEM - Instituto de Estudos Medievais / Câmara Municipal de Castelo de Vide, p. 255-269 15 p. (Estudos; no. 17).

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

• Socio-organizational requirements for a VE

  Urze, P. C. G. D. & Moniz, A., 1999, Infrastructures for Virtual Enterprises. PRO-VE 1999. Camarinha-Matos, L. M. & Afsarmanesh, H. (eds.). Boston, MA: Springer US, p. 77-94 (IFIP — The International Federation for Information Processing ; no. 27).

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

• Soft Constraints in Feature Models

  Moreira, A. M. D., 1 Jan 2011, ICSEA. p. 136-141

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

• Soft skills for science and technology students: A pedagogical experience

  Costa, R. A., Fonseca, J. M., Kullberg, J. C., Martins, N. C. & Santana, F., 4 Nov 2015, Proceedings of 2015 International Conference on Interactive Collaborative Learning, ICL 2015. Institute of Electrical and Electronics Engineers Inc., p. 1198-1202 5 p. 7318206

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

• Soft Skills in Action: Developing Tourism Students Skills Through Interdisciplinarity

  Vasconcelos, S., Melo, A., Liberato, D., Lopes, M. C. & Melo, C., 2022, Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2021, Volume 2. Carvalho, J. V. D., Liberato, P. & Peña, A. (eds.). Springer Singapore, Vol. 2. p. 203-213 10 p. (Smart Innovation Systems and Technologies; vol. 284).

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

  Open Access

• Software as a Service Value and Firm Performance: a literature review synthesis in small and medium enterprises

  Rodrigues, J., Ruivo, P. & Oliveira, T., 2014, CENTERIS 2014 - Conference on ENTERprise Information Systems / ProjMAN 2014 - International Conference on Project MANagement / HCIST 2014 - International Conference on Health and Social Care Information Systems and Technologies. Varajão, J., Cunha, M., Bjørn-Andersen, N., Turner, R., Wijesekera, D., Martinho, R. & Rijo, R. (eds.). Vol. 16. p. 206-211 (Procedia Technology; vol. 16).

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

  Open Access

  File
  96 Downloads (Pure)

• Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?

  Lourenço, J. M. D. S. & Preguiça, N. M. R., 1 Jan 2013, Lecture Notes in Computer Science. Vieira, M. & Cunha, JC. (eds.). Springer Berlin Heidelberg, Vol. 7869. p. 173-180

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

  Open Access

• Software-defined controllers: Where are we?

  Tavares, J., Mamede, H. S., Amaral, P. & Pinto, P., 11 Jul 2017, Atas da 12a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2017 / Proceedings of the 12th Iberian Conference on Information Systems and Technologies, CISTI 2017. IEEE Computer Society, 7975683

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

• Software distribution to remote locations

  Da Silva, L. F. & Abreu, F. B. E., 2011, EuroPLoP 2010 - 15th European Conference on Pattern Languages of Programs, Proceedings. Association for Computing Machinery, p. 1-4 20. (ACM International Conference Proceeding Series).

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

• Software Evolution Prediction Using Seasonal Time Analysis: a Comparative Study

  Goulão, M. C. P. A. & Abreu, F. M. P. D. C. B. E., 1 Jan 2012, European Conference on Software Maintenance and Reengineering. p. 213-222

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

  Open Access
  28 Citations (Scopus)

• Software no ensino e aprendizagem da Matemática: algumas ideias para discussão

  Oliveira, H. & Domingos, A. M. D., 2008, Tecnologias e Educação Matemática: XVII Encontro de Investigação em Educação Matemática. Canavarro, A. P., Moreira, D. & Rocha, M. I. (eds.). Lisboa: Secção de Educação Matemática da Sociedade Portuguesa de Ciências da Educação, p. 265-272 8 p.

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

• Soil classification based on physical and chemical properties using random forests

  Dias, D., Martins, B., Pires, J., De Sousa, L. M., Estima, J. & Damásio, C. V., 30 Aug 2019, Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Proceedings. Moura Oliveira, P., Novais, P. & Reis, L. P. (eds.). Cham: Springer, p. 212-223 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11804 LNAI).

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

• Soil contamination and human health risk assessment at a former industrial site in a densely populated urban area

  Brito, G., Costa, C., Vendas, D. & Serranheira, F., 2016, Proceedings of the 22nd Annual International Sustainable Development Research Society Conference: Rethinking Sustainability Models and Practices: Challenges for the New and Old World Contexts. Melo, JJ., Disterheft, A., Caeiro, S., Santos, RF. & Ramos, TB. (eds.). Lisbon: International Sustainable Development Research Society and the Center for Environmental and Sustainability Research, School of Science and Technology, Universidade Nova de Lisboa, Vol. 2. p. 38

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

• Soil contamination and human health risk assessment at a former industrial site in a densely populated urban area

  Brito, M. D. G. A. D., osta, C. N., Vendas, D. F. & Serranheira, F., 22 Oct 2015, MIST 2015 (Modelling Innovation, Sustainabilityand Technology). Carcavelos: Modelling Innovation, Sustainability and Technology

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

• Soil contamination and human health risk assessment at a former industrial site in a populated urban area

  Brito, G., Jul 2016, Proceedings of the 22nd International Sustainable Development Research Society Conference (ISDRS 2016) : Rethinking Sustainability Models and Practices: Challenges for the New and Old World Contexts, Vol. 2-3. Joanaz de Melo, J., Disterheft, A., Caeiro, S., F. Santos, R. & B. Ramos, T. (eds.). International Sustainable Development Research Society and the Center for Environmental and Sustainability Research, School of Science and Technology, Universidade Nova de Lisboa, Vol. 2. 1 p.

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

• Soil erosion changes in Portugal through the sediment delivery ratio model

  Marques, S. M., David, J., Campos, F. S. & Cabral, P., Jul 2019, Evidence-based territorial policymaking: formulation, implementation and evaluation of policy: 26th APDR Congress Proceedings. Associacao Portuguesa para o Desenvolvimento Regional (APDR), p. 1071-1077 7 p.

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

  Open Access

  File
  70 Downloads (Pure)

• Soil Recovery Facilities: How Inert is Inert?

  Costa, C., Vendas, D. & Sá Caetano, P. D. C. D., 2021, CIGRAC 2020+1, Abstract Book. von Zuben, E. & Sá Caetano, P. (eds.). AECSAS, p. 127-128

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

• Solar energy, innovation and community resilience: the case of Amareleja (Portugal)

  Truninger, M., Delicado, A., Junqueira, L., FIGUEIREDO, E., Horta, A. & Silva, L. M. D. S., 2013, XXVth Congress of the European Society for Rural Sociology (e-Proceedings). Brunori, G., Lombardi, G., Marescotti, A., Romano, D., Rocchi, B., Stefani, G., Scaramuzzi, S., Andreoli, M., Bartolini, F., di Iacovo, F., Rossi, A., Rovai, M., Ventura, F., Milone, P., Fonte, M. F., Proietti, P., Tudin, L., Raschi, A., Pacciani, A. & Toccaceli, D. (eds.). Pisa: European Society for Rural Sociology, p. 261-262 2 p.

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

  Open Access

  File
  6 Downloads (Pure)

• Solar Energy Integration in Urban Planning: GUUD model

  Amado, M. P. & Poggi, F., 2014, TECHNOLOGIES AND MATERIALS FOR RENEWABLE ENERGY, ENVIRONMENT AND SUSTAINABILITY (TMREES14 - EUMISD). Salame, C., Aillerie, M. & Papageorgas, P. (eds.). Amsterdam: Elsevier, Vol. 50. p. 277-284 (Energy Procedia; vol. 50).

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

  Open Access
  36 Citations (Scopus)

• Solar Potential Analysis in Lisbon Using LiDAR data

  Santos, T., Tenedório, J. A. P., Freire, S. M. C. & Gomes, N. M. P., 1 Jan 2011, 31st EARSeL Symposium. p. 7

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

• Solar thermoelectric system with biomass back-up

  Gonçalves, J. T., Camus, C. I. & Valtchev, S. S., 1 Jan 2017, Technological Innovation for Smart Systems - 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Proceedings. Springer New York LLC, p. 358-369 12 p. (IFIP Advances in Information and Communication Technology; vol. 499).

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

• Solar Trigeneration System Model for Off-Grid Residential Applications

  DEE Group Author & Martins, J. F. A., 1 Jan 2012, IFIP Advances in Information and Communication Technology. p. 375-348

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

  Open Access
  8 Citations (Scopus)

• Solar urban planning to the EU 20-20-20 targets

  Amado, M. P., Rodrigues, P., Poggi, F. & Freitas, J., Oct 2013, Portugal SB13: Contribution of Sustainable Building to Meet EU 20-20-20 Targets. Bragança, L., Pinheiro, M. & Mateus, R. (eds.). Guimarães: Universidade do Minho, p. 697-708 12 p.

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

• Solid-state electrochromic devices based on poly(trimethylene carbonate) and lithium salts

  Fortunato, E. M. C., 1 Jan 2008, THIN SOLID FILMS. Vol. 516. p. 1480-1483

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

  Open Access
  16 Citations (Scopus)

• Solução construtiva eco-eficiente de paredes monolíticas - Contributo para a sua caracterização

  Val, D., Faria, P. & Silva, V., 1 Jan 2015, Congressos Latino-Americano de Patologia da Construção, Congressos de Controlo de Qualidade na Construção, Congressso Construção - Congresso Luso-Africano da Construção. p. 7343-1 - 7343-8

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

• Soluções Comparativas para o uso eficiente da água nos edifícios de habitação

  Amado, M. P., 1 Jan 2010, Inovação na Construção Sustentável. p. 649-657

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

• Soluções construtivas para pavimentos e coberturas em edifícios antigos

  Faria, P., 1 Jan 2008, -. p. -

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

• Soluções e caminhos / Politicas para o sector

  Figueira de Sousa, J., 1 Jan 2012, Fórum Empresarial para a Economia do Mar, Cruzeiros Marítimos. Um Sector em Forte Crescimento. p. 6

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

• Soluções-Padrão na Resolução de Problemas de Projeto com a Metodologia TRIZ

  Navas, H. V. G., 2014, Encontros Nacionais do Colégio de Engenharia Mecânica.

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

• Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems

  Lopes, B., Amorim, S. & Ferreira, C., 2021, Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. Institute of Electrical and Electronics Engineers Inc., p. 47-56 10 p.

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

• Solution of the Mastermind with an Unlimited Number of Lies as a First Step to Detective Reasoning Modelling

  Fonseca, J. B. D., 2014, Proceedings of ICIEIS 2014. p. 211-218

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

• Solvent resistant nanofiltration based-process for production of steryl esters enriched Extracts

  Teixeira, A. R. S., Santos, J. L. C. & Crespo, J. G., 2012, EUROMEMBRANE CONFERENCE 2012. Marsh, N. (ed.). Amsterdam: ELSEVIER SCIENCE BV, Vol. 44. p. 310-312 3 p. (Procedia Engineering; vol. 44).

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

  Open Access

  File
  4 Downloads (Pure)