Filters
total: 2408
-
Catalog
displaying 1000 best results Help
Search results for: GENERIC PROGRAMMING
-
Genetic Programming for Workload Balancing in the Comcute Grid System
PublicationA genetic programming paradigm is implemented for reliability optimization in the Comcute grid system design. Chromosomes are generated as the program functions and then genetic operators are applied for finding Pareto-suboptimal task assignment and scheduling. Results are compared with outcomes obtained by an adaptive evolutionary algorithm.
-
Genetic Programming with Negative Selection for Volunteer Computing System Optimization
PublicationVolunteer computing systems like BOINC or Comcute are strongly supported by a great number of volunteers who contribute resources of their computers via the Web. So, the high efficiency of such grid system is required, and that is why we have formulated a multi-criterion optimization problem for a volunteer grid system design. In that dilemma, both the cost of the host system and workload of a bottleneck host are minimized. On...
-
Genetic Programming for Interaction Efficient Supporting in Volunteer Computing Systems
PublicationVolunteer computing systems provide a middleware for interaction between project owners and great number volunteers. In this chapter, a genetic programming paradigm has been proposed to a multi-objective scheduler design for efficient using some resources of volunteer computers via the web. In a studied problem, genetic scheduler can optimize both a workload of a bottleneck computer and cost of system. Genetic programming has been...
-
BIOINFO Genetic Programming
Journals -
Big Data Paradigm Developed in Volunteer Grid System with Genetic Programming Scheduler
PublicationArtificial intelligence techniques are capable to handle a large amount of information collected over the web. In this paper, big data paradigm has been studied in volunteer and grid system called Comcute that is optimized by a genetic programming scheduler. This scheduler can optimize load balancing and resource cost. Genetic programming optimizer has been applied for finding the Pareto solu-tions. Finally, some results from numerical...
-
Genetic programming extension to APF-based monocular human body pose estimation
PublicationNew method of the human body pose estimation based on a single camera 2D observation is presented, aimed at smart surveillance related video analysis and action recognition. It employs 3D model of the human body, and genetic algorithm combined with annealed particle filter for searching the global optimum of model state, best matching the object's 2D observation. Additionally, new motion cost metric is employed, considering current...
-
Genetic Programming and Evolvable Machines
Journals -
Hierarchical Estimation of Human Upper Body Based on 2D Observation Utilizing Evolutionary Programming and 'Genetic Memory'
PublicationNew method of the human body pose estimation based on single camera 2D observation is presented. It employs 3D model of the human body, and genetic algorithm combined with annealed particle filter for searching the global optimum of model state, best matching the object's 2D observation. Additionally, motion cost metric is employed, considering current pose and history of the body movement, favouring the estimates with the lowest...
-
Pathogenesis of psoriasis in the “omic” era. Part II. Genetic, genomic and epigenetic changes in psoriasis
PublicationPsoriasis is a multifactorial disease in which genetic, environmental and epigenetic factors regulating gene expression play a key role. In the “genomic era”, genome-wide association studies together with target genotyping platforms performed in different ethnic populations have found more than 50 genetic susceptible markers associated with the risk of psoriasis which have been identified so far. Up till now, the strongest association...
-
MATHEMATICAL PROGRAMMING
Journals -
Semi-definite programming and quantum information
PublicationThis paper presents a comprehensive exploration of semi-definite programming (SDP) techniques within the context of quantum information. It examines the mathematical foundations of convex optimization, duality, and SDP formulations, providing a solid theoretical framework for addressing optimization challenges in quantum systems. By leveraging these tools, researchers and practitioners can characterize classical and quantum correlations,...
-
Realization, programming and controlling of the Stewart-Gough platform
PublicationThis paper presents realizaon, programming, and controlling of a low cost Stewart-Gough plaorm (SGP) with rotary actuators. The realized SGP is applied in a ball & plate control system. Developed dedicated software consists of embedded and applicaon soware for both the SGP posioning system and the ball & plate control. system. A ball posion is being obtained using computer vision. The paper contains tests results for both an SGP...
-
Testing for conformance of parallel programming pattern languages
PublicationThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
ARCHITECTURAL PROGRAMMING FOR BALANCED LOCAL URBAN CENTERS
Publication -
Properties of dimension witnesses and their semidefinite programming relaxations
PublicationIn this paper we develop a method for investigating semi-device-independent randomness expansion protocols that was introduced in Li et al. [H.-W. Li, P. Mironowicz, M. Pawłowski, Z.-Q. Yin, Y.-C. Wu, S. Wang, W. Chen, H.-G. Hu, G.-C. Guo, and Z.-F. Han, Phys. Rev. A 87, 020302(R) (2013)]. This method allows us to lower bound, with semi-definite programming, the randomness obtained from random number generators based on dimension...
-
Programming Geometry as a Creative Play with Architectural Form
PublicationIn the twenty-first century "programming" is the key word that opens unprecedented opportunities for design and materialization of geometrically complex architectural objects. From the digital designer perspective programming geometry can be seen as a creative play with a form and a process of generation/exploration as well as the possibility of applying the computing power as a co-designer in the process of finding solutions for...
-
A Simple Model of Linkage Disequilibrium and Genetic Drift in Human Genomic SNPs: Importance of Demography and SNP Age
Publication -
Parallel Programming for Modern High Performance Computing Systems
PublicationIn view of the growing presence and popularity of multicore and manycore processors, accelerators, and coprocessors, as well as clusters using such computing devices, the development of efficient parallel applications has become a key challenge to be able to exploit the performance of such systems. This book covers the scope of parallel programming for modern high performance computing systems. It first discusses selected and...
-
Multi-Objective Portfolio Optimization by Mixed Integer Programming
Publication -
Quadratic programming approach to coupled resonator filter cad
PublicationArtykuł prezentuje technikę komputerowego wspomagania procesu projektowania filtrów zbliżeniowych. Polega ona na sformułowaniu macierzy sprzężeń jako problemu programowania kwadratowego (QP). Dzięki zdefiniowaniu procedury optymalizacyjnej jako problemu QP, przy założeniu liniowej zależności współczynników sprzężeń od wymiarów geometrycznych struktury, uzyskano znaczącą redukcję liczby pełnofalowych symulacji prowadzących do uzyskania...
-
Neural network agents trained by declarative programming tutors
PublicationThis paper presents an experimental study on the development of a neural network-based agent, trained using data generated using declarative programming. The focus of the study is the application of various agents to solve the classic logic task – The Wumpus World. The paper evaluates the effectiveness of neural-based agents across different map configurations, offering a comparative analysis to underline the strengths and limitations...
-
Teaching of Robot Arm Programming - Tasks with Increasing Difficulty
PublicationThe article describes education techniques using robotics. For example, educational exercises on programming the Nachi MZ04 robotic arm are presented. The exercises use a wooden railroad toy model and elements printed in additive manufacturing technology. The exercises have increasing difficulty and can be used to educate young people in high school and specialized higher engineering studies (both bachelor's and master's).
-
Mathematical Programming Computation
Journals -
JOURNAL OF FUNCTIONAL PROGRAMMING
Journals -
PROGRAMMING AND COMPUTER SOFTWARE
Journals -
SCIENCE OF COMPUTER PROGRAMMING
Journals -
GENETIC SOCIAL AND GENERAL PSYCHOLOGY MONOGRAPHS
Journals -
Solving nonlinear programming problems by using O&G software.
PublicationPraca opisuje pakiet optymalizacyjny oprogramowania O&G. Umożliwia on rozwiązywanie problemów programowania nieliniowego. Użytkownik może w wygodny sposób formułować rozwiązywane zadanie i dobierać metody obliczeniowe używając interaktywnego interfejsu.
-
Analysis of the impact of aspect-oriented programming on source code quality
PublicationCelem rozprawy jest ocena wpływu paradygmatu aspektowego na: modularność, możliwość dalszego rozwoju oraz ponowne użycie oprogramowania. Jako punkt odniesienia do oceny paradygmatu aspektowego wybrano paradygmat obiektowy. W ramach pracy przeprowadzono studium przypadków, w którym zbadano implementacje obiektowe oraz aspektowe 11 rzeczywistych systemów i 23 wzorców projektowych. Ponadto zrealizowano kontrolowany eksperyment, w...
-
Shadowing is generic---a continuous map case
Publication -
Concept of Generic IT Organization Evolution Model
PublicationThe purpose of this publication is to present a generic model of the IT organization evaluation process as an attempt to systematize and describe the continuous actions and changes in the organization.
-
Method of selecting programming practices for the safety-critical software development projects
PublicationIn recent years a plan-driven approach traditionally used in safety-critical software development has been put to a test by rapidly changing technologies, more diverse group of clients and volatile market requirements. The need to deliver good quality systems, faster and at lower cost in comparison to competitors encouraged companies to look for more efficient solutions. Agile methodologies are known to successfully address these...
-
Selected multiobjective methods for multiperiod portfolio optimization by mixed integer programming
Publication -
Application of multi-criteria mathematical programming models for assignment of services in a hospital
Publication -
Survey of multi-objective portfolio optimization by linear and mixed integer programming
Publication -
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublicationRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
Cellular Reprogramming
Journals -
Pose-Configurable Generic Tracking of Elongated Objects
PublicationElongated objects have various shapes and can shift, rotate, change scale, and be rigid or deform by flexing, articulating, and vibrating, with examples as varied as a glass bottle, a robotic arm, a surgical suture, a finger pair, a tram, and a guitar string. This generally makes tracking of poses of elongated objects very challenging. We describe a unified, configurable framework for tracking the pose of elongated objects, which...
-
Practical Use of Generic IT Organization Evolution Model
PublicationIn the paper we analyze, basing on the practical experiences, how the Generic IT Organization Model could be used to describe evolution of real-world IT support organization in relation to IT Service Management area.
-
Generic emergence of classical features in quantum Darwinism
PublicationQuantum Darwinism posits that only specific information about a quantum system that is redundantly proliferated to many parts of its environment becomes accessible and objective, leading to the emergence of classical reality. However, it is not clear under what conditions this mechanism holds true. Here we prove that the emergence of classical features along the lines of quantum Darwinism is a general feature of any quantum dynamics:...
-
Generic appearance of objective results in quantum measurements
PublicationMeasurement is of central interest in quantum mechanics as it provides the link between the quantum world and the world of everyday experience. One of the features of everyday experience is its robust, objective character, contrasting the delicate nature of quantum systems. Here we analyze in a completely model-independent way the celebrated von Neumann measurement process, using recent techniques of information flow, studied in...
-
Ontology supported selection of versions for N-version programming in semantic web services
Publication -
A single and triple-objective mathematical programming models for assignment of services in a healthcare institution
Publication -
Lexicographic and weighting approach to multi-criteria portfolio optimization by mixed integer programming
Publication -
Optimal programming of critical sections in modern network processors under performance requirements.
PublicationPrzegląd konstrukcji i zastosowań metod programowania sekcji krytycznych w nowoczesnych procesorach sieciowych rodziny Intel IXP. Porównanie wydajnościowe w formie tabeli.
-
Programming, tunning and automatic parallelization of irregular divide and conquer applications in DAMPVM/DAC.
PublicationArtykuł prezentuje nowy, obiektowo zorientowany wzorzec programowy DAMPVM/DAC, który zimplementowany został z użyciem systemu DAMPVM i umożliwia automatyczny podział nieregularnych aplikacji "Dziel i zwyciężaj" (DAC) w czasie ich działania.
-
Foundations and Trends in Programming Languages
Journals -
Proceedings of the ACM on Programming Languages
Journals -
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Journals -
Art, Science, and Engineering of Programming
Journals