Results 91 to 100 of about 5,780 (194)

Long-Term Effects of Job Displacement: Evidence from the Panel Study of Income Dynamics [PDF]

This paper measures the long-term wage and earnings losses of workers who lose jobs due to plant closings and layoffs, using a fixed-effects estimator to control for unobserved worker characteristics and longitudinal data from the Panel Study of Income ...
Ann Huff Stevens
core  

ACSL

Playmath, 2005
Prikaz natjecanja American Computer Science League.
openaire   +1 more source

Syntaxin 17 promotes lipid droplet formation by regulating the distribution of acyl-CoA synthetase 3[S]

Journal of Lipid Research, 2018
Lipid droplets (LDs) are ubiquitous organelles that contain neutral lipids and are surrounded by a phospholipid monolayer. How proteins specifically localize to the phospholipid monolayer of the LD surface has been a matter of extensive investigations ...
Hana Kimura, Kohei Arasaki, Yuki Ohsaki, Toyoshi Fujimoto, Takayuki Ohtomo, Junji Yamada, Mitsuo Tagaya   +6 more
doaj   +1 more source

Arachidonic acid downregulates acyl-CoA synthetase 4 expression by promoting its ubiquitination and proteasomal degradation[S]

Journal of Lipid Research, 2014
ACSL4 is a member of the long-chain acyl-CoA synthetase (ACSL) family with a marked preference for arachidonic acid (AA) as its substrate. Although an association between elevated levels of ACSL4 and hepatosteatosis has been reported, the function of ...
Chin Fung Kelvin Kan, Amar Bahadur Singh, Diana M. Stafforini, Salman Azhar, Jingwen Liu   +4 more
doaj   +1 more source

An intelligent processing environment for real-time simulation [PDF]

The development of a highly efficient and thus truly intelligent processing environment for real-time general purpose simulation of continuous systems is described.
Carroll, Chester C., Wells, Buren Earl, Jr.   +1 more
core   +1 more source

StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C [PDF]

, 2014
We present StaDy, a new integration of the concolic test generator PathCrawler within the software analysis platform Frama- C. When executing a dynamic analysis of a C code, the integrated test generator also exploits its formal specification, written in
Giorgetti, Alain, Julliand, Jacques, Kosmatov, Nikolai, Petiot, Guillaume   +3 more
core   +2 more sources

Intestinal Acyl-CoA synthetase 5 (ACSL5) deficiency potentiates postprandial GLP-1 & PYY secretion, reduces food intake, and protects against diet-induced obesity

Molecular Metabolism
Objective: In the small intestine, the products of digestion of dietary triacylglycerol (TAG), fatty acids (FA) and monoacylglycerol, are taken up by absorptive cells, enterocytes, for systemic energy delivery.
John D. Griffin, Ying Zhu, Andrew Reeves, Kimberly K. Buhman, Andrew S. Greenberg   +4 more
doaj   +1 more source

Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014 [PDF]

, 2016
International audienceWhy3 is an environment for static verification, generic in the sense that it is used as an intermediate tool by different front-ends for the verification of Java, C or Ada programs.
Kosmatov, Nikolai, Marché, Claude, Moy, Yannick, Signoles, Julien   +3 more
core   +1 more source

Towards the Formal Specification and Verification of Maple Programs

, 2012
In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs.
D.A. Schmidt, M. Barnett, M. Zhou, M.B. Monagan, T. Lambert, V. D’Silva   +5 more
core   +1 more source

Algorithm for Designing Waveforms Similar to Linear Frequency Modulation Using Polyphase-Coded Frequency Modulation

Remote Sensing
Linear frequency modulation (LFM) waveforms have been widely adopted due to their excellent performance characteristics, such as good Doppler tolerance and ease of physical implementation. However, LFM waveforms suffer from high autocorrelation sidelobes
Pengpeng Wang, Zhan Wang, Peng You, Mengyun An   +3 more
doaj   +1 more source