Výsledky vyhledávání

LEARNING HEURISTICS FOR QUANTIFIED BOOLEAN FORMULAS THROUGH REINFORCEMENT LEARNING

Autor: Lederman, G, Rabe, MN, Lee, EA, Seshia, SA

We demonstrate how to learn efficient heuristics for automated reasoning algorithms for quantified Boolean formulas through deep reinforcement learning. We focus on a backtracking search algorithm, which can already solve formulas of impressive size

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______325::28876c6b7d96dff7eb44c6538dafd990
https://escholarship.org/uc/item/5768n60s

Zobrazit plný text záznamu

Intersection of diverse neuronal genomes and neuropsychiatric disease: The Brain Somatic Mosaicism Network

Autor: Mcconnell, Mj, Moran, Jv, Abyzov, A, Akbarian, S, Bae, T, Cortes-Ciriano, I, Erwin, Ja, Fasching, L, Flasch, Da, Freed, D, Ganz, J, Jaffe, Ae, Kwan, Ky, Kwon, M, Lodato, Ma, Mills, Re, Paquola, Acm, Rodin, Re, Rosenbluh, C, Sestan, N, Sherman, Ma, Shin, Jh, Song, S, Straub, Re, Thorpe, J, Weinberger, Dr, Urban, Ae, Zhou, B, Gage, Fh, Lehner, T, Senthil, G, Walsh, Ca, Chess, A, Courchesne, E, Gleeson, Jg, Kidd, Jm, Park, Pj, Pevsner, J, Vaccarino, Fm, Barton, Ar, Bekiranov, S, Bohrson, Cl, Burbulis, Ie, Chronister, W, Coppola, G, Daily, K, D'Gama, Am, Emery, Sb, Frisbie, Tj, Gao, T, Gulyás-Kovács, A, Haakenson, M, Keil, Jm, Kopera, Hc, Lam, Mm, Lee, Ea, Marques-Bonet, T, Mathern, Gw, Moldovan, Jb, Oetjens, Mt, Omberg, L, Peters, Ma, Pochareddy, S, Pramparo, T, Ratan, A, Sanavia, T, Shi, L, Skarica, M, Wang, J, Wang, M, Wang, Y, Wierman, M, Wolpert, M, Woodworth, M, Zhao, X, Zhou, W

BACKGROUND Elucidating the genetic architecture of neuropsychiatric disorders remains a major scientific and medical challenge. Emerging genomic technologies now permit the analysis of somatic mosaicism in human tissues. The measured frequencies of s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8dde4d1a89eae6cc76040638118b15b5
http://hdl.handle.net/2318/1731623

Zobrazit plný text záznamu

Systems Engineering for Industrial Cyber-Physical Systems Using Aspects

Autor: Akkaya, I, Derler, P, Emoto, S, Lee, EA

Publikováno v: Akkaya, I; Derler, P; Emoto, S; & Lee, EA. (2016). Systems Engineering for Industrial Cyber-Physical Systems Using Aspects. Proceedings of the IEEE, 104(5), 997-1012. doi: 10.1109/JPROC.2015.2512265. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/64k3w3tp
Proceedings of the IEEE, vol 104, iss 5

© 2016 IEEE. One of the biggest challenges in cyber-physical system (CPS) design is their intrinsic complexity, heterogeneity, and multidisciplinary nature. Emerging distributed CPSs integrate a wide range of heterogeneous aspects such as physical d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4f43333f39b40f5d2d81fe65ab20ed38
http://www.escholarship.org/uc/item/64k3w3tp

Zobrazit plný text záznamu

Effect of Light Absorption in InGaN/GaN Vertical Light-Emitting Diodes

Autor: O Bh, Lee Js, Kang M, Kim So, Sung J, Lee Mw, Lee Ea, Song H, Jeon Ks, Choi Yh, Choi H, Ryu Hy

Publikováno v: Journal of nanoscience and nanotechnology. 15(7)

For evaluating the effect of light absorption in vertically structured thin film light-emitting diodes (VLEDs), we investigate the dependence of the efficiencies on the several specific parameters including thickness and doping concentration (N(D)) o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85551e4d2dbfd532fe8e7e60bc0a6704
https://pubmed.ncbi.nlm.nih.gov/26373091

Zobrazit plný text záznamu

The past, present and future of cyber-physical systems: A focus on models

Autor: Lee, EA

Publikováno v: Lee, EA. (2015). The past, present and future of cyber-physical systems: A focus on models. Sensors (Switzerland), 15(3), 4837-4869. doi: 10.3390/s150304837. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/5m73b646

© 2015 by the authors; licensee MDPI, Basel, Switzerland. This paper is about better engineering of cyber-physical systems (CPSs) through better models. Deterministic models have historically proven extremely useful and arguably form the kingpin of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______325::bde8be4b0020eb1e23376f2640dd0af1
http://www.escholarship.org/uc/item/5m73b646

Zobrazit plný text záznamu

The Cloud is Not Enough: Saving IoT from the Cloud

Autor: Zhang, B, Mor, N, Kolb, J, Chan, DS, Lutz, K, Allman, E, Wawrzynek, J, Lee, EA, Kubiatowicz, J

Publikováno v: Zhang, B; Mor, N; Kolb, J; Chan, DS; Lutz, K; Allman, E; et al.Ahmad, I; & Kraska, T eds. (2015). The Cloud is Not Enough: Saving IoT from the Cloud.. HotCloud. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/8np9z5wd

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______325::6abcffa886132676c8f93ded00c6a3e0
http://www.escholarship.org/uc/item/8np9z5wd

Zobrazit plný text záznamu

Cilia-associated respiratory bacillus infection in rats in New Zealand

Autor: J.S. Lumsden, Kakrada Mk, Lee Ea, Mark G. Collett

Publikováno v: New Zealand veterinary journal. 50(2)

AIMS: To demonstrate cilia-associated respiratory (CAR) bacillus associated with chronic pneumonia in wild and pet rats in New Zealand. METHODS: A range of tissues from 4 rats were examined grossly and by light microscopy and affected lungs were exam

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db1f44194d50b81e9974409649dbb614
https://pubmed.ncbi.nlm.nih.gov/16032215

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání