On the Gaussian Many-to-One X Channel

In this paper, the Gaussian many-to-one X channel (XC), which is a special case of general multiuser XC, is studied. In the Gaussian many-to-one XC, communication links exist between all transmitters and one of the receivers, along with a communication link between each transmitter and its corresponding receiver. As per the XC assumption, transmission of messages is allowed on all the links of the channel. This communication model is different from the corresponding manyto- one interference channel (IC). Transmission strategies, which involve using Gaussian codebooks and treating interference from a subset of transmitters as noise, are formulated for the above channel. Sum-rate is used as the criterion of optimality for evaluating the strategies. Initially, a 3 x 3 many-to-one XC is considered and three transmission strategies are analyzed. The first two strategies are shown to achieve sum-rate capacity under certain channel conditions. For the third strategy, a sum-rate outer bound is derived and the gap between the outer bound and the achieved rate is characterized. These results are later extended to the K x K case. Next, a region in which the many-to-one XC can be operated as a many-to-one IC without the loss of sum-rate is identified. Furthermore, in the above region, it is shown that using Gaussian codebooks and treating interference as noise achieve a rate point that is within K/2 -1 bits from the sum-rate capacity. Subsequently, some implications of the above results to the Gaussian many-to-one IC are discussed. Transmission strategies for the many-to-one IC are formulated, and channel conditions under which the strategies achieve sum-rate capacity are obtained. A region where the sum-rate capacity can be characterized to within K/2 -1 bits is also identified. Finally, the regions where the derived channel conditions are satisfied for each strategy are illustrated for a 3 x 3 many-to-one XC and the corresponding many-to-one IC.

Lo patronal, lo estatal y lo parental en la autobiografía de Ankhtifi de Mo'alla

Resumen: Entre las principales contribuciones académicas de Alicia Daneri, sobresale un estudio monográfico sobre el Primer Período Intermedio (Las Dinastías VII-VIII y el período heracleopolitano en Egipto, 1992). Allí, la Autobiografía de Ankhtifi de Mo‘alla es considerada en el marco de un análisis de la crisis política y socioeconómica que la historiografía ha señalado como el rasgo distintivo de la época. Posteriormente, Jan Assmann (The mind of Egypt, 2002 [1996]) ha abordado esa misma autobiografía, para destacar la emergencia de un nuevo tipo de actor social durante tal período, interpretado en clave de patronazgo. Ciertamente, aquella escena política en crisis facilita la percepción de una lógica social ligada a las prácticas patronales. Sin embargo, tal cosa no implica que otras grandes lógicas de organización social como aquellas que corresponden al ámbito estatal y al del parentesco no continúen gravitando con fuerza. El propósito de este artículo es el de reconsiderar la Autobiografía de Ankhtifi en un intento por vislumbrar el alcance específico de lo patronal, lo estatal y lo parental en el texto, lo que a su vez permite una reflexión más amplia sobre las características de la organización social y política en el valle del Nilo durante el Primer Período Intermedio.

Peregrinación a la cibdat de gygantes : configuración del imaginario geográfico bíblico en La fazienda de Ultramar

Resumen: Dado que la imaginación medieval del mundo se nutre de ideas directamente heredadas de la Biblia, a menudo en contienda con la exploración empírica del globo terrestre, el estudio de los relatos de viajes en general, y de las guías de peregrinos a Tierra Santa en particular, nos permite comprender el modo en que el hombre de letras medieval se apropiaba del imaginario bíblico para darle forma a un mundo cuyos límites exóticos cobraban familiaridad por ser el escenario de las historias más apreciadas por los lectores de la época. Dentro del repertorio de literatura de viajes hispánica, La fazienda de Ultramar, cuya redacción se habría llevado a cabo a comienzos del siglo XIII, es un texto de singular importancia, por ser una de las más antiguas versiones en romance de la Biblia. No solo es un texto fundacional para una tradición que cambió la forma en que el hombre medieval se acercaba a las Sagradas Escrituras, sino que, debido a su carácter de itinerarium, nos permite conocer el modo en que la Biblia afectaba la imaginación del lector medieval acerca de la geografía de Tierra Santa. Es por ello que el propósito de esta comunicación será analizar el modo en que la estructura de itinerarium incide sobre el tratamiento del texto sagrado y la forma en que la lógica narrativa de los episodios bíblicos se subordina a la geográfica. De esta forma, se intentará echar luz sobre algunas cuestiones que han limitado el estudio de esta obra.

The Annual Economic Survey of Federal Gulf Shrimp Permit Holders: Report on the Design, Implementation, and Descriptive Results for 2006

This technical memorandum documents the design, implementation, data preparation, and descriptive results for the 2006 Annual Economic Survey of Federal Gulf Shrimp Permit Holders. The data collection was designed by the NOAA Fisheries Southeast Fisheries Science Center Social Science Research Group to track the financial and economic status and performance by vessels holding a federal moratorium permit for harvesting shrimp in the Gulf of Mexico. A two page, self-administered mail survey collected total annual costs broken out into seven categories and auxiliary economic data. In May 2007, 580 vessels were randomly selected, stratified by state, from a preliminary population of 1,709 vessels with federal permits to shrimp in offshore waters of the Gulf of Mexico. The survey was implemented during the rest of 2007. After many reminder and verification phone calls, 509 surveys were deemed complete, for an ineligibility-adjusted response rate of 90.7%. The linking of each individual vessel’s cost data to its revenue data from a different data collection was imperfect, and hence the final number of observations used in the analyses is 484. Based on various measures and tests of validity throughout the technical memorandum, the quality of the data is high. The results are presented in a standardized table format, linking vessel characteristics and operations to simple balance sheet, cash flow, and income statements. In the text, results are discussed for the total fleet, the Gulf shrimp fleet, the active Gulf shrimp fleet, and the inactive Gulf shrimp fleet. Additional results for shrimp vessels grouped by state, by vessel characteristics, by landings volume, and by ownership structure are available in the appendices. The general conclusion of this report is that the financial and economic situation is bleak for the average vessels in most of the categories that were evaluated. With few exceptions, cash flow for the average vessel is positive while the net revenue from operations and the “profit” are negative. With negative net revenue from operations, the economic return for average shrimp vessels is less than zero. Only with the help of government payments does the average owner just about break even. In the short-term, this will discourage any new investments in the industry. The financial situation in 2006, especially if it endures over multiple years, also is economically unsustainable for the average established business. Vessels in the active and inactive Gulf shrimp fleet are, on average, 69 feet long, weigh 105 gross tons, are powered by 505 hp motor(s), and are 23 years old. Three-quarters of the vessels have steel hulls and 59% use a freezer for refrigeration. The average market value of these vessels was $175,149 in 2006, about a hundred-thousand dollars less than the average original purchase price. The outstanding loans averaged $91,955, leading to an average owner equity of $83,194. Based on the sample, 85% of the federally permitted Gulf shrimp fleet was actively shrimping in 2006. Of these 386 active Gulf shrimp vessels, just under half (46%) were owner-operated. On average, these vessels burned 52,931 gallons of fuel, landed 101,268 pounds of shrimp, and received $2.47 per pound of shrimp. Non-shrimp landings added less than 1% to cash flow, indicating that the federal Gulf shrimp fishery is very specialized. The average total cash outflow was $243,415 of which $108,775 was due to fuel expenses alone. The expenses for hired crew and captains were on average $54,866 which indicates the importance of the industry as a source of wage income. The resulting average net cash flow is $16,225 but has a large standard deviation. For the population of active Gulf shrimp vessels we can state with 95% certainty that the average net cash flow was between $9,500 and $23,000 in 2006. The median net cash flow was $11,843. Based on the income statement for active Gulf shrimp vessels, the average fixed costs accounted for just under a quarter of operating expenses (23.1%), labor costs for just over a quarter (25.3%), and the non-labor variable costs for just over half (51.6%). The fuel costs alone accounted for 42.9% of total operating expenses in 2006. It should be noted that the labor cost category in the income statement includes both the actual cash payments to hired labor and an estimate of the opportunity cost of owner-operators’ time spent as captain. The average labor contribution (as captain) of an owner-operator is estimated at about $19,800. The average net revenue from operations is negative $7,429, and is statistically different and less than zero in spite of a large standard deviation. The economic return to Gulf shrimping is negative 4%. Including non-operating activities, foremost an average government payment of $13,662, leads to an average loss before taxes of $907 for the vessel owners. The confidence interval of this value straddles zero, so we cannot reject, with 95% certainty, that the population average is zero. The average inactive Gulf shrimp vessel is generally of a smaller scale than the average active vessel. Inactive vessels are physically smaller, are valued much lower, and are less dependent on loans. Fixed costs account for nearly three quarters of the total operating expenses of $11,926, and only 6% of these vessels have hull insurance. With an average net cash flow of negative $7,537, the inactive Gulf shrimp fleet has a major liquidity problem. On average, net revenue from operations is negative $11,396, which amounts to a negative 15% economic return, and owners lose $9,381 on their vessels before taxes. To sustain such losses and especially to survive the negative cash flow, many of the owners must be subsidizing their shrimp vessels with the help of other income or wealth sources or are drawing down their equity. Active Gulf shrimp vessels in all states but Texas exhibited negative returns. The Alabama and Mississippi fleets have the highest assets (vessel values), on average, yet they generate zero cash flow and negative $32,224 net revenue from operations. Due to their high (loan) leverage ratio the negative 11% economic return is amplified into a negative 21% return on equity. In contrast, for Texas vessels, which actually have the highest leverage ratio among the states, a 1% economic return is amplified into a 13% return on equity. From a financial perspective, the average Florida and Louisiana vessels conform roughly to the overall average of the active Gulf shrimp fleet. It should be noted that these results are averages and hence hide the variation that clearly exists within all fleets and all categories. Although the financial situation for the average vessel is bleak, some vessels are profitable. (PDF contains 101 pages)

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Coral Remote Sensing Workshop: Proceedings and Recommendations, 17-18 September, Sheraton, Brickell Ave, Miami FL

Coral reefs exist in warm, clear, and relatively shallow marine waters worldwide. These complex assemblages of marine organisms are unique, in that they support highly diverse, luxuriant, and essentially self-sustaining ecosystems in otherwise nutrient-poor and unproductive waters. Coral reefs are highly valued for their great beauty and for their contribution to marine productivity. Coral reefs are favorite destinations for recreational diving and snorkeling, as well as commercial and recreational fishing activities. The Florida Keys reef tract draws an estimated 2 million tourists each year, contributing nearly $800 million to the economy. However, these reef systems represent a very delicate ecological balance, and can be easily damaged and degraded by direct or indirect human contact. Indirect impacts from human activity occurs in a number of different forms, including runoff of sediments, nutrients, and other pollutants associated with forest harvesting, agricultural practices, urbanization, coastal construction, and industrial activities. Direct impacts occur through overfishing and other destructive fishing practices, mining of corals, and overuse of many reef areas, including damage from souvenir collection, boat anchoring, and diver contact. In order to protect and manage coral reefs within U.S. territorial waters, the National Oceanic and Atmospheric Administration (NOAA) of the U.S. Department of Commerce has been directed to establish and maintain a system of national marine sanctuaries and reserves, and to monitor the condition of corals and other marine organisms within these areas. To help carry out this mandate the NOAA Coastal Services Center convened a workshop in September, 1996, to identify current and emerging sensor technologies, including satellite, airborne, and underwater systems with potential application for detecting and monitoring corals. For reef systems occurring within depths of 10 meters or less (Figure 1), mapping location and monitoring the condition of corals can be accomplished through use of aerial photography combined with diver surveys. However, corals can exist in depths greater than 90 meters (Figure 2), well below the limits of traditional optical imaging systems such as aerial or surface photography or videography. Although specialized scuba systems can allow diving to these depths, the thousands of square kilometers included within these management areas make diver surveys for deeper coral monitoring impractical. For these reasons, NOAA is investigating satellite and airborne sensor systems, as well as technologies which can facilitate the location, mapping, and monitoring of corals in deeper waters. The following systems were discussed as having potential application for detecting, mapping, and assessing the condition of corals. However, no single system is capable of accomplishing all three of these objectives under all depths and conditions within which corals exist. Systems were evaluated for their capabilities, including advantages and disadvantages, relative to their ability to detect and discriminate corals under a variety of conditions. (PDF contains 55 pages)

Biology, Oceanography, and Fisheries of the North Pacific Transition Zone and Subarctic Frontal Zone: Papers from the North Pacific Transition Zone Workshop, Honolulu, Hawaii, 9-11 May 1988

In the past few years, large-scale, high-seas driftnet fishing has sparked intense debate and political conflict in many oceanic regions. In the Pacific Ocean the driftnet controversy first emerged in the North Pacific transition zone and subarctic frontal zone, where driftnet vessels from Japan, the Republic of Korea, and Taiwan pursue their target species of neon flying squid. Other North Pacific driftnet fleets from Japan and Taiwan target stocks of tunas and billfishes. Both types of driftnet fishing incidentally kill valued non-target species of marine life, including fish, mammals, birds, and turtles. In response to public concerns about driftnet fishing, government scientists began early on to assemble available information and consider what new data were required to assess impacts on North Pacific marine resources and the broader pelagic ecosystem. Accordingly, a workshop was convened at the NMFS Honolulu Laboratory in May 1988 to review current information on the biology, oceanography, and fisheries of the North Pacific transition zone and subarctic frontal zone. The workshop participants, from the United States and Canada, also developed a strategic plan to guide NMFS in developing a program of driftnet fishery research and impact assessment. This volume contains a selection of scientific review papers presented at the 1988 Honolulu workshop. The papers represent part of the small kernel of information available then, prior to the expansion of cooperative international scientific programs. Subsequent driftnet fishery monitoring and research by the United States, Canada, Japan, Korea, and Taiwan have added much new data. Nevertheless, this collection of papers provides a historical perspective and contains useful information not readily available elsewhere. (PDF file contains 118 pages.)

The Ballad of Whoi Bob: a tale of the IGY or the Briny Deep Discovered, with many particulars of the extraordinary adventures and the heroic tasks of science at sea

PDF contains 19 pages