1,724,593 research outputs found
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis
No full textThis paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from previous work, so that better abstractions can be obtained. The paper describes the algorithm, adapted from known bisimulation equivalence algorithms, for the improved abstraction method. The algorithm has been implemented in the DES software tool Supremica and has been used to compute modular supervisors for several large benchmark examples. It successfully computes modular supervisors for systems with more than 1012 reachable states
The Poetry Anthology Ar-Robi fii qalbi by Sofi Ghoniyah: A Sociology of Author Perspective
Full text linkThis study aims to determine the sociology of the author in the poetry anthology Ar-Robi fii Qalbi by Sofi Ghoniyah based on the perspective of Rene Wellek and Austin Warren. This research focuses on four aspects, namely (1) the social background of the author in the anthology of poetry Ar-Robi fii Qalbi by Sofi Ghoniyah based on the perspective of Rene Wellek and Austin Warren; (2) the author\u27s social integration in the poetry anthology Ar-Robi fii Qalbi by Sofi Ghoniyah based on the perspective of Rene Wellek and Austin Warren; (3) author\u27s economic sources in the poetry anthology Ar-Robi fii Qalbi by Sofi Ghoniyah based on the perspective of Rene Wellek and Austin Warren; (4) professionalism in the authorship of Sofi Ghoniyah\u27s anthology of poetry Ar-Robi fii Qalbi based on the perspective of Rene Wellek and Austin Warren. This type of research is qualitative research. The data source of this research uses an anthology of poetry entitled "Ar-robi fii qalbi" by Sofi Ghoniyah. While the secondary data sources of this research were obtained from reading books or journals discussing the sociological theory of the authors Rene Wellek and Austin Warren. Data collection techniques in this study used interview techniques and note-taking techniques. The data validation technique used in this study is to increase persistence, triangulate data, and discuss with colleagues and experts. Meanwhile, for the data analysis technique, this research uses the Miles and Huberman method, namely data reduction, data presentation, and drawing conclusions. The researchers produced several data, namely (1) the author of the poetry anthology Ar-Robi fii qalbi is an educated author and has close interactions with her environment. (2) The author of the poetry anthology Ar-Robi fii qalbi has a high degree of integration. He mingles with the general public. (3) The main economic source of the author in Ar-Robi\u27s poetry anthology is not through her work but in her educational activities. As a teacher, her work is often used as learning material for her students. (4) The author of the poetry anthology Ar-Robi fii qalbi has high professionalism in the authorship of her work
The Corporate Social Responsibilities of Robi Axiata Ltd.
No full textInternship reportThe report deals with the Corporate Social Responsibilities-CSRs of Robi Axiata
Ltd. The report includes the brief discussion of CSR activities and exemplifies in
detailed by the CSRs of Robi. Robi Axiata Limited is the 2nd largest mobile network operator in Bangladesh.
With its 44.225Mn it is leading towards success. The company is the subsidiary of
the Asian telecom giant Axiata Group Berhad, based in Malaysia. Another
subsidiaries are Bharti Airtel International (Singapore) Pte Ltd. and NTT DOCOMO
Lnc. The company initiated its business in 1997 as Telecom Malaysia International &
adopted the brand name Aktel. The company rebranded itself as Robi Axiata Ltd.
in 2010 & took new initiatives to strengthen its name with new vigor in the
Bangladeshi Market.
Robi has taken some revolutionary steps as CSRs in Bangladesh and gained
popularity all over the world. Among them Gori Nijer Bhobisshot, Robir Alo, Robi
10 Minute School, Internet4U gained popularity. The success stories are covered
in detail in the report. At the bottom of the report covers the effectiveness and
contribution of these initiatives in Bangladeshi Socio-economic system.Not applicabl
Social Media Communication: Social Media Concept and Recommendation for Robi AG
No full textThe well renowned dog waste disposal systems' company Robi AG does not have any active social media presence at present. However, as the importance of social media marketing is increasing, Robi AG is as well planning to include this into its current promotional strategies. Thereby it seeks to attract new customers, increase its brand awareness and to position itself as a leading company in the industry. The company operates on a B2B level, in which its main customers are communes. Therefore it aims to know the various social media platforms that are appropriate for its presence, the difference types of activities to be conducted on each of these platforms, the expenditures of these activities and finally the benefits and challenges associated with including social media into its current business
The poetry anthology Ar-Robi fii qalbi by Sofi Ghoniyah: a sociology of author perspective (sertifikat hak cipta)
Full text linkThis research focuses on four aspects, namely (1) the social background of the author in the anthology of poetry Ar-Robi fii Qalbi by Sofi Ghoniyah based on the perspective of Rene Wellek and Austin Warren; (2) the author's social integration in the poetry anthology Ar-Robi fii Qalbi by Sofi Ghoniyah based on the perspective of Rene Wellek and Austin Warren; (3) author's economic sources in the poetry anthology Ar-Robi fii Qalbi by Sofi Ghoniyah based on the perspective of Rene Wellek and Austin Warren; (4) professionalism in the authorship of Sofi Ghoniyah's anthology of poetry Ar-Robi fii Qalbi based on the perspective of Rene Wellek and Austin Warren.This type of research is qualitative research. The data source of this research uses an anthology of poetry entitled "Ar-robi fii qalbi" by Sofi Ghoniyah.While the secondary data sources of this research were obtained from reading books or journalsdiscussing the sociological theory of the authors Rene Wellek and Austin Warren. Data collection techniques in this study used interview techniques and note-taking techniques. The data validation technique used in this study is to increase persistence, triangulate data, and discuss with colleagues and experts. Meanwhile, for the data analysis technique, this research uses the Miles and Huberman method, namely data reduction,data presentation, and drawing conclusions.The researchers produced several data,namely (1) the author of the poetry anthology Ar-Robi fii qalbi is an educated author and has close interactions with herenvironment. (2) The author of the poetry anthology Ar-Robi fii qalbi has a high degree of integration. He mingles with the general public. (3) The main economic source of the author in Ar-Robi's poetry anthology is not through herwork but in her educational activities. As a teacher, herwork is often used as learning material for her students. (4) The author of the poetry anthology Ar-Robi fii qalbi has high professionalism in the authorship of her work
The poetry anthology Ar-Robi fii qalbi by Sofi Ghoniyah: a sociology of author perspective (sertifikat hak cipta)
Full text linkThis research focuses on four aspects, namely (1) the social background of the author in the anthology of poetry Ar-Robi fii Qalbi by Sofi Ghoniyah based on the perspective of Rene Wellek and Austin Warren; (2) the author's social integration in the poetry anthology Ar-Robi fii Qalbi by Sofi Ghoniyah based on the perspective of Rene Wellek and Austin Warren; (3) author's economic sources in the poetry anthology Ar-Robi fii Qalbi by Sofi Ghoniyah based on the perspective of Rene Wellek and Austin Warren; (4) professionalism in the authorship of Sofi Ghoniyah's anthology of poetry Ar-Robi fii Qalbi based on the perspective of Rene Wellek and Austin Warren.This type of research is qualitative research. The data source of this research uses an anthology of poetry entitled "Ar-robi fii qalbi" by Sofi Ghoniyah.While the secondary data sources of this research were obtained from reading books or journalsdiscussing the sociological theory of the authors Rene Wellek and Austin Warren. Data collection techniques in this study used interview techniques and note-taking techniques. The data validation technique used in this study is to increase persistence, triangulate data, and discuss with colleagues and experts. Meanwhile, for the data analysis technique, this research uses the Miles and Huberman method, namely data reduction,data presentation, and drawing conclusions.The researchers produced several data,namely (1) the author of the poetry anthology Ar-Robi fii qalbi is an educated author and has close interactions with herenvironment. (2) The author of the poetry anthology Ar-Robi fii qalbi has a high degree of integration. He mingles with the general public. (3) The main economic source of the author in Ar-Robi's poetry anthology is not through herwork but in her educational activities. As a teacher, herwork is often used as learning material for her students. (4) The author of the poetry anthology Ar-Robi fii qalbi has high professionalism in the authorship of her work
Vendor Management Practice of Robi Axiata Limited
No full textRobi Axiata Limited is the 2nd operating network in Bangladesh. Robi is trying to be the number one network in our country and Robi is competing with Grameenphone. Robi focuses on customer satisfaction. To gain customer satisfaction and proving the best service to its customers Robi’s Supply Chain Management is playing a vital role. This report has been geared up to understand how Robi Axiata Limited manages its vendors or business partners. The entire report is divided into a few chapters. In the first chapter, the report gives a brief introduction to the telecommunication sector of Bangladesh. The later chapter contains a company overview and its related information. The next chapter describes my job responsibilities and my insights. Another chapter will show in detail how the entire procurement process of Robi Axiata Limited functions. In the next part, the summarization of my key responsibilities is given. The next part discusses the major learning reflections. At the last part recommendation and implementation plans are given
An algorithm for compositional nonblocking verification of extended finite-state machines
No full textThis paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation are generalised and applied to EFSMs communicating via shared variables. This gives rise to an EFSM-based conflict check algorithm that composes EFSMs gradually and partially unfolds variables as needed. At each step, components are simplified using conflict-equivalence preserving abstraction. The algorithm has been implemented in the discrete event systems tool Supremica. The paper presents experimental results for the verification of two scalable manufacturing system models, and shows that the EFSM-based algorithm verifies some large models faster than previously used methods
Eriocaulon meenachilense Anoop & Robi 2021, sp. nov.
No full textEriocaulon meenachilense Anoop & Robi, sp. nov. Eriocaulon meenachilense resembles E. tuberiferum A.R.Kulk. & Desai in its root tubers, short, linear leaves and free female sepals. However, the new taxon differs in its solitary, 6-angled peduncle, short sheath, white inflorescences, inflexed involucral bracts, free male sepals, eglandular petals, yellow anthers and unappendaged yellow seeds. It also similar to Eriocaulon idukkianum Manudev, Robi & Nampy, another tuberous species from the Western Ghats that has linear leaves, white inflorescences, male flowers with free sepals and unappendaged seeds, but differs from that species in the absence of a root stock, its hairy, not glabrous root tubers, its solitary, 6-angled peduncle, and its glabrous receptacle, eglandular petals and yellow anthers and seeds . – Type: India, Kerala, Kottayam District, Meenachil, Illikkal Hills, c. 1000 m a.s.l., 7 x 2019, Anoop. P. B. & A. J. Robi 15934 (holotype MH!, isotype BAM!, MBGH!). Figures 1, 2. Acaulescent herb. Rootstock absent; root tubers 2 or 3, subglobose, 5–6 × 4–5 mm, villous, cream-coloured. Leaves rosulate, linear-subulate, stiff, 2.5–3.5 × 0.1–0.2 cm, glabrous, 3- or 4-nerved, nervules inconspicuous. Peduncle solitary, 12–20 cm high, 0.4–0.5 mm across, 6-angled, twisted, glabrous; sheaths 2–3 cm long, glabrous, striate; limb 1.5–2.5 mm long, incised. Inflorescence hemispherical, 5–6 × 4–5 mm, white. Receptacle convex, glabrous. Involucral bracts inflexed, obovate, acute at apex, 1.2–1.5 × 0.8–1 mm, black-hyaline, entire, chartaceous, glabrous. Floral bracts oblanceolate, acuminate, 1.2–1.5 × 0.6–0.8 mm, black, hoary towards apex. Staminate flowers: pedicels 0.1–0.2 mm long, glabrous; sepals 3, free, broadly oblanceolate, 1–1.2 × 0.3–0.4 mm, hyaline, hoary towards apex; corolla hyaline; stipe of corolla 0.8–1 mm long; lobes 3, subequal, obtuse and hoary towards apex, 0.3–0.4 × 0.1–0.2 mm, eglandular. Stamens 6, exserted; filaments 0.2–0.3 mm, white; anthers subglobose, 0.25 × 0.2 mm, yellow. Pistillate flowers: pedicels 0.1–0.2 mm; sepals 3, free, oblanceolate, 1.3–1.5 × 0.4–0.5 mm, keeled along back, obtuse and hoary towards apex, hyaline. Petals 3, almost equalling sepals, oblanceolate, obtuse and hoary towards apex, 1–1.2 × 0.2–0.3 mm, eglandular. Ovary subsessile, ovoid, trigonous, 0.3–0.4 × 0.2–0.3 mm; style 0.2–0.3 mm; stigmas 3, 0.8–1 mm long. Seeds obovoid-ellipsoid, 0.3–0.4 × 0.2–0.3 mm, golden yellow; cells of seed coat transversely elongated, aligned in vertical rows; appendages absent. Distribution. Eriocaulon meenachilense is known only from the type locality, the Illikkal Hills in the southern Western Ghats, India (Figure 3). Phenology. Flowering and fruiting from August to November. Etymology. The specific epithet refers to the type locality, Meenachil Taluk in Kottayam District, Kerala, India. Habitat and ecology. Wet rocky grasslands in association with Eriocaulon thwaitesii Körn., Exacum sessile L., Impatiens stolonifera Robi & Manudev, Phyllocephalum scabridum (DC.) K.Kirkman, Smithia bigemina Dalzell, etc. Conservation status. Eriocaulon meenachilense is endemic to the southern Western Ghats, India. The authors located 42 plants in four groups within an area of 200 m 2. More extensive field surveys are required to better understand the true extent of occurrence and area of occupancy of this species. According to IUCN criteria, the species falls under the category Data Deficient (IUCN, 2012; IUCN Standards and Petitions Subcommittee, 2019). Eriocaulon tuberiferum has so far been reported from the northern Western Ghats in Maharashtra State and southern Western Ghats in Kerala State (Sunil et al., 2018). The species is usually seen in the margins of puddles and open wet rocky slopes at 900–2100 m elevation. Eriocaulon idukkianum is confined to the southern Western Ghats in Kerala State and generally found at 2000–2300 m elevation in marshes near streams and rock crevices, in association with mosses. The major characters differentiating Eriocaulon meenachilense from the two other Indian tuberous species are listed in the Table.Published as part of Anoop, P. B. & Robi, A. J., 2021, Eriocaulon Meenachilense, A New Tuberous Species Of Eriocaulaceae From The Southern Western Ghats, India, pp. 1-8 in Edinburgh Journal of Botany 78 (336) on pages 2-5, DOI: 10.24823/EJB.2021.336, http://zenodo.org/record/459375
Israele e Palestina, la riconciliazione possibile
No full textRobi Damelin, sudafricana e israeliana, è la portavoce israeliana e membro del Parents Circle-Families Forum. Guardare all’umanità dell’altro, secondo Robi Damelin, è il percorso da compiere per chi ha vissuto l’esperienza della perdita di un congiunto nel conflitto. Nell’atto di comprendere c’è, paradossalmente, lo spazio per aprire un dialogo, tanto difficile quanto necessario. Questa è l'esperienza di Robi Damelin e del Parents Circle-Families Forum, l'associazione che raccoglie genitori e familiari israeliani e palestinesi delle vittime del conflitto. Robi Damelin è la portavoce dell'associazione. L'articolo è frutto di un dialogo di Robi Damelin con Claudia Mazzucato, che ne ha curato la redazione in lingua italiana
- …
