On the role of Computational Logic in Data Science: representing, learning, reasoning, and explaining knowledge

In this thesis we discuss in what ways computational logic (CL) and data science (DS) can jointly contribute to the management of knowledge within the scope of modern and future artificial intelligence (AI), and how technically-sound software technologies can be realised along the path. An agent-oriented mindset permeates the whole discussion, by stressing pivotal role of autonomous agents in exploiting both means to reach higher degrees of intelligence. Accordingly, the goals of this thesis are manifold. First, we elicit the analogies and differences among CL and DS, hence looking for possible synergies and complementarities along 4 major knowledge-related dimensions, namely representation, acquisition (a.k.a. learning), inference (a.k.a. reasoning), and explanation. In this regard, we propose a conceptual framework through which bridges these disciplines can be described and designed. We then survey the current state of the art of AI technologies, w.r.t. their capability to support bridging CL and DS in practice. After detecting lacks and opportunities, we propose the notion of logic ecosystem as the new conceptual, architectural, and technological solution supporting the incremental integration of symbolic and sub-symbolic AI. Finally, we discuss how our notion of logic ecosys- tem can be reified into actual software technology and extended towards many DS-related directions.

Temporary teams learning and performance: the case of 3D printing technology in orthopaedic surgery

This dissertation contributes to the scholarly debate on temporary teams by exploring team interactions and boundaries.The fundamental challenge in temporary teams originates from temporary participation in the teams. First, as participants join the team for a short period of time, there is not enough time to build trust, share understanding, and have effective interactions. Consequently, team outputs and practices built on team interactions become vulnerable. Secondly, as team participants move on and off the teams, teams’ boundaries become blurred over time. It leads to uncertainty among team participants and leaders about who is/is not identified as a team member causing collective disagreement within the team. Focusing on the above mentioned challenges, we conducted this research in healthcare organisations since the use of temporary teams in healthcare and hospital setting is prevalent. In particular, we focused on orthopaedic teams that provide personalised treatments for patients using 3D printing technology. Qualitative and quantitative data were collected using interviews, observations, questionnaires and archival data at Rizzoli Orthopaedic Institute, Bologna, Italy. This study provides the following research outputs. The first is a conceptual study that explores temporary teams’ literature using bibliometric analysis and systematic literature review to highlight research gaps. The second paper qualitatively studies temporary relationships within the teams by collecting data using group interviews and observations. The results highlighted the role of short-term dyadic relationships as a ground to share and transfer knowledge at the team level. Moreover, hierarchical structure of the teams facilitates knowledge sharing by supporting dyadic relationships within and beyond the team meetings. The third paper investigates impact of blurred boundaries on temporary teams’ performance. Using quantitative data collected through questionnaires and archival data, we concluded that boundary blurring in terms of fluidity, overlap and dispersion differently impacts team performance at high and low levels of task complexity.

Structural steel design with BIM technology - interventions on a three buildings block in Deruta (PG)

The aim of this thesis is to use the developments, advantages and applications of "Building Information Modelling" (BIM) with emphasis on the discipline of structural design for steel building located in Perugia. BIM was mainly considered as a new way of planning, constructing and operating buildings or infrastructures. It has been found to offer greater opportunities for increased efficiency, optimization of resources and generally better management throughout the life cycle of a facility. BIM increases the digitalization of processes and offers integrated and collaborative technologies for design, construction and operation. To understand BIM and its benefits, one must consider all phases of a project. Higher initial design costs often lead to lower construction and operation costs. Creating data-rich digital models helps to better predict and coordinate the construction phases and operation of a building. One of the main limitations identified in the implementation of BIM is the lack of knowledge and qualified professionals. Certain disciplines such as structural and mechanical design depend on whether the main contractor, owner, general contractor or architect need to use or apply BIM to their projects. The existence of a supporting or mandatory BIM guideline may then eventually lead to its adoption. To test the potential of the BIM adoption in the steel design process, some models were developed taking advantage of a largely diffuse authoring software (Autodesk Revit), to produce construction drawings and also material schedule that were needed in order to estimate quantities and features of a real steel building. Once the model has been built the whole process has been analyzed and then compared with the traditional design process of steel structure. Many relevant aspect in term of clearness and also in time spent were shown and lead to final conclusions about the benefits from BIM methodology.

Quantitative Proteomic Analysis Reveals Metabolic Alterations, Calcium Dysregulation, And Increased Expression Of Extracellular Matrix Proteins In Laminin α2 Chain-deficient Muscle.

Congenital muscular dystrophy with laminin α2 chain deficiency (MDC1A) is one of the most severe forms of muscular disease and is characterized by severe muscle weakness and delayed motor milestones. The genetic basis of MDC1A is well known, yet the secondary mechanisms ultimately leading to muscle degeneration and subsequent connective tissue infiltration are not fully understood. In order to obtain new insights into the molecular mechanisms underlying MDC1A, we performed a comparative proteomic analysis of affected muscles (diaphragm and gastrocnemius) from laminin α2 chain-deficient dy(3K)/dy(3K) mice, using multidimensional protein identification technology combined with tandem mass tags. Out of the approximately 700 identified proteins, 113 and 101 proteins, respectively, were differentially expressed in the diseased gastrocnemius and diaphragm muscles compared with normal muscles. A large portion of these proteins are involved in different metabolic processes, bind calcium, or are expressed in the extracellular matrix. Our findings suggest that metabolic alterations and calcium dysregulation could be novel mechanisms that underlie MDC1A and might be targets that should be explored for therapy. Also, detailed knowledge of the composition of fibrotic tissue, rich in extracellular matrix proteins, in laminin α2 chain-deficient muscle might help in the design of future anti-fibrotic treatments. All MS data have been deposited in the ProteomeXchange with identifier PXD000978 (http://proteomecentral.proteomexchange.org/dataset/PXD000978).

Solid Lipid Nanoparticles As Nucleic Acid Delivery System: Properties And Molecular Mechanisms.

Solid lipid nanoparticles (SLNs) have been proposed in the 1990s as appropriate drug delivery systems, and ever since they have been applied in a wide variety of cosmetic and pharmaceutical applications. In addition, SLNs are considered suitable alternatives as carriers in gene delivery. Although important advances have been made in this particular field, fundamental knowledge of the underlying mechanisms of SLN-mediated gene delivery is conspicuously lacking, an imperative requirement in efforts aimed at further improving their efficiency. Here, we address recent advances in the use of SLNs as platform for delivery of nucleic acids as therapeutic agents. In addition, we will discuss available technology for conveniently producing SLNs. In particular, we will focus on underlying molecular mechanisms by which SLNs and nucleic acids assemble into complexes and how the nucleic acid cargo may be released intracellularly. In discussing underlying mechanisms, we will, when appropriate, refer to analogous studies carried out with systems based on cationic lipids and polymers, that have proven useful in the assessment of structure-function relationships. Finally, we will give suggestions for improving SLN-based gene delivery systems, by pointing to alternative methods for SLNplex assembly, focusing on the realization of a sustained nucleic acid release.

Intercâmbios acadêmicos internacionais: bolsas Capes, CNPq e Fapesp

This article is part of a study considering the growing importance of the international transit of people, knowledge, and practices in the schooling and professional education processes of some social segments. Considering the public funds made available by the Coordination for the Improvement of Higher Education Personnel - Capes -, the National Council for Scientific and Technological Development - CNPq - and the State of São Paulo Research Foundation - Fapesp - to support researchers' fellowships abroad, aming to improve research and investments on Science and Technology on the context of international exchanges, we have dedicated this article to the preliminary description and analysis of the database of fellows funded abroad by these research agencies from 1970 to 2000. The movement of flows based on the quantitative methodology of the correlation of variables draws the trends of international academic exchange programs in the three research institutions and in the different areas of knowledge, and we intend to analyse them taking into account the scientific and technological development policies adopted by Brazilian State on the period.

Química Analítica de Processos

Process Analytical Chemistry (PAC) is an important and growing area in analytical chemistry, that has received little attention in academic centers devoted to the gathering of knowledge and to optimization of chemical processes. PAC is an area devoted to optimization and knowledge acquisition of chemical processes, to reducing costs and wastes and to making an important contribution to sustainable development. The main aim of this review is to present to the Brazilian community the development and state of the art of PAC, discussing concepts, analytical techniques currently employed in the industry and some applications.

Resistência à compressão e remoção de folhas da cana-de-açúcar visando à colheita mecânica

Sugarcane holds an important place in the Brazilian economy. Grate part of the sugarcane harvested still accomplished largely manually. Sugarcane harvesters available in Brazil use the technology to chop the cane into 200 to 300 mm billets to allow on the go cane transferring to transport, contradicting the traditional method of whole stalk sugarcane harvesting system. In order to make whole stalk mechanical harvesting system possible, one of the barriers to be expired is the mechanical removal of the straw. The design of a mechanism that accomplishes this operation depends directly on the knowledge of the mechanical properties of the sugarcane related to its resistance to compression and the forces necessary to remove the leaves from the stalk. Compression tests were conducted using the universal testing machine. For leaves removal test by friction, a special apparatus was designed to allow the registration of the normal and traction force. The sugarcane stalk can resist up to 4.9 MPa. With a normal pressure of 0.8 MPa, which correspond to a friction force of 315 N, it is possible to remove the leaves, independent of its location in the sugarcane stalk.

Qualidade de vida e nivel de atividade fisica de funcionarios de empresa de tecnologia da comunicação

Universidade Estadual de Campinas . Faculdade de Educação Física

Trajetórias de vida : lembranças, caminhos e constituições dos saberes docentes de professores de Educação Física = Paths and trajectories of life : memories, paths and establishment of teaching knowledge of Physical Education Professors

Universidade Estadual de Campinas . Faculdade de Educação Física

Adaptação e validação da escla ASKAS - Aging Sexual Knowledge and Attitudes Scale em idosos brasileiros

Universidade Estadual de Campinas . Faculdade de Educação Física

Knowledge and attitude of parents or caretakers regarding transmissibility os caries disease

Dental caries is a transmissible infectious disease in which mutans streptococci are generally considered to be the main etiological agents. Although the transmissibility of dental caries is relatively well established in the literature, little is known whether information regarding this issue is correctly provided to the population. The present study aimed at evaluating, by means of a questionnaire, the knowledge and usual attitude of 640 parents and caretakers regarding the transmissibility of caries disease. Most interviewed adults did not know the concept of dental caries being an infectious and transmissible disease, and reported the habit of blowing and tasting food, sharing utensils and kissing the children on their mouth. 372 (58.1%) adults reported that their children had already been seen by a dentist, 264 (41.3%) answered that their children had never gone to a dentist, and 4 (0.6%) did not know. When the adults were asked whether their children had already had dental caries, 107 (16.7%) answered yes, 489 (76.4%) answered no, and 44 (6.9%) did not know. Taken together, these data reinforce the need to provide the population with some important information regarding the transmission of dental caries in order to facilitate a more comprehensive approach towards the prevention of the disease.

A utilização de imagens na identificação humana em odontologia legal

Este artigo de revisão sistemática tem por objetivo citar os métodos de identificação humana por meio da radiologia, utilizados em odontologia legal. Para isso, realizou-se revisão de literatura com 19 trabalhos selecionados dentre 45 encontrados, após aplicação de critérios de inclusão. Há diversas técnicas radiológicas que podem ser utilizadas para auxiliar na identificação humana, tanto individual como geral, incluindo a determinação do gênero, do grupo étnico e, principalmente, da idade. A análise de radiografias e tomografias ante-mortem e post-mortem tornou-se uma ferramenta fundamental nos processos de identificação em odontologia legal, principalmente com o refinamento das técnicas adquiridas com o avanço da própria radio-logia e com a incorporação da informática. Conclui-se que a partir do conhecimento adequado dos métodos disponíveis, o profissional em odontologia legal pode optar pelo método que melhor preencha as características necessárias para o sucesso da identificação, tendo cuidado na aplicação correta da técnica e na interpretação precisa das informações obtidas.

Parceria público x privada no desenvolvimento de pesquisa em melhoramento genético animal

O melhoramento genético animal é, normalmente, pesquisado e desenvolvido nas universidades e instituições públicas de pesquisa do Brasil. No entanto, os rebanhos de exploração zootécnica, verdadeiros objetivos desses estudos, pertencem à iniciativa privada. O melhoramento genético animal e as parcerias público-privadas constituem-se em um caso especial de grande sucesso, que é analisado no presente texto, com ênfase especial ao Grupo de Melhoramento Animal e Biotecnologia da Faculdade de Zootecnia e Engenharia de Alimentos da Universidade de São Paulo, instituição de origem dos autores. O sucesso desse grupo, medido em atividades de pesquisa e suas conseqüentes publicações, de ensino e formação de recursos humanos e de extensão de serviços à comunidade, é apresentado como incentivo aos pesquisadores das mais diversas áreas ligadas à produção animal.

Proposta educacional on-line sobre úlcera por pressão para alunos e profissionais de enfermagem

OBJETIVOS: Desenvolver uma proposta educacional on-line sobre o tema úlcera por pressão para alunos e profissionais de enfermagem. MÉTODOS: Pesquisa aplicada, de produção tecnológica, composta pelas etapas de concepção/ planejamento e desenvolvimento, caracterizadas por um conjunto de procedimentos, documentação, digitalização de informações e de imagens. Foram utilizados recursos computacionais didáticos interativos como: o Cybertutor e o Homem Virtual. RESULTADOS: Desenvolvimento de uma proposta educacional virtual sobre úlcera por pressão (UP) dividida em módulos de aprendizagem, contendo lista de discussão, estudos de casos e recursos didáticos, tais como fotos e o Homem Virtual. CONCLUSÕES: Utilizou-se de novas tecnologias educacionais, com a finalidade de promover o aprendizado sobre UP a estudantes de graduação de enfermagem e possibilitar a educação continuada de enfermeiros, uma vez que as UP representam um desafio aos profissionais da saúde e aos serviços de saúde.