2,392 research outputs found
The Contribution of the Smectic-Nematic Interface to the Surface Energy
The contribution of the smectic-nematic interface to the surface energy of a
nematic liquid crystal sample is analyzed. By means of a simple model it is
shown that the surface energy depends on the thickness of the region over which
the transition smectic-nematic takes place. For perfectly flat substrates this
thickness is of the order of the correlation length entering in the transition.
An estimate of this contribution shows that it is greater than the one arising
from the nematic-substrate interaction. Moreover, it is also shown that the
surface energy determined in this way presents a non-monotonic behavior with
the temperature.Comment: 10 pages, revte
Combining micro and macro data in hedonic price indexes
This paper proposes arithmetic and geometric Paasche quality-adjusted price indexes that combine micro data from the base period with macro data on the averages of asset prices and characteristics at the index period. The suggested indexes have two types of advantages relative to traditional Paasche indexes: (i) simplification and cost reduction of data acquisition and manipulation; and (ii) potentially greater efficiency and robustness to sampling problems. A Monte Carlo simulation study and an empirical application concerning the housing market illustrate some of those advantages.info:eu-repo/semantics/publishedVersio
Taxa de fertilização e vingamento de frutos de Bertholletia excelsa.
Conhecer com mais detalhes a formação e desenvolvimento dos frutos da castanheira se faz necessário para subsidiar estudos futuros que busquem maximizar a produtividade de Bertholletia excelsa em cultivos ou mesmo em áreas de extrativismo. Seu fruto tem um alto valor nutricional, sendo rico em proteínas, fibras, vitaminas, lipídios, minerais e selênio, e é um produto que pode ser consumido tanto in natura como industrializado. É um dos principais produtos florestais não-madeireiros que gera renda para as famílias residentes em florestas, na Amazônia, sendo amplamente reconhecida como uma espécie modelo para a conservação florestal. O presente trabalho tem por finalidade avaliar aspectos visuais do desenvolvimento de frutos da castanheira a fim de auxiliar em estudo futuro para determinação da curva de crescimento dos frutos e sementes de castanha-do-brasil. O número médio de flores por inflorescência foi de 139,6. Nas inflorescências manipuladas apenas 2,7% das flores contadas geraram frutos, enquanto que em inflorescências não manipuladas esse valor seria da ordem de 10%. Observou-se 75% de aborto nas inflorescências manipuladas e nas não manipuladas nenhum aborto foi observado após 70 dias
Parallel Recursive State Compression for Free
This paper focuses on reducing memory usage in enumerative model checking,
while maintaining the multi-core scalability obtained in earlier work. We
present a tree-based multi-core compression method, which works by leveraging
sharing among sub-vectors of state vectors.
An algorithmic analysis of both worst-case and optimal compression ratios
shows the potential to compress even large states to a small constant on
average (8 bytes). Our experiments demonstrate that this holds up in practice:
the median compression ratio of 279 measured experiments is within 17% of the
optimum for tree compression, and five times better than the median compression
ratio of SPIN's COLLAPSE compression.
Our algorithms are implemented in the LTSmin tool, and our experiments show
that for model checking, multi-core tree compression pays its own way: it comes
virtually without overhead compared to the fastest hash table-based methods.Comment: 19 page
Recommended from our members
A 3D printed drug delivery implant formed from a dynamic supramolecular polyurethane formulation
Using a novel molecular design approach, we have prepared a thermo-responsive supramolecular polyurethane as a matrix material for use in drug eluting implants. The dynamic supramolecular polyurethane (SPU) is able to self-assemble through hydrogen bonding and π-π stacking interactions, resulting in an addressable polymer network with a relatively low processing temperature. The mechanical properties of the SPU demonstrated the material was self-supporting, stiff, yet flexible thus making it suitable for hot-melt extrusion processing, inclusive of related 3D printing approaches. Cell-based toxicity assays revealed the SPU to be non-toxic and therefore a viable candidate as a biocompatible polymer for implant applications. To this end, the SPU was formulated with paracetamol (16 %w/w) and 4 wt% or 8 wt% poly(ethylene glycol) (PEG) as an excipient and hot melt extruded at 100 °C to afford a 3D printed prototype implant to explore the extended drug release required for an implant and the potential manipulation of the release profile. Furthermore, rheological, infra-red spectroscopy, powder X-ray diffraction and scanning electron microscopy studies revealed the chemical and physical properties and compatibility of the formulation components. Successful release of paracetamol was achieved from in vitro dissolution studies and it was predicted that the drug would be released over a period of up to 8.5 months with hydrophilic PEG being able to influence the release rate. This extended release time is consistent with applications of this novel dynamic polymer as a drug eluting implant matrix
Dispersão primária de frutos da castanheira (Bertholletia excelsa Bonpl.): importância para o manejo e a conservação da espécie.
A castanha-do-brasil (Bertholletia excelsa Bonpl.) é um produto florestal não madeireiro de destaque, por consolidar aspectos econômicos, sociais e ecológicos. No entanto, práticas de manejo ainda precisam ser estabelecidas para que a extração desse produto seja realizada de forma segura, a fim de que o extrativista tenha um produto de qualidade e que seja sustentável para a espécie. Este estudo foi realizado com o objetivo de avaliar a dinâmica da dispersão primária de frutos de Bertholletia excelsa em um castanhal nativo no estado do Acre, buscando obter informações que subsidiem uma definição segura sobre a melhor época e o intervalo de coleta dos frutos. Durante o período de dispersão, 20 árvores foram monitoradas, sendo seus frutos contados e marcados de acordo com o tempo de queda. A queda dos frutos ocorreu em picos, sendo que, após 50 dias do início da dispersão, praticamente todos os frutos já haviam caído. Os resultados deste estudo indicam que a coleta deve começar a partir da oitava semana após o início da dispersão, e apenas um retorno às árvores deve ser realizado para a coleta dos frutos remanescentes, proporcionando ganhos em termos de qualidade e maior eficiência na produtividade
Geração on-line de mapas agrometeorológicos.
Poucos são os sistemas de monitoramento agrometeorológico que organizam os dados coletados por estações meteorológicas, que realizam os cálculos de determinadas variáveis (p.e. dias sem chuva, temperatura máxima, evapotranspiração, etc.) e que geram mapas temáticos como uma das formas de apresentação dos dados. Objetivando preencher esta lacuna e implantar um sistema de monitoramento agrometeorológico em âmbito Nacional, foi criado o Agritempo, resultado de uma parceria entre a Embrapa Informática Agropecuária e o Centro de Pesquisas Meteorológicas e Climáticas aplicadas à Agricultura (Cepagri/Unicamp) (Embrapa Informática agropecuária, 2003).bitstream/CNPTIA/10040/1/comtec47.pdfAcesso em: 30 maio 2008
Estimativa da Eto pelo modelo Penman-Monteith FAO com dados mínimos integrada a um Sistema de Informação Geográfica.
O objetivo do presente trabalho foi avaliar a metodologia de estimativa da EtoPM utilizando dados mínimos integrados a um Sistema de Informação Geográfica, na bacia do Jaguaribe, Ceará. Foi utilizado o sistema integrado de modelagem regional PRECIS (Providing Regional Climates for Impacts Studies), versão 1.2, utilizando as condições de contorno do Modelo Climático Global, HadAM3P, acoplado ao Modelo Climático Regional (HadRM3P), através da técnica dinâmica de redução de escala (downscaling). Dados mensais de temperaturas máxima e mínima e precipitação foram gerados para o período de 1961-1990, os quais foram analisados quanto a sua variabilidade espacial (latitude/longitude), utilizando-se geoestatística (krigagem). Para validação, foi aplicada regressão linear entre EtoPM estimada com dados mínimos e estimada com dados medidos através de uma estação meteorológica de referência. A média da EtoPM anual estimada com dados mínimos situou-se em 1.719 mm. A metodologia funcionou satisfatoriamente na região estudada, considerando-se os resultados da regressão (coeficiente angular de 0,95, coeficiente de determinação de 0,902, resíduos menores que 0,45 mm dia-1 e Raiz do Quadrado Médio do Erro (RQME) igual a 0,067 mm dia-1)
Improved On-The-Fly Livelock Detection:Combining Partial Order Reduction and Parallelism for DFSFIFO
- …