https://hdl.handle.net/10216/25701 2026-08-08T02:53:09Z 2026-08-08T02:53:09Z https://hdl.handle.net/10216/166010 2025-04-01T06:20:26Z 2025-03-30T00:00:00Z

Title: Pseudovarieties of semigroups

2025-03-30T00:00:00Z https://hdl.handle.net/10216/165581 2025-03-13T07:21:52Z 2024-01-01T00:00:00Z

Title: Plano de prevenção do suicídio da Universidade do Porto

2024-01-01T00:00:00Z https://hdl.handle.net/10216/164148 2024-12-17T07:23:01Z 2024-01-01T00:00:00Z

Title: Manual de Formação Local

2024-01-01T00:00:00Z https://hdl.handle.net/10216/150092 2024-03-19T07:17:54Z 2022-01-01T00:00:00Z

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 2024-02-29T07:17:51Z 2022-01-01T00:00:00Z

Title: Polinizadores do Parque Oriental. Paisagem e Biodiversidade

2022-01-01T00:00:00Z https://hdl.handle.net/10216/140275 2022-12-07T07:21:51Z 2019-01-01T00:00:00Z

Title: Management Plan of Botanical Garden of the University of Porto

2019-01-01T00:00:00Z https://hdl.handle.net/10216/140253 2022-11-30T07:26:29Z 2020-01-01T00:00:00Z

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 2022-11-30T07:24:05Z 2020-01-01T00:00:00Z

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 2022-10-16T10:34:40Z 2007-01-01T00:00:00Z

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 2022-10-13T21:15:01Z 2009-01-01T00:00:00Z

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 2022-10-11T15:54:34Z 2010-01-01T00:00:00Z

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 2022-10-16T12:30:06Z 2017-01-01T00:00:00Z

Title: Galinhola - Portugal continental: Resultados do período venatório 2016-2017

2017-01-01T00:00:00Z https://hdl.handle.net/10216/53349 2022-10-14T17:41:00Z 2010-01-01T00:00:00Z

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 2022-10-13T10:14:24Z 1999-01-01T00:00:00Z

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 2022-10-13T14:02:51Z 2018-09-05T00:00:00Z

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 2022-10-13T15:54:39Z 2006-01-01T00:00:00Z

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 2022-10-14T01:56:58Z 2018-09-05T00:00:00Z

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 2022-10-13T18:02:40Z 2016-11-15T00:00:00Z

Title: Galinhola - Portugal continental: Resultados do período venatório 2015-2016

2016-11-15T00:00:00Z https://hdl.handle.net/10216/108155 2022-10-13T16:30:20Z 2016-03-04T00:00:00Z

Title: Benefits of ultrashort pulses in two-photon microscopy

2016-03-04T00:00:00Z https://hdl.handle.net/10216/119568 2022-10-18T17:00:31Z 2018-09-05T00:00:00Z

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