skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover Lecture Notes in Computer Science Archive (through to 1996) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic

Kremer, Gereon ; Corzilius, Florian ; Ábrahám, Erika Seiler, Werner M. ; Koepf, Wolfram ; Gerdt, Vladimir P. ; Vorozhtsov, Evgenii V.

Computer Algebra in Scientific Computing, 2016, Vol.9890, p.315-335 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
2
When Are Three Voters Enough for Privacy Properties?
When Are Three Voters Enough for Privacy Properties?
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

When Are Three Voters Enough for Privacy Properties?

Arapinis, Myrto ; Cortier, Véronique ; Kremer, Steve Meadows, Catherine ; Ioannidis, Sotiris ; Askoxylakis, Ioannis ; Katsikas, Sokratis

Computer Security – ESORICS 2016, p.241-260 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
An Architecture for Modeling Internet-based Collaborative Agent Systems
An Architecture for Modeling Internet-based Collaborative Agent Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Architecture for Modeling Internet-based Collaborative Agent Systems

Flores, Roberto A. ; Kremer, Rob C. ; Norrie, Douglas H. Rana, Omer F. ; Wagner, Tom

Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems, 2001, p.56-63 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Automatic Data Layout for Distributed-Memory Machines in the D Programming Environment
Automatic Data Layout for Distributed-Memory Machines in the D Programming Environment
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automatic Data Layout for Distributed-Memory Machines in the D Programming Environment

Kremer, Ulrich ; Mellor-Crummey, John ; Kennedy, Ken ; Carle, Alan Keßler, Christoph W.

Automatic Parallelization, p.136-152

Wiesbaden: Vieweg+Teubner Verlag

Texto completo disponível

Citações Citado por
5
Syntaxgesteuerte Programmierung und Inkrementelle Compilation
Syntaxgesteuerte Programmierung und Inkrementelle Compilation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Syntaxgesteuerte Programmierung und Inkrementelle Compilation

Brendel, W. ; Bunke, H. ; Nagl, M. Schneider, Hans Jürgen

GI — 7. Jahrestagung, p.57-73

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
A Matching Model Based on Earth Mover’s Distance for Tracking Myxococcus Xanthus
A Matching Model Based on Earth Mover’s Distance for Tracking Myxococcus Xanthus
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Matching Model Based on Earth Mover’s Distance for Tracking Myxococcus Xanthus

Chen, Jianxu ; Harvey, Cameron W. ; Alber, Mark S. ; Chen, Danny Z. Golland, Polina ; Howe, Robert ; Hata, Nobuhiko ; Hornegger, Joachim ; Barillot, Christian

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014, p.113-120 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Privacy by Design: On the Conformance Between Protocols and Architectures
Privacy by Design: On the Conformance Between Protocols and Architectures
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Privacy by Design: On the Conformance Between Protocols and Architectures

Ta, Vinh-Thong ; Antignac, Thibaud Fong, Philip W. L. ; Zincir Heywood, Nur ; Cuppens, Frédéric ; Garcia-Alfaro, Joaquin

Foundations and Practice of Security, p.65-81 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
Volume Driven Data Distribution for NUMA-Machines
Volume Driven Data Distribution for NUMA-Machines
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Volume Driven Data Distribution for NUMA-Machines

Heine, Felix ; Slowik, Adrian Bode, Arndt ; Ludwig, Thomas ; Karl, Wolfgang ; Wismüller, Roland

Euro-Par 2000 Parallel Processing, 2000, p.415-424 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Mining multi-dimensional data for decision support
Mining multi-dimensional data for decision support
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Mining multi-dimensional data for decision support

Donato, June M. ; Schryver, Jack C. ; Hinkel, Gregory C. ; Schmoyer, Richard L. ; Grady, Nancy W. ; Leuze, Michael R. Bubak, Marian ; Sloot, Peter ; Hertzberger, Bob

High-Performance Computing and Networking, 1998, p.489-497 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms
Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms

Hinze, Thomas ; Grützmann, Konrad ; Höckner, Benny ; Sauer, Peter ; Hayat, Sikander Salomaa, Arto ; Gheorghe, Marian ; Zandron, Claudio ; Rozenberg, Grzegorz ; Sosík, Petr

Membrane Computing, p.241-257 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (18)

Data de Publicação 

De até
Refinar
  1. Antes de2000  (2)
  2. 2000Até2011  (2)
  3. 2012Até2013  (3)
  4. 2014Até2016  (11)
  5. Após 2016  (1)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (19)
  2. Alemão  (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.