Prevalence of USPSTF Recommended Cancer Screenings Among Individuals Eligible For Lung Cancer Screening: An Analysis of the 2018 Behavioral Risk Factor Surveillance System Survey von Hirsch, EA, Zahnd, WE, Eberth, JM, Studts, JL

Volltext

A Prospective Pilot Study of Lung Cancer Screening in Patients at High Risk for Lung Cancer Who do not Meet Current Screening Guidelines von Hirsch, EA, Brown, SL, New, ML, Malkoski, SP

Volltext

Extended Resolution Proofs for Conjoining BDDs von Sinz, Carsten, Biere, Armin

Volltext

Radiation Therapy for Hypersalivation: A Prospective Study in 50 Amyotrophic Lateral Sclerosis Patients von Assouline, Avi, MD, Levy, Antonin, MD, Abdelnour-Mallet, Maya, PharmD, Gonzalez-Bermejo, Jesus, MD, PhD, Lenglet, Timothée, MD, Le Forestier, Nadine, MD, Salachas, François, MD, Bruneteau, Gaelle, MD, Meininger, Vincent, MD, PhD, Delanian, Sylvie, MD, PhD, Pradat, Pierre-François, MD, PhD

Volltext

Conjugacy and Equivalence of Weighted Automata and Functional Transducers von Béal, Marie-Pierre, Lombardy, Sylvain, Sakarovitch, Jacques

Volltext

Weighted Logics for Traces von Meinecke, Ingmar

Volltext

Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms von Rybakov, V.

Volltext

Evidence Reconstruction of Epistemic Modal Logic S5 von Rubtsova, Natalia

Volltext

UnitWalk: A new SAT solver that uses local search guided by unit clause elimination von Hirsch, Edward A., Kojevnikov, Arist

Volltext

Extending Dijkstra’s Algorithm to Maximize the Shortest Path by Node-Wise Limited Arc Interdiction von Khachiyan, Leonid, Gurvich, Vladimir, Zhao, Jihui

Volltext

Expressiveness of Metric Modalities for Continuous Time von Hirshfeld, Yoram, Rabinovich, Alexander

Volltext

Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT von Gramm, Jens, Hirsch, Edward A., Niedermeier, Rolf, Rossmanith, Peter

Volltext

Optimal Difference Systems of Sets with Multipliers von Tonchev, Vladimir D., Wang, Hao

Volltext

New Worst-Case Upper Bounds for SAT von Hirsch, Edward A

Volltext

Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover von Mölle, Daniel, Richter, Stefan, Rossmanith, Peter

Volltext

Polarized Subtyping for Sized Types von Abel, Andreas

Volltext

On the Frequency of Letters in Morphic Sequences von Saari, Kalle

Volltext

Capturing an Intruder in the Pyramid von Shareghi, Pooya, Imani, Navid, Sarbazi-Azad, Hamid

Volltext

Algebraic proof systems over formulas von Grigoriev, Dima, Hirsch, Edward A.

Volltext

On Nonforgetting Restarting Automata That Are Deterministic and/or Monotone von Messerschmidt, Hartmut, Otto, Friedrich

Volltext