Results 51 to 60 of about 14,737 (279)

Branching-time model checking of one-counter processes [PDF]

, 2009
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CTL) over OCPs. A PSPACE upper bound is inherited from the modal mu-calculus
Göller, Stefan, Lohrey, Markus
core   +4 more sources

Decarbonizing OCP

Manufacturing & Service Operations Management
Problem definition: We present our collaboration with the OCP Group, one of the world’s largest producers of phosphate and phosphate-based products, in support of a green initiative designed to reduce OCP’s carbon emissions significantly. We study the problem of decarbonizing OCP’s electricity supply by installing a mixture of solar panels and ...
Dimitris Bertsimas, Ryan Cory-Wright, Vassilis Digalakis   +2 more
openaire   +3 more sources

Electroactive Metal–Organic Frameworks for Electrocatalysis

Advanced Functional Materials, EarlyView.
Electrocatalysis is crucial in sustainable energy conversion as it enables efficient chemical transformations. The review discusses how metal–organic frameworks can revolutionize this field by offering tailorable structures and active site tunability, enabling efficient and selective electrocatalytic processes.
Irena Senkovska, Yutong Luo, Ruyan Zhao, Jianjun Zhang, Mingchao Wang, Xinliang Feng, Eike Brunner, Stefan Kaskel   +7 more
wiley   +1 more source

Phosphorylation of BCL2 at the Ser70 site mediates RANKL-induced osteoclast precursor autophagy and osteoclastogenesis

Molecular Medicine, 2022
Background Phosphorylation modification of BCL2 is involved in receptor activator of nuclear factor-κB ligand (RANKL)-induced autophagy of osteoclast precursors (OCPs) and osteoclastogenesis. As an antiapoptotic molecule, the role of BCL2 phosphorylation
Dianshan Ke, Yunlong Yu, Chenglong Li, Junyong Han, Jie Xu   +4 more
doaj   +1 more source

Family Planning Market in India [PDF]

, 2017
This literature review captures existing knowledge across a range of products and players in India's family planning market. The product scope covers condoms, oral contraceptive pills, injectable contraceptives, intra-uterine devices, and male and female
Laura Amaya, Rishi Agarwal, Vignesh Shankar   +2 more
core  

Reevaluating the Activity of ZIF‐8 Based FeNCs for Electrochemical Ammonia Production

Advanced Functional Materials, EarlyView.
Though receiving much attention, the field of electrochemical nitrogen reduction reaction (eNRR) to ammonia is marked by doubts about whether this reaction is possible in aqueous media. This work sheds light on this question for iron single‐atom on N‐doped carbon (FeNC) catalysts—a class of well‐known catalysts that is also worth testing for the sister
Caroline Schneider, S. Esmael Balaghi, Niklas Ortlieb, Patrick Elsaesser, Sima Heidari, Christopher S. Allen, Anna Fischer   +6 more
wiley   +1 more source

A comparative assessment of efficacy for pain relief and quality of life between dienogest and combined oral contraceptive pills in endometriosis patients in Eastern India

MGM Journal of Medical Sciences
Background: This study aimed to compare the effectiveness of dienogest (DNG) and combined oral contraceptive (COC) pills in alleviating pain among patients with endometriosis in Eastern India.
Priyanka Kumari, Rathindra Nath Ray, Sandip Sarkar, Sohini Ghosh Dastidar, Yogesh Munde   +4 more
doaj   +1 more source

A Cost Variation Analysis of Oral Contraceptive Pills available in the Indian market

Journal of Pharmacoeconomics and Pharmaceutical Management, 2023
Background: Oral Contraceptive Pills (OCPs) are highly effective contraceptives if used regularly and adequately, and they also have added non-contraceptive benefits.
Chethan B
doaj   +1 more source

Observation of Three-dimensional Long-range Order in Smaller Ion Coulomb Crystals in an rf Trap

, 2006
Three-dimensional long-range ordered structures in smaller and near-spherically symmetric Coulomb crystals of ^{40}Ca^+ ions confined in a linear rf Paul trap have been observed when the number of ions exceeds ~1000 ions.
A. Mortensen, E. Nielsen, H. M. van Horn, M. Drewsen, N. Kjærgaard, R. W. Hasse, T. Matthey   +6 more
core   +1 more source

Uniformities on OCP-polygroups

Journal of Hyperstructures, 2018
A topological polygroup where every open subset is a complete part is called OCP-polygroup. Different uniform structures are built on OCP-polygroups as well as on their quotients and studied some related results including Roelcke uniformity.
Singha, Manoranjan, DAS, KOUSIK, Davvaz, Bijan   +2 more
openaire   +2 more sources