Adaptive Non-linear Pattern Matching Automata

Efficient pattern matching is fundamental for practical term rewrite engines. By preprocessing the given patterns into a finite deterministic automaton the matching patterns can be decided in a single traversal of the relevant parts of the input term. Most automaton-based techniques are restricted to linear patterns, where each variable occurs at most once, and require an additional post-processing step to check so-called variable consistency. However, we can show that interleaving the variable consistency and pattern matching phases can reduce the number of required steps to find all matches. Therefore, we take the existing adaptive pattern matching automata as introduced by Sekar et al and extend these with consistency checks. We prove that the resulting deterministic pattern matching automaton is correct, and show several examples where some reduction can be achieved.

LANGKAH-LANGKAH PENGEMBANGAN MEDIA PEMBELAJARAN MENUJU PENINGKATAN KUALITAS PEMBELAJARAN

This paper explained about the media development toward the improvement of learning quality. This is also contains conceptual information traced through books that are relevant to the literature study approach. The finding of this paper is there were a connection between learning media development to learning quality improvement. This paper is only traced the concept that can achieve the learning quality improvement. Based on that reason, this paper can still be continued by other researcher deeply in practical term.

Philological Analysis on Normative Historical Practical Term Rahmah in Qur’an

<p>The article philologically analyzes the term <em>rahmah</em><em> </em>through four data sources. First, al-Qur’an that often mentioned the term <em>rahmah</em><em> </em>563 times in 422 verses. Second, the book <em>Shahih Bukhari-Muslim</em> that sets forth the socialization of the term <em>rahmah</em> from insider perspective on the teachings and normative examples of Muhammad. Third, the book <em>Muhammad: His Life Based on the Earliest Sources</em>by Martin Lings and<em>The Venture of Islam </em>byMarshall Hodgson that summonses <em>rahmah</em><em> </em>socialization from outsider perspective through the life of prophet and muslim.Fourth, the book <em>Ihya’ ‘Ulum al-Din</em>by al-Ghazali and <em>Toward a Global Civilization of Love and Tolerance</em>by Fethullah Gulen that describes <em>rahmah</em> practice as a way of life for classic and contemporary sufi. By means of three stages philological analysis: Information-socialization-transformation, there are three claims of this article. Information phase, normative definition of term <em>rahmah</em> is a universal affection addressed to all creatures in universe. Socialization phase, normative definition of term <em>rahmah</em> socialized thru the teaching and normative examples of prophet, who assigns <em>rahmah</em> as an identity of muslim whether they are in minority status nor majority one. <em>Rahmah</em> practice socialization strengthened by the life of prophet and Muslim with affection domination rather than hatred. In transformation phase, <em>rahmah</em><em> </em>appeared asa classic and contemporary sufistic life style that actively spread affection to all creatures with no insight of girded exoteric status.</p><p> </p><p dir="RTL">يحلل المقال فلسفيًا مصطلح رحمة من خلال أربعة مصادر للبيانات. أولاً ، القرآن الذي غالبًا ما يذكر مصطلح "رحمه" 563 مرة في 422 آية. ثانياً ، كتاب الشاه البخاري المسلم الذي يحدد التنشئة الاجتماعية لمصطلح رحمة من منظور داخلي على تعاليم محمد وأمثلة معيارية. ثالثًا ، كتاب محمد: حياته استنادًا إلى المصادر الأولى ، مارتن لينغز ومشروع الإسلام بقلم مارشال هودجسون الذي يستدعي التنشئة الاجتماعية للرحمة من منظور خارجي عبر حياة النبي والمسلم. رابعًا ، كتاب "إحيا الدين العلوم الغزالي وإحلال حضارة عالمية من الحب والتسامح ، فتح الله غولن" الذي يصف ممارسة الرحمة بأنها أسلوب حياة للصوفية الكلاسيكية والمعاصرة. عن طريق ثلاث مراحل التحليل اللغوي: المعلومات التنشئة الاجتماعية ، التحول ، وهناك ثلاث مطالبات من هذه المقالة. مرحلة المعلومات ، التعريف المعياري لمصطلح رحمة هو عاطفة عالمية موجهة إلى جميع المخلوقات في الكون. مرحلة التنشئة الاجتماعية ، التعريف المعياري لمصطلح رحمة اجتماعيًا من خلال الأمثلة النبوية التعليمية والتدريسية ، التي تسمي الرحمة بهوية للمسلمين سواء كانوا في وضع الأقلية أو الأغلبية. رحمه ممارسة التنشئة الاجتماعية المعززة من قبل حياة النبي والمسلم مع المودة الهيمنة بدلا من الكراهية. في مرحلة التحول ، ظهرت رحمة على أنها نمط حياة صوفية كلاسيكي وعصري ينشر بنشاط المودة لجميع المخلوقات مع عدم وجود فكرة عن حالة غريبة غريبة.</p>

Tweeting in Disaster Area: An Analysis of Tweets during 2016 Mayor Floods in Indonesia

Social media allows people in the disaster area to communicate disaster information, to the people outside the disaster area, more quickly and accurately. Unfortunately, there are limited researches that examine the use of Twitter by people in the disaster sites. This study aims to explore the use of Twitter by users in the disaster-affected areas. We use the feature of twitter geolocation, to separate information from inside and outside the disaster site. This research gives depiction about communication behavior of people in the affected disaster area, through social media. The result showed that people in disaster location use twitter to give first-hand report, coordinate rescue effort, provide help and express grief. In addition, by focusing on the affected area, Twitter used by lay people is usually found rather than other users. From the segment of time, the researcher finds a number of tweets that will increase each day. Users will share more information the days after rather, than the day of disaster. In practical term, this research explores the used of social media by the victims of disaster, which can encourage effective communication to people or group outside the location; theoretically, this research gives more detail understanding about shared information from the people in the disaster place.