Results 91 to 100 of about 4,218,234 (309)
Integrating User Design and Formal Models within PVSio-Web [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logically and consistently.
Nathaniel Watson +2 more
doaj +1 more source
FEBS Letters, EarlyView.How do genomes gain new functional parts? In eukaryotes, which tend to evolve under weak selection, much of the genome is junk. Palazzo and Qiu borrow the logic of Markov chains to show how non‐functional DNA becomes functional through the appearance of intermediate states, which arise due to epistasis, buffering, and biochemical messiness, allowing ...
Alexander F. Palazzo, Yi Qiu
wiley +1 more source
A General Method for Drawing Area-Proportional Euler Diagrams [PDF]
, 2011 Area-proportional Euler diagrams have many applications, for example they are often used for visualizing data in medical and biological domains. There have been a number of recent research efforts to automatically draw Euler diagrams when the areas of ...
Howse, John +5 more
core +1 more source
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
Diagrams to Facilitate the Design of Riveted Joints for Boiler Work [PDF]
Proceedings of the Institution of Mechanical Engineers, 1898 n ...
openaire +2 more sources
Recognising Sketches of Euler Diagrams Augmented with Graphs [PDF]
, 2011 Euler diagrams form the basis of many visual languages. Such languages are formed by augmenting Euler diagrams with graphs or shading. However, tool support for creating augmented Euler diagrams is generally limited to generic diagram editing software ...
Rodgers, Peter +5 more
core
The Impact of Shape on the Perception of Euler Diagrams [PDF]
, 2014 Euler diagrams are often used for visualizing data collected into sets. However, there is a significant lack of guidance regarding graphical choices for Euler diagram layout.
Howse, John +10 more
core +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
Fragments of Spider Diagrams of Order and their Relative Expressiveness [PDF]
, 2010 Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparisons with other notations. Various expressiveness results for diagrammatic logics are
Simon Thompson +7 more
core +1 more source
Structural Mechanics of Engineering Constructions and Buildings, 2011 A model of centrifugal pump, working both: as a boarder element and in ring schemes is described. Analysis of pressure oscillations, depending on inertia pump moment and Suter diagrams is given.
F V Rekach
doaj