Results 31 to 40 of about 334,215 (267)
Topologie des métalangages dans les textes de sociologie
Signata, 2013 Sociological writings seem to spread metalanguages on the whole text, without any link of continuity and to offer very few space to explicitly metalinguistic sequences.
Jean-Yves Trépos
doaj +1 more source
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 +1 more source
Cascade: A Meta-language for Change, Cause and Effect
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023 Live programming brings code to life with immediate and continuous feedback. To enjoy its benefits, programmers need powerful languages and live programming environments for understanding the effects of code modifications on running programs. Unfortunately, the enabling technology that powers these languages, is missing.
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Leukemia is the most common childhood cancer in Mexico, and acute lymphoblastic leukemia (ALL) is the most frequent subtype. Exposure to high concentrations of benzene has been associated with ALL incidence, particularly in urban areas. This study evaluated the relationship between distance to benzene emission sources and the number
Orlando Rivera Zurita +5 more
wiley +1 more source
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 +1 more source
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
Tumor B‐cell infiltration in platinum‐treated advanced muscle‐invasive urothelial carcinoma
Molecular Oncology, EarlyView.Bladder tumors with higher pretreatment memory B‐cell infiltration were linked to longer survival after cisplatin chemotherapy, but not carboplatin. These tumors also showed more organized immune structures (tertiary lymphoid structures) and a shared pro‐inflammatory B‐cell‐rich community, suggesting that memory B cells may help identify patients most ...
Konrad Stawiski +10 more
wiley +1 more source