12,341 research outputs found

    Connected to the Organization: A Survey of Communication Technologies in the Modern Organizational Landscape

    Get PDF
    In today’s organizations, traditional and cutting-edge technologies compete for increased usage. This exploratory project provides a snapshot of the communication technology (CT) landscape by examining the use of 25 different CTs and their relations to a variety of common demographic variables. Results suggest that, although newer CTs are in use today, more traditional and established CTs such as e-mail, Internet, telephones, and voicemail still dominate the landscape

    A formal soundness proof of region-based memory management for object-oriented paradigm.

    Get PDF
    Region-based memory management has been proposed as a viable alternative to garbage collection for real-time applications and embedded software. In our previous work we have developed a region type inference algorithm that provides an automatic compile-time region-based memory management for object-oriented paradigm. In this work we present a formal soundness proof of the region type system that is the target of our region inference. More precisely, we prove that the object-oriented programs accepted by our region type system achieve region-based memory management in a safe way. That means, the regions follow a stack-of-regions discipline and regions deallocation never create dangling references in the store and on the program stack. Our contribution is to provide a simple syntactic proof that is based on induction and follows the standard steps of a type safety proof. In contrast the previous safety proofs provided for other region type systems employ quite elaborate techniques

    Algorithm Developments for Discrete Adjoint Methods

    Get PDF
    This paper presents a number of algorithm developments for adjoint methods using the 'discrete' approach in which the discretisation of the non-linear equations is linearised and the resulting matrix is then transposed. With a new iterative procedure for solving the adjoint equations, exact numerical equivalence is maintained between the linear and adjoint discretisations. The incorporation of strong boundary conditions within the discrete approach is discussed, as well as a new application of adjoint methods to linear unsteady flow in turbomachinery

    The Baryon Fractions and Mass-to-Light Ratios of Early-Type Galaxies

    Full text link
    We jointly model 22 early-type gravitational lens galaxies with stellar dynamical measurements using standard CDM halo models. The sample is inhomogeneous in both its mass distributions and the evolution of its stellar populations unless the true uncertainties are significantly larger than the reported measurement errors. In general, the individual systems cannot constrain halo models, in the sense that the data poorly constrains the stellar mass fraction of the halo. The ensemble of systems, however, strongly constrains the average stellar mass represented by the visible galaxies to 0.026±0.0060.026\pm0.006 of the halo mass if we neglect adiabatic compression, rising to 0.056±0.0110.056\pm0.011 of the halo mass if we include adiabatic compression. Both estimates are significantly smaller than the global baryon fraction, corresponding to a star formation efficiency for early-type galaxies of 1010%-30%. In the adiabatically compressed models, we find an average local B-band stellar mass-to-light ratio of (M/L)_0 = (7.2\pm0.5)(M_{\sun}/L_{\sun}) that evolves by dlog(M/L)/dz=0.72±0.08d\log(M/L)/dz = -0.72\pm0.08 per unit redshift. Adjusting the isotropy of the stellar orbits has little effect on the results. The adiabatically compressed models are strongly favored if we impose either local estimates of the mass-to-light ratios of early-type galaxies or the weak lensing measurements for the lens galaxies on 100 kpc scales as model constraints.Comment: 9 figure

    Anisakis infection in allis shad, Alosa alosa (Linnaeus, 1758), and twaite shad, Alosa fallax (Lacépède, 1803), from Western Iberian Peninsula Rivers : zoonotic and ecological implications

    Get PDF
    Acknowledgments The authors would like to thank M. N. Cueto and J.M. Antonio (ECOBIOMAR) for their excellent technical support and also Rodrigo López for making the map of the study area. We also thank the personal of the Vigo IEO, for providing information about shad captures at sea collected on the basis of national program (AMDES) included in the European Data Collection Framework (DCF) project. We are also grateful to Comandancia Naval de Tui for providing fishing data. M. Bao is supported by a PhD grant from the University of Aberdeen and also by financial support of the contract from the EU Project PARASITE (grant number 312068). This study was partially supported by a PhD grant from the Portuguese Foundation for Science and Technology (FCT) SFRH/BD/44892/2008) and partially supported by the European Regional Development Fund (ERDF) through the COMPETE—Operational Competitiveness Programme and national funds through Foundation for Science and Technology (FCT), under the project BPEst-C/MAR/ LA0015/2013. The authors thank the staff of the Station of Hydrobiology of the USC BEncoro do Con^ due their participation in the surveys. This work has been partially supported by the project 10PXIB2111059PR of the Xunta de Galicia and the project MIGRANET of the Interreg IV BSUDOE (South-West Europe) Territorial Cooperation Programme (SOE2/P2/E288). D.J. Nachón is supported by a PhD grant from the Xunta de Galicia (PRE/2011/198)Peer reviewedPostprin

    Infection levels and species diversity of ascaridoid nematodes in Atlantic cod, Gadus morhua, are correlated with geographic area and fish size

    Get PDF
    Atlantic cod (Gadus morhua) is among the most important commercial fish species on the world market. Its infection by ascaridoid nematodes has long been known, Pseudoterranova even being named cod worm. In the present study, 755 individuals were sampled in the Barents, Baltic and North Seas during 2012–2014. Prevalences for Anisakis in whole fish and in fillets in the different fishing areas varied from 16 to 100% and from 12 to 90% respectively. Abundance was also greatly influenced by the sampling area. Generalized additive model results indicate higher numbers of Anisakis in the North Sea, even after the larger body size was accounted for. Numbers and prevalence of Anisakis were positively related to fish length or weight. The prevalence of parasites in whole fish and in fillets was also influenced by the season, with the spring displaying a peak for the prevalence in whole fish and, at the same time, a drop for the prevalence in fillets. Whereas 46% of cod had Anisakis larvae in their fillets, the majority (39%) had parasites mainly in the ventral part of the fillet and only 12% had parasites in their dorsal part. This observation is of importance for the processing of the fish. Indeed, the trimming of the ventral part of the cod fillet would allow the almost total elimination of ascaridoids except for cod from the Baltic Sea where there was no difference between the dorsal and the ventral part. The presence of other ascaridoid genera was also noticeable in some areas. For Pseudoterranova, the highest prevalence (45%) in whole fish was observed in the Northern North Sea, whereas the other areas had prevalences between 3 and 16%. Contracaecum was present in every commercial size cod sampled in the Baltic Sea with an intensity of up to 96 worms but no Contracaecum was isolated from the Central North Sea. Non-zoonotic Hysterothylacium was absent from the Baltic Sea but with a prevalence of 83% in the Barents and the Northern North Sea. A subsample of worms was identified with genetic-molecular tools and assigned to the species A. simplex (s.s.), A. pegreffii, P. decipiens (s.s.), P. krabbei, C. osculatum and H. aduncum. In addition to high prevalence and abundance values, the cod sampled in this study presented a diversity of ascaridoid nematodes with a majority of fish displaying a co-infection. Out of 295 whole infected fish, 269 were co-infected by at least 2 genera

    On a conjecture for \ell-torsion in class groups of number fields: from the perspective of moments

    Get PDF
    It is conjectured that within the class group of any number field, for every integer 1\ell \geq 1, the \ell-torsion subgroup is very small (in an appropriate sense, relative to the discriminant of the field). In nearly all settings, the full strength of this conjecture remains open, and even partial progress is limited. Significant recent progress toward average versions of the \ell-torsion conjecture has crucially relied on counts for number fields, raising interest in how these two types of question relate. In this paper we make explicit the quantitative relationships between the \ell-torsion conjecture and other well-known conjectures: the Cohen-Lenstra heuristics, counts for number fields of fixed discriminant, counts for number fields of bounded discriminant (or related invariants), and counts for elliptic curves with fixed conductor. All of these considerations reinforce that we expect the \ell-torsion conjecture is true, despite limited progress toward it. Our perspective focuses on the relation between pointwise bounds, averages, and higher moments, and demonstrates the broad utility of the "method of moments.

    Navigation/traffic control satellite mission study. Volume 3 - System concepts

    Get PDF
    Satellite network for air traffic control, solar flare warning, and collision avoidanc
    corecore