Publications related to Assembly language

Cortical cell assemblies and their underlying connectivity: an in silico study

Michael Reimann, András Ecker, Sirio Bolaños Puchet, James Bryden Isbister, Daniela Egas Santander

Recent developments in experimental techniques have enabled simultaneous recordings from thousands of neurons, enabling the study of functional cell assemblies. However, determining the patterns of synaptic connectivity giving rise to these assemblies rema ...

2024

Mechanistic Insight into Supramolecular Polymerization in Water Tunable by Molecular Geometry

Lukas Pfeifer

Supramolecular self-assembly in water based on non-covalent bonding is attracting major attention due to the potential of hydrogels and aqueous polymers in biomedical applications. Although supramolecular polymerization in organic solvents is well establis ...

CHINESE CHEMICAL SOC2022

MOCCA: Modeling and Optimizing Cone-joints for Complex Assemblies

Mark Pauly, Peng Song

We present a computational framework for modeling and optimizing complex assemblies using cone joints. Cone joints are integral joints that generalize traditional single-direction joints such as mortise and tenon joints to support a general cone of directi ...

2021

Self-assembly of protein-polymer conjugates for drug delivery

Harm-Anton Klok, Kuljeet Kaur, Corey Alfred Stevens

Protein-polymer conjugates are a class of molecules that combine the stability of polymers with the diversity, specificity, and functionality of biomolecules. These bioconjugates can result in hybrid materials that display properties not found in their ind ...

2021

Computational Analysis and Design of Structurally Stable Assemblies with Rigid Parts

An assembly refers to a collection of parts joined together to achieve a specific form and/or functionality. Assemblies make it possible to fabricate large and complex objects with several small and simple parts. Such parts can be assembled and disassemble ...

EPFL2021

State of the Art on Computational Design of Assemblies with Rigid Parts

Mark Pauly, Peng Song

An assembly refers to a collection of parts joined together to achieve a specific form and/or functionality. Designing assemblies is a non-trivial task as a slight local modification on a part's geometry or its joining method could have a global impact on ...

WILEY2021

Broadening artificial intelligence education in K-12: Where to Start?

Pierre Dillenbourg

Moving from steam and waterpower, electricity and assembly lines, and computerization, to the adoption of cyber-physical systems, the Internet of Things and the Internet of Systems executed as intelligent machines, the world now dives into a new era called ...

2020

Semantics-preserving inlining for metaprogramming

Martin Odersky, Sébastien Jean R Doeraene, Nicolas Alexander Stucki

Inlining is used in many different ways in programming languages: some languages use it as a compiler-directive solely for optimization, some use it as a metaprogramming feature, and others lay their design in-between. This paper presents inlining through ...

2020

A Rule Synthesis Algorithm for Programmable Stochastic Self-Assembly of Robotic Modules

Alcherio Martinoli, Bahar Haghighat

Programmable self-assembly of modular robots offers promising means for structure formation at different scales. Rule-based approaches have been previously employed for distributed control of stochastic self-assembly processes. The assembly rate in the pro ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

Design, Modeling, and Control Methods for Fluid-Mediated Programmable Self-Assembly of Resource-Constrained Robotic Modules

Bahar Haghighat

The newly emerged and quickly growing science of nanotechnology has been recognized as one of ``the twenty-first century's great leaps forward in scientific knowledge''. Self-assembly provides a powerful enabling technique for nanotechnology by providing a ...

EPFL2018

Compilation and Code Optimization for Data Analytics

Amir Shaikhha

The trade-offs between the use of modern high-level and low-level programming languages in constructing complex software artifacts are well known. High-level languages allow for greater programmer productivity: abstraction and genericity allow for the same ...

EPFL2018

Code Generation in Computational Neuroscience: A Review of Tools and Techniques

Michael Lee Hines, Pramod Shivaji Kumbhar, Romain Brette

Advances in experimental techniques and computational power allowing researchers to gather anatomical and electrophysiological data at unprecedented levels of detail have fostered the development of increasingly complex models in computational neuroscience ...

2018

Dynamically resolved self-assembly of S-layer proteins on solid surfaces

Magalí Alejandra Lingenfelder, Bart Willem Stel, Fernando Pablo Cometto

By using high-speed and high-resolution Atomic Force Microscopy (AFM), it was possible to resolve within a single experiment the kinetic pathway in S-layer self-assembly at the solid-liquid interface, obtaining a model that accounts for the nucleation, gro ...

Royal Society of Chemistry2018

LMS-Verify: Abstraction without Regret for Verified Systems Programming’

Tiark Rompf, Nada Amin

Performance critical software is almost always developed in C, as programmers do not trust high-level languages to deliver the same reliable performance. This is bad because low-level code in unsafe languages attracts security vulnerabilities and because d ...

Assoc Computing Machinery2017

Columnar self-assembly of N,N ',N ''-trihexylbenzene-1,3,5-tricarboxamides investigated by means of NMR spectroscopy and computational methods in solution and the solid state

Diego Carnevale, Mathieu Baudin

The columnar self-assembly resulting from units of N, N', N"-trihexylbenzene-1,3,5-tricarboxamide is investigated in solution and the solid state by means of NMR spectroscopy. A parallel computational study utilizing both semiempirical and DFT methods allo ...

Royal Soc Chemistry2017

Characterization and Validation of a Novel Robotic System for Fluid-Mediated Programmable Stochastic Self-Assembly

Alcherio Martinoli, Bahar Haghighat

Several self-assembly systems have been developed in recent years, where depending on the capabilities of the building blocks and the controlability of the environment, the assembly process is guided typically through either a fully centralized or a fully ...

Ieee2016

Fluid-Mediated Stochastic Self-Assembly at Centimetric and Sub-Millimetric Scales: Design, Modeling, and Control

Alcherio Martinoli, Massimo Mastrangeli, Felix Stephan Schill, Grégory Mermoud, Bahar Haghighat

Stochastic self-assembly provides promising means for building micro-/nano-structures with a variety of properties and functionalities. Numerous studies have been conducted on the control and modeling of the process in engineered self-assembling systems co ...

2016

The Ligand Aspect Ratio as a Decisive Factor for the Self-Assembly of Coordination Cages

Rosario Scopelliti, Kay Severin, Philip Pattison, Euro Solari, Konstantin Zhurov, Suzanne Maria Jansze, Giacomo Cecot, Matthew David Wise, Alba Finelli

It is possible to control the geometry and the composition of metallasupramolecular assemblies via the aspect ratio of their ligands. This point is demonstrated for a series of iron- and palladium-based coordination cages. Functionalized clathrochelate com ...

2016

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015

Online Updates on Data Warehouses via Judicious Use of Solid-State Storage

Anastasia Ailamaki, Manoussos Gavriil Athanassoulis, Radu Ioan Stoica

Data warehouses have been traditionally optimized for read-only query performance, allowing only offline updates at night, essentially trading off data freshness for performance. The need for 24x7 operations in global markets and the rise of online and oth ...

Assoc Computing Machinery2015