Researcher profile

Slawomir Lasota

Slawomir Lasota contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

astro-ph.EP Computational Complexity Formal Languages and Automata Theory Performance Quantitative Methods

Trust snapshot

Quick read

Trust 17 - Baseline

4works

0followers

5topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

The TESS Grand Unified Hot Jupiter Survey. I. Ten TESS Planets

We report the discovery of ten short-period giant planets (TOI-2193A b, TOI-2207 b, TOI-2236 b, TOI-2421 b, TOI-2567 b, TOI-2570 b, TOI-3331 b, TOI-3540A b, TOI-3693 b, TOI-4137 b). All of the planets were identified as planet candidates based on periodic flux dips observed by NASA's Transiting Exoplanet Survey Satellite (TESS). The signals were confirmed to be from transiting planets using ground-based time-series photometry, high angular resolution imaging, and high-resolution spectroscopy coordinated with the TESS Follow-up Observing Program. The ten newly discovered planets orbit relatively bright F and G stars ($G < 12.5$,~$T_\mathrm{eff}$ between 4800 and 6200 K). The planets' orbital periods range from 2 to 10~days, and their masses range from 0.2 to 2.2 Jupiter masses. TOI-2421 b is notable for being a Saturn-mass planet and TOI-2567 b for being a ``sub-Saturn'', with masses of $0.322\pm 0.073$ and $0.195\pm 0.030$ Jupiter masses, respectively. In most cases, we have little information about the orbital eccentricities. Two exceptions are TOI-2207 b, which has an 8-day period and a detectably eccentric orbit ($e = 0.17\pm0.05$), and TOI-3693 b, a 9-day planet for which we can set an upper limit of $e < 0.052$. The ten planets described here are the first new planets resulting from an effort to use TESS data to unify and expand on the work of previous ground-based transit surveys in order to create a large and statistically useful sample of hot Jupiters.

preprint2015arXiv

Undecidability of performance equivalence of Petri nets

We investigate bisimulation equivalence on Petri nets under durational semantics. Our motivation was to verify the conjecture that in durational setting, the bisimulation equivalence checking problem becomes more tractable than in ordinary setting (which is the case, e.g., over communication-free nets). We disprove this conjecture in three of four proposed variants of durational semantics. The fourth variant remains an intriguing open problem.

preprint2013arXiv

Simulation Over One-counter Nets is PSPACE-Complete

One-counter nets (OCN) are Petri nets with exactly one unbounded place. They are equivalent to a subclass of one-counter automata with just a weak test for zero. Unlike many other semantic equivalences, strong and weak simulation preorder are decidable for OCN, but the computational complexity was an open problem. We show that both strong and weak simulation preorder on OCN are PSPACE-complete.

preprint2009arXiv

On subset seeds for protein alignment

We apply the concept of subset seeds proposed in [1] to similarity search in protein sequences. The main question studied is the design of efficient seed alphabets to construct seeds with optimal sensitivity/selectivity trade-offs. We propose several different design methods and use them to construct several alphabets. We then perform a comparative analysis of seeds built over those alphabets and compare them with the standard BLASTP seeding method [2], [3], as well as with the family of vector seeds proposed in [4]. While the formalism of subset seeds is less expressive (but less costly to implement) than the cumulative principle used in BLASTP and vector seeds, our seeds show a similar or even better performance than BLASTP on Bernoulli models of proteins compatible with the common BLOSUM62 matrix. Finally, we perform a large-scale benchmarking of our seeds against several main databases of protein alignments. Here again, the results show a comparable or better performance of our seeds vs. BLASTP.