skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic

Faggian, Claudia ; Guerrieri, Giulio Tasson, Christine ; Kiefer, Stefan

Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings, 2021, Vol.12650, p.205-225 [Periódico revisado por pares]

Springer Verlag

Texto completo disponível

Citações Citado por
2
Steroids Conjugated to Carbon Nanoforms as Potential Inhibitors of Viral Proteases, Synthesis, DFT Calculations, and Molecular Docking
Steroids Conjugated to Carbon Nanoforms as Potential Inhibitors of Viral Proteases, Synthesis, DFT Calculations, and Molecular Docking
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Steroids Conjugated to Carbon Nanoforms as Potential Inhibitors of Viral Proteases, Synthesis, DFT Calculations, and Molecular Docking

Reinier Lemos ; Kamil Makowski ; Margarita Suárez

Medical sciences forum, 2022, Vol.14 (1), p.53 [Periódico revisado por pares]

MDPI AG

Texto completo disponível

Citações Citado por
3
A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λμ-Calculus
A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λμ-Calculus
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λμ-Calculus

Department of Computer Science ; Mathematical Foundations of Computation König, Barbara ; Goubault-Larrecq, Jean

Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, 2020, Vol.12077, p.422-441 [Periódico revisado por pares]

IRL: Springer

Texto completo disponível

Citações Citado por
4
Perceived Discrimination Among Chinese International Students During the COVID-19 Pandemic: A Qualitative Study Based on Grounded Theory
Perceived Discrimination Among Chinese International Students During the COVID-19 Pandemic: A Qualitative Study Based on Grounded Theory
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Perceived Discrimination Among Chinese International Students During the COVID-19 Pandemic: A Qualitative Study Based on Grounded Theory

Wu, Min ; Lou, Jingxuan ; Kung, Lap Yan ; Chen, Xuanyuan ; Shouse, Roger C. Hassan, M.H.A. ; Hajiyev, A. ; Windapo, A. ; Xu, J.

E3S Web of Conferences, 2023, Vol.409, p.6013 [Periódico revisado por pares]

Les Ulis: EDP Sciences

Texto completo disponível

Citações Citado por
5
An Extensible SAT-solver
An Extensible SAT-solver
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An Extensible SAT-solver

Sörensson, Niklas ; Een, Niklas Giunchiglia, Enrico ; Tacchella, Armando

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, Vol.2919, p.502-518 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
What Idea of Information Do ICT Practitioners Have in Mind?
What Idea of Information Do ICT Practitioners Have in Mind?
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

What Idea of Information Do ICT Practitioners Have in Mind?

Paolo Rocchi

Proceedings, 2022, Vol.81 (1), p.91 [Periódico revisado por pares]

MDPI AG

Texto completo disponível

Citações Citado por
7
Indicator-Based Selection in Multiobjective Search
Indicator-Based Selection in Multiobjective Search
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Indicator-Based Selection in Multiobjective Search

Zitzler, Eckart ; Künzli, Simon Smith, Jim ; Lozano, José A. ; Burke, Edmund K. ; Schwefel, Hans-Paul ; Rowe, Jonathan E. ; Yao, Xin ; Merelo-Guervós, Juan Julián ; Bullinaria, John A. ; Tiňo, Peter ; Kabán, Ata

Lecture notes in computer science, 2004, p.832-842 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
LongEval: Longitudinal Evaluation of Model Performance at CLEF 2023
LongEval: Longitudinal Evaluation of Model Performance at CLEF 2023
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

LongEval: Longitudinal Evaluation of Model Performance at CLEF 2023

Alkhalifa, Rabab ; Bilal, Iman ; Borkakoty, Hsuvas ; Camacho-Collados, Jose ; Deveaud, Romain ; El-Ebshihy, Alaa ; Espinosa-Anke, Luis ; Gonzalez-Saez, Gabriela ; Galuščáková, Petra ; Goeuriot, Lorraine ; Kochkina, Elena ; Liakata, Maria ; Loureiro, Daniel ; Tayyar Madabushi, Harish ; Piroi, Florina ; Popel, Martin ; Servan, Christophe ; Zubiaga, Arkaitz Goeuriot, Lorraine ; Kamps, Jaap ; Caputo, Annalina ; Kruschwitz, Udo ; Maistro, Maria ; Joho, Hideo ; Davis, Brian ; Crestani, Fabio ; Gurrin, Cathal

Advances in Information Retrieval, 2023, Vol.13982 LNCS, p.499-505 [Periódico revisado por pares]

IRL

Texto completo disponível

Citações Citado por
9
Trust as a basis for ensuring sustainable interaction of market agents
Trust as a basis for ensuring sustainable interaction of market agents
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Trust as a basis for ensuring sustainable interaction of market agents

Bikmetov, Evgeniy ; Amirkhanova, Liliya ; Sizonenko, Zarina ; Ignatieva, Oksana ; Sizonenko, Roman Kamyshev, K.V. ; Kovačević, S.

E3S Web of Conferences, 2023, Vol.376, p.5042 [Periódico revisado por pares]

Les Ulis: EDP Sciences

Texto completo disponível

Citações Citado por
10
Theoretical analysis of the vibration inducing processes of the “workpiece-mandrel” assemblies during gear-tooth milling
Theoretical analysis of the vibration inducing processes of the “workpiece-mandrel” assemblies during gear-tooth milling
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Theoretical analysis of the vibration inducing processes of the “workpiece-mandrel” assemblies during gear-tooth milling

Kharlamov, O.G. ; Finochenko, T.A. ; Chukarin, A.N. Bieliatynskyi, A. ; Guda, A.N.

E3S Web of Conferences, 2023, Vol.383, p.4037 [Periódico revisado por pares]

Les Ulis: EDP Sciences

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. Revistas revisadas por pares (9.052)

Data de Publicação 

De até
Refinar
  1. Antes de1983  (61)
  2. 1983Até1992  (507)
  3. 1993Até2002  (6.843)
  4. 2003Até2013  (7.097)
  5. Após 2013  (1.320)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (15.384)
  2. Japonês  (359)
  3. Chinês  (17)
  4. Francês  (12)
  5. Espanhol  (7)
  6. Russo  (3)
  7. Croatian  (2)
  8. Galês  (1)
  9. Italiano  (1)
  10. Alemão  (1)
  11. Tcheco  (1)
  12. Catalão  (1)
  13. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.