Large sets of large sets of Steiner triple systems of order 9

We describe a direct method of partitioning the 840 Steiner triple systems of order 9 into 120 large sets. The method produces partitions in which all of the large sets are isomorphic and we apply the method to each of the two non-isomorphic large sets of STS(9).

Dynamic stability of laminated FGM plates based on higher-order shear deformation theory

This paper conducts a dynamic stability analysis of symmetrically laminated FGM rectangular plates with general out-of-plane supporting conditions, subjected to a uniaxial periodic in-plane load and undergoing uniform temperature change. Theoretical formulations are based on Reddy's third-order shear deformation plate theory, and account for the temperature dependence of material properties. A semi-analytical Galerkin-differential quadrature approach is employed to convert the governing equations into a linear system of Mathieu-Hill equations from which the boundary points on the unstable regions are determined by Bolotin's method. Free vibration and bifurcation buckling are also discussed as subset problems. Numerical results are presented in both dimensionless tabular and graphical forms for laminated plates with FGM layers made of silicon nitride and stainless steel. The influences of various parameters such as material composition, layer thickness ratio, temperature change, static load level, boundary constraints on the dynamic stability, buckling and vibration frequencies are examined in detail through parametric studies.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Desempenho acadêmico e sistema de cotas : um estudo sobre o rendimento dos alunos cotistas e não cotistas da Universidade Federal do Espirito Santo

A adoção da ação afirmativa denominada cotas nas universidades federais - reserva de vagas para estudantes que tenham cursado integralmente o ensino médio em escolas públicas - continua sendo polêmica, mesmo após a sanção da Lei nº.12.711 de 2012, o que torna oportuna a contribuição aos estudos a respeito da utilização desse sistema nas universidades públicas brasileiras. Este trabalho teve por objetivo estudar o desempenho acadêmico de alunos cotistas do Centro de Ciências Jurídicas e Econômicas e do Centro Tecnológico da Universidade Federal do Espírito Santo – UFES, no período de 2008 a 2013, considerando as duas entradas anuais nos referidos cursos. O presente estudo analisou o aproveitamento acadêmico dos alunos de 15 cursos de graduação ofertados pelos Centros nominados buscando saber em quais cursos e disciplinas existem diferenças significativas de desempenho, a partir do coeficiente de rendimento acadêmico (CRA) e da média final das disciplinas cursadas por alunos cotistas e não cotistas, visando a propor ações institucionais para a redução dessas diferenças. Na pesquisa, de caráter quantitativo, utilizou-se o método estatístico de análise de variância ANOVA. A partir das análises realizadas foi possível inferir a existência de diferenças de rendimento nos cursos de engenharia,principalmente em disciplinas de cálculo e álgebra. O curso de Direito, por sua vez, apresentou diferença significativa de desempenho, não obstante as médias não estarem abaixo do índice necessário para a aprovação. Quando a comparação é feita considerando o sexo, verificou-se no curso de Ciências Econômicas e Ciências da Computação uma disparidade significativa de rendimento em favor dos alunos do sexo feminino cotistas em detrimento dos não cotistas do mesmo sexo.

Environmental issues and international relations, a new global (dis)order - the role of International Relations in promoting a concerted international system

Is it possible to talk about the rise of a new global (dis)order founded on the challenges posed by environmental issues? Through the review of the state of the art on the subject, this article analyzes the growing importance of the environment, and natural resources in particular, in international relations; and aims to raise awareness among International Relations scholars to the potential positive impact of the development of the discipline in integration with global environmental change studies.

Reshaping European Union development policy: collective choices and the new global order

Abstract The European Union (EU) is one of the world´s leading donors in official development assistance (ODA) to give a strong weight in the relationship with recipient partner countries, in particular with those that are more dependent on it. Besides the material weight of its funding, the EU has retained historical ties and influence in diplomatic, political and economic terms in many of its ODA recipient partner countries (particular in Sub-Saharan Africa). Since the 2000s, the EU development policy has not only undergone major structural changes in its institutional framework but also has started to face a new international aid scenario. This paper explores why a normative-based EU development policy is being challenged by reformed EU institutions and a new global order, and how the EU is attempting to respond to this context in face of the deepest recession since the end of the Second World War.

Prevalence of periodontal disease in dogs and owners' level of awareness - a prospective clinical trial

Periodontal disease (PD) is widely known among veterinarians for its high prevalence and serious consequences to the dogs. The objective of this study was to assess the occurrence of PD in dogs that live in the micro-region of Viçosa, treated at the Veterinary Hospital of the Federal University of Viçosa (HVT - Hospital Veterinário da Universidade Federal de Viçosa), as well as to assess how aware of this disease dog owners are. In order to do so, all dogs treated at the HVT from March 10th, 2009 to November 30th, 2009, on alternate days, had their oral cavities examined. Medical history data, such as age, type of food, main complaint and owner consent, halitosis, presence of dental calculus, inflammation and gingival recession and tooth loss, were collected. A prevalence of 88.67% was found for PD in dogs referred to the HVT, and 2.67% were referred due to this disease. Of all the owners who participated in the study, 43.83% knew about periodontal disease and of these 17.46% made use of some type of prevention or treatment. Therefore, periodontal disease is highly prevalent and the owners are not aware of the disease. Thus, a dog owner clarification program on periodontal disease is needed in the area where HVT-UFV operates.

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

Deuterium NMR Study of Orientational Order in Cellulosic Network Microfibers

Deuterium NMR was used to investigate the orientational order in a composite cellulosic formed by liquid crystalline acetoxypropylcellulose (A PC) and demented nematic 4'-penty1-4-cyanobiphenyl (5CB-4 alpha d(2)) with the per centage of 85% A PC by weight Three forms of the composite including electro spun microfibers, thin film and bulk samples were analyzed The NMR results initially suggest two distinct scenarios, one whet e the 503-alpha d(2), is confined to small droplets with dimensions smaller than the magnetic coherence length and the other where the 503-alpha d(2) molecules arc aligned with the A PC network chains Polarized optical microscopy (POW from thin film samples along with all the NMR results show the presence of 5CB-alpha d(2) droplets in the composite systems with a nematic wetting layer at the APC-5CB-alpha d(2) interface that experiences and order disorder transition driven by the polymer network N-I transition The characterization of the APC network I-N transition shows a pronounced subcritical behavior within a heterogeneity scenario.

Solutions of second-order and fourth-order ODEs on the half-line

We start by studying the existence of positive solutions for the differential equation u '' = a(x)u - g(u), with u ''(0) = u(+infinity) = 0, where a is a positive function, and g is a power or a bounded function. In other words, we are concerned with even positive homoclinics of the differential equation. The main motivation is to check that some well-known results concerning the existence of homoclinics for the autonomous case (where a is constant) are also true for the non-autonomous equation. This also motivates us to study the analogous fourth-order boundary value problem {u((4)) - cu '' + a(x)u = vertical bar u vertical bar(p-1)u u'(0) = u'''(0) = 0, u(+infinity) = u'(+infinity) = 0 for which we also find nontrivial (and, in some instances, positive) solutions.

Ferromagnetic order in aged Co-doped TiO2 anatase nanopowders

Oxide based diluted magnetic semiconductor (DMS) materials have been a subject of increasing interest due to reports of room temperature ferromagnetism in several systems and their potential use in the development of spintronic devices. However, concerns on the stability of the magnetic properties of different DMS systems have been raised. Their magnetic moment is often unstable, vanishing with a characteristic decay time of weeks or months, which precludes the development of real applications. This paper reports on the ferromagnetic properties of two-year-aged Ti1-xCoxO2-δ reduced anatase nanopowders with different Co contents (0.03≤x≤0.10). Aged samples retain rather high values of magnetization, remanence and coercivity which provide strong evidence for a quite preserved long-range ferromagnetic order. In what concern Co segregation, some degree of metastability of the diluted Co doped anatase structure could be inferred in the case of the sample with the higher Co content.

On the monoids of transformations that preserve the order and a uniform partition

In this article we consider the monoid O(mxn) of all order-preserving full transformations on a chain with mn elements that preserve a uniformm-partition and its submonoids O(mxn)(+) and O(mxn)(-) of all extensive transformations and of all co-extensive transformations, respectively. We determine their ranks and construct a bilateral semidirect product decomposition of O(mxn) in terms of O(mxn)(-) and O(mxn)(+).