搜索结果：Chichester

Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit.

Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable proofs of soundness/completeness, can be used both to identify insecure cryptosystems and prove sound ones secure. But although a number of such symbolic algorithms have been developed and implemented, they remain scattered throughout the literature. In this paper, we present a tool, CryptoSolve, which provides a common basis for specification and implementation of these algorithms, CryptoSolve includes libraries that provide the term algebras used to express symbolic cryptographic systems, as well as implementations of useful algorithms, such as unification and variant generation. In its current initial iteration, it features several algorithms for the generation and analysis of cryptographic modes of operation, which allow one to use block ciphers to encrypt messages more than one block long. The goal of our work is to continue expanding the tool in order to consider additional cryptosystems and security questions, as well as extend the symbolic libraries to increase their applicability.

This paper characterizes the actual science performance of the James Webb Space Telescope (JWST), as determined from the six month commissioning period. We summarize the performance of the spacecraft, telescope, science instruments, and ground system, with an emphasis on differences from pre-launch expectations. Commissioning has made clear that JWST is fully capable of achieving the discoveries for which it was built. Moreover, almost across the board, the science performance of JWST is better than expected; in most cases, JWST will go deeper faster than expected. The telescope and instrument suite have demonstrated the sensitivity, stability, image quality, and spectral range that are necessary to transform our understanding of the cosmos through observations spanning from near-earth asteroids to the most distant galaxies.

This is the unedited authors' version of Chapter 3 appearing in the following book: Self-Assembly Systems: Theory and Simulations Ed. Li-Tang Yan John Wiley & Sons, Ltd, Chichester, pp. 53-84 (2017)

This paper studies the sedimentation-consolidation of a double porosity material, such as lumpy clay. Large displacements and finite strains are accounted for in a multidimensional setting. Fundamental equations are derived using a phenomenological approach and non-equilibrium thermodynamics, as set out by Coussy [Coussy, Poromechanics, Wiley, Chichester, 2004]. These equations particularise to three non-linear partial differential equations in one dimensional context. Numerical implementation in a finite element code is currently being undertaken.

Nanopublications are a Linked Data format for scholarly data publishing that has received considerable uptake in the last few years. In contrast to the common Linked Data publishing practice, nanopublications work at the granular level of atomic information snippets and provide a consistent container format to attach provenance and metadata at this atomic level. While the nanopublications format is domain-independent, the datasets that have become available in this format are mostly from Life Science domains, including data about diseases, genes, proteins, drugs, biological pathways, and biotic interactions. More than 10 million such nanopublications have been published, which now form a valuable resource for studies on the domain level of the given Life Science domains as well as on the more technical levels of provenance modeling and heterogeneous Linked Data. We provide here an overview of this combined nanopublication dataset, show the results of some overarching analyses, and describe how it can be accessed and queried.

We follow a long path for Credit Derivatives and Collateralized Debt Obligations (CDOs) in particular, from the introduction of the Gaussian copula model and the related implied correlations to the introduction of arbitrage-free dynamic loss models capable of calibrating all the tranches for all the maturities at the same time. En passant, we also illustrate the implied copula, a method that can consistently account for CDOs with different attachment and detachment points but not for different maturities. The discussion is abundantly supported by market examples through history. The dangers and critics we present to the use of the Gaussian copula and of implied correlation had all been published by us, among others, in 2006, showing that the quantitative community was aware of the model limitations before the crisis. We also explain why the Gaussian copula model is still used in its base correlation formulation, although under some possible extensions such as random recovery. Overall we conclude that the modeling effort in this area of the derivatives market is unfinished, partly for the lack of an operationally attractive single-name consistent dynamic loss model, and partly becau

Solutions to the classic problems of dealing with heterogeneous data and making entire collections interoperable while ensuring that any annotation, which includes the recognition-and-reward system of scientific publishing, need to fit into a seamless beginning to end to attract large numbers of end users. The latest trend in Web applications encourages highly interactive Web sites with rich user interfaces featuring content integrated from various sources around the Web. The obvious potential of RDF, SPARQL, and OWL to provide flexible data modeling, easier data integration, and networked data access may be the answer to the classic problems. Using Semantic Web technologies we have created a Web application, the ConceptWiki, as an end-to-end solution for creating browserbased readwrite triples using RDF, which focus on data integration and ease of use for the end user. Here we will demonstrate the integration of a biological data source, the ENZYME database, into the ConceptWiki and it's representation in RDF.

The review of experimental and main theoretical works on the phenomenon of nuclear spin superradiance is given. The content includes: 1. Introduction, 2. Experimental Observation, 3. Basic Model, 4. Evolution Equations, 5. Nyquist Noise, 6. Incoherent Stage, 7. Transient Superradiance, 8. Pulsing Superradiance, 9. Hyperfine Interactions, 10. Radiation Intensity, 11. Applications, 12. References

Finite-state automata are a very effective tool in natural language processing. However, in a variety of applications and especially in speech precessing, it is necessary to consider more general machines in which arcs are assigned weights or costs. We briefly describe some of the main theoretical and algorithmic aspects of these machines. In particular, we describe an efficient composition algorithm for weighted transducers, and give examples illustrating the value of determinization and minimization algorithms for weighted automata.

Quantum gravity--the marriage of quantum physics with general relativity--is bound to contain deep and important lessons for the nature of physical time. Some of these lessons shall be canvassed here, particularly as they arise from quantum general relativity and string theory and related approaches. Of particular interest is the question of which of the intuitive aspects of time will turn out to be fundamental, and which 'emergent' in some sense.

Single-molecule pulling techniques have emerged as versatile tools for probing the noncovalent forces holding together the secondary and tertiary structure of macromolecules. They also constitute a way to study at the single-molecule level processes that are familiar from our macroscopic thermodynamic experience. In this Chapter, we summarize the essential phenomenology that is typically observed during single-molecule pulling, provide a general statistical mechanical framework for the interpretation of the equilibrium force spectroscopy and illustrate how to simulate single-molecule pulling experiments using molecular dynamics.

Making available and archiving scientific results is for the most part still considered the task of classical publishing companies, despite the fact that classical forms of publishing centered around printed narrative articles no longer seem well-suited in the digital age. In particular, there exist currently no efficient, reliable, and agreed-upon methods for publishing scientific datasets, which have become increasingly important for science. Here we propose to design scientific data publishing as a Web-based bottom-up process, without top-down control of central authorities such as publishing companies. Based on a novel combination of existing concepts and technologies, we present a server network to decentrally store and archive data in the form of nanopublications, an RDF-based format to represent scientific data. We show how this approach allows researchers to publish, retrieve, verify, and recombine datasets of nanopublications in a reliable and trustworthy manner, and we argue that this architecture could be used for the Semantic Web in general. Evaluation of the current small network shows that this system is efficient and reliable.

A new approach to deuterium ion sources for deuterium-tritium neutron generators is being developed. The source is based upon the field desorption of deuterium from the surfaces of metal tips. Field desorption studies of microfabricated field emitter tip arrays have been conducted for the first time. Maximum fields of 30 V/nm have been applied to the array tip surfaces to date, although achieving fields of 20 V/nm to possibly 25 V/nm is more typical. Both the desorption of atomic deuterium ions and the gas phase field ionization of molecular deuterium has been observed at fields of roughly 20 V/nm and 20-30 V/nm, respectively, at room temperature. The desorption of common surface adsorbates, such as hydrogen, carbon, water, and carbon monoxide is observed at fields exceeding ~10 V/nm. In vacuo heating of the arrays to temperatures of the order of 800 C can be effective in removing many of the surface contaminants observed.

Most of the plutonium in the world resides inside spent nuclear reactor fuel rods. This high-level radioactive waste is commonly held in long-term storage within large, heavily shielded casks. Currently, international nuclear safeguards inspectors have no stand-alone method of verifying the amount of reactor fuel stored within a sealed cask. Here we demonstrate experimentally that measurements of the scattering angles of cosmic ray muons which pass through a storage cask can be used to determine if spent fuel assemblies are missing without opening the cask. This application of technology and methods commonly used in high-energy particle physics provides a potential solution to this long-standing problem in international nuclear safeguards.

Spin Hall effects are a collection of phenomena, resulting from spin-orbit coupling, in which an electrical current flowing through a sample can lead to spin transport in a perpendicular direction and spin accumulation at lateral boundaries. These effects, which do not require an applied magnetic field, can originate in a variety of intrinsic and extrinsic spin-orbit coupling mechanisms and depend on geometry, dimension, impurity scattering, and carrier density of the system--making the analysis of these effects a diverse field of research. In this article, we give an overview of the theoretical background of the spin Hall effects and summarize some of the most important results. First, we explain effective spin-orbit Hamiltonians, how they arise from band structure, and how they can be understood from symmetry considerations; including intrinsic coupling due to bulk inversion or structure asymmetry or due to strain, and extrinsic coupling due to impurities. This leads to different mechanisms of spin transport: spin precession, skew scattering, and side jump. Then we present the kinetic (Boltzmann) equations, which describe the spin-dependent distribution function of charge carrier