LS 01 Logik in der Informatik : [28]

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 28
Issue DateTitleAuthor(s)
2016Logics on data wordsSchwentick, Thomas; Kara, Ahmet; Bollig, Benedikt
2015Belief revision, non-monotonic reasoning and secrecy for epistemic agentsKern-Isberner, Gabriele; Krümpelmann, Patrick; Beierle, Christoph
2013Automatic signal enhancements for spectroscopic measurementsMüller, Heinrich; Schlenke, Jan; Rudolph, Rudolph
2015Small dynamic complexity classesGrädel, Erich; Zeume, Thomas; Schwentick, Thomas
2-May-2013Komplexität des typechecking-Problems für Top-down XML-TransformationenSchwentick, Thomas; Neubauer, Johannes
6-Jul-2010Feature extraction in NMR data analysisRahmann, Sven; Koh, Hyung-Won; Hüllermeier, Eyke
17-Mar-2009Integration, Indexierung und Interaktion hochdimensionaler DatenobjekteDittrich, Gisbert; Koll, Konstantin; Müller, Heinrich
15-Oct-2007Gleichheitsabhängigkeiten zwischen Objekten durch parametrisierte ZuweisungenDittrich, Gisbert; Chernuchin, Daniel; Padawitz, Peter
5-Jan-2007Directed evolutionary algorithmsReusch, Bernd; Berlik, Stefan; Rudolph, Günter
2006On theory of information functions presenceTsintsadze, Magda
7-Feb-2005Logics which allow Degrees of Truth and Degrees of ValidityThiele, Helmut; Lehmke, Stephan; Reusch, Bernd; Padawitz, Peter; Dubois, Didier
27-Jan-2003Asymmetrische EvolutionsstrategienReusch, Bernd; Hildebrand, Lars; Banzhaf, Wolfgang
1-Aug-2002Lazy Decision MakingReusch, Bernd; Presser, Gero; Wegener, Ingo
27-Sep-2001Ein CI-unterstütztes Rahmenmodell für die medizinische BildanalyseReusch, Bernd; Hiltner, Jens; Müller, Heinrich
13-Jul-2000Developing concepts and methods for module and integration tests for models of reactive systemsKyeyune, Yusufu
18-May-200019. Workshop "Interdisziplinäre Methoden in der Informatik"Bos, Michael; Dierkes, Sascha; Dilling, Thomas; Dittrich, Gisbert; Grasbon, Reimar; Hildebrand, Lars; Hiltner, Jens; Hunscher, Wolfgang; Jesse, Norbert; Kiselova, Tatiana; Lehmke, Stephan; Liebermann, Kurt; Moraga, Claudio; Presser, Gero; Reuter, Matthias; Riedemann, Eike H.; Temme, Karl-Heinz; Thiele, Helmut; Wagner, Huber; Westbomke, Jörg; Wittner, Michael; Xu, Xinhua
18-May-2000Streamingtechnologien für VideodatenDittrich, Gisbert; Herche, Daniel; Hülder, Malte; Michaelis, Stefan; Pauls, Oliver; Röhrig, Jörg; Somberg, Björn; Steuer, Konstantin; Vleugels, Dirk; Westbomke, Jörg; Zellmer, Gerd
11-Oct-1999Skript SimulationMoraga, Claudio
11-Jun-1999Digitales VideoBajor, Markus; Denninghoff, Dirk; Dittrich, Gisbert; Flechtker, Bernhard; Frommolt, Karsten; Iwan, Marc; Klaas, Christian; Ndambuki, Mike; Neubach, Paul; Schneider, Helge; Schwarz, Rüdiger; Westbomke, Jörg
19-May-1999Sichere Transaktionen für Intranet Verbindungen über das Internet durch local-Server/remote-Server KommunikationFiebig, Christian
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 28