Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Kristopher Brown"'
Publikováno v:
International Journal of Forest Engineering. 34:100-109
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5498d0c95aea9f204bf81c1cb76404aa
https://doi.org/10.1080/14942119.2022.2121086
https://doi.org/10.1080/14942119.2022.2121086
Autor:
Kristopher Brown
Publikováno v:
Journal of Organizational Behavior Management. 43:3-16
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81de18e327b53015b8b80d840e30cb84
https://doi.org/10.1080/01608061.2022.2063221
https://doi.org/10.1080/01608061.2022.2063221
Publikováno v:
lnternational Electronic Journal of Elementary Education. 12:453-457
The current study describes the use of a procedure called the "potty party", an all-day toilet training method using basic learning principles of “errorless” discrimination with 3 children with incontinence diagnosed with autism. At the start of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b12118ac076bcbcb8d184816ad61fe8
https://doi.org/10.26822/iejee.2020562135
https://doi.org/10.26822/iejee.2020562135
Publikováno v:
Graph Transformation ISBN: 9783031098420
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8cc44ee5cd6d9044497f4aec939280ea
https://doi.org/10.1007/978-3-031-09843-7_9
https://doi.org/10.1007/978-3-031-09843-7_9
Autor:
Daniel Schweigert, Brian A. Rohr, Santosh K. Suram, John M. Gregoire, Kristopher Brown, Michael J. Statt, Linda Hung
In this work, we present DBgen, a Python library that provides a framework for defining extract-transform-load (ETL) pipelines to create and populate SQL databases. DBgen is most useful when the underlying data has complex relationships, requires mul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c863a817f2e35401affd8c236bc8b31
https://doi.org/10.33774/chemrxiv-2021-34p7f
https://doi.org/10.33774/chemrxiv-2021-34p7f
Autor:
Michael Statt, Kristopher Brown, Santosh Suram, Linda Hung, Daniel Schweigert, John Gregoire, Brian Rohr
In this work, we present DBgen, a Python library that provides a framework for defining extract-transform-load (ETL) pipelines to create and populate SQL databases. DBgen is most useful when the underlying data has complex relationships, requires mul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7df1801ba093c05164a73c1be5e9b9d9
https://doi.org/10.26434/chemrxiv-2021-34p7f
https://doi.org/10.26434/chemrxiv-2021-34p7f
Autor:
John M. Gregoire, Santosh K. Suram, Dan Guevarra, Brian A. Rohr, Linda Hung, Jens S. Hummelshøj, anapolsky a, Michael J. Statt, Kristopher Brown
While the vision of accelerating materials discovery using data driven methods is well-founded, practical realization has been throttled due to challenges in data generation, ingestion, and materials state-aware machine learning. High-throughput expe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d8935e502d92eb2ae61f87e7faa12831
https://doi.org/10.26434/chemrxiv.14583258.v1
https://doi.org/10.26434/chemrxiv.14583258.v1
Autor:
Stephen Flora, Kristopher Brown
Publikováno v:
International Journal of Psychology & Behavior Analysis. 7
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::481c063cb9691505ec310be6325ce761
https://doi.org/10.15344/2455-3867/2021/174
https://doi.org/10.15344/2455-3867/2021/174
Autor:
Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Cesare Tinelli, Caleb Donovick, Allison Guman, Amalee Wilson, Yoni Zohar, Clark Barrett, Makai Mann
Publikováno v:
Theory and Applications of Satisfiability Testing – SAT 2021 ISBN: 9783030802226
SAT
SAT
This paper presents Smt-Switch, an open-source, solver-agnostic API for SMT solving. Smt-Switch provides simple, uniform, and high-performance access to SMT solving for applications in areas such as automated reasoning, planning, and formal verificat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee66dd87eb7392f5c56f10fd55cbd995
https://doi.org/10.1007/978-3-030-80223-3_26
https://doi.org/10.1007/978-3-030-80223-3_26
Autor:
Aarti Gupta, Ahmed Irfan, Makai Mann, Hongce Zhang, Kristopher Brown, Florian Lonsing, Yahan Yang, Clark Barrett
Publikováno v:
Computer Aided Verification ISBN: 9783030816872
CAV (2)
CAV (2)
Symbolic model checking is an important tool for finding bugs (or proving the absence of bugs) in modern system designs. Because of this, improving the ease of use, scalability, and performance of model checking tools and algorithms continues to be a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b545f5d038c2e2bb50b6be96c7361049
https://doi.org/10.1007/978-3-030-81688-9_22
https://doi.org/10.1007/978-3-030-81688-9_22