2086 search results - page 135 / 418 » Mathematical Theory Exploration |
166
Voted
CALCO
2011
Springer
14 years 3 months ago
2011
Springer
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pr...
243
Voted
Book
"Artificial Intelligence (AI) is a big field, and this is a big book. We have tried to explore the full breadth of the field, which encompasses logic, probability, and continu...
IJRR
2006
15 years 3 months ago
2006
Within braided pneumatic Muscle Actuators (pMA) the braid structure is vital to the actuator's performance, preventing over-inflation, converting radial expansion into axial ...
131
click to vote
ERCIM
2007
15 years 3 months ago
2007
sented by abstract mathematical structures, and visualization is used to convert these into pictures. At the core of every simulation is a mathematical model that is evaluated by a...
132
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The Blob Code is a bijective tree code that represents each tree on n labelled vertices as a string of n − 2 vertex labels. In recent years, several researchers have deployed th...