Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ

Wyszukujesz frazę ""Martinelli, F."" wg kryterium: Autor


Tytuł :
Partial model checking and theorem proving for ensuring security properties.
Autorzy :
Martinelli, F.
Pokaż więcej
Źródło :
Proceedings 11th IEEE Computer Security Foundations Workshop (Cat No98TB100238); 1998, p44-52, 9p
Konferencja
Tytuł :
Ordinal comparison for computation reduction in control of discrete event systems.
Autorzy :
Martinelli, F.
Nicosia, S.
Valigi, P.
Pokaż więcej
Źródło :
Proceedings of the 1998 IEEE International Conference on Control Applications (Cat No98CH36104); 1998, Issue 2, p920-920, 1p
Konferencja
Tytuł :
A scheduling problem for a finite buffer capacity pull manufacturing system.
Autorzy :
Martinelli, F.
Valigi, P.
Pokaż więcej
Źródło :
Proceedings of the 37th IEEE Conference on Decision & Control (Cat No98CH36171); 1998, Issue 2, p2171-2171, 1p
Konferencja
Tytuł :
A dynamic control problem for a two part-type pull manufacturing system.
Autorzy :
Martinelli, F.
Valigi, P.
Pokaż więcej
Źródło :
Proceedings 1998 IEEE International Conference on Robotics & Automation (Cat No98CH36146); 1998, Issue 3, p2753-2753, 1p
Konferencja
Tytuł :
Sample path techniques for the control of a real assembly system.
Autorzy :
Martinelli, F.
Valigi, P.
Pokaż więcej
Źródło :
1999 7th IEEE International Conference on Emerging Technologies & Factory Automation Proceedings ETFA '99 (Cat No99TH8467); 1999, Issue 2, p1547-1547, 1p
Konferencja
Tytuł :
A scheduling problem for a pull manufacturing system: how to modify the c/spl mu/-rule for finite buffer capacities.
Autorzy :
Martinelli, F.
Valigi, P.
Pokaż więcej
Źródło :
Proceedings of the 38th IEEE Conference on Decision & Control (Cat No99CH36304); 1999, Issue 3, p2264-2264, 1p
Konferencja
Tytuł :
A scheduling problem for N competing queues with finite capacity.
Autorzy :
Martinelli, F.
Pokaż więcej
Źródło :
Proceedings of the 38th IEEE Conference on Decision & Control (Cat No99CH36304); 1999, Issue 3, p2276-2276, 1p
Konferencja
Tytuł :
Robot group formations: a dynamic programming approach for a shortest path computation.
Autorzy :
Gentili, F.
Martinelli, F.
Pokaż więcej
Źródło :
Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics & Automation. Symposia Proceedings (Cat. No.00CH37065); 2000, p3152-3152, 1p
Konferencja
Tytuł :
A scheduling problem for two competing queues with finite capacity and non-negligible setup times.
Autorzy :
Del Gaudio, M.
Martinelli, F.
Valigi, P.
Pokaż więcej
Źródło :
Proceedings of the 40th IEEE Conference on Decision & Control (Cat. No.01CH37228); 2001, p2355-2355, 1p
Konferencja
Tytuł :
Optimal safety stock for unreliable, finite buffer, single machine manufacturing systems.
Autorzy :
Giordano, M.
Martinelli, F.
Pokaż więcej
Źródło :
Proceedings 2002 IEEE International Conference on Robotics & Automation (Cat. No.02CH37292); 2002, p2339-2344, 6p
Konferencja
Tytuł :
State estimation for a class of linear mechanical systems that become observable thanks to non-smooth impacts.
Autorzy :
Martinelli, F.
Menini, L.
Tornambe, A.
Pokaż więcej
Źródło :
Proceedings of the 41st IEEE Conference on Decision & Control, 2002; 2002, p3608-3608, 1p
Konferencja

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies