Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

429 results
Deposit type : Fulltext
Document type : Conference papers
Page :
sorted by
Image document

Glider Automorphisms on Some Shifts of Finite Type and a Finitary Ryan’s Theorem

 Johan Kopra
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.88-99, ⟨10.1007/978-3-319-92675-9_7⟩
Conference papers hal-01824877v1
Image document

Relating Structure and Power: Comonadic Semantics for Computational Resources

 Samson Abramsky , Nihil Shah
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.1-5, ⟨10.1007/978-3-030-00389-0_1⟩
Conference papers hal-02044639v1
Image document

Reversible Choreographies via Monitoring in Erlang

 Adrian Francalanza , Claudio Antares Mezzina , Emilio Tuosto
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.75-92, ⟨10.1007/978-3-319-93767-0_6⟩
Conference papers hal-01824635v1
Image document

An Efficient Cooperative Method to Solve Multiple Sequence Alignment Problem

 Lamiche Chaabane
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.185-195, ⟨10.1007/978-3-319-89743-1_17⟩
Conference papers hal-01913906v1
Image document

An Improved Collaborative Filtering Recommendation Algorithm for Big Data

 Hafed Zarzour , Faiz Maazouzi , Mohamed Soltani , Chaouki Chemam
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.660-668, ⟨10.1007/978-3-319-89743-1_56⟩
Conference papers hal-01913907v1
Image document

Most Complex Deterministic Union-Free Regular Languages

 Janusz A. Brzozowski , Sylvie Davies
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.37-48, ⟨10.1007/978-3-319-94631-3_4⟩
Conference papers hal-01905640v1
Image document

Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs

 Miguel Ferreira , Nelma Moreira , Rogério Reis
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.88-100, ⟨10.1007/978-3-319-94631-3_8⟩
Conference papers hal-01905623v1
Image document

Finite Automata with Undirected State Graphs

 Martin Kutrib , Andreas Malcher , Christian Schneider
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.212-223, ⟨10.1007/978-3-319-94631-3_18⟩
Conference papers hal-01905634v1
Image document

Ontology Based Data Management: A Study in a Brazilian Federal Agency

 Márcia Myuki Takenaka Fujimoto , Edna Dias Canedo
17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.144-154, ⟨10.1007/978-3-319-98690-6_13⟩
Conference papers hal-01961528v1
Image document

An Obstacle-Aware Clustering Protocol for Wireless Sensor Networks with Irregular Terrain

 Riham Elhabyan , Wei Shi , Marc St-Hilaire
International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.54-66, ⟨10.1007/978-3-030-02931-9_5⟩
Conference papers hal-02269728v1
Image document

Parameterized Strategies Specification in Maude

 Rubén Rubio , Narciso Martí-Oliet , Isabel Pita , Alberto Verdejo
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
Conference papers hal-02364577v1
Image document

Selecting Web Service Compositions Under Uncertain QoS

 Remaci Zeyneb Yasmina , Hadjila Fethallah , Didi Fedoua
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.622-634, ⟨10.1007/978-3-319-89743-1_53⟩
Conference papers hal-01913865v1
Image document

Using a Social-Based Collaborative Filtering with Classification Techniques

 Lamia Berkani
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.267-278, ⟨10.1007/978-3-319-89743-1_24⟩
Conference papers hal-01913883v1
Image document

Effective Streaming Evolutionary Feature Selection Using Dynamic Optimization

 Abdennour Boulesnane , Souham Meshoul
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.329-340, ⟨10.1007/978-3-319-89743-1_29⟩
Conference papers hal-01913889v1
Image document

Examining the Factors Affecting Behavioural Intention to Adopt Mobile Health in Jordan

 Ali Alalwan , Abdullah M. Baabdullah , Nripendra Rana , Yogesh Dwivedi , Fadia Hudaib , et al.
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.459-467, ⟨10.1007/978-3-030-02131-3_41⟩
Conference papers hal-02274160v1
Image document

A Critical Review of Empirical Research Examining SMEs Adoption from Selected Journals

 S. S. Abed
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.577-587, ⟨10.1007/978-3-030-02131-3_50⟩
Conference papers hal-02274176v1
Image document

Business Modeling and Flexibility in Software-Intensive Product Development - A Systematic Literature Review

 Magnus Wilson , Krzysztof Wnuk
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.292-304, ⟨10.1007/978-3-030-02131-3_26⟩
Conference papers hal-02274151v1
Image document

Urban Media Trends for Enabling Citizen Participation in Urban Planning: Old Wine in New Barrels?

 Bert P. Groot , Robin Effing , Mettina Veenstra
10th International Conference on Electronic Participation (ePart), Sep 2018, Krems, Austria. pp.51-63, ⟨10.1007/978-3-319-98578-7_5⟩
Conference papers hal-01985604v1
Image document

A Method for Optimizing Complex Graphical Interfaces for Fast and Correct Perception of System States

 Marie-Christin Harre , Sebastian Feuerstack , Bertram Wortelen
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.65-87, ⟨10.1007/978-3-030-05909-5_5⟩
Conference papers hal-02270711v1
Image document

Organizational Features in Disaster Risk Management Systems

 Yury Manyoma , Nicolas Reyes , Luz Esperanza Bohorquez
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.155-174, ⟨10.1007/978-3-030-32169-7_12⟩
Conference papers hal-02799291v1
Image document

Raising a Model for Fake News Detection Using Machine Learning in Python

 Gerardo Agudelo , Octavio Parra , Julio Barón Velandia
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.596-604, ⟨10.1007/978-3-030-02131-3_52⟩
Conference papers hal-02274166v1
Image document

Hashing Incomplete and Unordered Network Streams

 Chao Zheng , Xiang Li , Qingyun Liu , Yong Sun , Binxing Fang
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.199-224, ⟨10.1007/978-3-319-99277-8_12⟩
Conference papers hal-01988840v1
Image document

Open Government Data Driven Co-creation: Moving Towards Citizen-Government Collaboration

 Keegan Mcbride , Maarja Toots , Tarmo Kalvet , Robert Krimmer
17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.184-195, ⟨10.1007/978-3-319-98690-6_16⟩
Conference papers hal-01961521v1
Image document

An Intelligent Parking Scheduling Algorithm Based on Traffic and Driver Behavior Predictions

 Jiazao Lin , Shi-Yong Chen , Chih-Yung Chang , Guilin Chen
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.185-189, ⟨10.1007/978-3-030-05677-3_22⟩
Conference papers hal-02279559v1
Image document

Detection of Bitcoin-Based Botnets Using a One-Class Classifier

 Bruno Bogaz Zarpelão , Rodrigo Sanches Miani , Muttukrishnan Rajarajan
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.174-189, ⟨10.1007/978-3-030-20074-9_13⟩
Conference papers hal-02294596v1
Image document

The Determinants of RFID Use and Its Benefits in Hospitals: An Empirical Study Examining Beyond Adoption

 Mohammad Alamgir Hossain , Azizah Ahmad
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.468-479, ⟨10.1007/978-3-030-02131-3_42⟩
Conference papers hal-02274175v1
Image document

Identifying Social Media’s Capability for Recognizing Entrepreneurial Opportunity: An Exploratory Study

 Abdus-Samad Temitope Olanrewaju , Mohammad Alamgir Hossain , Paul Mercieca , Naomi Whiteside
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.344-354, ⟨10.1007/978-3-030-02131-3_31⟩
Conference papers hal-02274169v1
Image document

Strome: Energy-Aware Data-Stream Processing

 Christopher Eibel , Christian Gulden , Wolfgang Schröder-Preikschat , Tobias Distler
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.40-57, ⟨10.1007/978-3-319-93767-0_4⟩
Conference papers hal-01824631v1
Image document

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

 Ulrich Dorsch , Stefan Milius , Lutz Schröder , Thorsten Wissmann
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.56-77, ⟨10.1007/978-3-030-00389-0_5⟩
Conference papers hal-02044640v1
Image document

Analysis of the Banking Sector in the Czech Republic

 Martina Hedvičáková , Pavel Prazak
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.413-424, ⟨10.1007/978-3-030-02131-3_37⟩
Conference papers hal-02274182v1
Page :