160 research outputs found
Efeito da técnica de emparelhamento mecânico nos teores de matéria seca, matéria orgânica, matéria mineral e proteína bruta de pastagem de azevém (Lolium multiflorum LAM.).
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
In recent years, the notion of local robustness (or robustness for short) has
emerged as a desirable property of deep neural networks. Intuitively,
robustness means that small perturbations to an input do not cause the network
to perform misclassifications. In this paper, we present a novel algorithm for
verifying robustness properties of neural networks. Our method synergistically
combines gradient-based optimization methods for counterexample search with
abstraction-based proof search to obtain a sound and ({\delta}-)complete
decision procedure. Our method also employs a data-driven approach to learn a
verification policy that guides abstract interpretation during proof search. We
have implemented the proposed approach in a tool called Charon and
experimentally evaluated it on hundreds of benchmarks. Our experiments show
that the proposed approach significantly outperforms three state-of-the-art
tools, namely AI^2 , Reluplex, and Reluval
Efeito de diferentes tempos de murcha sobre caracteristicas qualitativas e conservativas da silagem de azevém (LOLIUM MULTIFLORUM, LAM.).
ACCULTURATION IN THE DISCOURSE OF IMMIGRANTS AND RECEIVING COMMUNITY MEMBERS. RESULTS FROM A CROSS-NATIONAL QUALITATIVE STUDY
Efeito da substituição do grão de milho por grão de arroz integral sem casca no perfil metabólico sanguíneo de vacas Jersey¹.
Efeito da substituição do grão de milho por grão de arroz integral sem casca na produção e composição do leite¹.
Arroz integral sem casca na dieta de vacas em lactação: Efeito na produção de leite e consumo¹.
Efeito da adição em níveis crescentes de gordura vegetal na produção e composição do leite de vacas da raça Jersey no terço inicial da lactação¹.
Consumo de matéria seca, de fibra em detergente neutro e sua relação com a produção de leite em vacas alimentadas com níveis crescentes de gordura na dieta¹.
- …