Results 21 to 30 of about 969,113 (246)

On the separability of graphs [PDF]

Discrete Mathematics, 2013
Abstract Recently, Cicalese and Milanic introduced a graph-theoretic concept called separability. A graph is said to be k -separable if any two non-adjacent vertices can be separated by the removal of at most k vertices. The separability of a graph G is the least k for which G is k -separable.
Oliver Schaudt, Rainer Schrader, Vera Weil   +2 more
openaire   +2 more sources

Experimental investigation of anion exchange membrane water electrolysis for a tubular microbial electrosynthesis cell design

Catalysis Communications, 2022
Tubular water splitting electrolyzer was adapted to neutral pH conditions for the in-situ H2 supplying microbial electrosynthesis design. The electrolyzer was optimized to reduce ohmic losses and provide adequate gas separation.
Zhiyuan Chen, Asier Grijalvo Rodriguez, Pello Nunez, Diane van Houtven, Deepak Pant, Jan Vaes   +5 more
doaj   +1 more source

Probabilistic Modeling Paradigms for Audio Source Separation [PDF]

, 2010
This is the author's final version of the article, first published as E. Vincent, M. G. Jafari, S. A. Abdallah, M. D. Plumbley, M. E. Davies. Probabilistic Modeling Paradigms for Audio Source Separation. In W.
Davies, ME, Maria G. Jafari, Plumbley, MD, Samer A. Abdallah, Emmanuel Vincent, Mark D. Plumbley, Vincent, Emmanuel, Mike E. Davies, Plumbley, Mark, D., Vincent, E, Jafari, MG, Davies, Mike, E., Jafari, Maria, G., Abdallah, Samer, A., Abdallah, SA   +14 more
core   +1 more source

Effect of Cross-linking on Antifouling Properties for PVDF-g-PACMO Membranes

Cailiao gongcheng, 2017
In order to enhance the capability of resistant to protein adsorption of the copolymer membrane of polyacryloylmorpholine-graft-acryloylmorpholine(PVDF-g-PACMO), a crosslinking agent of ethylene glycoldimethacrylate(EGDMA) was added to prepare the ...
FENG Qian-qian, SHEN Xiang, HE Yang, ZHAO Yi-ping, YAN Fan-yong, CHEN Li   +5 more
doaj   +1 more source

Permission-based separation logic for message-passing concurrency [PDF]

, 2010
We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission-resources and define a reduction semantics for this extended language ...
Julian Rathke, Francalanza, Adrian, Julian Rathke B, Rathke, Julian, Adrian Francalanza A, Vladimiro Sassone, Sassone, Vladimiro, Vladimiro Sassone C, Adrian Francalanza   +8 more
core   +1 more source

Generic Separations

Journal of Computer and System Sciences, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lance Fortnow, Tomoyuki Yamakami
openaire   +3 more sources

Sound Source Separation [PDF]

, 2011
This is the author's accepted pre-print of the article, first published as G. Evangelista, S. Marchand, M. D. Plumbley and E. Vincent. Sound source separation. In U. Zölzer (ed.), DAFX: Digital Audio Effects, 2nd edition, Chapter 14, pp. 551-588.
S. Marchand, M. D. Plumbley, G. Evangelista, E. Vincent, Plumbley, MD, Evangelista, Gianpaolo, Vincent, Emmanuel, Marchand, Sylvain, Plumbley, Mark, D., Vincent, E, Evangelista, G, Marchand, S   +11 more
core   +1 more source

Assessing the UK experience functional separation in fixed telecommunications markets [PDF]

, 2008
This paper focuses on functional separation. After reviewing the literature on separation in its various guises and describing the circumstances that culminated in the creation of Openreach in the UK, the paper focuses on the implementation of the ...
Curwen, Peter, Curwen, P., Whalley, Jason, Whalley, J.   +3 more
core   +3 more sources

Selective Enzymatic Esterification of Lignin-Derived Phenolics for the Synthesis of Lipophilic Antioxidants

Antioxidants, 2023
Lignin is an abundant and renewable source of phenolic compounds that can be used as natural antioxidants to substitute synthetic, petroleum-based alternatives.
Marta Martinez-Garcia, Jaime Gracia-Vitoria, Karolien Vanbroekhoven, Winnie Dejonghe, Yamini Satyawali   +4 more
doaj   +1 more source

Unsteady separation past moving surfaces [PDF]

, 1998
Unsteady boundary-layer development over moving walls in the limit of infinite Reynolds number is investigated using both the Eulerian and Lagrangian formulations.
Degani, AT, Smith, FT, Walker, JDA
core