Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Verification of deterministic solar forecastsYang, Dazhi ; Alessandrini, Stefano ; Antonanzas, Javier ; Antonanzas-Torres, Fernando ; Badescu, Viorel ; Beyer, Hans Georg ; Blaga, Robert ; Boland, John ; Bright, Jamie M. ; Coimbra, Carlos F.M. ; David, Mathieu ; Frimane, Âzeddine ; Gueymard, Christian A. ; Hong, Tao ; Kay, Merlinde J. ; Killinger, Sven ; Kleissl, Jan ; Lauret, Philippe ; Lorenz, Elke ; van der Meer, Dennis ; Paulescu, Marius ; Perez, Richard ; Perpiñán-Lamigueiro, Oscar ; Peters, Ian Marius ; Reikard, Gordon ; Renné, David ; Saint-Drenan, Yves-Marie ; Shuai, Yong ; Urraca, Ruben ; Verbois, Hadrien ; Vignola, Frank ; Voyant, Cyril ; Zhang, JieSolar energy, 2020-11, Vol.210, p.20-37 [Periódico revisado por pares]New York: Elsevier LtdTexto completo disponível |
|
2 |
Material Type: Artigo
|
Understanding multidimensional verification: Where functional meets non-functionalLai, Xinhui ; Balakrishnan, Aneesh ; Lange, Thomas ; Jenihhin, Maksim ; Ghasempouri, Tara ; Raik, Jaan ; Alexandrescu, DanMicroprocessors and microsystems, 2019-11, Vol.71, p.102867, Article 102867 [Periódico revisado por pares]Kidlington: Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
SWAT+ model setup verification tool: SWATdoctRPlunge, Svajunas ; Schürz, Christoph ; Čerkasova, Natalja ; Strauch, Michael ; Piniewski, MikołajEnvironmental modelling & software : with environment data news, 2024-01, Vol.171, p.105878, Article 105878 [Periódico revisado por pares]Texto completo disponível |
|
4 |
Material Type: Artigo
|
Eigenvalue-based quantum state verification of three-qubit W class statesBao, Daipengwei ; Liu, Min ; Ou, Yangwei ; Xu, Qingshan ; Li, Qin ; Tan, XiaoqingPhysica A, 2024-04, Vol.639, Article 129681 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Artigo
|
Interpretation of the coupling mechanism of ecological security and urbanization based on a Computation-Verification-Coupling framework: Quantitative analysis of sustainable developmentTang, Haojie ; Hou, Kang ; Wu, Siqi ; Liu, Jiawei ; Ma, Lixia ; Li, XuxiangEcotoxicology and environmental safety, 2023-09, Vol.263, p.115294-115294, Article 115294 [Periódico revisado por pares]Netherlands: Elsevier IncTexto completo disponível |
|
6 |
Material Type: Artigo
|
Chordal sparsity for SDP-based neural network verificationXue, Anton ; Lindemann, Lars ; Alur, RajeevAutomatica (Oxford), 2024-03, Vol.161, p.111487, Article 111487 [Periódico revisado por pares]Texto completo disponível |
|
7 |
Material Type: Artigo
|
An enhanced contextual DTW based system for online signature verification using Vector QuantizationSharma, Abhishek ; Sundaram, SureshPattern recognition letters, 2016-12, Vol.84, p.22-28 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Interval valued symbolic representation of writer dependent features for online signature verificationGuru, D.S. ; Manjunatha, K.S. ; Manjunath, S. ; Somashekara, M.T.Expert systems with applications, 2017-09, Vol.80, p.232-243 [Periódico revisado por pares]New York: Elsevier LtdTexto completo disponível |
|
9 |
Material Type: Artigo
|
Improving user verification in human-robot interaction from audio or image inputs through sample quality assessmentFreire-Obregón, David ; Rosales-Santana, Kevin ; Marín-Reyes, Pedro A. ; Penate-Sanchez, Adrian ; Lorenzo-Navarro, Javier ; Castrillón-Santana, ModestoPattern recognition letters, 2021-09, Vol.149, p.179-184 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
Formal verification approaches and standards in the cloud computing: A comprehensive and systematic reviewSouri, Alireza ; Navimipour, Nima Jafari ; Rahmani, Amir MasoudComputer standards and interfaces, 2018-05, Vol.58, p.1-22 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |