Necessary and sufficient conditions for the existence of solution of generalized fuzzy relation equations A ⇔X = B

On the zeros of the partial Hosoya polynomial of graphs

Studying the inertias of LCM matrices and revisiting the Bourque-Ligh conjecture

Computer-Generated Holograms for 3D Imaging

A Survey

Densely-sampled light field reconstruction

Design and characterization of light field and holographic near-eye displays

Game-theoretic semantics for ATL⁺ with applications to model checking

Learning and Teaching Experiences with a Persuasive Social Robot in Primary School – Findings and Implications from a 4-Month Field Study

PRBS-based loop gain identification and output impedance shaping in DC microgrid power converters

Remarks on the Design of First Digital Computers in Japan - Contributions of Yasuo Komamiya

Tile priorities in adaptive 360-degree video streaming

Vehicle Attribute Recognition by Appearance

Computer Vision Methods for Vehicle Type, Make and Model Classification

Programming languages for data-Intensive HPC applications

A systematic mapping study

Satisfiability of modal inclusion logic

Lax and strict semantics

Model checking and validity in propositional and modal inclusion logics

Hermitian normalized Laplacian matrix for directed networks

High-performance SIMD implementation of the lattice-Boltzmann method on the Xeon Phi processor

Analysis of an efficient parallel implementation of active-set Newton algorithm

Towards detecting structural branching and cyclicity in graphs

A polynomial-based approach

ALMARVI System Solution for Image and Video Processing in Healthcare, Surveillance and Mobile Applications

A fun-accuracy trade-off in game-based learning

Alternating-time temporal logic ATL with finitely bounded semantics

An Accurate Approximation of Resource Request Distributions in Millimeter Wave 3GPP New Radio Systems

Autonomous UAV Landing on a Moving Vessel

Localization Challenges and Implementation Framework

Characterizing the Degree of LTE Involvement in Supporting Session Continuity in Street Deployment of NR Systems

Communicating User Insights with Travel Mindsets and Experience Personas in Intra-city Bus Context

Digital Predistortion for 5G Small Cell

GPU Implementation and RF Measurements

Emptiness problems for distributed automata

Evaluating multi-connectivity in 5G NR systems with mixture of unicast and multicast traffic

Extending a digital fraction game piece by piece with physical manipulatives

Graph-boosted attentive network for semantic body parsing

Institutional Perspectives on the Process of Enterprise Architecture Adoption

Large-Scale Centralized Scheduling of Short-Range Wireless Links

Learning Image-to-Image Translation Using Paired and Unpaired Training Samples

Lifelong learning with a digital math game

Performance and basic experience differences across age

Maximizing Achievable Data Rate in Unlicensed mmWave Networks with Mobile Clients

MicroSCOPE

Enabling access control in searchable encryption with the use of attribute-based encryption and SGX

MLAttack

Fooling Semantic Segmentation Networks by Multi-layer Attacks

Multi-level Architecture for P2P Services in Mobile Networks

Near Lossless JPEG Compression Based on Masking Effect of Non-predictable Energy of Image Regions

Non-parametric contextual relationship learning for semantic video object segmentation

On the web platform cornucopia

Patterns for functional safety system development

Patterns for light-weight fault tolerance and decoupled design in distributed control systems

Performance of mmwave-based mesh networks in indoor environments with dynamic blockage

Predicting Novel Views Using Generative Adversarial Query Network

Ray-Based Modeling of Unlicensed-Band mmWave Propagation Inside a City Bus

Rewritability in monadic disjunctive Datalog, Mmsnp, and expressive description logics

Simultaneously Learning Architectures and Features of Deep Neural Networks

Teaching educational game design

Expanding the game design mindset with instructional aspects

Triggerflow

Regression Testing by Advanced Execution Path Inspection

Understanding the digital and non-digital participation by the gaming youth

Usability, security and trust in password managers

A quest for user-centric properties and features

Toward Efficient Execution of RVC-CAL Dataflow Programs on Multicore Platforms

Graph measures with high discrimination power revisited

A random polynomial approach

NP-completeness results for partitioning a graph into total dominating sets

18th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2018 and 11th Conference on Internet of Things and Smart Spaces, ruSMART 2018

3D folded loop UAV antenna design

A Concise Review of 5G New Radio Capabilities for Directional Access at mmWave Frequencies

ADVIO

An authentic dataset for visual-inertial odometry

A Lower Bound on the Average Identification Time in a Passive RFID System

An algebraic approach to reducing the number of variables of incompletely defined discrete functions

Analytical Models for Schedule-Based License Assisted Access (LAA) LTE Systems

Characterizing mmWave Radio Propagation at 60 GHz in a Conference Room Scenario

Computing minimum rainbow and strong rainbow colorings of block graphs

Convolutional neural network based inter-frame enhancement for 360-degree video streaming

Current Trends in Web Engineering

ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers

Gibbs Dyadic Differentiation on Groups - Evolution of the Concept

Information Exchange Architecture for Collaborative Industrial Ecosystem

IoT Application Deployment Using Request-Response Pattern with MQTT

Kinetic Approach to Elasticity Analysis of D2D Links Quality Indicators Under Non-stationary Random Walk Mobility Model

Liquid Transfer of User Identity

Memory Tampering Attack on Binary GCD Based Inversion Algorithms

Model-Based Dynamic Scheduling for Multicore Signal Processing

Model-Based Representations for Dataflow Schedules

Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia Coli

MultiMedia Modeling

24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I

MultiMedia Modeling

24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part II

On the degeneracy of the Randić entropy and related graph measures

Optimization on ports activation towards energy efficient data center networks

Performance Limitations of Parsing Libraries

State-of-the-Art and Future Perspectives

PESTEL Analysis of Hacktivism Campaign Motivations

Preface

Reduction of variables of index generation functions using linear and quadratic transformations

Representational quality challenges of big data

insights from comparative case studies

Subjective quality of spatially asymmetric omnidirectional stereoscopic video for streaming adaptation

Quantitative Graph Theory

A new branch of graph theory and network science

Highly unique network descriptors based on the roots of the permanental polynomial

Guest Editorial

Implementation Issues in System-on-Chip

Power Mitigation by Performance Equalization in a Heterogeneous Reconfigurable Multicore Architecture

Row-interleaved sampling for depth-enhanced 3d video coding for polarized displays

Abstractions for transition systems with applications to stubborn sets

More stubborn set methods for process algebras

A co-design study of digital service ideas in the bus context

A Hybrid Task Graph Scheduler for High Performance Image Processing Workflows

ASR in classroom today

Automatic visualization of conceptual network in science classrooms

Battery monitoring within industry 4.0 landscape

Solution as a service (SaaS) for industrial power unit systems

Characterizing time-dependent variance and coefficient of variation of SIR in D2D connectivity

Data Flow Algorithms for Processors with Vector Extensions

Handling Actors With Internal State

Design Flow for GPU and Multicore Execution of Dynamic Dataflow Programs

ICT based interventions for anganwadi healthcare workers in Mumbai

Implementation of a Multirate Resampler for Multi-carrier Systems on GPUs

Internet of Things, Smart Spaces, and Next Generation Networks and Systems

17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28–30, 2017, Proceedings

Local adaptive wiener filtering for class averaging in single particle reconstruction

Multi-task Deep Face Recognition

NP-completeness results for partitioning a graph into total dominating sets

Parallel Digital Predistortion Design on Mobile GPU and Embedded Multicore CPU for Mobile Transmitters

Parental perspectives towards education technology in low-income urban households

Relative camera pose estimation using convolutional neural networks

Robust Deep Face Recognition with Label Noise

Search of the emotional design effect in programming revised

Stubborn set intuition explained

Stubborn sets with frozen actions

The time will tell on you

Exploring information leaks in SSH public key authentication

Time-dependent SIR analysis in shopping malls using fractal-based mobility models

Tor de-anonymisation techniques

Wired/Wireless Internet Communications

15th IFIP WG 6.2 International Conference, WWIC 2017, St. Petersburg, Russia, June 21–23, 2017, Proceedings

A survey on internal interfaces used by exploits and implications on interface diversification

Coverage and network requirements of a “Big Data” flash crowd monitoring system using users’ devices

Dynamic trust management framework for robotic multi-agent systems

Evaluating a case of downlink uplink decoupling using queuing system with random requirements

Intra-CPU traffic estimation and implications on networks-on-chip research

Optimizing network-assisted WLAN systems with aggressive channel utilization

Application and theory of Petri nets and other models of concurrency

Special issue of selected papers from Petri Nets 2015

Optimization of Flexible Filter Banks Based on Fast Convolution

Fifty years of graph matching, network alignment and network comparison

Constructing Minimal Coverability Sets

A prospect for computing in porous materials research

Very large fluid flow simulations

Are software developers just users of development tools? Assessing developer experience of a graphical user interface designer

Backend infrastructure supporting audio augmented reality and storytelling

Construction of enterprise architecture in discourses within the public sector

Coordinating decision-making in data management activities

A systematic review of data governance principles

Customer involvement in continuous deployment

A systematic literature review

Fair testing and stubborn sets

Global scale integral volumes

HTML5-based mobile agents for Web-of-Things

IEEE 802.11ac MIMO Transceiver Baseband Processing on a VLIW Processor

Implementing a broadcast storm attack on a mission-critical wireless sensor network

Instrumentation-Driven Validation of Dataflow Applications

IS acquisition characteristics in the public sector

Mobile soundscape mixer – ready for action

On the arity gap of finite functions

Results and applications

Operating system compositor and hardware usage to enhance graphical performance in web runtimes

Private cloud deployment model in open-source mobile robots ecosystem

Supporting management of hybrid OSS communnities - A stakeholder analysis approach

Synchronizing application state using virtual DOM trees

System design and analysis of UAV-assisted BLE wireless sensor systems

Temperature dependence of leakiness of transcription repression mechanisms of Escherichia coli

The developers dilemma

Perfect product development or fast business validation?

Towards model construction based on test cases and GUI extraction

Software evolution and time series volatility

An empirical exploration

Automatic verification of Dafny programs with traits

Accuracy evaluation of a linear positioning system for light field capture

A conceptual model towards the scaffolding of learning experience

Analysis of HVS-metrics’ properties using color image database TID2013

Application and Theory of Petri Nets and Concurrency

36th International Conference, PETRI NETS 2015 Brussels, Belgium, June 21-26, 2015 Proceedings

Applying finite state process algebra to formally specify a computational model of security requirements in the key2phone-mobile access solution

Bayesian statistical analysis for performance evaluation in real-time control systems

Cache storage attacks

Complex transforms

Delayed key exchange for constrained smart devices

Detecting and tracking the tips of fluorescently labeled mitochondria in U2OS cells

Diversification of system calls in linux binaries

Existence and synthesis of complex hopfield type associative memories

Gender classification by LUT based boosting of overlapping block patterns

Interaction and humans in internet of things

Life in the fast lane

Effect of language and calibration accuracy on the speed of text entry by gaze

Mining itemset-based distinguishing sequential patterns with gap constraint

Non-local sigma filter

Remarks on characterization of bent functions in terms of gibbs dyadic derivatives

Speaker verification using adaptive dictionaries in non-negative spectrogram deconvolution

The Extended 1-D (One-Dimensional) Discrete Phase Retrieval Problem

Three positives make one negative

Public sector is procurement

Towards liquid web applications

Vision-based trajectories planning for four wheels independently steered mobile robots with maximum allowable velocities

A computational approach to construct a multivariate complete graph invariant

Audio-haptic car navigation interface with rhythmic tactons

Delayed haptic feedback to gaze gestures

Does visualization speed up the safety analysis process?

Do persuasive technologies persuade? - A review of empirical studies

Evaluation of user experience goal fulfillment

Case remote operator station

Interoperability-related architectural problems and solutions in information systems

A scoping study

Low-Power Reconfigurable Miniature Sensor Nodes for Condition Monitoring

Mining frequent closed sequential patterns with non-user-defined gap constraints

Multi-view regularized extreme learning machine for human action recognition

Special Issue on Embedded Computer Systems: Architectures, Modeling and Simulation

Towards generic embedded multiprocessing for RVC-CAL dataflow programs

Intuitiveness of vibrotactile speed regulation cues

Integration of dataflow-based heterogeneous multiprocessor scheduling techniques in GNU radio

A field trial on mobile crowdsourcing of news content

Factors influencing participation

Automatic hierarchical discovery of quasi-static schedules of RVC-CAL dataflow programs

Cell-at-a-time approach to lazy evaluation of dimensional aggregations

Creating immersive audio and lighting based physical exercise games for schoolchildren

Designing gesture-based control for factory automation

Expectation maximization for average reward decentralized POMDPs

Parameterized scheduling of topological patterns in signal processing dataflow graphs

Voluntary facial activations regulate physiological arousal and subjective experiences during virtual social stimulation

Comparison of extensive vs. confirmation haptic interfaces with two levels of disruptive tasks

Mapping parameterized cyclo-static dataflow graphs onto configurable hardware

NonVisNavi

Non-visual mobile navigation application for pedestrians

Orientation inquiry

A new haptic interaction technique for non-visual pedestrian navigation

Practical realisation and elimination of an ECC-related software bug attack

Secure and fast implementations of two involution ciphers

SymbolChat

Picture-based communication platform for users with intellectual disabilities

Utilizing haptic feedback in drill rigs

Overview of the MPEG reconfigurable video coding framework

Quasi-static scheduling of CAL actor networks for reconfigurable video coding

Exploiting statically schedulable regions in dataflow programs

Forward simulation and inverse dipole localization with the lowest order Raviart - Thomas elements for electroencephalography

Multimodal and mobile conversational Health and Fitness Companions

Some background on dialogue management and conversational speech for dialogue systems

All the news that's fit to read

Finding and recommending news online

A method for text localization and recognition in real-world images

A model-based schedule representation for heterogeneous mapping of dataflow graphs

A morphological atlas of prostate's zonal anatomy for construction of realistic digital and physical phantoms

Bit-sliced binary normal basis multiplication

Evaluations of piezo actuated haptic stimulations

Focused multi-task learning using Gaussian processes

Heterogeneous design in functional DIF

Planar affine rectification from change of scale

Processing and classification of multichannel remote sensing data

Remote timing attacks are still practical

The effects of emotionally worded synthesized speech on the ratings of emotions and voice quality

The virtual workplace of a mobile employee - How does Vischer's model function in identifying physical, functional and psychosocial fit?

Topological patterns for scalable representation and analysis of dataflow graphs

Using gaze data in evaluating interactive visualizations

Consecutive S-box lookups

A timing attack on SNOW 3G

New results on instruction cache attacks

Conversion algorithms and implementations for koblitz curve cryptography

Cache-timing template attacks

On modular decomposition of integers

Fast point decompression for standard elliptic curves

Differential properties of elliptic curves and blind signatures

Koblitz curves and integer equivalents of frobenius expansions

Optimization procedure for predicting nonlinear time series based on a non-Gaussian noise model

Left-to-right signed-bit τ -adic representations of n integers

A novel stochastic learning rule for neural networks

A neurobiologically motivated model for self-organized learning

Users' preferences for ubiquitous computing applications at home