Results 91 to 100 of about 23,608 (225)

A heuristic method for bi-decomposition of partial Boolean functions

Informatika, 2020
The problem of decomposition of a Boolean function is to represent a given Boolean function in the form of a superposition of some Boolean functions whose number of arguments are less than the number of given function.
Yu. V. Pottosin
doaj   +1 more source

Importance Sketching of Influence Dynamics in Billion-scale Networks

, 2017
The blooming availability of traces for social, biological, and communication networks opens up unprecedented opportunities in analyzing diffusion processes in networks.
Dinh, Thang N., Nguyen, Hung T., Nguyen, Tri P., Phan, NhatHai   +3 more
core   +1 more source

K‐MODEL: Kinetic Modelling and Electrochemical Mechanism of Dimethylamine Borane Oxidation

Electrochemical Science Advances, Volume 6, Issue 1, February 2026.
A practical approach integrating voltammetry, Envismetrics‐assisted parameter extraction and KISSA‐1D simulation was used to unravel the electrochemical oxidation mechanism of DMAB, highlighting a reproducible three‐step pathway with validated kinetic parameters.
Huize Xue, Milad Torabfam, Jingfei Peng, Hamza Javed, Ella Joasil, Omowunmi Sadik   +5 more
wiley   +1 more source

DNA Nanoflower Enables Controlled Co‐Delivery of Antisense Oligodeoxynucleotide and Doxorubicin for Anti‐Breast Cancer Treatment

Micro & Nano Letters
Doxorubicin (DOX), an anthracycline antibiotic, is widely used to treat a range of solid tumours and haematological malignancies. However, its clinical application in breast cancer is hindered by toxic side effects and the development of multidrug ...
Xiuping Shen, Aiyong Zhu, Yafeng Xu
doaj   +1 more source

DNF: Feature Point Matching Pairs Filter Based on Descriptor Net

IEEE Access, 2019
Wide-baseline image registration under out-of-plane rotation and larger viewpoint change is still challenging. Most of the commonly used matching algorithms are not invariant to affine transformation.
Feng Ye, Lingfeng Su, Yizong Lai
doaj   +1 more source

CLEC18A interacts with sulfated glycosaminoglycans and controls clear cell renal cell carcinoma progression

The FEBS Journal, Volume 293, Issue 3, Page 709-728, February 2026.
CLEC18A is a previously poorly characterized C‐type lectin. We mapped the expression of CLEC18A to the proximal tubule of the kidney and found CLEC18A to interact with sulfated glycosaminoglycans on proteoglycans. Furthermore, we found that CLEC18A plays an important role in hindering the progression of clear cell renal cell carcinomas in humans and in
Gustav Jonsson, Maura Hofmann, Stefan Mereiter, Lauren Hartley‐Tassell, Masahiro Onji, Irma Sakic, Tiago Oliveira, David Hoffmann, Maria Novatchkova, Alexander Schleiffer, Josef M. Penninger   +10 more
wiley   +1 more source

Metabolic dynamics in astrocytes and microglia during post-natal development and their implications for autism spectrum disorders

Frontiers in Cellular Neuroscience
Autism Spectrum Disorder (ASD) is a complex neurodevelopmental condition characterized by elusive underlying mechanisms. Recent attention has focused on the involvement of astrocytes and microglia in ASD pathology. These glial cells play pivotal roles in
Iva Cantando, Cristiana Centofanti, Giuseppina D’Alessandro, Giuseppina D’Alessandro, Cristina Limatola, Cristina Limatola, Paola Bezzi, Paola Bezzi   +7 more
doaj   +1 more source

Synthesizing Bijective Lenses

, 2017
Bidirectional transformations between different data representations occur frequently in modern software systems. They appear as serializers and deserializers, as database views and view updaters, and more. Manually building bidirectional transformations-
Fisher, Kathleen, Miltner, Anders, Pierce, Benjamin C., Walker, David, Zdancewic, Steve   +4 more
core   +1 more source

On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution [PDF]

, 2009
Jakob Nordstr”öm, Alexander Razborov
openalex   +2 more sources

Efficiency versus Convergence of Boolean Kernels for On-Line Learning Algorithms

, 2011
The paper studies machine learning problems where each example is described using a set of Boolean features and where hypotheses are represented by linear threshold elements.
Khardon, R., Roth, D., Servedio, R. A.
core   +1 more source