https://hdl.handle.net/10216/25701 2026-08-07T21:16:40Z https://hdl.handle.net/10216/166010 Title: Pseudovarieties of semigroups 2025-03-30T00:00:00Z https://hdl.handle.net/10216/165581 Title: Plano de prevenção do suicídio da Universidade do Porto 2024-01-01T00:00:00Z https://hdl.handle.net/10216/164148 Title: Manual de Formação Local 2024-01-01T00:00:00Z https://hdl.handle.net/10216/150092 Title: Cooperation partnerships in higher education: project result 1: report on the status of internationalisation of teacher education (2022) 2022-01-01T00:00:00Z https://hdl.handle.net/10216/157540 Title: Polinizadores do Parque Oriental. Paisagem e Biodiversidade 2022-01-01T00:00:00Z https://hdl.handle.net/10216/140275 Title: Management Plan of Botanical Garden of the University of Porto 2019-01-01T00:00:00Z https://hdl.handle.net/10216/140253 Title: Application for the recognition of Botanical Garden of Porto - Natural History and Science Museum of the University of Porto as International Camellia Garden of Execellence 2020-01-01T00:00:00Z https://hdl.handle.net/10216/145709 Title: Management Plan 2019-2014. Update 2020. Botanical Garden of the University of Porto 2020-01-01T00:00:00Z https://hdl.handle.net/10216/25788 Title: Hamming and Gilbert-Varshamov bounds in finite metric spaces with application to DNA codes Abstract: We explain some formulae that appeared in bounds on DNA codes using elementary methods in metric spaces. Description: We explain some formulae that appeared in bounds on DNA codes using elementary methods in metric spaces. 2007-01-01T00:00:00Z https://hdl.handle.net/10216/25800 Title: Ring theoretic aspects of weak Hopf actions Abstract: Following Linchenko and Montgomery's arguments we show that the smash product of a semiprime module algebra, satisfying a polynomial identity and an involutive weak Hopf algebra is semiprime. We get new insight into the existence of non-trivial central invariant elements in non-trivial H-stable ideals of subdirect products of certain H-prime module algebras satisfying a polynomial identity by considering an adapted version of Kaplansky's theorem and by introducing a Brown-McCoy radical for module algebras. We extend Puczylowski and Smoktunowicz's description of the Brown-McCoy radical of a polynomial ring to module algebras and apply our result to left bialgebroid measurings, gradings and involutions. The paper finishes with an extension of results by Bergen et al. and Cohen at al. on irreducible module algebras to weak Hopf actions. Description: Following Linchenko and Montgomery's arguments we show that the smash product of a semiprime module algebra, satisfying a polynomial identity and an involutive weak Hopf algebra is semiprime. We get new insight into the existence of non-trivial central invariant elements in non-trivial H-stable ideals of subdirect products of certain H-prime module algebras satisfying a polynomial identity by considering an adapted version of Kaplansk's theorem and by introducing a Brown-McCoy radical for module algebras. We extend Puczylowski and Smoktunowicz's description of the Brown-McCoy radical of a polynomial ring to module algebras and apply our result to left bialgebroid measurings, gradings and involutions. The paper finishes with an extension of results by Bergen et al. and Cohen at al. on irreducible module algebras to weak Hopf actions. 2009-01-01T00:00:00Z https://hdl.handle.net/10216/52519 Title: A Contribution to the E-Framework: a Specification of a Programming Exercise Evaluation Service Abstract: This work is a contribution to the e-Framework, arguably the most prominent e-learning framework today, and consists of the definition of a service for the automatic evaluation of programming exercises. This evaluation domain differs from trivial evaluations modelled by languages such as the IMS Question & Test Interoperability (QTI) specification. Complex evaluation domains justify the development of specialized evaluators that participate in several business processes. These business processes can combine other type of systems such as Programming Contest Management Systems, Learning Management Systems, Integrated Development Environments and Learning Object Repositories where programming exercises are stored as Learning Objects. This contribution describes the implementation approaches used, more precisely, behaviours & requests, use & interactions, applicable standards, interface definition and usage scenarios. 2010-01-01T00:00:00Z https://hdl.handle.net/10216/119529 Title: Galinhola - Portugal continental: Resultados do período venatório 2016-2017 2017-01-01T00:00:00Z https://hdl.handle.net/10216/53349 Title: On the average size of pd automata: an analytic combinatorics approach Abstract: The partial derivative automaton (NFA_PD) is usually smaller than other non-deterministic finite automata constructed from a regular expression, and it can be seen as a quotient of the Glushkov automaton (NFA_POS). By estimating the number of regular expressions that have epsilon as a partial derivative, we compute a lower bound of the average number of mergings of states in NFA_POS. and describe its asymptotic behaviour. This depends on the alphabet size, k, and its limit, as k goes to infinity, is 1. The lower bound corresponds exactly to consider the NFA_PD automaton for the marked version of the RE, i.e. where all its letters are made different. Experimental results suggest that the average number of states of this automaton, and of the NFA_PD automaton for the unmarked RE, are very close to each other. 2010-01-01T00:00:00Z https://hdl.handle.net/10216/107551 Title: Parque temático das Minas da Borralha - Montalegre - Portugal: Proposta de metodologia de implementação e Programa para o 1º ano de Trabalhos 1999-01-01T00:00:00Z https://hdl.handle.net/10216/119637 Title: Deliverable 4.3 (D4.3): Protocol for field collection and preservation of eDNA samples, EnvMetaGen project (Grant Agreement No 668981) 2018-09-05T00:00:00Z https://hdl.handle.net/10216/25795 Title: Idempotent Submodules Abstract: Bican, Jambor, Kepka and Nemec defined a product on the lattice of submodules of a module, making any module into a partially ordered groupoid. Submodules that are idempotent with respect to this product behave similar as idempotent ideals in rings. In particular jansian torsion theories can be described through idempotent submodules. Moreover so-called coclosed submodules, which are essentially closed elements in the dual lattice of submodules of a module, turn out to be idempotent in pi-projective modules. The relation of strongly copolyform modules and the regularity of their endomorphism ring is discussed. Description: Bican, Jambor, Kepka and Nemec defined a product on the lattice of submodules of a module, making any module into a partially ordered groupoid. Submodules that are idempotent with respect to this product behave similar as idempotent ideals in rings. In particular jansian torsion theories can be described through idempotent submodules. Moreover so-called coclosed submodules, which are essentially closed elements in the dual lattice of submodules of a module, turn out to be idempotent in pi-projective modules. The relation of strongly copolyform modules and the regularity of their endomorphism ring is discussed. 2006-01-01T00:00:00Z https://hdl.handle.net/10216/119643 Title: Deliverable 4.5 (D4.5): Protocol for the processing of DNA sequence data generated by next-gen platforms, EnMetaGen project (Grant Agreement No 668981) 2018-09-05T00:00:00Z https://hdl.handle.net/10216/119541 Title: Galinhola - Portugal continental: Resultados do período venatório 2015-2016 2016-11-15T00:00:00Z https://hdl.handle.net/10216/108155 Title: Benefits of ultrashort pulses in two-photon microscopy 2016-03-04T00:00:00Z https://hdl.handle.net/10216/119568 Title: Deliverable 4.4 (D4.4): Protocol for next-gen analysis of eDNA samples, EnMetaGen project (Grant Agreement No 668981) 2018-09-05T00:00:00Z