Results 41 to 50 of about 4,623,694 (286)
A Proof Dedicated Meta-Language
Electronic Notes in Theoretical Computer Science, 2002 We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local automations. Ltac is essentially a small functional core with recursors and powerful pattern-matching operators for Coq terms but also for proof contexts.
openaire +2 more sources
Software meta-language engineering and CBS [PDF]
Journal of Computer Languages, 2019 The SLE conference series is devoted to the engineering principles of software languages: their design, their implementation, and their evolution. This paper is about the role of language specification in SLE. A precise specification of a software language needs to be written in a formal meta-language, and it needs to co-evolve with the specified ...
openaire +4 more sources
The use of meta language in the humor
RumeliDE Dil ve Edebiyat Araştırmaları Dergisi, 2022 In the studies on humor, humor is generally regarded as an art form that reveals the funny side of life in different genres and styles. It can be said that the purpose of this activity is to make the recipient laugh and even criticize. While criticizing, the aim is also to eliminate the deficiencies, mistakes, and defects made in the communication and ...
openaire +2 more sources
, 2023 Se desarrollan las actividades formativas realizadas en la Dirección departamental para la gestión del riesgo de desastres de la Gobernación del Meta durante el periodo 2023-1, donde se aplicaron los conocimientos obtenidos en el proceso formativo de la ...
Castillo Borbón, Marialicia
core
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
InformationProviding students with effective learning resources is essential for improving educational outcomes—especially in complex and conceptually diverse fields such as Mathematics and Computer Science. To better understand how these subjects are communicated,
Elena Kramer +3 more
doaj +1 more source
Tidskrift för Litteraturvetenskap, 2014 The Mobility of Genres. The Dilemma of Genre Definition, a Semantic Perspective Fundamentally there are two major ways of defining a (literary) genre.
Eva Hættner Aurelius
doaj +1 more source
Ignoring non‐English‐language studies may bias ecological meta‐analyses
Ecology and Evolution, 2020 Meta‐analysis plays a crucial role in syntheses of quantitative evidence in ecology and biodiversity conservation. The reliability of estimates in meta‐analyses strongly depends on unbiased sampling of primary studies.
Ko Konno +6 more
doaj +1 more source
Informe de prácticas empresariales FENALCO seccional Meta y Llanos Orientales
, 2021 La seccional de Fenalco Meta cuenta con cinco áreas de trabajo, el área administrativa, el área de formación especializada, el área de coordinación de afiliados, el área de coordinación de eventos y, por último, el área comercial donde se encuentra el ...
Zamora Palomo, Andry Gimena
core
Molecular Oncology, EarlyView.High‐risk bladder cancer is typically treated with Bacillus Calmette‐Guérin (BCG), but 30–40% of patients relapse. No FDA‐ or CE‐approved biomarkers currently predict or prognosticate BCG failure. We systematically reviewed the literature and identified 72 eligible studies, revealing several promising biomarkers associated with BCG treatment response ...
Rui Ribeiro‐Pereira +7 more
wiley +1 more source