Roadmap on semiconductor-cell biointerfaces.

This roadmap outlines the role semiconductor-based materials play in understanding the complex biophysical dynamics at multiple length scales, as well as the design and implementation of next-generation electronic, optoelectronic, and mechanical devices for biointerfaces. The roadmap emphasizes the advantages of semiconductor building blocks in interfacing, monitoring, and manipulating the activity of biological components, and discusses the possibility of using active semiconductor-cell interfaces for discovering new signaling processes in the biological world

Policies and Motivations for the CO2 Valorization through the Sabatier Reaction Using Structured Catalysts. A Review of the Most Recent Advances

The current scenario where the effects of global warming are more and more evident, has motivated different initiatives for facing this, such as the creation of global policies with a clear environmental guideline. Within these policies, the control of Greenhouse Gase (GHG) emissions has been defined as mandatory, but for carrying out this, a smart strategy is proposed. This is the application of a circular economy model, which seeks to minimize the generation of waste and maximize the efficient use of resources. From this point of view, CO2 recycling is an alternative to reduce emissions to the atmosphere, and we need to look for new business models which valorization this compound which now must be considered as a renewable carbon source. This has renewed the interest in known processes for the chemical transformation of CO2 but that have not been applied at industrial level because they do not offer evident profitability. For example, the methane produced in the Sabatier reaction has a great potential for application, but this depends on the existence of a sustainable supply of hydrogen and a greater efficiency during the process that allows maximizing energy efficiency and thermal control to maximize the methane yield. Regarding energy efficiency and thermal control of the process, the use of structured reactors is an appropriate strategy. The evolution of new technologies, such as 3D printing, and the consolidation of knowledge in the structing of catalysts has enabled the use of these reactors to develop a wide range of possibilities in the field. In this sense, the present review presents a brief description of the main policies that have motivated the transition to a circular economy model and within this, to CO2 recycling. This allows understanding, why efforts are being focused on the development of different reactions for CO2 valorization. Special attention to the case of the Sabatier reaction and in the application of structured reactors for such process is paid

Parameterized macromodeling of passive and active dynamical systems

L'abstract è presente nell'allegato / the abstract is in the attachmen

Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications

Concurrent Action Oriented Specifications (CAOS) formalism such as Bluespec Inc.\u27s Bluespec System Verilog (BSV) has been recently shown to be effective for hardware modeling and synthesis. This formalism offers the benefits of automatic handling of concurrency issues in highly concurrent system descriptions, and the associated synthesis algorithms have been shown to produce efficient hardware comparable to those generated from hand-written Verilog/VHDL. These benefits which are inherent in such a synthesis process also aid in faster architectural exploration. This is because CAOS allows a high-level description (above RTL) of a design in terms of atomic transactions, where each transaction corresponds to a collection of operations. Optimal scheduling of such actions in CAOS-based synthesis process is crucial in order to generate hardware that is efficient in terms of area, latency and power. In this paper, we analyze the complexity of the scheduling problems associated with CAOS-based synthesis and discuss several heuristics for meeting the peak power goals of designs generated from CAOS. We also discuss approximability of these problems as appropriate