Search results for "dab"

Minimum information about a biofilm experiment (MIABiE): standards for reporting experiments and data on sessile microbial communities living at inte…

2014

The minimum information about a biofilm experiment (MIABiE) initiative has arisen from the need to find an adequate and scientifically sound way to control the quality of the documentation accompanying the public deposition of biofilm-related data, particularly those obtained using high-throughput devices and techniques. Thereby, the MIABiE consortium has initiated the identification and organization of a set of modules containing the minimum information that needs to be reported to guarantee the interpretability and independent verification of experimental results and their integration with knowledge coming from other fields. MIABiE does not intend to propose specific standards on how biof…

Biological Profiling of Semisynthetic C19-Functionalized Ferruginol and Sugiol Analogues

2021

[EN] The abietane-type diterpenoids are significant bioactive compounds exhibiting a varied range of pharmacological properties. In this study, the first synthesis and biological investigation of the new abietane-diterpenoid (+)-4-epi-liquiditerpenoid acid (8a) together with several of its analogs are reported. The compounds were generated from the readily available methyl callitrisate (7), which was obtained from callitrisic acid present in Moroccan Sandarac resin. A biological evaluation was conducted to determine the effects of the different functional groups present in these molecules, providing basic structure-activity relationship (SAR) elements. In particular, the ferruginol and sugi…

Two-variable logics with counting and semantic constraints

2018

In this article we discuss fragments and extensions of two-variable logics motivated by practical applications. We outline the decidability frontier, describing some of the techniques developed for deciding satisfiability and finite satisfiability, as well as characterizing their complexity.

An integrated Tissue Engineering approach to Human Bronchial model: Biodegradable Scaffold and Microfluidics Platform

L’ingegneria tissutale è la combinazione di cellule, materiali e metodi di ingegneria, insieme con opportuni fattori biochimici e fisico-chimici, volta a migliorare o sostituire le funzioni biologiche di tessuti danneggiati [1, 2]. A tal proposito supporti porosi e sistemi microfluidici sono utilizzati per scopi di ingegneria tissutale. Scaffold polimerici biodegradabili sono stati sfruttati come supporti strutturali per rigenerare vari tessuti quali ossa, cartilagini, nervi, legamenti, pelle e fegato. Una geometria porosa aperta con canali interconnessi è un prerequisito per la crescita cellulare ad alta densità e per un trasporto di nutrienti, ossigeno e prodotti di scarto metabolici. …

Editorial: Calculation of Passenger Car Equivalents at Roundabouts

2021

Editorial on the Research Topic: Calculation of Passenger Car Equivalents at Roundabouts About this Research Topic: Calculation of Passenger Car Equivalents (PCEs) for heavy vehicles represents the starting point for the operational analysis of road facilities and other traffic management applications. PCEs are used to consider the presence of heavy vehicles in the traffic stream and are expressed as multiples of the effect of an average passenger car. Moreover, the highly curvilinear nature of the roundabout design, both in urban and rural environment, has significant effects on the paths that heavy vehicles would travel; as a consequence, the interaction between the physical and performan…

Climate change effects on the hydrological regime of small non-perennial river basins.

2015

Recent years have been witnessing an increasing interest on global climate change and, although we are only at the first stage of the projected trends, some signals of climate alteration are already visible. Climate change encompasses modifications in the characteristics of several interrelated climate variables, and unavoidably produces relevant effects on almost all the natural processes related to the hydrological cycle. This study focuses on potential impacts of climate variations on the streamflow regime of small river basins in Mediterranean, seasonally dry, regions. The paper provides a quantitative evaluation of potential modifications in the flow duration curves (FDCs) and in the p…

Annual flow duration curves assessment in ephemeral small basins

2014

Flow duration curve (FDC) represents a comprehensive signature of temporal runoff variability often used to synthesize catchment rainfall-runoff responses. A new model, the ModABa (MODel for Annual flow duration curves assessment in ephemeral small BAsins), is here introduced. It can be thought as a wide mosaic whose tesserae are frameworks, models or conceptual schemes separately developed in different studies and harmoniously interconnected with the final aim of reproducing the annual FDC in intermittent small catchments. Two separated seasons within the hydrological year are distinguished: a dry season, characterized by absence of streamflow, and a non-zero season. Streamflow is disaggre…

The emission reduction potential of electric transport modes in Finland

2021

The transportation sector has become the fastest growing source of greenhouse gas (GHG) emissions. One solution to mitigate the impacts is a shift towards electric modes. Where previous studies have only focused on the replacement of individual modes, our study presents a more holistic approach by comparing land-based, water-based and airborne transportation modes. We study the GHG emission reduction potentials of electric cars, buses, trains, ferries and aircraft in comparison to existing modes on 34 routes within Finland and across the Baltic Sea to Sweden and Estonia. By comparing the GHG emissions in carbon dioxide equivalents (CO2-eq) per passenger kilometer for each mode, we also cons…

Deciding properties of integral relational automata

1994

This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.

Modelización computacional cardiaca

2020

[EN] Cardiovascular diseases currently have a major social and economic impact, constituting one of the leading causes of mortality and morbidity. Personalized computational models of the heart are demonstrating their usefulness both to help understand the mechanisms underlying cardiac disease, and to optimize their treatment and predict the patient's response. Within this framework, the Spanish Research Network for Cardiac Computational Modelling (VHeart-SN) has been launched. The general objective of the VHeart-SN network is the development of an integrated, modular and multiscale multiphysical computational model of the heart. This general objective is addressed through the following spe…