Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis

Answer Set Programming (ASP) is a well-established declarative paradigm. One of the successes of ASP is the availability of efficient systems. State-of-the-art systems are based on the ground+solve approach. In some applications this approach is infeasible because the grounding of one or few constraints is expensive. In this paper, we systematically compare alternative strategies to avoid the instantiation of problematic constraints, that are based on custom extensions of the solver. Results on real and synthetic benchmarks highlight some strengths and weaknesses of the different strategies. (Under consideration for acceptance in TPLP, ICLP 2017 Special Issue.)Comment: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017. 16 page

Extrusion-based additive manufacturing of concrete products. Revolutionizing and remodeling the construction industry

Additive manufacturing is one of the main topics of the fourth industrial revolution; defined as Industry 4.0. This technology offers several advantages related to the construction and architectural sectors; such as economic; environmental; social; and engineering benefits. The usage of concrete in additive technologies allows the development of innovative applications and complexity design in the world of construction such as buildings; housing modules; bridges; and urban and domestic furniture elements. The aim of this review was to show in detail a general panoramic of extrusion-based additive processes in the construction sector; the main advantages of using additive manufacturing with the respect to traditional manufacturing; the fundamental requirements of 3D printable material (fresh and hardened properties), and state-of-the-art aesthetic and architectural projects with functional properties

De novo design of bioactive protein switches.

Allosteric regulation of protein function is widespread in biology, but is challenging for de novo protein design as it requires the explicit design of multiple states with comparable free energies. Here we explore the possibility of designing switchable protein systems de novo, through the modulation of competing inter- and intramolecular interactions. We design a static, five-helix 'cage' with a single interface that can interact either intramolecularly with a terminal 'latch' helix or intermolecularly with a peptide 'key'. Encoded on the latch are functional motifs for binding, degradation or nuclear export that function only when the key displaces the latch from the cage. We describe orthogonal cage-key systems that function in vitro, in yeast and in mammalian cells with up to 40-fold activation of function by key. The ability to design switchable protein functions that are controlled by induced conformational change is a milestone for de novo protein design, and opens up new avenues for synthetic biology and cell engineering

Regulation of N-WASP and the Arp2/3 Complex by Abp1 Controls Neuronal Morphology

Polymerization and organization of actin filaments into complex superstructures is indispensable for structure and function of neuronal networks. We here report that knock down of the F-actin-binding protein Abp1, which is important for endocytosis and synaptic organization, results in changes in axon development virtually identical to Arp2/3 complex inhibition, i.e., a selective increase of axon length. Our in vitro and in vivo experiments demonstrate that Abp1 interacts directly with N-WASP, an activator of the Arp2/3 complex, and releases the autoinhibition of N-WASP in cooperation with Cdc42 and thereby promotes N-WASP-triggered Arp2/3 complex-mediated actin polymerization. In line with our mechanistical studies and the colocalization of Abp1, N-WASP and Arp2/3 at sites of actin polymerization in neurons, we reveal an essential role of Abp1 and its cooperativity with Cdc42 in N-WASP-induced rearrangements of the neuronal cytoskeleton. We furthermore show that introduction of N-WASP mutants lacking the ability to bind Abp1 or Cdc42, Arp2/3 complex inhibition, Abp1 knock down, N-WASP knock down and Arp3 knock down, all cause identical neuromorphological phenotypes. Our data thus strongly suggest that these proteins and their complex formation are important for cytoskeletal processes underlying neuronal network formation