Search results for " Computer Science"
showing 10 items of 3983 documents
Vertical representation of C∞-words
2015
We present a new framework for dealing with C ∞ -words, based on their left and right frontiers. This allows us to give a compact representation of them, and to describe the set of C ∞ -words through an infinite directed acyclic graph G. This graph is defined by a map acting on the frontiers of C ∞ -words. We show that this map can be defined recursively and with no explicit reference to C ∞ -words. We then show that some important conjectures on C ∞ -words follow from analogous statements on the structure of the graph G.
Image boundaries detection: from thresholding to implicit curve evolution
2014
The development of high dimensional large-scale imaging devices increases the need of fast, robust and accurate image segmentation methods. Due to its intrinsic advantages such as the ability to extract complex boundaries, while handling topological changes automatically, the level set method (LSM) has been widely used in boundaries detection. Nevertheless, their computational complexity limits their use for real time systems. Furthermore, most of the LSMs share the limit of leading very often to a local minimum, while the effectiveness of many computer vision applications depends on the whole image boundaries. In this paper, using the image thresholding and the implicit curve evolution fra…
Categorical Modeling Method, Proof of Concept for the Petri Net Language
2019
Modeling increases the importance of processes significantly, but also imposes higher requirements for the accuracy of process specifications, since an error in the design of a process may only be discovered after it already produces large cumulative losses. We believe that modeling tools can help build better models in a shorter time. This inevitably results in the need to build formal models that can be theoretically verified. A category as well as a model is a mixture of graphical information and algebraic operations. Therefore, category language seems to be the most general to describe the models. The category theory offers an integrated vision of the concepts of a model, and also provi…
Design criteria of tubular linear induction motors and generators: A prototype realization and its characterization
2013
In this paper a mathematical model of tubular linear induction machines (TLIM) with hollowed induced part is recalled. Moreover the design criteria of a TLIM with hollowed iron induced part are presented as well as the technological processes to be adopted and the choice of materials to construct the various parts. The methodologies for mechanical assembling and electric wiring are considered too. A prototype with bimetallic induced part has been designed and built. Finally some experimental results on electrical and mechanical variables, when the machines are used as motors, are shown.
Fast Decentralized Linear Functions via Successive Graph Shift Operators
2019
Decentralized signal processing performs learning tasks on data distributed over a multi-node network which can be represented by a graph. Implementing linear transformations emerges as a key task in a number of applications of decentralized signal processing. Recently, some decentralized methods have been proposed to accomplish that task by leveraging the notion of graph shift operator, which captures the local structure of the graph. However, existing approaches have some drawbacks such as considering special instances of linear transformations, or reducing the family of transformations by assuming that a shift matrix is given such that a subset of its eigenvectors spans the subspace of i…
Tautology as presumptive meaning
2008
Ever since the seminal work of Paul Grice, tautologies such as Business is business have been discussed from a number of angles. While most approaches assume that tautological utterances have to do with the operation of conversational maxims, an integrated analysis is still lacking. This paper makes an attempt at analysing tautologies within the framework of Levinson (2000), who proposes a distinction between three pragmatic levels, namely Indexical Pragmatics, Gricean Pragmatics 1, and Gricean Pragmatics 2. It is shown that observations of Ward and Hirschberg (1991) on the exclusion of alternatives, the claim of Autenrieth (1997) that the second NP in nominal equatives is predicative, and …
Evaluative meaning
2012
Linguistic evaluation has become an important area of inquiry in recent years. In the traditions of, e.g., lexical semantics, phraseology, corpus linguistics, and interactional linguistics, a large inventory of linguistic means have been identified by which speakers can express evaluative meanings. However, the class of German sentential idioms, e.g., Das kannst du dir in die Haare schmieren (lit. ‘You can smear that into your hair’, fig. ‘That is useless’), has not gained much attention. This paper explores how the evaluative meaning of German sentential idioms is constructed syntactically, semantically, and pragmatically. In particular, it is investigated how the meaning of these idioms i…
Visualization of Jacques Lacan’s Registers of the Psychoanalytic Field, and Discovery of Metaphor and of Metonymy. Analytical Case Study of Edgar All…
2017
International audience; We start with a description of Lacan’s work that we then take into our analytics methodology. In a first investigation, a Lacan-motivated template of the Poe story is fitted to the data. A segmentation of the storyline is used in order to map out the diachrony. Based on this, it will be shown how synchronous aspects, potentially related to Lacanian registers, can be sought. This demonstrates the effectiveness of an approach based on a model template of the storyline narrative. In a second and more comprehensive investigation, we develop an approach for revealing, that is, uncovering, Lacanian register relationships. Objectives of this work include the wide and genera…
Performability of Actions
2021
AbstractAction theory may be regarded as a theoretical foundation of AI, because it provides in a logically coherent way the principles of performing actions by agents. But, more importantly, action theory offers a formal ontology mainly based on set-theoretic constructs. This ontology isolates various types of actions as structured entities: atomic, sequential, compound, ordered, situational actions etc., and it is a solid and non-removable foundation of any rational activity. The paper is mainly concerned with a bunch of issues centered around the notion of performability of actions. It seems that the problem of performability of actions, though of basic importance for purely practical ap…
Cis-15 intermediates of biohydrogenation in the duodenal flow of cows receiving linseed
2006
Duodenal samples from a previous experiment (Akraim et al., 2006) were reanalysed for determination of cis-15 intermediates of ruminal biohydrogenation (BH). Three dry Holstein cows fitted with a duodenal cannula received a diet with 14% (dry matter basis) raw linseed. C18 fatty acids (C18FA) represented 6.3% of dietary dry matter, and contained 57.8% of C18:3. After 18 days adaptation, on each cow, twelve samples of duodenal flow were taken over 3 days, composited, and analysed for FA composition. Cis-9,trans-11,cis-15C18:3 and trans-11,cis-15C18:2 (CLnA) were identified by GC-MS. The proportion of CLnA was low, in spite of the high C18:3 intake. The first step of C18:3 BH, isomerisation t…