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: 18629
1699 Team MembersFilters -> Year: 2024
18441
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
18442
TITLE: ORDER STRUCTURE OF SYMBOLIC ASSERTION OBJECTS Full Text
AUTHORS: BRITO, P ;
PUBLISHED: 1994, SOURCE: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOLUME: 6, ISSUE: 5, PAGES: 830-835
AUTHORS: BRITO, P ;
PUBLISHED: 1994, SOURCE: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOLUME: 6, ISSUE: 5, PAGES: 830-835
18443
TITLE: POLARIZATION-INDUCED NOISE IN A FIBEROPTIC MICHELSON INTERFEROMETER - INFLUENCE OF THE COUPLER
AUTHORS: FERREIRA, LA; SANTOS, JL ; FARAHI, F;
PUBLISHED: 1994, SOURCE: 10th International Conference on Optical Fibre Sensors in TENTH INTERNATIONAL CONFERENCE ON OPTICAL FIBRE SENSORS, VOLUME: 2360, PAGES: 351-354
AUTHORS: FERREIRA, LA; SANTOS, JL ; FARAHI, F;
PUBLISHED: 1994, SOURCE: 10th International Conference on Optical Fibre Sensors in TENTH INTERNATIONAL CONFERENCE ON OPTICAL FIBRE SENSORS, VOLUME: 2360, PAGES: 351-354
INDEXED IN: WOS
18444
TITLE: PRODUCTION PLANNING AND CONTROL SYSTEMS AND THEIR FACTORY IMPLEMENTATION
AUTHORS: MENDONCA, JM ; SCHULTE, JB; TAVORA, J;
PUBLISHED: 1994, SOURCE: 10th CIM-Europe Annual Conference on Sharing Solutions - The Link Between Innovation and Growth in SHARING CIM SOLUTIONS: LINKING INNOVATION WITH GROWTH, VOLUME: 5, PAGES: 167-176
AUTHORS: MENDONCA, JM ; SCHULTE, JB; TAVORA, J;
PUBLISHED: 1994, SOURCE: 10th CIM-Europe Annual Conference on Sharing Solutions - The Link Between Innovation and Growth in SHARING CIM SOLUTIONS: LINKING INNOVATION WITH GROWTH, VOLUME: 5, PAGES: 167-176
INDEXED IN: WOS
18445
TITLE: Recomputation-Free Lemmatization by Program Transformation
AUTHORS: Paulo Jorge de Sousa Azevedo ; Marek J Sergot;
PUBLISHED: 1994, SOURCE: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, PAGES: 739-740
AUTHORS: Paulo Jorge de Sousa Azevedo ; Marek J Sergot;
PUBLISHED: 1994, SOURCE: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, PAGES: 739-740
INDEXED IN: DBLP
18446
TITLE: REMARKS ON NEUTRINO MASSES AND MIXING ANGLES IN A PREDICTIVE THEORY OF FERMION MASSES
AUTHORS: LAVOURA, L ; SILVA, JP ;
PUBLISHED: 1994, SOURCE: PHYSICAL REVIEW D, VOLUME: 49, ISSUE: 7, PAGES: 3783-3786
AUTHORS: LAVOURA, L ; SILVA, JP ;
PUBLISHED: 1994, SOURCE: PHYSICAL REVIEW D, VOLUME: 49, ISSUE: 7, PAGES: 3783-3786
INDEXED IN: Scopus WOS
18447
TITLE: SCALP EEG RECORDING - INTERICTAL ICTAL LOCATION AND SPREADING OF EPILEPTIFORM EVENTS
AUTHORS: DASILVA, AM; CUNHA, JP ; DEOLIVEIRA, PG ;
PUBLISHED: 1994, SOURCE: ACTA NEUROLOGICA SCANDINAVICA, VOLUME: 89, ISSUE: 152, PAGES: 17-19
AUTHORS: DASILVA, AM; CUNHA, JP ; DEOLIVEIRA, PG ;
PUBLISHED: 1994, SOURCE: ACTA NEUROLOGICA SCANDINAVICA, VOLUME: 89, ISSUE: 152, PAGES: 17-19
INDEXED IN: Scopus WOS
18448
TITLE: Scalp EEG recording: interictal/ictal location and spreading of epileptiform events
AUTHORS: Martins da d Silva; Cunha, JP ; Guedes da d Oliveira;
PUBLISHED: 1994, SOURCE: Acta Neurologica Scandinavica, VOLUME: 89, ISSUE: S152, PAGES: 17-19
AUTHORS: Martins da d Silva; Cunha, JP ; Guedes da d Oliveira;
PUBLISHED: 1994, SOURCE: Acta Neurologica Scandinavica, VOLUME: 89, ISSUE: S152, PAGES: 17-19
INDEXED IN: CrossRef
18449
TITLE: Scheduling Algorithms Performance with the pSystem Parallel Programming Environment
AUTHORS: Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 1994, SOURCE: 6th International Conference on Parallel Architectures and Languages Europe, PARLE 1994 in PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings, VOLUME: 817, PAGES: 827-830
AUTHORS: Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 1994, SOURCE: 6th International Conference on Parallel Architectures and Languages Europe, PARLE 1994 in PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings, VOLUME: 817, PAGES: 827-830
18450
TITLE: TIME-RESOLVED PHOTOLUMINESCENCE AND OPTICALLY DETECTED MAGNETIC-RESONANCE INVESTIGATIONS ON SYNTHETIC DIAMOND
AUTHORS: PEREIRA, E; SANTOS, L ; PEREIRA, L; HOFMANN, DM; STADLER, W; MEYER, BK;
PUBLISHED: 1994, SOURCE: 17th International Conference on Defects in Semiconductors in PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON DEFECTS IN SEMICONDUCTORS, PTS 1-3: ICDS-17, VOLUME: 143-, PAGES: 57-61
AUTHORS: PEREIRA, E; SANTOS, L ; PEREIRA, L; HOFMANN, DM; STADLER, W; MEYER, BK;
PUBLISHED: 1994, SOURCE: 17th International Conference on Defects in Semiconductors in PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON DEFECTS IN SEMICONDUCTORS, PTS 1-3: ICDS-17, VOLUME: 143-, PAGES: 57-61
INDEXED IN: WOS
18451
TITLE: Transmission of MPEG2 Applications over ATM Networks
AUTHORS: Maria Teresa Andrade ; Artur Pimenta Alves;
PUBLISHED: 1994, SOURCE: International Workshop on COST 237 Multimedia Transport and Teleservices, 1994 in Multimedia Transport and Teleservices, International COST 237 Workshop, Vienna, Austria, November 13-15, 1994, Proceedings, VOLUME: 882, PAGES: 310-321
AUTHORS: Maria Teresa Andrade ; Artur Pimenta Alves;
PUBLISHED: 1994, SOURCE: International Workshop on COST 237 Multimedia Transport and Teleservices, 1994 in Multimedia Transport and Teleservices, International COST 237 Workshop, Vienna, Austria, November 13-15, 1994, Proceedings, VOLUME: 882, PAGES: 310-321
18452
TITLE: Use of Pyramids in Symbolic Data Analysis
AUTHORS: Brito, P ;
PUBLISHED: 1994, SOURCE: New Approaches in Classification and Data Analysis - Studies in Classification, Data Analysis, and Knowledge Organization, PAGES: 378-386
AUTHORS: Brito, P ;
PUBLISHED: 1994, SOURCE: New Approaches in Classification and Data Analysis - Studies in Classification, Data Analysis, and Knowledge Organization, PAGES: 378-386
18453
TITLE: USING A DECISION-SUPPORT SYSTEM FOR CIM SYSTEM LIFE-CYCLE SUPPORT
AUTHORS: FERREIRA, JJP ; MENDONCA, JM ;
PUBLISHED: 1994, SOURCE: IFIP WG5.7 Working Conference on Evaluation of Production Management Methods in PRODUCTION MANAGEMENT METHODS, VOLUME: 19, PAGES: 237-244
AUTHORS: FERREIRA, JJP ; MENDONCA, JM ;
PUBLISHED: 1994, SOURCE: IFIP WG5.7 Working Conference on Evaluation of Production Management Methods in PRODUCTION MANAGEMENT METHODS, VOLUME: 19, PAGES: 237-244
INDEXED IN: WOS DBLP
18454
TITLE: Visualization and Interaction in Logic Programming
AUTHORS: José Paulo Leal ;
PUBLISHED: 1994, SOURCE: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges
AUTHORS: José Paulo Leal ;
PUBLISHED: 1994, SOURCE: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges
INDEXED IN: DBLP
18455
TITLE: <title>Calibration of a 3D data acquistion system using the ratio of two intensity images</title>
AUTHORS: Jorge A Silva ; Aurelio J C Campilho ; Marques dos Santos, JC;
PUBLISHED: 1993, SOURCE: Videometrics II
AUTHORS: Jorge A Silva ; Aurelio J C Campilho ; Marques dos Santos, JC;
PUBLISHED: 1993, SOURCE: Videometrics II
18456
TITLE: <title>PC-based architecture to access remote image databases</title>
AUTHORS: Leal, F; Oliveira, C; Jorge A Silva; Paula Viana ; Carrapatoso, E;
PUBLISHED: 1993, SOURCE: Video Communications and PACS for Medical Applications
AUTHORS: Leal, F; Oliveira, C; Jorge A Silva; Paula Viana ; Carrapatoso, E;
PUBLISHED: 1993, SOURCE: Video Communications and PACS for Medical Applications
INDEXED IN: CrossRef
18457
TITLE: A BLACKBOARD APPROACH TO THE MISSION MANAGEMENT FOR AUTONOMOUS UNDERWATER VEHICLE
AUTHORS: SILVA, EAP ; PEREIRA, FL ; DESOUSA, JB;
PUBLISHED: 1993, SOURCE: 8TH INTERNATIONAL CONF ON APPLICATIONS OF ARTIFICIAL INTELLIGENCE IN ENGINEERING ( AIENG 93 ) in APPLICATIONS OF ARTIFICIAL INTELLIGENCE IN ENGINEERING VIII, VOL 2: APPLICATIONS AND TECHNIQUES, PAGES: 463-477
AUTHORS: SILVA, EAP ; PEREIRA, FL ; DESOUSA, JB;
PUBLISHED: 1993, SOURCE: 8TH INTERNATIONAL CONF ON APPLICATIONS OF ARTIFICIAL INTELLIGENCE IN ENGINEERING ( AIENG 93 ) in APPLICATIONS OF ARTIFICIAL INTELLIGENCE IN ENGINEERING VIII, VOL 2: APPLICATIONS AND TECHNIQUES, PAGES: 463-477
INDEXED IN: WOS
18458
TITLE: A METHODOLOGY FOR REPLANNING COLLISION-FREE TRAJECTORIES FOR A MOBILE ROBOT
AUTHORS: DEMATOS, AC ; CUNHA, SR; PEREIRA, FL ;
PUBLISHED: 1993, SOURCE: 19th Annual International Conference on Industrial Electronics, Control and Instrumentation (IECON 93) in PROCEEDINGS OF THE IECON 93 - INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL, AND INSTRUMENTATION, VOLS 1-3: VOL 1: PLENARY SESSION, EMERGING TECHNOLOGIES AND FACTORY AUTOMATION; VOL 2: POWER ELECTRONICS; VOL 3: ROBOTICS, VISION, AND SENSORS: AND SIGNAL PROCESSING AND CONTROL, PAGES: 1454-1459
AUTHORS: DEMATOS, AC ; CUNHA, SR; PEREIRA, FL ;
PUBLISHED: 1993, SOURCE: 19th Annual International Conference on Industrial Electronics, Control and Instrumentation (IECON 93) in PROCEEDINGS OF THE IECON 93 - INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL, AND INSTRUMENTATION, VOLS 1-3: VOL 1: PLENARY SESSION, EMERGING TECHNOLOGIES AND FACTORY AUTOMATION; VOL 2: POWER ELECTRONICS; VOL 3: ROBOTICS, VISION, AND SENSORS: AND SIGNAL PROCESSING AND CONTROL, PAGES: 1454-1459
INDEXED IN: WOS CrossRef
18459
TITLE: Algorithms for Nesting Problems
AUTHORS: José Fernando C Oliveira ; José Soeiro S Ferreira ;
PUBLISHED: 1993, SOURCE: Lecture Notes in Economics and Mathematical Systems - Applied Simulated Annealing, PAGES: 255-273
AUTHORS: José Fernando C Oliveira ; José Soeiro S Ferreira ;
PUBLISHED: 1993, SOURCE: Lecture Notes in Economics and Mathematical Systems - Applied Simulated Annealing, PAGES: 255-273
18460
TITLE: AN AUTOMATIC PATH PLANING SYSTEM FOR AUTONOMOUS ROBOTIC VEHICLES
AUTHORS: CUNHA, SR; DEMATOS, AC ; PEREIRA, FL ;
PUBLISHED: 1993, SOURCE: 19th Annual International Conference on Industrial Electronics, Control and Instrumentation (IECON 93) in PROCEEDINGS OF THE IECON 93 - INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL, AND INSTRUMENTATION, VOLS 1-3: VOL 1: PLENARY SESSION, EMERGING TECHNOLOGIES AND FACTORY AUTOMATION; VOL 2: POWER ELECTRONICS; VOL 3: ROBOTICS, VISION, AND SENSORS: AND SIGNAL PROCESSING AND CONTROL, PAGES: 1442-1447
AUTHORS: CUNHA, SR; DEMATOS, AC ; PEREIRA, FL ;
PUBLISHED: 1993, SOURCE: 19th Annual International Conference on Industrial Electronics, Control and Instrumentation (IECON 93) in PROCEEDINGS OF THE IECON 93 - INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL, AND INSTRUMENTATION, VOLS 1-3: VOL 1: PLENARY SESSION, EMERGING TECHNOLOGIES AND FACTORY AUTOMATION; VOL 2: POWER ELECTRONICS; VOL 3: ROBOTICS, VISION, AND SENSORS: AND SIGNAL PROCESSING AND CONTROL, PAGES: 1442-1447