Results 71 to 80 of about 2,784,953 (338)

The next 700 compiler correctness theorems (functional pearl)

Proc. ACM Program. Lang., 2019
Compiler correctness is an old problem, with results stretching back beyond the last half-century. Founding the field, John McCarthy and James Painter set out to build a "completely trustworthy compiler". And yet, until quite recently, even despite truly
Daniel Patterson, Amal J. Ahmed
semanticscholar   +1 more source

Spatiotemporal and quantitative analyses of phosphoinositides – fluorescent probe—and mass spectrometry‐based approaches

FEBS Letters, EarlyView.
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho, Shin Morioka, Junko Sasaki, Takehiko Sasaki   +3 more
wiley   +1 more source

Terminology of mathematics: conventionality and correctness

Lietuvos Matematikos Rinkinys, 2003
The conventionality and correctness of the terminology of mathematics in textbooks are diss­cused. The concepts of the solution of equation, of the graph of a function, of the elementary event and other are analyzed.
Eugenijus Stankus
doaj   +3 more sources

Resolution methods in proving the program correctness [PDF]

Yugoslav Journal of Operations Research, 2007
Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas represents
Markoski Branko, Hotomski Petar, Malbaški Dušan, Obradović Danilo   +3 more
doaj   +1 more source

Correcting dispersion corrections with density-corrected DFT

Journal of Chemical Theory and Computation
Almost all empirical parameterizations of dispersion corrections in DFT use only energy errors, thereby mixing functional and density-driven errors. We introduce density and dispersion-corrected DFT (D2C-DFT), a dual-calibration approach that accounts for density delocalization errors when parametrizing dispersion interactions.
Minhyeok Lee, Byeongjae Kim, Mingyu Sim, Mihira Sogal, Youngsam Kim, Hayoung Yu, Kieron Burke, Eunji Sim   +7 more
openaire   +2 more sources

A Cre‐dependent lentiviral vector for neuron subtype‐specific expression of large proteins

FEBS Letters, EarlyView.
We designed a versatile and modular lentivector comprising a Cre‐dependent switch and self‐cleaving 2A peptide and tested it for co‐expression of GFP and a 2.8 kb gene of interest (GOI) in mouse cortical parvalbumin (PV+) interneurons and midbrain dopamine (TH+) neurons.
Weixuan Xue, Sandrine Picaud, Régine Hepp, Stéphanie Pons, Uwe Maskos, Bertrand Lambolez, Ludovic Tricoire   +6 more
wiley   +1 more source

Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?

FEBS Letters, EarlyView.
This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes, Guilherme M. Azevedo, Amanda P. Barcellos, Diana Bahia   +3 more
wiley   +1 more source

Political Correctness: Implosion of Politics

Philosophies, 2017
The purpose of this article is to develop a critical understanding of political correctness as regressive process of incrimination based on a utopia of non-differentiation.
Alexis Dirakis
doaj   +1 more source

Questionable Arguments for the Correctness of Perturbation Theory in Non-Abelian Models

, 1997
We analyze the arguments put forward recently by Niedermayer et al in favor of the correctness of conventional perturbation theory in non-Abelian models and supposedly showing that our super-instanton counterexample was sick.
A. Patrascioiu, A. Patrascioiu, A. Patrascioiu, A. Patrascioiu, A. Patrascioiu, A. Patrascioiu, A. Patrascioiu, Adrian Patrascioiu, E. Gildener, Erhard Seiler, F. David, F. Niedermayer, J. Bricmont, J. L. Richard, P. Hasenfratz   +14 more
core   +1 more source

Real‐time assay of ribonucleotide reductase activity with a fluorescent RNA aptamer

FEBS Letters, EarlyView.
Ribonucleotide reductases (RNR) synthesize DNA building blocks de novo, making them crucial in DNA replication and drug targeting. FLARE introduces the first single‐tube real‐time coupled RNR assay, which enables isothermal tracking of RNR activity at nanomolar enzyme levels and allows the reconstruction of allosteric regulatory patterns and rapid ...
Jacopo De Capitani, Noemi E. Nwosu, Viktoria Gocke, Müge Kasanmascheff, Hannes Mutschler   +4 more
wiley   +1 more source