Results 1 to 10 of about 9,900 (232)
Full Abstraction for PCF [PDF]
Information and Computation, 2000 50 ...
Samson Abramsky, Radha Jagadeesan
exaly +8 more sources
Processes Management of Maintenance using PCF and Data Mining [PDF]
چشمانداز مدیریت صنعتی, 2022 Today, computer equipment is one of the most important assets of any organization, and its maintenance is very important. Considering that process management is one of the ways to investigate the current situation of the organization and pave the way for
Ali Morovati Sharif Abadi +2 more
doaj +1 more source
Automatic differentiation in PCF [PDF]
Proceedings of the ACM on Programming Languages, 2021 We study the correctness of automatic differentiation (AD) in the context of a higher-order, Turing-complete language (PCF with real numbers), both in forward and reverse mode. Our main result is that, under mild hypotheses on the primitive functions included in the language, AD is almost everywhere correct, that is, it computes ...
Damiano Mazza, Michele Pagani
openaire +4 more sources
Frontiers in Microbiology, 2023 IntroductionDesulfitobacterium hafniense was isolated for its ability to use organohalogens as terminal electron acceptors via organohalide respiration (OHR). In contrast to obligate OHR bacteria, Desulfitobacterium spp.
Mathilde Stéphanie Willemin +4 more
doaj +1 more source
Nature Communications, 2022 Pruning dendritic spines requires autophagy. Here, the authors show that autophagy is required for long-term depression (LTD), a major form of synaptic plasticity.
Emmanouela Kallergi +14 more
doaj +1 more source
Investigation on the Printed CNT-Film-Based Electrochemical Sensor for Detection of Liquid Chemicals
Sensors, 2021 We studied electrochemical sensors using printed carbon nanotubes (CNT) film on a polyethylene telephtalate (PET) substrate. The mechanical stability of the printed CNT film (PCF) was confirmed by using bending and Scotch tape tests.
Jaeha Noh +6 more
doaj +1 more source
Comprehensive Assessment of the Manufacturability of Products
Advanced Engineering Research, 2023 Introduction. The assessment of the manufacturability of products – as a stage of production planning and a key aspect of the development of modern industrial machining systems — is an urgent task of modern mechanical engineering.
P. Yu. Bochkaryov +2 more
doaj +1 more source
Sensors, 2023 This research article proposes and numerically investigates a photonic crystal fiber (PCF) based on a surface plasmon resonance (SPR) sensor for the detecting refractive index (RI) of unknown analytes.
Md. Ranju Sardar, Mohammad Faisal
doaj +1 more source
Clinical Outcomes and Complications of Unilateral Biportal Endoscopic Posterior Cervical Foraminotomy: A Systematic Review and Meta-Analysis With a Comparison to Full-Endoscopic Posterior Cervical Foraminotomy [PDF]
NeurospineObjective The unilateral biportal endoscopic posterior cervical foraminotomy (UBE-PCF) has been recently adopted for unilateral radiating arm pain due to cervical herniated intervertebral disc or foraminal stenosis.
Sang Hyub Lee +7 more
doaj +1 more source
Analysis of the Spatial and Temporal Differences of China’s Power Carbon Footprint
Journal of Electrical and Computer Engineering, 2020 Thermal power generation has increased CO2 emissions, which in turn has put tremendous pressure on the environment. Therefore, analyzing the regional ecological environmental carrying capacity of thermal power carbon emissions is of great significance ...
Zhen-Yu Zhao +4 more
doaj +1 more source