Polymake: an approach to modular software design in computational geometry

Author(s):  
Ewgenij Gawrilow ◽  
Michael Joswig
1986 ◽  
Vol 11 (2) ◽  
pp. 117-128 ◽  
Author(s):  
Jan L. Talmon ◽  
Jan H. Van Bemmel

2020 ◽  
Vol 245 ◽  
pp. 06001
Author(s):  
Allen Caldwell ◽  
Cornelius Grunwald ◽  
Vasyl Hafych ◽  
Kevin Kröninger ◽  
Salvatore La Cagnina ◽  
...  

In all but the simplest cases, performing data analysis based on Bayesian reasoning requires the use of advanced algorithms. The Bayesian Analysis Toolkit (BAT) provides a collection of algorithms and methods that facilitate the application of Bayesian statistics to user-defined problems of arbitrary complexity. With BAT.jl, we present a modern rewrite of BAT in the Julia programming language. Through the use of a modular software design that is capable of running parallel and distributed, and by extending the tool with new sampling and integration algorithms, BAT.jl is a high-performance framework for Bayesian inference, meeting the requirements of modern data analysis.


2011 ◽  
Vol 26 (S2) ◽  
pp. 1191-1191
Author(s):  
C.P. Arun

From the time of the discovery of electricity, scientists have actively borrowed ideas from technology to help understand brain function. The earliest ‘models’ depicted connexions between various parts of the nervous system as if they were electrical circuits. With the development of valve and transistor technology, excitatory, inhibitory circuits (and the actions of receptors and ligands) and neural loops came into fashion. Integrated Circuit (IC) hardware technology and modular software design (e.g. in languages such as C and FORTRAN) no doubt ushered in the move towards ‘modularity’. A review of the literature has revealed that multithreading, a key feature of modern software design has not been applied to modeling movement disorders. We aimed to model the clinical phenomena in Tourette’s Syndrome (TS) using multithreading. Using the programming language Java 6, we modelled motor and verbal tics as running on different threads. Tics were reproduced by impulsive generation of motivational threads for motor or verbal actions which were subject to voluntary control. Voluntary suppression was implemented using a ‘psychic threshold score’ which if exceeded allowed the motivational thread to initiate a motor thread which is turn was under some voluntary control. We find that from an internal representation standpoint (’software’) for the brain, motor and verbal tics are identical phenomena: only the peripheral manifestations are different. Various clinical phenomena such as tic suggestibility, suppression, release, etc can be demonstrated. Our experience of modeling TS leads us to recommend threads as the means to model other movement disorders and neuropsychiatric conditions.


IEEE Software ◽  
2006 ◽  
Vol 23 (1) ◽  
pp. 51-60 ◽  
Author(s):  
W.G. Griswold ◽  
M. Shonle ◽  
K. Sullivan ◽  
Y. Song ◽  
N. Tewari ◽  
...  

2020 ◽  
Vol 6 (1) ◽  
Author(s):  
Milovan Regodic ◽  
Wolfgang Freysinger

AbstractAn auditory brainstem implant (ABI) attempts to restore hearing at patients with bilateral damaged hearing nerve. The optimal placement of the ABI is challenging even with available auditory measures on the brainstem. We present a visual guidance system that aims to assist during intraoperative ABI placement. As a starting point, a surgical probe is navigated and intuitively visualized in the microscope oculars. The system is developed using modular and agile software design techniques. In a usability study, the participants were able to detect invisible targets marked in a phantom image with a millimetric precision. To the best of our knowledge, this is the first time that this kind of visual guidance is presented. In the future, the system will be expanded with surgical instruments used for the ABI placement.


Sign in / Sign up

Export Citation Format

Share Document