Export 2488 results:
Sort by: Author Title Type [ Year (Desc)]
1995
Abreu, Fernando Brito, Miguel Goulão, and Rita Esteves. "Toward the Design Quality Evaluation of Object-Oriented Software Systems." 5th International Conference on Software Quality. Austin, Texas, EUA: American Society for Quality, 1995. 44-57. Abstract
n/a
1994
Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS." Theoretical Computer Science. 122 (1994): 49-68. Abstract
n/a
Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION." MIT Press. 1994. 424-438. Abstract
n/a
Dias, C. J., M. P. Wenger, Y. Kaminorz, U. Hopfner, D. K. Dasgupta, J. Lewiner, D. Morisseau, and C. Alquie. "ELECTRO-ACTIVE PROPERTIES OF INTELLIGENT FERROELECTRIC CERAMIC POLYMER COMPOSITE SENSORS." Ise 8 - 8th International Symposium on Electrets, Proceedings (1994): 589-593. Abstract
n/a
Igreja, R., M. P. Wenger, C. J. Dias, D. K. Dasgupta, J. N. MaratMendes, J. Lewiner, D. Morisseau, and C. Alquie. "PYROELECTRICITY AND PIEZOELECTRICITY IN SOL-GEL DERIVED CERAMIC POLYMER COMPOSITES." Ise 8 - 8th International Symposium on Electrets, Proceedings (1994): 725-730. Abstract
n/a
Igreja, R., M. P. Wenger, C. J. Dias, D. K. Dasgupta, J. N. MaratMendes, J. Lewiner, D. Morisseau, and C. Alquie. "PYROELECTRICITY AND PIEZOELECTRICITY IN SOL-GEL DERIVED CERAMIC POLYMER COMPOSITES." Ise 8 - 8th International Symposium on Electrets, Proceedings (1994): 725-730. Abstract
n/a
1993
MH, GODINHO, Borges JP, BORDADO JC, CIDADE MT, and MARTINS AF. "PREPARATION AND LIQUID-CRYSTALLINE PROPERTIES OF TOLUENE-4-SULFONYL URETHANE OF HYDROXYPROPYLCELLULOSE." LIQUID CRYSTALS. 14 (1993): 653-659. Abstract
n/a
Chastre Rodrigues, C. Comportamento da Ligação Aço-Resina-Betão em Elementos Estruturais. Vol. MSc. Departamento de Engenharia Civil, Instituto Superior Técnico, MSc. Lisboa: Universidade Técnica de Lisboa, 1993. Abstract1993_-_msc-_ist_-_carlos_chastre_-_comportamento_da_ligacao_aco-resina-betao_em_elementos_estruturais.pdf

The present work studies the behaviour of bonded steel plates to reinforced concrete elements, which can be used in the strengthening of concrete structural elements. Metallic expansion bolts can be added.The objective of this dissertation is to investigate the behaviour to monotonic actions and particularly to cyclic loading of steel-epoxy-concrete connection with expansion bolts. This cyclic action is of particular interest due to the strong seismicity of the Portuguese territory.The research is mainly based in experimental analysis. The caracterization of the materials was carried out. Six models of the steel-epoxy connection were tested with monotonic loading. Twenty six models of steel-epoxy-concrete bond were submitted either to monotonic or to cyclic actions.Besides the type of action, other parameters were studied in the steel-epoxy-concrete connection models.These were the bond geometry area, the type of concrete, the type of epoxy and connection - with or without metallic expansion bolts.A parametric study with a numerical model of finite elements, as well as a global analysis of the experimental tests of the steel-epoxy-concrete connection was carried out.

Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL." MIT Press. 1993. 316-330. Abstract
n/a
Alferes, {José Júlio Alves}. "NONMONOTONIC REASONING WITH LOGIC PROGRAMMING." Journal Of Logic Programming. 17 (1993): 227-263. Abstract
n/a
Alferes, {José Júlio Alves}. "OPTATIVE REASONING WITH SCENARIO SEMANTICS." MIT Press. 1993. 601-615. Abstract
n/a
Alferes, {José Júlio Alves}. "SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS." MIT Press. 1993. 334-348. Abstract
n/a
Aviles, Teresa, and Gabriela Teixeira. "Monocyclopentadienyl compounds of vanadium." Rev. Inorg. Chem.. 12 (1993): 95-155. Abstract

A review with 59 refs. describing the synthesis, structure, and reactivity of monocyclopentadienyl compds. of vanadium. [on SciFinder(R)]

Amaral, Paula. "O algoritmo dos k-Caminhos mais curtos na relaxação do espaço de estados." MsC Disertation, Faculty of Science, UL, Lisbon, Portugal (in Portuguese) (1993). Abstract
n/a
1992
Ricardo, A. A., S. F. Barreiros, M. Nunes Da Ponte, G. M. N. Albuquerque, and J. C. G. Calado. "(p, Vm, T) of (0.476Ar + 0.524N2)(I) and the calculation of thermodynamic properties of liquid air." The Journal of Chemical Thermodynamics. 24.12 (1992): 1281-1291. AbstractWebsite
n/a
Alferes, {José Júlio Alves}. "ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS." FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2. 1 (1992): 562-569. Abstract
n/a
Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION." LOGICS IN AI. 633 (1992): 339-356. Abstract
n/a
Alferes, {José Júlio Alves}. "DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION." Lecture Notes in Artificial Intelligence. Vol. 633. 1992. 339-356. Abstract
n/a
Alferes, {José Júlio Alves}. "WELL FOUNDED SEMANTICS FOR LOGIC PROGRAMS WITH EXPLICIT NEGATION." John Wiley & Sons. 1992. 102-106. Abstract
n/a
Almeida, José A. Modelos Geométricos para Caracterização de Recursos Minerais. IST. Lisboa: IST, 1992.tesemestradojaa.pdf
1991
Alferes, {José Júlio Alves}. "CONTRADICTION REMOVAL WITHIN WELL FOUNDED SEMANTICS." MIT Press. 1991. 105-119. Abstract
n/a
Alferes, {José Júlio Alves}. "COUNTERFACTUAL REASONING BASED ON REVISING ASSUMPTIONS." MIT Press. 1991. 566-577. Abstract
n/a
Alferes, {José Júlio Alves}. "THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS." Lecture Notes in Artificial Intelligence. Vol. 541. 1991. 105-119. Abstract
n/a
Alferes, {José Júlio Alves}. "HYPOTHETICAL REASONING WITH WELL FOUNDED SEMANTICS." IOS Press. 1991. 289-300. Abstract
n/a
Alferes, {José Júlio Alves}. "NONMONOTONIC REASONING WITH WELL FOUNDED SEMANTICS." MIT Press. 1991. 475-489. Abstract
n/a