Meta tags:
description= INESC TEC is an internationally-oriented multidisciplinary Associate Laboratory with more than 30 years of experience in R&D and technology transfer.;
keywords= INESC, TEC, INESCTEC, Innovation, Laboratory, Smart Engineering, robotics, sensors, computer distribution, computer science, Industry and innovation, power and energy, networked intelligent systems, Knowledge Management, Mobile Public Transport, Virtual Worlds, Distribution Networks, Supply Chain, Production Planning, Machine Learning, Data Mining, Neural Networks, research and innovation, fcup, feup, isep, uminho, utad;
Headings (most frequently used words):
projects, featured, josé, pereira, luís, pedro, francisco, carlos, manuel, joão, fernandes, andré, silva, sousa, antónio, rui, alexandre, oliveira, ribeiro, pinto, diogo, nuno, to, inesc, tec, almeida, ferreira, martins, macedo, filipe, daniel, marques, miguel, ricardo, paulo, of, barros, gomes, araújo, moreira, costa, jorge, the, at, cunha, sofia, rodrigues, ana, bernardo, bruno, eduardo, machado, carvalho, duarte, gonçalo, henrique, hugo, santos, tiago, barbosa, vítor, high, assurance, software, access, code, computer, science, quantum, computing, and, systems, conflictsync, bandwidth, efficient, synchronization, divergent, state, in, open, nanostima, alexandra, alves, isabel, nunes, gonçalves, andreia, beatriz, gião, catarina, afonso, edgar, vieira, coelho, maia, medeiros, guilherme, hélder, faria, pacheco, marco, emanuel, miranda, peixoto, braga, paula, lopes, final, selection, minute, enter, your, receives, best, paper, award, national, conference, showcased, ransomware, research, cybersecurity, community, event, from, programming, young, students, explore, joins, iberian, consortium, advence, artificial, intelligence, security, public, service, portals, put, test, researchers, take, results, several, stages, auto, active, verification, distributed, specification, refinements, with, why3, do, bounding, byzantine, impact, crdt, it, makes, clearer, why, developers, adopt, modernpython, features, source, gensemicon, ode4ecpiv, inoculum, eurocc3, mobot2, quantumclp, poise, quanthos, rescueware, hpctrain, quantum_iber_ia, adapqo, bansky, jasmincode, testbed5g_robotics, atai, bringtrust, safeiac, insieme, disaggregatedhpc, pfai4_6ed, infragov, verifixer, jrcsif, cdms, bolsasfct_gestao, enscomp4, pet, pfai4_5ed, exasimple, epicure, bcdsm, twineu, hedge_iot, hanami, pfai4_4ed, ate, green_dat_ai, eurocc2, quantelm, attract_dih, newspaceportugal, aurora, beflexible, enershare, gridsoft, pfai4_3ed, theia, ibex, flexcomm, specrep, idina, sustainable, hpc, circthread, passcert, iot4distribuicao, risc2, digilightrail, actpm, pastor, pfai4, aida, bighpc, slsna, interconnect, t4cdtkc, cloud4candy, hades, malpis, skorr, davinci, safer, klee, integrid, lightkone, clouddbappliance, cloud, setup, gsl, coral, tools, safecloud, rl1, rl3, smiles, upgrid, leanbigdata, practice, coherentpaas, adriano, novo, maior, alcino, mendes, filho, alexis, gonzalez, alícia, álvaro, festas, neri, alonso, rita, guimarães, de, lucena, sequeira, gaudêncio, ângelo, nestor, cepa, ramada, portela, malaca, dias, jardim, alberto, felgueiras, baquero, leite, sanches, leones, cláudia, vanessa, brito, tinoco, matias, pires, eira, josafat, martinez, roçadas, emily, jane, first, ezequiel, fábia, fábio, fabio, souza, simões, francisca, mieiro, justo, cruz, moura, vide, xavier, ferraz, marinho, raposo, lima, rosas, borges, gustavo, sardo, humberto, gil, ion, chirica, amaral, jácome, jaime, saraiva, novais, cardoso, parente, melo, bacelar, creissac, campos, valença, orlando, paiva, proença, juliana, júlio, larissa, dos, lázaro, gabriel, lucas, frança, esquível, soares, wolffrom, mafalda, quintas, rocha, maria, frade, mariana, marwa, chnib, mohd, zuhier, freaj, nico, maximilian, wittrock, rebelo, matos, olga, cristina, frederika, azevedo, sérgio, durães, leal, martim, rafael, rahma, nouaji, renato, neves, amorim, vilaça, rodrigo, laigner, rogério, pontes, rúben, adão, rua, monteiro, simão, sá, susana, vitória, tânia, esteves, pinheiro, timmie, lagermann, valeria, repetto, fonte,
Text of the page (most frequently used words):
#research (98), and (90), the (83), external (66), assistant (56), for (39), 2026 (37), student (37), researcher (34), collaborator (28), 2025 (26), senior (21), with (20), data (20), projects (20), inesc (18), tec (18), 2022 (17), systems (16), high (16), featured (16), software (16), josé (15), 2023 (15), this (14), 2021 (14), pereira (13), engineering (12), state (12), 2024 (12), close (11), communication (11), science (11), computer (11), distributed (11), pedro (11), luís (11), 2019 (11), you (10), management (10), energy (10), abstract (10), synchronization (10), francisco (10), carlos (10), joão (10), coordinator (10), code (9), your (9), from (9), work (9), innovation (9), manuel (9), computing (9), quantum (9), newsletter (8), our (8), through (8), that (8), open (8), pinto (8), crdts (8), fernandes (8), silva (8), andré (8), 2018 (8), 2020 (8), artificial (7), intelligence (7), digital (7), programming (7), paper (7), framework (7), rui (7), antónio (7), sousa (7), ribeiro (7), diogo (7), cloud (7), para (7), 2027 (7), 2028 (7), 2029 (7), remove (6), subscribe (6), inesctec (6), tools (6), news (6), porto (6), portugal (6), new (6), features (6), adoption (6), performance (6), byzantine (6), set (6), reconciliation (6), gomes (6), oliveira (6), alexandre (6), nuno (6), 2016 (6), secure (6), programa (6), formação (6), hpc (6), assurance (6), thank (5), mail (5), access (5), can (5), information (5), info (5), 351 (5), 222 (5), 094 (5), 000 (5), all (5), read (5), python (5), using (5), which (5), full (5), publication (5), authors (5), based (5), rodrigues (5), efficient (5), why3 (5), more (5), verification (5), view (5), filipe (5), marques (5), martins (5), daniel (5), ricardo (5), macedo (5), miguel (5), paulo (5), almeida (5), ferreira (5), 2015 (5), solutions (5), avançada (5), industria (5), security (5), service (5), centres (5), cybersecurity (5), cancel (4), human (4), address (4), name (4), application (4), has (4), will (4), used (4), not (4), institution (4), yet (4), contacts (4), these (4), how (4), are (4), practice (4), developers (4), analysis (4), support (4), carvalho (4), coordination (4), adversarial (4), crdt (4), introduce (4), baquero (4), ensure (4), conflictsync (4), algorithm (4), rateless (4), approach (4), auto (4), algorithms (4), araújo (4), jorge (4), costa (4), moreira (4), barros (4), centre (4), 2017 (4), nanostima (4), infrastructure (4), technologies (4), towards (4), european (4), europe (4), computação (4), edição (4), public (4), ransomware (4), researchers (4), send (3), check (3), message (3), first (3), available (3), form (3), bip (3), easily (3), system (3), use (3), centers (3), power (3), communications (3), privacy (3), laboratories (3), widely (3), languages (3), transition (3), between (3), compatibility (3), over (3), large (3), source (3), ecosystem (3), their (3), costs (3), conflict (3), free (3), replicated (3), types (3), without (3), however (3), impact (3), cost (3), resource (3), papoc (3), maia (3), driven (3), solution (3), integrating (3), novel (3), active (3), specification (3), enabling (3), network (3), publications (3), haslab (3), vítor (3), tiago (3), sofia (3), cunha (3), henrique (3), machado (3), marco (3), barbosa (3), santos (3), bernardo (3), duarte (3), hugo (3), gonçalo (3), eduardo (3), bruno (3), ana (3), integrated (3), big (3), grid (3), intelligent (3), applications (3), interoperable (3), knowledge (3), storage (3), iot (3), repair (3), aware (3), sobre (3), automated (3), national (3), competence (3), eurohpc (3), interoperability (3), reliable (3), optimization (3), topics (3), university (3), minho (3), success (2), leave (2), field (2), empty (2), last (2), contact (2), please (2), final (2), selection (2), minute (2), unsubscribe (2), monthly (2), any (2), presented (2), need (2), update (2), one (2), most (2), about (2), correct (2), does (2), events (2), robotics (2), photonics (2), bioengineering (2), domains (2), inglês (2), português (2), copy (2), url (2), linked (2), twitter (2), facebook (2), spread (2), word (2), share (2), page (2), nbsp (2), policy (2), uid (2), 50014 (2), campus (2), feup (2), rua (2), introduced (2), they (2), also (2), empirical (2), evidence (2), modernpython (2), when (2), them (2), scale (2), study (2), improvements (2), take (2), safety (2), together (2), practical (2), tool (2), leite (2), monteiro (2), saraiva (2), enable (2), eventually (2), replication (2), well (2), environments (2), extended (2), ensuring (2), validity (2), operations (2), text (2), bounded (2), models (2), fully (2), eurosys (2), availability (2), naive (2), strategy (2), transmitting (2), incurs (2), propose (2), digest (2), reduces (2), total (2), transfer (2), compared (2), transmissions (2), formulate (2), irredundant (2), join (2), decompositions (2), generalize (2), variable (2), sized (2), elements (2), additional (2), step (2), generic (2), bloom (2), filters (2), iblts (2), experimentally (2), evaluate (2), strategies (2), bandwidth (2), divergent (2), principles (2), consistency (2), verifying (2), action (2), contracts (2), during (2), supported (2), library (2), concurrent (2), machines (2), refinement (2), contains (2), described (2), different (2), verified (2), several (2), including (2), emanuel (2), vieira (2), lopes (2), nunes (2), gonçalves (2), braga (2), paula (2), manager (2), pacheco (2), faria (2), technical (2), peixoto (2), miranda (2), alves (2), medeiros (2), andreia (2), isabel (2), afonso (2), gião (2), hélder (2), guilherme (2), coelho (2), edgar (2), catarina (2), beatriz (2), alexandra (2), alphabet (2), team (2), 2013 (2), common (2), computation (2), ultra (2), scalable (2), analytics (2), proven (2), integration (2), voltage (2), distribution (2), smiles (2), smart (2), sensing (2), resilient (2), coral (2), sustainable (2), memory (2), database (2), critical (2), edge (2), computational (2), architectures (2), interaction (2), frontier (2), media (2), skorr (2), deteção (2), internet (2), training (2), connecting (2), adaptive (2), programmable (2), uma (2), gestão (2), controlo (2), exploring (2), programação (2), ciber (2), física (2), driving (2), sharing (2), beyond (2), boosting (2), space (2), hub (2), quantelm (2), phase (2), alliance (2), supercomputing (2), level (2), exasimple (2), pet (2), laboratory (2), verifixer (2), infragov (2), infrastructures (2), safeiac (2), móvel (2), cibersegurança (2), developing (2), entities (2), inteligente (2), quanthos (2), against (2), design (2), chips (2), explore (2), interest (2), june (2), portals (2), worldwide (2), iberian (2), project (2), 31st (2), july (2), students (2), part (2), challenges (2), community (2), owasp (2), improving (2), best (2), methods (2), expertise (2), improve (2), cookies (2), means (2), sent, subject, telephone, number, continue, enter, confirmation, obtain, only, applicants, search, subscription, been, successfully, removed, remover, subscrição, deixará, receber, nossas, newsletters, mensais, mailing, list, subscripiton, was, complete, apply, submitted, exclusively, sending, bulletin, under, circumstances, shared, third, parties, choose, following, link, footer, case, automatically, deleted, clarify, questions, related, email, scom, submitting, give, permission, personal, according, conditions, above, organization, important, featuring, articles, technology, made, always, informal, light, fresh, authentic, educational, tone, politically, nor, intend, voice, board, directors, electronic, stories, mediass, google, plus, agency, rights, reserved, prr2, equipar, prr, prr_infra, funded, financing, nuclei, associates, roberto, frias, 4200, 465, utad, uminho, isep, fcup, poles, navigation, become, frompython, tension, while, featuressuch, formatted, string, literals, type, annotations, structural, pattern, matching, expanded, thelanguage, expressiveness, required, substantial, adaptation, legacy, despite, theincreasing, relevance, there, still, limited, being, adopted, start, adoptionunfolds, time, what, motivations, drive, decisions, addresses, gapthrough, 424, revealstwo, distinct, patterns, rapid, small, syntactic, slowerintegration, require, extensive, refactoring, average, begin, within, months, after, release, but, roughly, 4years, achieve, broader, sustained, observation, may, partially, explainedby, did, preserve, backward, complementary, qualitative, pull, request, discussions, indicates, areprimarily, motivated, rejuvenate, comprehension, often, constrained, requirements, maintenance, findings, offer, insights, maintainers, seeking, tobalance, stability, ongoing, rejuvenation, mendonça, romeiro, bonifácio, accioly, makes, clearer, why, adopt, consistent, making, suited, partition, prone, recent, shown, tolerate, faults, replicas, agree, even, permis, sionless, settings, alone, prevent, participant, inflicting, unbounded, damage, issuing, volumes, formed, updates, example, editing, attacker, delete, prior, bound, behavior, rate, limiting, each, carries, associated, limits, influence, relative, resources, expend, overall, bridges, gap, tolerant, providing, principled, foundation, deploying, dantas, anta, frey, sánchez, albouy, bounding, 18x, proceedings, 13th, workshop, rigorously, properties, machine, specifications, method, leverages, verifier, around, functions, annotated, facilitate, inductive, invariant, checking, correctness, execution, further, extends, capabilities, verify, two, distinctive, supports, mappings, hierarchical, reasoning, make, specific, classes, convenient, particular, allowing, passing, programmed, handlers, assuming, semantics, gallery, examples, smt, solvers, proof, actively, paxos, consensus, lourenço, refinements, fonte, valeria, repetto, timmie, lagermann, pinheiro, tânia, esteves, susana, vitória, simão, diretor, rúben, adão, rogério, pontes, rodrigo, laigner, vilaça, amorim, renato, neves, rahma, nouaji, rafael, martim, leal, durães, sérgio, azevedo, frederika, cristina, olga, matos, rebelo, nico, maximilian, wittrock, mohd, zuhier, freaj, specialist, marwa, chnib, mariana, maria, frade, rocha, quintas, mafalda, wolffrom, soares, esquível, frança, lucas, lázaro, gabriel, larissa, dos, júlio, juliana, paiva, proença, orlando, valença, creissac, campos, bacelar, melo, parente, cardoso, novais, jaime, jácome, amaral, ion, chirica, humberto, gil, sardo, gustavo, rosas, borges, lima, raposo, marinho, xavier, ferraz, vide, moura, cruz, justo, francisca, mieiro, simões, fabio, souza, fábio, secretary, fábia, ezequiel, emily, jane, roçadas, josafat, martinez, eira, pires, matias, tinoco, cláudia, vanessa, brito, administrative, staff, advisor, leones, sanches, area, felgueiras, alberto, jardim, dias, malaca, portela, ramada, cepa, nestor, ângelo, gaudêncio, sequeira, lucena, rita, guimarães, alonso, neri, álvaro, festas, alícia, alexis, gonzalez, filho, mendes, alcino, adriano, novo, maior, coherent, rich, paas, model, coherentpaas, preserving, 2014, visual, leanbigdata, real, demand, generation, flexible, controllable, low, medium, upgrid, mobile, health, rl3, macro, nano, rl1, architecture, safecloud, ocean, exploitation, sensors, greensoftwarelab, discipline, green, gsl, plataforma, preparação, conteúdos, audiovisuais, ingest, setup, appliance, predictable, clouddbappliance, lightweight, networks, lightkone, demonstration, renewables, interactive, consumer, participation, market, interconnected, stakeholders, integrid, coalgebraic, modeling, synthetic, biology, klee, safery, robotic, safer, variability, cyber, physical, davinci, advancing, social, aprendizagem, automática, ataques, identificação, perfis, segurança, malpis, hardware, backed, trusted, decentralized, hades, candy, cloud4candy, cotec, transformation, challenge, elaboração, conhecer, compreender, desafio, das, tecnologias, transformação, t4cdtkc, homes, buildings, grids, interconnect, prestação, serviços, ambito, projeto, slsna, consolidated, bighpc, platform, aida, pfai4, adaptable, oriented, ecosystems, pastor, automating, crash, testing, persistent, actpm, solução, automação, ciclo, vida, projectos, sinalização, ferroviária, digilightrail, supporting, latin, america, risc2, análise, requisitos, especificação, funcional, arquitetura, distribuída, baseada, soluções, rede, distribuição, iot4distribuicao, formal, password, passcert, building, thread, circular, economy, product, circthread, elevado, desempenho, sustentável, identidade, inclusiva, não, autoritativa, idina, constraint, specrep, flexcomm, métodos, quantitativos, abordagem, precisa, racicionar, imprecisões, ibex, perception, theia, pfai4_3ed, parecer, implementação, redes, elétricas, inteligentes, gridsoft, dataspace, across, services, enershare, engagement, increase, flexibility, beflexible, atividade, interior, veículo, aurora, agenda, newspaceportugal, attract_dih, ultrafast, optical, processors, extreme, learning, optics, eurocc2, ready, spaces, green_dat_ai, ate, pfai4_4ed, japan, collaboration, hanami, holistic, empowerment, digitalization, hedge_iot, twin, twineu, bcd, modular, blockchain, bcdsm, specialised, epicure, hybrid, cfd, simple, exascale, era, pfai4_5ed, privacidade, transparência, ensino, ciência, nas, escolas, enscomp4, 9999, funding, fct, phd, grants, bolsasfct_gestao, claim, denial, cdms, jrc, semantic, jrcsif, pfai4_6ed, managed, disaggregation, disaggregatedhpc, insieme, strengthening, pipeline, safeguarding, intellectual, property, bringtrust, aplicação, técnicas, avançadas, escalas, atai, piloto, robótica, ambientes, industriais, comunicações, europneumaq, testbed5g_robotics, assembly, jasmin, jasmincode, paraconsistent, inference, engine, age, ralated, molecular, degeneration, bansky, query, heterogeneous, intensive, adapqo, iber_ia, impulso, estratégico, las, capacidades, tecnologías, cuánticas, inteligencia, espacio, ibérico, transfronterizo, quantum_iber_ia, traineeships, hosting, excellence, smes, industry, hpctrain, recuperação, dados, configurável, resiliência, contra, rescueware, fotónica, integrada, topológica, quântica, asynchronous, asymmetric, choreographies, poise, container, loading, problems, logistics, quantumclp, manipulador, com, intuitiva, agnóstico, mobot2, eurocc3, immunity, inoculum, productivity, ode4ecpiv, generative, stack, sovereign, semiconductors, gensemicon, 087, 19th, assessing, portuguese, municipal, councils, evaluating, than, 3000, puts, administration, debate, put, test, results, stages, 26th, turning, peninsula, into, benchmark, goal, iberia, cross, border, cooperation, bringing, both, countries, joins, consortium, advence, bioinformatics, things, were, among, explored, school, who, took, sem, fronteiras, held, verão, programme, organised, initiative, participants, areas, workshops, hands, activities, young, institute, protection, 12th, meeting, regional, chapter, international, organisation, dedicated, development, practices, showcased, event, 30th, september, examines, whether, already, replace, traditional, deciding, responds, queries, receives, award, conference, addition, complement, core, mathematics, because, believe, future, trustworthy, built, multidisciplinary, solid, theoretical, develop, innovative, scientific, advancement, consultancy, scientists, engineers, integrate, robust, scalability, reliability, addressing, advanced, cryptographic, protocols, thus, minimising, vulnerabilities, theory, creating, implementing, goes, mere, functionality, failures, attacks, presentation, home, iilab, tecpartnerships, tec4sea, tec4industry, tec4health, tec4energy, tec4agro, food, tec4, menu, reject, accept, website, some, similar, function, permit, those, collect, visits, aggregated, statistics, find, out,
Text of the page (random words):
are laboratory haslab we improve practice through theory creating and implementing software that goes beyond mere functionality we ensure it is correct resilient and secure against failures and attacks our team of researchers scientists and engineers has proven expertise in software engineering developing methods and tools to design and integrate robust software in distributed systems exploring distribution and replication to ensure scalability and reliability and in information security addressing cybersecurity challenges and improving systems with advanced secure cryptographic protocols thus minimising vulnerabilities with a multidisciplinary approach supported by solid theoretical principles we develop innovative solutions for critical software secure cloud infrastructures and privacy aware big data management driving scientific advancement innovation and high level consultancy in addition we complement our core expertise with work in human computer interaction programming languages computational mathematics and quantum computing because we believe the future of trustworthy software is built on knowledge and innovation news view all news computer science and engineering inesc tec receives best paper award at national computer science conference the work by inesc tec and university of minho researchers examines whether artificial intelligence ai can already replace traditional methods for deciding how a database responds to queries 30th september 2026 computer science and engineering inesc tec showcased ransomware research at cybersecurity community event an inesc tec researcher presented the institute s work on ransomware analysis and protection to the cybersecurity community during the 12th meeting of owasp porto the regional chapter of the open worldwide application security project owasp an international organisation dedicated to improving application security through knowledge sharing training and the development of best practices 31st july 2026 computer science and engineering from programming to quantum computing young students explore computer science at inesc tec programming artificial intelligence bioinformatics the internet of things iot supercomputing and quantum computing were among the topics explored by 25 high school students who took part in computação sem fronteiras an action held as part of the university of minho s verão no campus programme organised by inesc tec s hub at the university of minho the initiative introduced participants to different areas of computing through workshops practical challenges and hands on activities 31st july 2026 computer science and engineering inesc tec joins iberian consortium to advence quantum computing and artificial intelligence turning the iberian peninsula into a european benchmark for quantum technologies and ai that is the goal of quantum iberia a cross border cooperation project bringing together 17 entities from both countries including inesc tec 26th june 2026 computer science and engineering security of public service portals put to the test inesc tec researchers take results to several stages from assessing portuguese municipal councils to evaluating more than 3000 public service portals worldwide the work of inesc tec researchers diogo ribeiro and joão marco silva puts the cybersecurity of public administration at the centre of the debate 19th june 2026 view all news interest topics explore interest topics 087 featured projects gensemicon generative ai chips and software engineering stack integrating eu sovereign semiconductors and edge intelligence systems 2026 2029 ode4ecpiv open design ecosystem for european chips productivity interoperability verification 2026 2029 inoculum boosting the immunity of storage systems against ransomware 2026 2029 featured projects eurocc3 national competence centres in the framework of eurohpc phase 3 2026 2029 mobot2 manipulador móvel inteligente com programação intuitiva e controlo agnóstico 2026 2029 quantumclp quantum computing optimization for container loading problems a new frontier in logistics optimization 2026 2027 poise programmable asynchronous asymmetric secure choreographies 2026 2027 featured projects quanthos quanthos fotónica integrada topológica quântica 2026 2027 rescueware cibersegurança e recuperação de dados inteligente e auto configurável para a resiliência contra ransomware 2026 2029 hpctrain eurohpc traineeships in hosting entities centres of excellence and competence centres smes and industry 2026 2029 quantum_iber_ia quantum iber_ia impulso estratégico de las capacidades en tecnologías cuánticas e inteligencia artificial en el espacio ibérico transfronterizo 2026 2028 adapqo adaptive query optimization architectures to support heterogeneous data intensive applications 2025 2026 bansky a paraconsistent inference engine to support research in age ralated molecular degeneration 2025 2028 featured projects jasmincode developing reliable high performance assembly code using jasmin 2025 2026 testbed5g_robotics piloto de robótica móvel e cibersegurança em ambientes industriais sobre comunicações 5g europneumaq 2025 2026 atai aplicação de técnicas avançadas na gestão de escalas 2025 2026 bringtrust strengthening ci cd pipeline cybersecurity and safeguarding the intellectual property 2025 2028 safeiac safeiac reliable analysis and automated repair for infrastructure as code 2025 2028 insieme integrated network for data space and interoperable energy management in europe 2025 2028 featured projects disaggregatedhpc towards energy efficient software managed resource disaggregation in hpc infrastructures 2025 2026 pfai4_6ed programa de formação avançada industria 4 6a edição 2025 2025 infragov infragov a public framework for reliable and secure it infrastructure 2025 2026 verifixer verifixer automated repair for verification aware programming languages 2025 2027 jrcsif jrc interoperability laboratory adoption of the semantic interoperability framework 2025 2025 cdms claim denial management solution 2025 2026 featured projects bolsasfct_gestao funding fct phd grants management 2025 9999 enscomp4 ensino de ciência da computação nas escolas 4 2024 2026 pet pet privacidade e transparência 2024 2028 pfai4_5ed programa de formação avançada industria 4 5a edição 2024 2024 exasimple exasimple a hybrid ml cfd simple algorithm for the exascale era 2024 2025 epicure high level specialised application support service in high performance computing hpc 2024 2028 featured projects bcdsm bcd s m modular blockchain data storage and management system with ai 2024 2027 twineu digital twin for europe 2024 2026 hedge_iot holistic approach towards empowerment of the digitalization of the energy ecosystem through adoption of iot solutions 2024 2027 hanami hpc alliance for applications and supercomputing innovation the europe japan collaboration 2024 2027 pfai4_4ed programa de formação avançada industria 4 4a edição 2023 2023 ate alliance for energy transition 2023 2026 green_dat_ai energy efficient ai ready data spaces 2023 2025 featured projects eurocc2 national competence centres in the framework of eurohpc phase 2 2023 2026 quantelm quantelm from ultrafast optical processors to quantum extreme learning machines with integrated optics 2023 2024 attract_dih digital innovation hub for artificial intelligence and high performance computing 2022 2026 newspaceportugal agenda new space portugal 2022 2026 aurora deteção de atividade no interior do veículo 2022 2023 beflexible boosting engagement to increase flexibility 2022 2026 featured projects enershare european common energy dataspace framework enabling data sharing driven across and beyond energy services 2022 2025 gridsoft parecer sobre a implementação de software para redes elétricas inteligentes 2022 2022 pfai4_3ed programa de formação avançada industria 4 3a edição 2022 2022 theia automated perception driving 2022 2023 ibex métodos quantitativos para a programação ciber física uma abordagem precisa para racicionar sobre imprecisões na computação ciber física 2022 2025 flexcomm towards energy aware communications connecting the power grid and communication infrastructure 2022 2023 featured projects specrep constraint based specification repair 2022 2023 idina identidade digital inclusiva não autoritativa 2021 2025 sustainable hpc computação de elevado desempenho sustentável 2021 2025 circthread building the digital thread for circular economy product resource service management 2021 2025 passcert exploring the impact of formal verification on the adoption of password security software 2021 2022 featured projects iot4distribuicao análise de requisitos e especificação funcional de uma arquitetura distribuída baseada em soluções iot para a gestão e controlo da rede de distribuição 2021 2023 risc2 a network for supporting the coordination of high performance computing research between europe and latin america 2021 2023 digilightrail solução de automação do ciclo de vida de projectos de sinalização ferroviária 2020 2023 actpm automating crash consistency testing for persistent memory 2020 2021 pastor programmable and adaptable storage for ai oriented hpc ecosystems 2020 2021 pfai4 0 programa de formação avançada industria 4 0 2020 2021 featured projects aida adaptive intelligent and distributed assurance platform 2020 2023 bighpc a management framework for consolidated big data and hpc 2020 2023 slsna prestação de serviços no ambito do projeto skorr 2020 2021 interconnect interoperable solutions connecting smart homes buildings and grids 2019 2024 t4cdtkc training 4 cotec digital transformation knowledge challenge elaboração de programa de formação conhecer e compreender o desafio das tecnologias de transformação digital 2019 2021 cloud4candy cloud for candy 2019 2019 hades hardware backed trusted and scalable decentralized systems 2018 2022 featured projects malpis aprendizagem automática para deteção de ataques e identificação de perfis segurança na internet 2018 2022 skorr advancing the frontier of social media management tools 2018 2021 davinci distributed architectures variability and interaction for cyber physical systems 2018 2022 safer safery verification for robotic software 2018 2021 klee coalgebraic modeling and analysis for computational synthetic biology 2018 2021 integrid demonstration of intelligent grid technologies for renewables integration and interactive consumer participation enabling interoperable market solutions and interconnected stakeholders 2017 2020 featured projects lightkone lightweight computation for networks at the edge 2017 2019 clouddbappliance european cloud in memory database appliance with predictable performance for critical applications 2016 2019 cloud setup plataforma de preparação de conteúdos audiovisuais para ingest na cloud 2016 2019 gsl greensoftwarelab towards an engineering discipline for green software 2016 2019 coral tools coral sustainable ocean exploitation tools and sensors 2016 2018 safecloud secure and resilient cloud architecture 2015 2018 featured projects nanostima rl1 nanostima macro to nano human sensing technologies 2015 2019 nanostima rl3 nanostima health data infrastructure 2015 2019 smiles smiles smart mobile intelligent and large scale sensing and analytics 2015 2019 upgrid real proven solutions to enable active demand and distributed generation flexible integration through a fully controllable low voltage and medium voltage distribution grid 2015 2017 leanbigdata ultra scalable and ultra efficient integrated and visual big data analytics 2014 2017 featured projects practice privacy preserving computation in the cloud 2013 2016 coherentpaas a coherent and rich paas with a common programming model 2013 2016 team view close alphabet view close alphabet a b c d e f g h i j k l m n o p q r s t u v w x y z adriano novo maior researcher alcino cunha research coordinator alexandra francisco alves research assistant alexandra sofia mendes senior researcher alexandre almeida filho external student alexandre rodrigues fernandes alexis gonzalez external research collaborator alícia oliveira researcher álvaro festas silva research assistant ana isabel neri external student ana nunes alonso assistant researcher ana rita guimarães research assistant andré de sousa external student andré lucena ferreira research assistant andré manuel sequeira assistant researcher andré martins pereira senior researcher andré silva gonçalves research assistant andreia sofia gaudêncio external research collaborator ângelo francisco fernandes research assistant antónio luís sousa centre coordinator antónio nestor ribeiro senior researcher beatriz cepa research assistant beatriz ramada macedo external student bernardo luís portela senior researcher bernardo malaca external research collaborator bruno dias gião research assistant bruno filipe jardim research assistant bruno filipe pereira research assistant carlos alberto ribeiro external student carlos antónio felgueiras external student carlos antónio sousa external student carlos baquero area manager carlos eduardo machado research assistant carlos leite machado external student carlos sanches pinto research assistant catarina leones fernandes advisor to the centre coordinator catarina martins fernandes external administrative and technical staff cláudia vanessa brito assistant researcher daniel barros tinoco research assistant daniel matias carvalho external student daniel silva pereira research assistant diogo alexandre marques external student diogo josé ribeiro research assistant diogo manuel gomes external student diogo manuel pires external research collaborator diogo pinto ribeiro research assistant duarte afonso ribeiro external student edgar eira araújo external student edgar josafat martinez eduardo luís roçadas research assistant eduardo vieira araújo external student emily jane first ezequiel josé moreira external student fábia pereira secretary coordinator fábio andré coelho senior researcher fabio moreira souza external student filipe simões pereira external student francisca mieiro coelho external student francisco almeida maia senior researcher francisco justo fernandes external student francisco miguel cruz external research collaborator francisco moura external research collaborator francisco vide external research collaborator francisco xavier ferraz external research collaborator gonçalo duarte marinho research assistant gonçalo manuel sousa research assistant gonçalo medeiros raposo external student guilherme lima fernandes external student guilherme rosas borges research assistant gustavo silva pereira external student hélder maia martins research assistant hélder ricardo gomes external student henrique josé faria research assistant henrique sardo fernandes research assistant hugo afonso gião external student hugo daniel macedo senior researcher hugo pereira pacheco senior researcher humberto gil gomes external student ion chirica research assistant isabel andré amara...
|
