Search Results

Energy Efficiency in Smart Buildings: An IoT-Based Air Conditioning Control System

• Authors : Rocha, Felipe; Dantas, Lucas, Cristiano; Santos, Luís, Felipe ...

Subjects: Energy efficiency; Smart building; Internet of ThingsTampa; FL; United States

• Source: IFIP Advances in Information and Communication Technology ; 2nd IFIP International Internet of Things Conference (IFIPIoT) ; https://inria.hal.science/hal-03371594 ; 2nd IFIP International Internet of

Record details

Reinforcement-learning robotic sailboats: simulator and preliminary results

• Authors : Vasconcellos, Eduardo, Charles; Sampaio, Ronald, M; Araújo, André, P D ...

Subjects: artificial intelligence; reinforcement learning; unmanned surface vesselNew Orelans; United States

• Source: NeurIPS 2023 Workshop on Robot Learning Workshop: Pretraining, Fine-Tuning, and Generalization with Large Scale Models ; https://inria.hal.science/hal-04395990 ; NeurIPS 2023 Workshop on Robot

Record details

Comorbid infections induce progression of visceral leishmaniasis.

• Authors : Toepp AJ; Department of Epidemiology, College of Public Health, University of Iowa, Iowa City, Iowa, 52242, USA.; Center for Emerging Infectious Diseases, University of Iowa Research Park, Coralville, Iowa, 52241, USA.

Subjects: Dog Diseases/Dog Diseases/Dog Diseases/*parasitology ; Endemic Diseases/Endemic Diseases/Endemic Diseases/*veterinary ; Leishmaniasis, Visceral/Leishmaniasis, Visceral/Leishmaniasis, Visceral/*veterinary

• Source: Parasites & vectors [Parasit Vectors] 2019 Jan 23; Vol. 12 (1), pp. 54. Date of Electronic Publication: 2019 Jan 23.Publisher: BioMed Central Country of Publication: England NLM ID: 101462774 Publication Model: Electronic Cited Medium: Internet ISSN: 1756-3305

Record details

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics

• Authors : Lellmann, Björn; Olivetti, Nicola; Pimentel, Elaine ...

Subjects: Countermodel con- struction; Cut elimination; HypersequentsDeerfield Beach; United States

• Source: Logical Foundations of Computer Science - International Symposium, LFCS 2020 ; https://amu.hal.science/hal-02436312 ; Logical Foundations of Computer Science - International Symposium, LFCS 2020, Jan

Record details

Improving static ordering of BDDs for reachability analysis

• Authors : Vidal, J.; Deharbe, D.; Borrione, D. ...

Subjects: PACS 8542; [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/MicroelectronicsNew Orleans; United States

• Source: 11th IEEE/ACM International Workshop on Logic & Synthesis (IWLS'02)https://hal.science/hal-0117774411th IEEE/ACM International Workshop on Logic & Synthesis (IWLS'02), Jun 2002, New

Record details

Particularidades conceptuales e históricas del racismo ambiental en Estados Unidos.

• Authors : Soares Santos, Josiane¹

• Source: Norteamérica: Revista Académica del CISAN-UNAM. jul-dic2025, Vol. 20 Issue 2, p51-75. 25p.

Record details

Structural challenges in the search for mental health services among military police officers: an integrative review.

• Authors : Bezerra de Melo, Lara Gardênia¹ ; de Sales Lima, Diana Lívia¹ ; Luna Fernandes, Heronildo Almeida¹

• Source: Revista Cuidarte. Jan-Apr2025, Vol. 16 Issue 1, p1-13. 13p.

Record details

Estados Unidos e China: reestruturação produtiva e formas de resistência.

• Authors : TONELO, Iuri¹ ; de Paula BARBIERI, André Augusto²

• Source: Ciências Sociais em Revista. mai-ago2024, Vol. 60 Issue 2, p54-80. 32p.

Record details

Patent landscape of neglected tropical diseases: an analysis of worldwide patent families.

• Authors : Folahanmi Tomiwa Akinsolu¹ ; Nobre de Paiva, Vitor²; Santos Souza, Samuel³

• Source: Globalization & Health. 11/14/2017, Vol. 13, p1-13. 13p.

Record details

Using systems biology and drug repositioning approaches to discover FDA-approved drugs candidates for endometriosis treatment.

• Authors : Sanami S; Abnormal Uterine Bleeding Research Center, Semnan University of Medical Sciences, Semnan, Iran.; Aghaamoo S

Subjects: Endometriosis*/Endometriosis*/Endometriosis*/drug therapy ; Endometriosis*/Endometriosis*/Endometriosis*/genetics ; Endometriosis*/Endometriosis*/Endometriosis*/metabolism

• Source: PloS one [PLoS One] 2025 Sep 12; Vol. 20 (9), pp. e0330841. Date of Electronic Publication: 2025 Sep 12 (Print Publication: 2025).Publisher: Public Library of Science Country of Publication: United States NLM ID: 101285081 Publication Model: eCollection

Record details