Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2020 ( 174 )

2019 ( 768 )

2018 ( 865 )

2017 ( 845 )

Custom range...

Search Results: 1 - 10 of 473283 matches for " M.T. Laskri "
All listed articles are free for downloading (OA Articles)
Page 1 /473283
Display every page Item
SYMTC: An Efficient Symbolic Model Checker for Embedded Systems
R. Boudour,M.T. Laskri,M.T. Kimour
Information Technology Journal , 2006,
Abstract: In this study, we aimed at improving the performances of state space construction by using an efficient method to avoid state explosion problem in model checking through the use of-DBM (Difference Bounded Matrices) and on the fly strategy. This approach requires at any time, only the needed states to be in memory and allows for checking several properties, especially, safety, bounded liveness and temporal correctness, which are the most important ones in reactive systems. The specifications are expressed in timed automata and TCTL for the system and properties, respectively. The effectiveness of our approach has been demonstrated on many academic examples. The results obtained demonstrate that it is able to verify several properties that could not be checked by other state-of-the-art tools.
Um método numérico para a solu??o de problemas em física quantica de poucos corpos
Yamashita, M.T.;
Revista Brasileira de Ensino de Física , 2008,
Abstract: in this paper it is presented a numerical method that can be used by undergraduate students to solve quantum few-body problems in physics. the method is applied to a couple of two-body problems that are usually seen by students: the hydrogen atom and the deuteron. however, the method can be extended to three or more particles.
Multicultural education and its politics
M.T. Gumbo
South African Journal of Education , 2001,
Abstract: This article is an account of how multicultural education is experienced within the US society and its national school curriculum. The has had an opportunity to partly witness this situation, when he was selected as one of the South African Educators who participated in the June-July 1999 South African Transformation Institute (SETI) at the Indiana University in US. Multicultural education, as a transformative concept or movement as others view it, is very vital to prepare members of the society and learners in the schools to develop intercultural skills. On the other hand, it is also not an appreciated concept in the minds of those who do not identify with transformative concepts/movements like it. In this article the , by reflecting on the US experience, attempted to communicate this message through the literature survey, and by reporting about the workshop activities that he took part in regarding the concept of multicultural education. In the end, implications of these accounts on US, South Africa and in general are pondered upon. (South African Journal of Education: 2001 21(4): 233-246)
Major P.J. Pretorius and the decimation of the Addo elephant herd in 1919-1920: important reassessments
M.T. Hoffman
Koedoe : African Protected Area Conservation and Science , 1993, DOI: 10.4102/koedoe.v36i2.372
Abstract: Between June 1919 and August 1920, the largest population of elephants in South Africa at the time was reduced from about 130 to 16 individuals by one man. Major P. J. Pretorius. Conflict between farmers and the elephants over dwindling water resources, coupled with the threat that the elephants posed to the future agricultural development of the region, precipitated the Provincial Administration's extermination order. Major Pretorius' figure of "120-odd" elephants killed during the year is reasonably accurate and the fate of the animal products is traced. Most of the skins were processed, by Pretorius himself, to make whips. A few specimens can be traced to local and overseas museums. Because records of the sex and age of animals killed by Major Pretorius have either been lost or were never detailed, reconstruction of the Addo elephant herd before the decimation, is difficult. Finally, details of the alleged public debate are discussed. It is concluded that it was probably a handful of individuals that convinced the Provincial Administration to spare 16 animals. The Rev J.R.L. Kingon as well as Major Pretorius himself are two key figures in the debate. There is little evidence to confirm the view that a public outcry, in the modem sense of the word, stopped the killing. Six photographs are included as an appendix. They show Major Pretorius at work in the Addo Bush.
Importance Of Frame Selection In Video Quality Assessment
M.T. Qadri
International Journal of Engineering Research and Applications , 2012,
Abstract: Video sequences contains multiple frames therefore their quality is estimated by determining individual quality metric of each frame then apply the temporal masking affect. However, the integration of each frame’s quality metric into one score is very important because each video frame has different spatial features hence have different quality metric. There are several methods available to combine the metric into one score like averaging, linear weighting, worst frames averaging etc. Taking the average of each frame’s score is not very useful as humans give more attention to the worst values (most distorted frame) while rating their values. In this paper we evaluated the performance of different integration methods and a different approach is proposed which includes the average of worst selected frames which is discussed in later sections. The work is tested on LIVE video database which consists of 40 video sequences. They have provided the mean opinion scores for each video with the database. The correlation coefficient of 88.21% is achieved when tested with the best model designed.
Acidentes de transito e os estimulantes do tipo anfetaminas: estudo de caso junto às empresas de transporte rodoviário de cargas no estado de santa catarina
M.T. Zeferino
Texto & Contexto - Enfermagem , 2005,
La garantía de calidad de un laboratorio de Toxicología Forense según la norma ISO 17025
M.T. Contreras
Revista de Toxicología , 2005,
A Survey on wheat samples for mycotoxin zearalenone from Mazandaran Province 2002
M.T. Hedayati
Journal of Mazandaran University of Medical Sciences , 2005,
Abstract: Background and purpose: In Iran, wheat is one of the main cereals for human consumption. Wheat grains containing zearalenone can cause genital problems and reproductive disorders in domestic animals. In human, episodes of breast enlargement in young boys and sexual precocity have been reported. This toxin may therefore have a role in hormonal balance and mammary cancer in regions with high zearalenone ingestion. In this study the incidence of zearalenone in wheat samples from Mazandaran warehouses were investigated.Material and methods: A total of 118 wheat samples (1 kg each) were randomly collected from all 12 warehouses of Mazandaran province. Competitive microtitre plate enzyme immunoassay for the quantitative determination of zearalenone was used according the manufacturer instructions (Riedel-de Haen Sigma-Aldrich Laborchemikalien GmbH). Results: Zearalenone was found in 81% of samples and 64.4% of samples contained >200 μg/kg of this toxin. The minimum levels of zearalenone were 29 μg/kg. All of the warehouses were positive for the presence of zearalenone. 50-100% of samples in each of the warehouses had >200 μg/kg contamination of zearalenoneConclusion: Our results showed a high percentage and levels of contamination of wheat samples with zearalenone. With regard to proposed standards given by the Standard Administration of Iran, under which the content of zearalenone should not exceed 200 ppb in food products, 64.4% of samples meet these criteria.
Methodology of evaluation of value created in the productive processes
M.T. Roszak
Journal of Achievements in Materials and Manufacturing Engineering , 2008,
Abstract: Purpose: Of this paper was to present the methodology of analysis of the productive processes with applicationof value analysis and multi-criterion-analysis which allow to evaluate the technology and organization of theproductive processes.Design/methodology/approach: Presented in the paper methodology of evaluation of the productive processesis based on analysis of activities in the productive processes and their characteristics with reference to createdvalue in the productive chain.Findings: The paper presents elaborated by the author methodology and computer application for applicationin the chains of the productive processes.Research limitations/implications: Presented methodology allows to evaluate effectivity of the productivechains connecting aspects of the management and economics of the process.Practical implications: Presented methodology was used in analysis of the productive chains and theireffectivity, and also as a benchmarking instrument.Originality/value: The paper presents originally elaborated computer application for the value added analysisin the productive chains.
Systemic approach to problems of the quality in education
M.T. Roszak
Journal of Achievements in Materials and Manufacturing Engineering , 2009,
Abstract: Purpose: The purpose of the study was to present a view of problems of quality assurance/management system in university education in the field of education and research.Design/methodology/approach: In the paper there was presented an approach to quality management system in the education and associated requirements and purposes.Findings: The paper presents problems of implementation and functioning of quality assurance/management system based on legal requirements obligatory in Poland, either on standard ISO 9001:2000 and guide IWA 2:2007.Research limitations/implications: The article presents problems of implementations and functioning of quality assurance/management systems in the education.Practical implications: Presented in the paper opinion should acquaint with advantages of introduction in the universities the quality assurance/management system based on legal requirements obligatory in Poland, either standard ISO 9001:2000 and guide IWA 2:2007in the field of education and research.Originality/value: The paper is based on personal experience of the authors in introduction of the quality assurance/management system in educational units with usage of standard ISO 9001:2000 and on legal requirements obligatory in Poland.
Page 1 /473283
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.