When factivity meets the conjoint/disjoint alternation

When agile meets the enterprise

Context: While renowned agile methods like XP and Scrumwere initially intended for projects with small teams, traditional enterprise environments, i.e. environments where plan-driven development is prevalent, have also become attracted by the promises of a faster time to market through agility. Agile software development methods emphasize lightweight software development. Projects within enterp...

When Science Meets Religion

When Turing Meets Milner

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

When Simulation Meets Antichains

We describe a new and more efficient algorithm for checking universality and language inclusion on nondeterministic finite word automata (NFA) and tree automata (TA). To the best of our knowledge, the antichain-based approach proposed by De Wulf et al. was the most efficient one so far. Our idea is to exploit a simulation relation on the states of finite automata to accelerate the antichain-bas...

When mind meets machine

into sufferers from amyotrophic lateral sclerosis (ALS) and brain-stem stroke, which enables them to move a computer cursor, albeit slowly. The device uses electrodes attached to amplifiers and FM transmitters transplanted 5 mm deep—just under the scalp—into the brain. The electrodes encourage brain tissue to grow around them, thus stabilizing them against any movement and resulting distortion ...