Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 18407
1699 Team MembersFilters -> Year: 2024
18201
TITLE: CONCURRENCY ANNOTATIONS IN C++
AUTHORS: BAQUERO, C ; MOURA, F ;
PUBLISHED: 1994, SOURCE: SIGPLAN NOTICES, VOLUME: 29, ISSUE: 7, PAGES: 61-67
AUTHORS: BAQUERO, C ; MOURA, F ;
PUBLISHED: 1994, SOURCE: SIGPLAN NOTICES, VOLUME: 29, ISSUE: 7, PAGES: 61-67
18202
TITLE: COORDINATE CHANGE EIGENVALUES FOR BIMODAL PERIOD-DOUBLING RENORMALIZATION Full Text
AUTHORS: MACKAY, RS; PINTO, AA ; VANZEIJTS, JBJ;
PUBLISHED: 1994, SOURCE: PHYSICS LETTERS A, VOLUME: 190, ISSUE: 5-6, PAGES: 412-416
AUTHORS: MACKAY, RS; PINTO, AA ; VANZEIJTS, JBJ;
PUBLISHED: 1994, SOURCE: PHYSICS LETTERS A, VOLUME: 190, ISSUE: 5-6, PAGES: 412-416
18203
TITLE: Design of a mission management system for the Autonomous Underwater Vehicle MARIUS
AUTHORS: BIZINGRE, C; OLIVEIRA, P; PASCOAL, A; PEREIRA, FL ; PIGNON, JP; SILVA, E ; SILVESTRE, C; DESOUSA, JB;
PUBLISHED: 1994, SOURCE: 1994 Symposium on Autonomous Underwater Vehicle Technology (AUV 94) in PROCEEDINGS OF THE 1994 SYMPOSIUM ON AUTONOMOUS UNDERWATER VEHICLE TECHNOLOGY, PAGES: 112-121
AUTHORS: BIZINGRE, C; OLIVEIRA, P; PASCOAL, A; PEREIRA, FL ; PIGNON, JP; SILVA, E ; SILVESTRE, C; DESOUSA, JB;
PUBLISHED: 1994, SOURCE: 1994 Symposium on Autonomous Underwater Vehicle Technology (AUV 94) in PROCEEDINGS OF THE 1994 SYMPOSIUM ON AUTONOMOUS UNDERWATER VEHICLE TECHNOLOGY, PAGES: 112-121
18204
TITLE: DETERMINING THE PENGUIN EFFECT ON CP VIOLATION IN B-0-]PI(+)PI(-)
AUTHORS: SILVA, JP ; WOLFENSTEIN, L;
PUBLISHED: 1994, SOURCE: PHYSICAL REVIEW D, VOLUME: 49, ISSUE: 3
AUTHORS: SILVA, JP ; WOLFENSTEIN, L;
PUBLISHED: 1994, SOURCE: PHYSICAL REVIEW D, VOLUME: 49, ISSUE: 3
INDEXED IN: 
Scopus 
WOS
Scopus WOS18205
TITLE: Dynamically configurable architecture for the control of an autonomous underwater vehicle
AUTHORS: Borges B Sousa ; Lobo L Pereira ; Pereira da Silva, E ;
PUBLISHED: 1994, SOURCE: Proceedings of the Intelligent Vehicles'94 Symposium in Intelligent Vehicles Symposium, Proceedings, PAGES: 520-525
AUTHORS: Borges B Sousa ; Lobo L Pereira ; Pereira da Silva, E ;
PUBLISHED: 1994, SOURCE: Proceedings of the Intelligent Vehicles'94 Symposium in Intelligent Vehicles Symposium, Proceedings, PAGES: 520-525
INDEXED IN: Scopus
Scopus18206
TITLE: EVALUATION OF THE PERFORMANCE OF A FUZZY OPTIMAL POWER-FLOW ALGORITHM
AUTHORS: SARAIVA, JT ; MIRANDA, V ;
PUBLISHED: 1994, SOURCE: 7th Mediterranean Electrotechnical Conference (MeleCON 94) in 7TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, VOLUME: 3, PAGES: 897-900
AUTHORS: SARAIVA, JT ; MIRANDA, V ;
PUBLISHED: 1994, SOURCE: 7th Mediterranean Electrotechnical Conference (MeleCON 94) in 7TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, VOLUME: 3, PAGES: 897-900
INDEXED IN: Scopus WOS
Scopus WOS18207
TITLE: FLEXIBLE POWER-SYSTEM REINFORCEMENT PLANNING UNDER UNCERTAINTY
AUTHORS: SARAIVA, JT ; MIRANDA, V ;
PUBLISHED: 1994, SOURCE: 7th Mediterranean Electrotechnical Conference (MeleCON 94) in 7TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, VOLUME: 3, PAGES: 913-916
AUTHORS: SARAIVA, JT ; MIRANDA, V ;
PUBLISHED: 1994, SOURCE: 7th Mediterranean Electrotechnical Conference (MeleCON 94) in 7TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, VOLUME: 3, PAGES: 913-916
INDEXED IN: Scopus WOS
Scopus WOS18208
TITLE: FUNDAMENTAL CP-VIOLATING QUANTITIES IN AN SU(2)CIRCLE-TIMES-U(1) MODEL WITH MANY HIGGS DOUBLETS
AUTHORS: LAVOURA, L ; SILVA, JP ;
PUBLISHED: 1994, SOURCE: PHYSICAL REVIEW D, VOLUME: 50, ISSUE: 7, PAGES: 4619-4624
AUTHORS: LAVOURA, L ; SILVA, JP ;
PUBLISHED: 1994, SOURCE: PHYSICAL REVIEW D, VOLUME: 50, ISSUE: 7, PAGES: 4619-4624
INDEXED IN: Scopus WOS
Scopus WOS18209
TITLE: FUNDAMENTALS OF IMAGE-PROCESSING AND ANALYSIS
AUTHORS: CAMPILHO, AJC ;
PUBLISHED: 1994, SOURCE: European Intensive Course on Imaging Techniques in Biomaterials - Digital Image Processing Applied to Orthopaedic and Dental Implants in IMAGING TECHNIQUES IN BIOMATERIALS: DIGITAL IMAGE PROCESSING APPLIED TO ORTHOPAEDIC AND DENTAL IMPLANTS, PAGES: 1-29
AUTHORS: CAMPILHO, AJC ;
PUBLISHED: 1994, SOURCE: European Intensive Course on Imaging Techniques in Biomaterials - Digital Image Processing Applied to Orthopaedic and Dental Implants in IMAGING TECHNIQUES IN BIOMATERIALS: DIGITAL IMAGE PROCESSING APPLIED TO ORTHOPAEDIC AND DENTAL IMPLANTS, PAGES: 1-29
INDEXED IN: WOS
WOS18210
TITLE: GENETIC ALGORITHMS IN OPTIMAL MULTISTAGE DISTRIBUTION NETWORK PLANNING
AUTHORS: MIRANDA, V ; RANITO, JV; PROENCA, LM;
PUBLISHED: 1994, SOURCE: IEEE/PES 1994 Winter Meeting in IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 9, ISSUE: 4, PAGES: 1927-1933
AUTHORS: MIRANDA, V ; RANITO, JV; PROENCA, LM;
PUBLISHED: 1994, SOURCE: IEEE/PES 1994 Winter Meeting in IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 9, ISSUE: 4, PAGES: 1927-1933
18211
TITLE: IMPACT ON SOME PLANNING DECISIONS FROM A FUZZY MODELING OF POWER-SYSTEMS
AUTHORS: SARAIVA, JT ; MIRANDA, V ; PINTO, LMVG;
PUBLISHED: 1994, SOURCE: 1993 IEEE Power Industry Computer Application Conference in IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 9, ISSUE: 2, PAGES: 819-825
AUTHORS: SARAIVA, JT ; MIRANDA, V ; PINTO, LMVG;
PUBLISHED: 1994, SOURCE: 1993 IEEE Power Industry Computer Application Conference in IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 9, ISSUE: 2, PAGES: 819-825
18212
TITLE: INTERACTION OF ADVANCED SHOP-FLOOR MANAGEMENT-SYSTEMS WITH PRODUCTION SYSTEM ORGANIZATION - AN EXPLORATORY-STUDY
AUTHORS: SOARES, AL ; ROMAO, N; MENDONCA, JM;
PUBLISHED: 1994, SOURCE: 4th International Conference on Human Aspects of Advanced Manufacturing and Hybrid Automation in ADVANCES IN AGILE MANUFACTURING: INTEGRATING TECHNOLOGY, ORGANIZATION AND PEOPLE, VOLUME: 4, PAGES: 153-156
AUTHORS: SOARES, AL ; ROMAO, N; MENDONCA, JM;
PUBLISHED: 1994, SOURCE: 4th International Conference on Human Aspects of Advanced Manufacturing and Hybrid Automation in ADVANCES IN AGILE MANUFACTURING: INTEGRATING TECHNOLOGY, ORGANIZATION AND PEOPLE, VOLUME: 4, PAGES: 153-156
INDEXED IN: WOS
WOS18213
TITLE: Learning by Refining Algorithm Sketches
AUTHORS: Pavel Brazdil ; Alípio Jorge ;
PUBLISHED: 1994, SOURCE: ECAI, PAGES: 443-447
AUTHORS: Pavel Brazdil ; Alípio Jorge ;
PUBLISHED: 1994, SOURCE: ECAI, PAGES: 443-447
INDEXED IN: 
DBLP
DBLP18214
TITLE: MOTOR-DRIVE ALGORITHM SAVES SPACE AND CYCLES
AUTHORS: DASILVA, JAPM ;
PUBLISHED: 1994, SOURCE: EDN, VOLUME: 39, ISSUE: 4, PAGES: 56-+
AUTHORS: DASILVA, JAPM ;
PUBLISHED: 1994, SOURCE: EDN, VOLUME: 39, ISSUE: 4, PAGES: 56-+
INDEXED IN: WOS
WOS18215
TITLE: NATURAL MASSLESSNESS CONSERVATION FOR NEUTRINOS IN 2-HIGGS-DOUBLET MODELS
AUTHORS: BARROSO, A; SILVA, JP ;
PUBLISHED: 1994, SOURCE: PHYSICAL REVIEW D, VOLUME: 50, ISSUE: 7, PAGES: 4581-4588
AUTHORS: BARROSO, A; SILVA, JP ;
PUBLISHED: 1994, SOURCE: PHYSICAL REVIEW D, VOLUME: 50, ISSUE: 7, PAGES: 4581-4588
INDEXED IN: Scopus WOS
Scopus WOS18216
TITLE: New expert system based control tool for power systems with large integration of PVs & wind power plants Full Text
AUTHORS: Nogaret, E; Stavrakakis, G; Bonin, JC; Kariniotakis, G; Papadopoulos, M; Hatziargyriou, N; Papathanassiou, S; Gatopoulos, J; Karagounis, E; Halliday, J; Dutton, G; Pecas Lopes, J ; Androutsos, A; Pligoropoulos, P;
PUBLISHED: 1994, SOURCE: Proceedings of the 24th IEEE Photovoltaic Specialists Conference. Part 2 (of 2) in Conference Record of the IEEE Photovoltaic Specialists Conference, VOLUME: 1, PAGES: 1052-1055
AUTHORS: Nogaret, E; Stavrakakis, G; Bonin, JC; Kariniotakis, G; Papadopoulos, M; Hatziargyriou, N; Papathanassiou, S; Gatopoulos, J; Karagounis, E; Halliday, J; Dutton, G; Pecas Lopes, J ; Androutsos, A; Pligoropoulos, P;
PUBLISHED: 1994, SOURCE: Proceedings of the 24th IEEE Photovoltaic Specialists Conference. Part 2 (of 2) in Conference Record of the IEEE Photovoltaic Specialists Conference, VOLUME: 1, PAGES: 1052-1055
INDEXED IN: Scopus
Scopus18217
TITLE: On the design of the PO-ROBOT system
AUTHORS: Pereira P da Silva ; Borges B Sousa ; Lobo L Pereira ; Sequeira, J ; Ribeiro, I;
PUBLISHED: 1994, SOURCE: Proceedings of the Intelligent Vehicles'94 Symposium in Intelligent Vehicles Symposium, Proceedings, PAGES: 550-555
AUTHORS: Pereira P da Silva ; Borges B Sousa ; Lobo L Pereira ; Sequeira, J ; Ribeiro, I;
PUBLISHED: 1994, SOURCE: Proceedings of the Intelligent Vehicles'94 Symposium in Intelligent Vehicles Symposium, Proceedings, PAGES: 550-555
INDEXED IN: Scopus
Scopus18218
TITLE: OPTICAL SHOCK-WAVES IN NONLINEAR DISPERSIVE AMPLIFYING MEDIA
AUTHORS: CHRISTODOULIDES, DN; CARVALHO, MI ;
PUBLISHED: 1994, SOURCE: OPTICS LETTERS, VOLUME: 19, ISSUE: 4, PAGES: 251-253
AUTHORS: CHRISTODOULIDES, DN; CARVALHO, MI ;
PUBLISHED: 1994, SOURCE: OPTICS LETTERS, VOLUME: 19, ISSUE: 4, PAGES: 251-253
18219
TITLE: Optimal implementation of and-or parallel Prolog Full Text
AUTHORS: Gopal Gupta; Vítor Santos Costa ;
PUBLISHED: 1994, SOURCE: Future Generation Comp. Syst., VOLUME: 10, ISSUE: 1, PAGES: 71-92
AUTHORS: Gopal Gupta; Vítor Santos Costa ;
PUBLISHED: 1994, SOURCE: Future Generation Comp. Syst., VOLUME: 10, ISSUE: 1, PAGES: 71-92
18220
TITLE: OR-PARALLEL PROLOG ON DISTRIBUTED SHARED-MEMORY ARCHITECTURES
AUTHORS: SILVA, FMA ;
PUBLISHED: 1994, SOURCE: 1993 International Conference on Logic Programming (ICLP 93) in IMPLEMENTATIONS OF LOGIC PROGRAMMING SYSTEMS, PAGES: 203-215
AUTHORS: SILVA, FMA ;
PUBLISHED: 1994, SOURCE: 1993 International Conference on Logic Programming (ICLP 93) in IMPLEMENTATIONS OF LOGIC PROGRAMMING SYSTEMS, PAGES: 203-215
INDEXED IN: WOS DBLP
WOS DBLP