Research/en - História úprav

Guller na 15:34, 10. október 2015

2015-10-10T15:34:03Z

2015-10-10T15:31:42Z

2015-10-01T17:34:54Z

2015-09-09T19:10:42Z

2015-09-08T12:06:49Z

Artificial Intelligence and Cognitive Science -> Artificial Intelligence and Computational Modelling

2015-09-04T13:00:24Z

‎Computer Graphics and Vision: feature recognition --> feature extraction

2015-09-04T12:17:17Z

‎Artificial Intelligence and Cognitive Science: editor's fixes in KR interests

2015-09-04T12:16:10Z

‎Computer Graphics and Vision: Computer vision group interests

2015-09-04T11:36:13Z

2015-09-04T11:30:35Z

KR Group rewritten

@@ Riadok 18: / Riadok 18: @@
 * [http://cogsci.fmph.uniba.sk/cnc Artificial Neural Networks and Cognitive Science] – computational modelling of cognitive processes, experimental research based on EEG measurement, brain-computer interface (BCI).
 * [[DN Group|Complex dynamic networks]] – models of evolving complex networks and modelling of real situations with complex networks.
-* [[CLA Group|Computational Logic and Algebra]] - automated deduction in many-valued logics, Goedel logics, Product logic, model construction - forcing, residuated lattices, recursive enumerability, decidability and computational complexity of deduction problems,
+* [[CLA Group|Computational Logic and Algebra]] - automated deduction in many-valued logics, Goedel logics, Product logic, model construction - forcing, residuated lattices, recursive enumerability, decidability and computational complexity of deduction problems, SAT-solvers, expert systems, fuzzy inference
 SAT-solvers, expert systems, fuzzy inference
 * [[REC Group|Robotics and Evolutionary Computation]]
 * [http://compbio.fmph.uniba.sk Computational biology] – application of algorithmic methods and probabilistic modelling to problems in bioinformatics, mainly analysis of DNA sequences and proteins (joint group with [http://www.dcs.fmph.uniba.sk Department of Informatics] closely collaborating [http://www.biocenter.sk with groups at Faculty of Natural Science UK])

@@ Riadok 18: / Riadok 18: @@
 * [http://cogsci.fmph.uniba.sk/cnc Artificial Neural Networks and Cognitive Science] – computational modelling of cognitive processes, experimental research based on EEG measurement, brain-computer interface (BCI).
 * [[DN Group|Complex dynamic networks]] – models of evolving complex networks and modelling of real situations with complex networks.
-* [[FS Group|Fuzzy systems]]
+* [[CLA Group|Computational Logic and Algebra]] - automated deduction in many-valued logics, Goedel logics, Product logic, model construction - forcing, residuated lattices, recursive enumerability, decidability and computational complexity of deduction problems,
 * [[REC Group|Robotics and Evolutionary Computation]]
 * [http://compbio.fmph.uniba.sk Computational biology] – application of algorithmic methods and probabilistic modelling to problems in bioinformatics, mainly analysis of DNA sequences and proteins (joint group with [http://www.dcs.fmph.uniba.sk Department of Informatics] closely collaborating [http://www.biocenter.sk with groups at Faculty of Natural Science UK])

@@ Riadok 2: / Riadok 2: @@
 =Scientific Research at DAI=
-Research activities at DAI are chiefly focused on the the areas of computer graphics and computer vision, artificial intelligence, computational logic, theory of programming, and bioinformatics. Researchers collaborate within informal working groups focused on more specific topics.
+Research activities at DAI are chiefly focused on the areas of computer graphics and computer vision, artificial intelligence, cognitive science, computational logic, theory of programming, and bioinformatics. Researchers collaborate within informal working groups focused on more specific topics.
 == Computer Graphics and Vision ==

@@ Riadok 20: / Riadok 20: @@
 * [[FS Group|Fuzzy systems]]
 * [[REC Group|Robotics and Evolutionary Computation]]
 == Theory of Programming ==
@@ Riadok 27: / Riadok 28: @@
 * [[CDS Group|Concurrent and Distributed Systems]] – theory of concurrent processing, formal models and their applications on system specification, verification and information security.
 * [[DP Group|Declarative Programming]] – descriptive complexity; declarative programming, code verification, code transformation techniques, rewriting systems and constraint systems.
 ==Projects and Events==

@@ Riadok 11: / Riadok 11: @@
 * [[CV Group|Computer vision]] – image processing, feature extraction, salient region detection, face recognition, transport and security applications of computer vision.
-== Artificial Intelligence and Cognitive Science ==
+== Artificial Intelligence and Computational Modelling ==
 Research in artificial intelligence and cognitive science has a broad scope and a long history, reflected by the number and diversity of working groups:

@@ Riadok 9: / Riadok 9: @@
 * [[YACGS|Computer graphics]] – computer animation, navigation and cooperation in virtual environments, methods of volumetric graphics.
-* [[CV Group|Computer vision]] – image processing, feature recognition, salient region detection, face recognition, transport and security applications of computer vision.
+* [[CV Group|Computer vision]] – image processing, feature extraction, salient region detection, face recognition, transport and security applications of computer vision.
 == Artificial Intelligence and Cognitive Science ==

@@ Riadok 40: / Riadok 40: @@
 * [[Research Projects]]
 * [[Conferences and Events]]
-* [[Selected Publications]]
+* [[Scientific Seminars]]
 __NOTOC__