Search results for "oftware"
showing 10 items of 7396 documents
Masstodon : a tool for assigning peaks and modeling electron transfer reactions in top-down mass spectrometry
2019
Abstract: Top-down mass spectrometry methods are becoming continuously more popular in the effort to describe the proteome. They rely on the fragmentation of intact protein ions inside the mass spectrometer. Among the existing fragmentation methods, electron transfer dissociation is known for its precision and wide coverage of different cleavage sites. However, several side reactions can occur under electron transfer dissociation (ETD) conditions, including nondissociative electron transfer and proton transfer reaction. Evaluating their extent can provide more insight into reaction kinetics as well as instrument operation. Furthermore, preferential formation of certain reaction products can…
ERP-järjestelmät - tulevaisuuden teknologiat ja kehityssuunnat
2009
Ketola, Juhana Seppo Jaakko Tietojärjestelmätieteen kandidaatintutkielma / Juhana Ketola Jyväskylä: Jyväskylän yliopisto, 2008, 26 s. Kandidaatintutkielma Viime vuosisadan puolivälistä lähtien yrityksien toimitusketjua hallittiin vielä pitkälti paperisten dokumenttien avulla. MRP- ja MRP II -järjestelmien tulo 1960- ja 1970-luvuilla automatisoi useita materiaalihallinnon prosesseja. Vasta 1990-luvulla yleistyneet ERP-järjestelmät ovat muuttaneet radikaalisti liiketoimintaa tekniikkavetoisemmaksi. Nykypäivän ERP-järjestelmä toimii niin organisaation sisällä, kuin sen rajojen ulkopuolella. Organisaatiot kohtaavat useita haasteita järjestelmiä hankkiessaan ja käyttäessään. Tähän ongelmaan on …
Extended Natural Numbers and Counters
2020
Summary This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both concepts have applications in graph theory.
Numerical Algorithms Based on Characteristic Domain Decomposition for Obstacle Problems
1997
A new numerical solution algorithm for obstacle problems is proposed, where the characteristic domain decomposition into active and inactive subdomains separated by the free boundary is approximated by a Schwarz method. Such an approach gives an opportunity to apply fast linear system solvers to genuinely non-linear obstacle problems. Other solution algorithms, like projected relaxation methods and active set strategies, are compared to the new solution algorithm. Numerical experiments related to the elastoplastic torsion problem are included showing the efficiency of the new approach.
Computation of a few smallest eigenvalues of elliptic operators using fast elliptic solvers
2001
The computation of a few smallest eigenvalues of generalized algebraic eigenvalue problems is studied. The considered problems are obtained by discretizing self-adjoint second-order elliptic partial differential eigenvalue problems in two- or three-dimensional domains. The standard Lanczos algorithm with the complete orthogonalization is used to compute some eigenvalues of the inverted eigenvalue problem. Under suitable assumptions, the number of Lanczos iterations is shown to be independent of the problem size. The arising linear problems are solved using some standard fast elliptic solver. Numerical experiments demonstrate that the inverted problem is much easier to solve with the Lanczos…
Fractional-order poromechanics for a fully saturated biological tissue: Biomechanics of meniscus
2023
Biomechanics of biological fibrous tissues as the meniscus are strongly influenced by past histories of strains involving the so-called material hereditariness. In this paper, a three-axial model of linear hereditariness that makes use of fractional-order calculus is used to describe the constitutive behavior of the tissue. Fluid flow across meniscus' pores is modeled in this paper with Darcy relation yielding a novel model of fractional-order poromechanics, describing the evolution of the diffusion phenomenon in the meniscus. A numerical application involving an 1D confined compression test is reported to show the effect of the material hereditariness on the pressure drop evolution.
A Hardware and Secure Pseudorandom Generator for Constrained Devices
2018
Hardware security for an Internet of Things or cyber physical system drives the need for ubiquitous cryptography to different sensing infrastructures in these fields. In particular, generating strong cryptographic keys on such resource-constrained device depends on a lightweight and cryptographically secure random number generator. In this research work, we have introduced a new hardware chaos-based pseudorandom number generator, which is mainly based on the deletion of an Hamilton cycle within the $N$ -cube (or on the vectorial negation), plus one single permutation. We have rigorously proven the chaotic behavior and cryptographically secure property of the whole proposal: the mid-term eff…
Identifying technical, physiological, tactical and psychological characteristics that contribute to career progression in soccer
2016
This study sought to examine which technical, physiological, tactical and psychological characteristics at age 15 years contribute to successful soccer performance at age 19 years. Participants were male soccer players ( n = 114; mean age 15.4 ± 0.3 years), divided into elite and sub-elite groups based on their performance level at age 19 years. Technical, physiological, tactical and psychological characteristics were recorded when players were 15-year olds. Binary logistic regression analysis showed that performance level at age 19 was clearly associated with technical skills of passing and centering as well as agility and motivation levels recorded at age 15 years. These results extend o…
Investigating the Impact of Radiation-Induced Soft Errors on the Reliability of Approximate Computing Systems
2020
International audience; Approximate Computing (AxC) is a well-known paradigm able to reduce the computational and power overheads of a multitude of applications, at the cost of a decreased accuracy. Convolutional Neural Networks (CNNs) have proven to be particularly suited for AxC because of their inherent resilience to errors. However, the implementation of AxC techniques may affect the intrinsic resilience of the application to errors induced by Single Events in a harsh environment. This work introduces an experimental study of the impact of neutron irradiation on approximate computing techniques applied on the data representation of a CNN.
Reliable polygonal approximations of imaged real objects through dominant point detection
1998
Abstract The problem of dominant point detection is posed, taking into account what usually happens in practice. The algorithms found in the literature often prove their performance with laboratory contours, but the shapes in real images present noise, quantization, and high inter and intra-shape variability. These effects are analyzed and solutions to them are proposed. We will also focus on the conditions for an efficient (few points) and precise (low error) dominant point extraction that preserves the original shape. A measurement of the committed error (optimization error, E 0 ) that takes into account both aspects is defined for studying this feature.