Internal convection in thermoelectric generator models

Coupling between heat and electrical currents is at the heart of thermoelectric processes. From a thermal viewpoint this may be seen as an additional thermal flux linked to the appearance of electrical current in a given thermoelectric system. Since this additional flux is associated to the global displacement of charge carriers in the system, it can be qualified as convective in opposition to the conductive part associated with both phonons transport and heat transport by electrons under open circuit condition, as, e.g., in the Wiedemann-Franz relation. In this article we demonstrate that considering the convective part of the thermal flux allows both new insight into the thermoelectric energy conversion and the derivation of the maximum power condition for generators with realistic thermal coupling.Comment: 8 pages, 3 figure

A certifying frontend for (sub)polyhedral abstract domains

Convex polyhedra provide a relational abstraction of numerical properties for static analysis of programs by abstract interpretation. We describe a lightweight certification of polyhedral abstract domains using the Coq proof assistant. Our approach consists in delegating most computations to an untrusted backend and in checking its outputs with a certified frontend. The backend is free to implement relaxations of domain operators in order to trade some precision for more efficiency, but must produce hints about the soundness of its results. Experiments with a full-precision backend show that the certification overhead is small and that the certified abstract domain has comparable performance to non-certifying state-of-the-art implementations

A potential use for the C-band polarimetric SAR parameters to characterise the soil surface over bare agriculture fields

The objective of this study was to analyze the potential of the C-band polarimetric SAR parameters for the soil surface characterization of bare agricultural soils. RADARSAT-2 data and simulations using the Integral Equation Model (IEM) were analyzed to evaluate the polarimetric SAR parameters' sensitivities to the soil moisture and surface roughness. The results showed that the polarimetric parameters in the C-band were not very relevant to the characterization of the soil surface over bare agricultural areas. Low dynamics were often observed between the polarimetric parameters and both the soil moisture content and the soil surface roughness. These low dynamics do not allow for the accurate estimation of the soil parameters, but they could augment the standard inversion approaches to improve the estimation of these soil parameters. The polarimetric parameter alpha_1 could be used to detect very moist soils (>30%), while the anisotropy could be used to separate the smooth soils

Hindley-Milner Elaboration in Applicative Style

International audienceType inference—the problem of determining whether a program is well-typed—is well-understood. In contrast, elaboration—the task of constructing an explicitly-typed representation of the program— seems to have received relatively little attention, even though, in a non-local type inference system, it is non-trivial. We show that the constraint-based presentation of Hindley-Milner type inference can be extended to deal with elaboration, while preserving its elegance. This involves introducing a new notion of "constraint with a value", which forms an applicative functor

Nominal Logic Programming

Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, alpha-equivalence). This article investigates logic programming based on nominal logic. We describe some typical nominal logic programs, and develop the model-theoretic, proof-theoretic, and operational semantics of such programs. Besides being of interest for ensuring the correct behavior of implementations, these results provide a rigorous foundation for techniques for analysis and reasoning about nominal logic programs, as we illustrate via examples.Comment: 46 pages; 19 page appendix; 13 figures. Revised journal submission as of July 23, 200

Chirality Change in String Theory

It is known that string theory compactifications leading to low energy effective theories with different chiral matter content ({\it e.g.} different numbers of standard model generations) are connected through phase transitions, described by non-trivial quantum fixed point theories. We point out that such compactifications are also connected on a purely classical level, through transitions that can be described using standard effective field theory. We illustrate this with examples, including some in which the transition proceeds entirely through supersymmetric configurations.Comment: 50 pages, 2 figure

Starch and oil in the donor cow diet and starch in substrate differently affect the in vitro ruminal biohydrogenation of linoleic and linolenic acids

Trans isomers of fatty acids exhibit different health properties. Among them, trans-10,cis-12 conjugated linoleic acid has negative effects on milk fat production and can affect human health. A shift from the trans-11 to the trans-10 pathway of biohydrogenation (BH) can occur in the rumen of dairy cows receiving high-concentrate diets, especially when the diet is supplemented with highly unsaturated fat sources. The differences of BH patterns between linoleic acid (LeA) and linolenic acid (LnA) in such ruminal conditions remain unknown; thus, the aim of this work was to investigate in vitro the effects of starch and sunflower oil in the diet of the donor cows and starch level in the incubates on the BH patterns and efficiencies of LeA and LnA. The design was a 4 × 4 Latin square design with 4 cows, 4 periods, and 4 diets with combinations of 21 or 34% starch and 0 or 5% sunflower oil. The rumen content of each cow during each period was incubated with 4 substrates, combining 2 starch levels and either LeA or LnA addition. Capillary electrophoresis single-strand conformation polymorphism of incubates showed that dietary starch decreased the diversity of the bacterial community and the high-starch plus oil diet modified its structure. High-starch diets poorly affected isomerization and first reduction of LeA and LnA, but decreased the efficiencies of trans-11,cis-15-C18:2 and trans C18:1 reduction. Dietary sunflower oil increased the efficiency of LeA isomerization but decreased the efficiency of trans C18:1 reduction. An interaction between dietary starch and dietary oil resulted in the highest trans-10 isomers production in incubates when the donor cow received the high-starch plus oil diet. The partition between trans-10 and trans-11 isomers was also affected by an interaction between starch level and the fatty acid added to the incubates, showing that the trans-10 shift only occurred with LeA, whereas LnA was mainly hydrogenated via the more usual trans-11 pathway, whatever the starch level in the substrate, although the bacterial communities were not different between LeA and LnA incubates. In LeA incubates, trans-10 isomer production was significantly related to the structure of the bacterial community

Delivering the power of nanomedicine to patients today

The situation of the COVID-19 pandemic reminds us that we permanently need high-value flexible solutions to urgent clinical needs including simplified diagnostic technologies suitable for use in the field and for delivering targeted therapeutics. From our perspective nanotechnology is revealed as a vital resource for this, as a generic platform of technical solutions to tackle complex medical challenges. It is towards this perspective and focusing on nanomedicine that we take issue with Prof Park's recent editorial published in the Journal of Controlled Release. Prof. Park argued that in the last 15 years nanomedicine failed to deliver the promised innovative clinical solutions to the patients (Park, K. The beginning of the end of the nanomedicine hype. Journal of Controlled Release, 2019; 305, 221\u2013222 [1]. We, the ETPN (European Technology Platform on Nanomedicine) [2], respectfully disagree. In fact, the more than 50 formulations currently in the market, and the recent approval of 3 key nanomedicine products (e. g. Onpattro, Hensify and Vyxeos), have demonstrated that the nanomedicine field is concretely able to design products that overcome critical barriers in conventional medicine in a unique manner, but also to deliver within the cells new drug-free therapeutic effects by using pure physical modes of action, and therefore make a difference in patients lives. Furthermore, the >400 nanomedicine formulations currently in clinical trials are expecting to bring novel clinical solutions (e.g. platforms for nucleic acid delivery), alone or in combination with other key enabling technologies to the market, including biotechnologies, microfluidics, advanced materials, biomaterials, smart systems, photonics, robotics, textiles, Big Data and ICT (information & communication technologies) more generally. However, we agree with Prof. Park that \u201c it is time to examine the sources of difficulty in clinical translation of nanomedicine and move forward \u201c. But for reaching this goal, the investments to support clinical translation of promising nanomedicine formulations should increase, not decrease. As recently encouraged by EMA in its roadmap to 2025, we should create more unity through a common knowledge hub linking academia, industry, healthcare providers and hopefully policy makers to reduce the current fragmentation of the standardization and regulatory body landscape. We should also promote a strategy of cross-technology innovation, support nanomedicine development as a high value and low-cost solution to answer unmet medical needs and help the most promising innovative projects of the field to get better and faster to the clinic. This global vision is the one that the ETPN chose to encourage for the last fifteen years. All actions should be taken with a clear clinical view in mind, \u201c without any fanfare\u201d, to focus \u201con what matters in real life\u201d, which is the patient and his/her quality of life. This ETPN overview of achievements in nanomedicine serves to reinforce our drive towards further expanding and growing the maturity of nanomedicine for global healthcare, accelerating the pace of transformation of its great potential into tangible medical breakthroughs