With the aim of characterising the different stress patterns in several egg types and evaluating the resistivity of the eggshell while impacting in free fall, experimental tests and computational simulations have been ...

This work develops a novel homogenization-based computational strategy for predicting the mechanical properties of fused filament fabricated parts by characterizing the component according to the different printing patterns ...

For a set L that is polynomial time reducible (in short, = sub T super P-reducible) to some sparse set, we investigate the computational complexity of such sparse sets relative to L. We construct sets A and B such that ...

This paper reports on the empirical coverage of Type Logical Grammar (TLG) and on how it has been computer implemented. We analyse the Montague fragment computationally and we proffer this task as a challenge to computational ...

We study nonlinear connectives (exponentials) in the context of Type Logical Grammar (TLG). We devise four conservative extensions of the displacement calculus with brackets, Db!, Db!?, Db!b and Db!b?r which contain the ...

Distributed control systems for vibration control of large structures involve a large number of actuation devices and sensors that work coordinately to produce the desired control actions. Design strategies based on linear ...

Cochlear implantation (CI) is a complex surgical procedure that restores hearing in patients with severe deafness. The successful outcome of the implanted device relies on a group of factors, some of them unpredictable ...

An emerging option for internal hemipelvectomy surgery is custom prosthesis reconstruction. This option typically recapitulates the resected pelvic bony anatomy with the goal of maximizing post-surgery walking function ...

We report computational experience with the use of automatic constraint generation in the case of capacited location problems involving between 10 and 30 plants and up to 50 demand centers. For different types of model ...