We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Session types are type-theoretic specifications of communication protocols in concurrent or distributed systems. By codifying the structure of communication, they make software more reliable and easier to construct. Over recent decades, the topic has become a large and active research area within the field of programming language theory and implementation. Written by leading researchers in the field, this is the first text to provide a comprehensive introduction to the key concepts of session types. The thorough theoretical treatment is complemented by examples and exercises, suitable for use in a lecture course or for self-study. It serves as an entry point to the topic for graduate students and researchers.
The First Large Absorption Survey in H i (FLASH) is a large-area radio survey for neutral hydrogen in and around galaxies in the intermediate redshift range 0.4 < z < 1.0, using the 21-cm H i absorption line as a probe of cold neutral gas. The survey uses the ASKAP radio telescope and will cover 24,000 deg2 of sky over the next five years. FLASH breaks new ground in two ways – it is the first large H i absorption survey to be carried out without any optical preselection of targets, and we use an automated Bayesian line-finding tool to search through large datasets and assign a statistical significance to potential line detections. Two Pilot Surveys, covering around 3000 deg2 of sky, were carried out in 2019-22 to test and verify the strategy for the full FLASH survey. The processed data products from these Pilot Surveys (spectral-line cubes, continuum images, and catalogues) are public and available online. In this paper, we describe the FLASH spectral-line and continuum data products and discuss the quality of the H i spectra and the completeness of our automated line search. Finally, we present a set of 30 new H i absorption lines that were robustly detected in the Pilot Surveys, almost doubling the number of known H i absorption systems at 0.4 < z < 1. The detected lines span a wide range in H i optical depth, including three lines with a peak optical depth τ > 1, and appear to be a mixture of intervening and associated systems. Interestingly, around two-thirds of the lines found in this untargeted sample are detected against sources with a peaked-spectrum radio continuum, which are only a minor (5-20%) fraction of the overall radio-source population. The detection rate for H i absorption lines in the Pilot Surveys (0.3 to 0.5 lines per 40 deg2 ASKAP field) is a factor of two below the expected value. One possible reason for this is the presence of a range of spectral-line artefacts in the Pilot Survey data that have now been mitigated and are not expected to recur in the full FLASH survey. A future paper in this series will discuss the host galaxies of the H i absorption systems identified here.
What legal rules govern how artists live and create artworks and sell those works to collectors and others? This chapter first addresses how artists live and work. It then turns to legal and ethical issues of the primary market for artists’ works, including: how artists sell their works, particularly through dealers; the legal rules that govern consignments, the predominant way artists sell works through dealers; the artist/dealer relationship (for example, what happens when the artist or dealer terminates the relationship, and who bears the loss when works not yet sold by the dealer are damaged or destroyed); statutory protection for artists’ consignments; and the commissioning of an artist to create a work of art.
For centuries, art has been one of the spoils of war, often taken by the victor--and often destroyed in combat. What rules govern how art is treated in and after times of armed conflict? This chapter considers practical and ethical challenges of protecting art and antiquities in times of war and how attitudes toward protection of cultural property have evolved, leading to the Hague Convention of 1954; how art has been treated as part of war reparations; legal and ethical issues applicable to the recovery of art in the aftermath of World War II, particularly in light of the Holocaust and the Third Reich’s historically unprecedented, large-scale dispossession of art; and international efforts to coordinate the return of art wrongfully taken in the years prior to and during World War II
This chapter considers legal and ethical issues affecting art museums. These issues include considering the legal and working definitions of a museum and how museums are legally organized in the United States; the tax status of museums; legal and ethical standards of museum governance,; the rules, practices, and ethical considerations pertaining to museums’ management of their collections; museums acquisitions and deaccessions of collections items; managing donor-imposed restrictions on gifts to museums; legal issues related to museum loans and exhibitions; and how museums address issues concerning access to their collections.
This chapter focuses on the legal and ethical rules applicable to the international trade in antiquities and other forms of cultural property. Over centuries, many countries have been primarily the source of antiquities; others have been primarily collectors of those antiquities . What rules govern the movement of antiquities and determine whether they should be returned to their country of origin? How does the United States deal with antiquities that are imported illegally or imported after being stolen or illicitly exported from other countries? This chapter also considers how museums can ethically collect antiquities and when antiquities can or should be returned to their country or place of origin.
This chapter examines issues concerning the secondary market for visual art--when artworks are resold after their initial sale by the artists. After considering the tension between art as creative expression and art as a commodity, bought and sold for profit, the chapter looks at how art dealers work with collectors; issues that can arise when works of art are entrusted to dealers; conflicts of interest that may arise for dealers; potential issues with appraisals of artworks in connection with resale; the legal rules governing art auctions; and some of the legal and ethical issues that can arise when art auctions go awry, such as the discovery after the auction that a work of art is not authentic.
Chapter 1 introduces the reader to the wide range of issues at the intersection of law, ethics, and the world of visual arts. The chapter then considers two threshold legal and philosophical issues that repeatedly arise throughout the book: how can and should the law define what is art and who is an artist?
Works of art, in addition to being treated at law as tangible personal property, also contain creative expression generally treated as intellectual property. This chapter considers the rules governing art as intellectual property. The chapter first presents copyright law as applied to visual art and how copyright infringement is established and defenses to infringement actions, including the fair use defense, especially as it applies to appropriation art and art that parodies other works. It then addresses how trademark law and the right of publicity (the right of individuals to control the use of their name, image, or likeness for commercial purposes) impact visual art. The chapter next examines resale royalties for art--where artists receive some portion of the price when their works resell in the secondary market--and the limited application of resale royalties in the U.S. Finally, the chapter explains artists’ moral rights,which allow artists to prevent the alteration or destruction of their works after they are sold and to control the use of their name in association with an artwork they did not create or that they created but that has been altered.