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 nível superior: Revistas revisadas por pares 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

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

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
Improving the Big Mac Attack on Elliptic Curve Cryptography
Improving the Big Mac Attack on Elliptic Curve Cryptography
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improving the Big Mac Attack on Elliptic Curve Cryptography

Danger, Jean-Luc ; Guilley, Sylvain ; Hoogvorst, Philippe ; Murdica, Cédric ; Naccache, David

The New Codebreakers, 2016, p.374-386 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
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

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

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
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

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

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
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

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

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
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

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
7
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

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
8
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

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

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

Bucchiarone, Antonio ; Ehrig, Hartmut ; Ermel, Claudia ; Pelliccione, Patrizio ; Runge, Olga

Software, Services, and Systems, p.582-601 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Proposal of an Instructional Design Support System Based on Consensus Among Academic Staff and Students
Proposal of an Instructional Design Support System Based on Consensus Among Academic Staff and Students
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proposal of an Instructional Design Support System Based on Consensus Among Academic Staff and Students

Nakamura, Shuya ; Tomoto, Takahito ; Akakura, Takako

Human Interface and the Management of Information. Information and Knowledge in Context, p.370-377 [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 de1995  (5)
  2. 1995Até1999  (5)
  3. 2000Até2003  (523)
  4. 2004Até2013  (177)
  5. Após 2013  (102)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (51)
  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.