EconBiz - Find Economic Literature
    • Logout
    • Change account settings
  • A-Z
  • Beta
  • About EconBiz
  • News
  • Thesaurus (STW)
  • Academic Skills
  • Help
  •  My account 
    • Logout
    • Change account settings
  • Login
EconBiz - Find Economic Literature
Publications Events
Search options
Advanced Search history
My EconBiz
Favorites Loans Reservations Fines
    You are here:
  • Home
  • Search: subject:"Functional programming"
Narrow search

Narrow search

Year of publication
Subject
All
functional programming 3 Functional programming 2 Central extension 1 Effective homology 1 Homology of groups 1 Man machine interface 1 Matrices with pattern 1 Neural nets 1 Risikomanagement 1 Risk management 1 Robotics 1 SR 11-7 1 Software 1 Software development 1 Softwareentwicklung 1 Symbolic computation 1 computer software 1 container terminals 1 financial software 1 formal verification 1 model risk 1 optimization 1 provable security 1 scheduling 1
more ... less ...
Online availability
All
Free 2 Undetermined 2
Type of publication
All
Article 3 Book / Working Paper 2
Type of publication (narrower categories)
All
Article in journal 1 Aufsatz in Zeitschrift 1 Conference Paper 1 research-article 1
Language
All
English 3 Undetermined 2
Author
All
García, Rubio 1 Halkos, George 1 Jesús, Julio 1 Kerber, Manfred 1 Linkosaari, Teemu 1 Neto, Pedro 1 Norberto Pires, J. 1 Paulo Moreira, A. 1 Rowat, Colin 1 Tsilika, Kyriaki 1 Vosloo, Neels 1
more ... less ...
Institution
All
Volkswirtschaftliche Fakultät, Ludwig-Maximilians-Universität München 1
Published in...
All
Industrial Robot: An International Journal 1 Journal of risk management in financial institutions 1 MPRA Paper 1 Mathematics and Computers in Simulation (MATCOM) 1
Source
All
RePEc 2 ECONIS (ZBW) 1 EconStor 1 Other ZBW resources 1
Showing 1 - 5 of 5
Cover Image
Using formal verification to develop higher assurance, more maintainable financial software
Kerber, Manfred; Rowat, Colin; Vosloo, Neels - In: Journal of risk management in financial institutions 13 (2019/2020) 1, pp. 35-46
Persistent link: https://www.econbiz.de/10012250006
Saved in:
Cover Image
A Functional Mathematical Optimization Algorithm for the Integration of the Tactical Berth, Quay Crane and Vehicle Scheduling
Linkosaari, Teemu - 2014
In this paper, the main problem considered is a tactical discrete berth allocation, including both the quay mobile crane scheduling and vehicle dispatching as sub-problems. Berths, cranes and yard vehicles are the most important resources used in container terminals. The objective is to reduce...
Persistent link: https://www.econbiz.de/10012143029
Saved in:
Cover Image
Constructing a Generator of Matrices with Pattern
Halkos, George; Tsilika, Kyriaki - Volkswirtschaftliche Fakultät, … - 2012
Computations with large matrices work out faster with computer software, even faster creating automatically the matrix of the size and pattern needed. In this paper we propose free computer algebra system Xcas resources to display particular matrices that can be called up directly. Our computer...
Persistent link: https://www.econbiz.de/10011113054
Saved in:
Cover Image
High‐level programming and control for industrial robotics: using a hand‐held accelerometer‐based input device for gesture and posture recognition
Neto, Pedro; Norberto Pires, J.; Paulo Moreira, A. - In: Industrial Robot: An International Journal 37 (2010) 2, pp. 137-147
Purpose – Most industrial robots are still programmed using the typical teaching process, through the use of the robot teach pendant. This is a tedious and time‐consuming task that requires some technical expertise, and hence new approaches to robot programming are required. The purpose of...
Persistent link: https://www.econbiz.de/10014832018
Saved in:
Cover Image
Integrating functional programming and symbolic computation
García, Rubio; Jesús, Julio - In: Mathematics and Computers in Simulation (MATCOM) 42 (1996) 4, pp. 467-473
Functional programming and symbolic computation provide software for explicit calculations in algebraic topology. We …
Persistent link: https://www.econbiz.de/10011050979
Saved in:
A service of the
zbw
  • Sitemap
  • Plain language
  • Accessibility
  • Contact us
  • Imprint
  • Privacy

Loading...