Browsing by author 2277

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 71 to 90 of 114. < previous   next >
Issue DateTitleAuthor(s)TypeAccess
2013Obtaining plant models for formal verification tasks from 3D CAD models: which is the best approach?Lobo, Edgar; Fertuzinhos, João; Silva, João Pedro Mendonça de Assunção da, et al.Conference paperRestricted access (UMinho)
Jan-2015PAIR: the remote industrial automation trainerSilva, Mário; Pereira, Filipe; Soares, Filomena, et al.Conference paperRestricted access (Author)
Apr-2011Partial plant models in formal verification of industrial automation discrete systemsMachado, José Mendes; Campos, J. CreissacConference paperOpen access
2009Pattern-based analysis of automated production systemsCampos, J. Creissac; Machado, JoséConference paperOpen access
2017A prática de atividade física de crianças e jovens de três freguesias do concelho de AmaranteGonçalves, Emília; Machado, José; Carvalho, Graça Simões deBook partOpen access
2015Preface of the "symposium on dependable mechatronic systems"Machado, JoséConference editorialRestricted access (Author)
2008Property patterns for the formal verification of automated production systemsCampos, J. Creissac; Machado, José; Seabra, EuricoConference paperOpen access
2015Prototype for determination of pre-transfusion tests based on image processing techniquesFerraz, Ana; Machado, José; Carvalho, VitorConference paperRestricted access (UMinho)
2016Purchase management improvement in a TV company from the industry district of Manaus (PIM)Kapisch, L.; Araújo, A.; Varela, Maria Leonilde Rocha, et al.ArticleOpen access
2015QR codes and Java applied to physiological data acquisition in biomedical engineering educationBarros, Carla; Leão, Celina Pinto; Soares, Filomena, et al.Conference paperRestricted access (UMinho)
21-Sep-2013Reintrepreting the cardiovascular system as a mechanical modelLemos, Diogo Gonçalves; Machado, José Mendes; Minas, Graça, et al.Conference paperRestricted access (UMinho)
18-Sep-2013Remote Physiological Data Acquisition: from the human body to electromechanical simulatorsBarros, C.; Leão, Celina Pinto; Soares, Filomena, et al.Conference paperRestricted access (UMinho)
2013Remote physiological systems (RePhyS) laboratory : a didactic learning environmentBarros, C.; Leão, Celina Pinto; Soares, Filomena, et al.Conference paperRestricted access (UMinho)
Jun-2013RePhyS : a multidisciplinary experience in remote physiological systems laboratoryBarros, C.; Leão, Celina Pinto; Soares, Filomena, et al.ArticleRestricted access (UMinho)
2016Requirements for the development of medical devices - Caregivers perspectives surveyBezerra, Karolina; Machado, José; Leão, Celina Pinto, et al.Conference paperRestricted access (UMinho)
2018Rocker outsole shoes and margin of stability during walking: a preliminary studyGhomian, B.; Naemi, R.; Mehdizadeh, S., et al.Conference paperOpen access
2017Sensors and actuators on determining parameters for being considered in selection of elastomers for biomimetic handsCârlescu, Vlad; Olaru, Dumitru N.; Prisacaru, Gheorghe, et al.ArticleOpen access
2015Shortening Changeover Time - An Industrial StudyTrojanowska, Justyna; Zywicki, Krzysztof; Varela, Maria Leonilde Rocha, et al.Conference paperOpen access
2008Simulation and formal verification of industrial systems controllersMachado, José Mendes; Seabra, Eurico; Campos, J. Creissac, et al.Conference paperOpen access
2018Simulation of cyber physical systems behaviour using timed plant modelsCanadas, Nuno; Machado, José; Soares, Filomena, et al.ArticleRestricted access (Author)