Filtry
wszystkich: 140
Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (105)
Wyniki wyszukiwania dla: search based software engineering
-
Information Assurance Group (IAG)
Potencjał BadawczyGrupa koncentruje się na zarządzaniu ryzykiem i zaufaniem w odniesieniu do różnych cech oprogramowania i systemów informatycznych, np. Bezpieczeństwa, niezawodności i prywatności. Szczególnie interesujące jest pojęcie Trust Case i powiązanej metodologii Trust-it.
-
Illume
Potencjał BadawczyILLUME [/ɪˈl(j)uːm/] to interdyscyplinarna grupa badawcza w ramach centrum badawczego EcoTech na Politechnice Gdańskiej, stworzona w celu minimalizacji wpływu zanieczyszczenia światłem sztucznym na ludzi, florę i faunę. Członkowie grupy posiadają wybitne umiejętności praktyczne i wiedzę badawczą w zakresie tych zagadnień. Nie tylko konsekwentnie identyfikując istotne problemy i tematy badawcze, ale także znajdując praktyczne rozwiązania...
-
Inteligentne Systemy Interaktywne
Potencjał BadawczyNaturalne interfejsy, umożliwiające inteligentną interakcję człowiek-maszyna z możliwością oddziaływania na możliwie wszystkie zmysły człowieka równocześnie i bez potrzeby jego wcześniejszego szkolenia w zakresie używania typowych urządzeń zewnętrznych komputera, w tym z wykorzystaniem metod automatycznego rozpoznawania i syntezy mowy, biometrii, proaktywnych (samo-wykonywalnych) dokumentów elektronicznych, rozpoznawania emocji...
Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (35)
Wyniki wyszukiwania dla: search based software engineering
-
FPGA/VHDL
Oferta Biznesowa -
Laboratorium Badawcze 2-3
Oferta BiznesowaObliczenia komputerowe wymagające dużych mocy obliczeniowych z wykorzystaniem oprogramowania typu: Matlab, Tomlab, Gams, Apros.
-
Superkomputer Tryton
Oferta BiznesowaObliczenia dużej skali, Wirtualna infrastruktura w chmurze (IaaS), Analiza danych (big data)
Pozostałe wyniki Pokaż wszystkie wyniki (1314)
Wyniki wyszukiwania dla: search based software engineering
-
International Symposium on Search Based Software Engineering
Konferencje -
Finite State Machine Based Modelling of Discrete Control Algorithm in LAD Diagram Language With Use of New Generation Engineering Software
Publikacja -
International Symposium Component-Based Software Engineering
Konferencje -
International Workshop on Realising Evidence-based Software Engineering
Konferencje -
Ontology-Aided Software Engineering
PublikacjaThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...