Abstract is missing.
- Natural Language Processing for Requirements Formalization: How to Derive New Approaches?Viju Sudhi, Libin Kutty, Robin Gröpler. 1-27 [doi]
- Left Recursion by Recursive AscentRoman R. Redziejowski. 29-46 [doi]
- An Example of Computation in Interactive Granular ComputingSoma Dutta. 47-63 [doi]
- Extended Future in Testing Semantics for Time Petri NetsElena N. Bozhenkova, Irina B. Virbitskaite. 65-89 [doi]
- Toward Recommender Systems Scalability and EfficacyEyad Kannout, Marek Grzegorowski, Hung Son Nguyen. 91-121 [doi]
- Security EnforcingDamas P. Gruska. 123-143 [doi]
- Towards an Anticipatory Mechanism for Complex Decisions in a Bio-Hybrid BeehiveHeinrich Mellmann, Volha Taliaronak, Verena V. Hafner. 145-173 [doi]
- A Protocol for Reliable Delivery of Streamed Sensor Data over a Low-Bandwidth Wireless ChannelAgnieszka Boruta, Pawel Gburzynski, Ewa Kuznicka. 175-201 [doi]
- Graph-Based Sparse Neural Networks for Traffic Signal OptimizationLukasz Skowronek, Pawel Góra, Marcin Mozejko, Arkadiusz Klemenko. 203-227 [doi]