226 research outputs found
Weak topologies for Linear Logic
We construct a denotational model of linear logic, whose objects are all the
locally convex and separated topological vector spaces endowed with their weak
topology. The negation is interpreted as the dual, linear proofs are
interpreted as continuous linear functions, and non-linear proofs as sequences
of monomials. We do not complete our constructions by a double-orthogonality
operation. This yields an interpretation of the polarity of the connectives in
terms of topology
Mackey-complete spaces and power series -- A topological model of Differential Linear Logic
In this paper, we have described a denotational model of Intuitionist Linear
Logic which is also a differential category. Formulas are interpreted as
Mackey-complete topological vector space and linear proofs are interpreted by
bounded linear functions. So as to interpret non-linear proofs of Linear Logic,
we have used a notion of power series between Mackey-complete spaces,
generalizing the notion of entire functions in C. Finally, we have obtained a
quantitative model of Intuitionist Differential Linear Logic, where the
syntactic differentiation correspond to the usual one and where the
interpretations of proofs satisfy a Taylor expansion decomposition
Domain-specific modelling applied to inteegration of smart sensors into an information system
International audience(Kopetz, 1997) stated that a trend in the sensor technology is the development of intelligent sensors also called smart sensors. The development of such sensors do not only rely on the hardware development but also on the software. The later should so meet the requirements on low costs and of quality. This paper presents our approach to model the software of a smart sensor and to generate the code for the embedded real-time application. It will also describe how the use of a domain-specific modelling methodology enabled us to achieve a high level of modularity which will permit to save costs and development time
Higher-order distributions for differential linear logic.
Linear Logic was introduced as the computational counterpart of the algebraic notion of linearity. Differential Linear Logic refines Linear Logic with a proof-theoretical interpretation of the geometrical process of differentiation. In this article, we construct a polarized model of Differential Linear Logic satisfying computational constraints such as an interpretation for higher-order functions, as well as constraints inherited from physics such as a continuous interpretation for spaces. This extends what was done previously by Kerjean for first order Differential Linear Logic without promotion. Concretely, we follow the previous idea of interpreting the exponential of Differential Linear Logic as a space of higher-order distributions with compact-support, and is constructed as an inductive limit of spaces of distributions on Euclidean spaces. We prove that this exponential is endowed with a co-monadic like structure, with the notable exception that it is functorial only on isomorphisms. Interestingly, as previously argued by Ehrhard, this still allows one to interpret differential linear logic without promotion
Unsuspected role of pH in the development of texture and functionalities in Swiss-cheese
The αs1-casein hydrolysis has been shown to greatly influence the texture and techno-functionalities of hard cooked cheeses. This hydrolysis can be performed by the proteinases of the thermophilic lactobacilli since rennet, also implied, is denatured during the cooking step. However, it is unclear whether these changes are only due to the proteolytic activity of lactobacilli, the pH decrease in cheese or both. Small scale Swiss-cheeses were made from microfiltered milk using various combinations of starters including or not lactobacilli: i) Streptoccocus thermophilus alone (STH cheeses), ii), S. thermophilus in enriched lactose cheesemilk (STH-LACT cheeses) to reach pH level similar to cheese with lactobacilli and iii) S. thermophilus and lactobacilli either L helveticus (STH/LH cheeses), or L. delbrueckii subsp lactis (STH/LL cheeses). As S. thermophilus does not metabolize the galactose moiety of lactose, the pH at day 1 of these STH-LACT cheeses was similar to those made with lactobacilli (pH 5.15-5.25) while pH values of the STH cheeses were higher (pH 5.40). Higher firmness and chewiness of the melted ripened STH cheeses were correlated with a higher pH at day 1 and with a lower proteolysis (twofold amount of remaining intact αs1-casein) compared to the STH-LACT cheeses as well as the cheeses with lactobacilli. Conversely, the stretchability showed different behaviors depending both on the quantitative and qualitative proteolysis and on the pH value. The lower pH and content in small peptides led to higher stretchability of the STH-LACT and STH/LH cheeses in contrast to the cheeses STH (high pH and few small peptides) and STH/LL (low pH and high amount of small peptides). In conclusion, the decrease in pH due to the use of lactobacilli plays a key role in the texture of raw and melted Swiss-cheese. Beside the pH, the proteolytic activity of lactobacilli is also a determinant factor for stretchability
A global disorder of imprinting in the human female germ line
Imprinted genes are expressed differently depending on whether they are carried by a chromosome of maternal or paternal origin. Correct imprinting is established by germline-specific modifications; failure of this process underlies several inherited human syndromes. All these imprinting control defects are cis-acting, disrupting establishment or maintenance of allele-specific epigenetic modifications across one contiguous segment of the genome. In contrast, we report here an inherited global imprinting defect. This recessive maternal-effect mutation disrupts the specification of imprints at multiple, non-contiguous loci, with the result that genes normally carrying a maternal methylation imprint assume a paternal epigenetic pattern on the maternal allele. The resulting conception is phenotypically indistinguishable from an androgenetic complete hydatidiform mole, in which abnormal extra-embryonic tissue proliferates while development of the embryo is absent or nearly so. This disorder offers a genetic route to the identification of trans-acting oocyte factors that mediate maternal imprint establishment
Smart Sensor interface for sea bottom observatories
In order to be able to use all the marine sensors currently available in the market, a new module has to
be built to implement the smart sensor standard IEEE1451[
1] as well as other services used in marine
measurements. The smart module is aimed to be used in ALL observatory configurations: autonomous, cabled and
buoybased
observatories. This module can also be used in new instrument in other instruments such as Ocean
Bottom Seismometers (OBS) [3] or any other instrument where data logging, clock synchronization, and plug and
play capabilities are important. Therefore, the power consumption of the smart module has to be minimized for
batteries based observatories and autonomous instruments.Peer ReviewedPostprint (published version
Smart sensor interface for sea bottom observatories
In order to be able to use all the marine sensors currently available in the
market, a new module has to be built to implement the smart sensor standard IEEE-
1451[1] as well as other services used in marine measurements. The smart module is
aimed to be used in ALL observatory configurations: autonomous, cabled and buoybased
observatories. This module can also be used for low power data acquisition
and control applications in new instrument design such as Ocean Bottom Seismometers
(OBS) [3] or any other instrument where data logging, clock synchronization,
and plug and play capabilities are important. Therefore, the power consumption of
the smart module has to be minimized for batteries based observatories and autonomous
instruments.Peer Reviewe
- …