Etiqueta de registo: 00657cam 2200181 450
001 1156822
003 http://id.bnportugal.gov.pt/bib/catbnp/1156822
100 ## $a20030611d2002 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay z 001yy
106 ## $ar
200 1# $aEstimação da potência em circuitos digitais utilizando técnicas de enumeração implícita$bTexto policiopiado$fAna Teresa Correia de Freitas
210 #9 $aLisboa$c[s.n.],$d2002
215 ## $aXIV, 188 p.$d30 cm
320 ## $aBibliografia, p. 179-188
328 ## $aTese dout. Engenharia Electrotécnica e de Computadores, Univ. Téc. de Lisboa, 2002
675 ## $a621.3.04(043)$vBN$zpor$31227036
700 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$3158946
966 ## $lBN$mFGMON$sS.A. 104805 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1803233
003 http://id.bnportugal.gov.pt/bib/catbnp/1803233
100 ## $a20120210d2011 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aEfficient algorithms for the identification of miRNA motifs in DNA sequences$fNuno Miguel Dias Mendes$gorient. Ana Teresa Correia de Freitas, Marie-France Sagot
210 #9 $aLisboa$c[s.n.],$d2011
215 ## $aXV, [1], 110 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em bolsa$cil.$d13 x 13 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Engª Informática e de Computadores, Inst. Sup. Técnico. Univ. Técnica de Lisboa, 2011
675 ## $a519.71(043)$vBN$zpor$3389481
675 ## $a575.11(043)$vBN$zpor$31241576
675 ## $a577(043)$vBN$zpor$3337145
675 ## $a576.3(043)$vBN$zpor$31228857
700 #1 $aMendes,$bNuno Miguel Dias$31278902
702 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$4727$3158946
702 #1 $aSagot,$bMarie-France$4727$31483470
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 52832 P.$x1
966 ## $lBN$mFGMON$sS.A. 145151 V.$x3

Etiqueta de registo: 00230nam 2200025 450
001 1781709
003 http://id.bnportugal.gov.pt/bib/catbnp/1781709
100 ## $a20110602d2010 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aTowards an integrative approach for the modeling and formal verification of biological regulatory networks$fPedro Tiago Gonçalves Monteiro$gorient. Ana Teresa Correia de Freitas, Hidde de Jong, Radu Mateescu
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $a[2], XIX, 141 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Engenharia Informática e de Computadores, Instituto Superior Técnico, Univ. Técnica de Lisboa, 2010
675 ## $a004.9(043)$vBN$zpor$3788403
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aMonteiro,$bPedro Tiago Gonçalves $31246720
702 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$4727$3158946
702 #1 $aJong,$bHidde de$4727$31462008
702 #1 $aMateescu,$bRadu$4727$31462009
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18631 P.$x1
966 ## $lBN$mFGMON$sP. 32437 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1728141
003 http://id.bnportugal.gov.pt/bib/catbnp/1728141
100 ## $a20091027d2007 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aDynamic modeling of metabolic networks$bTexto policopiado]$fRodrigo Madrugo Piedade$gorient. Ana Teresa Correia de Freitas, Susana de Almeida Mendes Vinga Martins
210 #9 $aLisboa$c[s.n.],$d2007
215 ## $a[132] p., pag. var.$cil.$d30 cm
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cEngenharia Electrotécnica e de Computadores$eInst. Superior Técnico, Univ. Técnica de Lisboa$d2007
675 ## $a004.7(043)$vBN$zpor$90$3918097
675 ## $a576(043)$vBN$zpor$3395250
675 ## $a519(043)$vBN$zpor$3476435
700 #1 $aPiedade,$bRodrigo Madrugo$31396835
702 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$4727$3158946
702 #1 $aMartins,$bSusana Vinga$4727$31266278
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 27282 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1681499
003 http://id.bnportugal.gov.pt/bib/catbnp/1681499
100 ## $a20080408d2006 k y0pory0103 ba
101 0# $aporfre$deng
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aMétodos de biclustering para a identificação de mecanismos de regulação genética$bTexto policopiado]$fAna Paula Proença Ramalho$gorient. Ana Teresa Correia de Freitas, Arlindo Manuel Limede de Oliveira
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXXII, 126 p.$cil.$d30 cm
320 ## $aBibliografia, p. 79 -82
328 #0 $bTese mestr.$cEngenharia Informática e de Computadores$eUniv. Aberta, Porto$d2006
675 ## $a577.21(043)$vBN$zpor$3486758
675 ## $a575.11(043)$vBN$zpor$31241576
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a004.65(043)$vBN$zpor$31229689
700 #1 $aRamalho,$bAna Paula Proença$31322028
702 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$4727$3158946
702 #1 $aOliveira,$bArlindo,$f1963-$4727$3409080
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 119557 V.$x1

Etiqueta de registo: 01329nam 2200301 450
001 1329622
003 http://id.bnportugal.gov.pt/bib/catbnp/1329622
100 ## $a20050720d2004 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aEfficient algorithms for structured motifs extraction in DNA sequences$bTexto policopiado]$fAlexandra Sofia Martins de Carvalho$gorient. Arlindo Manuel Limede de Oliveira, Ana Teresa Correia de Freitas
210 #9 $aLisboa$c[s.n.],$d2004
215 ## $a76 p.$cil.$d30 cm
320 ## $aBibliografia, p. 69-76
328 #0 $bTese mestr.$cEngenharia Informática e de Computadores$eInstituto Superior Técnico, Univ. Técnica de Lisboa$d2004
675 ## $a519.71(043)$vBN$zpor$vBN$zpor$3389481
700 #1 $aCarvalho,$bAlexandra Sofia Martins de$31211369
702 #1 $aOliveira,$bArlindo,$f1963-$4727$3409080
702 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$4727$3158946
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
856 40 $uhttps://purl.pt/12051
856 41 $uhttps://purl.pt/12051/service/media/cover/low
958 ## $aBND$bInterno$cNascido digital
966 ## $lBN$mBND$nDocumento electrónico$sPURL 12051/0
966 ## $lBN$mBND$nDocumento electrónico$sPURL 12051/1
966 ## $lBN$mFGMON$sS.A. 111233 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1374268
003 http://id.bnportugal.gov.pt/bib/catbnp/1374268
100 ## $a20060627d2005 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aSistema de gestão da informação dos mecanismos de regulação genómica do organismo$bTexto policopiado]$esaccharomyces cerevisiae$fPedro Tiago Gonçalves Monteiro$gorient. Arlindo Manuel Limede de Oliveira, Ana Teresa Correia de Freitas
210 #9 $aLisboa$c[s.n.],$d2005
215 ## $aXIX, 76, XXII p.$d30 cm
320 ## $aBibliografia, p. XXI-XXII
328 #0 $bTese mestr.$cEngenharia Informática e de Computadores$eInstituto Superior Técnico, Univ. Técnica de Lisboa$d2005
675 ## $a004.6(043)$vBN$zpor$31238716
675 ## $a577.21(043)$vBN$zpor$3486758
700 #1 $aMonteiro,$bPedro Tiago Gonçalves $31246720
702 #1 $aOliveira,$bArlindo,$f1963-$4727$3409080
702 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$4727$3158946
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21853 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1870250
003 http://id.bnportugal.gov.pt/bib/catbnp/1870250
100 ## $a20140415d2013 k y0pory0103 ba
101 0# $aeng$dporita
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aEfficient algorithms to align DNA sequences$fFrancisco Jorge Dias Oliveira Fernandes$gorient. Ana Teresa Correia de Freitas
210 #9 $aLisboa$c[s.n.],$d2013
215 ## $aXII, 72 p.$cil.$d30 cm
320 ## $aBibliografia, p. 67-72
328 #1 $aTese dout. Information Systems and Computer Engineering, Inst. Sup. Técnico, Univ. de Lisboa, 2013
675 ## $a519.7(043)$vBN$zpor$31229234
675 ## $a577.21(043)$vBN$zpor$3486758
700 #1 $aFernandes,$bFrancisco Jorge Dias Oliveira$31570561
702 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$4727$3158946
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 153903 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1561088
003 http://id.bnportugal.gov.pt/bib/catbnp/1561088
100 ## $a20070115d2005 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aInference of complex motifs using biclustering techniques$bTexto policopiado]$fNuno Miguel Dias Mendes$gorient. Ana Teresa Correia de Freitas, Arlindo Manuel Limede de Oliveira
210 #9 $aLisboa$c[s.n.],$d2005
215 ## $aXXIV, 62, VI p. $cil.$d30 cm
320 ## $aBibliography, p. I-VI
328 #0 $bTese mestr.$cEngenharia Informática e de Computadores$eInstituto Superior Técnico, Univ. Técnica de Lisboa$d2005
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a575(043)$vBN$zpor$3337090
700 #1 $aMendes,$bNuno Miguel Dias$31278902
702 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$4727$3158946
702 #1 $aOliveira,$bArlindo,$f1963-$4727$3409080
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 22506 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1875570
003 http://id.bnportugal.gov.pt/bib/catbnp/1875570
100 ## $a20140606d2013 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aKnowledge representation for data integration and exploration in translational medicine$fCátia Maria Machado$gorient. Francisco Moreira Couto, Ana Teresa Freitas
210 #9 $aLisboa$c[s.n.],$d2013
215 ## $aXXIII, 135 p.$cil.$d30 cm$ecurriculum vitae ([3] p.)
320 ## $aContém bibliografia
328 #1 $aTese doutoramento Informática (Bioinformática), Faculdade de Ciências, Universidade de Lisboa, 2013
675 ## $a004.8(043)$vBN$zpor$31234122
675 ## $a60(043)$vBN$zpor$31376044
700 #1 $aMachado,$bCátia Maria,$f1981-$31576621
702 #1 $aCouto,$bFrancisco José Moreira$4727$31047956
702 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$4727$3158946
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 39983 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1885842
003 http://id.bnportugal.gov.pt/bib/catbnp/1885842
100 ## $a20141009d2014 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aTowards a risk assessment model for biocide use$fJoana Maria Rosado da Silva Coelho$gorient. Ana Teresa Correia de Freitas, Marco Rinaldo Oggioni
210 #9 $aLisboa$c[s.n.],$d2014
215 ## $aXVII, 99 p.$cil.$d30 cm
320 ## $aBibliografia, p. 85-99
328 #1 $aTese dout. Bioengineering, Instituto Superior Técnico, Univ. de Lisboa, 2014
675 ## $a577.1(043)$vBN$zpor$3335609
675 ## $a519.8(043)$vBN$zpor$31250739
700 #1 $aCoelho,$bJoana Maria Rosado da Silva$31589118
702 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$4727$3158946
702 #1 $aOggioni,$bMarco Rinaldo$4727$31589119
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 156133 V.$x1

Etiqueta de registo: 00941cam 2200265 450
001 471741
003 http://id.bnportugal.gov.pt/bib/catbnp/471741
005 19990101000000.0
095 ## $aPTBN00674315
100 ## $a19941128d1994 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a Um agregado de células lógicas para realização de circuitos integrados semipersonalizados$bTexto policopiado]$fAna Teresa Correia de Freitas Figueira de Sousa
210 #9 $aLisboa$c[s.n.],$d1994
215 ## $aXI, 215 f.$cil.$d30 cm
320 ## $aBibliografia, f. 124-126
328 ## $aTese de mest. Eng. Electrotécnica e de Computadores. Univ. Técnica de Lisbos, 1994
675 ## $a519.68(043)$vBN$zpor$3302159
675 ## $a519.7/.8(043)$vBN$zpor$31291070
675 ## $a621.3.04(043)$vBN$zpor$31227036
675 ## $a681.5(043)$vBN$zpor$3297997
700 #1 $aSousa,$bAna Teresa Correia de Freitas Figueira de$3158946
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 78101 V.$x1