Into a new phase of the research on restructuring of work in the knowledge society: the Third WORKS General Assembly in Sofia (Bulgaria)

The WORKS Project started two years ago (2005), involving the efforts of research institutes of 13 European countries with the main purpose of improving the understanding of the major changes in work in the knowledge-based society, taking account both of global forces and the regional diversity within Europe. This research meeting in Sofia (Bulgaria) aimed to present synthetically the massive amount of data collected in the case studies (occupational and organisational) and with the quantitative research during last year.

Derivation methods for hybrid knowledge bases with rules and ontologies

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Functional domains of Bacillus subtilis transcription factor AraR and identification of aminoacids important for nucleoprotein complex assembly and effector-binding.

Journal of Bacteriology (Apr 2006) 3024-3036

Natural and amyloid self-assembly of S100 proteins: structural basis of functional diversity

The S100 proteins are 10-12 kDa EF-hand proteins that act as central regulators in a multitude of cellular processes including cell survival, proliferation, differentiation and motility. Consequently, many S100 proteins are implicated and display marked changes in their expression levels in many types of cancer, neurodegenerative disorders, inflammatory and autoimmune diseases. The structure and function of S100 proteins are modulated by metal ions via Ca2+ binding through EF-hand motifs and binding of Zn2+ and Cu2+ at additional sites, usually at the homodimer interfaces. Ca2+ binding modulates S100 conformational opening and thus promotes and affects the interaction with p53, the receptor for advanced glycation endproducts and Toll-like receptor 4, among many others. Structural plasticity also occurs at the quaternary level, where several S100 proteins self-assemble into multiple oligomeric states, many being functionally relevant. Recently, we have found that the S100A8/A9 proteins are involved in amyloidogenic processes in corpora amylacea of prostate cancer patients, and undergo metal-mediated amyloid oligomerization and fibrillation in vitro. Here we review the unique chemical and structural properties of S100 proteins that underlie the conformational changes resulting in their oligomerization upon metal ion binding and ultimately in functional control. The possibility that S100 proteins have intrinsic amyloid-forming capacity is also addressed, as well as the hypothesis that amyloid self-assemblies may, under particular physiological conditions, affect the S100 functions within the cellular milieu.

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Spatiotemporal mechanisms for actomyosin ring assembly and contraction in budding yeast cell division

Dissertation presented to obtain the Ph.D degree in Molecular Medicine

Peptidoglycan assembly machines: The Staphylococcus aureus Penicillin-Binding Proteins

Dissertation presented to obtain the Ph.D degree in Biology

Assessing self-organization and emergence in Evolvable Assembly Systems (EAS)

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Studies of the assembly of the Streptococcus pneumoniae capsular polysaccharide

Dissertation presented to obtain the Ph.D degree in Biology.

Assembly and function of a protein cross-linking enzyme during bacterial spore morphogenesis

Sporulation in Bacillus subtilis culminates with the formation of a dormant endospore. The endospore (or spore) is one of the most resilient cell types known and can remain viable in the environment for extended periods of time. Contributing to the spore’s resistance and its ability to interact with and monitor its immediate environment is the coat, the outermost layer of B. subtilis spores. The coat is composed by over 70 different proteins, which are produced at different stages in sporulation and orderly assembled around the developing spore.(...)

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.