This document discusses two randomized algorithms:
1) A distributed client-server problem where clients randomly select servers to send job requests to. It analyzes the expected number of rounds needed to complete all jobs.
2) A rumor spreading problem where the number of people knowing a rumor can double each day. It examines calculating the expected number of days for the rumor to spread to everyone.
The document breaks the analysis of each problem into two stages and uses Markov's inequality and recurrences to derive upper bounds on the expected values.
Case study and guidelines for performance testing microservices. The talk focuses on clarifying the goals of performance testing, suggestions on tools that will help get started and common pitfalls. Originally presented at Reactive Summit 2018.
Towards agile formal methods
The main goal of this work is to overcome the aforementioned limitations by enabling automated decision gates in performance testing of microservices that allow requirements traceability. We seek to achieve this goal by endowing common agile practices used in microservice performance testing, with the ability to automatically learn and then formally verify a performance model of the System Under Test (SUT) to achieve strong assurances of quality. Even if the separation between agile and formal methods increased over the years, we support the claim that formal methods are at a stage where they can be effectively incorporated into agile methods to give them rigorous engineering foundations and make them systematic and effective with strong guarantees.
Applying the power of Continuous Delivery to performance testing. Process, techniques, best practices. This talk describes a pragmatic approach to building a robust performance testing strategy.
Microservices Testing Strategies: The Good, the Bad, and the RealityTechWell
Software development is trending toward building systems using small, autonomous, independently deployable services called microservices. Leveraging microservices makes it easier to add and modify system behavior with minimal or no service interruption. Because they facilitate releasing software early, frequently, and continuously, microservices are especially popular in DevOps. But how do microservices affect software testing and testability? Are there new testing challenges that arise from this paradigm? Or are these simply old challenges disguised as new ones? Join Tariq King as he describes the good, the bad, and the reality of testing microservices. Learn how to develop a microservices testing strategy that fits your organization's needs—and avoids common pitfalls and misunderstandings. Whether you're already using microservices or just considering making the shift, come and engage with Tariq as he brings clarity to testing in a microservices world.
Diesel load testing software is a comprehensive tool for stress testing a website.
Diesel Test is a software designed in Delphi 5, for systems under NT environment.
It is distributed under the GNU LGPL license.
Using Diesel load testing tool you will come to know about how your website will perform in the real world when hundreds, thousands, (or potentially millions) of users would place on your website.
It is designed to test Internet web sites (HTTP and HTTPS requests), with monitoring and graphical representations.
Case study and guidelines for performance testing microservices. The talk focuses on clarifying the goals of performance testing, suggestions on tools that will help get started and common pitfalls. Originally presented at Reactive Summit 2018.
Towards agile formal methods
The main goal of this work is to overcome the aforementioned limitations by enabling automated decision gates in performance testing of microservices that allow requirements traceability. We seek to achieve this goal by endowing common agile practices used in microservice performance testing, with the ability to automatically learn and then formally verify a performance model of the System Under Test (SUT) to achieve strong assurances of quality. Even if the separation between agile and formal methods increased over the years, we support the claim that formal methods are at a stage where they can be effectively incorporated into agile methods to give them rigorous engineering foundations and make them systematic and effective with strong guarantees.
Applying the power of Continuous Delivery to performance testing. Process, techniques, best practices. This talk describes a pragmatic approach to building a robust performance testing strategy.
Microservices Testing Strategies: The Good, the Bad, and the RealityTechWell
Software development is trending toward building systems using small, autonomous, independently deployable services called microservices. Leveraging microservices makes it easier to add and modify system behavior with minimal or no service interruption. Because they facilitate releasing software early, frequently, and continuously, microservices are especially popular in DevOps. But how do microservices affect software testing and testability? Are there new testing challenges that arise from this paradigm? Or are these simply old challenges disguised as new ones? Join Tariq King as he describes the good, the bad, and the reality of testing microservices. Learn how to develop a microservices testing strategy that fits your organization's needs—and avoids common pitfalls and misunderstandings. Whether you're already using microservices or just considering making the shift, come and engage with Tariq as he brings clarity to testing in a microservices world.
Diesel load testing software is a comprehensive tool for stress testing a website.
Diesel Test is a software designed in Delphi 5, for systems under NT environment.
It is distributed under the GNU LGPL license.
Using Diesel load testing tool you will come to know about how your website will perform in the real world when hundreds, thousands, (or potentially millions) of users would place on your website.
It is designed to test Internet web sites (HTTP and HTTPS requests), with monitoring and graphical representations.
الحمد لله الذي فقهنا في الدين وألهمنا الرشد وجعلنا من عباده المسلمين.
والصلاة والسلام على سيد الأنام وبدر التمام ومصباح الظلام سيدنا محمد وآله بدور التمام، وصحابته العظام، وأتباعه والسالكين على نهجه إلى يوم الدين آمين.
وبعد ، فإن ديننا العظيم أولى عناية خاصة للمرأة المسلمة بنتا، وفتاة، وزوجة، وأماً، لأنها صانعة الأجيال ومُعِدَّةٌ للرجال، . وصدق الشاعر إذ يقول:
الأم مدرسة إذا أعددتها ..... أعددت شعباً طيب الأعراق
وقد كرم الرسول صل الله عليه وسلم المرأة ففقهها في الدين، كما أمر زوجاته بتعلم القراءة و الكتابة، وجعل لنساء المؤمنين درساً خاصاً بهن، يقوم فيه عزوجل بالتعليم النظري، وتقوم السيدة عائشة رضى الله عنها للنساء بالشرح العملي .، وكان يشجع النساء على الاستفسار عن أمور دينهن ، حتى قالت السيدة عائشة رضي الله عنها فى ذلك مشجعة لهن :
{ نَعْمَ النِّسَاءُ نِسَاءُ الأَنْصَارِ لَمْ يَكُنْ يَمْنَعُهُنَّ الْحَيَاءُ أَنْ يَتَفَقَّهْنَ فِي الدِّينِ }
بل كان صل الله عليه وسلم يشرك النساء معه في الأعمال التى تناسبهن حتى في القتال عند الضرورة، فقد قال عن السيدة نسيبة بنت كعب في غزوة أحد عندما أمسكت بسيفها وأخذت تدافع عنه صل الله عليه وسلم بعد فرار كثير من المسلمين عن حضرته وإحداق العدو به:
{ مَا ٱلْتَفَتُّ يَمِيناً وَلاَ شِمَالاً إلاَّ وَأَنَا أَرَاهَا تُقَاتِلُ دُونِي }
ومن هذا المنطلق .. رأينا أن من واجبنا أن نبصر النساء المسلمات بأمور دينهن فنعقد لهن في كل الزيارات التى نجوب بها البلاد الإسلامية مدناً وقرى مجالساً للعلم تسبقها دعوة لهن، ليتم الانتفاع لأكثر عدد، ونجعل هذه الندوات في المساجد أو قاعات المناسبات المنتشرة في ربوع البلاد، ونقسم هذه الندوات إلى قسمين، القسم الأول عبارة عن درس ديني في الشئون المتعلقة بالنساء وقد جمعنا قدراً كافياً من هذه الدروس ونشرناها في كتابنا "المؤمنات القانتات".
أما القسم الثاني فنجعله للإجابة على الأسئلة والاستفسارات التى نتلقاها من الحاضرات ، ولما كانت هذه الأسئلة تشمل كل شئون المرأة في زيها، وزينتها، وخلقها، وطهارتها، وعبادتها، و جميع حقوقها الزوجية والإرثية وغيرها، وكل أحوالها المنزلية والإجتماعية، فقد جمعنا من هذه الأسئلة قدراً كافياً وآثرنا نشرها بعد تبويبها ومراجعتها تحت عنوان: "فتاوى جامعة للنساء" ليعم بها النفع ويزول بها اللبس وينقشع بها الجهل خاصة أننا جعلناها في لغة سهلة وبطريقة مبسطة ليسهل قراءتها أو سماعها وتناولها لأى امرأة مسلمة حتى ولو كانت على قدر محدود جداً من الثقافة اللغوية أو العلمية.
والله حسبنا في ذلك كله فإن
مع ظهور الصحوة الإسلامية المعاصرة في شتى البلاد الإسلامية، رأينا جُلَّ المسلمين المعاصرين يتعمقون في دراسة أبواب العبادات من الفقه، ويُركزون عليها، وهذا واجب شرعي لا شك في ذلك، لأنه يتعلق بواجب المؤمن نحو ربه عزوجل، وعبادته، وشكره سبحانه على عظيم نعمه.
ونظراً لكثرة مشاغل الخلق في هذا الزمان، فربما لا يسع وقت كثير منهم لدراسة بقية أبواب الفقه الإسلامي، مع شدة الحاجة إليها لأنها تتعلق بالأحوال الشخصية من زواج وطلاق، وتنظيم المعاملات بين الناس وفقاً لقواعد الشريعة الإسلامية، وتبين واجب المسلم نحو أخيه في كل حالة من الأحوال التي تعتوره من صحة ومرض، وغنى وفقر، وحياة وموت، وشدة ورخاء، وعسر ويسر، وغيرها.
لذلك رأينا أن نبين لإخواننا المسلمين أجمعين في هذا الكتاب الواجب عليهم فعله نحو إخوتهم المقبلين على الدار الآخرة سواء ساعة الإحتضار، أو بعد مفارقة المؤمن للحياة الدنيا، من غسله وتكفينه والصلاة عليه وتشييعه إلى مثواه الأخير.
وبيَّنا كذلك شروط الدفن الشرعي، وصفة المقابر التي ينبغي أن يُدفن فيها المسلم، والواجب على أهل الميت نحو ميتهم.
وكذلك الواجب على جموع المؤمنين نحو الميت، ونحو أهله، وكل ذلك طبقاً لأحكام الشريعة الإسلامية التي استنبطها الفقهاء الأجلاء من كتاب الله عزوجل، ومن سُنَّة رسول الله صل الله عليه وسلم القولية والفعلية، وعمل الصحابة والأئمة الهادين المهديين.
وقد تخيرنا في ذلك من بين النقول والآراء الواردة عن الرعيل الأول، والسلف الصالح؛ ما ينحو نحو الوسطية التي وصف الله عزوجل بها الأمة الإسلامية في قوله تعالى: وَكَذَلِكَ جَعَلْنَاكُمْ أُمَّةً وَسَطًا لِتَكُونُوا شُهَدَاءَ عَلَى النَّاسِ وَيَكُونَ الرَّسُولُ عَلَيْكُمْ شَهِيدًا (143البقرة)
وركزنا في ذلك أيضاً على بيان مدى سعة رحمة الله لعباده المؤمنين، وشدة إكرامه سبحانه وتعالى لهم في حياتهم البرزخية، ولذلك سميناه: (إكرام الله للأموات) وقد أخرجنا أيضاً قرصاً مدمجاً (سي دي) ليكون بياناً عملياً مرئياً في ذلك لمن أراد رسوخ هذه الحقائق في ذهنه.
وقد سبق لنا أن بيَّنا عظيم إكرام الله للمؤمن عند موته في كتابنا: (بشائر المؤمن عند الموت) ووضحنا فضل الله العظيم للمؤمنين في اليوم الآخر (يوم القيامة) وفي دار الجنان في كتبنا: (بشريات المؤمن في الآخرة) و (بشائر الفضل الإلهى).
وبذلك نكون قد أوضحنا على قدرنا مع جهلنا وقلة محصولنا لإخواننا المؤمنين بعض إكرامات الله عزوجل لهم من لحظة الموت إلى الخلود في الجنة، عسى الله أن ينفعنا بذلك، ويدخلنا في دائرة عباده المكرمين، إنه على كل شيء قدير، وصلى الله على سيدنا محمد وعلى آله وص
Plate tectonics the oceans part iiic no textWilliam Szary
Introduction to Global Plate Tectonics Part IIIC continues the ocean basins geologic histories with a presentation on the Philipine Plate, Indian Ocean, and the Wharton Basin. This is the third and final part of a three part series on the geologic history of the oceans. Parts III A & B were previously posted on Slideshare.com.
فى الحقيقة فإنه مما دفعنا أيضا إلى هذا العمل من تخصيص دروس للنساء والفتيات، ثم جمعها بهذا الكتاب أمور كثيرة يضيق النطاق عن ذكرها؛ ولكنَّ أهمها:
- حاجة نساء بلادنا بمختلف المستويات إلى المزيد من الثقافة الدينية؛ حيث أن عليهن العبء الأكبر في القضاء على الأعراف والعادات المخالفة للدين في مجتمعنا، كما أن عليهن القيام بتنشئة شباب الأمة على الفضيلة و بهن تنصلح الأحوال الأسرية، ولهن النصيب الأعظم في القضاء على المشاكل العائلية والاجتماعية.
- والأمر الثاني الهام؛ هو ما تتعرض له الأمة من تيارات عاصفة تتهم ديننا بالجمود وانتقاص قدر النساء، وتقليل دورهن فى المجتمع، وهذا ما جعلنا نبيِّن لنسائنا فضل الإسلام عليهن وسبقه لجميع الأديان والمذاهب في تكريمهن وإعلاء شأنهن، وبيان الدور العظيم المنوط بهن مما يجعل المسلمة إذا عرفت ذلك؛ تتباهى بالإسلام وتفتخر بانتسابها إليه؛ فهو الدين الحق الذي وضعها في مكانتها التي تليق بها.
وكل أحكام الإسلام بشأن المرأة لو درسناها بموضوعية وحيادية ؛ لوجدناها جميعاً تثبت ذلك؛ فهي كلها تسعى لرفع مكانة المرأة والسمو بها وتكريمها وإعزازها، وصدق الله العظيم إذ يقول:
وَلِلَّهِ الْعِزَّةُ وَلِرَسُولِهِ وَلِلْمُؤْمِنِينَ [الآية(8) المنافقون]
هذا الكتاب خصصناه لشهر شعبان المبارك، فبينَّا فيه خصائص الشهر، وما خصه بها الحبيب صلى الله عليه وسلم من التوجهات والعبادات والنوافل، وقسمنا الباب ثلاثة فصول: الأول للخطب، والثاني ذكرنا فيه فضائل ليلة النصف من شعبان وسردنا الأدلة اليقينية على الإحتفال بها، كما أوردنا بعض الأدلة فى ثبوت معجزة شق القمر لحاجة الخطباء والدعاة لذلك، وأما الفصل الثالث فقد أوضحنا فيه الكيفية الصحيحة لإحياء ليلة النصف، وإغتنام فضلها والتعرض لنفحاتها وذلك من بيان وأحوال أئمة السلف الصالح والعلماء العاملين. فوزي محمد أبوزيد -
فتاوى جامعة للنساء لفضيلة الشيخ فوزى محمد أبوزيدHassan Elagouz
الحمد لله الذي فقهنا في الدين وألهمنا الرشد وجعلنا من عباده المسلمين.
والصلاة والسلام على سيد الأنام وبدر التمام ومصباح الظلام سيدنا محمد وآله بدور التمام، وصحابته العظام، وأتباعه والسالكين على نهجه إلى يوم الدين آمين.
وبعد ، فإن ديننا العظيم أولى عناية خاصة للمرأة المسلمة بنتا، وفتاة، وزوجة، وأماً، لأنها صانعة الأجيال ومُعِدَّةٌ للرجال، . وصدق الشاعر إذ يقول:
الأم مدرسة إذا أعددتها ..... أعددت شعباً طيب الأعراق
وقد كرم الرسول r المرأة ففقهها في الدين، كما أمر زوجاته بتعلم القراءة و الكتابة، وجعل لنساء المؤمنين درساً خاصاً بهن، يقوم فيه r بالتعليم النظري، وتقوم السيدة عائشة رضى الله عنها للنساء بالشرح العملي .، وكان r يشجع النساء على الاستفسار عن أمور دينهن ، حتى قالت السيدة عائشةy فى ذلك مشجعة لهن :
{ نَعْمَ النِّسَاءُ نِسَاءُ الأَنْصَارِ لَمْ يَكُنْ يَمْنَعُهُنَّ الْحَيَاءُ أَنْ يَتَفَقَّهْنَ فِي الدِّينِ }(1)
بل كان r يشرك النساء معه في الأعمال التى تناسبهن حتى في القتال عند الضرورة، فقد قال عن السيدة نسيبة بنت كعب في غزوة أحد عندما أمسكت بسيفها وأخذت تدافع عنه r بعد فرار كثير من المسلمين عن حضرته وإحداق العدو به:
{ مَا ٱلْتَفَتُّ يَمِيناً وَلاَ شِمَالاً إلاَّ وَأَنَا أَرَاهَا تُقَاتِلُ دُونِي }(2)
ومن هذا المنطلق .. رأينا أن من واجبنا أن نبصر النساء المسلمات بأمور دينهن فنعقد لهن في كل الزيارات التى نجوب بها البلاد الإسلامية مدناً وقرى مجالساً للعلم تسبقها دعوة لهن، ليتم الانتفاع لأكثر عدد، ونجعل هذه الندوات في المساجد أو قاعات المناسبات المنتشرة في ربوع البلاد، ونقسم هذه الندوات إلى قسمين، القسم الأول عبارة عن درس ديني في الشئون المتعلقة بالنساء وقد جمعنا قدراً كافياً من هذه الدروس ونشرناها في كتابنا "المؤمنات القانتات".
أما القسم الثاني فنجعله للإجابة على الأسئلة والاستفسارات التى نتلقاها من الحاضرات ، ولما كانت هذه الأسئلة تشمل كل شئون المرأة في زيها، وزينتها، وخلقها، وطهارتها، وعبادتها، و جميع حقوقها الزوجية والإرثية وغيرها، وكل أحوالها المنزلية والإجتماعية، فقد جمعنا من هذه الأسئلة قدراً كافياً وآثرنا نشرها بعد تبويبها ومراجعتها تحت عنوان: "فتاوى جامعة للنساء" ليعم بها النفع ويزول بها اللبس وينقشع بها الجهل خاصة أننا جعلناها في لغة سهلة وبطريقة مبسطة ليسهل قراءتها أو سماعها وتناولها لأى امرأة مسلمة حتى ولو كانت على قدر محدود جداً من الثقافة اللغوية أو العلمية.
والله حسبنا في ذلك كله فإنا ما نبغي غير رضاه ولا نطلب إلا توفيقه وهداه، فما كان من ه
Jugal Parikh, Microsoft
Holly Stewart, Microsoft
Humans are susceptible to social engineering. Machines are susceptible to tampering. Machine learning is vulnerable to adversarial attacks. Singular machine learning models can be “gamed” leading to unexpected outcomes.
In this talk, we’ll compare the difficulty of tampering with cloud-based models and client-based models. We then discuss how we developed stacked ensemble models to make our machine learning defenses less susceptible to tampering and significantly improve overall protection for our customers. We talk about the diversity of our base ML models and technical details on how they are optimized to handle different threat scenarios. Lastly, we’ll describe suspected tampering activity we’ve witnessed using protection telemetry from over half a billion computers, and whether our mitigation worked.
Cocktail of Environments. How to Mix Test and Development Environments and St...Aleksandr Tarasov
Usually, companies have a clear separation between testing environments and development environments. But what if we take a different approach and combine everything into one environment and still survive? The speaker will discuss ways to organize cloud environments for testing and development, compare them, and discuss the pros and cons of the combined approach.
الحمد لله الذي فقهنا في الدين وألهمنا الرشد وجعلنا من عباده المسلمين.
والصلاة والسلام على سيد الأنام وبدر التمام ومصباح الظلام سيدنا محمد وآله بدور التمام، وصحابته العظام، وأتباعه والسالكين على نهجه إلى يوم الدين آمين.
وبعد ، فإن ديننا العظيم أولى عناية خاصة للمرأة المسلمة بنتا، وفتاة، وزوجة، وأماً، لأنها صانعة الأجيال ومُعِدَّةٌ للرجال، . وصدق الشاعر إذ يقول:
الأم مدرسة إذا أعددتها ..... أعددت شعباً طيب الأعراق
وقد كرم الرسول صل الله عليه وسلم المرأة ففقهها في الدين، كما أمر زوجاته بتعلم القراءة و الكتابة، وجعل لنساء المؤمنين درساً خاصاً بهن، يقوم فيه عزوجل بالتعليم النظري، وتقوم السيدة عائشة رضى الله عنها للنساء بالشرح العملي .، وكان يشجع النساء على الاستفسار عن أمور دينهن ، حتى قالت السيدة عائشة رضي الله عنها فى ذلك مشجعة لهن :
{ نَعْمَ النِّسَاءُ نِسَاءُ الأَنْصَارِ لَمْ يَكُنْ يَمْنَعُهُنَّ الْحَيَاءُ أَنْ يَتَفَقَّهْنَ فِي الدِّينِ }
بل كان صل الله عليه وسلم يشرك النساء معه في الأعمال التى تناسبهن حتى في القتال عند الضرورة، فقد قال عن السيدة نسيبة بنت كعب في غزوة أحد عندما أمسكت بسيفها وأخذت تدافع عنه صل الله عليه وسلم بعد فرار كثير من المسلمين عن حضرته وإحداق العدو به:
{ مَا ٱلْتَفَتُّ يَمِيناً وَلاَ شِمَالاً إلاَّ وَأَنَا أَرَاهَا تُقَاتِلُ دُونِي }
ومن هذا المنطلق .. رأينا أن من واجبنا أن نبصر النساء المسلمات بأمور دينهن فنعقد لهن في كل الزيارات التى نجوب بها البلاد الإسلامية مدناً وقرى مجالساً للعلم تسبقها دعوة لهن، ليتم الانتفاع لأكثر عدد، ونجعل هذه الندوات في المساجد أو قاعات المناسبات المنتشرة في ربوع البلاد، ونقسم هذه الندوات إلى قسمين، القسم الأول عبارة عن درس ديني في الشئون المتعلقة بالنساء وقد جمعنا قدراً كافياً من هذه الدروس ونشرناها في كتابنا "المؤمنات القانتات".
أما القسم الثاني فنجعله للإجابة على الأسئلة والاستفسارات التى نتلقاها من الحاضرات ، ولما كانت هذه الأسئلة تشمل كل شئون المرأة في زيها، وزينتها، وخلقها، وطهارتها، وعبادتها، و جميع حقوقها الزوجية والإرثية وغيرها، وكل أحوالها المنزلية والإجتماعية، فقد جمعنا من هذه الأسئلة قدراً كافياً وآثرنا نشرها بعد تبويبها ومراجعتها تحت عنوان: "فتاوى جامعة للنساء" ليعم بها النفع ويزول بها اللبس وينقشع بها الجهل خاصة أننا جعلناها في لغة سهلة وبطريقة مبسطة ليسهل قراءتها أو سماعها وتناولها لأى امرأة مسلمة حتى ولو كانت على قدر محدود جداً من الثقافة اللغوية أو العلمية.
والله حسبنا في ذلك كله فإن
مع ظهور الصحوة الإسلامية المعاصرة في شتى البلاد الإسلامية، رأينا جُلَّ المسلمين المعاصرين يتعمقون في دراسة أبواب العبادات من الفقه، ويُركزون عليها، وهذا واجب شرعي لا شك في ذلك، لأنه يتعلق بواجب المؤمن نحو ربه عزوجل، وعبادته، وشكره سبحانه على عظيم نعمه.
ونظراً لكثرة مشاغل الخلق في هذا الزمان، فربما لا يسع وقت كثير منهم لدراسة بقية أبواب الفقه الإسلامي، مع شدة الحاجة إليها لأنها تتعلق بالأحوال الشخصية من زواج وطلاق، وتنظيم المعاملات بين الناس وفقاً لقواعد الشريعة الإسلامية، وتبين واجب المسلم نحو أخيه في كل حالة من الأحوال التي تعتوره من صحة ومرض، وغنى وفقر، وحياة وموت، وشدة ورخاء، وعسر ويسر، وغيرها.
لذلك رأينا أن نبين لإخواننا المسلمين أجمعين في هذا الكتاب الواجب عليهم فعله نحو إخوتهم المقبلين على الدار الآخرة سواء ساعة الإحتضار، أو بعد مفارقة المؤمن للحياة الدنيا، من غسله وتكفينه والصلاة عليه وتشييعه إلى مثواه الأخير.
وبيَّنا كذلك شروط الدفن الشرعي، وصفة المقابر التي ينبغي أن يُدفن فيها المسلم، والواجب على أهل الميت نحو ميتهم.
وكذلك الواجب على جموع المؤمنين نحو الميت، ونحو أهله، وكل ذلك طبقاً لأحكام الشريعة الإسلامية التي استنبطها الفقهاء الأجلاء من كتاب الله عزوجل، ومن سُنَّة رسول الله صل الله عليه وسلم القولية والفعلية، وعمل الصحابة والأئمة الهادين المهديين.
وقد تخيرنا في ذلك من بين النقول والآراء الواردة عن الرعيل الأول، والسلف الصالح؛ ما ينحو نحو الوسطية التي وصف الله عزوجل بها الأمة الإسلامية في قوله تعالى: وَكَذَلِكَ جَعَلْنَاكُمْ أُمَّةً وَسَطًا لِتَكُونُوا شُهَدَاءَ عَلَى النَّاسِ وَيَكُونَ الرَّسُولُ عَلَيْكُمْ شَهِيدًا (143البقرة)
وركزنا في ذلك أيضاً على بيان مدى سعة رحمة الله لعباده المؤمنين، وشدة إكرامه سبحانه وتعالى لهم في حياتهم البرزخية، ولذلك سميناه: (إكرام الله للأموات) وقد أخرجنا أيضاً قرصاً مدمجاً (سي دي) ليكون بياناً عملياً مرئياً في ذلك لمن أراد رسوخ هذه الحقائق في ذهنه.
وقد سبق لنا أن بيَّنا عظيم إكرام الله للمؤمن عند موته في كتابنا: (بشائر المؤمن عند الموت) ووضحنا فضل الله العظيم للمؤمنين في اليوم الآخر (يوم القيامة) وفي دار الجنان في كتبنا: (بشريات المؤمن في الآخرة) و (بشائر الفضل الإلهى).
وبذلك نكون قد أوضحنا على قدرنا مع جهلنا وقلة محصولنا لإخواننا المؤمنين بعض إكرامات الله عزوجل لهم من لحظة الموت إلى الخلود في الجنة، عسى الله أن ينفعنا بذلك، ويدخلنا في دائرة عباده المكرمين، إنه على كل شيء قدير، وصلى الله على سيدنا محمد وعلى آله وص
Plate tectonics the oceans part iiic no textWilliam Szary
Introduction to Global Plate Tectonics Part IIIC continues the ocean basins geologic histories with a presentation on the Philipine Plate, Indian Ocean, and the Wharton Basin. This is the third and final part of a three part series on the geologic history of the oceans. Parts III A & B were previously posted on Slideshare.com.
فى الحقيقة فإنه مما دفعنا أيضا إلى هذا العمل من تخصيص دروس للنساء والفتيات، ثم جمعها بهذا الكتاب أمور كثيرة يضيق النطاق عن ذكرها؛ ولكنَّ أهمها:
- حاجة نساء بلادنا بمختلف المستويات إلى المزيد من الثقافة الدينية؛ حيث أن عليهن العبء الأكبر في القضاء على الأعراف والعادات المخالفة للدين في مجتمعنا، كما أن عليهن القيام بتنشئة شباب الأمة على الفضيلة و بهن تنصلح الأحوال الأسرية، ولهن النصيب الأعظم في القضاء على المشاكل العائلية والاجتماعية.
- والأمر الثاني الهام؛ هو ما تتعرض له الأمة من تيارات عاصفة تتهم ديننا بالجمود وانتقاص قدر النساء، وتقليل دورهن فى المجتمع، وهذا ما جعلنا نبيِّن لنسائنا فضل الإسلام عليهن وسبقه لجميع الأديان والمذاهب في تكريمهن وإعلاء شأنهن، وبيان الدور العظيم المنوط بهن مما يجعل المسلمة إذا عرفت ذلك؛ تتباهى بالإسلام وتفتخر بانتسابها إليه؛ فهو الدين الحق الذي وضعها في مكانتها التي تليق بها.
وكل أحكام الإسلام بشأن المرأة لو درسناها بموضوعية وحيادية ؛ لوجدناها جميعاً تثبت ذلك؛ فهي كلها تسعى لرفع مكانة المرأة والسمو بها وتكريمها وإعزازها، وصدق الله العظيم إذ يقول:
وَلِلَّهِ الْعِزَّةُ وَلِرَسُولِهِ وَلِلْمُؤْمِنِينَ [الآية(8) المنافقون]
هذا الكتاب خصصناه لشهر شعبان المبارك، فبينَّا فيه خصائص الشهر، وما خصه بها الحبيب صلى الله عليه وسلم من التوجهات والعبادات والنوافل، وقسمنا الباب ثلاثة فصول: الأول للخطب، والثاني ذكرنا فيه فضائل ليلة النصف من شعبان وسردنا الأدلة اليقينية على الإحتفال بها، كما أوردنا بعض الأدلة فى ثبوت معجزة شق القمر لحاجة الخطباء والدعاة لذلك، وأما الفصل الثالث فقد أوضحنا فيه الكيفية الصحيحة لإحياء ليلة النصف، وإغتنام فضلها والتعرض لنفحاتها وذلك من بيان وأحوال أئمة السلف الصالح والعلماء العاملين. فوزي محمد أبوزيد -
فتاوى جامعة للنساء لفضيلة الشيخ فوزى محمد أبوزيدHassan Elagouz
الحمد لله الذي فقهنا في الدين وألهمنا الرشد وجعلنا من عباده المسلمين.
والصلاة والسلام على سيد الأنام وبدر التمام ومصباح الظلام سيدنا محمد وآله بدور التمام، وصحابته العظام، وأتباعه والسالكين على نهجه إلى يوم الدين آمين.
وبعد ، فإن ديننا العظيم أولى عناية خاصة للمرأة المسلمة بنتا، وفتاة، وزوجة، وأماً، لأنها صانعة الأجيال ومُعِدَّةٌ للرجال، . وصدق الشاعر إذ يقول:
الأم مدرسة إذا أعددتها ..... أعددت شعباً طيب الأعراق
وقد كرم الرسول r المرأة ففقهها في الدين، كما أمر زوجاته بتعلم القراءة و الكتابة، وجعل لنساء المؤمنين درساً خاصاً بهن، يقوم فيه r بالتعليم النظري، وتقوم السيدة عائشة رضى الله عنها للنساء بالشرح العملي .، وكان r يشجع النساء على الاستفسار عن أمور دينهن ، حتى قالت السيدة عائشةy فى ذلك مشجعة لهن :
{ نَعْمَ النِّسَاءُ نِسَاءُ الأَنْصَارِ لَمْ يَكُنْ يَمْنَعُهُنَّ الْحَيَاءُ أَنْ يَتَفَقَّهْنَ فِي الدِّينِ }(1)
بل كان r يشرك النساء معه في الأعمال التى تناسبهن حتى في القتال عند الضرورة، فقد قال عن السيدة نسيبة بنت كعب في غزوة أحد عندما أمسكت بسيفها وأخذت تدافع عنه r بعد فرار كثير من المسلمين عن حضرته وإحداق العدو به:
{ مَا ٱلْتَفَتُّ يَمِيناً وَلاَ شِمَالاً إلاَّ وَأَنَا أَرَاهَا تُقَاتِلُ دُونِي }(2)
ومن هذا المنطلق .. رأينا أن من واجبنا أن نبصر النساء المسلمات بأمور دينهن فنعقد لهن في كل الزيارات التى نجوب بها البلاد الإسلامية مدناً وقرى مجالساً للعلم تسبقها دعوة لهن، ليتم الانتفاع لأكثر عدد، ونجعل هذه الندوات في المساجد أو قاعات المناسبات المنتشرة في ربوع البلاد، ونقسم هذه الندوات إلى قسمين، القسم الأول عبارة عن درس ديني في الشئون المتعلقة بالنساء وقد جمعنا قدراً كافياً من هذه الدروس ونشرناها في كتابنا "المؤمنات القانتات".
أما القسم الثاني فنجعله للإجابة على الأسئلة والاستفسارات التى نتلقاها من الحاضرات ، ولما كانت هذه الأسئلة تشمل كل شئون المرأة في زيها، وزينتها، وخلقها، وطهارتها، وعبادتها، و جميع حقوقها الزوجية والإرثية وغيرها، وكل أحوالها المنزلية والإجتماعية، فقد جمعنا من هذه الأسئلة قدراً كافياً وآثرنا نشرها بعد تبويبها ومراجعتها تحت عنوان: "فتاوى جامعة للنساء" ليعم بها النفع ويزول بها اللبس وينقشع بها الجهل خاصة أننا جعلناها في لغة سهلة وبطريقة مبسطة ليسهل قراءتها أو سماعها وتناولها لأى امرأة مسلمة حتى ولو كانت على قدر محدود جداً من الثقافة اللغوية أو العلمية.
والله حسبنا في ذلك كله فإنا ما نبغي غير رضاه ولا نطلب إلا توفيقه وهداه، فما كان من ه
Jugal Parikh, Microsoft
Holly Stewart, Microsoft
Humans are susceptible to social engineering. Machines are susceptible to tampering. Machine learning is vulnerable to adversarial attacks. Singular machine learning models can be “gamed” leading to unexpected outcomes.
In this talk, we’ll compare the difficulty of tampering with cloud-based models and client-based models. We then discuss how we developed stacked ensemble models to make our machine learning defenses less susceptible to tampering and significantly improve overall protection for our customers. We talk about the diversity of our base ML models and technical details on how they are optimized to handle different threat scenarios. Lastly, we’ll describe suspected tampering activity we’ve witnessed using protection telemetry from over half a billion computers, and whether our mitigation worked.
Cocktail of Environments. How to Mix Test and Development Environments and St...Aleksandr Tarasov
Usually, companies have a clear separation between testing environments and development environments. But what if we take a different approach and combine everything into one environment and still survive? The speaker will discuss ways to organize cloud environments for testing and development, compare them, and discuss the pros and cons of the combined approach.
Why is My Stream Processing Job Slow? with Xavier LeauteDatabricks
The goal of most streams processing jobs is to process data and deliver insights to the business – fast. Unfortunately, sometimes our streams processing jobs fall short of this goal. Or perhaps the job used to run fine, but one day it just isn’t fast enough? In this talk, we’ll dive into the challenges of analyzing performance of real-time stream processing applications. We’ll share troubleshooting suggestions and some of our favorite tools. So next time someone asks “why is this taking so long?”, you’ll know what to do.
Reaching reliable agreement in an unreliable worldHeidi Howard
In this lecture, we explore how to construct resilient distributed systems on top of unreliable components. Starting, almost two decades ago, with Leslie Lamport’s work on organising parliament for a Greek island. We will take a journey to today’s datacenter and the systems powering companies like Google, Amazon and Microsoft. Along the way, we will face interesting impossibility results, machines acting maliciously and the complexity to today’s networks. We will discover how to reach agreement between many parties and from this, how we construct the fault-tolerance systems that we depend upon everyday.
This lecture was given on October 13th 2015 at the University of Cambridge, as part of the Research Students Lecture Series.
Apache Kafka Bay Area Sep Meetup - 24/7 Customer, Inc.Suneet Grover
Journey from Kafka 0.7 to 0.10.0.1 and recipes for resilient cross-DC data pipeline. This is about our journey with Kafka starting from Kafka 0.7 through 0.8, 0.8.2.2 and finally to Kafka 0.10. We presented our learnings and the challenges we had faced during the upgrades, in managing the Kafka clusters and in operating the cross-DC mirror makers. This has a set of configurations that have worked for us and the transparency and monitoring that have helped us to build a highly reliable and resilient real time data pipeline.
How to mutate your immutable log | Andrey Falko, StripeHostedbyConfluent
Have you ever had your upstream producers write poisoned data that breaks your downstream consumers? Did Personal Identifiable Information (PII) land in a Kafka topic that wasn’t supposed to have it? Is your data pipeline under development and you simply want to iterate quickly? Immutability is one of the key and desirable features of Kafka. However, when mistakes happen and you are paged at night you sometimes wish there was an “easy button” to change the log.
This session first dives into some of the errors we have seen that caused outages for considerable durations of time. Recovery from the errors required late night code changes on consumers or simply waiting things out.
The next part of the session proposes a topic versioning scheme that allows us to recover from the examples that we mention. It segues into what it would take to build a control plane to manage and lifecycle these versioned topics. We’ll cover the benefits and pitfalls of our proposed solution.
Reduce Redundant Producers from Partitioned Producer - Pulsar Summit NA 2021StreamNative
Yahoo Japan Corporation has been using Apache Pulsar as a centralized messaging platform.
Recently, we have found an efficiency issue caused by an unspecified number of producers. More specifically, in some situations partitioned producer doesn't need to connect to all partitions.
A couple of cases as below:
1. different rate producers
- we should set the number of partitions according to the highest-rate producer
- however, this number is excessively large for low-rate producers
2. SinglePartition routing mode
- each producer uses only one partition
Currently we are planning to make partitioned producer able to connect to not only all partitions, but also part of partitions. We expect that this feature allows us to use system resources more efficiently.
In this session we will explain more detail and some experimental results.
Quantum computing has become a noteworthy topic in academia and industry. The multinational companies in the world have been obtaining impressive advances in all areas of quantum technology during the last two decades. These companies try to construct real quantum computers in order to exploit their theoretical preferences over today’s classical computers in practical applications. However, they are challenging to build a full-scale quantum computer because of their increased susceptibility to errors due to decoherence and other quantum noise. Therefore, quantum error correction (QEC) and fault-tolerance protocol will be essential for running quantum algorithms on large-scale quantum computers.
The overall effect of noise is modeled in terms of a set of Pauli operators and the identity acting on the physical qubits (bit flip, phase flip and a combination of bit and phase flips). In addition to Pauli errors, there is another error named leakage errors that occur when a qubit leaves the defined computational subspace. As the location of leakage errors is unknown, these can damage even more the quantum computations. Thus, this talk will briefly provide quantum error models.
Cruise Control: Effortless management of Kafka clustersPrateek Maheshwari
Kafka has become the de facto standard for streaming data with high-throughput, low-latency, and fault-tolerance. However, its rising adoption raises new challenges. In particular, the growing cluster sizes, increasing volume and diversity of user traffic, and aging network and server components induce an overhead in managing the system. This overhead makes it infeasible for human operators to constantly monitor, identify, and mitigate issues. The resulting utilization imbalance across brokers leads to unpredictable client performance due to the high variation in their throughput and latency. Finally, properly expanding, shrinking, or upgrading clusters also incurs a management overhead. Hence, adopting a principled approach to manage Kafka clusters is integral to the sustainability of the infrastructure.
This talk will describe how LinkedIn alleviates the management overhead of large-scale Kafka clusters using Cruise Control. To this end, first, we will discuss the reactive and proactive techniques that Cruise Control uses to support admin operations for cluster maintenance, enable anomaly detection with self-healing, and provide real-time monitoring for Kafka clusters. Next, we will examine how Cruise Control performs in production. Finally, we will conclude with questions and further discussion.
Orchestrating Automated Tests in Different Systems - Please Download to watch...Kelvin Silva
This talk was presented in DevOpsDays Sao Paulo (June/2018) and in Daitan DevWeek (July/2018).
What should you do if your product must be tested on multiple operating systems before delivering? And what if it must be tested on different browsers? Now it is a lot of combinations. And how to do this in an agile way?
Here is a talk about how we can orchestrate automated tests on different systems, on different browsers. Assuring the coverage on all operating systems and browsers supported by a product is one of the toughest tasks commonly faced when transitioning to a DevOps setup.
Due to the high quantity of environment combinations, the complexity of organizing and executing tests increases and can lead to an ineffective pipeline. In this talk, we will evaluate an automated orchestration of complex test suites that delivers the effectiveness needed for proper DevOps.
A brief introduction to Process synchronization in Operating Systems with classical examples and solutions using semaphores. A good starting tutorial for beginners.
As your service footprint grows, adding traffic control capabilities beyond stock solutions like kube-proxy becomes critical. Envoy provides fine grained routing control, load shedding, and metrics that help you scale your environment smoothly. We'll walk through several traffic control strategies using Envoy.
The Art of the Pitch: WordPress Relationships and SalesLaura Byrne
Clients don’t know what they don’t know. What web solutions are right for them? How does WordPress come into the picture? How do you make sure you understand scope and timeline? What do you do if sometime changes?
All these questions and more will be explored as we talk about matching clients’ needs with what your agency offers without pulling teeth or pulling your hair out. Practical tips, and strategies for successful relationship building that leads to closing the deal.
JMeter webinar - integration with InfluxDB and GrafanaRTTS
Watch this recorded webinar about real-time monitoring of application performance. See how to integrate Apache JMeter, the open-source leader in performance testing, with InfluxDB, the open-source time-series database, and Grafana, the open-source analytics and visualization application.
In this webinar, we will review the benefits of leveraging InfluxDB and Grafana when executing load tests and demonstrate how these tools are used to visualize performance metrics.
Length: 30 minutes
Session Overview
-------------------------------------------
During this webinar, we will cover the following topics while demonstrating the integrations of JMeter, InfluxDB and Grafana:
- What out-of-the-box solutions are available for real-time monitoring JMeter tests?
- What are the benefits of integrating InfluxDB and Grafana into the load testing stack?
- Which features are provided by Grafana?
- Demonstration of InfluxDB and Grafana using a practice web application
To view the webinar recording, go to:
https://www.rttsweb.com/jmeter-integration-webinar
DevOps and Testing slides at DASA ConnectKari Kakkonen
My and Rik Marselis slides at 30.5.2024 DASA Connect conference. We discuss about what is testing, then what is agile testing and finally what is Testing in DevOps. Finally we had lovely workshop with the participants trying to find out different ways to think about quality and testing in different parts of the DevOps infinity loop.
Smart TV Buyer Insights Survey 2024 by 91mobiles.pdf91mobiles
91mobiles recently conducted a Smart TV Buyer Insights Survey in which we asked over 3,000 respondents about the TV they own, aspects they look at on a new TV, and their TV buying preferences.
Accelerate your Kubernetes clusters with Varnish CachingThijs Feryn
A presentation about the usage and availability of Varnish on Kubernetes. This talk explores the capabilities of Varnish caching and shows how to use the Varnish Helm chart to deploy it to Kubernetes.
This presentation was delivered at K8SUG Singapore. See https://feryn.eu/presentations/accelerate-your-kubernetes-clusters-with-varnish-caching-k8sug-singapore-28-2024 for more details.
Generating a custom Ruby SDK for your web service or Rails API using Smithyg2nightmarescribd
Have you ever wanted a Ruby client API to communicate with your web service? Smithy is a protocol-agnostic language for defining services and SDKs. Smithy Ruby is an implementation of Smithy that generates a Ruby SDK using a Smithy model. In this talk, we will explore Smithy and Smithy Ruby to learn how to generate custom feature-rich SDKs that can communicate with any web service, such as a Rails JSON API.
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...Ramesh Iyer
In today's fast-changing business world, Companies that adapt and embrace new ideas often need help to keep up with the competition. However, fostering a culture of innovation takes much work. It takes vision, leadership and willingness to take risks in the right proportion. Sachin Dev Duggal, co-founder of Builder.ai, has perfected the art of this balance, creating a company culture where creativity and growth are nurtured at each stage.
Software Delivery At the Speed of AI: Inflectra Invests In AI-Powered QualityInflectra
In this insightful webinar, Inflectra explores how artificial intelligence (AI) is transforming software development and testing. Discover how AI-powered tools are revolutionizing every stage of the software development lifecycle (SDLC), from design and prototyping to testing, deployment, and monitoring.
Learn about:
• The Future of Testing: How AI is shifting testing towards verification, analysis, and higher-level skills, while reducing repetitive tasks.
• Test Automation: How AI-powered test case generation, optimization, and self-healing tests are making testing more efficient and effective.
• Visual Testing: Explore the emerging capabilities of AI in visual testing and how it's set to revolutionize UI verification.
• Inflectra's AI Solutions: See demonstrations of Inflectra's cutting-edge AI tools like the ChatGPT plugin and Azure Open AI platform, designed to streamline your testing process.
Whether you're a developer, tester, or QA professional, this webinar will give you valuable insights into how AI is shaping the future of software delivery.
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Albert Hoitingh
In this session I delve into the encryption technology used in Microsoft 365 and Microsoft Purview. Including the concepts of Customer Key and Double Key Encryption.
State of ICS and IoT Cyber Threat Landscape Report 2024 previewPrayukth K V
The IoT and OT threat landscape report has been prepared by the Threat Research Team at Sectrio using data from Sectrio, cyber threat intelligence farming facilities spread across over 85 cities around the world. In addition, Sectrio also runs AI-based advanced threat and payload engagement facilities that serve as sinks to attract and engage sophisticated threat actors, and newer malware including new variants and latent threats that are at an earlier stage of development.
The latest edition of the OT/ICS and IoT security Threat Landscape Report 2024 also covers:
State of global ICS asset and network exposure
Sectoral targets and attacks as well as the cost of ransom
Global APT activity, AI usage, actor and tactic profiles, and implications
Rise in volumes of AI-powered cyberattacks
Major cyber events in 2024
Malware and malicious payload trends
Cyberattack types and targets
Vulnerability exploit attempts on CVEs
Attacks on counties – USA
Expansion of bot farms – how, where, and why
In-depth analysis of the cyber threat landscape across North America, South America, Europe, APAC, and the Middle East
Why are attacks on smart factories rising?
Cyber risk predictions
Axis of attacks – Europe
Systemic attacks in the Middle East
Download the full report from here:
https://sectrio.com/resources/ot-threat-landscape-reports/sectrio-releases-ot-ics-and-iot-security-threat-landscape-report-2024/
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
7. Distributed Client-Server Problem
Randomized protocol (one round)
• Each client sends a request to a server selected randomly uniformly and
independently.
• Each server which receives one or more requests, accepts only one
request and finishes the corresponding job.
• Each client, whose job is finished, leaves the system.
• The remaining clients repeat the same procedure in next round.
Question: what is the expected number of rounds to finish all jobs?
7
16. Round 1
1
Distributed Client-Server problem
Randomized protocol
2
3
Is there any relation between
no. of empty bins and
no. of balls leaving the system in round 1 ?
16
18. Distributed Client-Server problem
Randomized protocol
Round
0
No. of balls in the system
Fraction of balls in the system
1
1
2
This table gives the intuition for the expected no. of rounds but it directly does
not help us to calculate the expected no. of rounds ? It also does not directly
help to get a high prob. Bound. Convince yourself before proceeding further.
18
21. An important insight that we missed
Question: What is the cause of multiple rounds for a ball ?
Answer: presence of other competing balls
INSIGHT
As the algorithm proceeds:
• The number of these competing balls reduce
• but the number of bins remain unchanged
Chances of a ball to leave the system increases as the algorithm proceeds.
21