Filters
total: 140
Best results in : Research Potential Pokaż wszystkie wyniki (105)
Search results for: search based software engineering
-
Information Assurance Group (IAG)
Research PotentialGrupa 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
Research PotentialILLUME [/ɪˈ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
Research PotentialNaturalne 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...
Best results in : Business Offer Pokaż wszystkie wyniki (35)
Search results for: search based software engineering
-
FPGA/VHDL
Business Offer -
Laboratorium Badawcze 2-3
Business OfferObliczenia komputerowe wymagające dużych mocy obliczeniowych z wykorzystaniem oprogramowania typu: Matlab, Tomlab, Gams, Apros.
-
Superkomputer Tryton
Business OfferObliczenia dużej skali, Wirtualna infrastruktura w chmurze (IaaS), Analiza danych (big data)
Other results Pokaż wszystkie wyniki (1314)
Search results for: search based software engineering
-
International Symposium on Search Based Software Engineering
Conferences -
Finite State Machine Based Modelling of Discrete Control Algorithm in LAD Diagram Language With Use of New Generation Engineering Software
Publication -
International Symposium Component-Based Software Engineering
Conferences -
International Workshop on Realising Evidence-based Software Engineering
Conferences -
Ontology-Aided Software Engineering
PublicationThis 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)...