domingo, 26 de julho de 2020

Fwd: Indicação de entrevistadas para o Emílias Podcast - Mulheres na Computação


---------- Forwarded message ---------
From: Emílias Armação em Bits <emilias.utfpr@gmail.com>
Date: Sun, Jul 26, 2020, 10:52
Subject: Indicação de entrevistadas para o Emílias Podcast - Mulheres na Computação
To: <meninasdigitais@googlegroups.com>


Você quer indicar futuras entrevistadas para o Emílias Podcast - Mulheres na Computação? É bem simples. Preencha o formulário abaixo
https://docs.google.com/forms/d/e/1FAIpQLSdqRa-ULcwevcaPcxck22CGI6hlfTdy6SxCY-vXIwQZazOD0w/viewform

segunda-feira, 28 de março de 2011

Seminário do LIAMF quinta, dia 31/3


----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------

Título: Casos de uso de ontologia e inferência em dados clínicos
Palestrante: Diogo Patrão

Data:  31/3/2011
Horário: 14hs
Local: 138 bloco B

Resumo:

 Alguns dos grandes problemas enfrentados por cientistas, médicos e administradores hospitalares atualmente são relacionados à obtenção de informações clínicas sobre uma população de pacientes. Em épocas anteriores à informatização, as informações eram registradas à mão e consultadas individualmente pelos profissionais. Com a adoção de sistemas de informação, esperava-se que a realização de buscas por pacientes que atendessem a certo perfil clínico fosse simplificada, mas ao contrário de outras áreas (como o comércio e a indústria), percebeu-se que a informação clínica é muito complexa e portanto as técnicas triviais de busca não obtinham os resultados esperados.

Em Inteligência Artificial, existem ferramentas mais sofisticadas para a abordagem deste problema. Em particular, a subárea de Representação de Conhecimento estuda estruturas conhecidas como Ontologias, que são utilizadas para representar informações, fatos e regras sobre determinados domínios de conhecimento, e também criar (por meio de infer?ncia) novos conhecimentos de maneira automática.

A proposta deste trabalho é utilizar as técnicas de Inteligência Artificial para possibilitar a recuperação de casos atendidos no Hospital A.C. Camargo que atendam a determinado perfil clínico, independente do banco de dados em que esteja localizado, de forma confiável e acurada, lidando com as inconsistências entre os mesmos. Apresentarei três estudos de caso feitos com subconjuntos de dados clínicos obtidos para consultas com finalidades específicas deste hospital.



Todos são bem-vindos!

Renata Wassermann <renata AT ime.usp.br>



quarta-feira, 8 de dezembro de 2010

Fwd: [Logica-l] Seminários LoLITA / UFRN - 10Dez2010

Mais um seminário, esta semana, do
 Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações
da UFRN:


Aventuras no País dos Buscadores
--Valéria de Paiva
Local:  Sala 3H7, UFRN
Data: 10-Dez-10,  09:00-10:00

Resumo:
Em maio de 2008 eu resolvi largar o meu emprego como pesquisadora do
PARC, o celebrado laboratório de pesquisas da Xerox em Palo Alto, CA,
para me juntar a uma micro-empresa inventando um buscador para
revolucionar a internete.  Três meses mais tarde Cuil foi lancado, com
muita fanfarra e um acervo de inovação impressionante.  A fanfarra não
ajudou, pois o tráfico foi gigante, as máquinas não aguentaram, a
qualidade foi pras cucuias e Cuil não conseguiu se recuperar do mau
lançamento.  Dois anos mais tarde, a empresa acabou, e eu ainda estou
tentando entender a matemática do desastre.  Ganhar ou perder dentro
da ecologia do Vale do Silício tem muito pouco a ver com essa
matemática, muito mais a ver com a ecologia de Wall Street e com a
pior crise econômica desde 1929.  Mas a matemática da qualidade das
buscas na internete é um problema super-interessante por si mesmo.  E
um dos problemas que podemos (e devemos!) tentar resolver, pois para
todo mundo, busca na internete, na sua máquina, no seu telefone é o
único caminho à nossa frente.
--
Uma versão preliminar desta palestra pode ser assistida (em inglês) no
video do PARC Forum:
http://groups.google.com/group/lolita-ufrn/web/lolita-seminars#VdP-10122010
--
A palestra é promovida pelo LoLITA e organizada como parte das
comemorações dos 25 anos do DIMAp / UFRN.
A professora Valéria de Paiva é convidada do DIMAp como Professora
Visitante para o ano de 2011.

quinta-feira, 25 de novembro de 2010

Fwd: [Logica-l] Seminários LoLITA / UFRN - 26Nov10



Mais um seminário, esta semana, do
 Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações
 http://groups.google.com/group/lolita-ufrn/web/seminrios-do-lolita
da UFRN:


"K-like Fuzzy Kripke Models"
Regivan Hugo Nunes Santiago (DIMAp / UFRN)
Place: Sala de reuniões do DIMAp
Date: 26-Nov-10,  09:00-10:00

Abstract:
The generalization of Classical Logic to Fuzzy Logics and to Modal
Logics allows on one side the generalization of the truth from a
binary value to a many-valued setting, giving rise to the possibility
to modelling accurately the notion of uncertainty/possibility, and on
the other side, the introduction of a qualification on truth values
(e.g. the truth with respect to the time variations).  Those notions
have been more widely investigated in a common setting giving rise to
Modal-Fuzzy Logics.  This approach enables the introduction of a truth
qualification together with a grade of uncertainty enabling the
modelling of phenomena where the truth value is enriched with
uncertainty and qualification.

In this seminar,  the investigation of the preservation of classical
modal theorems into the fuzzy setting is presented.  The key concept
which permits such situation is called classical-like fuzzy semantics.
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

quinta-feira, 19 de agosto de 2010

Seminário do LIAMF dia 24/8 ***DIA e HORÁRIO não usuais***


***** NOTEM O DIA E HORÁRIO NÃO USUAIS *************

***** TERÇA, 10:30 *********************

----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------

Título: e-Infrastructure for Biomedical research: activities at the
Academic Medical Center of the University of Amsterdam

Palestrante: Silvia Delgado Olabarriaga (AMC, Holanda)

Data:  24/8/2010 (terça), 10:30hs
Local: a ser anunciada


Resumo:


The amount and complexity of biomedical data available for research and
healthcare are assuming dramatic proportions as a consequence of
advances in data acquisition techniques. Not only a vast amount and
variety of data can be acquired about living organisms, but also the
throughput and resolution (spatial, spectral, time, etc.) are ever
growing. Moreover, a wealth of information about life style, disease
history and clinical parameters is also available in hospital databases
and (electronic) patient files. This radical increase of biological and
clinical data creates completely new challenges and opportunities in
life sciences and transforms life science research in an information
science. A shift in the methodologies used for data analysis and
management is required to address the increasing challenges, where
information and communication technologies (ICT) play an essential role.
At the AMC we adopt Web and GRID technologies to enable and enhance
biomedical research, participating in the on-going global research
effort to develop what is termed "cyberinfrastructures" in the USA, and
"e-Science infrastructures" in Europe. In particular we collaborate with
the Dutch e-Science Grid (BiGGrid project) and the Biomedical virtual
research community established during EGEE projects. The e-Bioscience
group currently has activities covering data analysis in the areas of
medical imaging, next generation DNA sequencing and proteomics.
This talk will present an overview of the activities of this group with
the goal of identifying areas of possible collaboration with USP
researchers.


http://www.bioinformaticslaboratory.nl


bio:
Silvia D. Olabarriaga was born in Porto Alegre, Brazil. She graduated in
Informatics at the Federal University of Rio Grande do Sul (UFRGS,
Brazil) in 1982. After working two years in the Brazilian computer
industry (EDISA) as a software engineer, she went back to Informatics at
UFRGS to obtain a Master's degree Computer Graphics. Her dissertation
was about 3D computer animation (1987), which remained her main reseach
topic at INESC, Lisbon (1988-1989) and as a lecturer at the Informatics
Institute at UFRGS (1990-2002). From 1994 on, her interests moved into
Scientific Visualization and Image Processing, with focus on medical
applications. She obtained a PhD in Computer Science in 1999, at the at
the University of Amsterdam, NL, with the thesis Human-Computer
Interaction for the Segmentation of Medical Images. From April 2002
until February 2005 she worked as a research fellow at the Image
Sciences Institutes, UMC-Utrecht, NL, in medical image segmentation
(CT). In March 2005 she joined the Virtual Laboratory for e-Sciences
projectat the Informatics Institute of the University of Amsterdam. Her
main interests since then include the development, usage and evaluation
of grid technology for to enable and enhance advanced biomedical
(imaging) applications (e-Science).
In 2007 Silvia moved to the Academic Medical Center and became leader of
the Medical Diagnosis and Imaging subprogram (SP1.3) of the VL-e
project. In May 2008 she joined the Bioinformatics Laboratory as a post
doctoral fellow. Silvia is since Jan 2009 assistant professor at the
Bioinformatics Laboratory of the Department of Clinical Epidemiology,
Biostatistics and Bioinformatics (KEBB) of the AMC and leads the
e-Bioscience group.





Todos são bem-vindos.




sexta-feira, 9 de julho de 2010

Seminário do Grupo de Lógica e Filosofia da Ciência

 Assunto: Seminário do Grupo de Lógica e Filosofia da Ciência


Prezados :

Convido a todos para o próximo seminário do Grupo de Lógica e
Filosofia da Ciência. No dia 16 de julho, às 16h, contaremos com a
presença do professor Walter Carnielli, da Universidade de Campinas
(UNICAMP), que  nos falará sobre "Multimodalidades, consistência e o
inquérito filosófico". O seminário será na sala do Programa de
Mestrado em Filosofia, sala B1-685 (mezanino, ICC Norte).
Segue abaixo o resumo da apresentação.
Cordialmente,
Samuel.


Resumo:

Se você for um filósofo ou lógico, jamais poderá reclamar da sua
família: você tem necessariamente os pais que tem, pois com pais
diferentes, você não seria a mesma pessoa (e talvez  não reclamasse).
Este exemplo dado por Saul Kripke ilustra a ideia da necessidade
metafísica, mas esta não é a  única: há as  necessidades lógicas, e as
físicas, e o necessário a posteriori. E há ainda as  noções de
possibilidade. De que maneira  a lógica modal, vista como o estudo do
raciocínio que envolve o uso das expressões  'necessariamente' e
'possivelmente', trabalha com tudo isso? Existem modalidades
não-clássicas, ou as  noções de modalidade não as  admitem? Seria a
'consistência' uma noção modal?  E o que tem isso tudo a ver com os
mundos possíves? E com os mundos impossíveis? Pretendo mostrar a
matemática das modalidades e das multimodalidades, incluindo ideias
básicas da  combinação de  lógicas, discutir alguns  de seus problemas
e ajudar a   compreender porque a  lógica modal ocupa hoje uma posição
tão privilegiada na  filosofia, na computação e na
linguística.



Walter Carnielli é Professor Titular do Departamento de Filosofia da
UNICAMP, e diretor do Centro de Lógica, Epistemologia  História da
Ciência  da  UNICAMP.  Autor de dezenas de artigos científicos  em
Lógica, Combinatória, Teoria  da Computação, Teoria dos Conjuntos e
Filosofia da  Lógica,  Carnielli é co-autor de "Analysis and Synthesis
of Logics: How to Cut and Paste Reasoning Systems" (Springer, 2008,
com D. Gabbay, M. E. Coniglio, C. Serndas e P. Gouveia), " Modalities
and Multimodalities" (Springer, 2008, com C. Pizzi) e "Computability:
Computable Functions, Logic, and the Foundations of Mathematics"
(Wadsworth, Thomson Learning, ARF Publications em várias edições desde
1989). Acaba de  lançar "Pensamento Crítico: o poder da lógica e da
argumentação " (Editora Rideel, 2009, com R. L. Epstein).



domingo, 20 de junho de 2010

Seminário Claudio Pizzi

---------- Forwarded message ----------
From: Rafael Testa
Date: 2010/6/19
Subject: [seminarios-CLE] Seminário

Pessoal, nesta próxima quarta, dia 23/06, teremos seminário do Professor Claudio Pizzi (Universidade de Siena, Itália).
Título e resumo a ser enviado.

Como sempre às 16h00, no CLE.

--
Rafael R. Testa
Doutorando do Centro de Lógica, Epistemologia e História da Ciência
Departamento de Filosofia, Unicamp
http://sites.google.com/site/rafaeltesta