SAT Solving for Argument Filterings
, 2006 This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for termination analysis of term rewrite systems based on the dependency pair method.
Codish, Michael +4 more
core +4 more sources
Habitat connectivity in reef fish communities and marine reserve design in Old Providence-Santa Catalina, Colombia [PDF]
, 2003 On the insular platform of Old Providence/Santa Catalina, Colombia, we compared nearshore lagoonal patch reefs to those on the northern bank distant from the islands to determine the importance of habitat connectivity to fish community structure ...
Appeldoorn, R.S. +4 more
core +2 more sources
Knowledge and Management of Aquatic Ecosystems, 2020 In a Chaetomorpha linum high density mat extending over 300 hectares, between 2017 and 2019 samples were collected for C, N, P, S tissue content determination, biomass (b) was estimated, sediment samples collected for labile organic matter (LOM ...
Lenzi Mauro +2 more
doaj +1 more source
Sedimentary processes in the Thau Lagoon (France): From seasonal to century time scales [PDF]
, 2007 As a part of the MICROBENT programme, an investigation of the sedimentation framework was carried out at the water-sediment interface in the Thau Lagoon (French Mediterranean coast). Two main sites, C4 in the middle of the lagoon and C5 near oyster farms,
Gilbert, Franck +6 more
core +4 more sources
Long term trend of chemical oxygen demand in Saroma-ko Lagoon, Japan; possible effects of climatic warming [PDF]
, 2008 A trend of shortening duration of ice coverage has been reported in many rivers, ponds and lakes around the world due to climatic warming. The shortening will have much influence on organic production due to the greater supply of light intensity and ...
Akihiro Shiomoto
core +2 more sources
Cultivating the macroalgal holobiont: effects of integrated multi-trophic aquaculture on the microbiome of Ulva rigida (chlorophyta) [PDF]
, 2020 Ulva is a ubiquitous macroalgal genus of commercial interest. Integrated Multi-Trophic Aquaculture (IMTA) systems promise large-scale production of macroalgae due to their high productivity and environmental sustainability.
Abreu, Maria Helena +4 more
core +2 more sources
Effects of external nutrient sources and extreme weather events on the nutrient budget of a Southern European coastal lagoon [PDF]
, 2016 The seasonal and annual nitrogen (N), phosphorus (P), and carbon (C) budgets of the mesotidal Ria Formosa lagoon, southern Portugal, were estimated to reveal the main inputs and outputs, the seasonal patterns, and how they may influence the ecological ...
A Cravo +71 more
core +1 more source
Multifunctional Microstructured Surfaces by Microcontact Printing of Reactive Microgels
Advanced Functional Materials, EarlyView.Reactive poly(N‐vinylcaprolactam‐co‐glycidyl methacrylate) microgels are used as functional inks to create surface‐grafted arrays on glass via microcontact printing. The patterns (10–50 µm widths and spacings) enable stable binding and post‐functionalization with dyes and peptides.
Inga Litzen +4 more
wiley +1 more source
Development of a Synthetic 3D Platform for Compartmentalized Kidney In Vitro Disease Modeling
Advanced Healthcare Materials, EarlyView.A fully synthetic, compartmentalized 3D kidney disease model is introduced. The kidney model combines a PEG‐based hydrogel matrix with anisotropic, enzymatically degradable rod‐shaped microgels to spatially arrange a triple co‐culture of key renal epithelial, endothelial, and fibroblast cells.
Ninon Möhl +8 more
wiley +1 more source
Journal of Infection and Public Health, 2017 Enterococcus faecalis ranks as one of the leading causes of nosocomial infections. A strong epidemiological link has been reported between E. faecalis inhabiting animals and environmental sources. This study investigates the genetic diversity, antibiotic
Diane S. Daniel +4 more
doaj +1 more source