Pathology of arrhythmogenic right ventricular cardiomyopathy/dysplasia--an autopsy study of 20 forensic cases

The effects of postpartum energy intake, restricted suckling, and cow-calf isolation on concentrations of LH, FSH, growth hormone, and insulin-like growth factor-I (IGF-I) and on postpartum anestrous interval were determined by randomly allocating beef cows with a mean body condition score of 2.3 +/- 0.1 to receive either 80 MJ metabolizable energy (low-energy diet [L]; n = 51) or 120 MJ metabolizable energy (high-energy diet [H]; n = 52) per cow per day from calving. At 30 days postpartum, cows within diet were randomized to 1) have continued full access to their calves from birth to weaning (ad libitum suckling: ADLIB), 2) be suckled once-daily with their calves penned adjacent (restricted suckling, adjacent: RESADJ), 3) be isolated from all calves except for a once-daily suckling period (restricted suckling, isolated: RESISO). The mean postpartum interval was similar (p > 0.10) for L and H cows (62 and 63 days, respectively). RESADJ cows had a shorter (p < 0.05) postpartum interval than ADLIB cows, and RESISO cows had a shorter interval (p < 0.05) than RESADJ cows, with all effects independent (p > 0.10) of diet. FSH secretion pattern was not affected by diet, suckling treatment, sequential follicle wave number, or follicle wave retrospectively realigned to emergence of first ovulatory wave. Within 5 days of suckling restriction and calf isolation, the number of LH pulses increased from 0.18 to 0.48 pulses per hour (p < 0.05). Both mean LH and the mean number of LH pulses increased linearly (p < 0.01) during the six follicle waves up to the first ovulatory wave. From 80 days before, until the time of, first ovulation, growth hormone decreased (p < 0.05) while IGF-I increased (p < 0.05), irrespective of treatment. The results indicate that the "suckling effect" in beef cows is the major factor affecting the duration of the postpartum interval and suggests that the maternal bond is more important than suckling in regulating LH pulse frequency, the key endocrine factor determining whether or not a dominant follicles ovulates. Removal of the suckling effect resulted in a rapid increase in LH pulse frequency, which was not dependent on level of postpartum nutrition, at least within the nutritional limits of this study. Mean concentrations of FSH, unlike LH, did not vary with follicle wave number, suggesting that lack of FSH is not a major factor delaying the resumption of ovulation in postpartum beef cows.     

Packing spherical discrete elements for large scale simulations

We introduce a new geometric method to generate sphere packings with restricted overlap values. Sample generation is an important, but time-consuming, step that precedes a calculation performed with the discrete element method (DEM). At present, there does not exist any software dedicated to DEM which would be similar to the mesh software that exists for finite element methods (FEM). A practical objective of the method is to build very large sphere packings (several hundreds of thousands) in a few minutes instead of several days as the current dynamic methods do. The developed algorithm uses a new geometric procedure to position very efficiently the polydisperse spheres in a tetrahedral mesh. The algorithm, implemented into YADE-OPEN DEM (open-source software), consists in filling tetrahedral meshes with spheres. In addition to the features of the tetrahedral mesh, the input parameters are the minimum and maximum radii (or their size ratio), and the magnitude of authorized overlaps. The filling procedure is stopped when a target solid fraction or number of spheres is reached. Based on this method, an efficient tool can be designed for DEMs used by researchers and engineers. The generated packings can be isotropic and the number of contacts per sphere is very high due to its geometric procedure. In this paper, different properties of the generated packings are characterized and examples from real industrial problems are presented to show how this method can be used. The current C++ version of this packing algorithm is part of YADE-OPEN DEM [20] available on the web (https://yade-dem.org).     

Deliberate word access: an intuition,a roadmap and some preliminary empirical results

No doubt, words play a major role in language production, hence finding them is of vital importance, be it for writing or for speaking (spontaneous discourse production, simultaneous translation). Words are stored in a dictionary, and the general belief holds, the more entries the better. Yet, to be truly useful the resource should contain not only many entries and a lot of information concerning each one of them, but also adequate navigational means to reveal the stored information. Information access depends crucially on the organization of the data (words) and the access keys (meaning/form), two factors largely overlooked. We will present here some ideas of how an existing electronic dictionary could be enhanced to support a speaker/writer to find the word s/he is looking for. To this end we suggest to add to an existing electronic dictionary an index based on the notion of association, i.e. words co-occurring in a well balanced corpus, the latter being supposed to represent the average citizen’s knowledge of the world. Before describing our approach, we will briefly take a critical look at the work being done by colleagues working on automatic, spontaneous or deliberate language production,—that is, computer-generated language, simulation of the mental lexicon, or WordNet (WN),—to see how adequate they are with regard to our goal.     

Recasting MLF

The language ML^F is a proposal for a new type system that supersedes both ML and System F, allows for efficient, predictable, and complete type inference for partially annotated terms. In this work, we revisit the definition of ML^F, following a more progressive approach and focusing on the design-space and expressiveness. We introduce a Curry-style version iML^F of ML^F and provide an interpretation of iML^F types as instantiation-closed sets of Dash System-F types, from which we derive the definition of type-instance in iML^F. We give equivalent syntactic definition of the type-instance, presented as a set of inference rules. We also show an encoding of iML^F into the closure of Curry-style System F by let-expansion. We derive the Church-style version eML^F by refining types of iML^F so as to distinguish between given and inferred polymorphism. We show an embedding of ML in eML^F and a straightforward encoding of System F into eML^F.     

A method to select a successful interoperability solution through a simulation approach

Enterprise applications and software systems need to be interoperable in order to achieve seamless business across organizational boundaries and thus realize virtual networked organizations. Our proposition can be considered as an interoperability project selection approach and is based on three steps: (1) Modelling both collaborative business processes and potential related interoperability projects; (2) Evaluating the accessibility of each project regarding the current state of the organization; (3) Simulating each project and assessing the associated performance. These results are finally projected on a comparison matrix used as a decision support to select the most appropriate interoperability solution. An application case extracted from the French aerospace sector demonstrates the applicability and the benefits of the proposition.     

Finite element analysis on implicitly defined domains: An accurate representation based on arbitrary parametric surfaces

In this paper, we present some novel results and ideas for robust and accurate implicit representation of geometric surfaces in finite element analysis. The novel contributions of this paper are threefold: (1) describe and validate a method to represent arbitrary parametric surfaces implicitly; (2) represent arbitrary solids implicitly, including sharp features using level sets and boolean operations; (3) impose arbitrary Dirichlet and Neumann boundary conditions on the resulting implicitly defined boundaries. The methods proposed do not require local refinement of the finite element mesh in regions of high curvature, ensure the independence of the domain’s volume on the mesh, do not rely on boundary regularization, and are well suited to methods based on fixed grids such as the extended finite element method (XFEM). Numerical examples are presented to demonstrate the robustness and effectiveness of the proposed approach and show that it is possible to achieve optimal convergence rates using a fully implicit representation of object boundaries. This approach is one step in the desired direction of tying numerical simulations to computer aided design (CAD), similarly to the isogeometric analysis paradigm.     

Network State Estimation and Prediction for Real-Time Traffic Management

Advanced Traveler Information Systems (ATIS) and Advanced Traffic Management Systems (ATMS) have the potential to contribute to the solution of the traffic congestion problem. DynaMIT is a real-time system that can be used to generate guidance for travelers. The main principle on which DynaMIT is based is that information should be consistent, and user optimal. Consistency implies that the traffic conditions experienced by the travelers are consistent with the condition assumed in generating the guidance. To generate consistent user optimal information, DynaMIT performs two main functions: state estimation and prediction. A demand simulator and a supply simulator interact to perform these tasks. A case study demonstrates the value of the system.     

Reconfigurable computing: design methodology and hardware tasks scheduling for real-time image processing

Technology evolution makes possible the integration of heterogeneous components as programmable elements (processors), hardware dedicated blocks, hierarchical memories and buses. Furthermore, an optimized reconfigurable logic core embedded within a System-on-Chip will associate the performances of dedicated architecture and the flexibility of programmable ones. In order to increase performances, some of the applications are carried out in hardware, using dynamically reconfigurable logic, rather than software, using programmable elements. This approach offers a suitable hardware support to design malleable systems able to adapt themselves to a specific application. This article makes a synthesis of the Ardoise project. The first objective of Ardoise project was to design and to produce a dynamically reconfigurable platform based on commercial FPGAs. The concept of dynamically reconfigurable architecture depends partially on new design methodologies elaboration as well as on the programming environment. The platform architecture was designed to be suitable for real-time image processing. The article outlines mainly the Ardoise tools aspect: development environment and real-time management of the hardware tasks. The proposed methodology is based on a dynamic management of tasks according to an application scenario written using C++ language.

A stationary sampling scheme for multilayer positron tomographs

A stationary sampling scheme applicable to tomographic instruments incorporating two or more detector layers is described and tested. In this concept, the detectors in adjacent layers are angularly offset by half the interdetector distance. By reconstructing in one single slice all lines of response defined by two adjacent rings of detectors, a fourfold increase in the number of coincidence lines is obtained and a uniform sampling distance equal to one-quarter the interdetector spacing is achieved. Whereas this is obtained at the expense of a 100% degradation of the resolution in the axial direction, with the recent breed of PET (positron emission tomography) scanners using nearly square cross section detectors, the resolution loss may be tolerable in many situations. In addition, normal reconstruction of the individual coincidence planes is always possible. The sampling concept was investigated experimentally with the help of the Universite de Sherbrooke PET camera simulator.