Cortical Entropy, Mutual Information and Scale-Free Dynamics in Waking Mice
- 期刊名称Cerebral Cortex
- 作者Fagerholm, Erik D.; Scott, Gregory; Shew, Woodrow L.; Song, Chenchen; Leech, Robert; Knöpfel, Thomas; Sharp, David J.
- 印刷ISSN1047-3211
- 电子ISSN1460-2199
- 文件大小638.32KB
- 发表时间2016-07-06
- DOI10.1093/cercor/bhw200
BlockSimAlharby, Maher; van Moorsel, Aad · ACM SIGMETRICS Performance Evaluation Review · 2019
A Systematic Mapping Study on Current Research Topics in Smart ContractsAlharby, Maher; Moorsel, Aad van · International Journal of Computer Science and Information Technology · 2017
[IEEE 2019 IEEE International Conference on Blockchain (Blockchain) - Atlanta, GA, USA (2019.7.14-2019.7.17)] 2019 IEEE International Conference on Blockchain (Blockchain) - OpBench: A CPU Performance Benchmark for Ethereum Smart Contract Operation CodeAldweesh, Amjad; Alharby, Maher; Mehrnezhad, Maryam; Van Moorsel, Aad · 2019
[IEEE 2018 14th European Dependable Computing Conference (EDCC) - Iași, Romania (2018.9.10-2018.9.14)] 2018 14th European Dependable Computing Conference (EDCC) - Performance Benchmarking of Smart Contracts to Assess Miner Incentives in EthereumAldweesh, Amjad; Alharby, Maher; Solaiman, Ellis; van Moorsel, Aad · 2018
[IEEE 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications (AICCSA) - Aqaba, Jordan (2018.10.28-2018.11.1)] 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications (AICCSA) - Performance Benchmarking for Ethereum OpcodesAldweesh, Amjad; Alharby, Maher; van Moorsel, Aad · 2018
[IEEE 2018 International Conference on Cloud Computing, Big Data and Blockchain (ICCBB) - Fuzhou, China (2018.11.15-2018.11.17)] 2018 International Conference on Cloud Computing, Big Data and Blockchain (ICCBB) - Blockchain-based Smart Contracts: A Systematic Mapping Study of Academic Research (2018)Alharby, Maher; Aldweesh, Amjad; Moorsel, Aad van · 2018
Verification of Model TransformationsCalegari, Daniel; Szasz, Nora · Electronic Notes in Theoretical Computer Science · 2013
PrefaceCAVALCANTI, A · Electronic Notes in Theoretical Computer Science · 2004
Pollack-inconsistencyWiedijk, Freek · Electronic Notes in Theoretical Computer Science · 2012
Proving Termination by Policy IterationMassé, Damien · Electronic Notes in Theoretical Computer Science · 2012
Engineering the Prover InterfaceGast, Holger · Electronic Notes in Theoretical Computer Science · 2012
Typed vs. Untyped RealizabilityBerger, Ulrich; Hou, Tie · Electronic Notes in Theoretical Computer Science · 2012
Sweeping in Abstract InterpretationJakubczyk, Krzysztof · Electronic Notes in Theoretical Computer Science · 2012
PrefaceChockler, Hana · Electronic Notes in Theoretical Computer Science · 2013