Search - IFIP Open Digital Library

Access content directly

Documentation

HAL Portal ifip
Search
Loading...
Advanced Search
Information de documents
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
Document type
Document subtype
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool

Author
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor

Structure
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country

Autres
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Search using SolR syntax
Upload

IFIP Open Access Digital Library

Home
Conferences
Browse
AICT Series
LNBIP
LNCS
eCollection Series
ePublication
IFIP Society Publications

Loading...

Filter your results

Fulltext
1

Conference papers
1

Computer Science [cs]
1

2010
1

English
1

Key Laboratory of Intelligent Information Processing, Institute of Computing Technology
1
Institute of Information Engineering [Beijing]
18
CAS Institute of Computing Technology
16
Institute of Intelligent Machines
5
Graduate University of Chinese [Beijing]
4
School of Cyber Security
4
The Key Laboratory of Intelligent Information Processing, Institute of Computing Technology
4
Beijing Key Laboratory of Network Security Technology
3
Cloud Computing Center [Dongguan]
2
First Research Institute [Beijing]
2
Institute of Software
2
Key Laboratory of Intelligent Information Processing; Institute of Computing Technology
2
Qingdao Academy of Intelligent Industries
2
Center for Ubiquitous Computing [Oulu]
1
College of Engineering [Beijing]
1
College of Life Information and Instrument Engineering
1
Data Assurance and Communication Security Research Center
1
Deakin University, Burwood, Australia
1
Department of Automation
1
Department of Computer Science and Engineering
1
Graduate School of Chinese Academy of Sciences
1
Graduate University
1
High Performance Network Lab [Institute Of Acoustics Chinese Academy Of Sciences]
1
Information Center of Agronomy College of Shandong University
1
Institute of Agricultural Science and Technology Information
1
Institute of Animal Health and Veterinary Biologicals
1
Institute of Applied Physics and Computational Mathematics - IACM (Beijing, China))
1
Institute of Computer Science and Engineering
1
Institute of Computing Technology
1
Institute of Information Science and Engineering [Shandong]
1
Institute of Soil Science [Beijing]
1
Key Laboratory of Computer System and Architecture, Institute of Computing Technology
1
Key Laboratory of Oasis Ecology and Desert Environment
1
Key Laboratory of Quantitative Remote Sensing in Agriculture
1
Laboratory of Advanced Computing Research, Institute of Computing Technology
1
National High Performance Computing Center
1
Research Center on Fictitious Economy & Data Science
1
School of Computer Science [Wuhan]
1
School of Computer Science and Engineering [Beijing]
1
School of Computer Science and Information Engineering
1
School of Computer Science and Technology
1
School of Computer and Control
1
School of Electrical and Electronic Engineering [Manchester]
1
School of Information and Electronics Engineering
1
Scool of Computer Science and Engineering, Nanjing
1
Shenzhen Institute of Advanced Technology [Shenzhen]
1
Software Engineering Institute
1
Software Research Institute
1
State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources [Beijing]
1
State Key Laboratory of Computer Science, Institute of Software
1
State Key Laboratory of Information Security, Institute of Information Engineering
1
State Key Laboratory of Soil and Sustainable Agriculture
1

Cungen Cao
1
Ju Wang
1
Yue Ma
1
Yuefei Sui
1
Yuming Shen
1

1 Array

Structure: Internal structure identifier : 303369

labStructName_s : Key Laboratory of Intelligent Information Processing, Institute of Computing Technology

	For these 1 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Preservative Translations between Logical Systems Yuming Shen , Yue Ma , Cungen Cao , Yuefei Sui , Ju Wang 6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.55-63, ⟨10.1007/978-3-642-16327-2_10⟩ Conference papers hal-01060356v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More

Page :

Contact

Support

Resources

Documentation
FAQ
API
OAI-PMH
AuréHAL

Informations

Privacy and personal data
Legal terms
Accessibility
Declaration of compliance

Legal issues

I publish, what are my rights?
The Digital Republic bill
Non-assignment strategy of rights
SHERPA/RoMEO

Portals

Institutional portals
HAL
HAL SHS
HAL Thèses
MédiHAL

CCSD

CCSD
Episciences
Sciencesconf