Filters








14 Hits in 9.4 sec

Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms [chapter]

Rafael Martínez, Ricardo Peña
2004 Lecture Notes in Computer Science  
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system.  ...  A parallel version of Buchberger's algorithm to compute Gröbner bases is presented to illustrate the use of the interface.  ...  Acknowledgments We appreciate again the work made by Wolfgang Schreiner and Hans-Wolgang Loidl in their sequential interface.  ... 
doi:10.1007/978-3-540-27861-0_9 fatcat:unmpnymbdngipnctdf4o4zh44y

Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System

A.D. Al Zain, P.W. Trinder, K. Hammond, A. Konovalov, S. Linton, J. Berthold
2008 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications  
We are, moreover, able to parallelise a wider variety of problem, and achieve higher performance than typical specialist parallel computational algebra implementations. 2008 International Symposium on  ...  A key feature of our approach is that parallelism is achieved without any modification to the underlying sequential computational algebra systems, or to the user-level components: rather, all orchestration  ...  We would like to thank Hans-Wolfgang Loidl for his constructive comments on a previous draft of this paper, Gene Cooperman for his advice on domain-specific patterns.  ... 
doi:10.1109/ispa.2008.19 dblp:conf/ispa/ZainTHKLB08 fatcat:kxscovpnnrglvjlre2zvd7zkmq

Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation

S. Linton, K. Hammond, A. Konovalov, C. Brown, P.W. Trinder, H.-W. Loidl, P. Horn, D. Roozemond
2013 Journal of symbolic computation  
A primary outcome of the project is that we have developed a new way of combining computer algebra systems using the Symbolic Computation Software Composability Protocol (SCSCP), in which both protocol  ...  be solved within a single CAS, or may be organised into a system for distributed parallel computations.  ...  Acknowledgements We would like to acknowledge the fruitful collaborative work of all partners and CAS developers involved in the SCIEnce project, in particular of Abyd Al Zain and Jost Berthold who were  ... 
doi:10.1016/j.jsc.2011.12.019 fatcat:nkbvbfnlrncdfo6sh4py5jo3vq

Python for Scientific Computing

Travis E. Oliphant
2007 Computing in science & engineering (Print)  
Statement of Purpose Computing in Science & Engineering aims to support and promote the emerging discipline of computational science and engineering and to foster the use of computers and computational  ...  The intended audience comprises physical scientists, engineers, mathematicians, and others who would benefit from computational methodologies.  ...  IPython to allow interactive parallel and distributed computing, to build better user interfaces, and to provide more flexible and powerful components for other projects to build on.  ... 
doi:10.1109/mcse.2007.58 fatcat:zebub7mqjfaw3cyv7ktve2ctuy

The HdpH DSLs for scalable reliable computation

Patrick Maier, Robert Stewart, Phil Trinder
2014 SIGPLAN notices  
We report an initial evaluation of scalability and fault tolerance on a 256-core cluster and on up to 32K cores of an HPC platform.  ...  The statelessness of functional computations facilitates both parallelism and fault recovery.  ...  Acknowledgments The work was funded by EPSRC grants HPC-GAP (EP/G05553X), AJITPar (EP/L000687/1) and Rathlin (EP/K009931/1), and EU grant RELEASE (FP7-ICT 287510).  ... 
doi:10.1145/2775050.2633363 fatcat:p2fhf7ur65ehreup33kzj4m6au

The HdpH DSLs for scalable reliable computation

Patrick Maier, Robert Stewart, Phil Trinder
2014 Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14  
We report an initial evaluation of scalability and fault tolerance on a 256-core cluster and on up to 32K cores of an HPC platform.  ...  The statelessness of functional computations facilitates both parallelism and fault recovery.  ...  Acknowledgments The work was funded by EPSRC grants HPC-GAP (EP/G05553X), AJITPar (EP/L000687/1) and Rathlin (EP/K009931/1), and EU grant RELEASE (FP7-ICT 287510).  ... 
doi:10.1145/2633357.2633363 dblp:conf/haskell/MaierST14 fatcat:nzlribvpbre6jle6vililgxa4i

Computational Modeling and Least-Squares Fittingof EPR Spectra [chapter]

Stefan Stoll
2014 Multifrequency Electron Paramagnetic Resonance  
These types of expressions can be readily derived using algebraic methods [393] [394] [395] [396] using programs such as Mathematica or Maple.  ...  EasySpin provides an interface that lets users make and change settings at all levels of choice.  ... 
doi:10.1002/9783527672431.ch3 fatcat:pnq4q7yf2nfkzauekoirawvcma

P4 [chapter]

2013 Encyclopedia of Operations Research and Management Science  
A procedure for arranging the basis matrix of a linear-programming problem into as near a lower triangular form as possible.  ...  Such an arrangement helps in maintaining a sparse inverse, given that the original data set for the associated linear-programming problem is sparse.  ...  Between 2000 and 2010, parallel computing underwent a sea change.  ... 
doi:10.1007/978-1-4419-1153-7_200569 fatcat:aqo3msrrzree3aiyv36fsh3afe

a need to know

William A. Spencer, Larry R. Gettman, H. H. Bridge, Allan J. Ryan
1983 Physician and sportsmedicine  
to Both Categorical Variables in an Incomplete Two-Way Contingency Table?  ...  A Fully Bayesian Strategy for High-Dimensional Hierarchical Modeling Using Massively Parallel Computing-FWilliam Landau, Iowa State University; Jarad Niemi, Iowa State University 2:25 p.m.  ...  Professional Development This year marks the centennial of Statistics of Income (SOI), a principal Federal statistical agency responsible for the statistical policies and programs of the U.S.  ... 
doi:10.1080/00913847.1983.11708423 pmid:27409254 fatcat:7rlbreoerngb3epmighz7l5vr4

Advisory/Editorial Board International Advisory/Editorial Board Heat Exchanger Technology : Energy Sources for Future

Shardul Agravat, Vaishali Kalaria, B Jethva, Bakul Panchal, Bhavesh Prajapati, Syed Umar, Rahul Joshi, Prakashchandra, India Aftab, Alam Tyagi, Prof, Umesh Kumar (+18 others)
unpublished
The GSHPs provide an effective and clean way of heating buildings worldwide.  ...  A brain-computer interface (BCI), sometimes called a direct neural interface or a brain-machine interface, is a direct communication pathway between a human or animal brain (or brain cell culture) and  ...  My solution of the P versus NP problem is as follows: there really is no human way to generate the creative answer with the help of a computer.  ... 
fatcat:wzdwli5rubcqlexjjd7zb3oz2y

Modelling the effects of forest landscape dynamics on focal species in Glen Affric, northern Scotland

J. C.E. Hope
2006 Forestry (London)  
I would like to also acknowledge the help of a great many people -more than it is possible to mention by name -who have made the completion of this work possible, and at times even enjoyable.  ...  These include many of the staff and students at the  ...  However, as computational power has become greater and more accessible, this advantage has diminished in importance in building stand models.  ... 
doi:10.1093/forestry/cpl016 fatcat:biuc5d5jwjb5rplobi6jnegsvi

Conservation biology for all

2010 ChoiceReviews  
Green imperialism: colonial expansion, tropical island Edens, and the origins of environmentalism, 1600-1860. Cambridge University Press, Cambridge, UK. Grumbine, R. E. (1992).  ...  Thresholds for survival: criteria for maintenance of fitness and evolutionary potential. In M. E. Soulé, and B. A.  ...  The most widely used risk analyses currently include versions of the Australian Weed Risk Assessment, which consists of a series of questions about species proposed for introduction and an algorithm for  ... 
doi:10.5860/choice.48-2055 fatcat:qwhlin7vk5cqllgqrijinrsmka

P R O C E E D I N G S FOI-COMMERCE SOFIA, 2006

Markov Krassimir, Zainutdinova Larissa, Voloshin Alexey, K Markov, L Zainutdinova, A Voloshin
Proceedings of the International Conference "Modern (e-) Learning"-Varna   unpublished
Recently, a variety of distance learning schemes have arisen that use electronic ways of linking the learner and the source of instruction with increased interaction between them.  ...  influence on a way of realization of training, and on the other hand predetermines its further development; -The Future -the tendency of development of a society as a whole and, as a consequence, directions  ...  This work is partially financed by project ITHEA-XXI of FOI Institute of Information Theories and Applications.  ... 
fatcat:isdirzxprbayhpytuag6egy72u

Nonlinear dynamics and control of evolving fluid interfaces

Ruben Tomlin, Demetrios Papageorgiou, Greg Pavliotis, Engineering And Physical Sciences Research Council
2021
For the former, we investigate two canonical cases, in which we are able to destabilise or stabilise a liquid film interface depending on the set-up of the electric field.  ...  For our consideration of a film influenced by fluid-mass actuators, we investigate both optimal (open-loop) and feedback (closed-loop) control methodologies for the stabilisation of multidimensional interfacial  ...  We now present numerical experiments testing the effectiveness and applicability of fullstate feedback controls in three different situations.  ... 
doi:10.25560/86164 fatcat:av5bpwojlbccvifqcqq2msq7ta