Results 51 to 60 of about 2,678,292 (198)
Checking domains in Basque and Breton
Anuario del Seminario de Filología Vasca "Julio de Urquijo", 1993 This article presents an analysis of some restrictions on verb initial word orders in Basque. Following Rivero's (1993a) analysis of similar facts in Breton, I will claim that the morphological feature for tense in these languages must occur in a ...
Jon Ortiz de Urbina
doaj +1 more source
International Aflatoxin Check Sample Program: 1972 Study
Journal of AOAC INTERNATIONAL, 1973 Abstract In the second International Aflatoxin Check Sample Series, a single sample, peanut butter, was submitted to 152 laboratories throughout the world. Sufficient data were obtained from 117 responding laboratories to permit a statistical comparison of the BF, CB, and Pons methods.
F B, Coon, F J, Baur, L R, Symmes
openaire +2 more sources
Strengthening Model Checking Techniques with Inductive Invariants [PDF]
, 2009 This paper describes optimized techniques to efficiently compute and reap benefits from inductive invariants within SAT-based model checking. We address sequential circuit verification, and we consider both equivalences and implications between pairs of ...
Nocco, Sergio +2 more
core
International Aflatoxin Check Sample Program: 1971 Study
Journal of AOAC INTERNATIONAL, 1972 Abstract An International Aflatoxin Check Sample Committee was formed in 1971 to establish a check sample program of commodities or materials with aflatoxin contamination, which would be available to laboratories throughout the world.
F B, Coon, F J, Baur, L R, Symmes
openaire +2 more sources
Distribution of within-ring internal checking in Pinus radiata grown in southern chile
Maderas: Ciencia y Tecnología, 2014 The increase of Pinus radiata plantations in Chile has brought larger annual volumes to the industry and the opportunity to process them into value-added products.
A. Aguilera, L. Inzunza
doaj
Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol [PDF]
, 2006 We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Raimondi, F. +5 more
core
THE IMPACT OF INTERNAL AUDIT ON THE ENTITY'S MANAGEMENT SYSTEM: THE SYNERGY BETWEEN RISK MANAGEMENT AND INTERNAL CONTROL IN THE MICROFINANCE AND LEASING SECTOR [PDF]
Eastern European Journal of Regional StudiesThis research provides a multidimensional investigation into the internal audit function as a driving force for optimizing management systems within non-banking financial institutions, with a specific focus on microfinance organizations and leasing ...
Mirela MOLDOVAN, Igor BALAN
doaj +1 more source
أهمية التحقيق الجبائي للتسيير في الإدارة الجبائية – دراسة تطبيقية لمفتشية الضرائب أول نوفمبر بغرداية [PDF]
مجلة الاجتهاد للدراسات القانونية والاقتصادية, 2023 The Fiscal checking For Management is one of the internal control mechanisms that the tax administration resorts to in evaluating the performance of its interests through the use of a set of methods and procedures that enable it to eliminate many errors ...
غشي العيد +1 more
doaj
Check-In Desk Scheduling Optimisation at CDG International Airport
Proceedings of the AAAI Conference on Artificial IntelligenceMore than ever, air transport players (i.e., airline and airport companies) in an intensely competitive climate need to benefit from a carefully optimized management of airport resources to improve the quality of service and control the induced costs. In this paper, we investigate the Airport Check-in Desk Assignment Problem.
Falque, Thibault +3 more
openaire +3 more sources
Promoting Intern Resilience: Individual Chief Wellness Check-ins [PDF]
MedEdPORTAL, 2019 Promoting resilience is key during intern year as residents transition to becoming clinical providers. Residents consistently demonstrate a decline in empathy and an increase in burnout throughout training. Interventions involving mindfulness, stress management, and small-group discussions can reduce burnout.
Jason Fischer +2 more
openaire +3 more sources