A planar magneto-inductive lens for three-dimensional subwavelength imaging

A planar near-field magnetoinductive lens operating in the microwave range is presented. The proposed device consists of two parallel planar arrays of metallic broadside coupled (BC-) split ring resonators (SRRs), or BC-SRRs. Power coming from a point-like source located in front of the lens is focused into a receiver located in free space behind the device. This focus is clearly removed from the back side of the lens, and has a size which is an order of magnitude smaller than the free space wavelength of the incoming radiation. The imaging properties of the device mainly relies on the excitation of magnetoinductive surface waves on the BC-SRR arrays. By simply scaling the BC-SRRs size, as well as the arrays periodicity, the frequency of operation of the device can be tuned over a wide frequency range. Thus the proposed design is potentially useful for many applications ranging from megahertzs to terahertzs.Comment: 14 pages, 3 figures, submitted to Applied Physics Letter

Hydrogen-bonding synthons in lamotrigine salts: 3,5-diamino-6-(2,3-dichlorophenyl)-1,2,4-triazin-2-ium 2-[(2-carboxyphenyl)disulfanyl]benzoate in its monohydrate and anhydrous forms

Lamotrigine is a drug used in the treatment of epilepsy and related convulsive diseases. The drug in its free form is rather inadequate for pharmacological use due to poor absorption by the patient, which limits its bioavailability. On the other hand, the lamotrigine mol­ecule is an excellent hydrogen-bonding agent and this has been exploited intensively in the search for better formulations. The formulation presently commercialized (under the brand name Lamictal) is rather complex and includes a number of anions in addition to the active pharmaceutical ingredient (API). The title salts of lamotrigine, namely 3,5-di­amino-6-(2,3-di­chloro­phen­yl)-1,2,4-triazin-2-ium 2-[(2-carb­oxy­phen­yl)di­sul­fan­yl]benzoate monohydrate, C9H8Cl2N5+·C14H9O4S2-·H2O, (I), and the anhydrate, C9H8Cl2N5+·C14H9O4S2-, (II), contain a lamotriginium cation (L), a hydrogen di­thio­dibenzoate monoanion (D) and, in the case of (I), a disordered solvent water mol­ecule. Both L and D present their usual configurations severely twisted around their central C-C and S-S bonds, respectively. The supra­molecular structure generated by the many available donor and acceptor sites is characterized by a planar anti­symmetric motif of the form D-L-L-D, i.e. the structural building block. Although this characteristic motif is extremely similar in both structures, its conformation involves different donors and acceptors in its R22(8) central L-L homosynthon. The lateral R22(8) D-L hetero­synthons are, on the other hand, identical. These substructures are further connected by strong hydrogen bonds into broad two-dimensional structures, in turn weakly linked to each other. Even if the homo- and heterosynthons in (I) and (II) are rather frequent in lamotrigine structural chemistry, the composite tetra­meric synthon appears to be much less common. The occurrence of these motifs among lamotrigine salts and cocrystals is analyzed.Fil: Freire Espeleta, Eleonora. Comisión Nacional de Energía Atómica. Centro Atómico Constituyentes; Argentina. Universidad Nacional de San Martín. Escuela de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Polla, Griselda Ines. Comisión Nacional de Energía Atómica. Centro Atómico Constituyentes; ArgentinaFil: Baggio, Ricardo Fortunato. Comisión Nacional de Energía Atómica. Centro Atómico Constituyentes; Argentin

EVALUATING SATELLITE DERIVED BATHYMETRY IN REGARD TO TOTAL PROPAGATED UNCERTAINTY, MULTI-TEMPORAL CHANGE DETECTION, AND MULTIPLE NON-LINEAR ESTIMATION

Acoustic and electromagnetic hydrographic surveys produce highly-accurate bathymetric data that can be used to update and improve current nautical charts. For shallow-water surveys (i.e., less than 50m depths), this includes the use of single-beam echo-sounders (SBES), multi-beam echo-sounders (MBES), and airborne lidar bathymetry (ALB). However, these types of hydrographic surveys are time-consuming and require considerable financial and operational resources to conduct. As a result, some maritime regions are seldom surveyed due to their remote location and challenging logistics. Satellite-derived bathymetry (SDB) provides a means to supplement traditional acoustic hydrographic surveys. In particular, Landsat 8 imagery: 1) provides complete coverage of the Earth’s surface every 16 days, 2) has an improved dynamic range (12-bits), and 3) is freely-available from the US Geological Survey. While the 30 m spatial resolution does not match MBES, ALB, or SBES coverage, SDB based on Landsat 8 can be regarded as a type of “reconnaissance survey” that can be used to identify potential hazards to navigation in areas that are seldom surveyed. It is also a useful means to monitor change detection in dynamic regions. This study focused on developing improved image-processing techniques and time-series analysis for SDB from Landsat 8 imagery for three different applications: 1. An improved means to estimate total propagated uncertainty (TPU), mainly the vertical component, for single-image SDB; 2. Identifying the location and movement of dynamic shallow areas in river entrances based on multiple-temporal Landsat 8 imagery; 3. Using a multiple, nonlinear SDB approach to enhance depth estimations and enable bottom discrimination. An improved TPU estimation was achieved based on the two most common optimization approaches (Dierssen et al., 2003 and Stumpf et al., 2003). Various single-image SDB band-ratio outcomes and associated uncertainties were compared against ground truth (i.e., recent Lidar surveys). Several parameters were tested, including various types of filters, kernel sizes, number of control points and their coverage, and recent vs. outdated control points. Based on the study results for two study sites (Cape Ann, MA and Ft Myers, FL), similar performance was observed for both the Stumpf and the Dierssen models. Validation was performed by comparing estimated depths and uncertainties to observed ALB data. The best performing configuration was achieved using low-pass filter (kernel size 3x3) with ALB control points that were distributed over the entire study site. A change detection process using image processing was developed to identify the location and movement of dynamic shallow areas in riverine environments. Yukon River (Alaska) and Amazon River (Brazil) entrances were evaluated as study sites using multiple satellite imagery. A time-series analysis was used to identify probable shallow areas with no usable control points. By using an SDB ratio model with image processing techniques that includes feature extraction and a well-defined topological feature to describe the shoal feature, it is possible to create a time-series of the shoal’s motion, and predict its future location. A further benefit of this approach is that vertical referencing of the SDB ratio model to chart datum is not required. In order to enhance the capabilities of the SDB approach to estimate depth in non-uniform conditions, Dierssen’s band ration SDB algorithm was transformed into a full non-linear SDB model. The model was evaluated in the Simeonof Island, AK, using Lidar control points from a previous NOAA ALB survey. Linear and non-linear SDB models were compared using the ALB survey for performance evaluation. The multi-nonlinear SDB model provides an enhanced performance compared to the more traditional linear SDB method. This is most noticeable in the very shallow waters (0-2 m), where a linear model does not provide a good correlation to the control points. In deep-waters close to the extinction depth, the multi-nonlinear SDB method is also able to better detect bottom features than the linear SDB method. By recognizing the water column contributions to the SDB solution, it is possible to achieve a more accurate estimate of the bathymetry in remote areas

Experimental demonstration of a mu=-1 metamaterial lens for magnetic resonance imaging

In this work a mu=-1 metamaterial (MM) lens for magnetic resonance imaging (MRI) is demonstrated. MRI uses surface coils to detect the radiofrequency(RF) energy absorbed and emitted by the nuclear spins in the imaged object. The proposed MM lens manipulates the RF field detected by these surface coils, so that the coil sensitivity and spatial localization is substantially improved. Beyond this specific application, we feel that the reported results are the experimental confirmation of a new concept for the manipulation of RF field in MRI, which paves the way to many other interesting applications.Comment: 9 pages, 3 figure

Cooperative memory and database transactions

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia InformáticaSince the introduction of Software Transactional Memory (STM), this topic has received a strong interest by the scientific community, as it has the potential of greatly facilitating concurrent programming by hiding many of the concurrency issues under the transactional layer, being in this way a potential alternative to the lock based constructs, such as mutexes and semaphores. The current practice of STM is based on keeping track of changes made to the memory and, if needed, restoring previous states in case of transaction rollbacks. The operations in a program that can be reversible,by restoring the memory state, are called transactional operations. The way that this reversibility necessary to transactional operations is achieved is implementation dependent on the STM libraries being used. Operations that cannot be reversed,such as I/O to external data repositories (e.g., disks) or to the console, are called nontransactional operations. Non-transactional operations are usually disallowed inside a memory transaction, because if the transaction aborts their effects cannot be undone. In transactional databases, operations like inserting, removing or transforming data in the database can be undone if executed in the context of a transaction. Since database I/O operations can be reversed, it should be possible to execute those operations in the context of a memory transaction. To achieve such purpose, a new transactional model unifying memory and database transactions into a single one was defined, implemented, and evaluated. This new transactional model satisfies the properties from both the memory and database transactional models. Programmers can now execute memory and database operations in the same transaction and in case of a transaction rollback, the transaction effects in both the memory and the database are reverted

Maintaining the correctness of transactional memory programs

Dissertação para obtenção do Grau de Doutor em Engenharia InformáticaThis dissertation addresses the challenge of maintaining the correctness of transactional memory programs, while improving its parallelism with small transactions and relaxed isolation levels. The efficiency of the transactional memory systems depends directly on the level of parallelism, which in turn depends on the conflict rate. A high conflict rate between memory transactions can be addressed by reducing the scope of transactions, but this approach may turn the application prone to the occurrence of atomicity violations. Another way to address this issue is to ignore some of the conflicts by using a relaxed isolation level, such as snapshot isolation, at the cost of introducing write-skews serialization anomalies that break the consistency guarantees provided by a stronger consistency property, such as opacity. In order to tackle the correctness issues raised by the atomicity violations and the write-skew anomalies, we propose two static analysis techniques: one based in a novel static analysis algorithm that works on a dependency graph of program variables and detects atomicity violations; and a second one based in a shape analysis technique supported by separation logic augmented with heap path expressions, a novel representation based on sequences of heap dereferences that certifies if a transactional memory program executing under snapshot isolation is free from writeskew anomalies. The evaluation of the runtime execution of a transactional memory algorithm using snapshot isolation requires a framework that allows an efficient implementation of a multi-version algorithm and, at the same time, enables its comparison with other existing transactional memory algorithms. In the Java programming language there was no framework satisfying both these requirements. Hence, we extended an existing software transactional memory framework that already supported efficient implementations of some transactional memory algorithms, to also support the efficient implementation of multi-version algorithms. The key insight for this extension is the support for storing the transactional metadata adjacent to memory locations. We illustrate the benefits of our approach by analyzing its impact with both single- and multi-version transactional memory algorithms using several transactional workloads.Fundação para a Ciência e Tecnologia - PhD research grant SFRH/BD/41765/2007, and in the research projects Synergy-VM (PTDC/EIA-EIA/113613/2009), and RepComp (PTDC/EIAEIA/ 108963/2008

Nautical Chart Adequacy Evaluation Using Publicly-Available Data

The International Hydrographic Office (IHO) C-55 publication communicates the need to improve the collection, quality and availability of hydrographic data world-wide, while also monitoring and rectifying possible deficiencies and shortcomings that are presented on the chart. This task of evaluating the adequacy of nautical chart products poses a challenge to many national hydrographic offices. This stems from the dearth of readily available spatial information: namely, the lack of reliable and accessible vessel traffic data, and little means to assess the changing nature of both near-shore bathymetry and shoreline in a simple and reliable manner. In this paper, we present the potential use of automatic-identification system (AIS) data, satellite-derived bathymetry (SDB), and airborne-lidar bathymetry (ALB) to provide an operational procedure for evaluating the adequacy and completeness of information of NOAA charts. Preliminary results from three U.S. study sites are presented in this paper: Nantucket Sound, MA; Barnegat Bay Inlet, NJ; and Barataria Bay, LA. Based on the publically-available datasets it was possible to identify changes in the charts and develop a reconnaissance procedure to monitor these changes on a yearly basis

Optimizing the magnetoinductive lens: Improvement, limits, and possible applications

In this contribution, the basic concepts underlying the physics of magnetoinductive MI lenses are developed and the main practical limitations to their performances are analyzed. Strategies to overcome such limitations are proposed. Possible applications of MI lenses in magnetic resonance imaging are discussed.Ministerio de Ciencia y Educación de España-TEC2004-04249-C02-02Junta de Andalucía-P06-TIC-0136