A Higher-Order Iterative Path Ordering [PDF]
, 2008 The higher-order recursive path ordering ( HORPO ) defined by Jouannaud and Rubio provides a method to prove termination of higher-order rewriting. We present an iterative version of HORPO by means of an auxiliary term rewriting system, following an approach originally due to Bergstra and Klop.
Cynthia Kop, Femke van Raamsdonk
openaire +3 more sources
The Shewanella oneidensis Fic enzyme SoFic targets the switch‐I region of EF‐Tu for AMPylation
FEBS Letters, EarlyView.Fic enzymes mediate diverse post‐translational modifications across all domains of life, including AMPylation. Prokaryotic EF‐Tu can be AMPylated and deAMPylated by the conserved Fic enzyme SoFic. Structural and biochemical approaches were used to characterize the effect of AMPylation on EF‐Tu, SoFic's enzymatic activities, and the enzyme‐target ...
Svenja Runge +6 more
wiley +1 more source
Chiral separation of chloroalkanes with the chromatographic column onboard Martian rovers
FEBS Letters, EarlyView.Computer image of the Rosalind Franklin Rover of ESA's ExoMars mission. ExoMars is scheduled to land on planet Mars in Oxia Planum in 2029. This area represents an interesting spot to look for biosignatures. Investigations of ExoMars include measurement on molecular chirality. We show that chiral chloroalkanes, that have been identified on Mars, can be
Asma Merzougui +4 more
wiley +1 more source
Implementation of Higher-Order Two-Dimensional Singular Elements in FEM codes and Numerical Results problems [PDF]
, 2003 This paper presents strategies and schemes to implement higher-order two dimensional singular elements in Finite Elements codes.
Lombardi, Guido
core
FEBS Letters, EarlyView.Synechocystis strains deficient in succinate dehydrogenase (SDH) secrete more succinate than the WT under dark anaerobic conditions, supporting that SDH then primarily acts as SDH, not as a fumarate reductase. L‐aspartate oxidase (Laspo) from Synechocystis is functional under anaerobic conditions, reducing fumarate to succinate.
Kateryna Kukil +3 more
wiley +1 more source
HOT [Higher Order Thinking Network newsletter]. #5. 2014: Summer.
, 2013 Quarterly; Began with issue 01 (spring 2013).; Newsletter of the Higher Order Thinking Schools Network.; Harvested from the web on 6/13 ...
Higher Order Thinking Schools Network (Conn.),
core
Creative Activities and Students’ Higher Order Thinking Skills [PDF]
, 2010 This study investigated the effects of creative activities on high school chemistry students’ higher order thinking skills. Sixty (60) students were assigned randomly into Instruction with Creative Activities (ICA) group and Instruction with No ...
Ramirez, Rachel Patricia B. +1 more
core
Exponentially accurate solution tracking for nonlinear ODEs, the higher order Stokes phenomenon and double transseries resummation [PDF]
, 2012 We demonstrate the conjunction of new exponential-asymptotic effects in the context of a second order nonlinear ordinary differential equation with a small parameter.
Olde Daalhuis, Adri +3 more
core +1 more source
Leucine‐rich glioma inactivated 1 (LGI1) is a ganglioside‐binding protein
FEBS Letters, EarlyView.Neuronal hyperexcitability associated with a decrease/absence of the extracellular protein LGI1 has been suggested to be primarily due to the downregulation of Kv1 channel expression. The molecular mechanisms underlying this decrease have not yet been elucidated.
Kévin Debreux +7 more
wiley +1 more source
HOT [Higher Order Thinking Network newsletter]. #4. 2014: Spring.
, 2013 Quarterly; Began with issue 01 (spring 2013).; Newsletter of the Higher Order Thinking Schools Network.; Harvested from the web on 6/13 ...
Higher Order Thinking Schools Network (Conn.),
core