Increasing the classification accuracy of simple Bayesian classifierKOTSIANTIS, S. B; PINTELAS, P. E.Lecture notes in computer science. 2004, pp 198-207, issn 0302-9743, isbn 3-540-22959-0, 10 p.Conference Paper

Symbolic determinisation of extended automata = Déterminisation symbolique d'automates étendusJéron, Thierry; Marchand, Hervé; Rusu, Vlad et al.Publication interne - IRISA. 2005, issn 1166-8687, 1Vol, 24 p.Report

Evaluating argumentation semantics with respect to skepticism adequacyBARONI, Pietro; GIACOMIN, Massimiliano.Lecture notes in computer science. 2005, pp 329-340, issn 0302-9743, isbn 3-540-27326-3, 12 p.Conference Paper

CTL* model checking for time Petri netsBOUCHENEB, Hanifa; HADJIDJ, Rachid.Theoretical computer science. 2006, Vol 353, Num 1-3, pp 208-227, issn 0304-3975, 20 p.Article

Closure properties of weak systems of bounded arithmeticKOLOKOLOVA, Antonina.Lecture notes in computer science. 2005, pp 369-383, issn 0302-9743, isbn 3-540-28231-9, 15 p.Conference Paper

CGRED : Class guided random early discardingYUCHUN GUO; YONGXIANG ZHAO; GUANGNONG SONG et al.IEEE International Performance, Computing, and Communications Conference. 2004, pp 179-185, isbn 0-7803-8396-6, 1Vol, 7 p.Conference Paper

Model checking of systems employing commutative functionsPRASAD SISTLA, A; MIN ZHOU; XIAODONG WANG et al.Lecture notes in computer science. 2005, pp 250-266, issn 0302-9743, isbn 3-540-24297-X, 17 p.Conference Paper

Query Containment with negated IDB predicatesFARRE, Carles; TENIENTE, Ernest; URPI, Toni et al.Lecture notes in computer science. 2003, pp 416-430, issn 0302-9743, isbn 3-540-20047-9, 15 p.Conference Paper

Improving state class constructions for CTL* model checking of time Petri netsHADJIDJ, Rachid; BOUCHENEB, Hanifa.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 2, pp 167-184, issn 1433-2779, 18 p.Article

Minimum Complexity Echo State NetworkRODAN, Ali; TINO, Peter.IEEE transactions on neural networks. 2011, Vol 22, Num 1, pp 131-144, issn 1045-9227, 14 p.Article

States Class Forming Optimization Task for Estimating of QoSJANKUNIENE, Ruta.Information technology interfaces. 2007, pp 621-626, isbn 978-953-7138-09-7, 1Vol, 6 p.Conference Paper

Efficient CSP_Z data abstractionFARIAS, Adalberto; MOTA, Alexandre; SAMPAIO, Augusto et al.Lecture notes in computer science. 2004, pp 108-127, issn 0302-9743, isbn 3-540-21377-5, 20 p.Conference Paper

Lmi based neurocontroller for guaranteed cost control of discrete-time uncertain systemMUKAIDANI, Hiroaki; ISHII, Yasuhisa; TANAKA, Yoshiyuki et al.IEEE Conference on Decision and Control. 2004, isbn 0-7803-8682-5, Vol 1, 809-814Conference Paper

Extremum seeking control of nonlinear systems with parametric uncertainties and state constraintsDEHAAN, Darryl; GUAY, Martin.American Control Conference. 2004, pp 596-601, isbn 0-7803-8335-4, 6 p.Conference Paper

Sliding controller for output feedback of a class of state dependent nonlinear systemsLIN JWO MIN.American Control Conference. 2004, pp 644-649, isbn 0-7803-8335-4, 6 p.Conference Paper

Avoiding state explosion in a class of Petri netsSALUM, Latif.Expert systems with applications. 2015, Vol 42, Num 1, pp 519-526, issn 0957-4174, 8 p.Article

DYNAMICS OF COLLECTIVE MULTI-STABILITY IN MODELS OF MULTI-UNIT NEURONAL SYSTEMSKOPPERT, Marc; KALITZIN, Stiliyan; VELIS, Demetrios et al.International journal of neural systems. 2014, Vol 24, Num 2, issn 0129-0657, 143004.1-143004.10Article

Quantifying quantum correlations in fermionic systems using witness operatorsIEMINI, Fernando; MACIEL, Thiago O; DEBARBA, Tiago et al.Quantum information processing (Print). 2013, Vol 12, Num 2, pp 733-746, issn 1570-0755, 14 p.Article

First-Class State Change in PlaidSUNSHINE, Joshua; NADEN, Karl; STORK, Sven et al.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 713-732, issn 1523-2867, 20 p.Conference Paper

FeatherTrait : A Modest Extension of Featherweight JavaLIQUORI, Luigi; SPIWACK, Arnaud.ACM transactions on programming languages and systems. 2008, Vol 30, Num 2, pp 11-32, issn 0164-0925, 22 p.Article

EpiChord : Parallelizing the Chord lookup algorithm with reactive routing state managementLEONG, Ben; LISKOV, Barbara; DEMAINE, Erik D et al.Computer communications. 2006, Vol 29, Num 9, pp 1243-1259, issn 0140-3664, 17 p.Article

Convergence and approximation in potential gamesCHRISTODOULOU, George; MIRROKNI, Vahab S; SIDIROPOULOS, Anastasios et al.Lecture notes in computer science. 2006, Vol 3884, pp 349-360, issn 0302-9743, isbn 3-540-32301-5, 1Vol, 12 p.Conference Paper

Immune system modeling : The OO wayBERSINI, Hugues.Lecture notes in computer science. 2006, pp 150-163, issn 0302-9743, isbn 3-540-37749-2, 1Vol, 14 p.Conference Paper

Infinite state model-checking of propositional dynamic logicsGÖLLER, Stefan; LOHREY, Markus.Lecture notes in computer science. 2006, pp 349-364, issn 0302-9743, isbn 3-540-45458-6, 1Vol, 16 p.Conference Paper

Resources Required for Preparing Graph StatesHOYER, Peter; MHALLA, Mehdi; PERDRIX, Simon et al.Lecture notes in computer science. 2006, pp 638-649, issn 0302-9743, isbn 3-540-49694-7, 1Vol, 12 p.Conference Paper