Elementary properties of Modular curves and Modular forms

Lo scopo di questa tesi è introdurre in breve le prime proprietà delle curve modulari e delle forme modulari, per poi mostrarne alcune applicazioni archetipiche. Per farlo, dopo aver richiamato alcune nozioni utili nel primo capitolo, sviluppiamo, nel secondo capitolo, la teoria di base delle curve modulari compatte come superfici di Riemann, calcolandone il genere nel caso dei sottogruppi principali di congruenza. Dunque, nel terzo capitolo, dopo un estesa trattazione dell'esempio delle forme modulari rispetto al gruppo modulare, viene calcolata la dimensione degli spazi delle forme intere e delle forme cuspidali rispetto a un sottogruppo di indice finito del gruppo modulare. Questo capitolo si conclude con tre esempi di applicazione della teoria esposta, tra i quali spiccano la dimostrazione del Grande Teorema di Picard e del Teorema dei quattro quadrati di Jacobi.

Bio-QA-GNN: Reasoning with Language Models and Knowledge Graphs for Interpretable Biomedical Question Answering

Nowadays the idea of injecting world or domain-specific structured knowledge into pre-trained language models (PLMs) is becoming an increasingly popular approach for solving problems such as biases, hallucinations, huge architectural sizes, and explainability lack—critical for real-world natural language processing applications in sensitive fields like bioinformatics. One recent work that has garnered much attention in Neuro-symbolic AI is QA-GNN, an end-to-end model for multiple-choice open-domain question answering (MCOQA) tasks via interpretable text-graph reasoning. Unlike previous publications, QA-GNN mutually informs PLMs and graph neural networks (GNNs) on top of relevant facts retrieved from knowledge graphs (KGs). However, taking a more holistic view, existing PLM+KG contributions mainly consider commonsense benchmarks and ignore or shallowly analyze performances on biomedical datasets. This thesis start from a propose of a deep investigation of QA-GNN for biomedicine, comparing existing or brand-new PLMs, KGs, edge-aware GNNs, preprocessing techniques, and initialization strategies. By combining the insights emerged in DISI's research, we introduce Bio-QA-GNN that include a KG. Working with this part has led to an improvement in state-of-the-art of MCOQA model on biomedical/clinical text, largely outperforming the original one (+3.63\% accuracy on MedQA). Our findings also contribute to a better understanding of the explanation degree allowed by joint text-graph reasoning architectures and their effectiveness on different medical subjects and reasoning types. Codes, models, datasets, and demos to reproduce the results are freely available at: \url{https://github.com/disi-unibo-nlp/bio-qagnn}.

Design and specification of a modular automatic testing solution

Electric vehicles and electronic components inside the vehicle are becoming increasingly important. The software as well starts to have a significant impact on modern high-end cars therefore a careful validation process needs to be implemented with the aim of having a bug free product when it is released. The software complexity increases and thus also the testing phases is more demanding. Test can be troublesome and, in some cases, boring and easy. The intelligence can be moved in test definition and writing rather than on test execution. The aim of this document is to start the definition of an automatic modular testing system capable to execute test cycles on systems that interacts with the CAN networks and with DUT that can be touched with a robotic arm. The document defines a first version of the system, in particular the hardware interface part with the aim of taking logs and execute test in an automated fashion with the test engineer can have a higher focus on the test definition and analysis rather than execution.

Robotic grasping: State of the art and modular real-world implementation

Robotic Grasping is an important research topic in robotics since for robots to attain more general-purpose utility, grasping is a necessary skill, but very challenging to master. In general the robots may use their perception abilities like an image from a camera to identify grasps for a given object usually unknown. A grasp describes how a robotic end-effector need to be positioned to securely grab an object and successfully lift it without lost it, at the moment state of the arts solutions are still far behind humans. In the last 5–10 years, deep learning methods take the scene to overcome classical problem like the arduous and time-consuming approach to form a task-specific algorithm analytically. In this thesis are present the progress and the approaches in the robotic grasping field and the potential of the deep learning methods in robotic grasping. Based on that, an implementation of a Convolutional Neural Network (CNN) as a starting point for generation of a grasp pose from camera view has been implemented inside a ROS environment. The developed technologies have been integrated into a pick-and-place application for a Panda robot from Franka Emika. The application includes various features related to object detection and selection. Additionally, the features have been kept as generic as possible to allow for easy replacement or removal if needed, without losing time for improvement or new testing.

Delivery Of A Urology Online Course Using Moodle Versus Didactic Lectures Methods.

To subjectively and objectively compare an accessible interactive electronic library using Moodle with lectures for urology teaching of medical students. Forty consecutive fourth-year medical students and one urology teacher were exposed to two teaching methods (4 weeks each) in the form of problem-based learning: - lectures and - student-centered group discussion based on Moodle (modular object-oriented dynamic learning environment) full time online delivered (24/7) with video surgeries, electronic urology cases and additional basic principles of the disease process. All 40 students completed the study. While 30% were moderately dissatisfied with their current knowledge base, online learning course delivery using Moodle was considered superior to the lectures by 86% of the students. The study found the following observations: (1) the increment in learning grades ranged from 7.0 to 9.7 for students in the online Moodle course compared to 4.0-9.6 to didactic lectures; (2) the self-reported student involvement in the online course was characterized as large by over 60%; (3) the teacher-student interaction was described as very frequent (50%) and moderately frequent (50%); and (4) more inquiries and requisitions by students as well as peer assisting were observed from the students using the Moodle platform. The Moodle platform is feasible and effective, enthusing medical students to learn, improving immersion in the urology clinical rotation and encouraging the spontaneous peer assisted learning. Future studies should expand objective evaluations of knowledge acquisition and retention.

Uma observação sobre o lugar da teoria da ligação e do critério temático dentro do programa minimalista

In this paper I present some evidencie that forces us to conclude that within the Minimalist Program (Chomsky 1993; 1995), Binding Theory (BT) should be computed after LF (Logical Form). I show that derivations leading to structures containing violations of BT-Principles must converge at LF, since less economical alternative derivations respecting those principles are also ungrammatical. Being irrelevant to the notion of convergence, BT must apply after LF. A similar reasoning reveals that the Theta-Criterion should have the status of a bare output condition appling at LF, since less economical derivations are allowed by the computational system to prevent violations of it.

Modelos organizadores do pensamento: uma perspectiva de pesquisa sobre o raciocínio moral com adolescentes autores de infração

This article has the aim to expand the perspective of research in the field of morality. We present a proposal of morality study of outlaw teenagers according to Thinking Organizer Models Theory. Through the idea of complexity we search to understand the cognitive process in the elaboration of moral reasoning inside situations of conflict. With this perspective, we developed a research that aimed to identify which organizer models were applied by 20 outlaw male teenagers who abide by social punishment to solve the hypothetical moral conflicts. Through interviews we told them a situation of moral conflict that involved friendship relation, physical aggression and steal. We could identified several models which were joined in three categories. Such models reflected the diversity and regularity that are present inside the elaborated reasoning to solve the conflicts shown by us. We conclude that the diversity of organizer models identified shows the importance of the contents in the construction of moral reasoning.

Mediação da professora generalista no trabalho corporal na educação infantil

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

Lazer nos acampamentos de ferias : uma analise da ação dos animadores socio-culturais

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

O corpo e seus textos : o estetico, o politico e o pedagogico na dança

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

Lazer nas atividades de aventura na natureza e qualidade de vida para pessoas com deficiência : um estudo a partir do caso da cidade de Socorro - SP

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

Estudo teorico dos aspectos prosturais e da plasticidade muscular frente ao alongamento

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

Dopamina, óxido nítrico e suas interações em modelos para o estudo da esquizofrenia

Modelos experimentais baseados no aumento da neurotransmissão dopaminérgica mimetizam aspectos comportamentais e neuroquímicos característicos da esquizofrenia. Psicoestimulantes, como a anfetamina, são utilizados com esta finalidade, pois aumentam os níveis de dopamina extracelular nas vias mesocorticolímbica e mesoestriatal. As limitações da manipulação direta do sistema dopaminérgico nos modelos animais incentivam abordagens complementares. O óxido nítrico (NO), um neurotransmissor atípico que inibe a recaptação de dopamina e estimula sua liberação, parece modular comportamentos controlados pelo sistema dopaminérgico. O teste de inibição pré-pulso revela uma deficiência no filtro sensório-motor, verificada em esquizofrênicos ou após tratamentos com psicotomiméticos, podendo ser prevenida pela inibição do NO. Esta revisão apresenta evidências da interação do NO com o sistema dopaminérgico em modelos para o estudo da esquizofrenia como uma nova ferramenta de investigação desta patologia.

Inteligência artificial aplicada à Zootecnia

Os sistemas biológicos são surpreendentemente flexíveis pra processar informação proveniente do mundo real. Alguns organismos biológicos possuem uma unidade central de processamento denominada de cérebro. O cérebro humano consiste de 10(11) neurônios e realiza processamento inteligente de forma exata e subjetiva. A Inteligência Artificial (IA) tenta trazer para o mundo da computação digital a heurística dos sistemas biológicos de várias maneiras, mas, ainda resta muito para que isso seja concretizado. No entanto, algumas técnicas como Redes neurais artificiais e lógica fuzzy tem mostrado efetivas para resolver problemas complexos usando a heurística dos sistemas biológicos. Recentemente o numero de aplicação dos métodos da IA em sistemas zootécnicos tem aumentado significativamente. O objetivo deste artigo é explicar os princípios básicos da resolução de problemas usando heurística e demonstrar como a IA pode ser aplicada para construir um sistema especialista para resolver problemas na área de zootecnia.

Evaluation of recycled tiles and OSB ceiling materials in closed broiler house prototypes

This study aimed at evaluating the thermal performance of a modular ceiling system for poultry houses. The reduced- and distorted-scale prototypes used ceiling modules made of reforested wood and were covered with recycled long-life package tiles. The following parameters were measured for 21 days: tile internal surface temperature (ST), globe temperature and humidity index (WBGT), and radiant heat load (RHL). Measurements were made at times of highest heat load (11:00 am, 13:00 pm, and 03:00 pm). Collected data were analyzed by "R" statistics software. Means were compared by multiple comparison test (Tukey) and linear regression was performed, both at 5% significance level. The results showed that the prototype with the ceiling was more efficient to reduce internal tile surface temperature; however, this was not sufficient to provide a comfortable environment for broilers during the growout. Therefore, other techniques to provide proper cooling are required in addition to the ceiling.