Estudantes de Pedagogia organizam debates para o Mês da Consciência Negra

Ada Lovelace Day reúne mulheres na USP São Carlos para palestras e minicurso de cibersegurança

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 desenvolve Lean, ferramenta usada pela OpenAI para verificar soluções matemáticas

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.

Cães grandes envelhecem mais rápido que os pequenos, estudo americano indica

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.

Suspeita de peste pneumônica na Rússia gera alerta para organizações de saúde

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.

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

Método inovador usa visão computacional para identificar texturas em imagens

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.