A critical review on modelling formalisms and simulation tools in computational biosystems

by Machado, Daniel, Costa, Rafael S., Rocha, Miguel, Rocha, Isabel, Tidor, Bruce, Ferreira, Eugenio C.
Published 2012

Efficient stochastic simulation of reaction-diffusion processes via direct compilation

by Lis, Mieszko, Artyomov, Maxim N., Chakraborty, Arup K., Devadas, Srinivas
Published 2010

Local Rule Simulations of Capsid Assembly

by Schwartz, R., Shor, Peter W., Berger, Bonnie
Published 2015

PUF Modeling Attacks on Simulated and Silicon Data

by Ruhrmair, Ulrich, Solter, Jan, Sehnke, Frank, Xu, Xiaolin, Mahmoud, Ahmed, Stoyanova, Vera, Dror, Gideon, Schmidhuber, Jurgen, Burleson, Wayne, Devadas, Srinivas
Published 2014

Modeling Stem Cell Induction Processes

by Gracio, Filipe, Cabral, Joaquim M. S., Tidor, Bruce
Published 2013

A software tool for creating simulated outbreaks to benchmark surveillance systems

by Cassa, Christopher A., Iancu, Karin, Olson, Karen L., Mandl, Kenneth D.
Published 2010

TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines

by Kepner, Jeremy, Brightwell, Ron, Edelman, Alan, Gadepally, Vijay N., Hayden, Jananthan, Jones, Michael, Madden, Samuel R., Michaleas, Peter W., Okhravi, Hamed, Pedretti, Kevin, Reuther, Albert I., Sterling, Thomas, Stonebraker, Michael
Published 2020

Efficient scene simulation for robust monte carlo localization using an RGB-D camera

by Fallon, Maurice Francis, Johannsson, Hordur, Leonard, John Joseph
Published 2013

Task-Driven Tactile Exploration

by Kaelbling, Leslie P., Lozano-Perez, Tomas, Hsiao, Kaijen
Published 2011

Robust grasping under object pose uncertainty

by Hsiao, Kaijen, Kaelbling, Leslie P., Lozano-Perez, Tomas
Published 2012

Cloud Service Scheduling Algorithm Research and Optimization

by Cui, Hongyan, Liu, Xiaofei, Yu, Tao, Zhang, Honggang, Fang, Yajun, Xia, Zongguo
Published 2017

Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models

by Waldispühl, Jerome, Berger, Bonnie, Devadas, Srinivas, O'Donnell, Charles William, Shenker, Solomon
Published 2012

Modeling formalisms in Systems Biology

by Machado, Daniel, Costa, Rafael S., Rocha, Miguel, Ferreira, Eugenio C., Tidor, Bruce, Rocha, Isabel
Published 2012

Learning Big (Image) Data via Coresets for Dictionaries

by Sochen, Nir, Feldman, Dan, Feigin-Almon, Micha
Published 2016

Integrated task and motion planning in belief space

by Kaelbling, Leslie P., Lozano-Perez, Tomas
Published 2014

Photonic Boson Sampling in a Tunable Circuit

by Dove, Justin Michael, Aaronson, Scott, Broome, Matthew A., Fedrizzi, Alessandro, Rahimi-Keshari, Saleh, Ralph, Timothy C., White, Andrew G.
Published 2014

Efficient Planning under Uncertainty with Macro-actions

by He, Ruijie, Brunskill, Emma, Roy, Nicholas
Published 2011

Stopping Criteria for Log-Domain Diffeomorphic Demons Registration

by Peroni, M., Sharp, G. C., Baroni, G., Golland, Polina
Published 2017

Two-Stage Focused Inference for Resource-Constrained Collision-Free Navigation

by Mu, Beipeng, Agha-mohammad, Paull, Liam, Graham, Matthew, How, Jonathan P., Leonard, John Joseph
Published 2015

Wilis: Architectural Modeling of Wireless Systems

by Fleming, Kermin Elliott, Ng, Man Cheuk, Gross, Samuel, Mithal, Arvind
Published 2012