Results 11 to 20 of about 47,971 (279)
2014 CAV award announcement [PDF]
Formal Methods in System Design, 2016 The 2014 computer-aided verification (CAV) award was presented on July 19, 2014, at the 26th annual CAV conference in Vienna to Patrice Godefroid, Doron Peled, Antti Valmari, and Pierre Wolper for the development of partial-order-reduction algorithms for efficient state-space exploration of concurrent systems.
Marta Kwiatkowska +3 more
openaire +4 more sources
Development of TaqMan Real-Time Polymerase Chain Reaction Assay for Detection of Chicken Anemia Virus in Newcastle Disease Vaccines [PDF]
Archives of Razi Institute, 2021 Exogenous chicken anemia virus (CAV) has been detected in commercial poultry vaccines in various countries of the world. The presence of unwanted CAV in vaccines not only influences the epidemiology of chicken infectious anemia disease, but may also lead
A Kaffashi +2 more
doaj +1 more source
Species conservation profiles of cave-adapted terrestrial isopods from Portugal [PDF]
Biodiversity Data Journal, 2022 Terrestrial isopods (Oniscidea) are the most diverse group of troglobionts in caves of continental Portugal. They occur in all karst regions of Portugal, play a major role in decomposition of organic matter in caves and may act as umbrella species for ...
Ana Sofia Reboleira +2 more
doaj +3 more sources
Copper chitosan nanocomposite as antiviral and immune-modulating effect in broiler experimentally infected with chicken anemia virus [PDF]
Iraqi Journal of Veterinary Sciences, 2022 In the last few years, inorganic nanosystems, or nanometals, were of great interest to conventional therapy. In this study, Copper Chitosan Nanocomposite (CuCNP) was monitored for its antiviral, immune-stimulant, and lowering agent of Cu residue roles by
Dalia M. Elmasry +4 more
doaj +1 more source
Traffic signal coordination control for arterials with dedicated CAV lanes [PDF]
, 2022 Purpose – This study aims to make full use of the advantages of connected and autonomous vehicles (CAVs) and dedicated CAV lanes to ensure all CAVs can pass intersections without stopping.
Xu, Liang +11 more
core +1 more source
Saiboubunshi893/Sawai-Cav-1-AJP-CellPhysiol: Sawai AJP Supplemental Material
, 2023 <p>This release contains Supplemental Materials of AJP Cell physiol <a href="https://github.com/Saiboubunshi893/Sawai-Cav-1-AJP-CellPhysiol/files/13161952/Sawai-Suppl-Fig.S3.pdf">Sawai-Suppl-Fig.
Saiboubunshi893
core +1 more source
, 2023 Published as part of N., Arun Kumar, S. S., Mali, K., Ravikumar & Abstract, S. N. Begum, 2023, Pavonia sepioides (Malvavisceae: Malvaceae), a new record for Asia, pp.
N., Arun Kumar +3 more
openaire +2 more sources
Multi-Radio 5G Architecture for Connected and Autonomous Vehicles: Application and Design Insights [PDF]
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2018 Connected and Autonomous Vehicles (CAVs) will play a crucial role in next-generation Cooperative Intelligent Transportation Systems (C-ITSs). Not only is the information exchange fundamental to improve road safety and efficiency, but it also paves the ...
Ioannis Mavromatis +4 more
doaj +1 more source
Distribuição do cádmio nas frações químicas de um CAMBISSOLO FLÚVICO Alumínico gleissólico
Revista de Ciências Agroveterinárias, 2019 A compreensão da distribuição dos elementos-traço às frações químicas do solo, mobilidade e concentração total são imprescindíveis no diagnóstico da contaminação e definição de estratégias de remediação de áreas contaminadas.
Eduardo da Silva Daniel +4 more
doaj +1 more source
Agropecuária Catarinense, 2020 A temperatura é um dos fatores climáticos mais importantes para o cultivo de arroz. Temperaturas acima de 35ºC limitam a produção deste cereal, podendo acarretar prejuízos irreversíveis à produtividade.
Natalia Maria de Souza +2 more
doaj +1 more source