Results 101 to 110 of about 7,089,004 (401)

Layer by layer - Combining Monads

, 2018
We develop a method to incrementally construct programming languages. Our approach is categorical: each layer of the language is described as a monad. Our method either (i) concretely builds a distributive law between two monads, i.e.
A Balan, A Kock, B Jacobs, B Jacobs, B Klin, DJ King, E Manes, E Moggi, G Plotkin, J Beck, M Hyland, M Hyland, N Benton, N Foster, N Gautam, S Awodey, S Liang, S Mac Lane, S Milius, T Sato   +19 more
core   +1 more source

Beyond digital twins: the role of foundation models in enhancing the interpretability of multiomics modalities in precision medicine

FEBS Open Bio, EarlyView.
This review highlights how foundation models enhance predictive healthcare by integrating advanced digital twin modeling with multiomics and biomedical data. This approach supports disease management, risk assessment, and personalized medicine, with the goal of optimizing health outcomes through adaptive, interpretable digital simulations, accessible ...
Sakhaa Alsaedi, Xin Gao, Takashi Gojobori   +2 more
wiley   +1 more source

The composition of Event-B models

, 2008
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventing them in future. This work contributes to thatreinvention.
C. Attiogbé, C. Darlot, C.B. Jones, F. Bellegarde, J.-R. Abrial, J.-R. Abrial, J.R. Abrial, K. Pohl, M. Abadi, M. Butler, M. Butler, M.-L. Potet, M.-L. Potet, M.R. Poppleton, O. Kouchnarenko, O. Kouchnarenko, R.-J. Back, R.J.R. Back   +17 more
core   +1 more source

A connection between concurrency and language theory [PDF]

, 2013
We show that three fixed point structures equipped with (sequential) composition, a sum operation, and a fixed point operation share the same valid equations.
Esik, Zoltan
core   +2 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

Visões da língua(gem) em comentários sobre internetês não é língua portuguesa

Filologia e Linguística Portuguesa, 2006
This paper aims to discuss the representation that university students of letters and pedagogy courses use in the so-called “internetês”, a grapholinguistic form which has been spread in digital genres such as chats, blogs and social networks as the ...
Fabiana Komesu
doaj   +1 more source

Visual Composition and Language Development [PDF]

IALLT Journal of Language Learning Technologies, 2019
Sinatra, Richard
openaire   +5 more sources

A non-interleaving process calculus for multi-party synchronisation

, 2009
We introduce the wire calculus. Its dynamic features are inspired by Milner's CCS: a unary prefix operation, binary choice and a standard recursion construct.
Davide Grohmann, Emilio Tuosto, Fabio Gadducci, Filippo Bonchi, G. M. Kelly, Luca Aceto, Paola Spoletini, Paweł Sobociński, Peter Selinger, Piergiulio Katis, Roberto Bruni, Robin Milner, Samson Abramsky, Simon Bliudze, Stephen D. Brookes   +14 more
core   +2 more sources

A Compositional Approach to Language Modeling

, 2016
submitted to ACL ...
Arora, Kushal, Rangarajan, Anand
openaire   +2 more sources

Dose rate correction of a diode array for universal wedge field dosimetric verification

Journal of Applied Clinical Medical Physics, EarlyView.
Abstract Purpose To study the performance of MapCHECK 3 (MC3) in measuring universal wedge fields and propose a dose rate correction strategy to improve MC3 measurement accuracy. Materials and methods Universal wedge fields with different wedge angles and field sizes were measured at different depths using MC3.
Linyi Shen, Mengyang Li, Guiyuan Li, Xinyuan Chen, Shouping Xu, Jianrong Dai, Yuan Tian   +6 more
wiley   +1 more source