Results 51 to 60 of about 2,393,512 (361)

On Formal Specification of Maple Programs [PDF]

, 2012
This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal of this work is to define
Khan, Muhammad Taimoor, Schreiner, Wolfgang   +1 more
core   +1 more source

Cross-language variation in the acceptability of vowelless nonwords

Frontiers in Communication
This study examines the acceptability of voweled and vowelless nonwords produced by a native speaker of Tashlhiyt (a Moroccan Amazigh language) across listeners from five different language groups: L1 Tashlhiyt, L1 Tarifit, L1 Moroccan Arabic, L1 English,
Georgia Zellou, Mohamed Afkir, Mohamed Lahrouchi, Karim Bensoukas   +3 more
doaj   +1 more source

Declarative Specification [PDF]

, 1996
Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods.
David Robertson, Fuchs, Fuchs, Kowalski, Kramer, Luqi, Norbert E. Fuchs, Robertson, Robertson, Robertson, Schwitter, Sterling   +11 more
core   +1 more source

Comparing self‐reported race and genetic ancestry for identifying potential differentially methylated sites in endometrial cancer: insights from African ancestry proportions using machine learning models

Molecular Oncology, EarlyView.
Integrating ancestry, differential methylation analysis, and machine learning, we identified robust epigenetic signature genes (ESGs) and Core‐ESGs in Black and White women with endometrial cancer. Core‐ESGs (namely APOBEC1 and PLEKHG5) methylation levels were significantly associated with survival, with tumors from high African ancestry (THA) showing ...
Huma Asif, J. Julie Kim
wiley   +1 more source

Formalization and Validation of Safety-Critical Requirements [PDF]

, 2010
The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for ...
Alessandro Cimatti, Angelo Susi, Manuela Bujorianu, Marco Roveri, Michael Fisher, Stefano Tonetta   +5 more
core   +2 more sources

Circulating tumor DNA monitoring and blood tumor mutational burden in patients with metastatic solid tumors treated with atezolizumab

Molecular Oncology, EarlyView.
In patients treated with atezolizumab as a part of the MyPathway (NCT02091141) trial, pre‐treatment ctDNA tumor fraction at high levels was associated with poor outcomes (radiographic response, progression‐free survival, and overall survival) but better sensitivity for blood tumor mutational burden (bTMB).
Charles Swanton, Russell W. Madison, Candice Francheska B. Tambaoan, Funda Meric‐Bernstam, Christopher J. Sweeney, Razelle Kurzrock, Howard A. Burris III, David R. Spigel, Hanna Tukachinsky, Jason Hughes, Julia Malato, Bongin Yoo, Tania Szado, Cheryl Schwab, Lincoln W. Pasquina, Amaya Gasco, Katja Schulze, Claire F. Friedman   +17 more
wiley   +1 more source

The Language Attitude of Border Peoples Insular Riau, West Kalimantan, East Kalimantan, North Sulawesi, and the Eastern Sunda Islands [PDF]

, 2011
This research aims at describing (1) the language use of border area societies (Insular Riau, West Kalimantan, East Kalimantan, North Sulawesi, and the Eastern Sunda Islands) in terms of local language (BD), Indonesian (BI), and foreign language (BA) in ...
Hardaniwati, M. (Menuk), Subiyatningsih, F. (Foriyani), Sugono, D. (Dendy), Utomo, I. B. (Imam)   +3 more
core   +3 more sources

Co‐expression of HSV‐1 ICP34.5 enhances the expression of gene delivered by self‐amplifying RNA and mitigates its immunogenicity

FEBS Open Bio, EarlyView.
ICP34.5 is one of the most important antihost response proteins. The saRNA‐encoding HSV‐1 neurovirulence protein ICP34.5 clearly mediated the eukaryotic initiation factor 2 alpha subunit (eIF2α) dephosphorylation and significant suppression of innate immune responses in vitro, leading to enhanced expression of the saRNA‐encoded gene.
Xuemin Lu, Yabin Wu, Chunye Zhao, Jie Zheng, Shangwu Chen, Yigang Wang, Yulong Xia   +6 more
wiley   +1 more source

White Christian Nationalism in the Rural United States

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Many scholars have sought to link the rise of right‐wing populist movements, like White Christian Nationalism (WCN), to the impacts of political‐economic structural changes, such as globalization and financialization. Although these structural changes may explain some grievances, they do not explain why people express those grievances in the ...
Leland L. Glenna
wiley   +1 more source

Towards automatic Maude specifications generation from C functions

Journal of Innovation Information Technology and Application, 2023
In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively.
fateh boutekkouk
doaj   +1 more source