Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Israel Barragan"'
Publikováno v:
In IFAC Proceedings Volumes 2006 39(3):243-248
Publikováno v:
In IFAC Proceedings Volumes 2006 39(13):765-770
Autor:
Andrzej Cholewinski, Brittany Bahamon, Marise McNeeley, Ruben Cardenes, Israel Barragan, Adnan O. Abu-Yousif, Ronald D. Luff, Hadi Danaee, Aleksandra Zuraw
Publikováno v:
Cancer Research. 78:4535-4535
Standard pathology scoring of cell surface targets in tumor tissue is done routinely by semi-quantitative scoring and is usually performed by a pathologist assessing a given number of fields of view (FOVs) from an immunohistochemistry (IHC) stained s
Publikováno v:
Scopus-Elsevier
Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes
SAFEPROCESS 06
SAFEPROCESS 06, Sep 2006, China. pp.811-816
Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes
SAFEPROCESS 06
SAFEPROCESS 06, Sep 2006, China. pp.811-816
International audience; Fault Tree Analysis (FTA) is a technique widely used for fault forecasting of physical systems. Although FTA is considered a well established safety analysis technique, paradoxically classical Fault Trees include only random f
Publikováno v:
IFAC Proceedings Volumes. 38:86-91
This paper proposes a method enabling to state formal properties of a logic controller, a prerequisite for formal verification using model-checking, from a fault-tree analysis taking into account both the controlled process and the controller. Invari
Publikováno v:
ICORR
This study focuses on the early stages of developing and testing an interactive approach for gesture-based wheelchair control that could facilitate the user in various tasks such as cooking and food serving. The proposed method allows a user to hold
Publikováno v:
CIRAT
In usual wheelchair user control the wheelchair using the joystick. However, the user can't control the joystick when the user holds an object by both hands. We have developed a gesture control system of the wheelchair. This system consists of an ele
Publikováno v:
Proceedings of the 12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, Saint-Etienne, France
12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006
12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, May 2006, France. pp. 243-248
Information Control Problems in Manufacturing 2006
12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006
12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, May 2006, France. pp. 243-248
Information Control Problems in Manufacturing 2006
International audience; One of the prerequisites for formal verification of logic controllers using model-checking is the formalization of properties to verify. The work presented in this paper proposes a method to elaborate the formal properties of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f45e268d6f327fed04060963d897d35
https://hal.science/hal-00348083
https://hal.science/hal-00348083
Publikováno v:
In Fault Detection, Supervision and Safety of Technical Processes 2006 2007:765-770
Publikováno v:
2013 IEEE 13th International Conference on Rehabilitation Robotics (ICORR); 2013, p1-6, 6p