Resultados de 1 a 10 de 9.332 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (9.319)
- Revistas revisadas por pares (6.311)
- Disponível na Biblioteca (15)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
A direct and analytical method for inverse problems under uncertainty in energy system design: combining inverse simulation and Polynomial Chaos theorySchwarz, Sebastian ; Carta, Daniele ; Monti, Antonello ; Benigni, AndreaEnergy Informatics, 2024-12, Vol.7 (1), p.55-36, Article 55 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Physical computing: a category theoretic perspective on physical computation and system compositionalityDehghani, Nima ; Caterina, GianlucaJournal of physic, complexity, 2024-09, Vol.5 (3), p.35005 [Periódico revisado por pares]IOP PublishingTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Research on risk assessment of cruise tourism supply chain based on catastrophe theoryGan, Shengjun ; Liu, Qingliang Castro-Nuño, MercedesPloS one, 2024-08, Vol.19 (8), p.e0306927 [Periódico revisado por pares]San Francisco: Public Library of ScienceTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Precision Evaluation Methods of Petri Nets Modelling Discrete‐Event ProcessesLópez-Mellado, Ernesto ; Barragán-Pérez, Rubén Proietto, Federica ; Federica ProiettoModelling and Simulation in Engineering, 2024-08, Vol.2024 (1) [Periódico revisado por pares]New York: Hindawi LimitedTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
A Reversible Perspective on Petri Nets and Event StructuresMelgratti, Hernán ; Mezzina, Claudio Antares ; Pinna, G. MicheleACM transactions on computational logic, 2024-08 [Periódico revisado por pares]Texto completo disponível |
| 6 |
Material Type: Artigo
|
|
Quantifying the impact of resource redundancy on smart city system dependability: a model-driven approachSilva, Francisco Airton ; Fé, Iure ; Silva, Francisco ; Nguyen, Tuan AnhCluster computing, 2024-08, Vol.27 (5), p.6059-6079 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Navigation Based on Hybrid Decentralized and Centralized Training and Execution Strategy for Multiple Mobile Robots Reinforcement LearningDai, Yanyan ; Kim, Deokgyu ; Lee, KidongElectronics (Basel), 2024-08, Vol.13 (15), p.2927 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Two wrongs do not make a right: the assumption that an inhibitor acts as an inverse activatorJayathilaka, Chathranee ; Araujo, Robyn ; Nguyen, Lan ; Flegg, MarkJournal of mathematical biology, 2024-08, Vol.89 (2), p.26, Article 26 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Multi-Objective Supervisory Control in More-Electric Aircraft Using Model Predictive Control: An ORCHESTRA ApplicationCanciello, Giacomo ; Cacciapuoti, Luigi ; Perrotta, Angelo ; Guida, Beniamino ; Cavallo, AlbertoEnergies (Basel), 2024-08, Vol.17 (15), p.3799 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Partial Petri Net Languages and their PropertiesMahadeer, A. ; Arulprakasam, R. ; Dare, V. R.International journal of information technology (Singapore. Online), 2024-08, Vol.16 (6), p.3663-3676Singapore: Springer Nature SingaporeTexto completo disponível |
Resultados de 1 a 10 de 9.332 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (9.319)
- Revistas revisadas por pares (6.311)
- Disponível na Biblioteca (15)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (5.618)
- Anais de Congresso (2.075)
- Book Chapters (1.043)
- Livros (462)
- Verbetes (76)
- magazinearticle (29)
- Resenhas (16)
- Newsletter Articles (9)
- Reports (2)
- Dissertações (1)
- Web Resources (1)
-
Mais opções
Assunto
- Science & Technology (5.556)
- Technology (4.993)
- Computer Science (4.208)
- Engineering (2.002)
- Computer Science, Theory & Methods (1.776)
- Computer Science, Software Engineering (1.207)
- Petri Nets (1.109)
- Algorithms (1.004)
- Computer Science, Information Systems (950)
- Software (919)
- Software Engineering (816)
- Exact Sciences And Technology (751)
- Artificial Intelligence (744)
- Physical Sciences (715)
- Applied Sciences (714)
- Studies (693)
- Computer Science, Artificial Intelligence (647)
- Engineering, Electrical & Electronic (620)
- Mathematical Models (604)
- Computer Science; Control Theory; Systems (595)
- Machine Theory (176)
- Petri-Netz (138)
- Arquitetura E Organização De Computadores (9)
- Computer Multitasking (8)
- Redes De Petri (Congressos) (7)
- Arquiteturas Paralelas (Congressos) (6)
- Programação Paralela (Congressos) (5)
- Teoria Da Computação (5)
- Machine Theory (4)
- Redes De Computadores (3)
- Arquitetura E Organização De Computadores (Congressos) (3)
- Sistemas Operacionais (2)
- Parallel Processing (Electronic Computers) (2)
- Redes De Computadores (2)
- Computer Multitasking (2)
- Softwares (1)
- Teoria Dos Grafos (1)
- Icatpn (1)
- Nebenl Aufigkeit (1)
- Computabilidade E Complexidade (1)
- Softwares (1)
- Programação Paralela (1)
- ICATPN (1)
- Petri-Netz (1)
- Multitasking (Computer Science) (1)
-
Mais opções
Autor/Criador
- International Conference on Applications and Theory of Petri Nets (15)
- Reisig, W (4)
- International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (3)
- Kleijn, J (3)
- Van Leeuwen, J (3)
- Donatelli, S (3)
- Rozenberg, G (2)
- Silva, M (2)
- Hartmanis, J (2)
- International Conference on Application and Theory of Petri Nets (2)
- Rozenberg (2)
- Cortadella, J (2)
- Desel, J (2)
- Koutny, M (2)
- Nielsen, M (2)
- Colom, J (2)
- Simpson, D (2)
- Balbo, G (2)
- ICATPN 2001 (1)
- Thiagarajan, P (1)
-
Mais opções
Data de Publicação
- Antes de1979 (13)
- 1979Até1989 (153)
- 1990Até2000 (1.112)
- 2001Até2012 (3.683)
- Após 2012 (4.602)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (3.591)
- Free E-Journal (出版社公開部分のみ） (2.117)
- DOAJ Directory of Open Access Journals (1.772)
- SpringerLink_现刊 (1.770)
- IngentaConnect Journals (1.606)
- Springer Nature - Springer Journals All 2022 (1.562)
- Academic OneFile (1.540)
- SpringerLINK Lecture Notes in Computer Science (2015) (1.470)
- ROAD: Directory of Open Access Scholarly Resources (1.412)
- ACM Digital Library (1.326)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (1.316)
- Computers & Applied Sciences Complete - EBSCO (1.252)
- Springer Books (954)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (832)
- EBSCO-ASP (783)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (740)
- Journals@Ovid Ovid Full Text (645)
- IEEE Electronic Library (IEL) Conference Proceedings (640)
- ScienceDirect® (568)
- Business Source Complete (502)
-
Mais opções
Idioma
Nome da Publicação
- International Journal Of Advanced Manufacturing Technology (152)
- Software And Systems Modeling (110)
- Applied Sciences (101)
- International Journal Of Production Research (99)
- Journal Of Physics. Conference Series (99)
- International Journal On Software Tools For Technology Transfer (97)
- International Journal Of Advanced Computer Science & Applications (96)
- Journal Of Physics: Conference Series (95)
- International Journal Of Advanced Computer Science And Applications/international Journal Of Advanced Computer Science & Applications (93)
- Concurrency And Computation (71)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 