Filters
MALDI-MS imaging of lipid C=C positional isomers enabled by on-tissue Paterno-Büchi photo-derivatization
The talk covered the topic of an “on-tissue” Paterno-Büchi reaction for the visualization of the distribution of C=C positional isomers of lipids by MALDI MS imaging....
Analytical chemistry
- 2018 •
- O
Rok uplatnění
O - Ostatní výsledky
Paterno-Büchi reaction for MALDI MSI mapping of lipid carbon-carbon double bond positional isomers
Current MALDI mass spectrometry imaging techniques are routinely used to map distribution of phospholipids inn tissues, but are generally blind to the biologically relevant carbon-carbon double bond positional isomers. To map distribution of these is...
Analytical chemistry
- 2019 •
- O
Rok uplatnění
O - Ostatní výsledky
Almost Linear Büchi Automata
We introduce a new class of Büchi automata (BA) called Almost linear Büchi automata (ALBA) and a corresponding fragment of Linear temporal logic (LTL) called LIO....
IN - Informatika
- 2010 •
- O
Rok uplatnění
O - Ostatní výsledky
LTL to Büchi Automata: Improved Once Again
We present an improvement of an algorithm translating LTL formulae into Büchi automata via alternating automata. In particular, we improve the transformation of alternating Büchi automata to generalized Büchi automata, wher...
IN - Informatika
- 2010 •
- O
Rok uplatnění
O - Ostatní výsledky
Tighter Construction of Tight Büchi Automata
synthesis. There exists a translation of LTL formulas to tight Büchi automata and several translations of Büchi automata to equivalent tight Büchi automata. This paper presents another translation of Büchi automat...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Is there a best Büchi automaton for explicit model checking?
LTL to Büchi automata (BA) translators are traditionally optimized to produce automata with a small number of states or a small number of non-deterministic states. In this paper, we search for properties of Büchi automata that reall...
IN - Informatika
- 2014 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
LTL to Büchi Automata Translation: Fast and More Deterministic
We introduce improvements in the algorithm by Gastin and Oddoux translating LTL formulae into Büchi automata via very weak alternating co-Büchi automata and generalized Büchi automata. Several improvements are based on spec...
IN - Informatika
- 2012 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Almost Linear Büchi Automata
We introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Büchi automata (BA) called Almost linear Büchi automata (ALBA). We provide effective translations between LIO and ALBA showing that the two for...
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Location of Double or Triple Bonds in Lipids Using Mass Spectrometry, Part I
derivatizations, ozonolysis, and the Paternò-Büchi reaction., and in more complex samples. These methods are mostly based on derivatization reactions......
Analytical chemistry
- 2023 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
LTL to Smaller Self-Loop Alternating Automata and Back
Self-loop alternating automata (SLAA) with Büchi or co-Büchi acceptance are popular intermediate formalisms in translations of LTL to deterministic or nondeterministic automata. This paper considers SLAA with generic transition-base...
Computer and information sciences
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 out of 29 685