مزهورة عماروش, وردة حمايدي

كلية العلوم الانسانية والاجتماعية-جامعة اكلى محند أولحاج - البويرة · الجزائر

محمود كامل

الجامعة التكنولوجية · العراق

إيمان مقران, سعد بؽترعة, مريم مهدي

كلية العلوم الإنسانية والاجتماعية-جامعة الدكتور يحيى فارس بالمدية · الجزائر

هدفت هذه الدراسة إلى تقصي أهمية التعلم عن طريق اللعب وعلاقته بالتحصيل الدراسي لدى أطفال الروضة من وجهة نظر المربيين، وانطلق هذا البحث من الفرضية الرئيسية القائلة بأنه توجد علاقة بين التعلم عن طريق اللعب والتحصيل الدراسي لدى أطفال الروضة من وجهة نظر المربيين، والتي تفرعت عنها فرضيتين جزئيتين:ـــ توجد فروق ذات دلالة إحصائية تعزى لمتغير الخبرة المهنية للمربي في التعلم عن طريق اللعب وزيادة التحصيل الدراسي لدى أطفال الروضة.ـــ توجد فروق ذات دلالة إحصائية تعزى لمتغير المستوى التعليمي للمربي في تحسين التعلم عن طريق اللعب لدى أطفال الروضة. حيث طبقت هذه الدراسة على عينة قوامها 25 مربية من مربيات رياض الأطفال في مدينة المدية، وتم اختيارهم بطريقة عشوائية وقد تمثل منهج الدراسة في المنهج الوصفي التحليلي، وتم استخدام الاستبيان كأداة للدراسة حيث تكون مقياس التعلم عن طريق اللعب من 25 بند ومقياس التحصيل الدراسي من 14 بند، وقد خلصت الدراسة إلى مجموعة النتائج التالية:ــ توجد علاقة ارتباطية بين التعلم عن طريق اللعب والتحصيل الدراسي لدى أطفال الروضة من وجهة نظر المربيين.ــ تسهم الخبرة المهنية للمربي في تحسين التعلم عن طريق اللعب وزيادة التحصيل الدراسي لأطفال الروضة.ــ يساعد المستوى التعليمي للمربي في تحسين التعلم عن طريق اللعب لطفل الروضة.

العامري سيد, زهرة سالمي

كلية الرياضيات والاعلام الآلي-جامعة محمد بوضياف - المسيلة · الجزائر

Le développement des nouvelles technologies a favorisé une formidable évolution des réseaux véhiculaires. Cette évolution vise à rendre les réseaux plus sûrs, plus efficaces, plus fiables et plus écologiques aussi bien du point de vue de l’industrie automobile que des opérateurs de réseaux et services. Les réseaux véhiculaires sont en effet une classe émergente des réseaux mobiles Ad Hoc, permettant des échanges de données entre véhicules ou encore véhicules et infrastructure. Notre domaine d’étude est concentré à l’étude des performances des protocoles de routage OLSR et DSR dans un réseau VANET. Pour atteindre notre objectif et obtenir des résultats de simulation Nous avons testé les protocoles AODV, AOMDV, DSDV, DSR conçus pour un réseau Ad Hoc, dans un réseau VANET. D’après les résultats qu’on a obtenus, on a déduit que le mouvement des véhicules joue un rôle très important dans l’étude des performances d’un réseau VANETs. Pour cela, il est nécessaire de choisir un protocole de routage réaliste pour que les résultats de la simulation soient fiables.

تركي سعود سليمان الحازمي , مصعب التركي

كلية علوم وهندسة الحاسب الآلي-جامعة الملك فهد للبترول والمعادن · السعودية

Recently, there has been a strong resurgence of interest in automated legal reasoning due primarily to rapidly increasing legal costs and recent advances in computational logics and language-based analysis techniques. As contracts are central to computational law, automating verification and synthesis of contracts has the potential to significantly reduce costs, increase productivity and minimize chances of legal disputes. However, any attempt to achieve this automation fundamentally requires a (formal) computable model of a contract. Despite their ubiquity and significance, contracts are, in practice, still typically written in natural languages, such as English. However, natural languages cannot be interpreted by machines reliably, which makes it difficult to introduce any kind of automation to some of the contract lifecycle management activities, which is why many models were proposed in the literature to formalize contracts, allowing automated analysis of contracts to some extent. However, specifying contracts in these formalisms is difficult because they expressed them in languages that are too complex for non-expert users such as lawyers. Furthermore, specifying contracts in most of these formalisms offered little to no return on investment, because they had no way of automating any kind of reasoning, as they were not executable. Motivated by this, we propose and develop a new formal language for specifying contracts, SlanC, a Specification language for computable Contracts. It is uniquely characterized by being close in appearance to a natural language, increasing its potential accessibility to non-experts, while still being structured and formally well-defined, enabling automated formal reasoning about contracts.We developed a prototype of this language with its violation detection semantics in the Maude formal environment and simulated several small examples and real world case studies. Furthermore, we evaluated the expressiveness of SlanC against a set of requirements for contract specification languages which showed that SlanC satisfies the basic requirements for specifying contracts. Also, we evaluated the performance of its Maude specification showed that there is a linear correlation between the number of processed events and the number of operations performed by Maude for a given contract. The results from the simulations and the evaluation show that developing domain specific languages for writing contracts could potentially enable automation of all operations on contracts.

بوعزة عبد القادر , عائشة عامر

كلية العلوم الاقتصادية، التجارية وعلوم التسيير-جامعة أحمد دراية - أدرار · الجزائر

هدفت هذه الدراسة إلى التعرف على أهمية وجود إدارة التدقيق الداخلي ضمن هيكل البنوك التقليدية والإسلامية، ومدى ارتباط التدقيق الداخلي بإدارة المخاطر ولجنة الدقيق، ومعرفة أهم المخاطر التي يتعرض لها المدقق أثناء قيامه بعمله، وربط مخاطر التدقيق بكل من أدلة الإثبات والأهمية النسبية للبيانات الواردة في القوائم المالية للبنوك الجزائرية. ولتحقيق أهداف الدراسة واختبار فرضياتها اعتمدنا على أسلوب تحليل مغلف البيانات(DEA) باعتباره أسلوب لا معلمي يقوم على برمجة خطية رياضية، ودرسنا العلاقة بين نتائج هذا الأسلوب ونتائج نموذج Sherrodلقياس مخاطر الأعمال في البنوك عينة الدراسة، حيث اعتمدت الدراسة على مجموعة من المدخلات والمخرجات المرتبطة بعمليات البنوك وكذا عمليات التدقيق الداخلي. وقد توصلت الدراسة لتحديد مستويات خطر التدقيق على مستوى أنشطة البنوك، وكذا تحدد مدى ارتباط مخاطر الأعمال بعملية التدقيق.

Hani Awad, Zuhair Shalaldeh

كلية الدراسات العليا-جامعة بيرزيت · فلسطين

The Geometries, electronic structures and vibration frequencies of Cr(CO)6, Cr(CO)5pip, were studied using the Hartree-Fock and B3LYP density functional level of theory combined with various basis sets. These methods have been implemented in the Gaussian 98 program. Comparison with experimental data shows that density functional theory with triple-split-valence polarized 6-311G (D) basis set gives good results for the structures and vibration frequencies of such compounds. The discrepancy between experimental and theoretical values results from the description of the wave function by a finite number of functions (basis sets). This introduces an approximation into the calculations since an infinite number of Gaussian functions would be needed to describe the wave function exactly. The same calculations have been performed on a series of carbonyl chromium complexes, of the type trans-(chlorobenzene)- (L)Cr(CO)4, where L = CO, PH3, PCl3 and PF3. The aim of this project is to explore the effect of these ligands on the Cr-Cl bond. The influences of the L ligands on the properties of these complexes are compared with the behavior of the carbonyl complex Cr(CO)6. The largest effect observed on the Cr-Cl bond is when L = CO. As the π back-bonding ability of the ligand Trans to chlorobenzene increases, the Cr-Cl bond distance increases. This effect in the octahedral complexes is similar to the Trans effect in square Planar complexes. The calculated IR frequencies in these complexes are in good agreement with the reported experimental IR values.

فرحات معمري, موسى عبدالحي

كلية الاداب واللغات-جامعة الاخوة منتورى - قسنطينة 1 · الجزائر

Cylia Ouchene , Nabil Boumesbah, Saada Zehour Chanez

كلية العلوم الاقتصادية والتجارية والإدارة-جامعة عبد الرحمان ميرة - بجاية · الجزائر

Ce travail vise à étudier les facteurs à prendre en considérations lors de la conception d'unestratégie marketing par les réseaux sociaux. Pour se faire, une étude qualitative exploratoire aété effectuée au sein de la boite de communication shootify, dont le rôle était de participer àl'élaboration d’une stratégie marketing pour la plateforme storylink. L'étude nous a permis decomprendre tout élément de la démarche stratégique, et les enjeux auxquels il faut faire facepour établir un plan opérationnel.

Fathia Chekired, Khadidja Mouhoub

كلية التكنولوجيا-جامعة سعد دحلب - البليدة · الجزائر