Results 91 to 100 of about 546,186 (309)

Verification of programs that destructively manipulate data

Science of Computer Programming, 1988
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

The (Glg)ABCs of cyanobacteria: modelling of glycogen synthesis and functional divergence of glycogen synthases in Synechocystis sp. PCC 6803

FEBS Letters, EarlyView.
We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee, Dimitrios Bekiari, Sofia Doello, Karl Forchhammer   +3 more
wiley   +1 more source

Getting Started Now: Capacity Building for the Data System Foundations of Sectoral Approaches. CEPS Special Report, 22 April 2010 [PDF]

, 2010
Sectoral approaches to mitigating climate change depend on setting goals that incorporate performance indicators – such as benchmarks and the effective application of measurement, reporting and verification requirements – supported by well-developed data
Egenhofer, Christian, Fujiwara, Noriko, Georgiev, Anton.   +2 more
core  

Fast payment schemes for truthful mechanisms with verification

, 2009
In this paper we study optimization problems with verifiable one-parameter selfish agents introduced by Auletta et al. [V. Auletta, R. De Prisco, P. Penna, P.
F. SORRENTINO, Sorrentino, Francesco Sorrentino, Parlato, Gennaro, Carmine Ventre, C. VENTRE, Sorrentino, Francesco, Alessandro Ferrante, Ventre, Carmine, Francesco Sorrentino, Ferrante, Alessandro, Gennaro Parlato   +10 more
core   +1 more source

TerraSAR-X SAR Payload Data Processing: Results from Commissioning and Early Operational Phase [PDF]

, 2008
TerraSAR-X, the first national German radar satellite, was launched in June 2007. It carries an X-band highresolution synthetic aperture radar instrument featuring the operational imaging modes Stripmap, ScanSAR and, particularly, Spotlight in a variety ...
Schättler, Birgit, B. Schattler, Birgit Schättler, H. Breit, Ulrich Balss, Schwarz, Egbert, Balss, Ulrich, Heiko Damerow, U. Balss, Egbert Schwarz, Thomas Fritz, E. Schwarz, T. Fritz, Breit, Helko, Fritz, Thomas, Damerow, Heiko, Helko Breit, H. Damerow   +17 more
core   +1 more source

A lifestyle-based prediction model for obesity in Chinese adolescent students

Frontiers in Sports and Active Living
IntroductionAdolescent obesity has emerged as a critical global public health challenge, necessitating effective tools for early identification and intervention. This study aimed to identify significant contributing factors and develop a predictive model
Mei Jiang, Zhou He, Zhou He, Zhou He
doaj   +1 more source

Organ‐specific redox imbalances in spinal muscular atrophy mice are partially rescued by SMN antisense oligonucleotides

FEBS Letters, EarlyView.
We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley   +1 more source

Transferrin receptor 1‐mediated iron uptake supports thermogenic activation in human cervical‐derived adipocytes

FEBS Letters, EarlyView.
In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai, Mizuki Seo, Gyath Karadsheh, Fachrur Rizal Mahendra, Máté Á Demény, Ferenc Győry, János András Mótyán, László Fésüs, Endre Kristóf, Rini Arianti   +9 more
wiley   +1 more source

Biologically inspired speaker verification

, 2012
Speaker verification is an active research problem that has been addressed using a variety of different classification techniques. However, in general, methods inspired by the human auditory system tend to show better verification performance than other ...
Tashan, T
core  

Data-aware Soundness Verification and Repair of Data Petri-Nets [PDF]

, 2023
openBusiness processes are one of organizations' core assets, impacting directly on the quality of products and services and on the revenue of corporations.
MAKAJ, AURELO
core