Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Kremer GE"'
Autor:
Kremer Gereon, Ábrahám Erika
Publikováno v:
Acta Universitatis Sapientiae: Informatica, Vol 10, Iss 1, Pp 5-25 (2018)
In this paper we present the latest developments in SMT-RAT, a tool for the automated check of quantifier-free real and integer arithmetic formulas for satisfiability. As a distinguishing feature, SMT-RAT provides a set of solving modules and support
Externí odkaz:
https://doaj.org/article/e41d7489e48744bea751ccba3d721b72
Autor:
Jończyk R; Adam Mickiewicz University, Poznań, Poland. Electronic address: rafal.jonczyk@wa.amu.edu.pl., Dickson DS; Department of Psychology, The Pennsylvania State University, University Park, PA, USA., Bel-Bahar TS; Department of Psychiatry, Icahn School of Medicine at Mount Sinai, New York, NY, USA., Kremer GE; Department of Industrial and Manufacturing Systems Engineering, Iowa State University, Ames, IA, USA., Siddique Z; The School of Aerospace and Mechanical Engineering, University of Oklahoma, Norman, OK, USA., van Hell JG; Department of Psychology, The Pennsylvania State University, University Park, PA, USA.
Publikováno v:
Neuropsychologia [Neuropsychologia] 2022 Aug 13; Vol. 173, pp. 108306. Date of Electronic Publication: 2022 Jun 16.
Autor:
Jończyk R; Faculty of English, Adam Mickiewicz University, Poznań, Poland.; Department of Psychology, Pennsylvania State University, State College, PA, USA., Kremer GE; Department of Industrial and Manufacturing Systems Engineering, Iowa State University, Ames, IA, USA., Siddique Z; The School of Aerospace and Mechanical Engineering, University of Oklahoma, Norman, OK, USA., van Hell JG; Department of Psychology, Pennsylvania State University, State College, PA, USA.
Publikováno v:
Psychophysiology [Psychophysiology] 2020 Oct; Vol. 57 (10), pp. e13630. Date of Electronic Publication: 2020 Jul 16.
Autor:
Ashour OM; Industrial Engineering Department, Pennsylvania State University, The Behrend College, Erie, PA, 16506, USA. oma110@psu.edu., Okudan Kremer GE; Industrial and Manufacturing Engineering, and School of Engineering Design, Pennsylvania State University, University Park, PA, 16802, USA.
Publikováno v:
Health care management science [Health Care Manag Sci] 2016 Jun; Vol. 19 (2), pp. 192-205. Date of Electronic Publication: 2014 Dec 09.