Results 131 to 140 of about 590,012 (309)
, 1998 We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization.
Francisco Bueno +8 more
core +1 more source
DWORKIN: DE QUE MANEIRA O DIREITO SE ASSEMELHA À LITERATURA?
Revista da Faculdade de Direito da Universidade Federal de Minas Gerais, 2013 Este artigo visa a reconstruir a argumentação desenvolvida por Ronald Dworkin, em A Matter of Principle, acerca de como a interpretação jurídica se assemelha à interpretação literária.
Marcelo Cattoni Andrade de Oliveira
doaj +4 more sources
Incrementalizing Abstract Interpretation. [PDF]
, 2018 A powerful approach to design static analysers is abstract interpretation, which reasons over an approximation of the program’s behaviour. The Abstracting Abstract Machines (AAM) technique, introduced by Van Horn & Might, presents a systematic approach to derive abstract interpreters. However, it is often not useable in the development and evolution of
Van Es, Noah +2 more
openaire +1 more source
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information.
, 2009 The current ubiquity of multi-core processors has brought renewed interest in program parallelization. Logic programs allow studying the parallelization of programs with complex, dynamic data structures with (declarative) pointers in a comparatively ...
Cabeza Gras, Daniel +4 more
core +1 more source
Molecular characterization of covRS mutations in M1UK Streptococcus pyogenes
FEBS Open Bio, EarlyView.Group A Streptococcus (GAS) acquires covRS mutations driving a hypervirulent bacterial state, frequently associated with invasive disease‐like necrotizing fasciitis. We demonstrate that the newly emerged M1UK GAS lineage can also acquire these mutations.
Jarrad Pritchard +12 more
wiley +1 more source
Abstract Domains of Affine Relations
, 2013 This paper considers some known abstract domains for affine-relation analysis, along with several variants, and studies how they relate to each other. The various domains represent sets of points that satisfy affine relations over variables that hold
Sharma, Tushar +4 more
core
Transcripts enriched in codons that trigger P‐site tRNA‐mediated mRNA decay possess stable mRNA
FEBS Open Bio, EarlyView.PTMD codons were first described by Mendel et al. as mediators of an mRNA decay pathway dependent on the human protein CNOT3, homologous to yeast Not5. Our findings confirm that PTMD codons destabilize transcripts; however, unlike in yeast, the human pathway specifically targets and slightly destabilizes primarily stable mRNAs.
Rodolfo Lopes Carneiro +1 more
wiley +1 more source
FEBS Open Bio, EarlyView.The cytoskeleton‐mediated transport of mitochondria via tunnelling nanotubes restores respiration, increases ATP production, rescues cells from apoptosis, activates the AKT/mTOR signalling pathway, promotes cell migration and invasiveness, contributes to cancer progression and treatment resistance.
Stanislava Martínková, Jan Trnka
wiley +1 more source
A practical approach to the global analysis of CLP programs
, 1993 This paper presents and illustrates with an example a practical approach to the dataflow analysis of programs written in constraint logic programming (CLP) languages using abstract interpretation. It is first argued that, from the framework point of view,
Hermenegildo, Manuel V. +3 more
core