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
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic and Model Checking by Imprecise Probabilistic Interpreted Systems
Logic and Model Checking by Imprecise Probabilistic Interpreted Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Logic and Model Checking by Imprecise Probabilistic Interpreted Systems

Termine, Alberto ; Antonucci, Alessandro ; Primiero, Giuseppe ; Facchini, Alessandro Talmon, Nimrod ; Rosenfeld, Ariel ; Rosenfeld, Ariel ; Talmon, Nimrod

Multi-Agent Systems, 2021, Vol.12802, p.211-227 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Sem texto completo

Citações Citado por
2
RAPL: A Domain Specific Language for Resource Allocation of Indivisible Goods
RAPL: A Domain Specific Language for Resource Allocation of Indivisible Goods
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

RAPL: A Domain Specific Language for Resource Allocation of Indivisible Goods

Pineda, Israel ; Zhunio, Cristopher ; Camacho, Franklin ; Fonseca-Delgado, Rigoberto Rodriguez Morales, Germania ; Fonseca C., Efraín R. ; Salgado, Juan Pablo ; Pérez-Gosende, Pablo ; Berrezueta, Santiago ; Orellana Cordero, Marcos

Information and Communication Technologies, p.479-492 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
3
Scalable Machine Learning in C++ (CAMEL)
Scalable Machine Learning in C++ (CAMEL)
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Scalable Machine Learning in C++ (CAMEL)

Sharma, Moolchand ; Raina, Anshuman ; Khullar, Kashish ; Khandelwal, Harshit ; Mehrotra, Saumye Khanna, Ashish ; Bhattacharyya, Siddhartha ; Hassanien, Aboul Ella ; Jaiswal, Ajay ; Anand, Sameer ; Gupta, Deepak ; Hassanien, Aboul Ella ; Bhattacharyya, Siddhartha ; Anand, Sameer ; Gupta, Deepak ; Khanna, Ashish ; Jaiswal, Ajay

International Conference on Innovative Computing and Communications, 2020, Vol.1166, p.1063-1081

Singapore: Springer Singapore Pte. Limited

Sem texto completo

Citações Citado por
4
Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems
Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems

Woźna-Szcześniak, Bożena ; Szcześniak, Ireneusz De La Prieta, Fernando ; Fernández-Caballero, Antonio ; Omatu, Sigeru ; Fernández-Caballero, Antonio ; De La Prieta, Fernando ; Omatu, Sigeru

Distributed Computing and Artificial Intelligence, 15th International Conference, 2018, Vol.800, p.103-111

Switzerland: Springer International Publishing AG

Sem texto completo

Citações Citado por
5
Exploiting User Model Diversity in Forecast Aggregation
Exploiting User Model Diversity in Forecast Aggregation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Exploiting User Model Diversity in Forecast Aggregation

Van Dyke Parunak, H. ; Brueckner, Sven A. ; Downs, Elizabeth Greenberg, Ariel M. ; Bos, Nathan D. ; Kennedy, William G.

Social Computing, Behavioral-Cultural Modeling and Prediction, p.513-522 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Engineering Compulsory Food Safety Liability Insurance in China: A Joint Perspective of Public and Private International Law
Engineering Compulsory Food Safety Liability Insurance in China: A Joint Perspective of Public and Private International Law
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Engineering Compulsory Food Safety Liability Insurance in China: A Joint Perspective of Public and Private International Law

Zhang, Lin ; Zhang, Xiaochen Lee, Eric Yong-Joong ; Lee, Eric Yong Joong

Revolutionary Approach to International Law, 2023, p.301-320

Singapore: Springer

Sem texto completo

Citações Citado por
7
Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems
Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems

Wan, Wei ; Bentahar, Jamal ; Ben Hamza, Abdessamad Ali, Moonis ; Mehrotra, Kishan G. ; Mohan, Chilukuri K. ; Oh, Jae C. ; Varshney, Pramod K.

Modern Approaches in Applied Intelligence, p.68-78 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
Optimizing Energy States in Mobile Embedded Systems: A SIPN-Based Approach
Optimizing Energy States in Mobile Embedded Systems: A SIPN-Based Approach
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Optimizing Energy States in Mobile Embedded Systems: A SIPN-Based Approach

Stojic, Robert ; Peters, Daniel ; Thiel, Florian Arai, Kohei ; Arai, Kohei

Intelligent Computing, 2024, Vol.1017, p.457-477

Switzerland: Springer International Publishing AG

Sem texto completo

Citações Citado por
9
Nonspecific Infection in Paleopathology: Interpreting Periosteal Reactions
Nonspecific Infection in Paleopathology: Interpreting Periosteal Reactions
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Nonspecific Infection in Paleopathology: Interpreting Periosteal Reactions

Weston, Darlene A Grauer, Anne L

A Companion to Paleopathology, 2011, p.492-512

Oxford, UK: Wiley‐Blackwell

Texto completo disponível

Citações Citado por
10
Logic of Non-monotonic Interactive Proofs
Logic of Non-monotonic Interactive Proofs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Logic of Non-monotonic Interactive Proofs

Kramer, Simon Lodaya, Kamal

Logic and Its Applications, p.173-184 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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 (66)
  2. Revistas revisadas por pares (6)

Data de Publicação 

De até
Refinar
  1. Antes de2007  (7)
  2. 2007Até2010  (31)
  3. 2011Até2015  (35)
  4. 2016Até2020  (12)
  5. Após 2020  (8)
  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.