AI-assisted discovery of quantitative and formal models in social science by Balla, J, Huang, S, Dugan, O, Dangovski, R, Soljačić, M

“…In social science, formal and quantitative models, ranging from ones that describe economic growth to collective action, are used to formulate mechanistic explanations of the observed phenomena, provide predictions, and uncover new research questions. …”

Adaptive and formal memetic frameworks. by Nguyen, Quang Huy.

Get full text

Server-aided revocable predicate encryption : formalization and lattice-based instantiation by Ling, San, Nguyen, Khoa, Wang, Huaxiong, Zhang, Juanyang

Get full text

A Formal Framework for Modular Synchronous System Design by Marinescu, Maria-Cristina V, Rinard, Martin C

Get full text

A formal methodology for verifying side-channel vulnerabilities in cache architectures by Jiang, Ke, Zhang, Tianwei, Sanan, David, Zhao, Yongwang, Liu, Yang

Get full text

Organocatalytic asymmetric mannich, formal [4+1] and [4+2] annulation reactions by Shi, Zugui

Get full text

Personnel Formalization and the Enhancement Of Teamwork: A public–private comparison by Chen, Chung-An, Rainey, Hal G.

Get full text
Get full text

Formal Intermolecular Hydroamination of Unbiased Olefins for Primary Amine Formation by Yang, Yongsheng, Wong, Nurul Imma, Teo, Peili

Get full text
Get full text

Cobalt-catalyzed regio- and diastereoselective formal [3 + 2] cycloaddition between cyclopropanols and allenes by Yang, Junfeng, Sun, Qiao, Yoshikai, Naohiko

Get full text

Assembly of multicyclic isoquinoline scaffolds from pyridines : formal total synthesis of fredericamycin A by Wang, Fang-Xin, Yan, Jia-Lei, Liu, Zhixin, Zhu, Tingshun, Liu, Yingguo, Ren, Shi-Chao, Lv, Wen-Xin, Jin, Zhichao, Chi, Robin Yonggui

Get full text

Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds by Zaiser, F

Subjects: “…Formal methods (Computer science)…”

Direct β-activation of saturated aldehydes to formal michael acceptors through oxidative NHC catalysis by Mo, Junming, Shen, Liang, Chi, Robin Yonggui

Get full text
Get full text

The language preservation problem is undecidable for parametric event-recording automata by André, Étienne, Lin, Shang-Wei

Subjects: Get full text

Formal contracts mitigate social dilemmas in multi-agent reinforcement learning by Haupt, Andreas, Christoffersen, Phillip, Damani, Mehul, Hadfield-Menell, Dylan

Get full text

Formal Privacy Proof of Data Encoding: The Possibility and Impossibility of Learnable Encryption by Xiao, Hanshen, Suh, G. Edward, Devadas, Srinivas

Get full text

Synthesis of azahexabenzocoronenium salts through a formal [3 + 3] cycloaddition strategy by Zhang, Xinjiang, Li, Donglin, Tan, Cheryl Cai Hui, Hanindita, Fiona, Hamamoto, Yosuke, Foster, Adam S., Kawai, Shigeki, Ito, Shingo

Get full text

Gap analysis of social science resources for conservation practice by Detoeuf, D, de Lange, E, Ibbett, H, Gupta, T, Solis, CM, Mavakala, K, Catapani, M, Kretser, HE, Milner-Gulland, EJ, Brittain, S, Newing, H, Fariss, B, Spira, C, Eyster, HN, DeMello, N, Wallen, KE, Thornton, SA, Bennett, NJ, Choo, LL

“…Globally, formal education and training in the social sciences are often unavailable or inaccessible to conservation practitioners; non-formal education may help fill this gap. …”

4.661 Theory and Method in the Study of Architecture and Art, Fall 2002 by Jones, Caroline

“…Our efforts will be predicated on the conviction that art history can serve as a generative discipline for all humanistic disciplines, and even those that style themselves as "Bildwissenschaft" (or "image-science").…”
Get full text

21W.732 / ES.21W732 Science Writing and New Media, Fall 2010 by Custer, David, Page, Elizabeth A.

Get full text

Refining learning models in grammatical inference by Wang, Xiangrui

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text