Forxa Mancomún

Xunta de Galicia

Tag Cloud | Project Tree | Project List


3D Amtega Analise Android Apache Arquetipo BDs Corporativas Banco de Voces Benchmarking Bicicleta C++ CFD COVID-19 CeMIT Comportamento Concurrencia Cuac FM Django ERP EUPL TRANSPORTISTAS TGD TACOGRAFO Ecomerce Erlang FragGeneScan GIS GPUs Galego Gravacion son H323 HPL HTML ILG IOT enerxia ESP8266 domotica Impresion 3D Intro Para Todos Java Kotlin Linux Luces MEMS MariaDB Mini- test NFS Nginx ObjectTraking Odoo OpenCL OpenERP OpenFOAM OpenLayers PHP Postgis Probas baseadas en propiedades Programacion emisora Programacion funcional PropEr Property-based testing Python Radio Comunitaria RadioCo Rails Raspberry Pi Reutilizacion Ruby Rutas ciclistas SIP SIX SXPL Samba Simulacion Spring TBX Telefonia IP Thymeleaf UDC VDI Video WCAG 2.0 Web Xunta de Galicia a11y abalar accessibility actas deportivas ag agil mantema ajax algoritmos evolutivos alumnado amtega android angular angularjs ansible api arbores de decision arduino artificial vision as-oct audiovisual autonomo base de datos big data bioinformatica biological application bison blockchain bootstrap botybot c c++ cache calibrado captura cassandra catalogo productos cbir ccm cdtic cemit cidadania clBLAS classifier cmdb computer vision comunitaria concurso concursos configuracion configuration control controlador couchdb cpd crawling crowdsourcing cryptocurrency dapp database datastax deep learning deporte depression desktop desourb dht django docker drupal7 ecommerce ed educacion emprego empresa enquisas ensino epistasia erp escritorios ethereum evolucion diferencial explicabilidade fios flask flex floss fortran fortrananalyser funcionalidades gaita galega genetica genoma-completo genoma-humano geovisor gestion git gvSIG Desktop hardware hibernate hostais hostaleiros hoteis html5 ia ietgalicia inclusion social indicadores information retrieval integracion interactivo investigacion invidentes itil java java ee javascript jhipster jhispter jquery json kde kernel kinect l10n lenguajes formales libre linux lire localizacion lucene machine learning maintenance management mantemento mapas mapatic maven maxsat medical application metadata microfluido microprogramacion microresonador microservices midi ml mobil moodle motor de plantillas nlg nlp nodejs nqs nubes puntos object detection object tracking oficina sin papel oftalmologia open data open source opencv opengl openlayers opensource openstreetmap opentripplanner osm pasaxe pdf pensions pfc php php phpbb galego gl pictures podcast pojo postgis postgresql pouchdb practicas curriculares prediccion de xenes proxectos pyqt5 python qt radio react real real time redes render resource-manager rest restaurantes restful rnga robot robotica roguelike rutas saude mental seguemento seguridade select2 sen servicios REST sistemas six skin smart contracts soft computing software software libre software quality solidity solr spacy speg spring spring boot springboot ssh stream processing survey tablas-de-penetrancia tapestry tempo terminoloxia tfg tiflotecnoloxia titor tomografia coherencia optica topology traduccion traducion transporte publico trobador turismo unificar utils versions video videoconferencia virtualization web webcam webrtc neuroloxia web node.js express mariadb licode xea xenes xeopesca xeoportal xeovisor xeshostal xestion xestion de solicitudes xestor proxectos xunta de galicia zigbee
2 projects in result set.
Solucionador DEMaxSAT - En este proxecto desenvolveuse unha ferramenta de resolución de problemas MaxSAT empregando Evolución Diferencial. MaxSAT é a versión de optimización de SAT, un problema NP-Completo. Evolución Diferencial (ED) por outro lado é un algoritmo genético que se basea na evolución darwiniana para optmizar unha función obxectico. Este resolutor combina ED con heurísticas propias de MaxSAT, definindo así unha hibridación memética, para resolver o problema MaxSAT. O algoritmo desenvolvido consegue alcanzar (e superar en determinados benchmarks) ó estado do arte dos resolutores MaxSAT incompletos. O obxectivo é seguir mellorando este proxecto para presentalo na Evaluación MaxSAT de 2022 (https://maxsat-evaluations.github.io/). Repositorio do proxecto: https://github.com/Manuframil/DEMaxSatSolver
Tags: ia, maxsat, ed, evolucion diferencial, tfg, algoritmos evolutivos, c, concurso

Activity Percentile: 0
Activity Ranking: 0
Registered: 2021-10-06 08:04
Web do audiovisual escolar galego - Máis de 800 vídeos de toda Galicia. A maior videoteca do audiovisual escolar galego. Disfruta dos finalistas e gañadores en diversos concursos e festivais. Garda os teus favoritos e propón novos vídeos. Organiza o teu propio concurso audiovisual!!
Tags: audiovisual, ensino, video, concurso

Activity Percentile: 0
Activity Ranking: 0
Registered: 2017-09-29 18:30