308 results on '"Ehud Shapiro"'
Search Results
52. Egalitarian Deliberative Decision Making.
53. Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society.
54. Sybil-Resilient Social Choice with Partial Participation.
55. Egalitarian and Just Digital Currency Networks.
56. How to Amend a Constitution? Model, Axioms, and Supermajority Rules.
57. Electing the Executive Branch.
58. Point: foundations of e-democracy.
59. Foundation for Genuine Global Identities.
60. Cordial Miners: Fast and Efficient Consensus for Every Eventuality
61. Reality-aware Sybil-Resilient Voting.
62. Global Cryptodemocracy is Possible and Desirable.
63. Integrating Deliberation and Voting in Participatory Drafting of Legislation.
64. Supplementary Table 2 from Cell Lineage Analysis of a Mouse Tumor
65. Supplementary Text 1 from Cell Lineage Analysis of a Mouse Tumor
66. Supplementary Figure 1 from Cell Lineage Analysis of a Mouse Tumor
67. Supplementary Text 3 from Cell Lineage Analysis of a Mouse Tumor
68. Supplementary Text 4 from Cell Lineage Analysis of a Mouse Tumor
69. Supplementary Text 5 from Cell Lineage Analysis of a Mouse Tumor
70. Data from Cell Lineage Analysis of a Mouse Tumor
71. Foundations of Internet-enabled Democracy.
72. Incorporating Reality into Social Choice.
73. A Democratically-Optimal Budgeting Algorithm.
74. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra.
75. Unraveling at Diagnosis Chemoresistant Relapse-Initiating Clones in Acute Myeloid Leukemia: Combined Functional and Genomic Analyses Using Single-Cell-Derived Hematopoietic Stem and Progenitor Cell Subpopulations
76. Cells as Computation.
77. Efficient acquisition of tens of thousands of short tandem repeats in single-cell whole-genome-amplified DNA
78. Stochastic computing with biomolecular automata.
79. BioAmbients: an abstraction for biological compartments.
80. DNA molecule provides a computing machine with both data and fuel.
81. Active Mail - A Framework for Implementing Groupware.
82. On the Structural Simplicity of Machines and Languages.
83. Embeddings Among Concurrent Programming Languages (Preliminary Version).
84. Logic Programs with Inheritance.
85. Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract)
86. Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.
87. Logic Programs as Types for Logic Programs
88. Inductive Inference of Theories from Facts.
89. Lexical Logic Programs.
90. Polymorphically Typed Logic Programs.
91. Temporal Debugging and its Visual Animation.
92. Communication with Directed Logic Variables.
93. Application of a stochastic name-passing calculus to representation and simulation of molecular processes.
94. Distributed Variable Server for Atomic Unification.
95. From Decision Trees to Decision Graphs.
96. FCP Sequential Abstract Machine Characteristics for the Systems Development Workload.
97. Abstract data types as a project development organiser.
98. Comparison of seven single cell whole genome amplification commercial kits using targeted sequencing
99. In the Beginning There Were n Agents: Founding and Amending a Constitution
100. On the Structural Simplicity of Machines and Languages.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.