Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Michael Veksler"'
Autor:
Anastasia Visheratina, Alexander Visheratin, Prashant Kumar, Michael Veksler, Nicholas A. Kotov
Publikováno v:
ACS Nano. 17:7431-7442
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f5d0688558321047616750a880e8208
https://doi.org/10.1021/acsnano.2c12056
https://doi.org/10.1021/acsnano.2c12056
Autor:
Prashant Kumar, Thi Vo, Minjeong Cha, Anastasia Visheratina, Ji-Young Kim, Wenqian Xu, Jonathan Schwartz, Alexander Simon, Daniel Katz, Valentin Paul Nicu, Emanuele Marino, Won Jin Choi, Michael Veksler, Si Chen, Christopher Murray, Robert Hovden, Sharon Glotzer, Nicholas A. Kotov
Publikováno v:
Nature. 615:418-424
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3acc9ef341d33ee097b4df67e482363b
https://doi.org/10.1038/s41586-023-05733-1
https://doi.org/10.1038/s41586-023-05733-1
Chirality of helical objects, exemplified by nanostructured inorganic particles, has unifying importance for many scientific fields. Their handedness can be determined visually, but its identification by analysis of electron microscopy images is fund
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c71a943efece2faa0022a618275daf37
https://doi.org/10.26434/chemrxiv-2022-4pv1z
https://doi.org/10.26434/chemrxiv-2022-4pv1z
Publikováno v:
ACS Energy Letters. :1405-1412
Chiral nanostructures have been extensively studied for bioanalysis and optoelectronics because of their high rotatory optical activity but not for enantioselective catalysis because of the chirali...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79ec0600af005c31b1f0b101fcd01fd2
https://doi.org/10.1021/acsenergylett.0c02537
https://doi.org/10.1021/acsenergylett.0c02537
Autor:
Christopher B. Murray, Drew Vecchio, Emanuele Marino, Joong Hwan Bahng, Michael Veksler, Nicholas A. Kotov, André Farias de Moura, Alex Simon, Yu Ma, Asdrubal Lozada-Blanco, Felippe M. Colombari, Prashant Kumar, Jiang Wenfeng, Yuefei Wang, Zhibei Qu, Weverson R. Gomes, Kalil Bernardino, Sérgio Ricardo Muniz
Publikováno v:
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
Complex chiral particles Synthetic colloids are usually smooth, but nature can produce micrometer-scale particles with intricate structure and shape, such as the coccoliths produced by algae. Jiang et al. controlled the self-assembly of gold–cystei
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ba86670298cc7755bbc5baf5015d6cc
https://pubmed.ncbi.nlm.nih.gov/32273399
https://pubmed.ncbi.nlm.nih.gov/32273399
Autor:
Ofer Strichman, Michael Veksler
Publikováno v:
Artificial Intelligence. 238:135-153
We present a new learning scheme for solvers of the Constraint Satisfaction Problem (CSP), which is based on learning (general) constraints rather than the generalized no-goods or signed-clauses that were used in the past. The new scheme is integrate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df6b5b8afd8a7f2208a9daaf3ccb4978
https://doi.org/10.1016/j.artint.2016.06.002
https://doi.org/10.1016/j.artint.2016.06.002
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319449524
CP
CP
The hardware address translation mechanism is an essential part of modern microprocessor memory management. The ever-growing demand for performance and low power of integrated circuits makes this mechanism exceptionally complex, and its verification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d51c41ce3306c3569eafa17348440444
https://doi.org/10.1007/978-3-319-44953-1_53
https://doi.org/10.1007/978-3-319-44953-1_53
Autor:
Michael Veksler, Ofer Strichman
Publikováno v:
Proceedings of the AAAI Conference on Artificial Intelligence. 24:204-209
PCS is a CSP solver that can produce a machine-checkable deductive proof in case it decides that the input problem is unsatisfiable. The roots of the proof may be nonclausal constraints, whereas the rest of the proof is based on resolution of signed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32d74e68b52f8abe7a4f15401b1c79b6
https://doi.org/10.1609/aaai.v24i1.7543
https://doi.org/10.1609/aaai.v24i1.7543
Autor:
Ofer Strichman, Michael Veksler
Publikováno v:
Integration of AI and OR Techniques in Constraint Programming ISBN: 9783319180076
CPAIOR
CPAIOR
We present a new learning scheme for CSP solvers, which is based on learning (general) constraints rather than generalized no-goods or signed-clauses that were used in the past. The new scheme is integrated in a conflict-analysis algorithm reminiscen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::02c81df943275a57a532bba69574222c
https://doi.org/10.1007/978-3-319-18008-3_28
https://doi.org/10.1007/978-3-319-18008-3_28
Autor:
Michael Veksler, Felix Geller
Publikováno v:
Principles and Practice of Constraint Programming-CP 2005 ISBN: 9783540292388
CP
CP
A conditional constraint satisfaction problem (CCSP) is a variant of the standard constraint satisfaction problem (CSP). CCSPs model problems where some of the variables and constraints may be conditionally inactive such that they do not participate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::daa8f71edd4f6b8410f1dd60ce579a1f
https://doi.org/10.1007/11564751_20
https://doi.org/10.1007/11564751_20