Search results for "programming."

showing 10 items of 3035 documents

Compiler Driven Automatic Kernel Context Migration for Heterogeneous Computing

2014

Computer systems provide different heterogeneous resources (e.g., GPUs, DSPs and FPGAs) that accelerate applications and that can reduce the energy consumption by using them. Usually, these resources have an isolated memory and a require target specific code to be written. There exist tools that can automatically generate target specific codes for program parts, so-called kernels. The data objects required for a target kernel execution need to be moved to the target resource memory. It is the programmers' responsibility to serialize these data objects used in the kernel and to copy them to or from the resource's memory. Typically, the programmer writes his own serializing function or uses e…

Source codeProgramming languageComputer sciencemedia_common.quotation_subjectSerializationSymmetric multiprocessor systemcomputer.software_genreData structureKernel preemptionKernel (image processing)Operating systemCompilerProgrammercomputermedia_common2014 IEEE 34th International Conference on Distributed Computing Systems
researchProduct

Bill2d - a software package for classical two-dimensional Hamiltonian systems

2015

Abstract We present Bill2d , a modern and efficient C++ package for classical simulations of two-dimensional Hamiltonian systems. Bill2d can be used for various billiard and diffusion problems with one or more charged particles with interactions, different external potentials, an external magnetic field, periodic and open boundaries, etc. The software package can also calculate many key quantities in complex systems such as Poincare sections, survival probabilities, and diffusion coefficients. While aiming at a large class of applicable systems, the code also strives for ease-of-use, efficiency, and modularity for the implementation of additional features. The package comes along with a use…

Source codeTheoretical computer scienceComputer sciencechaosmedia_common.quotation_subjectclassical mechanicsFOS: Physical sciencesGeneral Physics and Astronomy01 natural sciences010305 fluids & plasmasHamiltonian systemComputational sciencenumerical simulationsnonlinear dynamicsREADME0103 physical sciences010306 general physicsmedia_commonta114Application programming interfacebusiness.industrydiffusionByteComputational Physics (physics.comp-ph)Modular designmolecular dynamicsIdentifierHardware and ArchitecturetransportbilliardsbusinessPhysics - Computational PhysicsTest data
researchProduct

FINDUS: An Open-Source 3D Printable Liquid-Handling Workstation for Laboratory Automation in Life Sciences

2020

3D-printed laboratory devices can enable ambitious research purposes even at a low-budget level. To follow this trend, here we describe the construction, calibration, and usage of the FINDUS (Fully Integrable Noncommercial Dispensing Utility System). We report the successful 3D printing and assembly of a liquid-handling workstation for less than $400. Using this setup, we achieve reliable and flexible liquid-dispensing automation with relative pipetting errors of less than 0.3%. We show our system is well suited for several showcase applications from both the biology and chemistry fields. In support of the open-source spirit, we make all 3D models, assembly instructions, and source code ava…

Source codeWorkstationComputer sciencemedia_common.quotation_subject3D printingcomputer.software_genre01 natural sciencesBiological Science DisciplinesCathepsin Blaw.invention03 medical and health scienceslawArduinoHumansSolid-Phase Synthesis Techniques030304 developmental biologymedia_commoncomputer.programming_languageAutomation Laboratory0303 health sciences010405 organic chemistrybusiness.industryPython (programming language)Automation0104 chemical sciencesComputer Science ApplicationsMedical Laboratory TechnologyOpen sourceCalibrationPrinting Three-DimensionalLaboratory automationOperating systemPeptidesbusinesscomputerSoftwareSLAS Technology
researchProduct

Increasing GP Computing Power for Free via Desktop GRID Computing and Virtualization

2009

This paper presents how it is possible to increase the Genetic Programming (GP) Computing Power (CP) for free, via Volunteer Computing (VC), using the well known framework BOINC plus a new ``virtualization'' layer which adds all the benefits from the virtualization paradigm. Two different experiments, employing a standard GP tool and a complex GP system, are performed --with distributed PCs over several cities-- to show the free achieved CP by means of VC, without the necessity of modifying or adapting the original GP source code. The methodology can be easily extended to Evolutionary Algorithms (EAs).

Source codebusiness.industryComputer sciencemedia_common.quotation_subjectEvolutionary algorithmGenetic programmingcomputer.software_genreVirtualizationMultiplexingSoftwareGrid computingMiddleware (distributed applications)Operating systembusinesscomputermedia_common2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing
researchProduct

TIME : A Translator Compiler for CIS

2002

To build a Cooperative Information System, a first step is to collect schemas of each local database. All the schemas exported from databases are translated and integrated into a cooperative schema, which is used by the final user to query the cooperation “transparently”. In this article, we focus on the definition of tools that are used to build and manage cooperative information systems. These tools enable the automatic or semi-automatic generation of specific translators. The first step of our methodology is a knowledge acquisition step that allows for the data model description of each local database. The second step is to compare all these descriptions in order to organize the correspo…

Source dataDatabaseComputer scienceProgramming languageSchema (psychology)InteroperabilityInformation systemCompilercomputer.software_genrecomputerKnowledge acquisitionMetamodeling
researchProduct

Risk management optimization for sovereign debt restructuring

2015

Debt restructuring is one of the policy tools available for resolving sovereign debt crises and, while unorthodox, it is not uncommon. We propose a scenario analysis for debt sustainability and integrate it with scenario optimization for risk management in restructuring sovereign debt. The scenario dynamics of debt-to-GDP ratio are used to define a tail risk measure, termed "conditional Debt-at-Risk". A multi-period stochastic programming model minimizes the expected cost of debt financing subject to risk limits. It provides an operational model to handle significant aspects of debt restructuring: it collects all debt issues in a common framework, and can include contingent claims, multiple…

Sovereign debtPortfolio optimizationValue-at-RiskStochastic programmingGreek crisisDebt restructuringScenario analysisConditional Value-at-Risk
researchProduct

Dynamics and spectra of composition operators on the Schwartz space

2017

[EN] In this paper we study the dynamics of the composition operators defined in the Schwartz space of rapidly decreasing functions. We prove that such an operator is never supercyclic and, for monotonic symbols, it is power bounded only in trivial cases. For a polynomial symbol ¿ of degree greater than one we show that the operator is mean ergodic if and only if it is power bounded and this is the case when ¿ has even degree and lacks fixed points. We also discuss the spectrum of composition operators.

Space of rapidly decreasing functionsMathematics::Functional AnalysisPure mathematicsComposition operator010102 general mathematicsSpectrum (functional analysis)Power bounded operatorMonotonic functionFixed pointMean ergodic composition operator01 natural sciencesFunctional Analysis (math.FA)Mathematics - Functional Analysis010101 applied mathematicsOperator (computer programming)Schwartz spaceBounded functionSpectrumFOS: MathematicsErgodic theory0101 mathematicsMATEMATICA APLICADAAnalysisMathematics
researchProduct

Composition operators on the Schwartz space

2018

[EN] We study composition operators on the Schwartz space of rapidly decreasing functions. We prove that such a composition operator is never a compact operator and we obtain necessary or sufficient conditions for the range of the composition operator to be closed. These conditions are expressed in terms of multipliers for the Schwartz class and the closed range property of the corresponding operator considered in the space of smooth functions.

Space of rapidly decreasing functionsPure mathematicsClass (set theory)Composition operatorGeneral MathematicsComposite function problem010102 general mathematicsComposition (combinatorics)Space (mathematics)Compact operator01 natural sciencesFunctional Analysis (math.FA)Mathematics - Functional Analysis010101 applied mathematicsRange (mathematics)47B33 46F05 47A05Operator (computer programming)Schwartz spaceFOS: MathematicsComposition operator0101 mathematicsMATEMATICA APLICADAMathematicsRevista Matemática Iberoamericana
researchProduct

Using privacy-transformed speech in the automatic speech recognition acoustic model training

2020

Automatic Speech Recognition (ASR) requires huge amounts of real user speech data to reach state-of-the-art performance. However, speech data conveys sensitive speaker attributes like identity that can be inferred and exploited for malicious purposes. Therefore, there is an interest in the collection of anonymized speech data that is processed by some voice conversion method. In this paper, we evaluate one of the voice conversion methods on Latvian speech data and also investigate if privacy-transformed data can be used to improve ASR acoustic models. Results show the effectiveness of voice conversion against state-of-the-art speaker verification models on Latvian speech and the effectivene…

Speaker verificationevaluationvoice conversionComputer scienceSpeech recognitionautomatic speech recognitionLatvianAcoustic model[INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG]privacylanguage.human_language[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]anonymization[INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG][INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL]Identity (object-oriented programming)languageConversion methodautomatic speaker verification
researchProduct

Phenomenological-Semantic Investigations into Incompleteness

2000

When today the phenomenologist surveys the history of the philosophical comprehension of Godel’s theorems, he is confronted with the realization that the decisive publications come almost exclusively from the sphere of analytic philosophy.1 But does phenomenology in the spirit of Husserl not mean to keep in step with the epochal results of the special sciences by working on the phenomenological understanding of them? Phenomenological research of this kind means the same as development of phenomenological theory of science (Wissenschaftstheorie). In connection with the incompleteness theorems, the latter would be confronted with fundamental questions such as, “To what extent can mathematical…

Special sciencesInterpretative phenomenological analysisPhilosophyModal logicGödelGödel's incompleteness theoremsMathematical proofPhenomenology (psychology)computerNatural languagecomputer.programming_languageEpistemology
researchProduct