Results 41 to 50 of about 2,678,292 (198)
Checking LTL Properties of Recursive Markov Chains [PDF]
, 2005 We present algorithms for the qualitative and quantitative model checking of Linear Temporal Logic (LTL) properties for Recursive Markov Chains (RMCs). Recursive Markov Chains are a natural abstract model of procedural probabilistic programs and related ...
M. Yannakakis +3 more
core +1 more source
The effectiveness of food safety self-checking systems in institutional catering
Applied Food ResearchInternal and external food safety audits and inspections are commonly implemented in food service establishments to uphold and enhance food safety standards.
András József Tóth +7 more
doaj +1 more source
Condicionantes de las grietas internas dentro de los anillos durante el secado de Pino Radiata
Maderas: Ciencia y Tecnología, 2014 Se estudian las grietas internas dentro de los anillos de madera inicial durante el secado industrial del pino radiata. Se determina el porcentaje de las grietas internas y se analizan algunos factores condicionantes de las grietas internas durante el ...
José Vera Sepúlveda +2 more
doaj
Maderas: Ciencia y Tecnología, 2007 Se estudian las grietas internas dentro de los anillos de madera inicial durante el secado industrial del pino radiata. Se determina el porcentaje de las grietas internas y se analizan algunos factores condicionantes de las grietas internas durante el ...
José VERA SEPULVEDA +2 more
doaj
Comparison of the quality of poplar lumber in the upper, middle and lower rows of wood drying kiln [PDF]
تحقیقات علوم چوب و کاغذ ایران, 2011 Poplar lumbers with nominal thickness of 5 cm from Taleghan region, located in west of Karaj were dried under three different schedules including T8-F4 (recommended schedule by F.P.L for poplar), T8-F5 and T9-F4. The purpose of this research was to study
Sohrab Rahimi +3 more
doaj +1 more source
An endocrine perspective of juvenile Moyamoya syndrome/disease: A literature review
Medical Journal of Babylon, 2023 Moyamoya disease is a progressive rare type of cerebrovascular disease marked by stenosis and occlusion of the distal internal carotid arteries and circle of Willis branches, leading to the development of a collateral network of blood vessels at the base
Rihab Faisal Alabedi +3 more
doaj +1 more source
Jixie chuandong, 2006 A mathematic model for generative interference checking during internal gear shaving is developed based on space meshing theory,and the relationship between the generative interference and the tooth number difference of internal gear and that of the gear
吴能章
doaj
FoodsThe use of microwaves (MWs) has been proposed as an energy-efficient method for reducing checking. Along with understanding moisture distribution, it is essential to consider structural characteristics to explain how MWs reduce checking. The influence of
Raquel Rodríguez +4 more
doaj +1 more source
Model Checking Resiliency and Sustainability of In-Vehicle Network for Real-Time Authenticity
Applied Sciences, 2021 The Controller Area Network (CAN) is the most common network system in automotive systems. However, the standardized design of a CAN protocol does not consider security issues, so it is vulnerable to various security attacks from internal and external ...
Jin Hyun Kim, Hyo Jin Jo, Insup Lee
doaj +1 more source
Ex Ante Audit Sebagai Upaya Pencegahan Fraud
Akrual: Jurnal Akuntansi, 2017 This study aims to find out how the efforts of PTKIN X in an effort to overcome fraud (fraud). Researchers conduct research with a qualitative approach to the subject of research Internal Supervisory Unit (SPI) as an institution that has authority in ...
Helti Nur Aisyiah, Fahri Ali Ahzar
doaj +1 more source