A general implementation framework for tabled CLP

This paper describes a framework to combine tabling evalua- tion and constraint logic programming (TCLP). While this combination has been studied previously from a theoretical point of view and some implementations exist, they either suffer from a lack of efficiency, flex- ibility, or generality, or have inherent limitations with respect to the programs they can execute to completion (either with success or fail- ure). Our framework addresses these issues directly, including the ability to check for answer / call entailment, which allows it to terminate in more cases than other approaches. The proposed framework is experimentally compared with existing solutions in order to provide evidence of the mentioned advantages.

SONIA REGINA PRADO

A dissertação teve como objetivo principal estudar como uma Instituição de Ensino Superior Privada (IES) atuante no Brasil tem crescido pós Lei de Diretrizes e Bases (LDB) de 1996 até 2015, por meio da análise do curso de bacharelado em Administração de Empresas, nas modalidades: presencial, EAD e Flex (semipresencial). Para este fim, foi realizada uma pesquisa exploratória, de caráter qualitativo baseada no método do estudo de caso. Para coleta de evidências foram analisados relatórios corporativos (Annual Report, Relatórios Internos e outros documentos), entrevistas baseadas em roteiro semiestruturado com gestores da IES privada e observações. Dentre os principais achados, verificou-se que as principais estratégicas de crescimento da IES privada estudada se basearam em fusões e aquisições de outras IES, abertura de novos polos de EAD, na abertura de novas unidades próprias, bem como em inovações em várias dimensões da organização. Os programas governamentais de financiamento aos alunos também são fortes contribuintes para este crescimento, como o Fundo de Financiamento ao Estudante do Ensino Superior (FIES) e o Programa Universidade para Todos (Prouni). Com essa nova realidade, o ensino superior privado recebeu incentivo e facilitação para o seu crescimento, a um ritmo acelerado. Consequentemente pode-se concluir que a IES privada estudada adotou as seguintes estratégias de crescimento: Expansão orgânica com fusões/ aquisições de Instituições menores, com desenvolvimento de planos para todos os campi Brasil; Greenfield (por meio de solicitação de autorização de novas unidades e/ou cursos) em cidades sem possibilidades de aquisições/fusões, e aumentando o número de vagas/ matriculas nas unidades já existentes, aderiu aos programas do governo e também cuidou da evasão por meio de: Seguro educacional; gestão preparada para atender necessidades do discente; Sistema de Ensino com currículos integrados nacionalmente; Intercâmbio de alunos e professores entre as diversas unidades em todas as regiões do país e padronização dos processos.

The distribution of macrobenthos in surface sediments at Fladen Ground stations, North Sea

A general study of structure, biomass estimates and dynamics on the macrofauna was carried out in August 1975 and March 1976 during PREFLEX (1975) and FLEX (1976), the Fladen Ground Experiment. On the basis of these data an attempt was made to estimate macrobenthic production expressed as minimum production (MP). The macrobenthic production is discussed together with meiobenthic annual production and with indirectly estimated microbenthic production in relation to an energy input from the water column of about 25 g C m**-2 year**-1. From the production estimates of the three benthic components a rough energy budget is proposed. Sampling was performed at five stations for endofauna twice during the time of investigation and for epifauna once. At each station two replicate box core samples (30 X 20 cm) were taken for endofauna. Epifauna was sampled with an Agassiz trawl once at each station. The total numbers of endofauna increased from station 1 to 5. This was valid as well for August 1975 (4,233-12,166 individuals per m**2 and 10 cm sediment depth) as for March 1976 (1,008-2,925 individuals). The polychaetes were the dominant organisms with a share of 33 to 62 %. The densities for the endofauna decreased from August 1975 to March 1976 by a mean factor of 2.8. Abundances of epifauna amounted to values between 11 and 102 individuals per 1000 m**2. The biomass dry weights (DWT) for macrobenthic endofauna varied between 0.97 g DWT m**-2 and 6.42 g DWT m**-2 in August 1975 and between 0.27 g DWT m**-2 and 2.64 g DWT m**-2 in March 1976. The mean amounted to 1.74 g DWT m**-2. Dry weights of epifauna biomass gave values between 4.9 and 83.1 g DWT * 1000 m**-2. The minimum production for the total macro-endofauna at Fladen Ground amounted to 1.43 g DWT m**-2 yr**-1 or 0.82 g C m**-2 yr**-1. This resulted in a minimum turnover rate (P/B) of 0.8. The share produced by the polychaetes amounted to 1.06g DWT m**-2 yr**-1 or 74 %.

Der Schwarmgeist : Novelle /

Mode of access: Internet.

Der Wanderer zwischen beiden Welten : ein Kriegserlebnis /

Mode of access: Internet.

Lothar : ein deutsches Königsdrama /

Mode of access: Internet.

Illinois regulations.

A summary of proposed rules appearing in Illinois register which may effect small businesses.

Transverse-Plane Ankle Rotation for Lower-Limb Amputees Using Two Novel Prostheses

Thesis (Ph.D.)--University of Washington, 2016-06

Designing biostable polyurethane elastomers for biomedical implants

The chemical structure, synthesis, morphology, and properties of polyurethane elastomers are briefly discussed. The current understanding of the effect of chemical structure and the associated morphology on the stability of polyurethanes in the biological environments is reviewed. The degradation of conventional polyurethanes appears as surface or deep cracking, stiffening, and deterioration of mechanical properties, such as flex-fatigue resistance. Polyester and poly( tetramethylene oxide) based polyurethanes degrade by hydrolytic and oxidative degradation of ester and ether functional groups, respectively. The recent approaches to develop polyurethanes with improved long-term biostability are based on developing novel polyether, hydrocarbon, polycarbonate, and siloxane macrodiols to replace degradation-prone polyester and polyether macrodiols in polyurethane formulations. The new approaches are discussed with respect to synthesis, properties and biostability based on reported in vivo studies. Among the newly developed materials, siloxane-based polyurethanes have exhibited excellent biostability and are expected to find many applications in biomedical implants.

ANALISANDO O GRAU DE RELAÇÃO E CORRELAÇÃO ENTRE VARIÁVEIS MACROECONÔMICAS E O SETOR SUCROALCOOLEIRO

O modelo brasileiro de utilização de recursos provenientes de biomassa pode ser considerado como referência na utilização em substituição da matriz energética. Dentre eles o etanol vem se destacando como uma fonte de bioenergia cada vez mais utilizada, principalmente na frota de veículos, tal incentivo vem sendo sedimentado ao longo de quase quatro décadas desde a primeira crise do petróleo com a implantação do PROALCOOL até o desenvolvimento e a aplicação da tecnologia de carros bicombustíveis conhecidos como veículos flex, que hoje representam aproximadamente 90% dos automóveis vendidos. O presente trabalho buscará identificar a existência de uma relação entre os indicadores de produção de automóveis, o aumento de produção de etanol e as variáveis macroeconômicas pelos índices de INCC, IPCA e IGP-M que são amplamente conhecidos e reconhecidos pelo governo, empresários e população. Foi utilizada a técnica multivariada de regressão e correlação com auxilio do oftware SPSS. Os resultados sugerem que existe uma correlação entre os índices macroeconômicos mais baixos e o aumento da produção de automóveis e de etanol.

ESTRATÉGIAS DE EXPANSÃO DE INSTITUIÇÕES DE ENSINO SUPERIOR PRIVADAS NO BRASIL: ESTUDO DE CASO DO CURSO DE BACHARELADO EM ADMINISTRAÇÃO

A dissertação teve como objetivo principal estudar como uma Instituição de Ensino Superior Privada (IES) atuante no Brasil tem crescido pós Lei de Diretrizes e Bases (LDB) de 1996 até 2015, por meio da análise do curso de bacharelado em Administração de Empresas, nas modalidades: presencial, EAD e Flex (semipresencial). Para este fim, foi realizada uma pesquisa exploratória, de caráter qualitativo baseada no método do estudo de caso. Para coleta de evidências foram analisados relatórios corporativos (Annual Report, Relatórios Internos e outros documentos), entrevistas baseadas em roteiro semiestruturado com gestores da IES privada e observações. Dentre os principais achados, verificou-se que as principais estratégicas de crescimento da IES privada estudada se basearam em fusões e aquisições de outras IES, abertura de novos polos de EAD, na abertura de novas unidades próprias, bem como em inovações em várias dimensões da organização. Os programas governamentais de financiamento aos alunos também são fortes contribuintes para este crescimento, como o Fundo de Financiamento ao Estudante do Ensino Superior (FIES) e o Programa Universidade para Todos (Prouni). Com essa nova realidade, o ensino superior privado recebeu incentivo e facilitação para o seu crescimento, a um ritmo acelerado. Consequentemente pode-se concluir que a IES privada estudada adotou as seguintes estratégias de crescimento: Expansão orgânica com fusões/ aquisições de Instituições menores, com desenvolvimento de planos para todos os campi Brasil; Greenfield (por meio de solicitação de autorização de novas unidades e/ou cursos) em cidades sem possibilidades de aquisições/fusões, e aumentando o número de vagas/ matriculas nas unidades já existentes, aderiu aos programas do governo e também cuidou da evasão por meio de: Seguro educacional; gestão preparada para atender necessidades do discente; Sistema de Ensino com currículos integrados nacionalmente; Intercâmbio de alunos e professores entre as diversas unidades em todas as regiões do país e padronização dos processos.

Optimization of adaptive traffic signal control with transit signal priority at isolated intersections using parallel genetic algorithms

Optimization of adaptive traffic signal timing is one of the most complex problems in traffic control systems. This dissertation presents a new method that applies the parallel genetic algorithm (PGA) to optimize adaptive traffic signal control in the presence of transit signal priority (TSP). The method can optimize the phase plan, cycle length, and green splits at isolated intersections with consideration for the performance of both the transit and the general vehicles. Unlike the simple genetic algorithm (GA), PGA can provide better and faster solutions needed for real-time optimization of adaptive traffic signal control. ^ An important component in the proposed method involves the development of a microscopic delay estimation model that was designed specifically to optimize adaptive traffic signal with TSP. Macroscopic delay models such as the Highway Capacity Manual (HCM) delay model are unable to accurately consider the effect of phase combination and phase sequence in delay calculations. In addition, because the number of phases and the phase sequence of adaptive traffic signal may vary from cycle to cycle, the phase splits cannot be optimized when the phase sequence is also a decision variable. A "flex-phase" concept was introduced in the proposed microscopic delay estimation model to overcome these limitations. ^ The performance of PGA was first evaluated against the simple GA. The results show that PGA achieved both faster convergence and lower delay for both under- or over-saturated traffic conditions. A VISSIM simulation testbed was then developed to evaluate the performance of the proposed PGA-based adaptive traffic signal control with TSP. The simulation results show that the PGA-based optimizer for adaptive TSP outperformed the fully actuated NEMA control in all test cases. The results also show that the PGA-based optimizer was able to produce TSP timing plans that benefit the transit vehicles while minimizing the impact of TSP on the general vehicles. The VISSIM testbed developed in this research provides a powerful tool to design and evaluate different TSP strategies under both actuated and adaptive signal control. ^