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 3 4 5 next page
Mostrar Somente
Refinado por: idioma: Norueguês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Sculptures in concurrency
Sculptures in concurrency
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sculptures in concurrency

Fahrenberg, Uli ; Johansen, Christian ; Trotter, Christopher A ; Ziemiański, Krzysztof

Logical methods in computer science, 2021-01, Vol.17 (2) [Periódico revisado por pares]

Technische Universität Braunschweig

Texto completo disponível

Citações Citado por
2
Dividing the ontology alignment task with semantic embeddings and logic-based modules
Dividing the ontology alignment task with semantic embeddings and logic-based modules
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Dividing the ontology alignment task with semantic embeddings and logic-based modules

Jimenez-Ruiz, Ernesto ; Agibetov, Asan ; Chen, Jiaoyan ; Samwald, Matthias ; Cross, Valerie

2020

Texto completo disponível

Citações Citado por
3
Improving the Informational Value of MODIS Fractional Snow Cover Area Using Fuzzy Logic Based Ensemble Smoother Data Assimilation Frameworks
Improving the Informational Value of MODIS Fractional Snow Cover Area Using Fuzzy Logic Based Ensemble Smoother Data Assimilation Frameworks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improving the Informational Value of MODIS Fractional Snow Cover Area Using Fuzzy Logic Based Ensemble Smoother Data Assimilation Frameworks

Teweldebrhan, Aynom ; Burkhart, John ; Schuler, Thomas ; Xu, Chong-Yu

Remote sensing (Basel, Switzerland), 2019-01, Vol.11 (1), p.28 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

Citações Citado por
4
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Coarsening Natural Deduction Proofs I: Finding Perfect Proofs

Brauer, Ethan

Journal of logic and computation, 2024-01 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
There are no minimal essentially undecidable theories
There are no minimal essentially undecidable theories
Material Type:
Artigo 		Adicionar ao Meu Espaço

There are no minimal essentially undecidable theories

Murwanashyaka, Juvenal ; Pakhomov, Fedor ; Visser, Albert

Journal of logic and computation, 2023-03 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
6
A new effective robust nonlinear controller based on PSO for interleaved DC–DC boost converters for fuel cell voltage regulation
A new effective robust nonlinear controller based on PSO for interleaved DC–DC boost converters for fuel cell voltage regulation
Material Type:
Artigo 		Adicionar ao Meu Espaço

A new effective robust nonlinear controller based on PSO for interleaved DC–DC boost converters for fuel cell voltage regulation

Abdelmalek, Samir ; Dali, Ali ; Bettayeb, Maamar ; Bakdi, Azzeddine

Soft computing (Berlin, Germany), 2020-11, Vol.24 (22), p.17051-17064 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Type theoretical databases
Type theoretical databases
Material Type:
Artigo 		Adicionar ao Meu Espaço

Type theoretical databases

Forssell, Henrik ; Robbestad Gylterud, Håkon ; Spivak, David I

Journal of logic and computation, 2020-01, Vol.30 (1), p.217-238 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

Citações Citado por
8
Project-based learning in human–computer interaction: a service‐dominant logic approach
Project-based learning in human–computer interaction: a service‐dominant logic approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Project-based learning in human–computer interaction: a service‐dominant logic approach

Karahasanovic, Amela ; Culén, Alma Leora

2022

Texto completo disponível

Citações Citado por
9
Bridging the semantic gap between qualitative and quantitative models of distributed systems
Bridging the semantic gap between qualitative and quantitative models of distributed systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bridging the semantic gap between qualitative and quantitative models of distributed systems

Liu, Si ; Meseguer, Jose ; Ölveczky, Peter Csaba ; Zhang, Min ; Basin, David

Proceedings of ACM on programming languages, 2022-10, Vol.6 (OOPSLA2), p.315-344 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
Efficient verification of railway infrastructure designs against standard regulations
Efficient verification of railway infrastructure designs against standard regulations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient verification of railway infrastructure designs against standard regulations

Luteberget, Bjørnar ; Johansen, Christian

Formal methods in system design, 2018-02, Vol.52 (1), p.1-32 [Periódico revisado por pares]

New York: Springer US

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.   

Mostrar Somente

  1. Recursos Online (324)
  2. Revistas revisadas por pares (321)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (321)
  2. Book Chapters  (15)
  3. Anais de Congresso  (10)
  4. Audio  (5)
  5. Dissertações  (1)
  6. Livros  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1995  (7)
  2. 1995Até2002  (7)
  3. 2003Até2008  (16)
  4. 2009Até2015  (52)
  5. Após 2015  (273)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.