Zobrazeno 1 - 10
of 5 223
pro vyhledávání: '"Hader A"'
Autor:
Luiz C. P. da Silva, Paulo C. M. Meira, João G. I. Cypriano, Hader A. D. Azzini, Athila Q. Santos
Publikováno v:
Energy Informatics, Vol 4, Iss S2, Pp 1-11 (2021)
Abstract The aim of this article is to describe a novel ICT-centred methodology and software toolchain to enhance the management of a Smart Campus. The project will be implemented at the University of Campinas through a partnership between UNICAMP, C
Externí odkaz:
https://doaj.org/article/43eca9a792504a5e9404cded8d2e0d3e
Autor:
Hader, Thomas, Ozdemir, Alex
Publikováno v:
22nd SMT workshop (at CAV 2024), Montreal, Canada, July, 22-23, 2024
In the last few years there have been rapid developments in SMT solving for finite fields. These include new decision procedures, new implementations of SMT theory solvers, and new software verifiers that rely on SMT solving for finite fields. To sup
Externí odkaz:
http://arxiv.org/abs/2407.21169
This paper answers a long-standing open question in tile-assembly theory, namely that it is possible to strictly assemble discrete self-similar fractals (DSSFs) in the abstract Tile-Assembly Model (aTAM). We prove this in 2 separate ways, each taking
Externí odkaz:
http://arxiv.org/abs/2406.19595
Publikováno v:
Al-Qadisiyah Journal For Agriculture Sciences, Vol 9, Iss 1, Pp 36-42 (2019)
This research was conducted in orchard belong to Al-Mahawel date palm station (Abo Sderah) / Ministry of Agriculture located in governorate of Babylon, during the season 2015-2016. Twenty four uniform date palm Phoenix dactylifera. L. Sultani cultiva
Externí odkaz:
https://doaj.org/article/190dbf39c82c40b998f47107a697761d
Tile assembly systems in the abstract Tile Assembly Model (aTAM) are computationally universal and capable of building complex shapes, but DNA-based implementations encounter formidable error rates that stifle this theoretical potential. Slat-based s
Externí odkaz:
http://arxiv.org/abs/2405.06205
This system description introduces an enhancement to the Yices2 SMT solver, enabling it to reason over non-linear polynomial systems over finite fields. Our reasoning approach fits into the model-constructing satisfiability (MCSat) framework and is b
Externí odkaz:
http://arxiv.org/abs/2402.17927
Autor:
Zwolak, Justyna P., Taylor, Jacob M., Andrews, Reed W., Benson, Jared, Bryant, Garnett W., Buterakos, Donovan, Chatterjee, Anasua, Sarma, Sankar Das, Eriksson, Mark A., Greplová, Eliška, Gullans, Michael J., Hader, Fabian, Kovach, Tyler J., Mundada, Pranav S., Ramsey, Mick, Rasmussen, Torbjørn, Severin, Brandon, Sigillito, Anthony, Undseth, Brennan, Weber, Brian
Publikováno v:
npj Quantum Inf. 10, 105 (2024)
Gate-defined quantum dots are a promising candidate system for realizing scalable, coupled qubit systems and serving as a fundamental building block for quantum computers. However, present-day quantum dot devices suffer from imperfections that must b
Externí odkaz:
http://arxiv.org/abs/2312.14322
Publikováno v:
Slovenian Veterinary Research, Vol 56, Iss 22-Suppl (2019)
Global emergence of antibiotic-resistant food-borne pathogens is a major public health problem. This study aimed to determine the potential zoonotic risk of Staphylococcus aureus in buffalo's milk in Egypt. A total of 102 raw buffalo’s milk samples
Externí odkaz:
https://doaj.org/article/cae7fd64c2124900a2287059555a7c75
Publikováno v:
Al-Qadisiyah Journal For Agriculture Sciences, Vol 9, Iss 1 (2019)
This research was conducted in orchard belong to Al-Mahawel date palm station (Abo Sderah) / Ministry of Agriculture located in governorate of Babylon, during the season 2015-2016. Twenty four uniform date palm Phoenix dactylifera. L. Sultani cultiva
Externí odkaz:
https://doaj.org/article/8bcbdaf5ece54df4a2bfbdf59f637363
Autor:
Fernanda Spada Villar, Pedro Henrique Juliano Nardelli, Arun Narayanan, Renan Cipriano Moioli, Hader Azzini, Luiz Carlos Pereira da Silva
Publikováno v:
Energies, Vol 14, Iss 6, p 1563 (2021)
Smart meters with automatic meter reading functionalities are becoming popular across the world. As a result, load measurements at various sampling frequencies are now available. Several methods have been proposed to infer device usage characteristic
Externí odkaz:
https://doaj.org/article/404483e72c5f476a979a0f1bca4ef8bb