skip to main content

Idioma:

Resultados de 1 a 10 de 3.665 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Revistas revisadas por pares (3.655)

Refinado por: Base de dados/Biblioteca: Journals@Ovid Complete

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artigo		Porous Media Compressed-Air Energy Storage (PM-CAES): Theory and Simulation of the Coupled Wellbore–Reservoir System Oldenburg, Curtis M. ; Pan, Lehua Transport in porous media, 2013-03, Vol.97 (2), p.201-221 [Periódico revisado por pares] Dordrecht: Springer Netherlands Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Artigo		Knowledge discovery assistants for crash simulations with graph algorithms and energy absorption features Pakiman, Anahita ; Garcke, Jochen ; Schumacher, Axel Applied intelligence (Dordrecht, Netherlands), 2023-08, Vol.53 (16), p.19217-19236 [Periódico revisado por pares] New York: Springer US Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo		Comparison of various heat recovery options for compressed air energy storage system integrated with cascaded heat storage and organic Rankine cycle Erdemir, Dogan ; Dincer, Ibrahim Journal of thermal analysis and calorimetry, 2023-08, Vol.148 (16), p.8365-8374 [Periódico revisado por pares] Cham: Springer International Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo		A hybrid approach of neutrosophic sets and DEMATEL method for developing supplier selection criteria Abdel-Basset, Mohamed ; Manogaran, Gunasekaran ; Gamal, Abduallah ; Smarandache, Florentin Design automation for embedded systems, 2018-09, Vol.22 (3), p.257-278 [Periódico revisado por pares] New York: Springer US Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	Material Type: Artigo		Design of interval observers for uncertain dynamical systems Efimov, D. ; Raïssi, T. Automation and remote control, 2016-02, Vol.77 (2), p.191-225 [Periódico revisado por pares] Moscow: Pleiades Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Artigo		Robust online monitoring of signal temporal logic Deshmukh, Jyotirmoy V. ; Donzé, Alexandre ; Ghosh, Shromona ; Jin, Xiaoqing ; Juniwal, Garvit ; Seshia, Sanjit A. Formal methods in system design, 2017-08, Vol.51 (1), p.5-30 [Periódico revisado por pares] New York: Springer US Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Artigo		Compression ratio energy and exergy analysis of a developed Brayton-based power cycle employing CAES and ORC Bagherzadeh, Seyed Amin ; Ruhani, Behrooz ; Namar, Mohammad Mostafa ; Alamian, Rezvan ; Rostami, Sara Journal of thermal analysis and calorimetry, 2020-02, Vol.139 (4), p.2781-2790 [Periódico revisado por pares] Cham: Springer International Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Artigo		A survey of challenges for runtime verification from advanced application domains (beyond software) Sánchez, César ; Schneider, Gerardo ; Ahrendt, Wolfgang ; Bartocci, Ezio ; Bianculli, Domenico ; Colombo, Christian ; Falcone, Yliès ; Francalanza, Adrian ; Krstić, Srđan ; Lourenço, Joa̋o M. ; Nickovic, Dejan ; Pace, Gordon J. ; Rufino, Jose ; Signoles, Julien ; Traytel, Dmitriy ; Weiss, Alexander Formal methods in system design, 2019-11, Vol.54 (3), p.279-335 [Periódico revisado por pares] New York: Springer US Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Artigo		Monitoring hyperproperties Finkbeiner, Bernd ; Hahn, Christopher ; Stenger, Marvin ; Tentrup, Leander Formal methods in system design, 2019, Vol.54 (3), p.336-363 [Periódico revisado por pares] New York: Springer US Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Artigo		ModelPlex: verified runtime validation of verified cyber-physical system models Mitsch, Stefan ; Platzer, André Formal methods in system design, 2016-10, Vol.49 (1-2), p.33-74 [Periódico revisado por pares] New York: Springer US Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Resultados de 1 a 10 de 3.665 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Mostrar Somente

Revistas revisadas por pares (3.655)

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento