The development of a planar wideband directional channel model applicable to UMTS micro-cells is addressed. The model, a statistical one based on geometrical considerations, is implemented and simulated, its assessment being performed based on global parameters of channel impulse responses obtained from measurement results. Exemplifying results for the directional channel impulse response are d...

This technical note introduces the Python bindings for libcloudph++. The libcloudph++ is a C++ library of algorithms for representing atmospheric cloud microphysics in numerical models. The bindings expose the complete functionality of the library to the Python users. The bindings are implemented using the Boost.Python C++ library and use NumPy arrays. This note includes listings with Python sc...

Hurlin recently proposed a technique for automatic parallelization based on separation logic [9]. This paper proposes an enhancement of the mechanism for situations where conditional statements are used in specifications of programs. With the proposed changes, specifications containing conditional statements are supported and programs can be automatically parallelized. Two approaches are identi...

Fuzzy quantification supplies powerful tools for handling linguistic expressions. Nevertheless, its advantages are usually shown at the theoretical level without a proper empirical validation. In this work, we review the application of fuzzy quantification in two application domains. We provide empirical evidence on the adequacy of fuzzy quantification to support different tasks in the context ...

We develop a control program for a realistic automation problem by stepwise reenement. We focus on exemplifying appropriate levels of abstraction for the reenement steps. By using phases as a means for abstraction, safety requirements are speciied on a high level of abstraction and can be veriied using process algebra. The case study is carried out using the RAISE speciication language, and we ...

Efficient human-machine networks require productive interaction between human and machine actors. In this study, we address how a strengthening of machine agency, for example through increasing levels of automation, affect the human actors of the networks. Findings from case studies within air traffic management, crisis management, and crowd evacuation are presented, exemplifying how automation...

Meta-design has emerged as a theoretical framework by supporting open systems that allow end-users to become designers in dynamic use contexts. Complex individual user goals which are embedded in social structures create these dynamics. Like many design theories, meta-design relies on pragmatic examples to extend and justify the theoretical foundations. Current examples of meta-design provide a...

The fourth Industrial Revolution is upon us. Yet not many students understand its evolution or impacts. This teaching case looks at socio-technical from 1IR (First Revolution) to 4IR (Fourth Revolution). concludes by exemplifying 4IR’s promises and perils with a mini on how that quietly helped the COVID-19 vaccine development can also pose cyberthreats erode privacy.