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: 20556
1697 Team MembersFilters -> Year: 2024
20381
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
20382
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
20383
TITLE: An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine
AUTHORS: Fernando M A Silva ;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PAGES: 170-182
AUTHORS: Fernando M A Silva ;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PAGES: 170-182
20384
TITLE: And-Or parallel Prolog: A recomputation based approach
AUTHORS: Gupta, G; Hermenegildo, MV; Costa, VS ;
PUBLISHED: 1993, SOURCE: New Generation Computing, VOLUME: 11, ISSUE: 3-4, PAGES: 297-321
AUTHORS: Gupta, G; Hermenegildo, MV; Costa, VS ;
PUBLISHED: 1993, SOURCE: New Generation Computing, VOLUME: 11, ISSUE: 3-4, PAGES: 297-321
20385
TITLE: Blackboard approach to the mission management for autonomous underwater vehicle
AUTHORS: Silva, EAP ; Pereira, FL ; Borges de Sousa, J ;
PUBLISHED: 1993, SOURCE: Proceedings of the 8th International Conference on Applications of Artificial Intelligence in Engineering in Applications of Artificial Intelligence in Engineering, VOLUME: 2, PAGES: 463-477
AUTHORS: Silva, EAP ; Pereira, FL ; Borges de Sousa, J ;
PUBLISHED: 1993, SOURCE: Proceedings of the 8th International Conference on Applications of Artificial Intelligence in Engineering in Applications of Artificial Intelligence in Engineering, VOLUME: 2, PAGES: 463-477
INDEXED IN: 
Scopus
Scopus20386
TITLE: BOUNDS ON THE MIXING OF THE DOWN-TYPE QUARKS WITH VECTOR-LIKE SINGLET QUARKS
AUTHORS: LAVOURA, L ; SILVA, JP ;
PUBLISHED: 1993, SOURCE: PHYSICAL REVIEW D, VOLUME: 47, ISSUE: 3, PAGES: 1117-1126
AUTHORS: LAVOURA, L ; SILVA, JP ;
PUBLISHED: 1993, SOURCE: PHYSICAL REVIEW D, VOLUME: 47, ISSUE: 3, PAGES: 1117-1126
INDEXED IN: Scopus 
WOS
Scopus WOS20387
TITLE: CALIBRATION OF A 3-D DATA-ACQUISITION SYSTEM USING THE RATIO OF 2 INTENSITY IMAGES
AUTHORS: SILVA, JA ; CAMPILHO, AJC ; DOSSANTOS, JCM;
PUBLISHED: 1993, SOURCE: 2nd SPIE Conference on Videometrics in VIDEOMETRICS II, VOLUME: 2067, PAGES: 32-42
AUTHORS: SILVA, JA ; CAMPILHO, AJC ; DOSSANTOS, JCM;
PUBLISHED: 1993, SOURCE: 2nd SPIE Conference on Videometrics in VIDEOMETRICS II, VOLUME: 2067, PAGES: 32-42
INDEXED IN: WOS
WOS20388
TITLE: Compile-time analysis for the parallel execution of logic programs in Andorra-1
AUTHORS: Vítor Manuel de Morais Santos Costa ;
PUBLISHED: 1993, SOURCE: British Library, EThOS
AUTHORS: Vítor Manuel de Morais Santos Costa ;
PUBLISHED: 1993, SOURCE: British Library, EThOS
INDEXED IN: 
DBLP
DBLP20389
TITLE: CONTROL AND OBSERVATION OF ANALOG NODES IN MIXED-SIGNAL BOARDS
AUTHORS: MATOS, JS ; LEAO, AC; FERREIRA, JC ;
PUBLISHED: 1993, SOURCE: International Test Conference 1993: Designing, Testing, and Diagnostics - Join Them in INTERNATIONAL TEST CONFERENCE 1993 PROCEEDINGS: DESIGNING, TESTING, AND DIAGNOSTICS - JOIN THEM, PAGES: 323-331
AUTHORS: MATOS, JS ; LEAO, AC; FERREIRA, JC ;
PUBLISHED: 1993, SOURCE: International Test Conference 1993: Designing, Testing, and Diagnostics - Join Them in INTERNATIONAL TEST CONFERENCE 1993 PROCEEDINGS: DESIGNING, TESTING, AND DIAGNOSTICS - JOIN THEM, PAGES: 323-331
INDEXED IN: Scopus WOS
Scopus WOS20390
TITLE: Control and Observation of Analog Nodes in Mixed-Signal Boards
AUTHORS: José Silva Matos; Ana C Leão; João Canas Ferreira ;
PUBLISHED: 1993, SOURCE: Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics - Join Them, Baltimore, Maryland, USA, October 17-21, 1993, PAGES: 323-331
AUTHORS: José Silva Matos; Ana C Leão; João Canas Ferreira ;
PUBLISHED: 1993, SOURCE: Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics - Join Them, Baltimore, Maryland, USA, October 17-21, 1993, PAGES: 323-331
INDEXED IN: DBLP
DBLP20391
TITLE: Distribution system planning based on a risk analysis approach
AUTHORS: Vladimiro Miranda ;
PUBLISHED: 1993, SOURCE: Proceedings of the 12th International Conference on Electricity Distribution, Part 6 (of 6) in IEE Conference Publication, ISSUE: 373 pt 6, PAGES: 6.11.1-6.11.5
AUTHORS: Vladimiro Miranda ;
PUBLISHED: 1993, SOURCE: Proceedings of the 12th International Conference on Electricity Distribution, Part 6 (of 6) in IEE Conference Publication, ISSUE: 373 pt 6, PAGES: 6.11.1-6.11.5
INDEXED IN: Scopus
Scopus20392
TITLE: Impact on some planning decisions from a fuzzy modeling of power systems
AUTHORS: Tome Saraiva, J ; Vladimiro Miranda ; Pinto, LMVG;
PUBLISHED: 1993, SOURCE: 1993 IEEE Power Industry Computer Applications Conference in 1993 IEEE Power Industry Computer Applications Conference, PAGES: 327-333
AUTHORS: Tome Saraiva, J ; Vladimiro Miranda ; Pinto, LMVG;
PUBLISHED: 1993, SOURCE: 1993 IEEE Power Industry Computer Applications Conference in 1993 IEEE Power Industry Computer Applications Conference, PAGES: 327-333
INDEXED IN: Scopus
Scopus20393
TITLE: Inheritance in a Hierarchy of Theories
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PAGES: 77-92
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PAGES: 77-92
20394
TITLE: Initial Performance of Dorpp: an Or-Parallel Prolog System for a Distributed Shared Memory Architecture
AUTHORS: Fernando M A Silva ;
PUBLISHED: 1993, SOURCE: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, PAGES: 25-44
AUTHORS: Fernando M A Silva ;
PUBLISHED: 1993, SOURCE: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, PAGES: 25-44
INDEXED IN: DBLP
DBLP20395
TITLE: Integration of multimedia information in a clinical neurophysiology department
AUTHORS: Joao Paulo Cunha ; de Oliveria Pedro Guedes; Bernardo B Cunha; Rafael, JA; Martins da Silva, A;
PUBLISHED: 1993, SOURCE: Proceedings of the 15th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. Part 2 (of 3) in Proceedings of the Annual Conference on Engineering in Medicine and Biology, VOLUME: 15, ISSUE: pt 2, PAGES: 624-625
AUTHORS: Joao Paulo Cunha ; de Oliveria Pedro Guedes; Bernardo B Cunha; Rafael, JA; Martins da Silva, A;
PUBLISHED: 1993, SOURCE: Proceedings of the 15th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. Part 2 (of 3) in Proceedings of the Annual Conference on Engineering in Medicine and Biology, VOLUME: 15, ISSUE: pt 2, PAGES: 624-625
INDEXED IN: Scopus
Scopus20396
TITLE: Learning Probabilistic Models by Conceptual Pyramidal Clustering
AUTHORS: Edwin Diday; Paula Brito ; Mfoumoune, E;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PAGES: 362
AUTHORS: Edwin Diday; Paula Brito ; Mfoumoune, E;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PAGES: 362
20397
TITLE: Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings
AUTHORS: Pavel Brazdil ;
PUBLISHED: 1993, SOURCE: ECML, VOLUME: 667
AUTHORS: Pavel Brazdil ;
PUBLISHED: 1993, SOURCE: ECML, VOLUME: 667
INDEXED IN: DBLP
DBLP20398
TITLE: OBLIQUE CORRECTIONS FROM VECTOR-LIKE SINGLET AND DOUBLET QUARKS
AUTHORS: LAVOURA, L ; SILVA, JP ;
PUBLISHED: 1993, SOURCE: PHYSICAL REVIEW D, VOLUME: 47, ISSUE: 5, PAGES: 2046-2057
AUTHORS: LAVOURA, L ; SILVA, JP ;
PUBLISHED: 1993, SOURCE: PHYSICAL REVIEW D, VOLUME: 47, ISSUE: 5, PAGES: 2046-2057
INDEXED IN: Scopus WOS
Scopus WOS20399
TITLE: ONLINE SHOP-FLOOR SUPERVISION AND CONTROL AND ITS SUPPORTING INFRASTRUCTURE
AUTHORS: FERREIRA, JJP ; MENDONCA, JM ;
PUBLISHED: 1993, SOURCE: Proceedings of the IFIP TC5/WG5.7 5th International Conference on Advances in Production Management Systems - APMS'93 in IFIP TRANSACTIONS B-APPLICATIONS IN TECHNOLOGY, VOLUME: 13, ISSUE: B-13, PAGES: 235-242
AUTHORS: FERREIRA, JJP ; MENDONCA, JM ;
PUBLISHED: 1993, SOURCE: Proceedings of the IFIP TC5/WG5.7 5th International Conference on Advances in Production Management Systems - APMS'93 in IFIP TRANSACTIONS B-APPLICATIONS IN TECHNOLOGY, VOLUME: 13, ISSUE: B-13, PAGES: 235-242
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP20400
TITLE: Pattern recognition in raw of electrical impedance tomography using neural networks
AUTHORS: Jossinet, J; Marques, JP; Nuno N Lau ; Paulo P Reis ;
PUBLISHED: 1993, SOURCE: Proceedings of the 15th Annual International Conference of the IEEE Engineering in Medicine and Biology Society in Proceedings of the Annual Conference on Engineering in Medicine and Biology, VOLUME: 15, ISSUE: pt 1, PAGES: 76-77
AUTHORS: Jossinet, J; Marques, JP; Nuno N Lau ; Paulo P Reis ;
PUBLISHED: 1993, SOURCE: Proceedings of the 15th Annual International Conference of the IEEE Engineering in Medicine and Biology Society in Proceedings of the Annual Conference on Engineering in Medicine and Biology, VOLUME: 15, ISSUE: pt 1, PAGES: 76-77
INDEXED IN: Scopus
Scopus