2016-12-23T18:52:10

This paper presents a fast algorithm for restoring video sequences. The proposed algorithm, as opposed to existing methods, does not consider video restoration as a sequence of image restoration problems. Rather, it treats a video sequence as a space-time volume and poses a space-time total variation regularization to enhance the smoothness of the solution. The optimization problem is solved by transforming the original unconstrained minimization problem to an equivalent constrained minimization problem. An augmented Lagrangian method is used to handle the constraints, and an alternating direction method is used to iteratively find solutions to the subproblems. The proposed algorithm has a wide range of applications, including video deblurring and denoising, video disparity refinement, and hot-air turbulence effect reduction.

We have designed a multirate digital signal processing algorithm to detect heart beats in the electrocardiogram (ECG). The algorithm incorporates a filter bank (FB) which decomposes the ECG into subbands with uniform frequency bandwidths. The FB-based algorithm enables independent time and frequency analysis to be performed on a signal. Features computed from a set of the subbands and a heuristic detection strategy are used to fuse decisions from multiple one-channel beat detection algorithms. The overall beat detection algorithm has a sensitivity of 99.59% and a positive predictivity of 99.56% against the MIT/BIH database. Furthermore this is a real-time algorithm since its beat detection latency is minimal. The FB-based beat detection algorithm also inherently lends itself to a computationally efficient structure since the detection logic operates at the subband rate. The FB-based structure is potentially useful for performing multiple ECG processing tasks using one set of preprocessing filters.

This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.

Of the 10,272 currently recognized reptile species, the trade of fewer than 8% are regulated by the Convention on International Trade in Endangered Species of Wild Fauna and Flora (CITES) and the European Wildlife Trade Regulations (EWTR). However, the International Union for Conservation of Nature (IUCN) Red List has assessed 45% of the world's reptile species and determined that at least 1390 species are threatened by “biological resource use”. Of these, 355 species are intentionally targeted by collectors, including 194 non-CITES-listed species. Herein we review the global reptile pet trade, its impacts, and its contribution to the over-harvesting of species and populations, in light of current international law. Findings are based on an examination of relevant professional observations, online sources, and literature (e.g., applicable policies, taxonomy [reptile database], trade statistics [EUROSTAT], and conservation status [IUCN Red List]). Case studies are presented from the following countries and regions: Australia, Central America, China, Galapagos Islands (Ecuador), Germany, Europe, India, Indonesia (Kalimantan), Islamic Republic of Iran, Japan, Madagascar, Mexico, New Zealand, the Philippines, South Africa, Sri Lanka, Vietnam, Western Africa, and Western Asia. The European Union (EU) plays a major role in reptile trade. Between 2004 and 2014 (the period under study), the EU member states officially reported the import of 20,788,747 live reptiles. This review suggests that illegal trade activities involve species regulated under CITES, as well as species that are not CITES-regulated but nationally protected in their country of origin and often openly offered for sale in the EU. Further, these case studies demonstrate that regulations and enforcement in several countries are inadequate to prevent the overexploitation of species and to halt illegal trade activities. (Résumé d'auteur