Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Meeting of the 2nd Luxembourg-Polish Symposium on Security and Trust and the 19th International Conference Intelligent Information Systems, held as International Joint Confererence on Security and Intelligent Information Systems, SIIS 2011, in Warsaw, Poland, in June 2011. The 29 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 60 initial submissions during two rounds of selection and improvement. The papers are organized in the following three thematic tracks: security and trust, data mining and machine learning, and natural language processing.

Engineering & Applied Sciences --- Electrical & Computer Engineering --- Telecommunications --- Computer Science --- Computer security --- Computer networks --- Data encryption (Computer science) --- Data mining --- Natural language processing (Computer science) --- Security measures --- Computer science. --- Computer organization. --- Computer security. --- Data encryption (Computer science). --- Computers. --- Artificial intelligence. --- Computer Science. --- Computer Systems Organization and Communication Networks. --- Information Systems and Communication Service. --- Systems and Data Security. --- Artificial Intelligence (incl. Robotics). --- Data Encryption. --- Information Systems Applications (incl. Internet). --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Cryptography --- Computer privacy --- Computer system security --- Computers --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Organization, Computer --- Informatics --- Science --- Protection --- Computer network architectures. --- Information systems. --- Artificial Intelligence. --- Cryptology. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Sistemes de seguretat --- Mineria de dades --- Tractament del llenguatge natural (Informàtica) --- Llenguatge natural (Informàtica) --- Processament del llenguatge natural (Informàtica) --- Processament en llenguatge natural (Informàtica) --- Informàtica --- Intel·ligència artificial --- Processament de dades --- Prospecció de dades --- Cerca en bases de dades --- Arquitectura orientada a serveis (Informàtica) --- Extracció de dades de llocs web --- Mineria de web --- Mesures de seguretat --- Control d'accés --- Intervenció de les comunicacions --- Seguretat informàtica --- Serveis de seguretat privats --- Targetes intel·ligents --- Vigilància electrònica

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.

Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Parallel processing (Electronic computers) --- Computer multitasking --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer science. --- Computer communication systems. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Communication Networks. --- Programming Languages, Compilers, Interpreters. --- Information Systems Applications (incl. Internet). --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Distributed processing --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer networks. --- Compilers (Computer programs). --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Computer and Information Systems Applications. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Processament en paral·lel (Ordinadors) --- Programació multitasca (Informàtica)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

GigaScience is an online open-access journal that focuses on research using or producing large datasets in all areas of biological and biomedical sciences. It provides standard scientific publishing linked directly to a database that hosts all the relevant data.

Biology --- Medical sciences --- Biologie --- Sciences de la santé --- Research --- Periodicals. --- Periodicals --- Recherche --- Périodiques --- Information storage and retrieval systems --- Database management --- Medical Informatics. --- Information Storage and Retrieval. --- Database management. --- Research. --- Biological research --- Biomedical research --- Data Files --- Data Linkage --- Data Retrieval --- Data Sources --- Data Storage --- Data Storage and Retrieval --- Information Extraction --- Information Storage --- Machine-Readable Data Files --- Information Retrieval --- Data File --- Data File, Machine-Readable --- Data Files, Machine-Readable --- Data Source --- Extraction, Information --- Files, Machine-Readable Data --- Information Extractions --- Machine Readable Data Files --- Machine-Readable Data File --- Retrieval, Data --- Storage, Data --- Data base management --- DBMS (Computer science) --- Generalized data management systems --- Systems, Database management --- Systems, Generalized database management --- Computer Science, Medical --- Health Information Technology --- Informatics, Clinical --- Informatics, Medical --- Information Science, Medical --- Clinical Informatics --- Medical Computer Science --- Medical Information Science --- Health Information Technologies --- Information Technologies, Health --- Information Technology, Health --- Medical Computer Sciences --- Medical Information Sciences --- Science, Medical Computer --- Technologies, Health Information --- Technology, Health Information --- Basic medical sciences --- Basic sciences, Medical --- Biomedical sciences --- Health sciences --- Preclinical sciences --- Sciences, Medical --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- open data --- big data --- life sciences --- biomedicine --- Electronic data processing --- Health Informatics --- Informatics, Health --- Computational Biology --- Biomedical Technology --- American Recovery and Reinvestment Act --- Life sciences --- Medicine --- Biomass --- Life (Biology) --- Natural history --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Human medicine --- Computer. Automation --- Data services (Database management) --- Database management services --- Services, Database management --- Data centers --- Ciències de la salut. --- Gestió de bases de dades. --- Sistemes d'informació. --- Automatització documental --- Documentació mecanitzada --- Emmagatzematge automàtic de dades --- Sistemes d'emmagatzematge i recuperació de la informació --- Bibliografia --- Classificació --- Documentació --- Recursos electrònics --- Serveis de resums analítics --- Serveis d'informació --- Teledocumentació --- BLAISE (Sistema de recuperació de la informació) --- Catàlegs en línia --- Difusió selectiva de la informació --- DOBIS (Sistema informàtic) --- Gestió de bases de dades --- Gestió electrònica de documents --- Gestió de la informació --- Llenguatges documentals --- Serveis de geolocalització --- Sistemes experts (Informàtica) --- Sistemes multimèdia --- Xarxes d'informació --- Automatització de biblioteques --- Bancs de dades --- Biblioteques digitals --- Ordinadors --- Sostenibilitat (Ciències de la informació) --- Administració de bases de dades --- Sistemes de gestió de bases de dades --- SGBD --- Processament de dades --- Sistemes d'informació --- Compressió de dades (Informàtica) --- Gestors de dades --- Biomedicina --- Ciències biomèdiques --- Ciències mèdiques --- Ciències de la vida --- Fisiologia humana --- Microbiologia mèdica --- Neurociències