60 likes | 147 Views
OFFER OF PARTNERSHIP FROM. INSTYTUT PODSTAW INFORMATYKI PAN OR INSTITUTE OF COMPUTER SCIENCE, POLISH ACAD. SCI. (56 scientists, including 49 Ph.D.’s) IN THE FOLLOWING AREAS:. Presenting: J. Koronacki, korona@ipipan.waw.pl. AREA :INTELLIGENT NAVIGATION, DATA/TEXT MINING.
E N D
OFFER OF PARTNERSHIP FROM INSTYTUT PODSTAW INFORMATYKI PAN OR INSTITUTE OF COMPUTER SCIENCE, POLISH ACAD. SCI. (56 scientists, including 49 Ph.D.’s) IN THE FOLLOWING AREAS: Presenting: J. Koronacki, korona@ipipan.waw.pl
AREA:INTELLIGENT NAVIGATION, DATA/TEXT MINING IMPORTANT FOR: Recommender systems, automated knowledge generation from large databases for health, service and industrial sectors, e-commerce, e-banking, CRM, knowledge engineering, fraud detection, credit risk assessment. NOVEL SOLUTIONS: New technologies for large Bayesian networks, artificial immune systems and statistical data analysis, with proprietary softwares implemented. Contact person:Slawomir Wierzchon, IPI PAN, stw@ipipan.waw.pl
AREA:INTRUSION DETECTION, SECURITY IMPORTANT FOR: Security and performance issues in mobile and computer network environment, private and public key cryptography and safety of banking operations via Internet, fraud detection in mobile communication. NOVEL SOLUTIONS: New implementations of evolutionary algorithms and neural networks, cellular automata and artificial immune systems. Contact person:Franciszek Seredynski, IPI PAN, sered@ipipan.waw.pl
AREA: DATA BASES APPLICATIONS IMPORTANT FOR: Distributed databases and their communication protocols via user friendly interfaces to existing databases facilitating their integration, data transfer and uniform querying. NOVEL SOLUTIONS: Stack-based approach to query language and programming language integration within object-oriented environment. Contact person:Kazimierz Subieta, IPI PAN, subieta@ipipan.waw.pl
AREA: CORRECTNESS OF SAFETY-CRITICAL SYSTEMS IMPORTANT FOR: E-commerce and e-banking, WEB secure applications, safe data trasfer and communication protocols, remote systems user identification, safe access to distributed databases. NOVEL SOLUTIONS: Efficient model checking of specifications. In particular, given in: TCTL, CTL, CTL+K via translation to SAT-solvers. Contact person:Wojciech Penczek, IPI PAN, Wojciech.Penczek@ipipan.waw.pl
AND IN THE FOLLOWING AREAS(for more info please see our booklet): WEB SERVICES, RECONFIGURABLE MULTIAGENT SYSTEMS SOFTWARE DEVELOPMENT COMMUNICATION, COMPUTING AND SOFTWARE TECHNOLOGIES SOFTWARE SPECIFICATION AND VALIDATION LANGUAGE TECHNOLOGY DECISION PROCESSES, MATHEMATICAL AND GAME-THEORETIC TECHNIQUES INSTITUTE’S WEBSITE: www.ipipan.waw.pl