skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Lecture Notes in Computer Science remover assunto: Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning

Isberner, Malte ; Howar, Falk ; Steffen, Bernhard Smolka, Scott A. ; Bonakdarpour, Borzoo

Runtime Verification, p.307-322 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
Quantum Finite Automata: A Modern Introduction
Quantum Finite Automata: A Modern Introduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quantum Finite Automata: A Modern Introduction

Say, A.C. Cem ; Yakaryılmaz, Abuzer Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, Iwama

Computing with New Resources, p.208-222 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Synergistic Characteristic of Human Hand during Grasping Tasks in Daily Life
Synergistic Characteristic of Human Hand during Grasping Tasks in Daily Life
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synergistic Characteristic of Human Hand during Grasping Tasks in Daily Life

Liu, Mingjin ; Xiong, Caihua Liu, Honghai ; Wang, Nianfeng ; Chen, Zhong ; Zhang, Xianmin

Intelligent Robotics and Applications, p.67-76 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
Aspects of Reversibility for Classical Automata
Aspects of Reversibility for Classical Automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Aspects of Reversibility for Classical Automata

Kutrib, Martin Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, Iwama

Computing with New Resources, p.83-98 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
MassiveThreads: A Thread Library for High Productivity Languages
MassiveThreads: A Thread Library for High Productivity Languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

MassiveThreads: A Thread Library for High Productivity Languages

Nakashima, Jun ; Taura, Kenjiro Agha, Gul ; Kobayashi, Naoki ; Matsuoka, Satoshi ; Taura, Kenjiro ; Masuhara, Hidehiko ; Igarashi, Atsushi ; Shibayama, Etsuya

Concurrent Objects and Beyond, p.222-238 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Making Use of Design Principles
Making Use of Design Principles
Material Type:
Artigo 		Adicionar ao Meu Espaço

Making Use of Design Principles

Chandra Kruse, Leona ; Seidel, Stefan ; Purao, Sandeep Helfert, Markus ; Kenneally, Jim ; Venable, John ; Donnellan, Brian ; Tuunanen, Tuure ; Parsons, Jeffrey

Tackling Society's Grand Challenges with Design Science, p.37-51 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
A Patient-Specific EMG-Driven Musculoskeletal Model for Improving the Effectiveness of Robotic Neurorehabilitation
A Patient-Specific EMG-Driven Musculoskeletal Model for Improving the Effectiveness of Robotic Neurorehabilitation
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Patient-Specific EMG-Driven Musculoskeletal Model for Improving the Effectiveness of Robotic Neurorehabilitation

Ma, Ye ; Xie, Sheng Quan ; Zhang, Yanxin Liu, Honghai ; Wang, Nianfeng ; Chen, Zhong ; Zhang, Xianmin

Intelligent Robotics and Applications, p.390-401 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
A Study of EMG-Based Neuromuscular Interface for Elbow Joint
A Study of EMG-Based Neuromuscular Interface for Elbow Joint
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Study of EMG-Based Neuromuscular Interface for Elbow Joint

Tao, Ran ; Xie, Sheng Quan ; Pau, James W. L. Liu, Honghai ; Wang, Nianfeng ; Chen, Zhong ; Zhang, Xianmin

Intelligent Robotics and Applications, p.224-233 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Design of an Anthropomorphic Prosthetic Hand with EMG Control
Design of an Anthropomorphic Prosthetic Hand with EMG Control
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design of an Anthropomorphic Prosthetic Hand with EMG Control

Wang, Nianfeng ; Lao, Kunyi ; Zhang, Xianmin Liu, Honghai ; Wang, Nianfeng ; Chen, Zhong ; Zhang, Xianmin

Intelligent Robotics and Applications, p.300-308 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Abstract Interpretation
Abstract Interpretation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract Interpretation

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.167-189 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1993  (5)
  2. 1993Até1997  (4)
  3. 1998Até2001  (65)
  4. 2002Até2011  (628)
  5. Após 2011  (97)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (47)
  2. Russo  (1)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.