Results 91 to 100 of about 41,508,012 (197)

Formal Specification in “Z” Language by Software Z/EVES

Advances in Electrical and Electronic Engineering, 2006
The paper shows a short overview of representation formalisms, which can be used for specification of technical system functional requirements. Some basic model schemas of function called User Identification of ITS are presented by formal specification ...
Josef Svec, Jiri Zahradnik
doaj  

Description of Geocenamus vietnamensis sp. n. (Nematoda: Merliniidae) from Vietnam

Journal of Nematology, 2019
A new species of the genus Geocenamus was isolated from soil and root samples from the rhizosphere of Casuarina equisetifolia (Casuarinaceae) in Quang Nam province, Vietnam.
Nguyen Huu Tien, Le Thi Mai Linh, Nguyen Thi Duyen, Liebanas Gracia, Nguyen Thi Anh Duong, Trinh Quang Phap   +5 more
doaj   +1 more source

Data of an Iranian Population of L. proximus Sturhan & Argo, 1983, with taxonomic revision of L. israelensis Peneva, Orion, Shlevin, Bar-Eyal & Brown, 1998 (Nematoda: Longidoridae) and Proposal for a New Synonymy

Journal of Nematology, 2019
The morphology and morphometric characteristics of a Longidorus population recovered from a wheat-potato field in Hamadan province, western Iran, fit well with those given for two species, L. proximus and L. israelensis.
Giti Mazdosht, Kashi Leila, Pedram Majid
doaj   +1 more source

It's a balloon. It's a bridge. No, it's NanoDays!

Materials Today, 2009
Success would require an enormous effort to get the word out and rally people around a set of difficult and abstract-seeming concepts.
openaire   +1 more source

First report of Pyrenophora avenicola causing leaf spot of oat in India

New Disease Reports, Volume 50, Issue 1, July–September 2024.
R. Belludi, G. V. Ramesh, H. J. Hilli, R. Kapoor, A. Sharma, D. Bhandhari, J. Kaur, P. S. Sandhu   +7 more
wiley   +1 more source

SOFTWARE DEVELOPMENT FOR SELECTING AN INSTALLATION OPTION OF PHOTO-VIDEO FIXATION FOR TRAFFIC VIOLATIONS [PDF]

Scientific Journal of Silesian University of Technology. Series Transport
The article discusses the software proposed by the authors for selecting the optimal option for installing a photo-video fixation system of traffic violations.
Xuan-Hien NGUYEN, Hai-Quan VU, Dac-Phong TRINH   +2 more
doaj   +1 more source

Optimizing a modified cetyltrimethylammonium bromide protocol for fungal DNA extraction: Insights from multilocus gene amplification

Open Life Sciences
Genomic DNA (gDNA) extraction is an important step in many molecular studies of fungal biology, and it is necessary to evaluate the efficiency, cost-effectiveness, and efficacy of different extraction methods to ensure successful amplification of the ...
Dar Gulam Jeelani, Nazir Ruqeya, Wani Shakil A., Farooq Saleem, Aziz Tariq, Albekairi Thamer H.   +5 more
doaj   +1 more source

Molecular characterization of Amitermes rhizophagus Belyaeva, 1974 (Blattodea: Isoptera), newly recorded from Uzbekistan

Acta Biologica Sibirica
This study presents the first molecular confirmation of Amitermes rhizophagus Belyaeva, 1974 (Blattodea: Termitidae) from Uzbekistan. Specimens collected in the Kashkadarya Region were identified through combined morphological and molecular analyses ...
Gulnara S. Mirzaeva, Bakhtiyor R. Kholmatov, Kakhramon D. Rustamov, Zumrad A. Ganieva, Vakhidjon N. Akhmedov, Natalia I. Lebedeva, Mukhabbat Kh. Khashimova, Sobir K. Sobirov, Oybek A. Amirov, Kumri X. Allaberdiyeva   +9 more
doaj   +1 more source

Comprehensive review on smart highway evolution and research 2025: Evolution process and key technologies of smart highway system

Journal of Highway and Transportation Research and Development
Smart highway refers to a system that comprehensively applies new-generation information technologies to achieve digital, networked, and intelligent upgrades of highway infrastructure, thereby significantly enhancing efficiency, safety, and ...
Jian Gao, Lin Wang, Shuo Zhao, Shuyun Niu, Sheng Yin, Yuqi Guo, Yeran Huang, Jierui Zhu   +7 more
doaj   +1 more source

IDENTIFICACIÓN DEL AGENTE CAUSAL DE LA ANTRACNOSIS DE Sansevieria spp. EN COSTA RICA

Agronomía Costarricense, 2013
Sansevieria spp. (Agavaceae) es una ornamental de follaje originaria de África y Asia. S. trifasciata (St) es la especie con mayor número de cultivares en el mercado de exportación de Costa Rica a Estados Unidos y Holanda.
Gerardo Pérez-León, Lourdes Chavarría-Pérez, Julio Araya-Quesada, Luis Gómez-Alpízar   +3 more
doaj