Artículos -

Navegar

Últimos Documentos Autor FCEN - Año Autor FCEN - Revista Año - Revista Revista - Año SubjectPcEn Colores Type

Colección

Lista de

$
0
1
-
1
1
-
1
-
1
-
1
1
1
2
3
4
5
6
7
8
9
a
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
‐
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
a
-
a
-
a
b
-
b
-
b
-
b
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
+
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
c
-
c
-
c
d
-
d
-
d
-
d
-
d
-
d
-
d
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
f
-
f
-
f
f
g
-
g
-
g
-
g
-
g
-
g
-
g
-
g
-
‐
g
-
g
-
‐
g
-
g
h
‐
h
h
-
h
-
h
-
h
-
h
i
-
i
j
k
-
k
-
k
-
k
-
k
-
k
l
-
l
-
l
-
l
-
l
-
l
-
l
l
+
l
±
l
l
m
-
m
-
m
-
m
-
m
-
m
+
m
-
m
-
m
-
m
-
‐
m
n
-
n
-
n
-
n
-
n
o
p
-
p
p
-
p
-
p
q
r
-
r
-
r
s
-
s
-
s
{
s
-
s
t
-
t
‐
-
t
-
t
-
t
t
-
t
u
v
v
w
x
-
x
y
z
α
β
—
,
δ
π
-

Syntactics

"Automatic Detection of Negated Findings in Radiological Reports for Spanish Language: Methodology Based on Lexicon-Grammatical Information Processing" (2019) Koza, W.;Filippo, D.;Cotik, V. (...)Martínez-Gamboa, R. Journal of Digital Imaging. 32(1):19-29

"Automatic detection of negated findings with nooj: First results" (2018) Koza, W.;Muñoz, M.;Rivas, N. (...)Metais E. 23rd International Conference on Natural Language and Information Systems, NLDB 2018. 10859 LNCS:298-302

"A categorical approach to structuring and promoting Z specifications" (2013) Castro, P.F.; Aguirre, N.; López Pombo, C.G.; Maibaum, T. 9th International Symposium on Formal Aspects of Component Software, FACS 2012. 7684 LNCS:73-91

"De Bruijn indices for metaterms" (2005) Bonelli, E.; Kesner, D.; Rios, A. Journal of Logic and Computation. 15(6):855-899

"DynAlloy: Upgrading alloy with actions" (2005) Frias, M.F.; Galeotti, J.P.; Pombo, C.G.L.; Aguirre, N.M. 27th International Conference on Software Engineering, ICSE05:442-450