Search results for " Computer"
showing 10 items of 6910 documents
ORNAMENTAL SIGN LANGUAGE IN THE FIRST ORDER TRACERY BELTS
2010
18 pages; We consider ornamental sign language of first order where principles of sieve displacement, of asymmetric building blocks as base of ornament symmetry, color exchangeability and side equivalence principles work. The generic aspects of sieve and genesis of ornamental pattern and ornament sign in it are discussed. The hemiolia principle for ornamental genesis is introduced. The discoverer of most of these principles were artist Modris Tenisons [4, 5, 6, 7 (refs. 23, 24), 8 (ref. 65)]. Here we apply systematical research using simplest mathematical arguments. We come to conclusions that mathematical argument in arising ornament is of much more significance than simply symmetries in i…
Unification of Graphs and Relations in Mizar
2020
Summary A (di)graph without parallel edges can simply be represented by a binary relation of the vertices and on the other hand, any binary relation can be expressed as such a graph. In this article, this correspondence is formalized in the Mizar system [2], based on the formalization of graphs in [6] and relations in [11], [12]. Notably, a new definition of createGraph will be given, taking only a non empty set V and a binary relation E ⊆ V × V to create a (di)graph without parallel edges, which will provide to be very useful in future articles.
Influence of lactose-citrate co-metabolism on the differences of growth and energetics in Leuconostoc lactis, Leuconostoc mesenteroides ssp. mesenter…
1999
International audience; The biodiversity of growth and energetics in Leuconostoc sp. has been studied in MRS lactose medium with and without citrate. On lactose alone, Ln. lactis has a growth rate double that of Ln. cremoris and Ln. mesenteroides. The pH is a more critical parameter for Ln. mesenteroides than for Ln. lactis or Ln. cremoris; without pH control Ln. mesenteroides is unable to acidify the medium under pH 4.5, while with pH control and as a consequence of a high Y(ATP) its growth is greater than Ln. lactis and Ln. cremoris. In general, lactose-citrate co-metabolism increases the growth rate, the biomass synthesis, the lactose utilisation ratio, and the production of lactate and …
Computer Aided Design for Diabetic Retinopathy
2013
International audience; Computer aided diagnosis and follow up can help in prevention and treatment of diabetes and its related complications. This paper presents a summary of the results we obtained over the last few years regarding the development of a CAD system for diabetic retinopathy. We present a methodology for diagnosis of DME based on exudates segmentation, as well as an automated detection of micro-aneurysm (MA) and DR diagnosis; Our approach uses standard available public database and shows a high power of generalization through cross database experiments.
Nonlinear Feedback Control and Stability Analysis of a Proof-of-Work Blockchain
2017
In this paper a novel feedback controller and stability analysis of a blockchain implementation is developed by using a control engineering perspective. The controller output equals the difficulty adjustment in the mining process while the feedback variable is the average block time over a certain time period. The computational power (hash rate) of the miners is considered a disturbance in the model. The developed controller is tested against a simulation model with constant disturbance, step and ramp responses as well as with a high-frequency sinusoidal disturbance. Stability and a fast response is demonstrated in all these cases with a controller which adjusts it's output at every new blo…
A Survey on Technologies Which Make Bitcoin Greener or More Justified
2022
According to recent estimates, one bitcoin transaction consumes as much energy as 1.5 million Visa transactions. Why is bitcoin using so much energy? Most of the energy is used during the bitcoin mining process, which serves at least two significant purposes: a) distributing new cryptocurrency coins to the cryptoeconomy and b) securing the Bitcoin blockchain ledger. In reality, the comparison of bitcoin transactions to Visa transactions is not that simple. The amount of transactions in the Bitcoin network is not directly connected to the amount of bitcoin mining power nor the energy consumption of those mining devices; for example, it is possible to multiply the number of bitcoin transactio…
Segmentation et métrologie des sinus de Valsalva à partir de ciné-IRM
2012
Automatic segmentation of Valsalva sinuses from cine-MRI
Convergence Analysis of Distributed Set-Valued Information Systems
2016
This paper focuses on the convergence of information in distributed systems of agents communicating over a network. The information on which the convergence is sought is not rep- resented by real numbers, as often in the literature, rather by sets. The dynamics of the evolution of information across the net- work is accordingly described by set-valued iterative maps. While the study of convergence of set-valued iterative maps is highly complex in general, this paper focuses on Boolean maps, which are comprised of arbitrary combinations of unions, intersections, and complements of sets. For these important class of systems, we provide tools to study both global and local convergence. A distr…
A branch-and-cut algorithm for the Team Orienteering Problem
2017
The Team Orienteering Problem aims at maximizing the total amount of profit collected by a fleet of vehicles while not exceeding a predefined travel time limit on each vehicle. In the last years, several exact methods based on different mathematical formulations were proposed. In this paper, we present a new two-index formulation with a polynomial number of variables and constraints. This compact formulation, reinforced by connectivity constraints, was solved by means of a branch-and-cut algorithm. The total number of instances solved to optimality is 327 of 387 benchmark instances, 26 more than any previous method. Moreover, 24 not previously solved instances were closed to optimality.
L'impact de la substitution de marques sur l'évaluation et l'intention d'achat du produit.
2008
L'objectif de cet article est de comprendre l'impact de la substitution de marques sur l'évaluation et l'intention d'achat du produit. À cette fin, les différents types de substitutions de marques sont présentés. Puis, à partir des travaux relatifs à l'extension de marque et au co-marquage, des variables susceptibles d'expliquer l'évolution de l'évaluation et de l'intention d'achat d'un produit qui a changé de nom de marque sont proposées. L'étude empirique met en évidence que cinq variables influencent l'évolution de l'évaluation et de l'intention d'achat du produit qui a changé de nom de marque: (1) la similarité entre la marque de substitution et la marque initiale, (2) la cohérence per…