Traditional higher-order functionalprogramming is validated by how its logical conclusion in the shape of a "Totally functional" style is consistent with and indeed determined by some fundamental principles...
详细信息
ISBN:
(纸本)9783319563909;9783319563893
Traditional higher-order functionalprogramming is validated by how its logical conclusion in the shape of a "Totally functional" style is consistent with and indeed determined by some fundamental principles of Software Engineering. the key to Totally functionalprogramming is the notion of "zoetic" representations of data which embody the behaviours that we hypothesise to underlie all conventional symbolic datatypes. these representations minimise the interpretation of symbolic data at each use, and thus embody the principle of reuse. Further, we develop a scheme for formal synthesis of generator functions for zoetic data which entirely avoid the need for a separate interpretation stage. this avoidance allows us to achieve a clear separation of concerns between the creation of zoetic data objects on the one hand and their use in various applications on the other. Zoetic data are thus validated as the key enablers of the fulfilment of functionalprogramming in its " Totally functional" manifestation, firmly grounded in the language design consequences of software engineering principles.
作者：
Kheiri, ZeinabCao, Bing-yuanGuangzhou Univ
Higher Educ Inst Sch Math & Informat Sci Key Lab Math & Interdisciplinary Sci Guangdong Guangzhou 510006 Guangdong Peoples R China Guangzhou Univ
Guangzhou 510550 Guangdong Peoples R China
In this paper, we introduce posynomial geometric programming problems with intuitionistic fuzzy numbers, it is formulated in intuitionistic fuzzy environment introducing intuitionistic fuzzinees in objective and const...
详细信息
ISBN:
(纸本)9783319191058;9783319191041
In this paper, we introduce posynomial geometric programming problems with intuitionistic fuzzy numbers, it is formulated in intuitionistic fuzzy environment introducing intuitionistic fuzzinees in objective and constraint coefficients. this paper presents an approach based on (alpha, beta)-cuts of intuitionistic fuzzy numbers to solve posynomial geometric programming problems withthe data as triangular and trapezoidal intuitionistic fuzzy numbers.
this paper introduces techniques for Deep Learning in conjunction with spiked random neural networks that closely resemble the stochastic behaviour of biological neurons in mammalian brains. the paper introduces clust...
详细信息
ISBN:
(纸本)9781509006199
this paper introduces techniques for Deep Learning in conjunction with spiked random neural networks that closely resemble the stochastic behaviour of biological neurons in mammalian brains. the paper introduces clusters of such random neural networks and obtains the characteristics of their collective behaviour. Combining this model with previous work on extreme learning machines, we develop multilayer architectures which structure Deep Learning Architectures a a "front end" of one or two layers of random neural networks, followed by an extreme learning machine. the approach is evaluated on a standard - and large - visual character recognition database, showing that the proposed approach can attain and exceed the performance of techniques that were previously reported in the literature.
this paper is concerned with optimal control problems of discrete-time nonlinear systems via a novel Q-learning algorithm. In the newly developed Q-learning algorithm, the iterative Q function in each iteration is req...
详细信息
ISBN:
(纸本)9781509021550
this paper is concerned with optimal control problems of discrete-time nonlinear systems via a novel Q-learning algorithm. In the newly developed Q-learning algorithm, the iterative Q function in each iteration is required to update on the whole state and control spaces, instead of being updated by a single state and control pair. A new convergence criterion of the corresponding Q-learning algorithm is presented, where the traditional constraints for the learning rates of Q-learning algorithms is relaxed. Finally, simulation results are provided to exemplify the good performance of the developed algorithm.
Is one of the most fundamental ideas in computer science (CS), and as such it is highly important to start teaching it as early as possible. However, teaching this soft concept to novices is a very complicated task, a...
详细信息
We have investigated the large magnetocaloric effect (MCE) in a Fe50.4Rh49.6 alloy subjected to a slowly cycled magnetic field of up to 1.8 T in magnitude over a range of temperatures, 250 K < T < 350 K. Our mea...
详细信息
ISBN:
(纸本)9782362150166
We have investigated the large magnetocaloric effect (MCE) in a Fe50.4Rh49.6 alloy subjected to a slowly cycled magnetic field of up to 1.8 T in magnitude over a range of temperatures, 250 K < T < 350 K. Our measurements showed that the MCE associated withthe first order ferromagnetic/antiferromagnetic phase transition in this material was asymmetric with respect to whether the transition took place by heating the material from temperatures below the transition or by cooling it from above. We have explained these peculiarities using ab-initio density functionaltheory-based disordered local moment theory calculations.
the correlation between test coverage and test effectiveness is important to justify the use of coverage in practice. Existing results on imperative programs mostly show that test coverage predicates effectiveness. Ho...
详细信息
ISBN:
(纸本)9781509018277
the correlation between test coverage and test effectiveness is important to justify the use of coverage in practice. Existing results on imperative programs mostly show that test coverage predicates effectiveness. However, since functional programs are usually structurally different from imperative ones, it is unclear whether the same result may be derived and coverage can be used as a prediction of effectiveness on functional programs. In this paper we report the first empirical study on the correlation between test coverage and test effectiveness on functional programs. We consider four types of coverage: as input coverages, statement/branch coverage and expression coverage, and as oracle coverages, count of assertions and checked coverage. We also consider two types of effectiveness: raw effectiveness and normalized effectiveness. Our results are twofold. (1) In general the findings on imperative programs still hold on functional programs, warranting the use of coverage in practice. (2) On specific coverage criteria, the results may be unexpected or different from the imperative ones, calling for further studies on functional programs.
PREFACE the (11th) international Symposium on Modern Optics and Its Applications (ISMOA) is a bi-annual meeting held by the Indonesian Optical Society (InOS)/Himpunan Optika Indonesia (HOI). For 11 times, this symposi...
PREFACE the (11th) international Symposium on Modern Optics and Its Applications (ISMOA) is a bi-annual meeting held by the Indonesian Optical Society (InOS)/Himpunan Optika Indonesia (HOI). For 11 times, this symposium has been marked as the largest conference of the kind in Indonesia which not only gather modern optical scientists from all around Indonesia, but also from other regions around the world. ISMOA was initiated by two of the founders of the Indonesian Optical Society (InOS), Prof. Tjia and Dr. Alexander Iskandar in 2001 under the support of KNAW, the Royal Netherland Academy of Arts and Sciences and several colleagues from University of Twente. As time goes by, after the founding of InOS in 2011, ISMOA was co-organized by InOS in collaboration with ITB. For the first time, ISMOA is co-organized by InOS with another group not from ITB, of course still with strong support by InOS members from ITB. this time, the event was held at the IPB Baranang Siang Campus (Tutorial Session) and IPB international Convention Center (Symposium) in Bogor City West Java Indonesia from the 7th-10th August 2017. the value of this event is to enable scientific communication and interactions among regional scientists and distinguished scientists working in the rapidly growing field of modern optics and novel functional optical materials as well as the associated applications to information and communication technology (ICT), bio-medical sensing, imaging and biophotonics as well as applications to the development of sustainable green energy generation. this event is also designed to offer the opportunity of making direct contacts for the young Indonesian and ASEAN scientists and students with leading researchers abroad, thereby inspiring their research interest and fostering the existing research collaborations as well as extending international research networking for the future.
the purpose of this paper is to report on the concept map evaluation of an innovative STEM project for 4- and 5-year-old children. An American university research team developed and implemented a 3-month pilot program...
详细信息
ISBN:
(纸本)9783319455013
the purpose of this paper is to report on the concept map evaluation of an innovative STEM project for 4- and 5-year-old children. An American university research team developed and implemented a 3-month pilot program using engineering and robotics as the platform for teaching programming and problem solving. the engineering-focused lessons used a developmentally, age appropriate robot (KIBO) to teach simple programming skills while practicing a problem solving process designed to transfer to other settings. Researchers delivered the twice weekly lessons, integrated into the adopted prekindergarten curriculum, and implemented as part of the established center rotations. Researchers used child interviews and concept mapping as a measure of children's knowledge of robotics and problem solving to estimate growth in their knowledge over time. Results indicated that the children exhibited increased knowledge of robotics, 93 %, and problem solving, 42 %, mostly resulting from the increased use of propositions and cross-links.
We investigate a vehicle routing problem, in which the. total workload associated with a given request portfolio must be distributed over a sequence of periods. the realization of economies of scale by compiling route...
详细信息
We investigate a vehicle routing problem, in which the. total workload associated with a given request portfolio must be distributed over a sequence of periods. the realization of economies of scale by compiling routes serving a high number of requests is compromised by an upper bound of the payload quantity that is allowed to be served in one period. We propose a mixed integer linear problem for the representation of this complicated decision task. Within computational experiments, we analyze the impacts of differently mixed request portfolios with respect to the minimization of the total sum of travel distances over all periods and other performance indicators. (C) 2016, IFAC (international Rderation or Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
暂无评论