Results 11 to 20 of about 109,666 (346)
Increasing Accuracy of Timing Models: From CPA to CPA+ [PDF]
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019 Formal analysis methods of embedded systems provide safe, but unfortunately often pessimistic bounds on response times. An important source of pessimism is the common approach to characterize service request either by the amount of data or the number of events to be processed. Several works, e.g.
Leonie Köhler +3 more
openaire +2 more sources
Cell Metabolism, 2018 Nutrient deprivation induces autophagy through inhibiting TORC1 activity. We describe a novel mechanism in Drosophila by which TORC1 regulates RNA processing of Atg transcripts and alters ATG protein levels and activities via the cleavage and ...
Hong-Wen Tang +2 more
exaly +2 more sources
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009 Context-sensitive points-to analysis is the current most scalable technology for constructing a precise control-flow graph for large object-oriented programs. One appealing feature of this framework is that it is parametric thus allowing to trade time for precision. Typical instances of this framework are κ-CFAs and Agesen's Cartesian Product Algorithm
Besson, Frédéric, Frédéric Besson
openaire +3 more sources
Uncertainty analysis of the CPA and a quadrupolar CPA equation of state – With emphasis on CO2 [PDF]
Fluid Phase Equilibria, 2016 Abstract The parameters of thermodynamic models, such as the cubic plus association (CPA) equation of state, are subject to uncertainties due to measurement errors in the experimental data that the models are correlated to. More importantly as the number of adjustable parameters increase, the parameter estimation problem becomes more complicated due ...
Martin G Bjørner +2 more
exaly +3 more sources
Improved low-CPA vitrification of mouse oocytes using quartz microcapillary
Cryobiology, 2015 Cryopreservation by low-cryoprotectant (CPA) vitrification has the potential to combine all the advantages of the conventional high-CPA vitrification and slow-freezing approaches while avoiding their drawbacks.
Jung Kyu Choi +2 more
exaly +2 more sources
Fluid Phase Equilibria, 2016 The cubic plus association (CPA) equation of state (EoS) is extended to include quadrupolar interactions. The quadrupolar term is based on a modification of the perturbation terms by Larsen et al. (1977) [5] for a hard sphere fluid with a symmetric point
Martin G Bjørner +1 more
exaly +2 more sources
تعدیل ساختاری نئولیبرالیسم و تأثیرات آن بر عراق پس از 2003 م [PDF]
مطالعات اقتصاد سیاسی بینالملل, 2022 نئولیبرالیسم مجموعه ای است از سیاست های اقتصادی که نظام اقتصاد داخلی کشورها و نظام اقتصادی بین المللی را دستخوش تحولات گسترده ای نموده و مهمترین مؤلفه های آن عبارتاند از: باور راسخ به بازار آزاد و نامحدود جهانی و مالکیت خصوصی.
محمدحسین مرزه +1 more
doaj +1 more source
A Simple Method to Reduce the Optimized Parameters of Aqueous Amino Acid Solutions Using Association EOSs [PDF]
Iranian Journal of Chemistry & Chemical Engineering, 2021 Bringing up dissociation/ association equilibria, four new correlated equations are suggested for fixing the parameters of less investigated amino acid systems in a given value for two association models including PC-SAFT and CPA EOSs.
Azam Shadloo, Kiana Peyvandi
doaj +1 more source
Biomimetics, 2023 The carnivorous plant algorithm (CPA), which was recently proposed for solving optimization problems, is a population-based optimization algorithm inspired by plants.
Ayşe Beşkirli, Idiris Dag
semanticscholar +1 more source