Linear random knots and their scaling behavior

We present here a nonbiased probabilistic method that allows us to consistently analyze knottedness of linear random walks with up to several hundred noncorrelated steps. The method consists of analyzing the spectrum of knots formed by multiple closures of the same open walk through random points on a sphere enclosing the walk. Knottedness of individual "frozen" configurations of linear chains is therefore defined by a characteristic spectrum of realizable knots. We show that in the great majority of cases this method clearly defines the dominant knot type of a walk, i.e., the strongest component of the spectrum. In such cases, direct end-to-end closure creates a knot that usually coincides with the knot type that dominates the random closure spectrum. Interestingly, in a very small proportion of linear random walks, the knot type is not clearly defined. Such walks can be considered as residing in a border zone of the configuration space of two or more knot types. We also characterize the scaling behavior of linear random knots.

Polydispersity index from linear viscoelastic data: Unimodal and bimodal linear polymer melts

This article describes a method for determining the polydispersity index Ip2=Mz/Mw of the molecular weight distribution (MWD) of linear polymeric materials from linear viscoelastic data. The method uses the Mellin transform of the relaxation modulus of a simple molecular rheological model. One of the main features of this technique is that it enables interesting MWD information to be obtained directly from dynamic shear experiments. It is not necessary to achieve the relaxation spectrum, so the ill-posed problem is avoided. Furthermore, a determinate shape of the continuous MWD does not have to be assumed in order to obtain the polydispersity index. The technique has been developed to deal with entangled linear polymers, whatever the form of the MWD is. The rheological information required to obtain the polydispersity index is the storage G′(ω) and loss G″(ω) moduli, extending from the terminal zone to the plateau region. The method provides a good agreement between the proposed theoretical approach and the experimental polydispersity indices of several linear polymers for a wide range of average molecular weights and polydispersity indices. It is also applicable to binary blends.

Determinação da tensão de água em solo agrícola usando um sensor de dissipação de calor

Um estudo foi realizado sob condições de laboratório e de campo objetivando avaliar um sensor de solo utilizado para determinação da temperatura e da tensão da água no solo. Devido à solubilidade do gesso, material poroso utilizado na fabricação dos sensores, houve redução em área da seção transversal e volume, e aumento da porosidade efetiva desses sensores, em relação aos valores observados antes do início dos testes. Os valores médios da temperatura observados com os sensores foram praticamente iguais aos observados com um termômetro de referência com precisão de 0,1°C. Quando sensores saturados foram instalados a 5 cm de profundidade em um solo franco-argilo-siltoso secado ao ar, em relação a valores de Delta T, o tempo de resposta do sensor à secagem foi um pouco superior a 24 horas. Valores de Delta T observados, tanto no laboratório quanto no campo, apresentaram maior variabilidade na faixa representativa de solo seco, em comparação com o solo úmido. Sob condições de campo, não houve diferença estatística (teste F; 5%) entre as médias de Delta T obtidas com os sensores de dissipação de calor instalados a 10 cm de profundidade e as médias de tensão obtidas com tensiômetros e transformadas para Delta T.

Comparison between a linear ion trap and a triple quadruple MS in the sensitive detection of large peptides at femtomole amounts on column.

In addition to the importance of sample preparation and extract separation, MS detection is a key factor in the sensitive quantification of large undigested peptides. In this article, a linear ion trap MS (LIT-MS) and a triple quadrupole MS (TQ-MS) have been compared in the detection of large peptides at subnanomolar concentrations. Natural brain natriuretic peptide, C-peptide, substance P and D-Junk-inhibitor peptide, a full D-amino acid therapeutic peptide, were chosen. They were detected by ESI and simultaneous MS(1) and MS(2) acquisitions. With direct peptide infusion, MS(2) spectra revealed that fragmentation was peptide dependent, milder on the LIT-MS and required high collision energies on the TQ-MS to obtain high-intensity product ions. Peptide adsorption on surfaces was overcome and peptide dilutions ranging from 0.1 to 25 nM were injected onto an ultra high-pressure LC system with a 1 mm id analytical column and coupled with the MS instruments. No difference was observed between the two instruments when recording in LC-MS(1) acquisitions. However, in LC-MS(2) acquisitions, a better sensitivity in the detection of large peptides was observed with the LIT-MS. Indeed, with the three longer peptides, the typical fragmentation in the TQ-MS resulted in a dramatic loss of sensitivity (> or = 10x).

Micro-Computer Based Linear Scheduling Application for Highway Construction Project Control, HR-339A, 1995

This report describes a new approach to the problem of scheduling highway construction type projects. The technique can accurately model linear activities and identify the controlling activity path on a linear schedule. Current scheduling practices are unable to accomplish these two tasks with any accuracy for linear activities, leaving planners and manager suspicious of the information they provide. Basic linear scheduling is not a new technique, and many attempts have been made to apply it to various types of work in the past. However, the technique has never been widely used because of the lack of an analytical approach to activity relationships and development of an analytical approach to determining controlling activities. The Linear Scheduling Model (LSM) developed in this report, completes the linear scheduling technique by adding to linear scheduling all of the analytical capabilities, including computer applications, present in CPM scheduling today. The LSM has tremendous potential, and will likely have a significant impact on the way linear construction is scheduled in the future.

Comparação de métodos de condução de populações segregantes do feijoeiro

A eficiência de cinco métodos de condução de populações segregantes foi comparada na cultura do feijoeiro. Para isso foi utilizada a população segregante do cruzamento entre as cultivares Carioca x Flor de Mayo. Foram comparados os métodos genealógico, populacional ou bulk, descendentes de uma única semente ou single seed descent (SSD), bulk dentro de F3 e bulk dentro de F2, os quais foram conduzidos conforme o preconizado em relação a cada método. Os métodos foram avaliados em dois locais: Lavras, no sul de Minas Gerais, e Patos de Minas, localizado na região do Alto São Francisco. Utilizou-se delineamento látice triplo 18 x 18. Foram avaliadas 320 famílias: 64, derivadas de cada um dos métodos, os genitores, e mais duas testemunhas. Com os dados de produtividade de grãos (g/parcela), foram obtidas estimativas de parâmetros genéticos e fenotípicos. Os principais critérios utilizados nas comparações foram o desempenho médio das famílias, o ganho esperado com diferentes intensidades de seleção, e o número de famílias em cada método com desempenho superior a um determinado padrão. Não houve diferenças marcantes entre os métodos, na obtenção de famílias superiores, ou seja: se conduzidos corretamente, todos os métodos permitem sucesso com a seleção. Contudo, considerando as estimativas dos parâmetros genéticos e fenotípicos, juntamente com a facilidade e flexibilidade de condução, os métodos do bulk e do SSD foram os mais vantajosos.

Modificaciones térmicas en las ciudades. Avance sobre la isla de calor en Barcelona

El articulo constituye la presentación de los primeros resultados del primer estudio empirico sobre la isla de calor en la ciudad de Barcelona. Tras un análisis de la bibliografia internacional sobre el tema y su evolución, se presenta la metodologia del trabajo, que se basa en la toma de observaciones en el campo, semanalmente, durante 10s años 1985 a 1987, a lo largo de cinco recorridos, previamente establecidos, a través del área metropolitana de Barcelona. En primer lugar, se analizan las caracteristicas morfológicas, ambientales y funcionales de los cinco recorridos. A continuación, con la contrastación de los datos meteorológicos convencionales, el estudio de las situaciones atmosféricas y el análisis de algunas imágenes de satélite, se llega a la conclusión de la existencia de una importante isla de calor en Barcelona, de 6,9 grado Celsius de intensidad máxima y de configuración y localización variables.

A general linear relaxometry model of R1 using imaging data.

PURPOSE: The longitudinal relaxation rate (R1 ) measured in vivo depends on the local microstructural properties of the tissue, such as macromolecular, iron, and water content. Here, we use whole brain multiparametric in vivo data and a general linear relaxometry model to describe the dependence of R1 on these components. We explore a) the validity of having a single fixed set of model coefficients for the whole brain and b) the stability of the model coefficients in a large cohort. METHODS: Maps of magnetization transfer (MT) and effective transverse relaxation rate (R2 *) were used as surrogates for macromolecular and iron content, respectively. Spatial variations in these parameters reflected variations in underlying tissue microstructure. A linear model was applied to the whole brain, including gray/white matter and deep brain structures, to determine the global model coefficients. Synthetic R1 values were then calculated using these coefficients and compared with the measured R1 maps. RESULTS: The model's validity was demonstrated by correspondence between the synthetic and measured R1 values and by high stability of the model coefficients across a large cohort. CONCLUSION: A single set of global coefficients can be used to relate R1 , MT, and R2 * across the whole brain. Our population study demonstrates the robustness and stability of the model. Magn Reson Med, 2014. © 2014 The Authors. Magnetic Resonance in Medicine published by Wiley Periodicals, Inc. Magn Reson Med 73:1309-1314, 2015. © 2014 Wiley Periodicals, Inc.

Controle genético e tolerância ao estresse de calor em populações híbridas e em cultivares de trigo

O objetivo deste trabalho foi obter informações sobre o controle genético da produtividade de grãos de trigo sob condições de estresse de calor, o grau de tolerância ao estresse de calor de algumas cultivares e linhagens e a identificação de populações segregantes promissoras para a obtenção de linhagens adaptadas às condições da região central do Brasil. Foram avaliados 13 parentais e 40 populações provenientes de um dialelo parcial, nas gerações F1 e F2 em condições de campo, em Lavras e Patos de Minas, MG, com as semeaduras feitas no verão (fevereiro) e no inverno (maio). Houve diferença de tolerância ao calor entre os parentais e entre as populações híbridas quanto ao caráter produção de grãos, e ambos os efeitos aditivos e não-aditivos foram importantes no controle genético deste caráter na presença ou ausência de calor. Apesar da ocorrência de interações populações x épocas de semeadura, a alta repetibilidade dos efeitos da capacidade geral de combinação permite inferir a possibilidade de acelerar os programas de melhoramento na região, efetuando-se a seleção tanto na época de verão quanto no inverno.

Estimativa do fluxo de calor latente pelo balanço de energia em cultivo protegido de pimentão

O objetivo deste trabalho foi caracterizar e relacionar a radiação líquida com o calor latente equivalente, em mm de água, nos cultivos protegido e de campo, na cultura de pimentão. O experimento foi feito em Botucatu, SP. A estimativa do fluxo de calor latente foi feita pelo método do balanço de energia, por meio da razão de Bowen. Foram feitas medidas instantâneas da radiação líquida (Rn), dos fluxos convectivos de calor latente (LE) e sensível (H), do fluxo de calor no solo (G), e dos gradientes psicrométricos sobre a cultura. O cultivo protegido, apesar de receber menor quantidade de radiação solar global, foi mais eficiente na conversão da radiação líquida disponível em matéria seca total e na produtividade de frutos. No balanço de energia, o cultivo protegido apresentou razões G/Rn e LE/Rn inferiores e H/Rn superior, com um fluxo de calor latente, equivalente em milímetros, 45,43% menor que no cultivo no campo. Apresentou, ainda, menor quantidade de radiação líquida disponível e menores perdas de energia, mostrando-se mais eficiente no uso da água.

On the tractability of the piecewise-linear approximation for general discrete-choice network revenue management

The choice network revenue management (RM) model incorporates customer purchase behavioras customers purchasing products with certain probabilities that are a function of the offeredassortment of products, and is the appropriate model for airline and hotel network revenuemanagement, dynamic sales of bundles, and dynamic assortment optimization. The underlyingstochastic dynamic program is intractable and even its certainty-equivalence approximation, inthe form of a linear program called Choice Deterministic Linear Program (CDLP) is difficultto solve in most cases. The separation problem for CDLP is NP-complete for MNL with justtwo segments when their consideration sets overlap; the affine approximation of the dynamicprogram is NP-complete for even a single-segment MNL. This is in contrast to the independentclass(perfect-segmentation) case where even the piecewise-linear approximation has been shownto be tractable. In this paper we investigate the piecewise-linear approximation for network RMunder a general discrete-choice model of demand. We show that the gap between the CDLP andthe piecewise-linear bounds is within a factor of at most 2. We then show that the piecewiselinearapproximation is polynomially-time solvable for a fixed consideration set size, bringing itinto the realm of tractability for small consideration sets; small consideration sets are a reasonablemodeling tradeoff in many practical applications. Our solution relies on showing that forany discrete-choice model the separation problem for the linear program of the piecewise-linearapproximation can be solved exactly by a Lagrangian relaxation. We give modeling extensionsand show by numerical experiments the improvements from using piecewise-linear approximationfunctions.

Padrão eletroforético de proteínas resistentes ao calor em sementes de milho

Na aquisição e manutenção da tolerância à dessecação de sementes, há vários mecanismos envolvidos, entre eles a indução das proteínas resistentes ao calor. O objetivo deste trabalho foi avaliar mudanças no padrão eletroforético das proteínas resistentes ao calor de sementes de milho submetidas a alta temperatura de secagem, associando-as à sua tolerância. Foram utilizadas sementes de linhagens, híbridos simples e híbridos recíprocos colhidas com teor de água de aproximadamente 35% e secadas a 45°C. Sementes das linhagens secadas à sombra foram utilizadas como controle e sua qualidade fisiológica foi avaliada por meio do teste de germinação. As proteínas resistentes ao calor foram extraídas de eixos embrionários das sementes em tampão Tris HCl 0,05 M. Não foi possível determinar uma banda específica da fração das proteínas resistentes ao calor que possa servir como marcador da tolerância à alta temperatura de secagem. Houve estabilidade nos padrões de bandas das proteínas provenientes de sementes submetidas à secagem artificial e natural, mesmo quando foram observadas variações nos valores de germinação. Os padrões eletroforéticos das proteínas resistentes ao calor foram semelhantes entre as sementes híbridas e os respectivos recíprocos.

SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.

Maximum likelihood Linear Programming Data Fusion for Speaker Recognition

Biometric system performance can be improved by means of data fusion. Several kinds of information can be fused in order to obtain a more accurate classification (identification or verification) of an input sample. In this paper we present a method for computing the weights in a weighted sum fusion for score combinations, by means of a likelihood model. The maximum likelihood estimation is set as a linear programming problem. The scores are derived from a GMM classifier working on a different feature extractor. Our experimental results assesed the robustness of the system in front a changes on time (different sessions) and robustness in front a change of microphone. The improvements obtained were significantly better (error bars of two standard deviations) than a uniform weighted sum or a uniform weighted product or the best single classifier. The proposed method scales computationaly with the number of scores to be fussioned as the simplex method for linear programming.