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 45 to 64 of 114. < previous   next >
Issue DateTitleAuthor(s)TypeAccess
1-Dec-2016A faster and more secure human blood type determining product-concept designBezerra, Karolina; Carvalho, Vitor; Matos, Demétrio, et al.ArticleRestricted access (Author)
2012Finding the optimal setting of the sewing needle transfer mechansm using simulation softwareKomarec, Jiri; Beran, Jaroslav; Lima, Mário, et al.Conference paperOpen access
2017Formal analysis of an urban road traffic modelAvram, Camelia; Valente, Eduardo; Aştilean, Adina, et al.Conference paperRestricted access (UMinho)
Sep-2011A formal approach for aerospace systems control considering SFC specification and C programming languageBorges, Paulo; Machado, José Mendes; Seabra, Eurico, et al.Conference paperOpen access
2010A formal approach for safe controllers analysisBorges, Paulo; Machado, José Mendes; Seabra, Eurico, et al.Conference paperOpen access
2017A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication RequirementsKunz, Guilherme; Machado, José; Perondi, Eduardo, et al.ArticleRestricted access (Author)
Oct-2017Formal verification considering a systematic modeling approach for function blocksMachado, José; Galvão, Joel Maurício Rocha; Fernandes, AlexandreArticleRestricted access (Author)
2019Friction properties of polyoxymethylene (POM) materials in dry and lubricated conditionsSabet, Seyyed M. M.; Dourado, Marco Daniel Malheiro; Pereira, António, et al.Conference paperRestricted access (Author)
2010A holonic approach to the integration of automated systemsSilva, José Reinaldo; Poli Junior, Marco António; Pereira, Celina Soares, et al.Conference paperOpen access
2015Industrial controlling process using the remote industrial automation trainer PAIRSilva, M.; Pereira, F.; Soares, Filomena, et al.Conference paperRestricted access (Author)
30-Jun-2006Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements DiscretsMachado, José MendesDoctoral thesisOpen access
2016Information organization and production planning improvement in a clothes company in PortugalAraújo, A.; Kapisch, L.; Varela, Maria Leonilde Rocha, et al.ArticleOpen access
2016Innovative mechatronic approach to redesign a punch and bind machineFigueiredo, Luis; Sousa, Joao; Monteiro, Luís, et al.Conference paperRestricted access (UMinho)
2016Integrated platform for real-time control and production and productivity monitoring and analysisVieira, Gaspar Gonçalves; Varela, Maria Leonilde Rocha; Putnik, Goran D., et al.ArticleOpen access
25-Sep-2013Issues in remote laboratory developments for biomedical engineering educationBarros, C.; Leão, Celina Pinto; Soares, Filomena, et al.Conference paperRestricted access (UMinho)
2016Issues to be considered on obtaining plant models for formal verification purposesPacheco, R.; Gonzalez, L.; Intriago, M., et al.Conference paperRestricted access (UMinho)
2015Mechanical simulation model of the systemic circulationLemos, Diogo Gonçalves; Nunes, Amaral; Machado, José, et al.ArticleRestricted access (Author)
Jul-2011A mechatronic device for spasticity quantificationFerreira, João Amaro Oliveira; Moreira, Vitor; Machado, José Mendes, et al.Conference paperOpen access
Apr-2015Mechatronic system for assistance on bath of bedridden elderly peopleBezerra, Karolina Celi Tavares; Machado, José; Silva, Silva, Bruno Manuel Fernandes da, et al.Conference paperRestricted access (Author)
2016Mechatronic system for performing blood pre-transfusion testsFerraz, Ana; Carvalho, Vítor; Machado, José, et al.ArticleRestricted access (Author)