1. Repositório Aberto da Universidade do Porto

Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 16 (Search time: 0.04 seconds).
Item hits:
Issue DateTitleAuthor(s)Type
2015Optimal State Reductions of Automata with Partially Specified BehaviorsNelma Moreira; Giovanni Pighizzini; Rogerio ReisArtigo em Livro de Atas de Conferência Internacional
2015Discrete Symmetric Planar DynamicsBegoña Alarcón; Sofia B.S.D. Castro; Labouriau, ISArtigo em Livro de Atas de Conferência Internacional
2015On Decidability of Intermediate Levels of Concatenation HierarchiesAlmeida, J; Bartonova, J; Klima, O; Kunc, MArtigo em Livro de Atas de Conferência Internacional
2015Reference Tracking of Depth of Anesthesia Using Optimal ControlAlmeida, J; L.T. Paiva; Mendonca, T; Rocha, PArtigo em Livro de Atas de Conferência Internacional
2015Measuring and teaching light spectrum using Tracker as a spectrometerMarcelo Rodrigues; Manuel Marques; Paulo CarvalhoArtigo em Livro de Atas de Conferência Internacional
2015Partial Derivative Automaton for Regular Expressions with ShuffleSabine Broda; António Machiavelo; Nelma Moreira; RogÃ(c)rio ReisArtigo em Livro de Atas de Conferência Internacional
2015An optimal control approach to reference level tracking in general anesthesiaAlmeida, J; L.T. Paiva; Mendonca, T; Rocha, PArtigo em Livro de Atas de Conferência Internacional
2015-04-25The Effect of the North Equatorial Counter Current on the Generation and Propagation of Internal Solitary Waves near the Amazon River shelf as observed in SAR imageryda Silva, JCB; J.M. Magalhaes; M.C. Buijsman; C.A.E. Garcia; P.H. Calil; J.A. Lorenzzetti; C. Macedo; C.A.D. Lentini; F. Pelon Miranda; C.H. BeislArtigo em Livro de Atas de Conferência Internacional
2015Heart Rate Variability during Plateau Waves of Intracranial Pressure: a pilot descriptive studyLuis, A; Santos, AS; dias, c; Almeida, R; Rocha, APArtigo em Livro de Atas de Conferência Internacional
2015Deciding synchronous Kleene algebra with derivativesSabine Broda; Sílvia Cavadas; Miguel Ferreira; Nelma MoreiraArtigo em Livro de Atas de Conferência Internacional

Discover