Zobrazeno 1 - 10
of 242
pro vyhledávání: '"Lasota, Sławomir"'
Autor:
Kamiński, Łukasz, Lasota, Sławomir
We investigate Petri nets with data, an extension of plain Petri nets where tokens carry values from an infinite data domain, and executability of transitions is conditioned by equalities between data values. We provide a decision procedure for the b
Externí odkaz:
http://arxiv.org/abs/2405.16176
Autor:
Herbert, Carys, Froebrich, Dirk, Vanaverbeke, Siegfried, Scholz, Aleks, Eislöffel, Jochen, Urtly, Thomas, Walton, Ivan L., Wiersema, Klaas, Quinn, Nick J., Piehler, Georg, Aimar, Mario Morales, García, Rafael Castillo, Vanmunster, Tonny, Alfaro, Francisco C. Soldán, de la Cuesta, Faustino García, Licchelli, Domenico, Perez, Alex Escartin, Mañanes, Esteban Fernández, Ribes, Noelia Graciá, González, José Luis Salto, Futcher, Stephen R. L., Nelson, Tim, Dvorak, Shawn, Moździerski, Dawid, Kotysz, Krzysztof, Mikołajczyk, Przemysław, Fleming, George, Phillips, Mark, Vale, Tony, Dubois, Franky, Eggenstein, Heinz-Bernd, Heald, Michael A., Lewin, Pablo, OKeeffe, Derek, Popowicz, Adam, Bernacki, Krzysztof, Malcher, Andrzej, Lasota, Slawomir, Fiolka, Jerzy, Dustor, Adam, Percy, Stephen C., Devine, Pat, Patel, Aashini L., Dickers, Matthew D., Dover, Lord, Grozdanova, Ivana I., Urquhart, James S., Lynch, Chris J. R.
We present spot properties on 32 periodic young stellar objects in IC 5070. Long term, $\sim$5 yr, light curves in the $V$, $R$, and $I$-bands are obtained through the HOYS (Hunting Outbursting Young Stars) citizen science project. These are dissecte
Externí odkaz:
http://arxiv.org/abs/2403.10595
Autor:
Ghosh, Arka, Lasota, Sławomir
We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables come from a countable logical structure A, and embeddings from A to A act on polynomials by renaming variables. F
Externí odkaz:
http://arxiv.org/abs/2402.17604
Autor:
Froebrich, Dirk, Scholz, Aleks, Campbell-White, Justyn, Vanaverbeke, Siegfried, Herbert, Carys, Eislöffel, Jochen, Urtly, Thomas, Long, Timothy P., Walton, Ivan L., Wiersema, Klaas, Quinn, Nick J., Rodda, Tony, González-Carballo, Juan-Luis, Aimar, Mario Morales, García, Rafael Castillo, Alfaro, Francisco C. Soldán, de la Cuesta, Faustino García, Licchelli, Domenico, Perez, Alex Escartin, González, José Luis Salto, Deldem, Marc, Futcher, Stephen R. L., Nelson, Tim, Dvorak, Shawn, Moździerski, Dawid, Kotysz, Krzysztof, Mikołajczyk, Przemysław, Fleming, George, Phillips, Mark, Vale, Tony, Öğmen, Yenal, Dubois, Franky, Rolfe, Samantha M., Campbell, David A., Eggenstein, Heinz-Bernd, Hambsch, Franz-Josef, Heald, Michael A., Lewin, Pablo, Rose, Adam C., Stone, Geoffrey, Crow, Martin Valentine, Dawes, Simon Francis, OKeeffe, Derek, Popowicz, Adam, Bernacki, Krzysztof, Malcher, Andrzej, Lasota, Slawomir, Fiolka, Jerzy, Dustor, Adam, Vajpayee, Amritanshu, Devine, Pat, Kolb, Matthias, Marquette, Jean-Baptiste, Ruppel, Gregg L., Crowson, Dan R., da Silva, Cledison Marcos, Michaud, Michel, Patel, Aashini L., Dickers, Matthew D., Dover, Lord, Grozdanova, Ivana I., Urquhart, James S., Lynch, Chris J. R.
The Hunting Outbursting Young Stars (HOYS) project performs long-term, optical, multi-filter, high cadence monitoring of 25 nearby young clusters and star forming regions. Utilising Gaia DR3 data we have identified about 17000 potential young stellar
Externí odkaz:
http://arxiv.org/abs/2401.16883
We investigate the dimension-parametric complexity of the reachability problem in vector addition systems with states (VASS) and its extension with pushdown stack (pushdown VASS). Up to now, the problem is known to be $\mathcal{F}_k$-hard for VASS of
Externí odkaz:
http://arxiv.org/abs/2310.09008
Autor:
Hord, Benjamin J., Kempton, Eliza M. -R., Mikal-Evans, Thomas, Latham, David W., Ciardi, David R., Dragomir, Diana, Colón, Knicole D., Ross, Gabrielle, Vanderburg, Andrew, de Beurs, Zoe L., Collins, Karen A., Watkins, Cristilyn N., Bean, Jacob, Cowan, Nicolas B., Daylan, Tansu, Morley, Caroline V., Ih, Jegug, Baker, David, Barkaoui, Khalid, Batalha, Natalie M., Behmard, Aida, Belinski, Alexander, Benkhaldoun, Zouhair, Benni, Paul, Bernacki, Krzysztof, Bieryla, Allyson, Binnenfeld, Avraham, Bosch-Cabot, Pau, Bouchy, François, Bozza, Valerio, Brahm, Rafael, Buchhave, Lars A., Calkins, Michael, Chontos, Ashley, Clark, Catherine A., Cloutier, Ryan, Cointepas, Marion, Collins, Kevin I., Conti, Dennis M., Crossfield, Ian J. M., Dai, Fei, de Leon, Jerome P., Dransfield, Georgina, Dressing, Courtney, Dustor, Adam, Esquerdo, Gilbert, Evans, Phil, Fajardo-Acosta, Sergio B., Fiołka, Jerzy, Forés-Toribio, Raquel, Frasca, Antonio, Fukui, Akihiko, Fulton, Benjamin, Furlan, Elise, Gan, Tianjun, Gandolfi, Davide, Ghachoui, Mourad, Giacalone, Steven, Gilbert, Emily A., Gillon, Michaël, Girardin, Eric, Gonzales, Erica, Horta, Ferran Grau, Gregorio, Joao, Greklek-McKeon, Michael, Guerra, Pere, Hartman, J. D., Hellier, Coel, Hełminiak, Krzysztof G., Henning, Thomas, Hill, Michelle L., Horne, Keith, Howard, Andrew W., Howell, Steve B., Huber, Daniel, Isaacson, Howard, Isopi, Giovanni, Jehin, Emmanuel, Jenkins, Jon M., Jensen, Eric L. N., Johnson, Marshall C., Jordán, Andrés, Kane, Stephen R., Kielkopf, John F., Krushinsky, Vadim, Lasota, Sławomir, Lee, Elena, Lewin, Pablo, Livingston, John H., Lubin, Jack, Lund, Michael B., Mallia, Franco, Mann, Christopher R., Marino, Giuseppe, Maslennikova, Nataliia, Massey, Bob, Matson, Rachel, Matthews, Elisabeth, Mayo, Andrew W., Mazeh, Tsevi, McLeod, Kim K., Michaels, Edward J., Močnik, Teo, Mori, Mayuko, Mraz, Georgia, Muñoz, Jose A., Narita, Norio, Nielsen, Louise Dyregaard, Osborn, Hugh, Palle, Enric, Panahi, Aviad, Papini, Riccardo, Polanski, Alex S., Popowicz, Adam, Pozuelos, Francisco J., Quinn, Samuel N., Radford, Don J., Reed, Phillip A., Relles, Howard M., Rice, Malena, Robertson, Paul, Rodriguez, Joseph E., Rosenthal, Lee J., Rubenzahl, Ryan A., Schanche, Nicole, Schlieder, Joshua, Schwarz, Richard P., Sefako, Ramotholo, Shporer, Avi, Sozzetti, Alessandro, Srdoc, Gregor, Stockdale, Chris, Tarasenkov, Alexander, Tan, Thiam-Guan, Timmermans, Mathilde, Ting, Eric B., Van Zandt, Judah, Vignes, JP, Waite, Ian, Watanabe, Noriharu, Weiss, Lauren M., Wittrock, Justin, Zhou, George, Ziegler, Carl, Zucker, Shay
JWST has ushered in an era of unprecedented ability to characterize exoplanetary atmospheres. While there are over 5,000 confirmed planets, more than 4,000 TESS planet candidates are still unconfirmed and many of the best planets for atmospheric char
Externí odkaz:
http://arxiv.org/abs/2308.09617
Autor:
Czerwiński, Wojciech, Keskin, Eren, Lasota, Sławomir, Meyer, Roland, Muskalla, Sebastian, Kumar, K Narayan, Saivasan, Prakash
We study the languages recognized by well-structured transition systems (WSTS) with upward and downward compatibility. Our first result shows that every pair of disjoint WSTS languages is regularly separable: there is a regular language containing on
Externí odkaz:
http://arxiv.org/abs/2305.02736
Autor:
Froebrich, Dirk, Hillenbrand, Lynne A., Herbert, Carys, De, Kishalay, Eislöffel, Jochen, Campbell-White, Justyn, Kahar, Ruhee, Hambsch, Franz-Josef, Urtly, Thomas, Popowicz, Adam, Bernacki, Krzysztof, Malcher, Andrzej, Lasota, Slawomir, Fiolka, Jerzy, Jozwik-Wabik, Piotr, Dubois, Franky, Logie, Ludwig, Rau, Steve, Phillips, Mark, Fleming, George, Farfán, Rafael Gonzalez, Alfaro, Francisco C. Soldán, Nelson, Tim, Futcher, Stephen R. L., Rolfe, Samantha M., Campbell, David A., Vale, Tony, Devine, Pat, Moździerski, Dawid, Mikołajczyk, Przemysław J., Eggenstein, Heinz-Bernd, Rodriguez, Diego, Walton, Ivan L, Vanaverbeke, Siegfried, Merrikin, Barry, Öğmen, Yenal, Perez, Alex Escartin, Aimar, Mario Morales, Piehler, Georg, Dover, Lord, Patel, Aashini L., Miller, Niall, Finch, Jack, Hankins, Matt, Moore, Anna M., Travouillon, Tony, Szczepanski, Marek
This paper is one in a series reporting results from small telescope observations of variable young stars. Here, we study the repeating outbursts of three likely Be stars based on long-term optical, near-infrared, and mid-infrared photometry for all
Externí odkaz:
http://arxiv.org/abs/2302.02696
An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of linear inequ
Externí odkaz:
http://arxiv.org/abs/2302.00802
Autor:
Yee, Samuel W., Winn, Joshua N., Hartman, Joel D., Rodriguez, Joseph E., Zhou, George, Quinn, Samuel N., Latham, David W., Bieryla, Allyson, Collins, Karen A., Addison, Brett C., Angelo, Isabel, Barkaoui, Khalid, Benni, Paul, Boyle, Andrew W., Brahm, Rafael, Butler, R. Paul, Ciardi, David R., Collins, Kevin I., Conti, Dennis M., Crane, Jeffrey D., Dai, Fei, Dressing, Courtney D., Eastman, Jason D., Essack, Zahra, Forés-Toribio, Raquel, Furlan, Elise, Gan, Tianjun, Giacalone, Steven, Gill, Holden, Girardin, Eric, Henning, Thomas, Henze, Christopher E., Hobson, Melissa J., Horner, Jonathan, Howard, Andrew W., Howell, Steve B., Huang, Chelsea X., Isaacson, Howard, Jenkins, Jon M., Jensen, Eric L. N., Jordán, Andrés, Kane, Stephen R., Kielkopf, John F., Lasota, Slawomir, Levine, Alan M., Lubin, Jack, Mann, Andrew W., Massey, Bob, McLeod, Kim K., Mengel, Matthew W., Muñoz, Jose A., Murgas, Felipe, Palle, Enric, Plavchan, Peter, Popowicz, Adam, Radford, Don J., Ricker, George R., Rowden, Pamela, Safonov, Boris S., Savel, Arjun B., Schwarz, Richard P., Seager, S., Sefako, Ramotholo, Shporer, Avi, Srdoc, Gregor, Strakhov, Ivan S., Teske, Johanna K., Tinney, C. G., Tyler, Dakotah, Wittenmyer, Robert A., Zhang, Hui, Ziegler, Carl
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 per
Externí odkaz:
http://arxiv.org/abs/2205.09728