Results 11 to 20 of about 1,128,454 (242)

Intuitionistic S4 is decidable

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023
In this paper we demonstrate decidability for the intuitionistic modal logic S4 first formulated by Fischer Servi. This solves a problem that has been open for almost thirty years since it had been posed in Simpson's PhD thesis in 1994. We obtain this result by performing proof search in a labelled deductive system that, instead of using only one ...
Girlando, Marianna, Kuznets, Roman, Marin, Sonia, Morales, Marianela, Straßburger, Lutz   +4 more
openaire   +3 more sources

Reduction-Responsive Molecularly Imprinted Poly(2-isopropenyl-2-oxazoline) for Controlled Release of Anticancer Agents

Pharmaceutics, 2020
Trigger-responsive materials are capable of controlled drug release in the presence of a specific trigger. Reduction induced drug release is especially interesting as the reductive stress is higher inside cells than in the bloodstream, providing a ...
Michał Cegłowski, Valentin Victor Jerca, Florica Adriana Jerca, Richard Hoogenboom   +3 more
doaj   +1 more source

rTensor: An R Package for Multidimensional Array (Tensor) Unfolding, Multiplication, and Decomposition

Journal of Statistical Software, 2018
rTensor is an R package designed to provide a common set of operations and decompositions for multidimensional arrays (tensors). We provide an S4 class that wraps around the base 'array' class and overloads familiar operations to users of 'array', and we
James Li, Jacob Bien, Martin T. Wells
doaj   +1 more source

Big data: modern approaches to storage and analysis

Труды Института системного программирования РАН, 2018
Big data challenged traditional storage and analysis systems in several new ways. In this paper we try to figure out how to overcome this challenges, why it's not possible to make it efficiently and describe three modern approaches to big data handling ...
Pavel Klemenkov, Sergey Kuznetsov
doaj   +1 more source

Acute, Sub-acute and Cell Toxicity of Allium elburzense Bulb Hydroalcoholic Extract [PDF]

Research Journal of Pharmacognosy, 2020
Background and objectives: Allium elburzense is an endemic plant in north of Iran with some nutritional and medicinal applications; however, there is no data on its safety profile.
Bahareh Yavarian, Leila Safaeian*, Behzad Zolfaghari, Mahmoud Etebari, Hamidreza Sharifi   +4 more
doaj   +1 more source

S1 constrains S4 in the voltage sensor domain of Kv7.1 K+ channels. [PDF]

PLoS ONE, 2008
Voltage-gated K(+) channels comprise a central pore enclosed by four voltage-sensing domains (VSDs). While movement of the S4 helix is known to couple to channel gate opening and closing, the nature of S4 motion is unclear.
Yoni Haitin, Ilanit Yisharel, Eti Malka, Liora Shamgar, Hella Schottelndreier, Asher Peretz, Yoav Paas, Bernard Attali   +7 more
doaj   +1 more source

Carbonic anhydrase IX inhibitor S4 triggers release of DAMPs related to immunogenic cell death in glioma cells via endoplasmic reticulum stress pathway

Cell Communication and Signaling, 2023
Background Immunogenic cell death (ICD), which releases danger-associated molecular patterns (DAMP) that induce potent anticancer immune response, has emerged as a key component of therapy-induced anti-tumor immunity.
Jing Cui, Huizhe Xu, Ji Shi, Kun Fang, Jia Liu, Feng Liu, Yi Chen, Haiyang Liang, Ye Zhang, Haozhe Piao   +9 more
doaj   +1 more source

Anaerobic co-digestion of sewage sludge and bio-based glycerol: Optimisation of process variables using one-factor-at-a-time (OFAT) and Box-Behnken Design (BBD) techniques

South African Journal of Chemical Engineering, 2022
The use of glycerol as a co-substrate in anaerobic processes is a promising method of reducing the amounts of contaminants in sewage sludge. Although anaerobic co-digestion has been in existence for more than a century, its operating conditions have not ...
Nhlanganiso Ivan Madondo, Maggie Chetty
doaj   +1 more source

Anaerobic Digested Wastewater CO₂ Sequestration Using a Biophotocatalytic System with a Magnetized Photocatalyst (Fe-TiO₂)

Molecules, 2022
This study presents a biophotocatalytic system as a sustainable technology for the recovery of clean water and renewable energy from wastewater, thereby providing a unique opportunity to drive industrialization and global sustainable development ...
Emmanuel Kweinor Tetteh, Gloria Amo-Duodu, Sudesh Rathilal   +2 more
doaj   +1 more source

Unification in Pretabular Extensions of S4 [PDF]

Logica Universalis, 2021
L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic S4 has exactly 5 pretabular extensions PM1–PM5. In this paper, we study the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are described.
openaire   +4 more sources