4,906 research outputs found
On Graph Refutation for Relational Inclusions
We introduce a graphical refutation calculus for relational inclusions: it
reduces establishing a relational inclusion to establishing that a graph
constructed from it has empty extension. This sound and complete calculus is
conceptually simpler and easier to use than the usual ones.Comment: In Proceedings LSFA 2011, arXiv:1203.542
On Graphical Calculi for Modal Logics
We present a graphical approach to classical and intuitionistic modal logics, which provides uniform formalisms for expressing, analysing and comparing their semantics. This approach uses the flexibility of graphical calculi to express directly and intuitively the semantics for modal logics. We illustrate the benefits of these ideas by applying them to some familiar cases of classical and intuitionistic multi-modal logics.Cálculos Gráficos para lógicas modais
Apresentamos uma abordagem gráfica para as lógicas modais clássica e intuicionista, capaz de fornecer formalismos uniformes para expressar, analisar e comparar suas respectivas semânticas. Tal abordagem utiliza a flexibilidade dos cálculos gráficos para expressar, direta e intuitivamente, a semântica das lógicas modais. Ilustramos os benefícios dessas ideias aplicando-as a alguns casos conhecidos de lógicas multimodais clássica e intuicionista.---Artigo em inglês
On Graphical Calculi for Modal Logics
We present a graphical approach to classical and intuitionistic modal logics, which provides uniform formalisms for expressing, analysing and comparing their semantics. This approach uses the flexibility of graphical calculi to express directly and intuitively the semantics for modal logics. We illustrate the benefits of these ideas by applying them to some familiar cases of classical and intuitionistic multi-modal logics
Quantification of the total suspended matter concentration in the sea breaking zone from in situ measurements and remotely sensed data - two empirical approaches
Remote sensing techniques can be used to calculate suspended sediment concentrations and to understand the flux and distribution of sediments driven by mechanisms such as tides and waves, river discharges, etc. The main objective of this study is the quantification of the Total Suspended Matter (TSM) concentration in the sea breaking zone for a particular area of the Portuguese coast, around Aveiro. The methodology used was based on in situ measurements and multi spectral satellite images. In situ experimental techniques (maritime platform, aerial platform, simulation on the beach and water sample collection in the breaking zone) were used to determine a relationship between the TSM concentration and the seawater reflectance in the breaking zone. Spectral reflectance was measured with a spectroradiometer and water samples were simultaneously collected. Empirical relationships were established between TSM concentration and the equivalent reflectance values for sensors SPOT/HRVIR, TERRA/ASTER and Landsat/TM at visible and Near Infra Red (NIR) bands computed from the experimental data. Satellite images from ASTER, SPOT HRVIR and Landsat TM were used together with the same empirical models. These satellite images were calibrated and atmospherically corrected. Equations of linear, polynomial, logarithmic, power and exponential models were tested for the satellite image bands on the visible and near infrared. The coefficients of determination (R-2) were also calculated for each model. The results obtained from the two approaches, in situ measurements and directly from the multi spectral satellite images, were analysed
Shape anisotropic iron oxide-based magnetic nanoparticles: synthesis and biomedical applications
Research on iron oxide-based magnetic nanoparticles and their clinical use has been, so far, mainly focused on the spherical shape. However, efforts have been made to develop synthetic routes that produce different anisotropic shapes not only in magnetite nanoparticles, but also in other ferrites, as their magnetic behavior and biological activity can be improved by controlling the shape. Ferrite nanoparticles show several properties that arise from finite-size and surface effects, like high magnetization and superparamagnetism, which make them interesting for use in nanomedicine. Herein, we show recent developments on the synthesis of anisotropic ferrite nanoparticles and the importance of shape-dependent properties for biomedical applications, such as magnetic drug delivery, magnetic hyperthermia and magnetic resonance imaging. A brief discussion on toxicity of iron oxide nanoparticles is also included.This research was funded by the Portuguese Foundation for Science and Technology (FCT) in the
framework of the Strategic Funding of CF-UM-UP (UID/FIS/04650/2019) and through the research project
PTDC/QUI–QFI/28020/2017 (POCI-01–0145-FEDER-028020), financed by European Fund of Regional Development (FEDER), COMPETE2020 and Portugal2020. The APC was also funded by FCT. S.R.S. Veloso acknowledges FCT for a PhD grant (SFRH/BD/144017/2019)
Amostragem de solo para análise química.
Publicado também como folder (FD 00709).bitstream/item/27662/1/com.tec.131.pdfDisponível também on-line
Oferta e comercializacao de melao (Cucumis melo L.) na CEASA-PI (1991-1996).
bitstream/item/83371/1/CT810001.pd
Implementation of a specific rate controller in a fed-batch E. coli fermentation
The specific growth rate is one of the most important process variables characterizing the state of microorganisms during fermentations mainly because the
biosynthesis of many products of interest is often related with the values assumed by this parameter. In the particular case of the fed-batch operation of Escherichia coli for the production of recombinant proteins, it is important to maintain the specific growth rate below a certain threshold in order to avoid the accumulation of acetic acid throughout the fermentation and, additionally, it is often argued that both pre- and the post-induction specific growth rates should be closely controlled in order to achieve maximum productivities of the desired recombinant protein.
In a previous work the authors have developed and validated by simulations a strategy for the automatic control of the specific growth rate in E. coli fed-batch fermentations based on an asymptotic observer for biomass and on developed estimators for the specific growth rates. The main purpose of the present work was to implement experimentally the
developed observer, estimator and controller in a real fed-batch fermentation process. For that purpose a data acquisition and control program was developed in LabVIEW that allows the acquisition of the necessary on line data (off gas and dissolved oxygen concentration and culture weight) and the calculation of the feeding rates using the
developed equations. The feedforward-feedback controller developed was able to keep the culture growing in an exponential phase throughout the fermentation without accumulation of glucose and acetate.Fundação para a Ciência e a Tecnologia (FCT) - RecSysBio projecto POCI/BIO/60139/200
Simulation of gain stability of THGEM gas-avalanche particle detectors
Charging-up processes affecting gain stability in Thick Gas Electron
Multipliers (THGEM) were studied with a dedicated simulation toolkit.
Integrated with Garfield++, it provides an effective platform for systematic
phenomenological studies of charging-up processes in MPGD detectors. We
describe the simulation tool and the fine-tuning of the step-size required for
the algorithm convergence, in relation to physical parameters. Simulation
results of gain stability over time in THGEM detectors are presented, exploring
the role of electrode-thickness and applied voltage on its evolution. The
results show that the total amount of irradiated charge through electrode's
hole needed for reaching gain stabilization is in the range of tens to hundreds
of pC, depending on the detector geometry and operational voltage. These
results are in agreement with experimental observations presented previously
Características químicas de solos cultivados com laranjeira sob diferentes níveis de manejo, na microrregião do Guamá (PA).
Disponível também on-line
- …