Rios estão reclamando seus leitos na capital paulista
A professora Raquel Rolnik questiona a insistência na construção de vias sobre rios e defende uma mudança urgente na política de circulação da capital
Leia nas fontes:
A professora Raquel Rolnik questiona a insistência na construção de vias sobre rios e defende uma mudança urgente na política de circulação da capital
Leia nas fontes:
O evento Ada Lovelace Day foi realizado na USP São Carlos, organizado pelo grupo de extensão Code.laces. Participaram mulheres de diferentes áreas, incluindo estudantes, pesquisadoras e profissionais de tecnologia. Foram oferecidas palestras e um minicurso sobre cibersegurança, com foco em incentivar a participação feminina no setor.
Por que importa: Promove a inclusão feminina na tecnologia e fortalece a formação em cibersegurança.
Leonardo de Moura, matemático brasileiro, criou o Lean, um sistema de prova formal que permite a verificação automática de teoremas. A ferramenta foi empregada pela OpenAI para validar a solução de um dos problemas mais famosos da matemática. O Lean facilita a colaboração entre matemáticos e inteligência artificial, aumentando a confiabilidade das demonstrações. A iniciativa destaca a contribuição brasileira em tecnologia de verificação formal.
Por que importa: A ferramenta potencializa a precisão e a colaboração em pesquisas matemáticas avançadas.
Um estudo com quase 900 cães de diversas raças mostrou que os cães de porte grande apresentam envelhecimento mais acelerado em comparação aos de porte pequeno. A pesquisa analisou variáveis como expectativa de vida, saúde e marcadores biológicos de envelhecimento. Os resultados sugerem que fatores genéticos e metabólicos associados ao tamanho podem influenciar a longevidade. O estudo pode oferecer insights sobre diferenças de longevidade em humanos.
Por que importa: Entender os mecanismos de envelhecimento em cães pode ajudar a compreender a variação de longevidade em humanos.
Um caso suspeito de peste pneumônica foi identificado na Rússia, levando autoridades de saúde a emitir alerta. A falta de dados confiáveis dificulta a avaliação da extensão do problema e dos riscos à saúde pública, segundo especialistas da USP. A situação exige monitoramento e investigação mais aprofundada para determinar a origem e a propagação da doença.
Por que importa: A ocorrência pode representar risco de disseminação de uma doença altamente contagiosa e letal.
Os estudantes de Pedagogia da USP planejaram uma série de debates sobre educação antirracista, racialização e luta quilombola. As discussões ocorrerão em 23 de outubro, 11 e 19 de novembro, em sessões abertas à comunidade. O evento visa promover o diálogo e a conscientização sobre questões raciais no contexto acadêmico e social.
Por que importa: Contribui para a formação crítica de futuros profissionais de educação e amplia o debate público sobre racismo e direitos quilombolas.
Um sistema que analisa múltiplas regiões de uma imagem simultaneamente pode detectar variações de textura, identificando padrões em imagens médicas e de satélite. A abordagem permite reconhecer diferenças sutis de textura que podem passar despercebidas por métodos tradicionais. O algoritmo utiliza técnicas de visão computacional para segmentar e comparar regiões distintas da imagem.
Por que importa: A técnica pode melhorar diagnósticos médicos e análises geoespaciais ao detectar padrões de textura com maior precisão.