Food Structure Design: Innovation in food structure-properties relationships

This Special Issue gathers selected contributions from the 1st Congress on Food Structure Design, covering most of the topics described above.

Design of mechatronic system for handling bedridden people

Dissertação de mestrado em Engenharia Mecatrónica

Adaptive facade systems - review of performance requirements, design approaches, use cases and market needs

The paper reflects the work of COST Action TU1403 Workgroup 3/Task group 1. The aim is to identify research needs from a review of the state of the art of three aspects related to adaptive façade systems: (1) dynamic performance requirements; (2) façade design under stochastic boundary conditions and (3) experiences with adaptive façade systems and market needs.

Development of procedures for the design, optimization and manufacturing of customized orthopaedic and trauma implants: Geometrical/anatomical modelling from 3D medical imaging

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

Systems biology approaches for the design of novel Saccharomyces cerevisiae winemaking strains for enhanced flavour compounds synthesis

Tese de Doutoramento em Biologia Ambiental e Molecular

Multithreading RTOS processor design

Tese de Doutoramento Plano Doutoral em Engenharia Eletrónica e de Computadores.

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Design of bio-based supramolecular structures through self-assembly of α-lactalbumin and lysozyme

Bovine α-lactalbumin (α-La) and lysozyme (Lys), two globular proteins with highly homologous tertiary structures and opposite isoelectric points, were used to produce bio-based supramolecular structures under various pH values (3, 7 and 11), temperatures (25, 50 and 75 °C) and times (15, 25 and 35 min) of heating. Isothermal titration calorimetry experiments showed protein interactions and demonstrated that structures were obtained from the mixture of α-La/Lys in molar ratio of 0.546. Structures were characterized in terms of morphology by transmission electron microscopy (TEM) and dynamic light scattering (DLS), conformational structure by circular dichroism and intrinsic fluorescence spectroscopy and stability by DLS. Results have shown that protein conformational structure and intermolecular interactions are controlled by the physicochemical conditions applied. The increase of heating temperature led to a significant decrease in size and polydispersity (PDI) of α-La–Lys supramolecular structures, while the increase of heating time, particularly at temperatures above 50 °C, promoted a significant increase in size and PDI. At pH 7 supramolecular structures were obtained at microscale – confirmed by optical microscopy – displaying also a high PDI (i.e. > 0.4). The minimum size and PDI (61 ± 2.3 nm and 0.14 ± 0.03, respectively) were produced at pH 11 for a heating treatment of 75 °C for 15 min, thus suggesting that these conditions could be considered as critical for supramolecular structure formation. Its size and morphology were confirmed by TEM showing a well-defined spherical form. Structures at these conditions showed to be stable at least for 30 or 90 days, when stored at 25 or 4 °C, respectively. Hence, α-La–Lys supramolecular structures showed properties that indicate that they are a promising delivery system for food and pharmaceutical applications.

Introducing biomimetic approaches to materials development and product design for engineering students

In this paper, we present a new course entitled “Biomimicry: from life to nanotechnological innovations” at the Mines Nancy Engineering School, Nancy, France, and explain how we developed a specific curriculum covering biomimicry. We discuss strategies that can be followed by teachers to explain selected contents in the multi-disciplinary field of biomimicry and/or bioinspiration to undergraduate students and how practical classroom activities can be conducted as individual or team work. We hope that sharing our experience will help teachers and senior researchers disseminate useful concepts and real examples of biomimetic principles and tools for the development of new materials, new/improved design and fabrication strategies, and innovation methodologies.

A comunicação online: a página Web como o BIO Empresarial: estratégias de comunicação visual e web design

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Audiovisuais e Multimédia)

SOFHIA: a CAD environment to design digital control systems

"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"

An evolutionary approach to the use of Petri net based models: from parallel controllers to HW/SW co-design

"A workshop within the 19th International Conference on Applications and Theory of Petri Nets - ICATPN’1998"

A design of experiments to assess phosphorous removal and crystal properties in struvite precipitation of source separated urine using different Mg sources

Supplementary data associated with this article can be found, in the online version, at: http://dx.doi.org/10.1016/j.cej.2016.03.148.