Find Research outputs

Search results

• Conference contribution

  O novo Regime Jurídico das ações de arborização e rearborização com recurso a espécies florestais: o caso do eucalipto: o caso do eucalipto

  Ventura, J. E. S. & Garcia, H., 2015, Valores da Geografia: Atas do X Congresso da Geografia Portuguesa. Lisboa: Associação Portuguesa de Geógrafos, p. 669-674 6 p.

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

  Open Access

  File
  31 Downloads (Pure)

• On preferring and inspecting abductive models

  Pereira, L. M., Dell'Acqua, P. & Lopes, G., 2009, Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Proceedings. Berlin: Springer-Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5418 LNCS).

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

  Open Access
  4 Citations (Scopus)

• On Quasi-Optimum Detection of Nonlinearly Distorted OFDM Signals

  Montezuma de Carvalho, P. M. D. A. B. & Dinis, R. M. H. D. M., 1 Jan 2014, IFIP Advances in Information and Communication Technology. Vol. 423. p. 497-506

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

  Open Access

• On Regular Simplex Refinement in Copositivity Detection

  Amaral, P. A. D. C., García Salmerón, J. M., Casado, L. G. & Zilinskas, A., 2016, Proceedings of the XIII Global Optimization Workshop, eds. Rocha, A.M.A.C., Costa, M.F.P. and Fernandes. Helena, R. (ed.). p. 163-166

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

• On reliability and energy efficiency increasing of the vehicles electric drives

  Braslavsky, I. Y., Metelkov, V. P., Kostylev, A. V. & Valtchev, S., 18 Apr 2018, Proceedings - 2018 17th International Ural Conference on AC Electric Drives, ACED 2018. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-April. p. 1-6 6 p.

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

• On Reliable Collaborative Mobility Services

  Osório, A. L., Camarinha-Matos, L. M., Afsarmanesh, H. & Belloum, A., 1 Jan 2018, Collaborative Networks of Cognitive Systems - 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Proceedings. Afsarmanesh, H., Rezgui, Y. & Camarinha-Matos, L. M. (eds.). Cham: Springer, p. 297-311 15 p. (IFIP Advances in Information and Communication Technology; vol. 534).

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

• On Semantic Update Operators for Answer-Set Programs

  Leite, J. A. C. P., 1 Jan 2010, Frontiers in Artificial Intelligence and Applications. Coelho, H., Studer, R. & Wooldridge, M. (eds.). IOS Press, Vol. 215. p. 957-962

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

  Open Access
  26 Citations (Scopus)

• On Sensitivity of Bias Operation Point in Transistors with Moderate Inversion

  Filanovsky, I. M. & Oliveira, L. B., Aug 2019, 2019 IEEE 62nd International Midwest Symposium on Circuits and Systems, MWSCAS 2019. Institute of Electrical and Electronics Engineers Inc., p. 168-171 4 p. 8885047. (Midwest Symposium on Circuits and Systems; vol. 2019-August).

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

• On service time estimation in 802.11 wlans with heterogeneous traffic sources

  Oliveira, R., Bernardo, L., Pinto, P. & Koutsopoulos, I., 1 Dec 2008, ISWCS'08 - Proceedings of the 2008 IEEE International Symposium on Wireless Communication Systems. Institute of Electrical and Electronics Engineers Inc., p. 411-415 5 p. 4726088

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

• On sharp and highly manageable asymptotic approximations for instances of the Meijer G function

  Coelho, C. A., Marques, F. J. & Rodrigues, R. A. P., 10 Mar 2015, Proceedings of the International Conference on Numerical Analysis and Applied Mathematics 2014, ICNAAM 2014. American Institute of Physics, Vol. 1648. 540008

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

• On some definitions and properties of generalized convex sets arising in the calculus of variations

  Dacorogna, B. & Ribeiro, A. M. F., 2006, Recent Advances on Elliptic and Parabolic Issues: Proceedings of the 2004 Swiss-Japanese Seminar, Zurich, Switzerland, 6 – 10 December 2004. Chipot, M. & Ninomiya, H. (eds.). Singapore: World Scientific, p. 103-128 26 p.

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

• On Some Properties of Forgetting in ASP

  Gonçalves, R., Knorr, M. & Leite, J., 2016, Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16). CEUR-WS.org, Vol. 1626.

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

  Open Access

• On sounder ground ? CAAT ,a viable widget for affective Reaction assessment

  Cardoso, B., Santos, O. & Romão, T., 5 Nov 2015, UIST 2015 - Proceedings of the 28th Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 501-510 10 p.

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

  Open Access
  5 Citations (Scopus)

• On stories: Tolkien and fictional worlds

  Monteiro, M. R., 24 Sep 2019, Intelligence, Creativity and Fantasy : Proceedings of the 5th International Multidisciplinary Congress (PHI 2019), October 7-9, 2019, Paris, France. Kong, M., Monteiro, M. D. R. & Neto, M. J. (eds.). 1 ed. London: CRC Press, p. 395-404 9 p. (PHI; no. 2).

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

  Open Access

  File
  20 Downloads (Pure)

• On Strong and Default Negation in Logic Program Updates

  Slota, M., Balaz, M. & Leite, J. A. C. P., 2014, INFSYS Research Report.

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

• On Structuring Contextual Logic Programming

  Abreu, S., Nogueira, V. & Diaz, D., 2009, Actas do INForum Simpósio de Informática 2009. Rodrigues, L. & Lopes, R. (eds.). Lisboa: Faculdade de Ciências, Universidade de Lisboa, p. 197-200 4 p.

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

• On structuring events for IOPT net models

  Gomes, L. F. D. S. & Costa, A. K. H. D., 1 Jan 2013, IFIP Advances in Information and Communication Technology. Camarinha-Matos, L. M., Tomic, S. & Graça, P. (eds.). Berlin: Springer Berlin Heidelberg, p. 229-238

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

  Open Access
  4 Citations (Scopus)

• On Supporting Strong and Default Negation in Answer-Set Program Updates

  Slota, M., Balaz, M. & Leite, J. A. C. P., 1 Jan 2014, ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014). Bazzan, ALC. & Pichara, K. (eds.). Berlin: SPRINGER-VERLAG BERLIN, Vol. 8864. p. 41-53 (Lecture Notes in Artificial Intelligence; vol. 8864).

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

  Open Access
  1 Citation (Scopus)

• On Syntactic Forgetting Under Uniform Equivalence

  Gonçalves, R., Janhunen, T., Knorr, M. & Leite, J., 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (eds.). Cham: Springer, p. 297-312 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12678 LNAI).

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

• On Technological Aspects of Active Ageing

  Camarinha-matos, L. M. & DEE Group Author, 1 Jan 2010, Pervasive Computing Technologies for Healthcare (PervasiveHealth). p. 1-10

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

  Open Access

• On the (Limited) Power of Non-Equivocation

  Rodrigues, R. S. M., 1 Jan 2012, PODC. p. N/A

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

  29 Citations (Scopus)

• On the accuracy of the Gaussian approximation for the evaluation of nonlinear effects in OFDM signals

  Araújo, T. & Dinis, R., 1 Dec 2010, 2010 IEEE 72nd Vehicular Technology Conference Fall, VTC2010-Fall - Proceedings. IEEE - Institute of Electrical and Electronic Engineers Inc, 5594204. (IEEE Vehicular Technology Conference).

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

• On the assessment of nonlinear distortion effects in MIMO-OFDM systems

  Guerreiro, J., Dinis, R. & Montezuma de Carvalho, P. M. D. A. B., 5 Jul 2016, 2016 IEEE 83rd Vehicular Technology Conference, VTC Spring 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-July. 7504376

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

• On the bootstrap methodology for the estimation of the tail sample fraction

  Caeiro, F. A. G. G., 1 Jan 2014, Proceedings of COMPSTAT 2014. p. 545-552

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

• On the Cognitive Foundations of Modularity

  Monteiro, M. J. T. P., 1 Jan 2011, Psychology of Programming Interest Group. p. 1-12

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

• On the combination of shell and GBT-based beam finite elements

  Manta, D., Gonçalves, R. & Camotim, D., 2021, Proceedings of the Annual Stability Conference Structural Stability Research Council 2021, SSRC 2021. Structural Stability Research Council (SSRC)

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

  1 Citation (Scopus)

• On the Complexity Requirements of a Panel-Based Large Intelligent Surface

  Pereira, A., Rusek, F., Gomes, M. & Dinis, R., Dec 2020, 2020 IEEE Global Communications Conference, GLOBECOM 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 9347953. (2020 IEEE Global Communications Conference, GLOBECOM 2020 - Proceedings; vol. 2020-January).

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

• On the computation of the information content of a coupled design with two functional requirements

  Gonçalves-Coelho, A., Fradinho, J., Gabriel-Santos, A., Cavique, M. & Mourao, A., 2015, 9TH INTERNATIONAL CONFERENCE ON AXIOMATIC DESIGN (ICAD 2015). Thompson, MK., Giorgetti, A., Citti, P., Matt, D. & Suh, NP. (eds.). Elsevier Science B.V., Inc, p. 7-12 6 p. (Procedia CIRP; vol. 34).

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

  Open Access
  2 Citations (Scopus)

• On the Correlation of Spreading Sequences Combined with Nonlinear OQPSK Signals

  Dinis, R. M. H. D. M. & DEE Group Author, 1 Jan 2011, Computer Graphics and Imaging. p. 1-5

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

  Open Access

• On the Definition of Service Abstractions for Parallel Computing

  Paulino, H. M. C., 1 Jan 2010, Lecture Notes in Computer Science. p. 74 to 81

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

• On the Design of a Robotic System Composed of an Unmanned Surface Vehicle and a Piggybacked VTOL

  Pinto, E., Santana, P., Marques, F., Mendonca, R., Lourenco, A. & Barata, J., 2014, Technological Innovation for Collective Awareness Systems. CamarinhaMatos, LM., Barrento, NS. & Mendonca, R. (eds.). SPRINGER-VERLAG BERLIN, p. 193-200 8 p. (IFIP Advances in Information and Communication Technology; vol. 423).

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

  15 Citations (Scopus)

• On the design of frequency-domain equalizers for OQPSK modulations

  Dinis, R., Luzio, M. & Montezuma, P., 2010, 33rd IEEE Sarnoff Symposium 2010, Conference Proceedings. Piscataway: IEEE, p. 1-5 5469761

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

  Open Access
  10 Citations (Scopus)

• On the design of frequency-domain receivers for SFN where the transmitters have different CFO

  Silva, F. F., Dinis, R. & Montezuma, P., 2011, 2010 Military Communications Conference, MILCOM 2010. Piscataway: IEEE, p. 55-60 6 p. 6127731. (MILCOM IEEE Military Communications Conference).

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

  Open Access
  1 Citation (Scopus)

• On the design of iterative FDE receivers for OQAM modulations

  Montezuma de Carvalho, P. M. D. A. B. & Dinis, R. M. H. D. M., 1 Jan 2010, IEEE GLOBECOM WORKSHOPS. p. 1323-1327

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

  Open Access
  8 Citations (Scopus)

• On the design of linear receivers for SC-FDE schemes employing OQPSK modulation

  Luzio, M., Dinis, R. & Montezuma, P., 2010, 2010 IEEE 72nd Vehicular Technology Conference Fall, VTC2010-Fall - Proceedings. 5594203

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

• On the design of robust multi-user receivers for Base Station cooperation systems

  Ribeiro, F. C., Guerreiro, J., Dinis, R., Cercas, F. & Silva, A., 2016, 2016 IEEE 84th Vehicular Technology Conference, VTC Fall 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7881119

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

• On the Design of Spreading Sequences for CDMA Systems with Nonlinear OQPSK-type Modulations

  Dinis, R. M. H. D. M., 1 Jan 2014, Global Wireless Summit, Wireless VITAE. p. -

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

  Open Access

• On the design of the ROBO-PARTNER Intra-factory logistics autonomous robot

  Lourenço, A., Marques, F., Mendonça, R., Pinto, E. & Barata, J., 2016, SMC 2016 - IEEE International Conference on Systems, Man, and Cybernetics. p. 002647-002652 6 p.

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

• On the Design of Turbo Equalizers for SC-FDE Schemes with Different Error Protections

  Montezuma de Carvalho, P. M. D. A. B., Dinis, R. M. H. D. M. & DEE Group Author, 1 Jan 2010, IEEE Vehicular Technology Conference. p. 1-5

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

  Open Access
  5 Citations (Scopus)

• On the detection of MIMO signals with strong nonlinear distortion effects

  Felix, J., Guerreiro, J. & Dinis, R., Sep 2019, 2019 IEEE 90th Vehicular Technology Conference, VTC 2019 Fall - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8891378. (IEEE Vehicular Technology Conference; vol. 2019-September).

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

• On the Determination of a Robin Boundary Coefficient in an Elastic Cavity Using the MFS

  Martins, N. F. M., 1 Jan 2009, COMPUTATIONAL METHODS IN APPLIED SCIENCES. Ferreira, A., Kansa, E., Fasshauer, G. & Leitao, V. (eds.). PO BOX 17, 3300 AA DORDRECHT, NETHERLANDS: Springer, Vol. 11. p. 125--139

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

  Open Access
  2 Citations (Scopus)

• On the Difficulties of Using Workflow Tools to Express Parallelism and Distribution - An Application Case Study in Geological Sciences

  Cunha, J. A. C. E., 1 Jan 2009, INTERNATIONAL CONFERENCE ON GRID AND PERVASIVE COMPUTING WORKSHOPS. IEEE Computer Society, p. 104-110

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

  Open Access
  1 Citation (Scopus)

• On the distribution of shear forces in non-axisymmetric slab-column connections

  Einpaul, J., Vollum, R. L. & Ramos, A. P., 1 Jan 2017, High Tech Concrete: Where Technology and Engineering Meet - Proceedings of the 2017 fib Symposium. Lukovic, M. & Hordijk, D. A. (eds.). Springer International Publishing, p. 841-848 8 p.

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

• On the Efficient Implementation of Social Abstract Argumentation

  Correia, M., Cruz, J. C. F. R. D. & Leite, J. A. C. P., 1 Jan 2014, Frontiers in Artificial Intelligence and Applications. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). {IOS} Press, Vol. 263. p. 225--230

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

  Open Access
  11 Citations (Scopus)

• On the Emergence of Patterns for Spreadsheets Data Arrangements

  Teixeira, R. & Amaral, V., 2016, Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers. p. 333-345

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

• On the equilibrium of the egyptian game Senet

  Nogueira, J. E. A. D., Rodrigues, F. & Trabucho, L., 2019, Recreational Mathematics Colloquium VI - G4G Europe: Book of Abstracts. Ludus, p. 195-212 18 p.

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

  Open Access

  File
  334 Downloads (Pure)

• On the exact, asymptotic and near-exact distributions for the likelihood ratio statistics to test equality of several Exponential distributions

  Coelho, C. M. A. & Marques, F. J. G. P., 1 Jan 2011, AIP Conference Proceedings. Vol. 1389. p. 1471-1474

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

  Open Access
  2 Citations (Scopus)

• On the Expressive Power of Primitives for Compensation Handling

  Ferreira, C. M. G., 1 Jan 2010, Lecture Notes in Computer Science. p. 366-386

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

  Open Access

• On the Factors Affecting the Specific Cutting Energy in Face Milling of Aluminium Alloys with Wiper Edge Inserts

  Mourão, A. J. F. & Coelho, A. M. F. R. D. A. G., 1 Jan 2010, Proceedings of the International Conference Modern Technologies, Quality and Innovation - ModTech. p. 407-410

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

• On the features of ultramicroelectrodes

  Santos, D. M. F., Lobo, R. F. M. & Sequeira, C. A. C., 1 Jan 2008, Diffusion in Solids and Liquids III. Ochsner, A. & Murch, G. E. (eds.). Trans Tech Publications Ltd, Vol. 273-276. p. 602-607 6 p. (Defect and Diffusion Forum; vol. 273-276).

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