![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Experimental study of gravity currents moving over a sediment bed: suspension criterion and bed forms
In many natural settings, gravity currents flow over a mobile sediment bed as in fluvial outflows into lakes and reservoirs or in submarine canyons in coastal regions. We present experimental results which cla...
-
Article
Field Investigation of Flavored Kombucha’s Shelf Life Unveils High Sensitivity of Microbial Dynamics Towards Assimilable Nitrogen
Achieving both the maintenance of the highest live microbial population possible, while limiting the production of ethanol and overpressure in kombucha bottles, constitutes a challenge that requires gaining in...
-
Article
Open AccessMineral analysis of Corymbia maculata plantlets: a shortcut to optimize the mineral concentrations in tissue culture media
Many plants of commercial interest are propagated in tissue culture, with some presenting difficulties in their mineral balance. Historically, this issue has been addressed by varying the mineral composition o...
-
Article
WallFlex® and Evolution® Duodenal Stents Have Similar Efficacy but Different Safety for Malignant Gastric Outlet Obstruction
The WallFlex® and Evolution® stents are the most widely used duodenal stents, but no study has compared them.
-
Article
Dilatation of the main pancreatic duct of unknown origin: causes and risk factors of pre-malignancy or malignancy
A dilatation of the main pancreatic duct (MPD) is mainly due to obstructive causes (pancreatic tumor, chronic pancreatitis) or intraductal papillary mucinous neoplasm (IPMN). This study aims to assess the risk...
-
Article
Go2Pins: a framework for the LTL verification of Go programs (extended version)
We introduce Go2Pins, a tool that takes a program written in Go and links it with two model checkers: LTSMin (Kant et al. Ltsmin: high-performance language-independent model checking. In: TACAS’15, pp. 692–707...
-
Chapter and Conference Paper
Impact of the Performance of the Asphalt Concrete and the Geogrid Materials on the Fatigue of Geogrid-Reinforced Asphalt Concrete—Experimental Study
Geogrids are used in asphalt layers in transportation infrastructure since 1980s. Various authors describe this kind of interlayer systems that are used to reduce reflective cracking and increase fatigue life....
-
Chapter and Conference Paper
From Spot 2.0 to Spot 2.10: What’s New?
Spot is a C++17 library for LTL and \(\omega \) ω -automata manipulation, wi...
-
Article
Conserved residue PsaB-Trp673 is essential for high-efficiency electron transfer between the phylloquinones and the iron-sulfur clusters in Photosystem I
Despite the high level of symmetry between the PsaA and PsaB polypeptides in Photosystem I, some amino acids pairs are strikingly different, such as PsaA-Gly693 and PsaB-Trp673, which are located near a cluste...
-
Article
Open AccessInferring and analyzing gene regulatory networks from multi-factorial expression data: a complete and interactive suite
High-throughput transcriptomic datasets are often examined to discover new actors and regulators of a biological response. To this end, graphical interfaces have been developed and allow a broad range of users...
-
Chapter and Conference Paper
Improve Creativity in Future-Oriented Design with the Prospective Persona
As ergonomics is confronted with future-oriented design projects, ergonomists must investigate how design could create novel and adapted ideas. In often ill-defined contexts, prospective ergonomics proposes to...
-
Chapter and Conference Paper
Go2Pins: A Framework for the LTL Verification of Go Programs
We introduce Go2Pins, a tool that takes a program written in Go and links it with two model-checkers: LTSMin [19] and Spot [7]. Go2Pins is an effort to promote the integration of both formal verification and test...
-
Article
Stabilization of β-catenin upon B-cell receptor signaling promotes NF-kB target genes transcription in mantle cell lymphoma
B-cell receptor (BCR) signaling pathways and interactions with the tumor microenvironment account for mantle cell lymphoma (MCL) cells survival in lymphoid organs. In several MCL cases, the WNT/β-catenin canon...
-
Chapter and Conference Paper
Hydrogen Energy Technologies’ Acceptance Review and Perspective: Toward a Needs’ Anticipation Approach
As preoccupation for climate change is of growing significance and call for disruptive innovation [20], Hydrogen Energy Technologies (HET) have been steeply identified as a potential key factor to address the en...
-
Article
Open AccessPolycomb Repressive Complex 2 attenuates the very high expression of the Arabidopsis gene NRT2.1
PRC2 is a major regulator of gene expression in eukaryotes. It catalyzes the repressive chromatin mark H3K27me3, which leads to very low expression of target genes. NRT2.1, which encodes a key root nitrate transp...
-
Chapter and Conference Paper
Geometric Determination of the Cable-Cylinder Interference Regions in the Workspace of a Cable-Driven Parallel Robot
Cable-Driven Parallel Robots (CDPRs) are a type of parallel robots that have the particularity of using cables as legs. CDPRs have several advantages such as large workspaces, high acceleration and high payloa...
-
Article
Open AccessTE-Tracker: systematic identification of transposition events through whole-genome resequencing
Transposable elements (TEs) are DNA sequences that are able to move from their location in the genome by cutting or copying themselves to another locus. As such, they are increasingly recognized as impacting a...
-
Article
Reconstructing de novo silencing of an active plant retrotransposon
Olivier Voinnet and colleagues characterize the sequence of molecular events underyling the activation, proliferation and eventual silencing of an endogenous retrotransposon in Arabidopsis thaliana. They further ...
-
Article
Open AccessTargeting early B-cell receptor signaling induces apoptosis in leukemic mantle cell lymphoma
We previously showed that B-cell receptor (BCR) signaling pathways are important for in vitro survival of mantle cell lymphoma (MCL) cells. To further identify early BCR-activated signaling pathways involved in M...
-
Article
Liquidity-saving mechanisms in collateral-based RTGS payment systems
This paper studies banks’ incentives regarding the timing of payment submissions in a collateral-based RTGS payment system and how these incentives change with the introduction of a liquidity-saving mechanism ...