We study the problem of determinizing \(\omega \)-automata whose acceptance condition is defined on transitions using Boolean formulas, also known as transition-based Emerson-Lei automata (TELA). The standard approach to determinize TELA first constructs an equivalent generalized Buchi automaton (GBA), which later determinized. introduce three new ways translating GBA. Furthermore, we give a de...

We start with the discussion of the photosynthetic unit, based on the experiments of Emerson and Arnold (1932a, 1932b), continue with the first two-quantum proposal by Rabinowitch (1945, 1956), Emerson's Red drop (1943) and Emerson Enhancement Effect (1957) and various action spectra made for understanding the roles of the photosynthetic pigments. The experimental work of Kok (1959) and the the...

“Do not go where the path may lead, go instead where there is no path and leave a trail. Ralph Waldo Emerson” Paraphrasing Ralph Waldo Emerson, a 19th century New England philosopher and essayist, I shall try to show in this lecture how I have gone where there was no path and left a trail. It leads from trajectory studies of the reactions of small molecules to molecular dynamics simulations of ...