Search from the Journals, Articles, and Headings
Advanced Search (Beta)
Loading...
Loading...
Loading...
Loading...
Loading...
Loading...

ایمان سے وہ شخص تو ایماں کی طرح ہے

ایمان سے وہ شخص تو ایماں کی طرح ہے
وہ دشمن جاں مجھ کو مری جاں کی طرح ہے

ہر دن ہے تری صورتِ پُرنور کی صورت
ہر رات تری زلفِ پریشاں کی طرح ہے

عزت میں بہت کرتا ہوں ہر ایک ہی ماں کی
ہر ماں مجھے لگتا ہے مری ماں کی طرح ہے

اک تیری جھلک باعثِ تسکینِ دل و جاں
دیدار ترا درد کے درماں کی طرح ہے

ساون کی طرح میری ہے آنکھوں کا برسنا
اور جلنا مرے دل کا، چراغاں کی طرح ہے

ہر شب ہے مری رنج کی روداد کے جیسی
ہر روز مرا درد کے عنواں کی طرح ہے

جس دن سے مرے دیس کو تم چھوڑ گئے ہو
اُس دن سے مرا دیس بیاباں کی طرح ہے

دستورِ زباں بندی یہاں جب سے ہے نافذ
یہ شہر مرا شہرِ خموشاں کی طرح ہے

ہے وصل ترا گلشن و گلزار کی مانند
اور ہجر ترا خارِ مغیلاں کی طرح ہے

اے قیس! ترا چاکِ گریبان جو دیکھا
یہ چاک مرے چاکِ گریباں کی طرح ہے

ہر صبح، مری صبحِ قفس جیسی ہے تائبؔ
ہر شام مری شامِ غریباں کی طرح ہے

Perception of Foreign Tourists to Karawo Embroidery Handicrafts in Gorontalo Tourist Destinations

The purpose of this study was focused on knowing the perceptions of tourists, both foreign tourists, about the craft of Karawo embroidery in Gorontalo Tourism Destinations. This research method using a quantitative approach itself is carried out using a questionnaire given to the public and tourists who visit the Karawo embroidery craft center. The sampling technique in this study used a non-probability or non-random sample selection technique. The results showed that the quantitative approach itself was carried out using a questionnaire given to the public and tourists who visited the Karawo embroidery craft center. The sampling technique in this study used a non-probability or non-random sample selection technique. The results of this study indicate that the Karawo embroidery craft has the potential to be developed as a tourist attraction in Gorontalo Province. Analysis of the attractiveness and perceptions of tourists who visit the Karawo embroidery craft center as well as the local community provide direction on the development of tourist attractions that are related to cultural aspects. The perception of foreign tourists in general gives a positive value to Karawo embroidery and argues that Karawo embroidery is unique from the manufacturing process and has its own characteristics with very beautiful motif designs.

Hardware Intrusion Detection Using Run-Time Parametric Analysis

The advancements in electronic systems and technology miniaturization have revolutionized the world in the last couple of decades. The higher complex ity of modern designs, economic constraints, and unprecedented pressure of time-to-market dictate the rationale of Integrated Circuit (IC) manufacturing from the third-party fabrication facilities. This rising trend of globalization in circuit design using nanoscale process technologies has increased their vulner ability against malicious intrusions and modifications. Such modifications, also referred as Hardware Trojans (HTs), can lead to highly detrimental con sequences like causing a circuit to subvert normal operation, leak sensitive information or inducing Denial of Service (DoS). These emerging issues are imposing formidable threats to security-critical applications particularly in the domains of military, communications, and Internet of Things (IoT). The conventional side channel analysis-based HT detection techniques mostly rely on simulations, which are typically exhaustive and computationally intensive. Moreover, it takes substantial resources and time for all-encompassing veri fication and analysis of the circuits. In this thesis, we apply the strengths of formal verification to complement simulation-based HT detection techniques by detailed behavioral analysis of circuits at the early stage of design. Formal methods are conclusive and well-established techniques which are used for description of complex sys vi vii tems in the form of mathematical models, and then use those models for rigorous analysis. In particular, we present a model checking-based formal framework that is broadly used to: (i) mathematically model an individual circuit for its functional and behavioral verification; (ii) analyze and quan tify vulnerability of a region in circuit against different types of HTs using multiple side-channel parameters; and (iii) identification of secure bounds for circuit operations in terms of its side-channel parameters. The outcome of the formal framework is used to design side channel-based sensor that comprehends the behavior of the circuit using a machine learning technique while incorporating the impacts of random process variations. The proposed framework serves to achieve the primary thesis goal of implanting intelligent sensor leveraging rigorous a-priori assessment of IC characteristics. The im plemented sensor can be subsequently used for post deployment identification of the HT-infected IC. To illustrate the practical effectiveness of the proposed infrastructure, we present the detailed analysis of multiple benchmark circuits. The formal framework and automated analysis technique, formulated during this thesis, proved effective in examining the impacts of malicious intrusions on multi ple side-channel parameters. Moreover, it provides flexibility in identifying the appropriate sensing units to incorporate security in the circuits while minimizing additional hardware.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.