Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 125
| Issue Date | Title | Author(s) | Type | Access Type |
| 2019 | On the generation of equational dynamic logics for weighted imperative programs | Gomes, Leandro; Madeira, Alexandre; Jain, Manisha; Barbosa, Luis S. | bookPart |  |
| 2019 | Taming hierarchical connectors | Proença, José; Madeira, Alexandre | bookPart | |
| 2019 | Logics for Petri nets with propagating failures | Gomes, Leandro; Madeira, Alexandre; Benevides, Mario | bookPart | |
| 2019 | Harmonic and trace inequalities in Lipschitz domains | Touhami, Soumia; Chaira, Abdellatif; Torres, Delfim F. M. | bookPart |  |
| 2019 | New inequalities for η-quasiconvex function | Nwaeze, Eze R.; Torres, Delfim F. M. | bookPart | |
| 2019 | O Aeroporto Francisco Sá Carneiro e a sua relação com o turismo na Região Norte de Portugal | Barros, Helena de; Alonso, Hugo | bookPart | |
| 2019 | The HJ-biplot visualization of the Singular Spectrum Analysis method | Silva, Alberto Oliveira da; Freitas, Adelaide | bookPart | |
| 2019 | Normalized entropy aggregation for inhomogeneous large-scale data | Costa, Maria da Conceição; Macedo, Pedro | bookPart |  |
| 2019 | Applications of parabolic Dirac operators to the instationary viscous MHD equations on conformally flat manifolds | Cerejeiras, Paula; Kähler, Uwe; Kraußhar, Sören R. | bookPart | |
| 2019 | Does teacher's education affect student performance? | Murillo, K.; Rocha, E.; Freitas, A.; Pardo, C. | bookPart | |
| Mar-2019 | Modelling overdispersion with integer-valued moving average processes | Silva, Maria Eduarda; Silva, Isabel; Torres, Cristina | article | |
| 2019 | Finite element exterior calculus with script geometry | Cerejeiras, Paula; Kähler, Uwe; Legatiuk, Dmitrii | bookPart | |
| 9-Aug-2019 | Boundary values of discrete monogenic functions over bounded domains in $$ \mathbb{R}^3 $$ | Cerejeiras, Paula; Kähler, Uwe; Legatiuk, Anastasiia; Legatiuk, Dmitrii | bookPart | |
| 2019 | Time-fractional optimal control of initial value problems on time scales | Bahaa, Gaber M.; Torres, Delfim F. M. | bookPart | |
| 2019 | A digital puzzle game for the elderly | Barros, P.; Almeida, M. R.; Breda, A.; Rocha, E. | bookPart | |
| 2019 | The educational math board game 3DM6 | Almeida, M. R.; Barros, P.; Breda, A.; Resende, H.; Rocha, E. | bookPart | |
| 2019 | rPrism: a software for reactive weighted state transition models | Figueiredo, Daniel; Rocha, Eugénio; Martins, Manuel António; Chaves, Madalena | bookPart | |
| 2020 | Parametric identification of the dynamics of inter-sectoral balance: modelling and forecasting | Kostylenko, Olena; Rodrigues, Helena Sofia; Torres, Delfim F. M. | bookPart | |
| 2020 | A new mathematical model for the efficiency calculation | Galindro, Aníbal; Santos, Micael; Torres, Delfim F. M.; Marta-Costa, Ana | bookPart | |
| Jun-2019 | Rigid first-order hybrid logic | Blackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, Antonia | bookPart | |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 125
