Results 81 to 90 of about 5,309 (287)
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential [PDF]
Logical Methods in Computer ScienceLogical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive notions of operationally-based logical relations have been designed and ...
Francesco Dagnino, Francesco Gavazzo
doaj +1 more source
An Operational Semantics for Timed CSP
Information and Computation, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Advanced Science, EarlyView.KPPepGen is a knowledge‐aware prompt diffusion model for the controllable generation of pathogen‐specific AMPs. It outperforms existing methods and is capable of simultaneously generating peptides for distinct pathogens, demonstrating superior performance with favorable properties and docking efficacy.
Yongkang Wang +4 more
wiley +1 more source
Two Semantics of Trust Management Language with Negation
Journal of Telecommunications and Information Technology, 2013 The family of Role-based Trust management languages is used for representing security policies by defining a formalism, which uses credentials to handle trust in decentralized, distributed access control systems.
Anna Felkner
doaj +1 more source
The Potential of Cognitive‐Inspired Neural Network Modeling Framework for Computer Vision
Advanced Science, EarlyView.In article number 202507730, Guorun Li, Lei Liu, Yuefeng Du, and co‐workers present a cognitive modeling framework (CMF) to bridge the ‘representation gap’ and ‘conceptual gap’ between cognitive theory and vision deep neural networks (VDNNs). The research findings provide new insights and solid theoretical support for VDNN modeling inspired by ...
Guorun Li +5 more
wiley +1 more source
ggalign: Bridging the Grammar of Graphics and Biological Multilayered Complexity
Advanced Science, EarlyView.The ggalign package provides a comprehensive framework for composable visualization built on top of ggplot2. Its primary purpose is to enable the construction of complex multi‐plot layouts with consistent observation alignment across plots, particularly for high‐dimensional data contexts such as genomics, transcriptomics, and microbiome studies ...
Yun Peng +9 more
wiley +1 more source
Advanced Science, EarlyView.AI is not seen through an unbiased lens. People tend to stereotype AI as competent and link it with socially advantaged groups—such as men, the wealthy, the young, and prestigious occupations—raising concerns that such perceptions may deepen existing social divides rather than bridge them.
Zixi Wang +4 more
wiley +1 more source
Advanced Science, EarlyView.An integrated strategy combining a mitochondria‐targeted fluorescent probe set and an AI framework enables simultaneous analysis of mitochondrial morphology and function at the single organelle level. By fusing multi‐parametric features, machine learning classification accurately distinguishes individual mitochondria under hypoxia‐related conditions ...
Yang Ding +9 more
wiley +1 more source
A semantics for while with break, continue and goto
CLEI Electronic Journal, 2018 This work presents a formal description of a subset of a C-likelanguage in the form of an operational semantics. We give semantics to the following statements (presented in alphabetical order) : assig- nation, break, composition, continue, goto, if, skip
Patricia Peratto
doaj +1 more source
Enhancer Reprogramming Reveals the Tumorigenic Role of PTPRZ1 in Lung Squamous Cell Carcinoma
Advanced Science, EarlyView.Lung squamous cell cancer (LUSC) is deadly due to lack of good treatments. Here, multiomics techniques are applied to LUSC tumors and find thousands of cancer‐specific enhancers controlling key genes. Interestingly, the gene PTPRZ1 is identified as a critical oncogene driven by the LUSC‐acquired enhancers. PTPRZ1 is activated by MDK, fueling cancer via
Yong‐Qiang Ning +11 more
wiley +1 more source