Results 31 to 40 of about 135,157 (336)
Polymorphic Types in ACL2 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 This paper describes a tool suite for the ACL2 programming language which incorporates certain ideas from the Hindley-Milner paradigm of functional programming (as exemplified in popular languages like ML and Haskell), including a "typed" style of ...
Benjamin Selfridge, Eric Smith
doaj +1 more source
A Statecharts-Based Approach for WSN Application Development
Journal of Sensor and Actuator Networks, 2020 Wireless Sensor Network (WSN) software development challenges developers in two main ways: through system programming, which requires expertise in hardware and network management; and application programming, which requires domain-specific knowledge ...
Ismo Hakala, Xinyu Tan
doaj +1 more source
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms [PDF]
arXiv, 2022 Algorithmic paradigms such as divide-and-conquer (D&C) are proposed to guide developers in designing efficient algorithms, but it can still be difficult to apply algorithmic paradigms to practical tasks. To ease the usage of paradigms, many research efforts have been devoted to the automatic application of algorithmic paradigms.
arxiv
Is Strategic Programming a Viable Paradigm? [PDF]
Electronic Notes in Theoretical Computer Science, 2001 AbstractThis discussion paper for the Workshop on Reduction Strategies in Programming and Rewriting (WRS'01) speculates on the viability of strategic programming in mainstream programming and in two selected application areas: theorem proving and programming-in-the-large.
openaire +1 more source
Foundations of Total Functional Data-Flow Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics.
Baltasar Trancón y Widemann +1 more
doaj +1 more source
Weighted programming: a programming paradigm for specifying mathematical models
Proceedings of the ACM on Programming Languages, 2022 We study weighted programming, a programming paradigm for specifying mathematical models. More specifically, the weighted programs we investigate are like usual imperative programs with two additional features: (1) nondeterministic branching and (2) weighting execution traces.
Kevin Batz +4 more
openaire +3 more sources
FEBS Letters, EarlyView.The mitochondrial outer membrane iron–sulphur ([Fe‐S]) protein mitoNEET is a target of the type‐2 diabetes drug pioglitazone. Its unknown molecular function is linked to respiratory complex activity and mitochondrial function. We discovered that O2 protects the mitoNEET [2Fe‐2S] cluster against NO oxidation and desensitization towards reduction by H2S.
Thao Nghi Hoang +9 more
wiley +1 more source
Immunoregulatory mechanisms of the arachidonic acid pathway in cancer
FEBS Letters, EarlyView.The central role of the arachidonic acid (AA) pathway in anticancer immunity. Enzymes and metabolites of the AA pathway can play both immunosuppressive and immunostimulatory roles in the tumor microenvironment. Therefore, their tailored targeting could be beneficial as a standalone therapy or in combination with current cancer immunotherapy.
Maria Tredicine +3 more
wiley +1 more source
Molecular Oncology, EarlyView.Dinaciclib blocks CDK12 activity, leading to downregulation of BRCA1, and probably other proteins involved in homologous recombination, promoting nonhomologous end joining. In this scenario, the presence of ionising radiation triggers a p53‐dependent senescent response that yields increased radiosensitivity. Pan‐cyclin‐dependent‐kinase (CDK) inhibitors
Natalia García Flores +14 more
wiley +1 more source
Molecular and functional profiling unravels targetable vulnerabilities in colorectal cancer
Molecular Oncology, EarlyView.We used whole exome and RNA‐sequencing to profile divergent genomic and transcriptomic landscapes of microsatellite stable (MSS) and microsatellite instable (MSI) colorectal cancer. Alterations were classified using a computational score for integrative cancer variant annotation and prioritization.
Efstathios‐Iason Vlachavas +15 more
wiley +1 more source