Results 81 to 90 of about 685,157 (352)

Improving Saturation-based Bounded Model Checking

Acta Cybernetica, 2016
Formal verification is becoming a fundamental step in assuring thecorrectness of safety-critical systems. Since these systems are oftenasynchronous and even distributed, their verification requires methodsthat can deal with huge or even infinite state spaces.
Dániel Darvas, András Vörös, Tamás Bartha   +2 more
openaire   +3 more sources

Rethinking plastic waste: innovations in enzymatic breakdown of oil‐based polyesters and bioplastics

FEBS Open Bio, EarlyView.
Plastic pollution remains a critical environmental challenge, and current mechanical and chemical recycling methods are insufficient to achieve a fully circular economy. This review highlights recent breakthroughs in the enzymatic depolymerization of both oil‐derived polyesters and bioplastics, including high‐throughput protein engineering, de novo ...
Elena Rosini, Nicolò Antonelli, Gianluca Molla   +2 more
wiley   +1 more source

Experiences with liming in European countries - results of long-term experiments

Journal of Forest Science, 2006
Liming was and still is carried out in many European forests since the beginning of the 1980s. Main objectives of compensation liming is to neutralize actual acidic deposition in order to prevent further soil acidification, to increase base saturation ...
W. Schaaf, R. F. Hüttl
doaj   +1 more source

Numerical interpretation of the coupled hydromechanical behaviour of expansive clays in constant volume column tests [PDF]

, 2015
© The authors and ICE Publishing: All rights reserved, 2015.Experimental and numerical studies of the behaviour of expansive clays have been attracting increasing interest, due to their good sealing properties, which render them ideal to be used as ...
Mantikos, V, Potts, DM, Taborda, DMG, Tsiampousi, A   +3 more
core   +1 more source

ATP13A2 is involved in intracellular polyamine transport in lung epithelial cells

FEBS Open Bio, EarlyView.
Spermidine transport in lung epithelial cells involves the polyamine transporter ATP13A2. Cell proliferation is associated with the upregulation of ATP13A2. Polyamines are present in all living cells and are implicated in various crucial cellular processes such as proliferation, apoptosis and autophagy.
Yuta Hatori, Kohei Kawabata, Takanori Kubo, Takeo Kitazawa, Sae Kanai, Madoka Iwashita, Ami Hayashi, Hiroyuki Nishi, Mikihisa Takano   +8 more
wiley   +1 more source

Effect of sedimentary heterogeneities in the sealing formation on predictive analysis of geological CO₂ storage [PDF]

, 2019
Numerical models of geologic carbon sequestration (GCS) in saline aquifers use multiphase fluid flow-characteristic curves (relative permeability and capillary pressure) to represent the interactions of the non-wetting CO2 and the wetting brine. Relative
Alkan, Amann-Hildenbrand, Amann-Hildenbrand, Anderson, André, Armitage, Bachu, Bastin, Bear, Bennion, Bielicki, Birkholzer, Birkholzer, Bloomfield, Brooks, Burnside, Cameron, Carsel, Class, Deng, Dewhurst, Dewhurst, Doughty, Ducellier, Folk, Handin, Harrington, Hayley Vosper, Hobbs, Howard, IEAGHG, IPCC, John D.O. Williams, Kaldi, Khan, Lenhard, Liu, Michael U. Onoja, Middleton, Miri, Mori, Newell, Nicot, Niemi, Noy, Okwen, Oldenburg, Onoja, Oostrom, Orlic, Orr, Peters, Rutqvist, Rutqvist, Schlumberger, Seedhouse, Seyed M. Shariatipour, Shariatipour, Shariatipour, Shukla, Smith, Standing, Stow, Van Genuchten, Vilarrasa, Williams, Yamamoto, Yang, Yang, Zhang   +69 more
core   +2 more sources

Mycobacterial cell division arrest and smooth‐to‐rough envelope transition using CRISPRi‐mediated genetic repression systems

FEBS Open Bio, EarlyView.
CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point, Wafaa Achache, Janïs Laudouze, Eliana Sepulveda Ramos, Mickaël Maziero, Céline Crauste, Stéphane Canaan, Pierre Santucci   +7 more
wiley   +1 more source

A semi-empirical dynamic soil acidification model for use in spatially explicit integrated assessment models for Europe [PDF]

A semi-empirical soil acidification model was developed for use in integrated assessment models on a European scale. The model simulates the time development of base saturation and aluminium concentration using an empirical relationship with pH.
Posch, M., Reinds, G.J., Vries, W., de
core  

Compaction behaviour of clay [PDF]

, 2008
This paper presents an experimental study of the compaction behaviour of non-active clay. One-dimensional static compaction tests were carried out at high and medium water content with matric suction monitoring using Trento high-capacity tensiometers. At
De Col, E., Tarantino, Alessandro
core   +1 more source

Tumor‐stromal crosstalk and macrophage enrichment are associated with chemotherapy response in bladder cancer

FEBS Open Bio, EarlyView.
Chemoresistance in bladder cancer: Macrophage recruitment associated with CXCL1, CXCL5 and CXCL8 expression is characteristic of Gemcitabine/Cisplatin (Gem/Cis) Non‐Responder tumors (right side) while Responder tumors did not show substantial tumor‐stromal crosstalk (left side). All biological icons are attributed to Bioicons: carcinoma, cancerous‐cell‐
Sophie Leypold, Janik Riese, Lancelot Seillier, Mark Kühnel, Julia Pannhausen, Charlotte O. J. Fröhlich, Christian Martin, Peter Boor, Matthias Saar, Danny D. Jonigk, Nadine T. Gaisa, Michael Rose   +11 more
wiley   +1 more source