3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2015★ 3 cited
Containment for Conditional Tree Patterns
Alessandro Facchini, Yoichi Hirai, Maarten Marx +1
A Conditional Tree Pattern (CTP) expands an XML tree pattern with labels attached to the descendant edges. These labels can be XML element names or Boolean CTPs. The meaning of a d…
cs.LO2013
Session Types in Abelian Logic
Yoichi Hirai
There was a PhD student who says "I found a pair of wooden shoes. I put a coin in the left and a key in the right. Next morning, I found those objects in the opposite shoes." We do…
q-fin.TR2007
Entropy Oriented Trading: A Trading Strategy Based on the Second Law of Thermodynamics
Yoichi Hirai
The author proposes a finance trading strategy named Entropy Oriented Trading and apply thermodynamics on the strategy. The state variables are chosen so that the strategy satisfie…