Results 41 to 50 of about 629,332 (223)
An experimental evaluation and possible extensions of SyPet [PDF]
, 2017 Program synthesis is an automated programming technique that automatically constructs a program which satisfies given specifications. SyPet is a recently published novel component-based synthesis tool that assembles a straight-line Java method body that ...
Yang, Zijiang, active 21st century
core +1 more source
Equine Veterinary Journal, EarlyView.Abstract Background Strangles (Streptococcus equi infection) remains endemic in the UK, with ~300 laboratory diagnoses annually. Sub‐clinically infected long‐term carriers are considered a key driver of endemicity. Analysing genomes of circulating strains could provide valuable transmission insights of this pathogen.
Abigail A. McGlennon +8 more
wiley +1 more source
Recial, 2010 En este trabajo Nancy Calomarde ha tomado como objeto de análisis ese diálogo fragmentario, muchas veces dificultoso, sesgado, ese diálogo que ella llama oblicuo entre dos revistas literarias latinoamericanas con un enorme peso simbólico: la cubana ...
Claudio Díaz
doaj
Revista Ingeniería Electrónica, Automática y Comunicaciones, 2011 La detección y la medición de las radiaciones nucleares se han convertido en un importantísimo renglón en la aplicación de los detectores nucleares y específicamente los Geiger-Muller.
Bárbara Fuentes González +6 more
doaj +1 more source
Trends in use of the new MeSH term “overdiagnosis”: A bibliometric review
Health Information &Libraries Journal, EarlyView.Abstract Objectives Although the concept of overdiagnosis was first referenced in MEDLINE 100 years ago, consensus on a clear definition has been lacking. In 2021, the MeSH term “Overdiagnosis” was officially introduced, which defined the concept. A key goal of the new term is to improve the reliability of literature searches and enhance the conceptual
Emma Grundtvig Gram +3 more
wiley +1 more source
IEEE Access, 2018 Cloud-based electronic health record (EHR) systems enable medical documents to be exchanged between medical institutions; this is expected to contribute to improvements in various medical services in the future.
Kwangsoo Seol +4 more
doaj +1 more source
Automated verification of termination certificates [PDF]
, 2012 In order to increase user confidence, many automated theorem provers provide certificates that can be independently verified. In this paper, we report on our progress in developing a standalone tool for checking the correctness of certificates for the ...
Blanqui, Frédéric, Ly, Kim Quyen
core +2 more sources
BlogForever: D3.1 Preservation Strategy Report [PDF]
, 2013 This report describes preservation planning approaches and strategies recommended by the BlogForever project as a core component of a weblog repository design.
Arango-Docio, Silvia +9 more
core +1 more source
Conversational Humor in Intercultural Communication
International Journal of Applied Linguistics, EarlyView.ABSTRACT This study identifies failed attempts at conversational humor that were either not appreciated or resulted in impoliteness as produced by English as a lingua franca (ELF) users from the Southeast Asian countries of Thailand, Indonesia, and Myanmar who were engaging in intercultural communication.
Zhaoyi Pan
wiley +1 more source
Cantigas de roda: o resgate popular na formação sócio-cultural do aluno
PRACS: Revista Eletrônica de Humanidades do Curso de Ciências Sociais da UNIFAP, 2010 Benedita do Socorro Matos Santos +1 more
doaj