Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Automated formal synthesis of provably safe digital controllers for continuous plantsAbate, Alessandro ; Bessa, Iury ; Cordeiro, Lucas ; David, Cristina ; Kesseli, Pascal ; Kroening, Daniel ; Polgreen, ElizabethActa informatica, 2020-04, Vol.57 (1-2), p.223-244 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Artigo
|
Bees and pesticides: the research impact and scientometrics relationsAbati, Raiza ; Sampaio, Amanda Roberta ; Maciel, Rodrigo Mendes Antunes ; Colombo, Fernanda Caroline ; Libardoni, Gabriela ; Battisti, Lucas ; Lozano, Everton Ricardi ; Ghisi, Nédia de Castilhos ; Costa-Maia, Fabiana Martins ; Potrich, MicheleEnvironmental science and pollution research international, 2021-07, Vol.28 (25), p.32282-32298 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Artigo
|
Impact of Co2+ on the spectral, optoelectrical, and dielectric properties of Mg0.25Ni0.25Cu0.5−xCoxFe1.97La0.03O4 ferrites prepared via sol–gel auto-combustion routeAbbas, Ghulam ; Rehman, Atta Ur ; Gull, Waheed ; Afzaal, M. ; Amin, Nasir ; Ben Farhat, Lamia ; Amami, Mongi ; Morley, Nicola A. ; Akhtar, Maria ; Arshad, Muhammad Imran ; Ghuffar, Abdul ; Mahmood, Abid ; Ibrahim, MuhammadJournal of sol-gel science and technology, 2022-02, Vol.101 (2), p.428-442 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
4 |
Material Type: Artigo
|
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeYAbbasi, Rosa ; Schiffl, Jonas ; Darulova, Eva ; Ulbrich, Mattias ; Ahrendt, WolfgangInternational journal on software tools for technology transfer, 2023-04, Vol.25 (2), p.185-204 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
5 |
Material Type: Artigo
|
A surface plasmon resonance sensor based on photonic crystal fiber composed of magnesium fluoride and graphene layers to detect aqueous solutionsAbbaszadeh, Aryan ; Rash-Ahmadi, SamrandOptical and quantum electronics, 2024-04, Vol.56 (6), Article 915 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
6 |
Material Type: Artigo
|
Meta-analysis of prepectoral implant-based breast reconstruction: guide to patient selection and current outcomesAbbate, Olivia ; Rosado, Nikki ; Sobti, Nikhil ; Vieira, Brittany L. ; Liao, Eric C.Breast cancer research and treatment, 2020-08, Vol.182 (3), p.543-554 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
7 |
Material Type: Artigo
|
ASD Comorbidity in Fragile X Syndrome: Symptom Profile and Predictors of Symptom Severity in Adolescent and Young Adult MalesAbbeduto, Leonard ; Thurman, Angela John ; McDuffie, Andrea ; Klusek, Jessica ; Feigles, Robyn Tempero ; Ted Brown, W. ; Harvey, Danielle J. ; Adayev, Tatyana ; LaFauci, Giuseppe ; Dobkins, Carl ; Roberts, Jane E.Journal of autism and developmental disorders, 2019-03, Vol.49 (3), p.960-977 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
8 |
Material Type: Artigo
|
Production of nutty-like flavour from soybean protein isolate hydrolysate pretreated or assisted by microwave irradiation: impact of encapsulation on nutty flavour qualityAbd El-Aleem, Fatma Shafik ; Lotfy, Shereen Nazeh ; Saad, Rasha ; Ahmed, Mohamad Yehia Sayed ; Fadel, Hoda Hanem MohamedJournal of food science and technology, 2022-05, Vol.59 (5), p.1958-1967 [Periódico revisado por pares]New Delhi: Springer IndiaTexto completo disponível |
|
9 |
Material Type: Artigo
|
Modulation of vigabatrin induced cerebellar injury: the role of caspase-3 and RIPK1/RIPK3-regulated cell death pathwaysAbd El-kader, Marwa ; Hamza, Eman ; El-Gamal, Randa ; Eladl, Amira Sobhy Rashed ; El Nashar, Eman Mohamad ; Alghamdi, Mansour A. ; Erfan, Omnia S.Journal of molecular histology, 2021-08, Vol.52 (4), p.781-798 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
10 |
Material Type: Artigo
|
Highly sensitive temperature sensor based on nematic liquid crystal channel waveguide on siliconAbd-Elkader, Ahmed El-Sayed ; Hameed, Mohamed Farhat O. ; Obayya, Salah S. A. ; Younis, B. M.Optical and quantum electronics, 2024-03, Vol.56 (3), Article 486 [Periódico revisado por pares]New York: Springer USTexto completo disponível |