Results 1 to 10 of about 17,446 (256)
Assessment of Knowledge of the DCI Point System among Orthodontists associated with a Dental College to Develop a Colour-coded Guide of Orthodontics Journals [PDF]
Journal of Clinical and Diagnostic Research, 2023 Introduction: The credibility of the published scientific literature is dependent on various dynamic factors like the type of research, type of journal, journal indexing, impact factor which are subjected to constant changes.
Anoosha Manda +4 more
doaj +1 more source
Journal of eScience Librarianship, 2021 Objectives: Compare journal coverage of abstract and indexing tools commonly used within academic science and engineering research. Methods: Title lists of Compendex, Inspec, Reaxys, SciFinder, and Web of Science were provided by their respective ...
Joshua Borycz +2 more
doaj +1 more source
Novel multi‐domain attention for abstractive summarisation
CAAI Transactions on Intelligence Technology, 2023 The existing abstractive text summarisation models only consider the word sequence correlations between the source document and the reference summary, and the summary generated by models lacks the cover of the subject of source document due to models ...
Chunxia Qu +4 more
doaj +1 more source
Компютерні системи та інформаційні технології, 2022 The global spread and use of remote and online learning systems at various educational levels puts forward a number of requirements for existing systems and needs for expansion of functionality. The current problem in Ukraine is the unstable operation of
OLESIA BARKOVSKA
doaj +1 more source
Abstracting abstract machines [PDF]
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010 We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines. To demonstrate the technique and support our claim, we transform the CEK machine of Felleisen and Friedman, a lazy variant of Krivine's machine, and the stack-inspecting CM machine ...
David Van Horn, Matthew Might
openaire +2 more sources
Abstract clones for abstract syntax
CoRR, 2021 To appear in the proceedings of FSCD 2021; 16 ...
Nathanael Arkor, Dylan McDermott
openaire +4 more sources
First two years journey: Journal of Advanced Biotechnology and Experimental Therapeutics
Journal of Advanced Biotechnology and Experimental Therapeutics, 2020 is not mandatory for the editorial. [ J Adv Biotechnol Exp Ther 2020; 3(1.000): 56-58]
Md Saidur Rahman, Md. Ataur Rahman
doaj +1 more source
Systematic abstraction of abstract machines [PDF]
Journal of Functional Programming, 2012 Abstract We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines for higher-order and imperative programming languages.
David Van Horn, Matthew Might
openaire +3 more sources
Bulletin of Chemical Reaction Engineering & Catalysis, 2013 http://dx.doi.org/10.9767/bcrec.7.3.4547 ...
Istadi Istadi
doaj +3 more sources