600 research outputs found
Trigonometric approximation by Nörlund type means in -norm
Get PDFsummary:We show that the same degree of approximation as in the theorems proved by L. Leindler [Trigonometric approximation in -norm, J. Math. Anal. Appl. 302 (2005), 129--136] and P. Chandra [Trigonometric approximation of functions in -norm, J. Math. Anal. Appl. 275 (2002), 13--26] is valid for a more general class of lower triangular matrices. We also prove that these theorems are true under weakened assumptions
Sources persanes et sanscrites sur la théorie et l'histoire de la musique de l'Inde
No full textFull recording of a seminar held at the Department of music, Banaras Hindu University (Varanasi, India) on 25-27 March 1985. The aim of this seminar was to initiate a dialogue between two experts of Indian music history working from Sanskrit and Persian sources, resp. Dr. Prem Lata Sharma, the head of the Department of music in BHU, and Dr. Shahab Sarmadee, a fellow of the Department of history at Aligarh Muslim University. Born in 1914, the latter had been engaged by the International Society for Traditional Arts Research (ISTAR) on the first English translation of Faquirullah's Mankutuhal and Rag Darpan.La grabación completa de un seminario en el Departamento de Música, Banaras Hindu University (Benarés, India) los días 25-27 de marzo de 1985. El objetivo de este seminario fue iniciar un diálogo entre dos expertos de la historia de la música india de trabajo del sánscrito y persa fuentes, resp. el Dr. Prem Lata Sharma, jefe del Departamento de la música en el BHU y el Dr. Sarmadee Shahab, un compañero del Departamento de Historia en la Universidad Musulmana de Aligarh. Nacido en 1914, éste había sido contratado por la Sociedad Internacional para la International Society for Traditional Arts Research (ISTAR) en la primera traducción al Inglés de Mankutuhal y Rag Darpan de Faquirullah.Enregistrement intégral d'un séminaire au Département de musique, Banaras Hindu University (Bénarès, Inde) du 25 au 27 mars 1985. Le but de ce séminaire était d'initier un dialogue entre deux experts historiens de la musique indienne travaillant à partir de sources sanscrites et persanes : respectivement Dr. Prem Lata Sharma, directrice du Département de musique à BHU, et Dr. Shahab Sarmadee, associé au Département d'histoire d'Aligarh Muslim University. Ce dernier, né en 1914, a été engagé par l'International Society for Traditional Arts Research (ISTAR) pour éditer la première traduction en anglais du Mankutuhal et du Rag Darpan de Faquirullah
Modeling Thermal Emission Under Lunar Surface Environmental Conditions
No full textCodes and data required to reproduce results from Prem et al. (2022), Modeling Thermal Emission Under Lunar Surface Environmental Conditions, Planetary Science Journal (https://doi.org/10.3847/PSJ/ac7ced).
The file flowchart.pdf contains an overview of the workflow to model ambient and anisothermal thermal emission spectra using the codes contained in codes.zip. The file lab_spectra.xlsx contains the laboratory spectra used in the publication, together with citation information. Please feel free to contact lead author Dr. Parvathy Prem ([email protected]) with any questions
The Evolution of a Spacecraft-Generated Lunar Exosphere
No full textSimulated spacecraft trajectory parameters, and data required to reproduce Figures 1–5 from Prem et al. (2020), The Evolution of a Spacecraft-Generated Lunar Exosphere, J. Geophys. Res. (https://pubmed.ncbi.nlm.nih.gov/33959468).
The file spacecraft_trajectory.dat contains a descriptive header, and the simulated descent profile in Cartesian coordinates. The .dat ASCII files contain the data shown in Figures 1–5, and the .lay files are Tecplot Focus layouts that were used to visualize the data. Please feel free to contact lead author Dr. Parvathy Prem ([email protected]) with any questions
TypeWriter: Neural Type Prediction with Search-Based Validation
No full textMaintaining large code bases written in dynamically typed languages, such as JavaScript or Python, can be challenging due to the absence of type annotations: simple data compatibility errors proliferate, IDE support is limited, and APIs are hard to comprehend. Recent work attempts to address those issues through either static type inference or probabilistic type prediction. Unfortunately, static type inference for dynamic languages is inherently limited, while probabilistic approaches suffer from imprecision. This paper presents TypeWriter, the first combination of probabilistic type prediction with search-based refinement of predicted types. TypeWriter’s predictor learns to infer the return and argument types for functions from partially annotated code bases by combining the natural language properties of code with programming language-level information. To validate predicted types, TypeWriter invokes a gradual type checker with different combinations of the predicted types, while navigating the space of possible type combinations in a feedback-directed manner. We implement the TypeWriter approach for Python and evaluate it on two code corpora: a multi-million line code base at Facebook and a collection of 1,137 popular open-source projects. We show that TypeWriter’s type predictor achieves an F1 score of 0.64 (0.79) in the top-1 (top-5) predictions for return types, and 0.57 (0.80) for argument types, which clearly outperforms prior type prediction models. By combining predictions with search-based validation, TypeWriter can fully annotate between 14% to 44% of the files in a randomly selected corpus, while ensuring type correctness. A comparison with a static type inference tool shows that TypeWriter adds many more non-trivial types. TypeWriter currently suggests types to developers at Facebook and several thousands of types have already been accepted with minimal changes.Software Engineerin
Moving toward <i>prem Nagar</i>: An Intimate Genealogy of the “City of Love” And the Lyrical Worlds of Hindustani Film Songs
No full textBy charting a genealogy of prem nagar in this article, from its literary antecedents through its cinematic iterations, the author shows that the referent for prem nagar in film songs is derived from a generalized experience of transit to and within the modern-industrial city on the one hand, and from the anticipations of romantic love in urban spaces, on the other; and, that the experience of popular cinema becomes inextricable from both. In other words, as Hindustani film songs incorporated the premodern, pastoral literary trope of prem nagar, this trope—the city of love—became reconfigured as an epithet for the romantic pleasure spaces of motion pictures and the milieu of urban life in which cinema was embedded. Those in search of the contemporary city of love (and the author will show that the prem nagar enters cinema as an ephemeral, miragelike destination for seekers who remain in perpetual transit) emerge as a collective of cinephiles, who are willfully entranced by the repetitious, rapturous songs—the seductive pleasures and utopian dreams—of Hindi popular cinema.</jats:p
Analisis terhadap pembatalan merek serba cantik antara kishin L. Awandi dengan Prem L. Bharwani (putusan pengadilan niaga Nomor 53/Merek/ 2008/PN.Niaga.JKT.PST)
No full textA. Nama (NIM) : Hendry Chandra (205060157) B. Judul Skripsi :?Analisis Terhadap Pembatalan Merek Serba Cantik Antara Kishin L. Awandi dengan Prem L. Bharwani (Putusan Pengadilan Niaga Nomor: 53/ MEREK/2008/PN.NIAGA.JKT.PST.)?. C. Halaman : viii + halaman D. Kata Kunci : Pembatalan Merek ; Ditjen HKI E. Isi : Seiring dengan terjadi perkembangan dan globalisasi perdagangan, maka mengakibatkan semakin banyaknya dipoduksi barang dan jasa yang didistribusikan lintas Negara. Ragam barang dan jasa tersebut salah satunya adalah di bidang HKI. Dengan adanya peraturan perundang-undangan di bidang merek yaitu Undang-Undang Nomor 15 tahun 2001 memberikan perlindungan bagi merek yang terdaftar. Dalam kasus ini, Merek Serba Cantik yang telah didaftarkan 4 mei 2005 untuk kelas 24 dan kelas 35 oleh Prem L. Bharwani walaupun telah dilakukan pemeriksaan ulang karena Kishin telah mengajukan keberatan Direktorat Jenderal tetap menerbitkan sertifikat, maka Kishin L. Awandi mengajukan gugatan pembatalan merek di Pengadilan Niaga Jakarta Pusat. Putusan majelis hakim mengabulkan gugatan Kishin. Mengapa terjadi pembatalan merek Serba Cantik? Penulis meneliti masalah tersebut menggunakan Metode Penelitian Hukum normatif dan didukung melalui narasumber dengan data wawancara. Putusan majelis hakim telah sesuai, Prem yang mendaftarkan merek Serba Cantik dengan itikad tidak baik karena Kishin telah memakai merek tersebut sejak tahun 1990 dan seharusnya mengetahui merek tersebut di pakai oleh Kishin dan merek Serba Antik bukan merek terkenal. Ditjen HKI pun telah sesuai dengan menerima pendaftaran merek Serba Cantik karena lembaga Ditjen HKI yang administratif. Seharusnya dilakukan penelitian mendalam mengenai itikad baik pendaftar merek tersebut dengam memperluas kewenangan Ditjen HKI. F. Daftar Acuan : 31 (1980-2010) G. Pembimbing : FX. Suyud Margono S.H., M.Hum. H. Penulis : Hendry Chandr
Discourses shaping the language-in-education policy and foreign language education in Nepal: An intersectional perspective
No full textLanguage policy and planning in Nepal has been contested due to the co-existence of multiple contradictory discourses concerning teaching and learning of local, national, foreign, and international languages. Recently a multilingual policy was issued to create space for the once-banned ethnic/indigenous languages in public schooling, further complexifying the landscape. A few studies have paid attention to teaching and learning of the lesser taught ethnic/indigenous and foreign languages; however, what discursive orientations have contributed towards enabling (or constraining) the use of such languages in education and how have yet to receive scholarly attention. Framed by the perspectives of the intersectionality of discourses, and drawing on in-depth interviews with policymakers, headteachers, teachers, students, and their parents of five schools of Nepal, this paper concludes that the interplay between broader discourses such as globalisation, neoliberal marketisation and nationalism has played a significant role in shaping language policy decisions and localised practice of language(s). It also reveals that the spaces for ethnic/indigenous languages in education are delimited, in preference of English, Nepali, and other emerging foreign languages, leading to their further marginalisation. Such trends diminish the potential use of lesser taught languages, threatening Nepal’s multilingual education policy towards sustaining existing linguistic diversity. Copyright © 2021 The Author(s)
- …
