Effective Rapport in Tourist Guiding (Interpretation of Themes)

The aim of this paper is to discuss the requirements for effective guiding and the attributes for establishing effective rapport in tourist guiding. The paper will suggest an “interpretation of themes,” using a thematically oriented approach in order to help tourist construct meaning, by giving an example of manicure and pedicure scenes in Ancient Egypt. This will be followed by arguments on the importance of interpretation of themes as part of the art and creativity of guiding, which should be added to the tourist guiding profession, and which will assumingly influence the tourists’ construction of meaning for their experiences

Constitutional theory and political history as justification for the gender quota in Egypt\u27s legislature

The purpose of this thesis is to examine the conformity of gender quotas with the constitutional concept of equality. The importance of this examination is to answer the question whether gender quotas are constitutional. My argument is that gender quotas are constitutional because they address de facto inequality by making women’s representation equal to men’s representation. I argue that Egypt has a history of adopting quotas to guarantee the representation of disadvantaged groups. I also tie the constitutionality of the gender quota to the current political landscape where the Muslim Brotherhood controls the state. I argue that gender quotas will not, most probably, be adopted under the leadership of the Muslim Brotherhood, as they do not believe in equal representation for wome

أثر برنامج خبرة الابحاث للطلبة الجامعيين على تدريس التاريخ بجامعة قطر

يهدف البحث الى تبيان أثر نواتج الابحاث الطلابية الممولة من مؤسسة قطر والتي يمكن تطويرها الى تطبيقات علمية لخدمة بقية طلاب الصف الدراسي وعلية فان هذا البحث يهدف الى عرض نموذج تطبيقي لأستاذ المادة والذى يمكن استخدامه في تدريس التاريخ بطريقة تدرب الطالب على التفكير الناقد والاتصال ومهارات التعلم التعاوني من خلال اشراك الطالب في تدريب لطرح تساؤلات بحثية في التاريخ مثل اين؟ وكيف؟ وماذا؟ ولماذا؟ ومن؟ من خلال المصادر الاولية والتي تساهم في تفسير المصدر. ولعل من بين المشاريع البحثية التي اشرفت عليها د. شيرين المنشاوي كباحث رئيسي هو مشروع بحثى بعنوان «قطر كملتقى طرق: طلاب يكتبون تاريخهم الشخصي ≫ UREP08-049-6-004والذى فاز بمنحة ممولة بدورته الثامنة. سعى هذا البحث الى زيادة قدرة الطلاب على التفكير النقدي و تنمية مهارات الكتابة لديهم وذلك عن طريق كتابة تاريخهم الشخصي و ربطة بتاريخ المنطقة وايضا ربطة بأحداث محلية او دولية. وقد تم تقديم نفس التجربة في الفصول الدراسية التي اقوم على تدريسها بقسم العلوم الانسانية بجامعة قطر وخاصة في المقررات المختصة بتعريف التاريخ وكيف يكتب التاريخ، في الفترة ما بين عام 2011 وحتى الان فنادرا ما طلب من طالب من قبل ان يكتب عن تاريخه هو او تاريخ ثقافته او هويته أو حضارته والاحداث التي شكلت تلك الثقافة أو تلك الهوية، ويقوم النشاط على ثلاث منهجيات. المنهج النظري: يقوم الطلبة بتجميع كل المصادر الاولية والدالة على تاريخهم مثل: (1) وثائق: شهادات الميلاد، شهادات المدارس، شهادات تقدير، شهادة زواج الوالدين، أسماء شجرة العائلة، مذكرات، خطابات، ختم على وثقيه السفر، اوراق حكومية، بطاقات سفر... الخ (2) صور: صور شخصية، رسم فنى، صور لحيوانات اليفة...الخ (3) أثار: سيارات قديمة، مباني قديمة مملوكة للعائلة ، ملابس قديمة، اثاث، نقود قديمة، مجوهرات قديمة، ماكينة خياطة قديمة...الخ. ويتبادل الطلاب المعلومات مع عائلتهم بالمنزل لكى يقموا بمساعدتهم بالمصادر التي تدل على حياتهم وحتى يمكن التوثيق لتاريخهم الشخصي. المنهج التطبيقي: أقدم كأستاذ للمادة ورشة عمل للطلاب عن أنواع المصادر الاولية ومدى قوتها او ضعفها وكيفية استخدامها في التاريخ. وكذلك انواع المصادر الثانوية وكيفية التحقق منها و كيفية التوثيق لها. وكيف يمكن الجمع بين المصادر المختلفة لتوثيق تاريخهم الشخصي. وعلية يقوم الطلاب بفحص المصادر الاولية مستخدمين عدد من الاسئلة البحثية مثل أين ومتى وكيف وبتحليل هذه المصادر يتم الكشف عن كثير من المعلومات المفيدة والتي تسجل تاريخهم. وفى محاولة لتوسيع دائرة البحث تعرض ادلة خاصة بالطلاب للبحث فاذا ادعى طالب انه فنان جيد فعلية ان يقدم الاسكتش الفني والجوائز التي حاز عليها واذا ادعى انة ادار حلقات للنقاش عديدة فعليه ان يقدم شهادات تثبت ذلك. ان الوثائق الخاصة بالطالب هي مصدرا غنيا للاستفسار فعلى سبيل المثال فان طالب ولد في الخليج قد يحمل وثائق سفر من الكويت ، وشهادة ميلاد من قطر وهوية الأسرة المصرية. وفى هذا السياق يختبر الطالب الوثائق مع الرواية الشفهية من خلال الاسرة للوصول الى التفاصيل. ان رحلة شتوية لطالب قطري مثلا مع جدة في مخيم للعائلة في الصحراء يمكن أن يسفر عن قصص متقاربة او مختلفة عن سابقتها في المشهد المتغير والسريع في دولة قطر والتي قد تفسر المسارات الاجتماعية إلى للحياة الحالية بدولة قطر. المنهج المقارن: وفى هذه المرحلة يقوم الطلاب بمقارنة خبراتهم التي اكتسبوها وهذه المرحلة تتيح للطلاب العمل سويا لكى يتبادلون الافكار حول المصادر ولكى يعمقوا تحليلاتهم الأولية والمبنية على حجج سليمة (مصادر) و الحجج المضادة ايضا. وفيما يلى نتائج موجزة للتجربة الصفية: -يعتقد كثير من الطلبة أن مادة التاريخ هي عبارة عن تجميع بعض الأسماء والتواريخ، التي يجب تذكرها وكتابتها في الامتحان، لكنهم لم يدركوا أنه، من خلال قراءة المصدر وتفسيره، يمكن التفكير بأنفسهم في الحقائق التاريخية المختلفة، ويكون الأمر ممتعًا عند طرح عدد من الأسئلة البحثية ومحاولة الإجابة عنها باستخدام أدلة تدعمها. لذلك اظهر هذا النشاط و المنقول عن المشروع البحثي الممول من مؤسسة قطر أن التاريخ أصبح أكثر إثارة عندما يتم دراسته وكتابته من مجموعة من المصادر الأولية ومقارنتها ببعضها البعض للوصول الى الحقيقة حتى اذا كان هذا التاريخ هو كتابة تاريخهم الشخصي. -من أهم المخرجات التعليمية لهذا النشاط هو تغيير طريقة تفكير الطلبة في كتابة التاريخ و من خلال التعمق في فهم المصادر والتحقق منها. -لاحظت كأستاذ للمقررات التي تم تطبيق هذا النشاط فيها تفاعل الطلاب مع عائلاتهم لكتابة تاريخهم الشخصي ومن ثم ادماج العائلات في تعليم ابنائهم وإعطائهم فرصة كتابة تاريخهم من ابعاد اجتماعية تاريخية واقتصادية و جغرافية حيث اثبت هذا النشاط ان اشراك الاهل مع الطلبة في عملية التعلم هي نقطة هامة حيث لا يجب ان يتوقف دعم الاهل للطلبة بمرحلة الثانوي بل لابد و ان يتعدى للمرحلة الجامعية بشكل المشاركة. -سعى هذا النشاط الى فتح دوائر أوسع للطلاب لكتابة تاريخهم الشخصي لاكتشاف أثر الحركات السياسية والتاريخية ، والاجتماعية ، والحروب و الهجرات التي أثرت في حياتهم هو وسيلة لهم لفهم التاريخ وبشكل اعمق وهو ما اتاح لهم الاطلاع على قواعد بيانات وموارد المكتبة الأرشيفية والخرائط، وغيرها من المصادر الأولية ذات الصلة، وما إلى ذلك ليتم دراستها. -هذا التطبيق هو ناتج مشروع بحثى بعنوان «قطر كملتقى طرق: طلاب يكتبون تاريخهم الشخصي ≫ UREP08-049-6-004وممول من برنامج خبرة الابحاث للطلبة الجامعيين والذى اضحى اداة تعليمية فعالة من حيث فهم عميق للتاريخ عن طريق كتابة الطلاب لتاريخهم الشخصي مستعينين بعدد من المصادر الاولية. ونهاية فقد عرضت في هذا البحث لنموذج تطبيقي بحيث يمكن استخدام فكرة كتابة التاريخ الشخصي مستندا على مصادر أولية في تطبيق منظم للتفكير الناقد في مقررات التاريخ. والهدف هو ان يستخدم القائمين على تدريس مادة التاريخ والمعلمين هذا النموذج لتدريب الطلاب علية والاستفادة منة. وعلية يكون عناصر تصميم النموذج هي: مصدر اولى بحيث يمكن استخراج المعلومات التي نحتاجها منة لكتابة التاريخ الشخصي و قائمة من الادلة المتاحة، للإجابة على قائمة من الاسئلة البحثية. وسنتأكد من تحقيق هذا التصميم التعليمي للغرض الذى صمم من أجلة عندما يستطيع الطالب ان يربط بين المصدر والادلة المتاحة ليستنتج الاجابة الصحيحة والتي تتطلب مجهود عقلي ليصل لاستنتاج هذه الاجابات. ان مثل هذا التطبيق التعليمي يدمج كل من التفكير الناقد والاتصال ومهارات التعليم التعاوني لإيصال المعلومات التاريخية عن طريق اشراك الطلاب في التساؤلات البحثية التاريخية من المصادر الاولية. وعلية تقترح الباحثة ان يعطى اساتذة المادة مساحة اوسع لتدريس المصادر من خلال كتابة الطلاب لتاريخهم الشخصي حيث يتيح هذا التطبيق الفرصة للطلاب بان يجمعوا معلومات من مصادرها الاولية ومن ثم التفكير في تفسيرها والتركيب والتحليل وهو اتجاه تعليمي جديد وفعال واستراتيجية تكمل الأشكال التقليدية في تدريس التاريخ مع الدروس والقراءات الأسبوعية والتي تنجح ولكن بشكل جزئي وعلية يقترح تبنى هذا التطبيق من قبل أساتذة التاريخ خلال تدريس مادة التاريخ

An assessment of the potential for legal redress for systematic errors in unpermissioned blockchain technology under English law

This thesis focuses on the potential for legal redress to be afforded to users who suffer loss resulting from transactions impacted by systematic errors in unpermissioned blockchains. Blockchain technology, which enables a cryptographically secure form of record keeping, is an emerging topic that has the potential to be adopted in many contexts, notably in cryptocurrencies. Unpermissioned blockchain technology provides a unique and decentralised technology in which anyone can participate or alter, and it gives rise to questions as to its compatibility with traditional legal frameworks. The regulatory landscape concerning unpermissioned blockchain technology has hitherto largely focused on the issue of money laundering via cryptocurrencies. However, this has resulted in limited legal protection for users in respect of liability for systematic errors. This thesis will explore the potential for development of the current English legal framework to enable protection to users who suffer loss attributable to systematic errors. Further to this, there shall be the exploration of creative legal solutions for regulating unpermissioned blockchain with the aim of enhanced clarity and legal protection for users in three different contexts: peer to peer, cryptocurrency exchange and DeFi exchange transactions. The public are most likely to encounter unpermissioned blockchain technology in these contexts, through cryptocurrency trading, and therefore risks in each instance may present the most likely case for regulation. Employing a decentred view of regulation, Ostrom’s self-management principles are drawn upon as one potential model of self-regulation that might be adapted for unpermissioned blockchain technology

The relation between spaces and cultural change: supermalls and cultural change in Qatari society

This study is the first attempt to ethnographically assess the influences of supermalls on cultural change. It takes a first step toward enhancing our understanding of the influences of globalization and consumer culture as drivers of the social and cultural changes to Qatar’s traditional society, to similar cultural configurations in the Middle East, and to global cultural diversity. This study found that there are changes in the patterns of behavior and the daily lives of the two studied groups, which were particularly evident for those living proximate to the supermall. For example, living near Villaggio changed family eating habits because many families preferred easily cooked or fast food at the supermall to cooking at home. Changes to relationships within and among households were observed. For example, with the advent of the Villaggio, visits between families in their homes became less frequent, and individuals now stroll through the supermall, watch movies at the cinema, and engage in Western activities, such as ice skating. In sum, Villaggio has helped to bring significant changes to the ways that families entertain themselves and spend their leisure time. The findings of this study reveal the depth of the social and cultural changes experienced by members of traditional Doha society because of the influence of globalization. supermalls have become a sensation in their effects on the lifestyles of Qataris, particularly with respect to shopping and socializing practices. We conclude that many aspects of cultural diversity and cultural identity are threatened by supermalls because they could gradually eclipse the symbols and values by which Qataris understand their culture and tradition. The analysis found specific themes regarding cultural and social change regarding national identity, social status, social practices, family life, and the social geography of the city.“This publication was made possible by a grant from the Qatar national research fund under its undergraduate research experience program award number UREP 06 - 087 - 5 – 024. Its contents are solely the responsibility of the authors and do not necessarily represent the official views of the Qatar National Research Fund (QNRF).

Model Checking Logics of Social Commitments for Agent Communication

This thesis is about specifying and verifying communications among autonomous and possibly heterogeneous agents, which are the key principle for constructing effective open multi-agent systems (MASs). Effective systems are those that successfully achieve applicability, feasibility, error-freeness and balance between expressiveness and verification efficiency aspects. Over the last two decades, the MAS community has advocated social commitments, which successfully provide a powerful representation for modeling communications in the figure of business contracts from one agent to another. While modeling communications using commitments provides a fundamental basis for capturing flexible communications and helps address the challenge of ensuring compliance with specifications, the designers and business process modelers of the system as a whole cannot guarantee that an agent complies with its commitments as supposed to or at least not wantonly violate or cancel them. They may still wish to first formulate the notion of commitment-based protocols that regulate communications among agents and then establish formal verification (e.g., model checking) by which compliance verification in those protocols is possible. In this thesis, we address the aforementioned challenges by firstly developing a new branching-time temporal logic---called ACTL*c---that extends CTL* with modal operators for representing and reasoning about commitments and all associated actions. The proposed semantics for ACL (agent communication language) messages in terms of commitments and their actions is formal, declarative, meaningful, verifiable and semi-computationally grounded. We use ACTL*c to derive a new specification language of commitment-based protocols, which is expressive and suitable for model checking. We introduce a reduction method to formally transform the problem of model checking ACTL*c to the problem of model checking GCTL* so that the use of the CWB-NC model checker is possible. We prove the soundness of our reduction method and implement it on top of CWB-NC. To check the effectiveness of our reduction method, we report the verification results of the NetBill protocol and Contract Net protocol against some properties. In addition to the reduction method, we develop a new symbolic algorithm to perform model checking ACTL*c. To balance between expressiveness and verification efficiency, we secondly adopt a refined fragment of ACTL*c, called CTLC, an extension of CTL with modalities for commitments and their fulfillment. We extend the formalism of interpreted systems introduced to develop MASs with shared and unshared variables and considered agents' local states in the definition of a full-computationally grounded semantics for ACL messages using commitments. We present reasonable axioms of commitment and fulfillment modalities. In our verification technique, the problem of model checking CTLC is reduced into the problems of model checking ARCTL and GCTL* so that respectively extended NuSMV and CWB-NC (as a benchmark) are usable. We prove the soundness of our reduction methods and then implement them on top of the extended NuSMV and CWB-NC model checkers. To evaluate the effectiveness of our reduction methods, we verified the correctness of two business case studies. We finally proceed to develop a new symbolic model checking algorithm to directly verify commitments and their fulfillment and commitment-based protocols. We analyze the time complexity of CTLC model checking for explicit models and its space complexity for concurrent programs that provide compact representations. We prove that although CTLC extends CTL, their model checking algorithms still have the same time complexity for explicit models, and the same space complexity for concurrent programs. We fully implement the proposed algorithm on top of MCMAS, a model checker for the verification of MASs, and then check its efficiency and scalability using an industrial case study

Formal Specification and Automatic Verification of Conditional Commitments

Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols

Model Checking Real-Time Conditional Commitment Logic using Transformation

A new logical language for real-time conditional commitments called RTCTLcc has been developed by extending the CTL logic with interval bounded until modalities, conditional commitment modalities, and fulfillment modalities. RTCTLcc allows us to express qualitative and quantitative commitment requirements in a convenient way. These requirements can be used to model multi-agent systems (MASs) employed in environments that react properly and timely to events occurring at time instants or within time intervals. However, the timing requirements and behaviors of MASs need an appropriate way to scale and bundle and should be carefully analyzed to ensure their correctness, especially when agents are autonomous. In this paper, we develop transformation algorithms that are fully implemented in a new Java toolkit for automatically transforming the problem of model checking RTCTLcc into the problem of model checking RTCTL (real-time CTL). The toolkit engine is built on top of the NuSMV tool, effectively used to automatically verify and analyze the correctness of real-time distributed systems. We analyzed the time and space computational complexity of the RTCTLcc model checking problem. We proved the soundness and completeness of the transformation technique and experimentally evaluated the validity of the toolkit using a set of business scenarios. Moreover, we added a capability in the toolkit to automatically scale MASs and to bundle requirements in a parametric form. We experimentally evaluated the scalability aspect of our approach using the standard ordering protocol. We further validated the approach using an industrial case study

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*

Social commitments have been extensively and effectively used to represent and model business contracts among autonomous agents having competing objectives in a variety of areas (e.g., modeling business processes and commitment-based protocols). However, the formal verification of social commitments and their fulfillment is still an active research topic. This paper presents CTLC+ that modifies CTLC, a temporal logic of commitments for agent communication that extends computation tree logic (CTL) logic to allow reasoning about communicating commitments and their fulfillment. The verification technique is based on reducing the problem of model checking CTLC+ into the problem of model checking ARCTL (the combination of CTL with action formulae) and the problem of model checking GCTL* (a generalized version of CTL* with action formulae) in order to respectively use the extended NuSMV symbolic model checker and the CWB-NC automata-based model checker as a benchmark. We also prove that the reduction techniques are sound and the complexity of model checking CTLC+ for concurrent programs with respect to the size of the components of these programs and the length of the formula is PSPACE-complete. This matches the complexity of model checking CTL for concurrent programs as shown by Kupferman et al. We finally provide two case studies taken from business domain along with their respective implementations and experimental results to illustrate the effectiveness and efficiency of the proposed technique. The first one is about the NetBill protocol and the second one considers the Contract Net protocol