2009
 |
|
| BEDREGAL, B.R.C. On Interval Fuzzy Negations. Tech. rep., DIMAP/UFRN, 2009. Submitted to a Journal. |
| BEDREGAL, B.R.C., REISER, R.H.S. and DIMURO, G.P. "Xor-Implications and E-Implications: Classes of fuzzy implications
based on fuzzy Xor". Electronic Notes in Theoretical Computer
Sciences, 247:5-18, 2009. |
| BEDREGAL, B.R.C., DIMURO, G.P. and REISER,
R.H.S. "An Approach to Interval-Valued R-Implications and
Automorphisms". Proc. IFSA/EUSFLAT 2009, Lisbon, July, 2009. |
|
2008
|
| BEDREGAL, B.R.C.; CRUZ, A.P. "A Characterization of Classic-Like Fuzzy Semantics". Logic Journal of IGPL, v.16, n. 4, p. 357-370, 2008. |
| BEDREGAL, B.R.C.; FIGUEIRA, S. "On the computing power of fuzzy Turing machines". Fuzzy Sets and Systems, v.159, n. 9, p. 1072-1083, 2008. |
| R.H.S. REISER, G.P. DIMURO, B.C. BEDREGAL, H.S. SANTOS, R. CALLEJAS-BEDREGAL. "S-Implications on Complete Lattices and the Interval Constructor". Tema - Trends in Computational
and Applied Mathematics., v. 9, n. 1, p 143-154, 2008. Free Access. |
| DIMURO, G.P.; BEDREGAL, B.R.C.; REISER, R.H.S.; SANTIAGO, R.H.N. “Interval Additive Generators of Interval T-Norms
”. In: 15th
Workshop on Logic, Language, Information and Computation, WoLLIC 2007, Edinburgh. Lectures Notes in Artificial Intelligence (LNAI). Berlin: Springer-Verlag, 2008. v. 5110. p. 123-135. |
| TRINDADE, R. M. P. ; BEDREGAL, B. R. C. ; DÓRIA NETO, A.D. "Basic Concepts of Interval Digital Signal Processing". In: World
Congress on Science, Engineering and Technology, 2008, Paris.
Proceedings of World Academy of Science, Engineering and Technology,
2008. v. 30. p. 66-70. |
| BEDREGAL, B. C.; REISER, R.H.S. ; DIMURO, G.P..
"Xor-Implications and E-Implications: Classes of fuzzy implications
based on fuzzy Xor". In: Third Workshop on Logical and Semantic
Frameworks, with Applications, 2008, Salvador. Third Brazilian Workshop
on Logical and Semantic Frameworks, with Applications: Pre-proceedings.
Salvador : UFBA, 2008. p. 8-20. |
| SANTOS, H.S.; Bedregal, B. C. "The Interval Constructor on
Some Classes of ML-algebras". In: Third Brazilian Workshop on Logical
and Semantic Frameworks, with Applications, 2008, Salvador. Third
Brazilian Workshop on Logical and Semantic Frameworks, with
Applications: Pre-proceedings. Salvador : UFBA, 2008. p. 113-128. |
|
2007
|
| BEDREGAL, B.R.C. “A Normal Form which Preserves Tautologies and Contradictions
in a Class of Fuzzy Logics”. Journal of
Algorithms: Algorithms in Cognition, Informatics and Logics, v. 62, p.
135-147, 2007. |
| BEDREGAL, B.R.C.
"Pushdown Automata Free of Explicit Nondeterminism and an Infinite Hierarchy of Context-free Languages". Fundamenta Informaticae, v. 81, n.4, p. 367 - 377, 2007. |
|
BEDREGAL,
B.R.C.; DIMURO, G.P.; COSTA, A.C.R. “Hand Gesture Recognition in an
Interval Fuzzy Approach”. Tema - Trends in Computational
and Applied Mathematics., v. 8, n. 1, p.
21-31, 2007. Free Access.
|
|
BEDREGAL, B.R.C.; SANTIAGO, R.H.N.; REISER,
R.H.S.; DIMURO, G.P. “Properties of Fuzzy Implications obtained via the
Interval Constructor”. Tema - Trends in Computational
and Applied Mathematics., v. 8, n.
1, p. 33-42, 2007. Free Access.
|
| R. CALLEJAS-BEDREGAL, B.R.C. BEDREGAL, Construção de Domínios Bi-Scott via Completação por Ideais. Tema - Trends in Computational
and Applied Mathematics. v. 8, n. 3, p. 341-350, 2007. Free Access. |
| BEDREGAL, B.R.C.; SANTIAGO, R.H.N.; REISER, R.H.S.; DIMURO, G.P. “Analyzing
Properties of Fuzzy Implications Obtained via the Interval Constructor”. In:
Wolfram Luther; Werner Otten. (Org.). IEEE Post-Proceedings of SCAN 2006 -
Revised Selected Papers of the 12th GAMM - IMACS International Symposium on
Scientific Computing, Computer Arithmetic and Validated Numeric, Duisburg, 26 - 29 September 2006. 1 ed. Los Alamitos: IEEE
Computer Society Press, 2007, v. 1, p. 1-9. |
| BEDREGAL, B.R.C.;
DIMURO, G.P.; COSTA, A.C.R. “Interval Fuzzy Rule-Based Hand Gesture Recognition”.
In: Wolfram Luther; Werner Otten. (Org.). IEEE Post-Proceedings of SCAN 2006 -
Revised Selected Papers of the 12th GAMM - IMACS International Symposium on
Scientific Computing, Computer Arithmetic and Validated Numeric, Duisburg, 26 - 29 September 2006. 1 ed. Los Alamitos: IEEE
Computer Society Press, 2007, v. 1, p. 1-8. |
| REISER, R.H.S.;
DIMURO, G.P.; BEDREGAL, B.R.C.; SANTIAGO, R.H.N. “Interval Valued QL-Implications”. In: 14th
Workshop on Logic, Language, Information and Computation, WoLLIC 2007, Rio de Janeiro. Lectures Notes in Computer Sciences (LNCS). Berlim: Springer-Verlag, 2007. v.
4576. p. 307-321. |
| BEDREGAL, B.R.C.; BEDREGAL,
R.C.; SANTOS, H.S. “Bounded Lattice T-Norms as an Interval
Category”. In: 14th Workshop on Logic, Language, Information and Computation, WoLLIC 2007, Rio de Janeiro. Lectures Notes in Computer Sciences (LNCS). Berlim:
Springer-Verlag, 2007. v. 4576. p. 26-37. |
| BEDREGAL, B.R.C.; SANTOS, H.S.; BEDREGAL, R.C. “A Generalized Class of T-Norms
from a Categorical Point of View”. In: IEEE International Conference on Fuzzy
Systems, Fuzz-IEEE 2007, Londres.
2007 IEEE International Conference on Fuzzy Systems. Londres: IEEE Computer
Society Press, 2007. p. 1155-1160. |
| BEDREGAL, B.R.C.; SANTIAGO, R.H.N.; REISER, R.H.S.; DIMURO, G.P. “The Best
Interval Representation of Fuzzy S-Implications and Automorphisms”. In: IEEE
International Conference on Fuzzy Systems, Fuzz-IEEE
2007, Londres. 2007 IEEE International Conference on Fuzzy Systems. Londres:
IEEE Computer Society Press, 2007. p. 1782-1787. |
| BEDREGAL, B.R.C.; SANTIAGO, R.H.N.; REISER, R.H.S.; DIMURO, G.P. “Interval
Valued R-Implications and Automorphisms”. In: Second Workshop on Logical and
Semantic Frameworks, with Applications, LSFA
2007, Ouro Preto-MG. Pre-proceedings of Brazilian Workshop on Logical and
Semantic Frameworks, with Applications, 2007. v. 1. p: 82-97. |
|
|
|
2006
|
|
BEDREGAL, B.R.C. and Pan, I. Some typical classes of t-norms and 1-Lipschitz condition. Proc. of 9th Brazilian Symposium on Neural Networks, Ribeirão Preto, SP, Brazil, October 23-27, 2006.
|
|
BEDREGAL, B.C.; SANTOS, H.S.; and
CALLEJAS-BEDREGAL, R. T-Norms on Bounded Lattices: t-norm
Morphisms and Operators. Fuzzy Systems, 2006 IEEE
International Conference on,
Vancouver, July 16-21, 2006 Pages:22 – 28. Doi 10.1109/FUZZY.2006.1681689, Summary: Not available.....
|
|
TAKAHASHI, A. e BEDREGAL, B.R.C. T-Normas, T-Conormas,
Complementos e Implicações Intervalares. Tema - Trends in Computational
and Applied Mathematics. São
Carlos-SP, Brazil: Brazilian Society of Applied and Computational
Mathematics, 7(1):139-148, 2006 Free Access.
|
|
BEDREGAL, B.R.C. and TAKAHASHI . Interval Valued Versions of
T-Conorms, Fuzzy Negations and Fuzzy Implications. Fuzzy Systems, 2006 IEEE
International Conference on, Vancouver, July 16-21, 2006 Pages:1981 –
1987. Doi:10.1109/FUZZY.2006.1681975, Summary: Not
available.....
|
|
BEDREGAL, B.R.C. e
DUTRA, J.E.M. Java-XSC: Estado
da arte. XXXII Conferencia Latinoamericana de Informática (CLEI-2006),
Santiago, August, 2006.
|
|
BEDREGAL, B.R.C., COSTA, A.C. da R. and DIMURO, G.P. Fuzzy
Rule-Based Hand Gesture Recognition. Proceeding of IFIP, 19th
WCC, Artificial Intelligence in Theory and Practice, Santiago, Chile,
August, 2006. Pages:285-294.
|
|
BEDREGAL, B.R.C. and FIGUEIRA,
S.D. Classical Computability and Fuzzy Turing Machines. LNCS, 3887:154-165, 2006.
|
|
BEDREGAL, B.R.C. and TAKAHASHI . The best interval representations of t-norms and automorphisms. Fuzzy Sets and Systems, 157(24): 3220-3230, 2006.
|
|
SANTIAGO,
R.H.N., BEDREGAL, B.R.C., and ACIÓLY, B.M. Formal Aspects of
Correctness and Optimality of Interval Computations. Formal Aspects of
Computing, 18:231-243, 2006.
|
|
BEDREGAL,
B.R.C. and CRUZ, A.P. Propositional Logic as a
Propositional Fuzzy Logic. Electronic Notes in Theoretical
Computer Sciences,
143: 5-12, 2006.
|
|
|
2005
|
|
BEDREGAL, B.R.C. and TAKAHASHI,
A. Interval t-norms as interval representations of
t-norms. IEEE International Conference on Fuzzy
Systems, Reno,
Nevada, USA, 22-25 mai, 2005.
|
|
A.
TAKAHASHI, B.R.C. BEDREGAL, A. LYRA, Uma
Versão Intervalar do Método de Segmentação de Imagens Utilizando o K-means. Tema - Trends in Computational and Applied Mathematics. São Carlos-SP, Brazil: Brazilian Society of Applied and
Computational Mathematics, 6(2):315-324, 2005. Free Access.
|
|
BEDREGAL,
B.R.C., SANTIAGO, R.H.N. and ACIÓLY, B.M. Comparing Continuity of Interval
Functions Based on Moore and Scott Topologies. Electronical Journal on Mathematics of Computation, V.2., July, 2005. P. 18. Free Access.
|
|
|
2004
|
|
BEDREGAL, B.R.C. A Normal Form Which Preserve
1-Tautologies and 0-Contradictions in a Class of Residuum-Based
Propositional Fuzzy Logics. IEEE International Conference on Fuzzy Systems,
Budapest, Hungary, 25-29 july, 2004.
|
|
CALLEJAS-BEDREGAL,
R. and BEDREGAL, B.R.C. Acióly-Scott Interval Categories. Electronic Notes in Theoretical Computer
Sciences,
95:169-187, 2004.
|
|
SANTIAGO, R.H.N. and BEDREGAL, B.R.C., Computabilidade:
os limites da Computação. Notas em Matemática Aplicada, Vol. 11, SBMAC,
2004. Free Access.
|
|
SANTIAGO,
R.H.N., BEDREGAL, B.R.C. and ACIÓLY, B.M, Interval Representations. Tema - Trends in Computational and Applied Mathematics. São Carlos-SP, Brazil: Brazilian Society of Applied and
Computational Mathematics, Vol.4, number 2, p.315-324, 2004. Free Access.
|
|
PATIÑO-ESCARCINA,
R.E.; BEDREGAL, B.R.C. and LYRA, A. Interval Computing in Neural
Networks: One Layer Interval Neural Networks. Proceeding of 7th International
Conference on Information Technology, Hyderabad, India, December 20-23,
2004. In LNCS, V. 3356, Springer-Verlag, 2004.
|
|
ARAÚJO, F.S.; RAMOS, K.D.N.; BEDREGAL, B.R.C. and SILVA,
I.S. Papílio Cryptography Algorithm. Proceeding of Computational
and Information Science: First International Symposium, CIS 2004, Jun
Zhang, Ji-Huan He, Yuxi Fu (eds), Shanghai, China, December 16-18, 2004. In
LNCS, V. 3314, Springer-Verlag, 2004.
|
|
|
2003
|
|
CALLEJAS-BEDREGAL, R. and
BEDREGAL, B. R. C. Acióly-Scott Interval Categories. Proceeding VI Workshop on Formal Methods, Campina Grande-PB, 12-14 de outubro de
2003, p. 121-136.
|
|
BEDREGAL, B. R. C. and NIES, A. Lowness
Properties of Reals and Hyper-Immunity.
Proceeding of 10th Workshop on Logic, Language, Information and Computation
- WoLLIC'03. In Electronic Notes in Theoretical Computer Science. Elsevier Science B.V., v.84, p.8, 2003.
|
|
KREINOVICH, V.; NGUYEN, H.T.;
DIMURO, P.G.; COSTA, A.C.R. and BEDREGAL, B.R.C. A New Differential Formalism for Interval-Valued Functions and Its
Potential Use in Detecting 1-D Landscape Features. Proceeding of International Conference on Intelligent
Technologies (InTech'03), Chiang Mai, Thailand,
December 17-19, 2003, p. 491-498.
|
|
BEDREGAL, B.R.C. and
CALLEJAS-BEDREGAL, R.
A Bi-Scott Domain Logic. Electronical Journal on
Mathematics of Computation, V.1., March, 2003. P. 18. Free Access.
|
|
|
2002
|
|
BEDREGAL, B. R. C. and SILVA, I.
A. Continuous Domains and their Information System Representation as
Logical Systems. Proceeding of 9th
Workshop on Logic, Language, Information and Computation - WoLLIC'02. In Electronic Notes in Theoretical Computer Science. Elsevier Science B.V., v.67, p.20, 2002.
|
|
BEDREGAL, R. C.; BEDREGAL, B. R. C. and
SANTIAGO, R. H. N.
Generalizing the Real Interval Arithmetic. Tema - Trends in Computational and Applied Mathematics. São Carlos-SP, Brazil: Brazilian Society of Applied and Computational
Mathematics, v.3, N.1, p.61-70, 2002. Free Access.
|
|
ACIÓLY, B. M.; BEDREGAL, B. R.
C. and LYRA, A. Introdução à Teoria
das Linguages Formais , dos Autômatos e da Computabilidade. Natal-RN, Brazil:
Edições UnP, 2002 p.258.
|
|
|
2001
|
|
BEDREGAL, R. C. and BEDREGAL, B. R. C. Intervals as a Domain Constructor. Tema - Trends in Computational and Applied Mathematics. São Carlos-SP, Brazil: Brazilian Society of Applied and
Computational Mathematics, v.2, p.43 - 52, 2001. Free Access.
|
|
BEDREGAL, R. C. and BEDREGAL, B. R. C. Intervals as a Categorical Constructor In: Proceedings
of IV Workshop on Formal Methods, Rio de Janeiro, 2001. p.139 - 150
|
|
SILVEIRA, M.M.M.T. and BEDREGAL, B. R. C. Toward an Interval Fuzzy Theory. In: Proceedings
of the 2001 International Conference on Artificial Intelligence. Las
Vegas, Nevada, USA: Computer Science Research, Education, &
Applications (CSREA) Press, 2001. v.II. p.931 - 937
|
|
SILVEIRA, M.M.M.T.and BEDREGAL, B. R.
C. A Method of Inference and Defuzzification Fuzzy Interval. In: Proceeding of the IASTED International Conference on
Artificial Intelligence and Applications. Marbella, Spain, september,
2001. Anaheim-Calgary-Zurich: ACTA Press, 2001. p. 242-247
|
|
SILVA,
I. A.; BEDREGAL, B. R. C.; LUCENA, M. J. N. R. and GOTTGTROY, M. P. B.
Um Framework para
Desenvolvimento de Sistemas Complexos In: Proceeding of XXVII Conferencia
Latinoamericana de Informática. Mérida, Venezuela, 2001. p.1 - 12
|
|
SILVEIRA,
M. M. M. T. and BEDREGAL, B. R. C. Um Método de Simplificação de Conjuntos Fuzzy usando
Intervalos. In: 2nd Congress of Logic Applied to
Technology, 2001, São Paulo. Logic, Artificial Intelligence and Robotics. São Paulo: Pleiade, 2001.
v.II. p.247 - 254
|
|
SILVEIRA, M.M.M.T. and BEDREGAL, B. R. C. Uma Inferência Fuzzy Min-Max
Intervalar In:
Encontro Nacional de Inteligência Artificial, 2001, Fortaleza. In: Proceeding
of XXI Congresso da Sociedade Brasileira de Computação. Fortaleza:
Sociedade Brasileira de Computação, 2001. p.1 - 11
|
|
SILVEIRA, M. M. M. T. and BEDREGAL, B. R. C. Uma Teoria de Conjuntos Fuzzy
Intervalar.In: Proceeding
of II Workshop en Inteligencia Artificial. Punta Arenas, Chile
2001.
|
|
|
2000
|
|
LYRA,
A. and BEDREGAL, B. R. C. Computabilidade nos Reais: Uma Análise Intervalar Computável. In: Proceeding
of I Congresso de Lógica Aplicada à Tecnologia, LAPTEC´2000. São
Paulo: Faculdade SENAC de Ciências Exatas e Tecnologia, 2000. p.19 - 32
|
|
BEDREGAL, B. R. C. A Semantical System of Finite Information for the Real Numbers. In: Second International Conference on
Information Technology, 1999, Bhubaneswar. CIT'99 Trends in Information
Technology. New Delhi: Tata McGraw-Hill Publishing Company Limited, 2000.
p.167 - 172
|
|
|
1999
|
|
BEDREGAL, B. R. C. Continuous Information Systems as a Finite Information Logic For
Continuous Domains. In: Proceedings of the II
Workshop on Formal Methods. Florianópolis, 1999. p.3 - 12
|
|
BEDREGAL, B. R. C. and ACIÓLY, B. M. Effectively Given Continuous Domains: A Computable Interval Analysis. Electronic
Journal on Mathematics of Computation. Pelotas-RS: , v.0, n.0, p.1 -
22, 1999. Free Access.
|
|
LYRA,
A. and BEDREGAL, B. R. C. Uma Análise Computável do Contínuo: A Máquina BSS Intervalar
In: Proceeding of XXV Conferencia Latinoamerica de
Informática - CLEI'99 - Vol.2. Assunção: Universidad Autonoma de
Asunción, 1999. p.649 - 660
|
|
BEDREGAL, B. R. C. and ACIÓLY, B. M. Using Continuous Domain Logic to Solve Interval Constraint
Satisfaction problems. In: Proceeding of XXV Conferencia
Latinoamerica de Informática - CLEI'99 - Vol.2. Assunção: Universidad
Autonoma de Asunción, 1999. p.661 - 672
|
|
BEDREGAL, B. R. C. w-Continuous cpo's, w-Algebraic cpo's, SFP Domains and Retracts of
SFP Domains as Information Systems. In Proceedings
of 6th Workshop on Logic, Language, Information and Computation - WoLLIC'99.
Itatiaia National
Park-RJ , 1999. p.51 - 60
|
|
LYRA,
A., BEDREGAL, B. R. C. Introdução a uma Análise
Intervalar Computável. Tecnologia e Informação. Natal-RN: , n.Nov, p.79 - 98,
1999.
|
|
|
Previous
Years
|
|
BEDREGAL, B. R. C. and ACIÓLY, B. M. A Computability on the Interval Space: A Domain Approach. In: Proceeding of XXIII Conferencia Latinoamericana de
Informática. Valparaíso-Chile,
1997. v.I. p.107 - 116
|
|
ACIÓLY, B. M. and BEDREGAL, B.
R. C. A Quasi-Metric Topology Compatible with Inclusion Monotonicity on
Interval Space. Journal of Reliable
Computing. Holanda: Kluwer, v.3, p.305 - 313, 1997.
|
|
BEDREGAL, B. R. C. and ACIÓLY,
B. M. Logic of Plotkin Continuous Domains. In: Second
Latin American Symposium - LATIN'95, 1995, Valparaíso-Chile. Lecture
Notes in Computer Science. Berlin Heidelberg: Springer-Verlag, 1995.
v.911. p.195 - 206
|
|
BEDREGAL, B. R. C. Representing SFP Domains
as Information Systems. In: Proceeding of XXII SEMISH, XXI Conferência Latino-Americana
de Informática. Canelas-RS, Brazil, 1995. v.2. p.903 - 915
|
|
BEDREGAL,
B. R. C. and LOPES, M. A. Sistemas de Informação via Sistemas Semânticos. In: Proceeding of XX Conferencia Latinoamericana de Informática.
Ciudad de México: Megabyte Noriega Editores, 1994. p.467 - 478
|
|
BEDREGAL, B. R. C. and ACIÓLY, B. M. Rational
Intervals: An Effectively Given Information Systems. Proceeding of the
International Conference on Mathematical Modelling and Scientific
Computation, 1993, Sozopol-Bulgaria. In: Scientific Computation and
Mathematical Modelling. Sofia: DATECS Publishing, 1993. p.159 - 170
|
|
