The bounded proof property via step algebras and step frames

NARCIS (Netherlands)

Bezhanishvili, N.; Ghilardi, Silvio

2013-01-01

We develop a semantic criterion for a specific rule-based calculus Ax axiomatizing a given logic L to have the so-called bounded proof property. This property is a kind of an analytic subformula property limiting the proof search space. Our main tools are one-step frames and one-step algebras. These

IAEA and FAO Honour Achievements in Radiation-Supported Plant Breeding

International Nuclear Information System (INIS)

2014-01-01

Awards honouring teams of scientists who have helped increase food security by using radiation to breed better crop varieties were presented today by IAEA Director General Yukiya Amano. Mutation breeding, which uses radiation to mimic natural plant mutation events, is a well-established method that enables plant breeders to work with farmers to develop variations of rice, barley, sesame and other crops that are higher-yielding and more resistant to disease. The awards were initiated by the Joint FAO/IAEA Division of Nuclear Techniques in Food and Agriculture to celebrate successes achieved so far and promote the development of further sustainable crop varieties. The Joint Division - a strategic partnership between the IAEA and the UN's Food and Agriculture Organization that is celebrating its 50th anniversary this year - supports countries in their use of the method. ''Through the use of plant mutation breeding, nuclear techniques help to create new strains of plants with characteristics that allow them to resist disease and thrive under harsh conditions, such as high altitudes and saline soils,'' Director General Amano said at an award ceremony at the IAEA headquarters, where he handed certificates to representatives of the countries of award recipients. ''The development of new varieties of food crops will be increasingly important in the future as the world tries to adapt to the potential impacts of climate change.''

Earthquake-proof support structures for the recycling pump in FBR type reactors

International Nuclear Information System (INIS)

Nakagawa, Masaki; Shigeta, Masayuki.

1984-01-01

Purpose: To improve the earthquake proofness of the recycling pump for use in FBR type reactors upon earthquake by reducing the vibration response of the pump. Constitution: The outer casing of a recycle pump suspended into liquid sodium is extended to the portion that penetrates a reactor core support structures. Support structures surrounding the outer side of the recycling pump are disposed with a gap not restraining the free thermal deformations of the recycling pump to the inside of the partition wall structures and the portion of the recycling pump penetrating the reator core support structures, to integrate the support structures with the reactor core support structures. Accordingly, there are no interferences between the recycling pump and the support structures with respect to the thermal deformations that change gradually with time. Upon vibrating under the rapidly changing external forces of earthquakes, however, the pressure resulted to the liquid in the gap due to the vibrations of the recycling pump is transmitted with no escape to the support structures, the recycling pump and the support structures integrally resist the vibrations thereby enabling to reduce the vibrations in the recycling pumps. (Horiuchi, T.)

Analytic webs support the synthesis of ecological data sets.

Science.gov (United States)

Ellison, Aaron M; Osterweil, Leon J; Clarke, Lori; Hadley, Julian L; Wise, Alexander; Boose, Emery; Foster, David R; Hanson, Allen; Jensen, David; Kuzeja, Paul; Riseman, Edward; Schultz, Howard

2006-06-01

A wide variety of data sets produced by individual investigators are now synthesized to address ecological questions that span a range of spatial and temporal scales. It is important to facilitate such syntheses so that "consumers" of data sets can be confident that both input data sets and synthetic products are reliable. Necessary documentation to ensure the reliability and validation of data sets includes both familiar descriptive metadata and formal documentation of the scientific processes used (i.e., process metadata) to produce usable data sets from collections of raw data. Such documentation is complex and difficult to construct, so it is important to help "producers" create reliable data sets and to facilitate their creation of required metadata. We describe a formal representation, an "analytic web," that aids both producers and consumers of data sets by providing complete and precise definitions of scientific processes used to process raw and derived data sets. The formalisms used to define analytic webs are adaptations of those used in software engineering, and they provide a novel and effective support system for both the synthesis and the validation of ecological data sets. We illustrate the utility of an analytic web as an aid to producing synthetic data sets through a worked example: the synthesis of long-term measurements of whole-ecosystem carbon exchange. Analytic webs are also useful validation aids for consumers because they support the concurrent construction of a complete, Internet-accessible audit trail of the analytic processes used in the synthesis of the data sets. Finally we describe our early efforts to evaluate these ideas through the use of a prototype software tool, SciWalker. We indicate how this tool has been used to create analytic webs tailored to specific data-set synthesis and validation activities, and suggest extensions to it that will support additional forms of validation. The process metadata created by SciWalker is

Analytic geometry

CERN Document Server

Burdette, A C

1971-01-01

Analytic Geometry covers several fundamental aspects of analytic geometry needed for advanced subjects, including calculus.This book is composed of 12 chapters that review the principles, concepts, and analytic proofs of geometric theorems, families of lines, the normal equation of the line, and related matters. Other chapters highlight the application of graphing, foci, directrices, eccentricity, and conic-related topics. The remaining chapters deal with the concept polar and rectangular coordinates, surfaces and curves, and planes.This book will prove useful to undergraduate trigonometric st

Mutation breeding for quality improvement a case study for oilseed crops

International Nuclear Information System (INIS)

Roebbelen, G.

1990-01-01

The effectiveness of mutation breeding depends on the nature of the genetic system in question, on the availability of efficient screening techniques and on an intelligent integration of the novel genetic variation into an appropriate breeding programme. Oil storage in seeds offer an outstanding example of a biosynthetic process, the end products of which are diverse and sufficiently flexible in their genetic control to allow for improvements of product quality such as economically desired. Sophisticated analytical methods have been developed during the recent decades to quantify relevant steps in seedoil storage even in early generations and in large numbers of small samples. Genetic selection for oilseed quality has been of low intensity in nature; but it has also been one-sided only durign the earlier decades of plant breeding because of the predominantly nutritional consumption of vegetable oils. Today an expanding array of new breeding goals for oleochemical and technical uses is developing. In addition, biotechnical innovations offer promising support to mutation breeding for the domestication or even construction of virtually new oilseed crops for application in both food and non-food uses. The purpose of this paper is to exemplify recent advances and to outline future prospects of mutation breeding for the improvement of oilseed quality. (author). 136 refs, 8 figs, 12 tabs

Breeds in danger of extintion and biodiversity

OpenAIRE

A. Blasco

2008-01-01

Some arguments currently used to support breed conservation are examined. The central point is that we cannot conserve all breeds because we do not have financial resources enough to keep everything (mainly in developing countries) and in many cases we do not have special reasons to conserve breeds. A breed is a human product and it should not be confused with specie. A breed can be generated or transformed. We can create synthetic breeds with the best characteristics of several breeds. Selec...

Accounting for Proof Test Data in a Reliability Based Design Optimization Framework

Science.gov (United States)

Ventor, Gerharad; Scotti, Stephen J.

2012-01-01

This paper investigates the use of proof (or acceptance) test data during the reliability based design optimization of structural components. It is assumed that every component will be proof tested and that the component will only enter into service if it passes the proof test. The goal is to reduce the component weight, while maintaining high reliability, by exploiting the proof test results during the design process. The proposed procedure results in the simultaneous design of the structural component and the proof test itself and provides the designer with direct control over the probability of failing the proof test. The procedure is illustrated using two analytical example problems and the results indicate that significant weight savings are possible when exploiting the proof test results during the design process.

Genetic monitoring of supportive breeding in brown trout ( Salmo trutta L.), using microsatellite DNA markers

DEFF Research Database (Denmark)

Hansen, Michael Møller; Eg Nielsen, Einar; Ruzzante, D.E.

2000-01-01

loci in samples of wild and hatchery-reared brown trout (Salmo trutta) from three populations subject to supportive breeding. For calibrating statistical procedures, we included two test samples of reared offspring for which the precise number of parent fish was known and a sample from a further wild...

Plant Breeding and Genetics Newsletter, No. 32, January 2014

International Nuclear Information System (INIS)

2014-01-01

One major event this last half of 2013 was the success story of the IAEA interregional TC project INT/5/150 'Responding to the Transboundary Threat of Wheat Black Stem Rust (Ug99)'. Results have been achieved in record time; the project was started in 2009, and by mid 2013, two advanced mutant lines, resistant to the most virulent strains of wheat black stem rust (Ug99), successfully passed the national performance trials in Kenya and are ready for commercial release. A Regional Training Course was organized at IRRI (The Philippines) in the framework of regional TC project RAS/5/065 'Supporting Climate-Proofing Rice Production Systems (CRiPS) Based on Nuclear Applications'. By joining efforts, the IAEA, FAO and IRRI aim to ensure that rice scientists are acquainted with the most recent plant breeding and phenotyping approaches, allowing them to address future threats to food security stemming from climate change and other stress factors. The project also aims to act as a platform for future collaboration in rice production. This second half of the year was also the period of 'first timers'. For the first time, Lesotho is using mutation breeding techniques in potato, sweet potato and amaranth. A fellow is being introduced to these techniques at the Plant Breeding and Genetics Laboratory (PBGL) in Seibersdorf, Austria. Similarly we are supporting and nurturing the first steps of national mutation breeding programmes in Oman, Palestine, Qatar and Saudi Arabia. Another cause for excitement is the ReNuAL project: the Seibersdorf Laboratories will be upgraded and renovated, including the FAO/IAEA Agriculture and Biotechnology Laboratories. This is a huge project with many logistical challenges, which are being met with vigour and personal investment in time and energy by our staff. Our guidance in this endeavour is 'fit-forpurpose to the Member States' in the future. IAEA Member States adopted a resolution to support this initiative, and we are now seeking financial and

Towards Verification of Constituent Systems through Automated Proof

DEFF Research Database (Denmark)

Couto, Luis Diogo Monteiro Duarte; Foster, Simon; Payne, R

2014-01-01

This paper explores verification of constituent systems within the context of the Symphony tool platform for Systems of Systems (SoS). Our SoS modelling language, CML, supports various contractual specification elements, such as state invariants and operation preconditions, which can be used...... to specify contractual obligations on the constituent systems of a SoS. To support verification of these obligations we have developed a proof obligation generator and theorem prover plugin for Symphony. The latter uses the Isabelle/HOL theorem prover to automatically discharge the proof obligations arising...... from a CML model. Our hope is that the resulting proofs can then be used to formally verify the conformance of each constituent system, which is turn would result in a dependable SoS....

Investigating the breeding capabilities of hybrid soliton reactors

International Nuclear Information System (INIS)

Catsaros, N.; Gaveau, B.; Jaekel, M.-T.; Jejcic, A.; Maillard, J.; Maurel, G.; Savva, P.; Silva, J.

2013-01-01

Highlights: • ANET code simulates innovative reactor designs including Accelerator Driven Systems. • Preliminary analysis of thermal hybrid soliton reactor examines breeding capabilities. • Subsequent studies will aim at optimizing parameters examined in this analysis. • Breeding capacity could be obtained while preserving efficiency and reactor stability. -- Abstract: Nuclear energy industry asks for an optimized exploitation of available natural resources and a safe operation of reactors. A closed fuel cycle requires the mass of fissile material depleted in a reactor to be equal to or less than the fissile mass produced in the same or in other reactors. In this work, a simple closed cycle scheme is investigated, grounded on the use of a conceptual thermal water-cooled and moderated subcritical hybrid soliton reactor (HSR). The concept is a specific Accelerator Driven System (ADS) operating at lower power than usual pressurized water reactors (PWRs). This type of reactor can be inherently safe, since shutdown is achieved by simply interrupting the accelerator's power supply. In this work a preliminary investigation is attempted concerning the existence of conditions under which the operation of a thermal HSR in breeding regime is possible. For this purpose, a conceptual encapsulated core has been defined by choosing the magnitude of a set of parameters which are important from the neutronic point of view, such as core geometry and fuel composition. Indications of breeding operation regime for thermal HSR systems are sought by performing preliminary simulations of this core. For this purpose, the Monte Carlo code ANET, which is being developed based on the high energy physics code GEANT is utilized, as being capable of simulating particles’ transport and interactions produced, including also simulation of low energy neutrons transport. A simple analytical model is also developed and presented in order to investigate the conditions under which breeding in

An evaluation of the pressure proof test concept for 2024-T3 aluminium alloy sheet

Science.gov (United States)

Dawicke, D. S.; Poe, C. C., Jr.; Newman, J. C.; Harris, C. E.

1991-01-01

The concept of pressure proof testing of fuselage structures with fatigue cracks to insure structural integrity was evaluated from a fracture mechanics viewpoint. A generic analytical and experimental investigation was conducted on uniaxially loaded flat panels with crack configurations and stress levels typical of longitudinal lap splice joints in commercial transport aircraft fuselages. The results revealed that the remaining fatigue life after a proof cycle was longer than that without the proof cycle because of crack growth retardation due to increased crack closure. However, based on a crack length that is slightly less than the critical value at the maximum proof stress, the minimum assured life or proof test interval must be no more than 550 pressure cycles for a 1.33 proof factor and 1530 pressure cycles for a 1.5 proof factor to prevent in-flight failures.

Improvement of Information and Analytical Support of Strategic Marketing Management of Confectioneries

Directory of Open Access Journals (Sweden)

Yanevych Mykhaylo M.

2013-12-01

Full Text Available The article develops and offers to introduce a mechanism of information and analytical support of strategic marketing management of confectioneries, which consists of seven components of various hierarchical levels: macro-marketing and micro-marketing environments, trade, infrastructure, consumer, resource and production and organisational components. A confectionery can justify an optimal marketing strategy within this mechanism, due to consideration of the state of external environment and its impact on internal environment with application of strategic management tools. The author identifies direction of influence of external environment components upon key business processes of strategic marketing management, reveals the nature of transformation of main qualitative indicators of marketing management by means of improvement of its information and analytical support and offers to introduce a system of quantitative indicators of its efficiency. The offered scorecard should become the basis of the methodology of assessing efficiency of information and analytical support of strategic marketing management.

Teaching Syllogistics Through Gamification and Interactive Proofs

DEFF Research Database (Denmark)

Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Thorvaldsen, Steinar

2015-01-01

teaching through the use of interactive systems and also to do learning analytics based on the log-data from the use of the systems. The aim of the present paper is to investigate whether the use of gamification and an interactive proof system formulated in terms of controlled natural language can...

Modern Strategies of Modelling Informational and Analytical Support of Inclusive Higher Education in Russia

Directory of Open Access Journals (Sweden)

Karpushkina N.V.

2017-08-01

Full Text Available The paper gives a description of modern approaches to the modelling of informational and analytical support of higher education in persons with disabilities. It proposes a model of such support depending on the type of disability and provides a detailed description of structure components of informational and analytical support. It is argued that the main areas of support of individuals with disabilities are the following: adaptational and orientating (pre-university; organizational and coordinative; psychological and educational; academic; sociocultural; medical and health-improving; vocational (postgraduate etc. Each area is comprehensively defined. The paper reveals the principles underlying the modelling of informational and analytical support of higher inclusive education, such as: the principle of expanding and shaping a tolerant ‘barrier-free’ environment; the principle of subjectivity and socialization; the principle of strong motivation and activity; the principle of dialogue; the principle of variation; and, finally, the principle of informational openness. This work was carried out with the support of the Government Contract of the Ministry of Education and Science of the Russian Federation (project 2016- 01.04- 05- 020 – F- 35.001 “Monitoring and Informational/Analytical Support of Regional Resource Centers for Higher Education for the Disabled”.

Domestic estimated breeding values and genomic enhanced breeding values of bulls in comparison with their foreign genomic enhanced breeding values.

Science.gov (United States)

Přibyl, J; Bauer, J; Čermák, V; Pešek, P; Přibylová, J; Šplíchal, J; Vostrá-Vydrová, H; Vostrý, L; Zavadilová, L

2015-10-01

Estimated breeding values (EBVs) and genomic enhanced breeding values (GEBVs) for milk production of young genotyped Holstein bulls were predicted using a conventional BLUP - Animal Model, a method fitting regression coefficients for loci (RRBLUP), a method utilizing the realized genomic relationship matrix (GBLUP), by a single-step procedure (ssGBLUP) and by a one-step blending procedure. Information sources for prediction were the nation-wide database of domestic Czech production records in the first lactation combined with deregressed proofs (DRP) from Interbull files (August 2013) and domestic test-day (TD) records for the first three lactations. Data from 2627 genotyped bulls were used, of which 2189 were already proven under domestic conditions. Analyses were run that used Interbull values for genotyped bulls only or that used Interbull values for all available sires. Resultant predictions were compared with GEBV of 96 young foreign bulls evaluated abroad and whose proofs were from Interbull method GMACE (August 2013) on the Czech scale. Correlations of predictions with GMACE values of foreign bulls ranged from 0.33 to 0.75. Combining domestic data with Interbull EBVs improved prediction of both EBV and GEBV. Predictions by Animal Model (traditional EBV) using only domestic first lactation records and GMACE values were correlated by only 0.33. Combining the nation-wide domestic database with all available DRP for genotyped and un-genotyped sires from Interbull resulted in an EBV correlation of 0.60, compared with 0.47 when only Interbull data were used. In all cases, GEBVs had higher correlations than traditional EBVs, and the highest correlations were for predictions from the ssGBLUP procedure using combined data (0.75), or with all available DRP from Interbull records only (one-step blending approach, 0.69). The ssGBLUP predictions using the first three domestic lactation records in the TD model were correlated with GMACE predictions by 0.69, 0.64 and 0

Localization of canine brachycephaly using an across breed mapping approach.

Directory of Open Access Journals (Sweden)

Danika Bannasch

2010-03-01

Full Text Available The domestic dog, Canis familiaris, exhibits profound phenotypic diversity and is an ideal model organism for the genetic dissection of simple and complex traits. However, some of the most interesting phenotypes are fixed in particular breeds and are therefore less tractable to genetic analysis using classical segregation-based mapping approaches. We implemented an across breed mapping approach using a moderately dense SNP array, a low number of animals and breeds carefully selected for the phenotypes of interest to identify genetic variants responsible for breed-defining characteristics. Using a modest number of affected (10-30 and control (20-60 samples from multiple breeds, the correct chromosomal assignment was identified in a proof of concept experiment using three previously defined loci; hyperuricosuria, white spotting and chondrodysplasia. Genome-wide association was performed in a similar manner for one of the most striking morphological traits in dogs: brachycephalic head type. Although candidate gene approaches based on comparable phenotypes in mice and humans have been utilized for this trait, the causative gene has remained elusive using this method. Samples from nine affected breeds and thirteen control breeds identified strong genome-wide associations for brachycephalic head type on Cfa 1. Two independent datasets identified the same genomic region. Levels of relative heterozygosity in the associated region indicate that it has been subjected to a selective sweep, consistent with it being a breed defining morphological characteristic. Genotyping additional dogs in the region confirmed the association. To date, the genetic structure of dog breeds has primarily been exploited for genome wide association for segregating traits. These results demonstrate that non-segregating traits under strong selection are equally tractable to genetic analysis using small sample numbers.

Reversal burden of proof on corruption in Indonesia

Directory of Open Access Journals (Sweden)

Hibnu Nugroho

2018-03-01

Full Text Available Corruption becomes the greatest enemy most countries face including Indonesia. Commitment to eradicate corruption significantly increases yet it would be meaningless if it is not supported by adequate legislation to implement the law effectively. Reversal burden of proof essentially aims to facilitate law enforcers to seek and disclose assets a suspect owns allegedly as corruption crime. The principle of reversal burden of proof was originated from Anglo-Saxon countries and this still applies to certain cases such as bribery-related gratifications as Malaysia and Singapore implement. In Indonesia, provisions on the principle of reversal burden of proof have been long recognized even since 1960 on the first law on corruption crimes. Nevertheless, for more than a half of century, the provision on reversal burden of proof has never been implemented. It occurs since articles which govern the issues barely provide clear regulation. It only mentions the principle yet never issues an implemented regulation to support the principle. In regards to this, the research is aimed at investigating, seeking and analyzing the weaknesses in implementing the principle of reversal burden of proof in corruption crimes recently as well as discussing obstacles in law enforcement.

Origin of Analytical Breeding of Winter Wheat (Triticum aestivum L. in the Tsar’s Russia, and in Ukraine in particular (End of XIX– Beginning of XX centuries

Directory of Open Access Journals (Sweden)

Х. М. Піпан

2009-12-01

Full Text Available This article discusses the main factors of origin and development of analytical selection of winter wheat in Ukraine in late XIX - early XX century .. In particular highlight the role of scientific works of Charles Darwin, W. Rimpau, AL Sempolovskуу, IS Korzhinskуу and research institutions to increase attention to the study of local varieties of winter wheat and their improvement. Especially analyze values of Russia's first benefit from the breeding "Guide to Seed for the Advancement of cultivated plants", in which the author proposes methods for improving and creating new varieties. Since the end of XIX century selection were mainly involved in private owners on their own initiative, already in the beginning of XX century this trend more interested in the agricultural society, local and state authorities. Thanks to their support in the country organized congresses, meetings and conferences, set up research and field stations. It was during this period of transition took place in the national selection analysis.

Supporting interactive visual analytics of energy behavior in buildings through affine visualizations

DEFF Research Database (Denmark)

Nielsen, Matthias; Brewer, Robert S.; Grønbæk, Kaj

2016-01-01

Domain experts dealing with big data are typically not familiar with advanced data mining tools. This especially holds true for domain experts within energy management. In this paper, we introduce a visual analytics approach that empowers such users to visually analyze energy behavior based......Viz, that interactively maps data from real world buildings. It is an overview +detail inter-active visual analytics tool supporting both rapid ad hoc explorations and structured evaluation of hypotheses about patterns and anomalies in resource consumption data mixed with occupant survey data. We have evaluated...... the approach with five domain experts within energy management, and further with 10 data analytics experts and found that it was easily attainable and that it supported visual analysis of mixed consumption and survey data. Finally, we discuss future perspectives of affine visual analytics for mixed...

Decision analysis for conservation breeding: Maximizing production for reintroduction of whooping cranes

Science.gov (United States)

Smith, Des H.V.; Converse, Sarah J.; Gibson, Keith; Moehrenschlager, Axel; Link, William A.; Olsen, Glenn H.; Maguire, Kelly

2011-01-01

Captive breeding is key to management of severely endangered species, but maximizing captive production can be challenging because of poor knowledge of species breeding biology and the complexity of evaluating different management options. In the face of uncertainty and complexity, decision-analytic approaches can be used to identify optimal management options for maximizing captive production. Building decision-analytic models requires iterations of model conception, data analysis, model building and evaluation, identification of remaining uncertainty, further research and monitoring to reduce uncertainty, and integration of new data into the model. We initiated such a process to maximize captive production of the whooping crane (Grus americana), the world's most endangered crane, which is managed through captive breeding and reintroduction. We collected 15 years of captive breeding data from 3 institutions and used Bayesian analysis and model selection to identify predictors of whooping crane hatching success. The strongest predictor, and that with clear management relevance, was incubation environment. The incubation period of whooping crane eggs is split across two environments: crane nests and artificial incubators. Although artificial incubators are useful for allowing breeding pairs to produce multiple clutches, our results indicate that crane incubation is most effective at promoting hatching success. Hatching probability increased the longer an egg spent in a crane nest, from 40% hatching probability for eggs receiving 1 day of crane incubation to 95% for those receiving 30 days (time incubated in each environment varied independently of total incubation period). Because birds will lay fewer eggs when they are incubating longer, a tradeoff exists between the number of clutches produced and egg hatching probability. We developed a decision-analytic model that estimated 16 to be the optimal number of days of crane incubation needed to maximize the number of

Trait-based model development to support breeding programs. A case study for salt tolerance and rice.

Science.gov (United States)

Paleari, Livia; Movedi, Ermes; Confalonieri, Roberto

2017-06-28

Eco-physiological models are increasingly used to analyze G × E × M interactions to support breeding programs via the design of ideotypes for specific contexts. However, available crop models are only partly suitable for this purpose, since they often lack clear relationships between parameters and traits breeders are working on. Taking salt stress tolerance and rice as a case study, we propose a paradigm shift towards the building of ideotyping-specific models explicitly around traits involved in breeding programs. Salt tolerance is a complex trait relying on different physiological processes that can be alternatively selected to improve the overall crop tolerance. We developed a new model explicitly accounting for these traits and we evaluated its performance using data from growth chamber experiments (e.g., R 2 ranged from 0.74 to 0.94 for the biomass of different plant organs). Using the model, we were able to show how an increase in the overall tolerance can derive from completely different physiological mechanisms according to soil/water salinity dynamics. The study demonstrated that a trait-based approach can increase the usefulness of mathematical models for supporting breeding programs.

Evaluation of predator-proof fenced biodiversity projects

OpenAIRE

Doelle, Sebastian

2012-01-01

There has been recent debate over the role of predator-proof fences in the management of New Zealand’s biodiversity. The debate has arisen due to concern that investments in fenced sanctuaries are less productive than are alternative ways to manage biodiversity. Predator-proof fences are costly and budget constraints limit the area of habitat that can be fenced. The area of habitat enclosed within fences, and number of individuals of species supported, determines project’s ability to contribu...

Analytical Support to African and Caribbean Trade Negotiations ...

International Development Research Centre (IDRC) Digital Library (Canada)

Analytical Support to African and Caribbean Trade Negotiations - Phase III. International Lawyers and Economists against Poverty (ILEAP) is an initiative that aims to help African and Caribbean countries derive full benefit from integration into ...

Earthquake proof device for nuclear power plant building

International Nuclear Information System (INIS)

Okada, Yasuo.

1991-01-01

The structure of the present invention enables three dimensional vibration proof, i.e., in horizontal and vertical directions of a reactor container building. That is, each of the reactor container building and a reactor auxiliary building is adapted as an independent structure. The periphery of the reactor container building is surrounded by the reactor auxiliary building. The reactor auxiliary building is supported against the ground by way of a horizontal vibration proof device. The reactor container building is supported against the ground by way of a three-dimensional vibration proof device that prevents vibrations in both of the horizontal directions, and the vertical directions. The reactor container building is connected to the auxiliary building by way of a vertical vibration proof device. With such a constitution, although the reactor container building is vibration proof against both of the horizontal and the vertical vibrations, the vertical vibration proofness is an extension of inherent vertical vibration period. Accordingly, the head of the building undergoes rocking vibrations. However, since the reactor container building is connected to the reactor auxiliary building, the rocking vibrations are prevented by the reactor auxiliary building. As a result, safety upon occurrence of an earthquakes can be ensured. (I.S.)

Kant's Transcendental Arguments as Conceptual Proofs | Stapleford ...

African Journals Online (AJOL)

The paper is an attempt to explain what a transcendental argument is for Kant. The interpretation is based on a reading of the “Discipline of Pure Reason,” sections 1 and 4, of the first Critique. The author first identifies several statements that Kant makes about the method of proof he followed in the “Analytic of Principles,” ...

The direct Flow parametric Proof of Gauss' Divergence Theorem revisited

OpenAIRE

Markvorsen, Steen

2006-01-01

The standard proof of the divergence theorem in undergraduate calculus courses covers the theorem for static domains between two graph surfaces. We show that within first year undergraduate curriculum, the flow proof of the dynamic version of the divergence theorem - which is usually considered only much later in more advanced math courses - is comprehensible with only a little extension of the first year curriculum. Moreover, it is more intuitive than the static proof. We support this intuit...

Defining a breeding objective for Nile tilapia that takes into account the diversity of smallholder production systems.

Science.gov (United States)

Omasaki, S K; van Arendonk, J A M; Kahi, A K; Komen, H

2016-10-01

In general, livestock and fish farming systems in developing countries tend to be highly diverse in terms of agro-ecological conditions and market orientation. There are no studies that have investigated if and how this diversity translates to varying preferences for breeding objective traits. This is particularly important for breeding programmes that are organized on a national level (e.g. government-supported nucleus breeding programmes). The aim of this study was to investigate whether Nile tilapia farmers with diverse production systems and economic constraints have different preferences for breeding objective traits. The second objective was to derive a consensus breeding goal, using weighted goal programming that could be used for a national breeding programme for Nile tilapia. A survey was conducted among 100 smallholder Nile tilapia farmers in Kenya to obtain preference values for traits of economic importance, by using multiple pairwise comparisons. Individual and group preference values were estimated using analytical hierarchy process. Low-income farmers preferred harvest weight, while medium- and high-income farmers preferred growth rate and survival. Grouping farmers according to market objective (fingerling production or fattening) showed that fingerling producers preferred growth rate and survival, while fattening farmers preferred harvest weight, height and thickness. Weighted goal programming was used to obtain consensus preference values, and these were used to derive desired gains for a breeding goal of a national breeding programme that takes into account the diversity of smallholder production systems. © 2016 Blackwell Verlag GmbH.

Parallel interactive data analysis with PROOF

International Nuclear Information System (INIS)

Ballintijn, Maarten; Biskup, Marek; Brun, Rene; Canal, Philippe; Feichtinger, Derek; Ganis, Gerardo; Kickinger, Guenter; Peters, Andreas; Rademakers, Fons

2006-01-01

The Parallel ROOT Facility, PROOF, enables the analysis of much larger data sets on a shorter time scale. It exploits the inherent parallelism in data of uncorrelated events via a multi-tier architecture that optimizes I/O and CPU utilization in heterogeneous clusters with distributed storage. The system provides transparent and interactive access to gigabytes today. Being part of the ROOT framework PROOF inherits the benefits of a performant object storage system and a wealth of statistical and visualization tools. This paper describes the data analysis model of ROOT and the latest developments on closer integration of PROOF into that model and the ROOT user environment, e.g. support for PROOF-based browsing of trees stored remotely, and the popular TTree::Draw() interface. We also outline the ongoing developments aimed to improve the flexibility and user-friendliness of the system

Analytic properties of many-particle amplitudes

Energy Technology Data Exchange (ETDEWEB)

Medvedev, B V; Pavlov, V P; Polivanov, M K; Sukhanov, A D [Gosudarstvennyj Komitet po Ispol' zovaniyu Atomnoj Ehnergii SSSR, Moscow. Inst. Teoreticheskoj i Ehksperimental' noj Fiziki; AN SSSR, Moscow. Matematicheskij Inst.)

1982-08-01

In the framework of N. N. Bogolyubov axiomatic approach the complete proof of the existence of an analytic function the boundary values of which are the amplitudes of any channel of n-particle process is given. The one-particle structure of this function is described.

Predictive Analytics to Support Real-Time Management in Pathology Facilities.

Science.gov (United States)

Lessard, Lysanne; Michalowski, Wojtek; Chen Li, Wei; Amyot, Daniel; Halwani, Fawaz; Banerjee, Diponkar

2016-01-01

Predictive analytics can provide valuable support to the effective management of pathology facilities. The introduction of new tests and technologies in anatomical pathology will increase the volume of specimens to be processed, as well as the complexity of pathology processes. In order for predictive analytics to address managerial challenges associated with the volume and complexity increases, it is important to pinpoint the areas where pathology managers would most benefit from predictive capabilities. We illustrate common issues in managing pathology facilities with an analysis of the surgical specimen process at the Department of Pathology and Laboratory Medicine (DPLM) at The Ottawa Hospital, which processes all surgical specimens for the Eastern Ontario Regional Laboratory Association. We then show how predictive analytics could be used to support management. Our proposed approach can be generalized beyond the DPLM, contributing to a more effective management of pathology facilities and in turn to quicker clinical diagnoses.

The Journal of Learning Analytics: Supporting and Promoting Learning Analytics Research

OpenAIRE

Siemens, George

2014-01-01

The paper gives a brief overview of the main activities for the development of the emerging field of learning analytics led by the Society for Learning Analytics Research (SoLAR). The place of the Journal of Learning Analytics is identified Analytics is the most significant new initiative of SoLAR. 

The "Journal of Learning Analytics": Supporting and Promoting Learning Analytics Research

Science.gov (United States)

Siemens, George

2014-01-01

The paper gives a brief overview of the main activities for the development of the emerging field of learning analytics led by the Society for Learning Analytics Research (SoLAR). The place of the "Journal of Learning Analytics" is identified. Analytics is the most significant new initiative of SoLAR.

ELAN - expert system supported information and management system for analytical laboratories

International Nuclear Information System (INIS)

Jaeschke, A.; Orth, H.; Zilly, G.

1990-08-01

The demand for high efficiency and short response time calls for the use of computer support in chemico-analytical laboratories. This is usually achieved by laboratory information and management systems covering the three levels of analytical instrument automation, laboratory operation support and laboratory management. The management component of the systems implemented up to now suffers from a lack of flexibility as far as unforeseen analytical investigations outside the laboratory routine work are concerned. Another drawback is the lack of adaptability with respect to structural changes in laboratory organization. It can be eliminated by the application of expert system structures and methods for the implementation of this system level. The ELAN laboratory information and management system has been developed on the basis of this concept. (orig.) [de

Quality assurance management plan (QAPP) special analytical support (SAS)

Energy Technology Data Exchange (ETDEWEB)

LOCKREM, L.L.

1999-05-20

It is the policy of Special Analytical Support (SAS) that the analytical aspects of all environmental data generated and processed in the laboratory, subject to the Environmental Protection Agency (EPA), U.S. Department of Energy or other project specific requirements, be of known and acceptable quality. It is the intention of this QAPP to establish and assure that an effective quality controlled management system is maintained in order to meet the quality requirements of the intended use(s) of the data.

Quality assurance management plan (QAPP) special analytical support (SAS)

International Nuclear Information System (INIS)

LOCKREM, L.L.

1999-01-01

It is the policy of Special Analytical Support (SAS) that the analytical aspects of all environmental data generated and processed in the laboratory, subject to the Environmental Protection Agency (EPA), U.S. Department of Energy or other project specific requirements, be of known and acceptable quality. It is the intention of this QAPP to establish and assure that an effective quality controlled management system is maintained in order to meet the quality requirements of the intended use(s) of the data

Analytic continuation of dual Feynman amplitudes

International Nuclear Information System (INIS)

Bleher, P.M.

1981-01-01

A notion of dual Feynman amplitude is introduced and a theorem on the existence of analytic continuation of this amplitude from the convergence domain to the whole complex is proved. The case under consideration corresponds to massless power propagators and the analytic continuation is constructed on the propagators powers. Analytic continuation poles and singular set of external impulses are found explicitly. The proof of the theorem on the existence of analytic continuation is based on the introduction of α-representation for dual Feynman amplitudes. In proving, the so-called ''trees formula'' and ''trees-with-cycles formula'' are established that are dual by formulation to the trees and 2-trees formulae for usual Feynman amplitudes. (Auth.)

The analytic hierarchy process as a support for decision making

Directory of Open Access Journals (Sweden)

Filipović Milanka

2007-01-01

Full Text Available The first part of this text deals with a convention site selection as one of the most lucrative areas in the tourism industry. The second part gives a further description of a method for decision making - the analytic hierarchy process. The basic characteristics: hierarchy constructions and pair wise comparison on the given level of the hierarchy are allured. The third part offers an example of application. This example is solved using the Super - Decision software, which is developed as a computer support for the analytic hierarchy process. This indicates that the AHP approach is a useful tool to help support a decision of convention site selection. .

To breed or not to breed: a seabird's response to extreme climatic events.

Science.gov (United States)

Cubaynes, Sarah; Doherty, Paul F; Schreiber, E A; Gimenez, Olivier

2011-04-23

Intermittent breeding is an important life-history strategy that has rarely been quantified in the wild and for which drivers remain unclear. It may be the result of a trade-off between survival and reproduction, with individuals skipping breeding when breeding conditions are below a certain threshold. Heterogeneity in individual quality can also lead to heterogeneity in intermittent breeding. We modelled survival, recruitment and breeding probability of the red-footed booby (Sula sula), using a 19 year mark-recapture dataset involving more than 11,000 birds. We showed that skipping breeding was more likely in El-Niño years, correlated with an increase in the local sea surface temperature, supporting the hypothesis that it may be partly an adaptive strategy of birds to face the trade-off between survival and reproduction owing to environmental constraints. We also showed that the age-specific probability of first breeding attempt was synchronized among different age-classes and higher in El-Niño years. This result suggested that pre-breeders may benefit from lowered competition with experienced breeders in years of high skipping probabilities.

Proofs without Words: A Visual Application of Reasoning and Proof

Science.gov (United States)

Bell, Carol J.

2011-01-01

Reasoning and Proof is one of the Process Standards set forth in National Council of Teachers of Mathematics' (NCTM) "Principles and Standards for School Mathematics." Thus, it is important to give students opportunities to build their reasoning skills and aid their understanding of the proof process. Teaching students how to do proofs is a…

Future perspectives of in vitro culture and plant breeding

DEFF Research Database (Denmark)

Kuligowska, Katarzyna; Lütken, Henrik Vlk; Hegelund, Josefine Nymark

2015-01-01

Conventional breeding and plant improvement increasingly become inadequate to keep up with progression and high quality demands. Thus biotechnological techniques are more and more adopted. Initially, biotechnological tools have supported conventional breeding by in vitro culture techniques......, comprising micropropagation, speeding up multiplication and improving uniformity. Also, crossing barriers of incompatible plants have been overcome using in vitro methods and embryo rescue techniques in wide hybridization approaches. Marker-assisted breeding is employed for targeted selection of DNA...... fragments from parental plants in respect to identification of desired characteristics in offspring or among hybrid plants. Phylogeny-assisted breeding and knowledge about genetic relationships support the ability to develop new hybrids. Finally, chemical and radiation induced mutagenesis are established...

Understanding mathematical proof

CERN Document Server

Taylor, John

2014-01-01

Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Functions Introduction Sets and membership Operations on setsThe Cartesian product Functions and composite functions Properties of functions The Structure of Mathematical ProofsIntroduction Some proofs dissected An informal framework for proofs Direct proof A more formal framework Finding Proofs Direct proo

Predictive Analytics to Support Real-Time Management in Pathology Facilities

Science.gov (United States)

Lessard, Lysanne; Michalowski, Wojtek; Chen Li, Wei; Amyot, Daniel; Halwani, Fawaz; Banerjee, Diponkar

2016-01-01

Predictive analytics can provide valuable support to the effective management of pathology facilities. The introduction of new tests and technologies in anatomical pathology will increase the volume of specimens to be processed, as well as the complexity of pathology processes. In order for predictive analytics to address managerial challenges associated with the volume and complexity increases, it is important to pinpoint the areas where pathology managers would most benefit from predictive capabilities. We illustrate common issues in managing pathology facilities with an analysis of the surgical specimen process at the Department of Pathology and Laboratory Medicine (DPLM) at The Ottawa Hospital, which processes all surgical specimens for the Eastern Ontario Regional Laboratory Association. We then show how predictive analytics could be used to support management. Our proposed approach can be generalized beyond the DPLM, contributing to a more effective management of pathology facilities and in turn to quicker clinical diagnoses. PMID:28269873

Towards an Intelligent Tutor for Mathematical Proofs

Directory of Open Access Journals (Sweden)

Serge Autexier

2012-02-01

Full Text Available Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.

Burden of Proof in Bioethics.

Science.gov (United States)

Koplin, Julian J; Selgelid, Michael J

2015-11-01

A common strategy in bioethics is to posit a prima facie case in favour of one policy, and to then claim that the burden of proof (that this policy should be rejected) falls on those with opposing views. If the burden of proof is not met, it is claimed, then the policy in question should be accepted. This article illustrates, and critically evaluates, examples of this strategy in debates about the sale of organs by living donors, human enhancement, and the precautionary principle. We highlight general problems with this style of argument, and particular problems with its use in specific cases. We conclude that the burden ultimately falls on decision-makers (i.e. policy-makers) to choose the policy supported by the best reasons. © 2015 John Wiley & Sons Ltd.

Combinatorial Proofs and Algebraic Proofs

Indian Academy of Sciences (India)

Permanent link: https://www.ias.ac.in/article/fulltext/reso/018/07/0630-0645. Keywords. Combinatorial proof; algebraic proof; binomial identity; recurrence relation; composition; Fibonacci number; Fibonacci identity; Pascal triangle. Author Affiliations. Shailesh A Shirali1. Sahyadri School Tiwai Hill, Rajgurunagar Pune 410 ...

Breeds in danger of extintion and biodiversity

Directory of Open Access Journals (Sweden)

A. Blasco

2008-07-01

Full Text Available Some arguments currently used to support breed conservation are examined. The central point is that we cannot conserve all breeds because we do not have financial resources enough to keep everything (mainly in developing countries and in many cases we do not have special reasons to conserve breeds. A breed is a human product and it should not be confused with specie. A breed can be generated or transformed. We can create synthetic breeds with the best characteristics of several breeds. Selection is not exhausting genetic variability (there are several experiments showing that, and genetic variability within breeds is large. We need reasons to keep breeds in danger in extinction. A breed is a tool, and we can decide to keep it when it is useful because it is specially adapted to some environments (although in this case it should not be in danger of extinction, it can be useful in crossbreeding to shorten the way of obtaining response to selection, or it has some extreme values for traits that may be useful in the future (in this case we have to define clearly which traits and how we expect the future to be. We can add cultural reasons when we have money enough to spend in culture.

Reversal burden of proof on corruption in Indonesia

OpenAIRE

Nugroho, Hibnu

2018-01-01

Corruption becomes the greatest enemy most countries face including Indonesia. Commitment to eradicate corruption significantly increases yet it would be meaningless if it is not supported by adequate legislation to implement the law effectively. Reversal burden of proof essentially aims to facilitate law enforcers to seek and disclose assets a suspect owns allegedly as corruption crime. The principle of reversal burden of proof was originated from Anglo-Saxon countries and this still applies...

Student Teachers’ Proof Schemes on Proof Tasks Involving Inequality: Deductive or Inductive?

Science.gov (United States)

Rosyidi, A. H.; Kohar, A. W.

2018-01-01

Exploring student teachers’ proof ability is crucial as it is important for improving the quality of their learning process and help their future students learn how to construct a proof. Hence, this study aims at exploring at the proof schemes of student teachers in the beginning of their studies. Data were collected from 130 proofs resulted by 65 Indonesian student teachers on two proof tasks involving algebraic inequality. To analyse, the proofs were classified into the refined proof schemes level proposed by Lee (2016) ranging from inductive, which only provides irrelevant inferences, to deductive proofs, which consider addressing formal representation. Findings present several examples of each of Lee’s level on the student teachers’ proofs spanning from irrelevant inferences, novice use of examples or logical reasoning, strategic use examples for reasoning, deductive inferences with major and minor logical coherence, and deductive proof with informal and formal representation. Besides, it was also found that more than half of the students’ proofs coded as inductive schemes, which does not meet the requirement for doing the proof for the proof tasks examined in this study. This study suggests teacher educators in teacher colleges to reform the curriculum regarding proof learning which can accommodate the improvement of student teachers’ proving ability from inductive to deductive proof as well from informal to formal proof.

Architectural Considerations for Highly Scalable Computing to Support On-demand Video Analytics

Science.gov (United States)

2017-04-19

research were used to implement a distributed on-demand video analytics system that was prototyped for the use of forensics investigators in law...demand video intelligence; intelligent video system ; video analytics platform I. INTRODUCTION Video Analytics systems has been of tremendous interest...enforcement. The system was tested in the wild using video files as well as a commercial Video Management System supporting more than 100 surveillance

Optimization of offshore wind turbine support structures using analytical gradient-based method

OpenAIRE

Chew, Kok Hon; Tai, Kang; Ng, E.Y.K.; Muskulus, Michael

2015-01-01

Design optimization of the offshore wind turbine support structure is an expensive task; due to the highly-constrained, non-convex and non-linear nature of the design problem. This report presents an analytical gradient-based method to solve this problem in an efficient and effective way. The design sensitivities of the objective and constraint functions are evaluated analytically while the optimization of the structure is performed, subject to sizing, eigenfrequency, extreme load an...

The Theory of Ratio Scale Estimation: Saaty's Analytic Hierarchy Process

OpenAIRE

Patrick T. Harker; Luis G. Vargas

1987-01-01

The Analytic Hierarchy Process developed by Saaty (Saaty, T. L. 1980. The Analytic Hierarchy Process. McGraw-Hill, New York.) has proven to be an extremely useful method for decision making and planning. However, some researchers in these areas have raised concerns over the theoretical basis underlying this process. This paper addresses currently debated issues concerning the theoretical foundations of the Analytic Hierarchy Process. We also illustrate through proof and through examples the v...

Writing proofs in analysis

CERN Document Server

Kane, Jonathan M

2016-01-01

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to teaching proofs, wherein students are taught fundamentals of logic, given some common proof strategies such as mathematical induction, and presented with a series of well-written proofs to mimic, this textbook teaches what a student needs to be thinking about when trying to construct a proof. Covering the fundamentals of analysis sufficient for a typical beginning Real Analysis course, it never loses sight of the fact that its primary focus is about proof writing skills. This book aims to give the student precise training in the writing of proofs by explaining exactly what elements make up a correct proof, how one goes about constructing an acceptable proof, and, by learning to recognize a correct proof, how to avoid writing incorrect proofs. T...

Analytical mechanics

CERN Document Server

Lemos, Nivaldo A

2018-01-01

Analytical mechanics is the foundation of many areas of theoretical physics including quantum theory and statistical mechanics, and has wide-ranging applications in engineering and celestial mechanics. This introduction to the basic principles and methods of analytical mechanics covers Lagrangian and Hamiltonian dynamics, rigid bodies, small oscillations, canonical transformations and Hamilton–Jacobi theory. This fully up-to-date textbook includes detailed mathematical appendices and addresses a number of advanced topics, some of them of a geometric or topological character. These include Bertrand's theorem, proof that action is least, spontaneous symmetry breakdown, constrained Hamiltonian systems, non-integrability criteria, KAM theory, classical field theory, Lyapunov functions, geometric phases and Poisson manifolds. Providing worked examples, end-of-chapter problems, and discussion of ongoing research in the field, it is suitable for advanced undergraduate students and graduate students studying analyt...

Genetic diversity and population structure of 20 North European cattle breeds

DEFF Research Database (Denmark)

kantanen, J; Olsaker, Ingrid; Holm, Lars-Erik

2000-01-01

Blood samples were collected from 743 animals from 15 indigenous, 2 old imported, and 3 commercial North European cattle breeds. The samples were analyzed for 11 erythrocyte antigen systems, 8 proteins, and 10 microsatellites, and used to assess inter- and intrabreed genetic variation and genetic......, allelic diversity has been reduced in several breeds, which was explained by limited effective population sizes over the course of man-directed breed development and demographic bottlenecks of indigenous breeds. A tree showing genetic relationships between breeds was constructed from a matrix of random...... drift-based genetic distance estimates. The breeds were classified on the basis of the tree topology into four major breed groups, defined as Northern indigenous breeds, Southern breeds, Ayrshire and Friesian breeds, and Jersey. Grouping of Nordic breeds was supported by documented breed history...

ROOT VEGETABLES, BREEDING TRENDS, RESULTS

Directory of Open Access Journals (Sweden)

M. I. Fedorova

2017-01-01

Full Text Available The main advantage of root vegetables is their unique specificity and high economic importance. The benefits and medicinal properties of root vegetables being highly demanded by the market requirements to the commodity are highlighted in the article. The main directions of breeding program for root vegetable crops, including species of Apiaceae family with carrot, parsnips; Chenopodioideae family with red beet; Brassicaceae family with radish, Daikon, Raphanus sativus L. var. lobo Sazonova & Stank, turnip and rutabaga. Initial breeding accessions of carrot, red beet, radish, Daikon, Raphanus sativus L. var. lobo Sazonova & Stank, turnip and rutabaga have been selected out to be used for breeding program for heterosis. The mf and ms breeding lines were developed, and with the use of them the new gene pool was created. Variety supporting breeding program and methods were also proposed. 

National Breeding System of Dairy Cattle Husbandry

Directory of Open Access Journals (Sweden)

Anneke Anggraeni

1999-05-01

Full Text Available The husbandry of domestic dairy cattle as one of the components of livestock sub-sector development is hopefully to increase numerously the capacity and the quality on its milk production, to gradually meet national milk demand and face the competitiveness at the global. The achievement of this purpose should be supported by the production of dairy breeding stock in good quality and sufficient number to increase efficiency of both quantity and quality of domestic milk production. One of important aspect that should be prepared is in determining national breeding system of dairy cattle that can function effectively as guidance and regulation for producing, distributing, and using dairy cattle as “domestic breeding stock”. As in other livestock, breeding system of dairy cattle basically constituted of three main subsystems, i.e. production , distribution and marketing, and quality establishment subsystem. The paper discusses some aspects of these three subsystems to give considerable input in preparing the national concept of dairy cattle breeding system. enterprise (Animal Production 1(2: 43-55 (1999 KeyWords: dairy cattle, breeding stock, milk production.

National Breeding System of Dairy Cattle Husbandry

Directory of Open Access Journals (Sweden)

K Diwyanto

1999-05-01

Full Text Available The husbandry of domestic dairy cattle as one of the components of  livestock sub-sector development is hopefully to increase numerously the capacity and the quality on its milk production, to gradually meet national milk demand and face the competitiveness at the global. The achievement of this purpose should be supported by the production of dairy breeding stock in good quality and sufficient number to increase efficiency of both quantity and quality of domestic milk production. One of important aspect that should be prepared is in determining national breeding system of dairy cattle that can function effectively as guidance and regulation for producing, distributing, and using dairy cattle as “domestic breeding stock”. As in other livestock, breeding system of dairy cattle basically constituted of three main subsystems, i.e. production , distribution and marketing, and quality establishment subsystem. The paper discusses some aspects of these three subsystems to give considerable input in preparing the national concept of dairy cattle breeding system. enterprise (Animal Production 1(2: 43-55 (1999   KeyWords: dairy cattle, breeding stock, milk production.

Prospective Teachers' Conceptions of Proof Comprehension: Revisiting a Proof of the Pythagorean Theorem

Science.gov (United States)

Zazkis, Dov; Zazkis, Rina

2016-01-01

A significant body of research literature in mathematics education attends to mathematical proofs. However, scant research attends to proof comprehension, which is the focus of this study. We examine perspective secondary teachers' conceptions of what constitutes comprehension of a given proof and their ideas of how students' comprehension can be…

Proof complexity of intuitionistic implicational formulas

Czech Academy of Sciences Publication Activity Database

Jeřábek, Emil

2017-01-01

Roč. 168, č. 1 (2017), s. 150-190 ISSN 0168-0072 EU Projects: European Commission(XE) 339691 - FEALORA Institutional support: RVO:67985840 Keywords : proof complexity * intuitionistic logic * implicational fragment Subject RIV: BA - General Mathematics OBOR OECD: Pure mathematics Impact factor: 0.647, year: 2016 http://www.sciencedirect.com/science/article/pii/S0168007216301154

A standards-based ontology and support for Big Data Analytics in the insurance industry

Directory of Open Access Journals (Sweden)

Dimitrios A. Koutsomitropoulos

2017-06-01

Full Text Available Standardization efforts have led to the emergence of conceptual models in the insurance industry. Simultaneously, the proliferation of digital information poses new challenges for the efficient management and analysis of available data. Based on the property and casualty data model, we propose an OWL ontology to represent insurance processes and to map large data volumes collected in traditional data stores. By the virtue of reasoning, we demonstrate a set of semantic queries using the ontology vocabulary that can simplify analytics and deduce implicit facts from these data. We compare this mapping approach to data in native RDF format, as in a triple store. As proof-of-concept, we use a large anonymized dataset for car policies from an actual insurance company.

6 CFR 27.325 - Burden of proof.

Science.gov (United States)

2010-01-01

... 6 Domestic Security 1 2010-01-01 2010-01-01 false Burden of proof. 27.325 Section 27.325 Domestic Security DEPARTMENT OF HOMELAND SECURITY, OFFICE OF THE SECRETARY CHEMICAL FACILITY ANTI-TERRORISM... burden of proving the facts necessary to support the challenged administrative action at every proceeding...

Enabling big geoscience data analytics with a cloud-based, MapReduce-enabled and service-oriented workflow framework.

Directory of Open Access Journals (Sweden)

Zhenlong Li

Full Text Available Geoscience observations and model simulations are generating vast amounts of multi-dimensional data. Effectively analyzing these data are essential for geoscience studies. However, the tasks are challenging for geoscientists because processing the massive amount of data is both computing and data intensive in that data analytics requires complex procedures and multiple tools. To tackle these challenges, a scientific workflow framework is proposed for big geoscience data analytics. In this framework techniques are proposed by leveraging cloud computing, MapReduce, and Service Oriented Architecture (SOA. Specifically, HBase is adopted for storing and managing big geoscience data across distributed computers. MapReduce-based algorithm framework is developed to support parallel processing of geoscience data. And service-oriented workflow architecture is built for supporting on-demand complex data analytics in the cloud environment. A proof-of-concept prototype tests the performance of the framework. Results show that this innovative framework significantly improves the efficiency of big geoscience data analytics by reducing the data processing time as well as simplifying data analytical procedures for geoscientists.

Enabling big geoscience data analytics with a cloud-based, MapReduce-enabled and service-oriented workflow framework.

Science.gov (United States)

Li, Zhenlong; Yang, Chaowei; Jin, Baoxuan; Yu, Manzhu; Liu, Kai; Sun, Min; Zhan, Matthew

2015-01-01

Geoscience observations and model simulations are generating vast amounts of multi-dimensional data. Effectively analyzing these data are essential for geoscience studies. However, the tasks are challenging for geoscientists because processing the massive amount of data is both computing and data intensive in that data analytics requires complex procedures and multiple tools. To tackle these challenges, a scientific workflow framework is proposed for big geoscience data analytics. In this framework techniques are proposed by leveraging cloud computing, MapReduce, and Service Oriented Architecture (SOA). Specifically, HBase is adopted for storing and managing big geoscience data across distributed computers. MapReduce-based algorithm framework is developed to support parallel processing of geoscience data. And service-oriented workflow architecture is built for supporting on-demand complex data analytics in the cloud environment. A proof-of-concept prototype tests the performance of the framework. Results show that this innovative framework significantly improves the efficiency of big geoscience data analytics by reducing the data processing time as well as simplifying data analytical procedures for geoscientists.

Enabling Big Geoscience Data Analytics with a Cloud-Based, MapReduce-Enabled and Service-Oriented Workflow Framework

Science.gov (United States)

Li, Zhenlong; Yang, Chaowei; Jin, Baoxuan; Yu, Manzhu; Liu, Kai; Sun, Min; Zhan, Matthew

2015-01-01

Geoscience observations and model simulations are generating vast amounts of multi-dimensional data. Effectively analyzing these data are essential for geoscience studies. However, the tasks are challenging for geoscientists because processing the massive amount of data is both computing and data intensive in that data analytics requires complex procedures and multiple tools. To tackle these challenges, a scientific workflow framework is proposed for big geoscience data analytics. In this framework techniques are proposed by leveraging cloud computing, MapReduce, and Service Oriented Architecture (SOA). Specifically, HBase is adopted for storing and managing big geoscience data across distributed computers. MapReduce-based algorithm framework is developed to support parallel processing of geoscience data. And service-oriented workflow architecture is built for supporting on-demand complex data analytics in the cloud environment. A proof-of-concept prototype tests the performance of the framework. Results show that this innovative framework significantly improves the efficiency of big geoscience data analytics by reducing the data processing time as well as simplifying data analytical procedures for geoscientists. PMID:25742012

PROOF on Demand

International Nuclear Information System (INIS)

Malzacher, Peter; Manafov, Anar

2010-01-01

PROOF on Demand (PoD) is a set of utilities, which allows starting a PROOF cluster at user request, on any resource management system. It provides a plug-in based system, which allows to use different job submission frontends, such as LSF or gLite WMS. Main components of PoD are the PROOFAgent and the PAConsole. PROOFAgent provides the communication layer between the PROOF master on the local machine and the PROOF workers on the remote resources, possibly behind a firewall. PAConsole provides a user-friendly GUI, which is used to setup, manage, and shutdown the dynamic PROOF cluster. Installation is simple and doesn't require administrator privileges, and all the processes run in user space. PoD gives users, who don't have a centrally-administrated static PROOF cluster at their institute, the possibility to enjoy the full power of interactive analysis with PROOF.

Tamper proofing of safeguards monitors

International Nuclear Information System (INIS)

Riley, R.J.

1982-11-01

The tamper proofing of safeguards monitors is essential if the data they produce is, and can be seen to be, reliable. This report discusses the problem of tamper proofing and gives guidance on when and how to apply tamper proofing techniques. The report is split into two parts. The first concerns the fundamental problem of how much tamper proofing to apply and the second describes methods of tamper proofing and discusses their usefulness. Both sections are applicable to all safeguards monitors although particular reference will be made to doorway monitors in some cases. The phrase 'tamper proofing' is somewhat misleading as it is impossible to completely tamper proof any device. Given enough time and resources, even the most elaborate tamper proofing can be overcome. In safeguards applications we are more interested in making the device tamper resistant and tamper indicating. That is, it should be able to resist a certain amount of tampering, and if tampering proves successful, that fact should be immediately obvious. Techniques of making a device tamper indicating and tamper resistant will be described below. The phrase tamper proofing will be used throughout this report as a generic term, including both tamper resistance and tamper indicating. (author)

Proof in geometry with "mistakes in geometric proofs"

CERN Document Server

Fetisov, A I

2006-01-01

This single-volume compilation of 2 books explores the construction of geometric proofs. It offers useful criteria for determining correctness and presents examples of faulty proofs that illustrate common errors. 1963 editions.

Big data analytics to improve cardiovascular care: promise and challenges.

Science.gov (United States)

Rumsfeld, John S; Joynt, Karen E; Maddox, Thomas M

2016-06-01

The potential for big data analytics to improve cardiovascular quality of care and patient outcomes is tremendous. However, the application of big data in health care is at a nascent stage, and the evidence to date demonstrating that big data analytics will improve care and outcomes is scant. This Review provides an overview of the data sources and methods that comprise big data analytics, and describes eight areas of application of big data analytics to improve cardiovascular care, including predictive modelling for risk and resource use, population management, drug and medical device safety surveillance, disease and treatment heterogeneity, precision medicine and clinical decision support, quality of care and performance measurement, and public health and research applications. We also delineate the important challenges for big data applications in cardiovascular care, including the need for evidence of effectiveness and safety, the methodological issues such as data quality and validation, and the critical importance of clinical integration and proof of clinical utility. If big data analytics are shown to improve quality of care and patient outcomes, and can be successfully implemented in cardiovascular practice, big data will fulfil its potential as an important component of a learning health-care system.

Proofs with monotone cuts

Czech Academy of Sciences Publication Activity Database

Jeřábek, Emil

2012-01-01

Roč. 58, č. 3 (2012), s. 177-187 ISSN 0942-5616 R&D Projects: GA AV ČR IAA100190902; GA MŠk(CZ) 1M0545 Institutional support: RVO:67985840 Keywords : proof complexity * monotone sequent calculus Subject RIV: BA - General Mathematics Impact factor: 0.376, year: 2012 http://onlinelibrary.wiley.com/doi/10.1002/malq.201020071/full

Fusion Analytics: A Data Integration System for Public Health and Medical Disaster Response Decision Support

Science.gov (United States)

Passman, Dina B.

2013-01-01

Objective The objective of this demonstration is to show conference attendees how they can integrate, analyze, and visualize diverse data type data from across a variety of systems by leveraging an off-the-shelf enterprise business intelligence (EBI) solution to support decision-making in disasters. Introduction Fusion Analytics is the data integration system developed by the Fusion Cell at the U.S. Department of Health and Human Services (HHS), Office of the Assistant Secretary for Preparedness and Response (ASPR). Fusion Analytics meaningfully augments traditional public and population health surveillance reporting by providing web-based data analysis and visualization tools. Methods Fusion Analytics serves as a one-stop-shop for the web-based data visualizations of multiple real-time data sources within ASPR. The 24-7 web availability makes it an ideal analytic tool for situational awareness and response allowing stakeholders to access the portal from any internet-enabled device without installing any software. The Fusion Analytics data integration system was built using off-the-shelf EBI software. Fusion Analytics leverages the full power of statistical analysis software and delivers reports to users in a secure web-based environment. Fusion Analytics provides an example of how public health staff can develop and deploy a robust public health informatics solution using an off-the shelf product and with limited development funding. It also provides the unique example of a public health information system that combines patient data for traditional disease surveillance with manpower and resource data to provide overall decision support for federal public health and medical disaster response operations. Conclusions We are currently in a unique position within public health. One the one hand, we have been gaining greater and greater access to electronic data of all kinds over the last few years. On the other, we are working in a time of reduced government spending

Supporting Dynamic Quantization for High-Dimensional Data Analytics.

Science.gov (United States)

Guzun, Gheorghi; Canahuate, Guadalupe

2017-05-01

Similarity searches are at the heart of exploratory data analysis tasks. Distance metrics are typically used to characterize the similarity between data objects represented as feature vectors. However, when the dimensionality of the data increases and the number of features is large, traditional distance metrics fail to distinguish between the closest and furthest data points. Localized distance functions have been proposed as an alternative to traditional distance metrics. These functions only consider dimensions close to query to compute the distance/similarity. Furthermore, in order to enable interactive explorations of high-dimensional data, indexing support for ad-hoc queries is needed. In this work we set up to investigate whether bit-sliced indices can be used for exploratory analytics such as similarity searches and data clustering for high-dimensional big-data. We also propose a novel dynamic quantization called Query dependent Equi-Depth (QED) quantization and show its effectiveness on characterizing high-dimensional similarity. When applying QED we observe improvements in kNN classification accuracy over traditional distance functions. Gheorghi Guzun and Guadalupe Canahuate. 2017. Supporting Dynamic Quantization for High-Dimensional Data Analytics. In Proceedings of Ex-ploreDB'17, Chicago, IL, USA, May 14-19, 2017, 6 pages. https://doi.org/http://dx.doi.org/10.1145/3077331.3077336.

Common floor system vertical earthquake-proof structure for reactor equipment

International Nuclear Information System (INIS)

Morishita, Masaki.

1996-01-01

In an LMFBR type reactor, a reactor container, a recycling pump and a heat exchanger are disposed on a common floor. Vertical earthquake-proof devices which can be stretched only in vertical direction formed by laminating large-sized bellevilles are disposed on a concrete wall at the circumference of each of reactor equipments. A common floor is placed on all of the vertical earthquake-proof devices to support the entire earthquake-proof structure simultaneously. If each of reactor equipments is loaded on the common floor and the common floor is entirely supported against earthquakes altogether, since the movement of each of the reactor equipments loaded on the common floor is identical, relative dislocation is not exerted on the main pipelines which connect the equipments. In addition, since the entire earthquake structure has a flat common floor and each of the reactor equipments is suspended to minimize the distance between a gravitational center and a support point, locking vibration is less caused to the horizontal earthquake. (N.H.)

GeoCAM: A geovisual analytics workspace to contextualize and interpret statements about movement

Directory of Open Access Journals (Sweden)

Anuj Jaiswal

2011-12-01

Full Text Available This article focuses on integrating computational and visual methods in a system that supports analysts to identify, extract, map, and relate linguistic accounts of movement. We address two objectives: (1 build the conceptual, theoretical, and empirical framework needed to represent and interpret human-generated directions; and (2 design and implement a geovisual analytics workspace for direction document analysis. We have built a set of geo-enabled, computational methods to identify documents containing movement statements, and a visual analytics environment that uses natural language processing methods iteratively with geographic database support to extract, interpret, and map geographic movement references in context. Additionally, analysts can provide feedback to improve computational results. To demonstrate the value of this integrative approach, we have realized a proof-of-concept implementation focusing on identifying and processing documents that contain human-generated route directions. Using our visual analytic interface, an analyst can explore the results, provide feedback to improve those results, pose queries against a database of route directions, and interactively represent the route on a map.

Proof-testing strategies induced by dangerous detected failures of safety-instrumented systems

International Nuclear Information System (INIS)

Liu, Yiliu; Rausand, Marvin

2016-01-01

Some dangerous failures of safety-instrumented systems (SISs) are detected almost immediately by diagnostic self-testing as dangerous detected (DD) failures, whereas other dangerous failures can only be detected by proof-testing, and are therefore called dangerous undetected (DU) failures. Some items may have a DU- and a DD-failure at the same time. After the repair of a DD-failure is completed, the maintenance team has two options: to perform an insert proof test for DU-failure or not. If an insert proof test is performed, it is necessary to decide whether the next scheduled proof test should be postponed or performed at the scheduled time. This paper analyzes the effects of different testing strategies on the safety performance of a single channel of a SIS. The safety performance is analyzed by Petri nets and by approximation formulas and the results obtained by the two approaches are compared. It is shown that insert testing improves the safety performance of the channel, but the feasibility and cost of the strategy may be a hindrance to recommend insert testing. - Highlights: • Identify the tests induced by detected failures. • Model the testing strategies following DD-failures. • Propose analytical formulas for effects of strategies. • Simulate and verify the proposed models.

Resistance Genes in Global Crop Breeding Networks.

Science.gov (United States)

Garrett, K A; Andersen, K F; Asche, F; Bowden, R L; Forbes, G A; Kulakow, P A; Zhou, B

2017-10-01

Resistance genes are a major tool for managing crop diseases. The networks of crop breeders who exchange resistance genes and deploy them in varieties help to determine the global landscape of resistance and epidemics, an important system for maintaining food security. These networks function as a complex adaptive system, with associated strengths and vulnerabilities, and implications for policies to support resistance gene deployment strategies. Extensions of epidemic network analysis can be used to evaluate the multilayer agricultural networks that support and influence crop breeding networks. Here, we evaluate the general structure of crop breeding networks for cassava, potato, rice, and wheat. All four are clustered due to phytosanitary and intellectual property regulations, and linked through CGIAR hubs. Cassava networks primarily include public breeding groups, whereas others are more mixed. These systems must adapt to global change in climate and land use, the emergence of new diseases, and disruptive breeding technologies. Research priorities to support policy include how best to maintain both diversity and redundancy in the roles played by individual crop breeding groups (public versus private and global versus local), and how best to manage connectivity to optimize resistance gene deployment while avoiding risks to the useful life of resistance genes. [Formula: see text] Copyright © 2017 The Author(s). This is an open access article distributed under the CC BY 4.0 International license .

Review: Towards the agroecological management of ruminants, pigs and poultry through the development of sustainable breeding programmes. II. Breeding strategies.

Science.gov (United States)

Phocas, F; Belloc, C; Bidanel, J; Delaby, L; Dourmad, J Y; Dumont, B; Ezanno, P; Fortun-Lamothe, L; Foucras, G; Frappat, B; González-García, E; Hazard, D; Larzul, C; Lubac, S; Mignon-Grasteau, S; Moreno, C R; Tixier-Boichard, M; Brochard, M

2016-11-01

Agroecology uses ecological processes and local resources rather than chemical inputs to develop productive and resilient livestock and crop production systems. In this context, breeding innovations are necessary to obtain animals that are both productive and adapted to a broad range of local contexts and diversity of systems. Breeding strategies to promote agroecological systems are similar for different animal species. However, current practices differ regarding the breeding of ruminants, pigs and poultry. Ruminant breeding is still an open system where farmers continue to choose their own breeds and strategies. Conversely, pig and poultry breeding is more or less the exclusive domain of international breeding companies which supply farmers with hybrid animals. Innovations in breeding strategies must therefore be adapted to the different species. In developed countries, reorienting current breeding programmes seems to be more effective than developing programmes dedicated to agroecological systems that will struggle to be really effective because of the small size of the populations currently concerned by such systems. Particular attention needs to be paid to determining the respective usefulness of cross-breeding v. straight breeding strategies of well-adapted local breeds. While cross-breeding may offer some immediate benefits in terms of improving certain traits that enable the animals to adapt well to local environmental conditions, it may be difficult to sustain these benefits in the longer term and could also induce an important loss of genetic diversity if the initial pure-bred populations are no longer produced. As well as supporting the value of within-breed diversity, we must preserve between-breed diversity in order to maintain numerous options for adaptation to a variety of production environments and contexts. This may involve specific public policies to maintain and characterize local breeds (in terms of both phenotypes and genotypes), which could

Modeling and experimental verification of proof mass effects on vibration energy harvester performance

International Nuclear Information System (INIS)

Kim, Miso; Hoegen, Mathias; Dugundji, John; Wardle, Brian L

2010-01-01

An electromechanically coupled model for a cantilevered piezoelectric energy harvester with a proof mass is presented. Proof masses are essential in microscale devices to move device resonances towards optimal frequency points for harvesting. Such devices with proof masses have not been rigorously modeled previously; instead, lumped mass or concentrated point masses at arbitrary points on the beam have been used. Thus, this work focuses on the exact vibration analysis of cantilevered energy harvester devices including a tip proof mass. The model is based not only on a detailed modal analysis, but also on a thorough investigation of damping ratios that can significantly affect device performance. A model with multiple degrees of freedom is developed and then reduced to a single-mode model, yielding convenient closed-form normalized predictions of device performance. In order to verify the analytical model, experimental tests are undertaken on a macroscale, symmetric, bimorph, piezoelectric energy harvester with proof masses of different geometries. The model accurately captures all aspects of the measured response, including the location of peak-power operating points at resonance and anti-resonance, and trends such as the dependence of the maximal power harvested on the frequency. It is observed that even a small change in proof mass geometry results in a substantial change of device performance due not only to the frequency shift, but also to the effect on the strain distribution along the device length. Future work will include the optimal design of devices for various applications, and quantification of the importance of nonlinearities (structural and piezoelectric coupling) for device performance

Fashion vs. function in cultural evolution: the case of dog breed popularity.

Science.gov (United States)

Ghirlanda, Stefano; Acerbi, Alberto; Herzog, Harold; Serpell, James A

2013-01-01

We investigate the relationship between characteristics of dog breeds and their popularity between years 1926 and 2005. We consider breed health, longevity, and behavioral qualities such as aggressiveness, trainability, and fearfulness. We show that a breed's overall popularity, fluctuations in popularity, and rates of increase and decrease around popularity peaks show typically no correlation with these breed characteristics. One exception is the finding that more popular breeds tend to suffer from more inherited disorders. Our results support the hypothesis that dog breed popularity has been primarily determined by fashion rather than function.

Fashion vs. Function in Cultural Evolution: The Case of Dog Breed Popularity

Science.gov (United States)

Ghirlanda, Stefano; Acerbi, Alberto; Herzog, Harold; Serpell, James A.

2013-01-01

We investigate the relationship between characteristics of dog breeds and their popularity between years 1926 and 2005. We consider breed health, longevity, and behavioral qualities such as aggressiveness, trainability, and fearfulness. We show that a breed's overall popularity, fluctuations in popularity, and rates of increase and decrease around popularity peaks show typically no correlation with these breed characteristics. One exception is the finding that more popular breeds tend to suffer from more inherited disorders. Our results support the hypothesis that dog breed popularity has been primarily determined by fashion rather than function. PMID:24040341

Final report SmartProofS. Results of projects of the SmartProofS program; Eindrapport SmartProofS. Projectresultaten van het SmartProofS programma

Energy Technology Data Exchange (ETDEWEB)

Van Hoorik, P.; Westerga, R. [Energy Valley, Groningen (Netherlands)

2011-05-15

The SmartProofs program aims to develop tools which must show that the principle of a Smart Power System (SPS) works and how. An SPS can ensure that the supply and demand of electricity in the grid is balanced, even in case more decentralized energy techniques will be put into use. This final report summarizes the main results and conclusions of the SmartProofs program. As part of the SPS program attention is paid to the impacts on the girds, the effects of centralized and decentralized management, disaster resilience, pricing models, potential benefits of control and new business models [Dutch] Het SmartProofs programma heeft tot doel om een concept van een Smart Power System (SPS) te ontwikkelen waarmee kan worden aangetoond dat het principe van een SPS werkt en op welke manier. Een SPS kan zorgen dat het aanbod van elektriciteit op het net op elk moment van de dag overeenkomt met de vraag, ook als er straks veel meer decentrale energietechnieken gebruikt worden waarmee zowel de vraag als het aanbod van elektriciteit onvoorspelbaar wordt. Dit eindrapport geeft een overzicht van de belangrijkste resultaten en conclusies van het SmartProofs programma. Het programma heeft in de werkpakketten deelvraagstukken rondom SmartProofS onderzocht rondom de effecten op onze energienetten, de effecten van zowel centrale- als decentrale aansturing, disaster resilience, prijsmodellen, mogelijke baten van aansturing en nieuwe business modellen.

PROBLEMS OF INFORMATION AND ANALYTICAL SUPPORT OF CONTEMPORARY STRATEGIC MANAGEMENT

Directory of Open Access Journals (Sweden)

M. A. Rodionov

2014-01-01

Full Text Available The problematic aspects have been considered with regard to the information and analytical support of a strategic decision making in the modern management. The role and place are clarified in relation to a process of elaboration and making a management decision in strategic planning. The existing approaches are analyzed regarding the estimating of regularities in the course and outcome of strategic processes. The strategic forecasting matters have been studied as well as a decision maker`s attitude to the risks.

Local properties of analytic functions and non-standard analysis

International Nuclear Information System (INIS)

O'Brian, N.R.

1976-01-01

This is an expository account which shows how the methods of non-standard analysis can be applied to prove the Nullstellensatz for germs of analytic functions. This method of proof was discovered originally by Abraham Robinson. The necessary concepts from model theory are described in some detail and the Nullstellensatz is proved by investigating the relation between the set of infinitesimal elements in the complex n-plane and the spectrum of the ring of germs of analytic functions. (author)

Competing on analytics.

Science.gov (United States)

Davenport, Thomas H

2006-01-01

We all know the power of the killer app. It's not just a support tool; it's a strategic weapon. Companies questing for killer apps generally focus all their firepower on the one area that promises to create the greatest competitive advantage. But a new breed of organization has upped the stakes: Amazon, Harrah's, Capital One, and the Boston Red Sox have all dominated their fields by deploying industrial-strength analytics across a wide variety of activities. At a time when firms in many industries offer similar products and use comparable technologies, business processes are among the few remaining points of differentiation--and analytics competitors wring every last drop of value from those processes. Employees hired for their expertise with numbers or trained to recognize their importance are armed with the best evidence and the best quantitative tools. As a result, they make the best decisions. In companies that compete on analytics, senior executives make it clear--from the top down--that analytics is central to strategy. Such organizations launch multiple initiatives involving complex data and statistical analysis, and quantitative activity is managed atthe enterprise (not departmental) level. In this article, professor Thomas H. Davenport lays out the characteristics and practices of these statistical masters and describes some of the very substantial changes other companies must undergo in order to compete on quantitative turf. As one would expect, the transformation requires a significant investment in technology, the accumulation of massive stores of data, and the formulation of company-wide strategies for managing the data. But, at least as important, it also requires executives' vocal, unswerving commitment and willingness to change the way employees think, work, and are treated.

Molecular Breeding Algae For Improved Traits For The Conversion Of Waste To Fuels And Commodities.

Energy Technology Data Exchange (ETDEWEB)

Bagwell, C. [Savannah River Site (SRS), Aiken, SC (United States). Savannah River National Lab. (SRNL)

2015-10-14

This Exploratory LDRD aimed to develop molecular breeding methodology for biofuel algal strain improvement for applications in waste to energy / commodity conversion technologies. Genome shuffling technologies, specifically protoplast fusion, are readily available for the rapid production of genetic hybrids for trait improvement and have been used successfully in bacteria, yeast, plants and animals. However, genome fusion has not been developed for exploiting the remarkable untapped potential of eukaryotic microalgae for large scale integrated bio-conversion and upgrading of waste components to valued commodities, fuel and energy. The proposed molecular breeding technology is effectively sexual reproduction in algae; though compared to traditional breeding, the molecular route is rapid, high-throughput and permits selection / improvement of complex traits which cannot be accomplished by traditional genetics. Genome fusion technologies are the cutting edge of applied biotechnology. The goals of this Exploratory LDRD were to 1) establish reliable methodology for protoplast production among diverse microalgal strains, and 2) demonstrate genome fusion for hybrid strain production using a single gene encoded trait as a proof of the concept.

Understanding, Evaluating, and Supporting Self-Regulated Learning Using Learning Analytics

Science.gov (United States)

Roll, Ido; Winne, Philip H.

2015-01-01

Self-regulated learning is an ongoing process rather than a single snapshot in time. Naturally, the field of learning analytics, focusing on interactions and learning trajectories, offers exciting opportunities for analyzing and supporting self-regulated learning. This special section highlights the current state of research at the intersection of…

Logic Reduced To Bare (Proof-Theoretical) Bones

Czech Academy of Sciences Publication Activity Database

Peregrin, Jaroslav

2015-01-01

Roč. 24, č. 2 (2015), s. 193-209 ISSN 0925-8531 Institutional support: RVO:67985955 Keywords : inference * incompatibility * proof theory * intuitionistic logic Subject RIV: AA - Philosophy ; Religion Impact factor: 0.450, year: 2015

Proof load testing of reinforced concrete bridges: Experience from a program of testing in the Netherlands

NARCIS (Netherlands)

Lantsoght, E.O.L.

2017-01-01

For existing bridges with large uncertainties, analytical methods have limitations. Therefore, to reduce these uncertainties, field testing of a bridge can be used. A type of such a field test is a proof load test, in which a load equivalent to the factored live load is applied. If the bridge can

Breeds of cattle

NARCIS (Netherlands)

Buchanan, David S.; Lenstra, Johannes A.

2015-01-01

This chapter gives an overview on the different breeds of cattle (Bos taurus and B. indicus). Cattle breeds are presented and categorized according to utility and mode of origin. Classification and phylogeny of breeds are also discussed. Furthermore, a description of cattle breeds is provided.

Proof Problems with Diagrams: An Opportunity for Experiencing Proofs and Refutations

Science.gov (United States)

Komatsu, Kotaro; Tsujiyama, Yosuke; Sakamaki, Aruta; Koike, Norio

2014-01-01

It has become gradually accepted that proof and proving are essential at all grades of mathematical learning. Among the various aspects of proof and proving, this study addresses proofs and refutations described by Lakatos, in particular a part of increasing content by deductive guessing, to introduce an authentic process into mathematics…

Selection and Breeding of Cattle in Asia: Strategies and Criteria for Improved Breeding. Prepared under the Framework of an RCA Project with the Technical Support of the Joint FAO/IAEA Programme of Nuclear Techniques in Food and Agriculture

International Nuclear Information System (INIS)

2009-10-01

The International Atomic Energy Agency (IAEA) and the Regional Cooperative Agreement for Asia and the Pacific Region (RCA), with the technical support of the Joint FAO/IAEA Programme of Nuclear Techniques in Food and Agriculture, implemented a Technical Cooperation (TC) project entitled Integrated Approach for Improving Livestock Production Using Indigenous Resources and Conserving the Environment (RAS/5/044). The 23 project counterparts and the IAEA technical officer, based on the lack of standard practices in the region with regard to selection of cattle for breeding purposes, and the need to properly manage the genetic resources within each country for improving the productivity of the existing stock while maintaining the unique and beneficial genetic characteristics of the indigenous breeds, agreed during the first meeting to request the IAEA to recruit a group of experts with the task of preparing guidelines for the selection and breeding of cattle and buffalo on the Asian continent. To address these recommendations, an experts meeting on Selection Criteria for Breeding Heifers was organized and held in Mymensingh, Bangladesh. The meeting was hosted by the Faculty of Veterinary Science of the Bangladesh Agricultural University (BAU) from 6 to 10 February 2006. It was attended by six foreign experts and two local experts, and was supported by the technical officer of RAS/5/044. The experts from countries participating in RAS/5/044 gave presentations on the current state of cattle breeding in their countries and two experts working in industrialized countries within the region (New Zealand and Australia) informed the participants about the existing cattle breeding programmes in their respective countries and offered their perspectives on how similar approaches could be transferred to the Member States participating in RAS/5/044. All experts also made a field visit to a prominent dairy-producing region, to experience at first-hand some of the current programmes

Coqoon - An IDE for Interactive Proof Development in Coq

OpenAIRE

Faithfull, Alexander; Bengtson, Jesper; Tassi, Enrico

2016-01-01

User interfaces for interactive proof assistants have always lagged behind those for mainstream programming languages. Whereas integrated development environments—IDEs—have support for features like project management, version control, dependency analysis and incremental project compilation, “IDE”s for proof assistants typically only operate on files in isolation, relying on external tools to integrate those files into larger projects. In this paper we present Coqoon, an IDE for Coq developme...

Investigations on the treatment of waste waters from pig breeding

Energy Technology Data Exchange (ETDEWEB)

Cute, E; Mambet, E; Juriari, E; Murgoci, C

1967-01-01

The introduction of intensive methods of pig breeding has caused changes in the characteristics, particularly the strength, of the piggeries waste waters; analytical data are tabulated for waste waters from 3 pig-breeding farms and 1 large pig-breeding combine in Romania. At older piggeries, waste waters are treated by sedimentation and sludge digestion in Imhoff tanks. In more recent establishments, treatment comprises primary sedimentation followed by storage of the settled waste waters in ponds to be used for irrigation, and separate digestion of sludge in open tanks. Experiments showed that precautions are necessary to prevent blocking of the sewerage system by easily-settleable material before reaching the sedimentation tanks; sedimentation is more efficient in horizontal sedimentation tanks than in the older Imhoff tanks; biological treatment is possible without addition of nutrients, but the waste waters must be diluted; and digestion requires a longer period than that for sewage sludge, difficulties being caused by the presence of coarse suspended particles of waste feeding stuffs.

Genetic diversity and relationships of Vietnamese and European pig breeds

Energy Technology Data Exchange (ETDEWEB)

Thuy, N T.D. [Department of Animal Breeding and Biotechnology, University of Hohenheim, Stuttgart (Germany); Institute of Biotechnology (IBT), National Center for Natural Science and Technology, Hanoi (Viet Nam); Melchinger, E; Kuss, A W; Peischl, T; Bartenschlager, H; Geldermann, H [Department of Animal Breeding and Biotechnology, University of Hohenheim, Stuttgart (Germany); Cuong, N V [Institute of Biotechnology (IBT), National Center for Natural Science and Technology, Hanoi (Viet Nam)

2005-07-01

Indigenous resources of the Asian pig population are less defined and only rarely compared with European breeds. In this study, five indigenous pig breeds from Viet Nam (Mong Cai, Muong Khuong, Co, Meo, Tap Na), two exotic breeds kept in Viet Nam (Large White, Landrace), three European commercial breeds (Pietrain, Landrace, Large White), and European Wild Boar were chosen for evaluation and comparison of genetic diversity. Samples and data from 317 animals were collected and ten polymorphic microsatellite loci were selected according to the recommendations of the FAO Domestic Animal Diversity Information System (DAD-IS; http://www.fao.org/dad-is/). Effective number of alleles, Polymorphism Information Content (PIC), within-breed diversity, estimated heterozygosities and tests for Hardy-Weinberg equilibrium were determined. Breed differentiation was evaluated using the fixation indices of Wright (1951). Genetic distances between breeds were estimated according to Nei (1972) and used for the construction of UPGMA dendrograms which were evaluated by bootstrapping. Heterozygosity was higher in indigenous Vietnamese breeds than in the other breeds. The Vietnamese indigenous breeds also showed higher genetic diversity than the European breeds and all genetic distances had a strong bootstrap support. The European commercial breeds, in contrast, were closely related and bootstrapping values for genetic distances among them were below 60%. European Wild Boar displayed closer relation with commercial breeds of European origin than with the native breeds from Viet Nam. This study is one of the first to contribute to a genetic characterization of autochthonous Vietnamese pig breeds and it clearly demonstrates that these breeds harbour a rich reservoir of genetic diversity. (author)

Genetic diversity and relationships of Vietnamese and European pig breeds

International Nuclear Information System (INIS)

Thuy, N.T.D.; Melchinger, E.; Kuss, A.W.; Peischl, T.; Bartenschlager, H.; Geldermann, H.; Cuong, N.V.

2005-01-01

Indigenous resources of the Asian pig population are less defined and only rarely compared with European breeds. In this study, five indigenous pig breeds from Viet Nam (Mong Cai, Muong Khuong, Co, Meo, Tap Na), two exotic breeds kept in Viet Nam (Large White, Landrace), three European commercial breeds (Pietrain, Landrace, Large White), and European Wild Boar were chosen for evaluation and comparison of genetic diversity. Samples and data from 317 animals were collected and ten polymorphic microsatellite loci were selected according to the recommendations of the FAO Domestic Animal Diversity Information System (DAD-IS; http://www.fao.org/dad-is/). Effective number of alleles, Polymorphism Information Content (PIC), within-breed diversity, estimated heterozygosities and tests for Hardy-Weinberg equilibrium were determined. Breed differentiation was evaluated using the fixation indices of Wright (1951). Genetic distances between breeds were estimated according to Nei (1972) and used for the construction of UPGMA dendrograms which were evaluated by bootstrapping. Heterozygosity was higher in indigenous Vietnamese breeds than in the other breeds. The Vietnamese indigenous breeds also showed higher genetic diversity than the European breeds and all genetic distances had a strong bootstrap support. The European commercial breeds, in contrast, were closely related and bootstrapping values for genetic distances among them were below 60%. European Wild Boar displayed closer relation with commercial breeds of European origin than with the native breeds from Viet Nam. This study is one of the first to contribute to a genetic characterization of autochthonous Vietnamese pig breeds and it clearly demonstrates that these breeds harbour a rich reservoir of genetic diversity. (author)

Maternal genealogical patterns of chicken breeds sampled in Europe.

Science.gov (United States)

Lyimo, C M; Weigend, A; Msoffe, P L; Hocking, P M; Simianer, H; Weigend, S

2015-08-01

The aim of this study was to investigate the maternal genealogical pattern of chicken breeds sampled in Europe. Sequence polymorphisms of 1256 chickens of the hypervariable region (D-loop) of mitochondrial DNA (mtDNA) were used. Median-joining networks were constructed to establish evolutionary relationships among mtDNA haplotypes of chickens, which included a wide range of breeds with different origin and history. Chicken breeds which have had their roots in Europe for more than 3000 years were categorized by their founding regions, encompassing Mediterranean type, East European type and Northwest European type. Breeds which were introduced to Europe from Asia since the mid-19th century were classified as Asian type, and breeds based on crossbreeding between Asian breeds and European breeds were classified as Intermediate type. The last group, Game birds, included fighting birds from Asia. The classification of mtDNA haplotypes was based on Liu et al.'s (2006) nomenclature. Haplogroup E was the predominant clade among the European chicken breeds. The results showed, on average, the highest number of haplotypes, highest haplotype diversity, and highest nucleotide diversity for Asian type breeds, followed by Intermediate type chickens. East European and Northwest European breeds had lower haplotype and nucleotide diversity compared to Mediterranean, Intermediate, Game and Asian type breeds. Results of our study support earlier findings that chicken breeds sampled in Europe have their roots in the Indian subcontinent and East Asia. This is consistent with historical and archaeological evidence of chicken migration routes to Europe. © 2015 Stichting International Foundation for Animal Genetics.

Validation techniques for object-oriented proof outlines

NARCIS (Netherlands)

Pierik, C.

2006-01-01

This thesis presents a proof outline logic for a simple object-oriented programming language. The language has all object-oriented features of popular programming languages like Java and C#. In particular, it supports inheritance, field shadowing, aliasing, dynamic object creation, subtype

Habitat and sex differences in physiological condition of breeding Southwestern Willow Flycatchers (Empidonax traillii extimus)

Science.gov (United States)

Owen, J.C.; Sogge, M.K.; Kern, M.D.

2005-01-01

The Southwestern Willow Flycatcher (Empidonax traillii extimus; here- after “flycatcher”) is a federally listed endangered species that breeds in densely vegetated riparian habitats dominated by native and exotic plants, including introduced monotypic saltcedar (Tamarix ramosissima). Some workers have theorized that saltcedar is unsuitable habitat for the flycatcher, primarily because it generally supports a smaller and less diverse invertebrate community (the flycatcher's food base) than native habitats (e.g. Salix spp.). However, differences in insect communities between native and saltcedar habitats are not proof that saltcedar habitats are inferior. The only way to evaluate whether the habitats differ in dietary or energetic quality is to document actual food limitation or its manifestations. Measurements of an individual's body condition and metabolic state can serve as indicators of environmental stressors, such as food limitation and environmental extremes. We captured 130 flycatchers breeding in native and saltcedar habitats in Arizona and New Mexico and measured 12 variables of physiological condition. These variables included body mass, fat level, body condition index, hematocrit, plasma triglycerides, plasma free fatty acids and glycerol, plasma glucose and beta-hydroxybutyrate, plasma uric acid, total leukocyte count, and heterophil-to-lymphocyte ratio. We found substantial sex-based differences in the condition of male and female flycatchers. Ten of the 12 measures of physiological condition differed significantly between the sexes. In all cases where male and female condition differed (except mass), the differences suggest that males were in poorer condition than females. We found few habitat-based differences in flycatcher condition. Only 3 of the 12 physiological condition indices differed significantly between habitats. Our data show that, at least in some parts of the flycatcher's range, there is no evidence that flycatchers breeding in

Tianshuishi space breeding current situation and developing trend

International Nuclear Information System (INIS)

Wang Fuquan; Song Jianrong; Zhang Zhongping; Guo Zhenfang

2012-01-01

Tianshuishi is located in Xi'an to lanzhou among two big cities, the five space launch, has vegetables, food, grasses, flowers, rape, melon and fruit, Chinese traditional medicine, amount of 8 categories of crops, such as the 22 new material after carrying the ground breeding work. Only vegetables on identified 23 aerospace new varieties. After ten years of space breeding, summarizes the present situation of Tianshuishi space breeding, development experience, characteristic, trends, and puts forward the development space breeding Tianshuishi organization and breeding of talent from the matching policy and grow up incentive mechanism, strengthen the cooperation and all over the country, establishing fiscal policy support from the aspects such as advice. (authors)

Predictors of breeding site occupancy by amphibians in montane landscapes

Science.gov (United States)

Groff, Luke A.; Loftin, Cynthia S.; Calhoun, Aram J.K.

2017-01-01

Ecological relationships and processes vary across species’ geographic distributions, life stages and spatial, and temporal scales. Montane landscapes are characterized by low wetland densities, rugged topographies, and cold climates. Consequently, aquatic-dependent and low-vagility ectothermic species (e.g., pool-breeding amphibians) may exhibit unique ecological associations in montane landscapes. We evaluated the relative importance of breeding- and landscape-scale features associated with spotted salamander (Ambystoma maculatum) and wood frog (Lithobates sylvaticus) wetland occupancy in Maine's Upper Montane-Alpine Zone ecoregion, and we determined whether models performed better when the inclusive landscape-scale covariates were estimated with topography-weighted or circular buffers. We surveyed 135 potential breeding sites during May 2013–June 2014 and evaluated environmental relationships with multi-season implicit dynamics occupancy models. Breeding site occupancy by both species was influenced solely by breeding-scale habitat features. Spotted salamander occupancy probabilities increased with previous or current beaver (Castor canadensis) presence, and models generally were better supported when the inclusive landscape-scale covariates were estimated with topography-weighted rather than circular buffers. Wood frog occupancy probabilities increased with site area and percent shallows, but neither buffer type was better supported than the other. Model rank order and support varied between buffer types, but model inferences did not. Our results suggest pool-breeding amphibian conservation in montane Maine include measures to maintain beaver populations and large wetlands with proportionally large areas of shallows ≤1-m deep. Inconsistencies between our study and previous studies substantiate the value of region-specific research for augmenting species’ conservation management plans and suggest the application of out-of-region inferences may promote

Improvement of Information and Analytical Support of Strategic Marketing Management of Confectioneries

OpenAIRE

Yanevych Mykhaylo M.

2013-01-01

The article develops and offers to introduce a mechanism of information and analytical support of strategic marketing management of confectioneries, which consists of seven components of various hierarchical levels: macro-marketing and micro-marketing environments, trade, infrastructure, consumer, resource and production and organisational components. A confectionery can justify an optimal marketing strategy within this mechanism, due to consideration of the state of external environment and ...

Learning Analytics to Support Teachers During Synchronous CSCL: Balancing Between Overview and Overload

NARCIS (Netherlands)

van Leeuwen, A.

2015-01-01

Learning analytics (LA) are summaries, visualizations, and analyses of student data that could improve learning in multiple ways, for example by supporting teachers. However, not much research is available yet concerning how LA may support teachers to diagnose student progress and to intervene

Breeding and Selection of New Switchgrass Varieties for Increased Biomass Production

Energy Technology Data Exchange (ETDEWEB)

Taliaferro, C.M.

2003-05-27

Switchgrass breeding and genetics research was conducted from 1992-2002 at the Oklahoma State University as part of the national DOE-Bioenergy Feedstock Development Program (BFDP) effort to develop the species as a bioenergy feedstock crop. The fundamental objective of the program was to implement and conduct a breeding program to increase biomass yield capability in switchgrass and develop cultivars for the central and southern United States. Supporting research objectives included: (1) switchgrass germplasm collection, characterization, and enhancement; (2) elucidation of cytogenetic and breeding behavior; and (3) identification of best breeding procedures.

Using the analytic hierarchy process to support teams in defining new product objectives

NARCIS (Netherlands)

Hummel, J.M.; Verkerke, G.J.; van Rossum, W.; Rakhorst, G.; Hummel, J.M.

2001-01-01

Defining new product objectives is a critical problem solving activity to new product success. The analytic hierarchy process appears to be an adequate technique for multi-criteria decision analysis to support the definition of new product objectives. To illustrate this support, we applied this

Harry Lehmann and the analyticity unitarity programme

International Nuclear Information System (INIS)

Martin, A.

2001-01-01

I try to describe the extremely fruitful interaction I had with Harry Lehmann and the results which came out of the analyticity unitarity programme, especially the proof of the Froissart bound, which, with recent and future measurements of total cross-sections and real parts, remains topical. (orig.)

Teaching logic using a state-of-art proof assistant

Directory of Open Access Journals (Sweden)

Maxim Hendriks

2010-06-01

Full Text Available This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web interface. Part of this system is a large database of logic problems. This database will also hold the solutions of the students. The students do not need to install anything to be able to use the system (not even a browser plug-in, and the teachers are able to centrally track progress of the students. The system makes the full power of Coq available to the students, but simultaneously presents the logic problems in a way that is customary in undergraduate logic courses. Both styles of presenting natural deduction proofs (Gentzen-style `tree view' and Fitch-style `box view' are supported. Part of the system is a parser that indicates whether the students used the automation of Coq to solve their problems or that they solved it themselves using only the inference rules of the logic. For these inference rules dedicated tactics for Coq have been developed. The system has already been used in type theory courses and logic undergraduate courses. The ProofWeb system can be tried at http://proofweb.cs.ru.nl/.

A Lecture Supporting System Based on Real-Time Learning Analytics

Science.gov (United States)

Shimada, Atsushi; Konomi, Shin'ichi

2017-01-01

A new lecture supporting system based on real-time learning analytics is proposed. Our target is on-site classrooms where teachers give their lectures, and a lot of students listen to teachers' explanation, conduct exercises etc. We utilize not only an e-Learning system, but also an e-Book system to collect real-time learning activities during the…

A PROOF Analysis Framework

International Nuclear Information System (INIS)

González Caballero, I; Cuesta Noriega, A; Rodríguez Marrero, A; Fernández del Castillo, E

2012-01-01

The analysis of the complex LHC data usually follows a standard path that aims at minimizing not only the amount of data but also the number of observables used. After a number of steps of slimming and skimming the data, the remaining few terabytes of ROOT files hold a selection of the events and a flat structure for the variables needed that can be more easily inspected and traversed in the final stages of the analysis. PROOF arises at this point as an efficient mechanism to distribute the analysis load by taking advantage of all the cores in modern CPUs through PROOF Lite, or by using PROOF Cluster or PROOF on Demand tools to build dynamic PROOF cluster on computing facilities with spare CPUs. However using PROOF at the level required for a serious analysis introduces some difficulties that may scare new adopters. We have developed the PROOF Analysis Framework (PAF) to facilitate the development of new analysis by uniformly exposing the PROOF related configurations across technologies and by taking care of the routine tasks as much as possible. We describe the details of the PAF implementation as well as how we succeeded in engaging a group of CMS physicists to use PAF as their daily analysis framework.

The State Regulation and Accounting and Analytical Support of the Development of E-Commerce in the Consumer Sector

Directory of Open Access Journals (Sweden)

Koval Viktor V

2016-08-01

Full Text Available The aim of the article is to study the theoretical and methodological principles of the state regulation and accounting and analytical support of the development of e-commerce in the consumer sector. The peculiarities of the state regulation and accounting and analytical support of the development of e-commerce in the consumer sector have been considered. The international and domestic experience in the field of regulatory support of e-commerce is studied. There systematized the ways of solving the problems of e-commerce in Ukraine based on the need to minimize the direct regulation with the perfection of the institutional environment to improve business conditions including the issues of the fiscal regime and simplification of the customs tariff regulation. The state regulation of e-commerce should constructively contribute to the development of entrepreneurship among other measures by solving the problem of financial control of electronic transactions and supporting the payment infrastructure of e-commerce in the consumer market on the basis of its corresponding accounting and analytical support. Prospects of further research in this direction are definition of a clear and harmonized with international standards state policy in the sphere of regulation of e-commerce in the consumer market on the basis of the relevant accounting and analytical support, since the appearance of new objects and forms of economic activity sets new tasks for the accounting, which develops in parallel with these changes and generates information for managing at both the micro and macro level.

Short proofs for the determinant identities

Czech Academy of Sciences Publication Activity Database

Hrubeš, Pavel; Tzameret, I.

2015-01-01

Roč. 44, č. 2 (2015), s. 340-383 ISSN 0097-5397 EU Projects: European Commission(XE) 339691 - FEALORA Program:FP7 Institutional support: RVO:67985840 Keywords : proof complexity * arithmetic circuits Subject RIV: BA - General Mathematics Impact factor: 0.841, year: 2015 http://epubs.siam.org/doi/abs/10.1137/130917788

28 CFR 79.54 - Proof of primary lung cancer.

Science.gov (United States)

2010-07-01

... 28 Judicial Administration 2 2010-07-01 2010-07-01 false Proof of primary lung cancer. 79.54... cancer. (a) In determining whether a claimant developed primary lung cancer following pertinent... conclusion that a claimant developed primary lung cancer must be supported by medical documentation. To prove...

28 CFR 79.64 - Proof of primary lung cancer.

Science.gov (United States)

2010-07-01

... 28 Judicial Administration 2 2010-07-01 2010-07-01 false Proof of primary lung cancer. 79.64... cancer. (a) In determining whether a claimant developed primary lung cancer following pertinent... claimant. A conclusion that a claimant developed primary lung cancer must be supported by medical...

28 CFR 79.45 - Proof of primary lung cancer.

Science.gov (United States)

2010-07-01

... 28 Judicial Administration 2 2010-07-01 2010-07-01 false Proof of primary lung cancer. 79.45... cancer. (a) In determining whether a claimant developed primary lung cancer following pertinent... conclusion that a claimant developed primary lung cancer must be supported by medical documentation. To prove...

An Elementary Proof of a Converse Mean-Value Theorem

Science.gov (United States)

Almeida, Ricardo

2008-01-01

We present a new converse mean value theorem, with a rather elementary proof. [The work was supported by Centre for Research on Optimization and Control (CEOC) from the "Fundacaopara a Ciencia e a Tecnologia" FCT, co-financed by the European Community Fund FEDER/POCTI.

Importance of determining the climatic domains of sheep breeds.

Science.gov (United States)

Petit, D; Boujenane, I

2018-07-01

The main purpose of the study was to compare the capacity of the major sheep breeds in Morocco to cope with climate changes through the ranges of several climate parameters in which they can be found. We first delimitated the climatic 'domains' of each breed by constructing a database including altitude and climatic parameters (minima mean of the coldest month, maxima mean of the hottest month, annual rainfall, pluviothermic coefficient of Emberger Q 2, annual minima mean and annual maxima mean) on a 30-year period using the representative stations of each breed distribution. The overlap between each breed combination was quantified through a canonical analysis that extracted the most discriminant parameters. The variance analysis of each climatic parameter evidenced two breeds remarkable by their tolerance. The first one is the Timahdite, mainly settled in areas over 1100 m, which can tolerate the greatest variations in annual rainfall and pluviothermic coefficient. In spite of this feature, this breed is endangered owing to the decreasing quality of pastures. The second one is the D'man which apparently can support high variations in extreme temperatures. In fact, this breed is not well adapted to pastures and requires a special microclimate offered by oases. The information reported in this study will be the basis for the establishment of characterization and selection strategies for Moroccan sheep.

46 CFR 201.144 - Offer of proof.

Science.gov (United States)

2010-10-01

... 46 Shipping 8 2010-10-01 2010-10-01 false Offer of proof. 201.144 Section 201.144 Shipping... PROCEDURE Evidence (Rule 14) § 201.144 Offer of proof. An offer of proof made in connection with an... accompany the record as the offer of proof. ...

Efficient proof of ownership for cloud storage systems

Science.gov (United States)

Zhong, Weiwei; Liu, Zhusong

2017-08-01

Cloud storage system through the deduplication technology to save disk space and bandwidth, but the use of this technology has appeared targeted security attacks: the attacker can deceive the server to obtain ownership of the file by get the hash value of original file. In order to solve the above security problems and the different security requirements of the files in the cloud storage system, an efficient and information-theoretical secure proof of ownership sceme is proposed to support the file rating. Through the K-means algorithm to implement file rating, and use random seed technology and pre-calculation method to achieve safe and efficient proof of ownership scheme. Finally, the scheme is information-theoretical secure, and achieve better performance in the most sensitive areas of client-side I/O and computation.

Advances in proof theory

CERN Document Server

Strahm, Thomas; Studer, Thomas

2016-01-01

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium “Advances in Proof Theory”, which was held in Bern in December 2013. Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch ...

Analytic stochastic regularization and gange invariance

International Nuclear Information System (INIS)

Abdalla, E.; Gomes, M.; Lima-Santos, A.

1986-05-01

A proof that analytic stochastic regularization breaks gauge invariance is presented. This is done by an explicit one loop calculation of the vaccum polarization tensor in scalar electrodynamics, which turns out not to be transversal. The counterterm structure, Langevin equations and the construction of composite operators in the general framework of stochastic quantization, are also analysed. (Author) [pt

Coqoon - An IDE for Interactive Proof Development in Coq

DEFF Research Database (Denmark)

Faithfull, Alexander; Bengtson, Jesper; Tassi, Enrico

2016-01-01

User interfaces for interactive proof assistants have always lagged behind those for mainstream programming languages. Whereas integrated development environments—IDEs—have support for features like project management, version control, dependency analysis and incremental project compilation, “IDE...... these projects using the Eclipse common build system. Coqoon takes advantage of the latest features of Coq, including asynchronous and parallel processing of proofs, and—when used together with a third-party OCaml extension for Eclipse—can even be used to work on large developments containing Coq plugins....

Analytical support for coal technologies

Directory of Open Access Journals (Sweden)

Valášek Václav

1998-09-01

Full Text Available On the basis of success in the selection negotiation The Brown Coal Research Institute j.s.c. Most was authorized to process the project Phare D5/93 with the title "Analytical support to clean coal technologies". The elaboration of the task run in 1997 in a close cooperation with the Mining University - TU Ostrava; DBI - AUA GmbH, Freiberg, Germany; DMT mbH, Essen, Germany and Cerchar, Mazingarbe, France. In the work the available reserves of brown and hard coal and from them following possible levels of annual minings in relation to prognosed needs of the electro-energetics and heating-industry were evaluated. The knowledge about the contents of selected trace elements (As, Be, Cd, Cl, Co, Cr, Cu, F, Hg, Mn, Ni, Pb, Sb, Se, Te, Tl, V, Zn in Czech (CZ coal were also evaluated it was investigated. Further, the distribution of trace elements during the burning process in four types of boilers in CZ. was investigated. The CZ and EU legislation related to trace elements in coal and combustion products was finally comparred. It was stated that the CZ legal standards are not at variant with EU the standards.

Proof Nets for Lambek Calculus

NARCIS (Netherlands)

Roorda, Dirk

1992-01-01

The proof nets of linear logic are adapted to the non-commutative Lambek calculus. A different criterion for soundness of proof nets is given, which gives rise to new algorithms for proof search. The order sensitiveness of the Lambek calculus is reflected by the planarity condition on proof nets;

45 CFR 81.85 - Offer of proof.

Science.gov (United States)

2010-10-01

... 45 Public Welfare 1 2010-10-01 2010-10-01 false Offer of proof. 81.85 Section 81.85 Public Welfare... 80 OF THIS TITLE Hearing Procedures § 81.85 Offer of proof. An offer of proof made in connection with... identification and shall accompany the record as the offer of proof. ...

News Analytics for Financial Decision Support

NARCIS (Netherlands)

V. Milea (Viorel)

2013-01-01

textabstractThis PhD thesis contributes to the newly emerged, growing body of scientific work on the use of News Analytics in Finance. Regarded as the next significant development in Automated Trading, News Analytics extends trading algorithms to incorporate information extracted from textual

Genomic Tools in Cowpea Breeding Programs: Status and Perspectives

Science.gov (United States)

Boukar, Ousmane; Fatokun, Christian A.; Huynh, Bao-Lam; Roberts, Philip A.; Close, Timothy J.

2016-01-01

Cowpea is one of the most important grain legumes in sub-Saharan Africa (SSA). It provides strong support to the livelihood of small-scale farmers through its contributions to their nutritional security, income generation and soil fertility enhancement. Worldwide about 6.5 million metric tons of cowpea are produced annually on about 14.5 million hectares. The low productivity of cowpea is attributable to numerous abiotic and biotic constraints. The abiotic stress factors comprise drought, low soil fertility, and heat while biotic constraints include insects, diseases, parasitic weeds, and nematodes. Cowpea farmers also have limited access to quality seeds of improved varieties for planting. Some progress has been made through conventional breeding at international and national research institutions in the last three decades. Cowpea improvement could also benefit from modern breeding methods based on molecular genetic tools. A number of advances in cowpea genetic linkage maps, and quantitative trait loci associated with some desirable traits such as resistance to Striga, Macrophomina, Fusarium wilt, bacterial blight, root-knot nematodes, aphids, and foliar thrips have been reported. An improved consensus genetic linkage map has been developed and used to identify QTLs of additional traits. In order to take advantage of these developments single nucleotide polymorphism (SNP) genotyping is being streamlined to establish an efficient workflow supported by genotyping support service (GSS)-client interactions. About 1100 SNPs mapped on the cowpea genome were converted by LGC Genomics to KASP assays. Several cowpea breeding programs have been exploiting these resources to implement molecular breeding, especially for MARS and MABC, to accelerate cowpea variety improvement. The combination of conventional breeding and molecular breeding strategies, with workflow managed through the CGIAR breeding management system (BMS), promises an increase in the number of improved

Genomic tools in cowpea breeding programs: status and perspectives

Directory of Open Access Journals (Sweden)

Ousmane eBoukar

2016-06-01

Full Text Available Cowpea is one of the most important grain legumes in sub-Saharan Africa (SSA. It provides strong support to the livelihood of small-scale farmers through its contributions to their nutritional security, income generation and soil fertility enhancement. Worldwide about 6.5 million metric tons of cowpea are produced annually on about 14.5 million hectares. The low productivity of cowpea is attributable to numerous abiotic and biotic constraints. The abiotic stress factors comprise drought, low soil fertility, and heat while biotic constraints include insects, diseases, parasitic weeds and nematodes. Cowpea farmers also have limited access to quality seeds of improved varieties for planting. Some progress has been made through conventional breeding at international and national research institutions in the last three decades. Cowpea improvement could also benefit from modern breeding methods based on molecular genetic tools. A number of advances in cowpea genetic linkage maps, and quantitative trait loci associated with some desirable traits such as resistance to Striga, Macrophomina, Fusarium wilt, bacterial blight, root-knot nematodes, aphids and foliar thrips have been reported. An improved consensus genetic linkage map has been developed and used to identify QTLs of additional traits. In order to take advantage of these developments single nucleotide polymorphism (SNP genotyping is being streamlined to establish an efficient workflow supported by genotyping support service (GSS-client interactions. About 1100 SNPs mapped on the cowpea genome were converted by LGC Genomics to KASP assays. Several cowpea breeding programs have been exploiting these resources to implement molecular breeding, especially for MARS and MABC, to accelerate cowpea variety improvement. The combination of conventional breeding and molecular breeding strategies, with workflow managed through the CGIAR breeding management system (BMS, promises an increase in the number of

BreedWheat genotyping and phenotyping data in GnpIS information system

OpenAIRE

Laine, Marie; Letellier, Thomas; Flores, Raphaël-Gauthier; couderc, Loïc; Mohellibi, Nacer; Pommier, Cyril; Steinbach, Delphine; Quesneville, Hadi; Sapet, Frederic; Rivière, Nathalie; Paux, Etienne; Didier, Audrey; Balfourier, Francois; Charmet, Jean-Francois; Le Gouis, Jacques

2015-01-01

BreedWheat project aims to support the competitiveness of the French wheat breeding sector, answering to societal challenges for a sustainable and quality production. Moreover, the BreedWheat project will characterize yet poorly exploited genetic resources to expand the diversity of the elite germplasm. Finally, new breeding methods will be developed and evaluated for their socioeconomic impact. In this frame, bioinformatics goals are (i) to establish and maintain a centralized repository ...

News analytics for financial decision support

NARCIS (Netherlands)

Milea, D.V.

2013-01-01

This PhD thesis contributes to the newly emerged, growing body of scientific work on the use of News Analytics in Finance. Regarded as the next significant development in Automated Trading, News Analytics extends trading algorithms to incorporate information extracted from textual messages, by

Sex-Specific Arrival Times on the Breeding Grounds: Hybridizing Migratory Skuas Provide Empirical Support for the Role of Sex Ratios.

Science.gov (United States)

Lisovski, Simeon; Fröhlich, Anne; von Tersch, Matthew; Klaassen, Marcel; Peter, Hans-Ulrich; Ritz, Markus S

2016-04-01

In migratory animals, protandry (earlier arrival of males on the breeding grounds) prevails over protogyny (females preceding males). In theory, sex differences in timing of arrival should be driven by the operational sex ratio, shifting toward protogyny in female-biased populations. However, empirical support for this hypothesis is, to date, lacking. To test this hypothesis, we analyzed arrival data from three populations of the long-distance migratory south polar skua (Catharacta maccormicki). These populations differed in their operational sex ratio caused by the unidirectional hybridization of male south polar skuas with female brown skuas (Catharacta antarctica lonnbergi). We found that arrival times were protandrous in allopatry, shifting toward protogyny in female-biased populations when breeding in sympatry. This unique observation is consistent with theoretical predictions that sex-specific arrival times should be influenced by sex ratio and that protogyny should be observed in populations with female-biased operational sex ratio.

Predictive analytics can support the ACO model.

Science.gov (United States)

Bradley, Paul

2012-04-01

Predictive analytics can be used to rapidly spot hard-to-identify opportunities to better manage care--a key tool in accountable care. When considering analytics models, healthcare providers should: Make value-based care a priority and act on information from analytics models. Create a road map that includes achievable steps, rather than major endeavors. Set long-term expectations and recognize that the effectiveness of an analytics program takes time, unlike revenue cycle initiatives that may show a quick return.

Computerized operating procedures for shearing and dissolution of segments from LWBR [Light Water Breeder Reactor] fuel rods

International Nuclear Information System (INIS)

Osudar, J.; Deeken, P.G.; Graczyk, D.G.; Fagan, J.E.; Martino, F.J.; Parks, J.E.; Levitz, N.M.; Kessie, R.W.; Leddin, J.M.

1987-05-01

This report presents two detailed computerized operating procedures developed to assist and control the shearing and dissolution of irradiated fuel rods. The procedures were employed in the destructive analysis of end-of-life fuel rods from the Light Water Breeder Reactor (LWBR) that was designed by the Westinghouse Electric Corporation Bettis Atomic Power Laboratory. Seventeen entire fuel rods from the end-of-life core of the LWBR were sheared into 169 precisely characterized segments, and more than 150 of these segments were dissolved during execution of the LWBR Proof-of-Breeding (LWBR-POB) Analytical Support Project at Argonne National Laboratory. The procedures illustrate our approaches to process monitoring, data reduction, and quality assurance during the LWBR-POB work

Proof Pad: A New Development Environment for ACL2

Directory of Open Access Journals (Sweden)

Caleb Eggensperger

2013-04-01

Full Text Available Most software development projects rely on Integrated Development Environments (IDEs based on the desktop paradigm, with an interactive, mouse-driven user interface. The standard installation of ACL2, on the other hand, is designed to work closely with Emacs. ACL2 experts, on the whole, like this mode of operation, but students and other new programmers who have learned to program with desktop IDEs often react negatively to the process of adapting to an unfamiliar form of interaction. This paper discusses Proof Pad, a new IDE for ACL2. Proof Pad is not the only attempt to provide ACL2 IDEs catering to students and beginning programmers. The ACL2 Sedan and DrACuLa systems arose from similar motivations. Proof Pad builds on the work of those systems, while also taking into account the unique workflow of the ACL2 theorem proving system. The design of Proof Pad incorporated user feedback from the outset, and that process continued through all stages of development. Feedback took the form of direct observation of users interacting with the IDE as well as questionnaires completed by users of Proof Pad and other ACL2 IDEs. The result is a streamlined interface and fast, responsive system that supports using ACL2 as a programming language and a theorem proving system. Proof Pad also provides a property-based testing environment with random data generation and automated interpretation of properties as ACL2 theorem definitions.

Proofs, Upside Down

DEFF Research Database (Denmark)

Puech, Matthias

2013-01-01

this correspondence by applying a series of off-the-shelf program transformations à la Danvy et al. on a type checker for the bidirectional λ-calculus, and get a type checker for the λ¯ -calculus, the proof term assignment of LJT. This functional correspondence revisits the relationship between natural deduction......It is well known in proof theory that sequent-calculus proofs differ from natural deduction proofs by “reversing” elimination rules upside down into left introduction rules. It is also well known that to each recursive, functional program corresponds an equivalent iterative, accumulator......-passing program, where the accumulator stores the continuation of the iteration, in “reversed” order. Here, we compose these remarks and show that a restriction of the intuitionistic sequent calculus, LJT, is exactly an accumulator-passing version of intuitionistic natural deduction NJ. More precisely, we obtain...

Proof-of-concept study of a marine ion-selective optical sensing instrument

Science.gov (United States)

Sobron, P.; Thompson, C.; Bamsey, M.

2013-12-01

We have developed a proof-of-concept instrument for real-time in-situ characterization of the ion chemistry of the ocean. Our instrument uses optical sensors equipped with ion-selective membranes which exhibit a change in an optical property that can be correlated with the concentration of a specific ion. We have implemented a system for multi-ion sensing that includes the use of a single spectrometer in tandem with a fiber optic multiplexer that is capable of reading a suite of attached optrodes, each of them dedicated to a unique ion. In this abstract we report the experimental characterization of calcium and potassium optrodes as a template for ion-selective optrodes and their application to the characterization of the oceans. The tests were performed at the Controlled Environment Systems Research Facility of the University of Guelph. Guelph's optrode housing was tested by immersing it in a 1/2 strength Hoagland's hydroponic solution to test functionality of the K+ and Ca2+ optrodes in this environment. Our results demonstrate the feasibility of recording spectral information in sub-minute times from more than one optrode simultaneously in a given aqueous system. This proof-of-concept study has allowed us to measure parameters of interest and comparison to analytical predictions for critical subsystems of a deployable system, and demonstrates maturity of the multi-ion sensing optrode technology. Critical advantages of our optrode system are that it: (1) enables concurrent measurements of multiple ionic species relevant in ocean sciences; (2) has high time and spatial resolution; (3) has low limits of detection; (4) uses low-cost, low-mass, energy efficient optoelectronics. Our system has the potential for facilitating new observational, experimental, and analytic capabilities in ocean sciences, including: (a) health and environment monitoring; (b) aquaculture; (c) global change, e.g. ocean acidification; and (d) origin of life research. Proof-of-concept setup at

Proof patterns

CERN Document Server

Joshi, Mark

2015-01-01

This innovative textbook introduces a new pattern-based approach to learning proof methods in the mathematical sciences. Readers will discover techniques that will enable them to learn new proofs across different areas of pure mathematics with ease. The patterns in proofs from diverse fields such as algebra, analysis, topology and number theory are explored. Specific topics examined include game theory, combinatorics, and Euclidean geometry, enabling a broad familiarity. The author, an experienced lecturer and researcher renowned for his innovative view and intuitive style, illuminates a wide range of techniques and examples from duplicating the cube to triangulating polygons to the infinitude of primes to the fundamental theorem of algebra. Intended as a companion for undergraduate students, this text is an essential addition to every aspiring mathematician’s toolkit.

Development of breeding objectives for beef cattle breeding ...

African Journals Online (AJOL)

Mnr J F Kluyts

However, to solve the simultaneous equations the ... The aggregate breeding value represents a fundamental concept, the breeding objective, which is ..... Two properties characterise a linear programming problem. The first is additivity, ...

CASSAVA BREEDING I: THE VALUE OF BREEDING VALUE

Directory of Open Access Journals (Sweden)

Hernán Ceballos

2016-08-01

Full Text Available Breeding cassava relies on several selection stages (single row trial-SRT; preliminary; advanced; and uniform yield trials - UYT. This study uses data from 14 years of evaluations. From more than 20,000 genotypes initially evaluated only 114 reached the last stage. The objective was to assess how the data at SRT could be used to predict the probabilities of genotypes reaching the UYT. Phenotypic data from each genotype at SRT was integrated into the selection index (SIN used by the cassava breeding program. Average SIN from all the progenies derived from each progenitor was then obtained. Average SIN is an approximation of the breeding value of each progenitor. Data clearly suggested that some genotypes were better progenitors than others (e.g. high number of their progenies reaching the UYT, suggesting important variation in breeding values of progenitors. However, regression of average SIN of each parental genotype on the number of their respective progenies reaching UYT resulted in a negligible coefficient of determination (r2 = 0.05. Breeding value (e.g. average SIN at SRT was not efficient predicting which genotypes were more likely to reach the UYT stage. Number of families and progenies derived from a given progenitor were more efficient predicting the probabilities of the progeny from a given parent reaching the UYT stage. Large within-family genetic variation tends to mask the true breeding value of each progenitor. The use of partially inbred progenitors (e.g. S1 or S2 genotypes would reduce the within-family genetic variation thus making the assessment of breeding value more accurate. Moreover, partial inbreeding of progenitors can improve the breeding value of the original (S0 parental material and sharply accelerate genetic gains. For instance, homozygous S1 genotypes for the dominant resistance to cassava mosaic disease could be generated and selected. All gametes from these selected S1 genotypes would carry the desirable allele

Development of analytical cell support for vitrification at the West Valley Demonstration Project. Topical report

Energy Technology Data Exchange (ETDEWEB)

Barber, F.H.; Borek, T.T.; Christopher, J.Z. [and others

1997-12-01

Analytical and Process Chemistry (A&PC) support is essential to the high-level waste vitrification campaign at the West Valley Demonstration Project (WVDP). A&PC characterizes the waste, providing information necessary to formulate the recipe for the target radioactive glass product. High-level waste (HLW) samples are prepared and analyzed in the analytical cells (ACs) and Sample Storage Cell (SSC) on the third floor of the main plant. The high levels of radioactivity in the samples require handling them in the shielded cells with remote manipulators. The analytical hot cells and third floor laboratories were refurbished to ensure optimal uninterrupted operation during the vitrification campaign. New and modified instrumentation, tools, sample preparation and analysis techniques, and equipment and training were required for A&PC to support vitrification. Analytical Cell Mockup Units (ACMUs) were designed to facilitate method development, scientist and technician training, and planning for analytical process flow. The ACMUs were fabricated and installed to simulate the analytical cell environment and dimensions. New techniques, equipment, and tools could be evaluated m in the ACMUs without the consequences of generating or handling radioactive waste. Tools were fabricated, handling and disposal of wastes was addressed, and spatial arrangements for equipment were refined. As a result of the work at the ACMUs the remote preparation and analysis methods and the equipment and tools were ready for installation into the ACs and SSC m in July 1995. Before use m in the hot cells, all remote methods had been validated and four to eight technicians were trained on each. Fine tuning of the procedures has been ongoing at the ACs based on input from A&PC technicians. Working at the ACs presents greater challenges than had development at the ACMUs. The ACMU work and further refinements m in the ACs have resulted m in a reduction m in analysis turnaround time (TAT).

PROOF on a Batch System

International Nuclear Information System (INIS)

Behrenhoff, W; Ehrenfeld, W; Samson, J; Stadie, H

2011-01-01

The 'parallel ROOT facility' (PROOF) from the ROOT framework provides a mechanism to distribute the load of interactive and non-interactive ROOT sessions on a set of worker nodes optimising the overall execution time. While PROOF is designed to work on a dedicated PROOF cluster, the benefits of PROOF can also be used on top of another batch scheduling system with the help of temporary per user PROOF clusters. We will present a lightweight tool which starts a temporary PROOF cluster on a SGE based batch cluster or, via a plugin mechanism, e.g. on a set of bare desktops via ssh. Further, we will present the result of benchmarks which compare the data throughput for different data storage back ends available at the German National Analysis Facility (NAF) at DESY.

Lakatos and Hersh on Mathematical Proof

Directory of Open Access Journals (Sweden)

Hossein Bayat

2015-12-01

Full Text Available The concept of Mathematical Proof has been controversial for the past few decades. Different philosophers have offered different theories about the nature of Mathematical Proof, among which theories presented by Lakatos and Hersh have had significant similarities and differences with each other. It seems that a comparison and critical review of these two theories will lead to a better understanding of the concept of mathematical proof and will be a big step towards solving many related problems. Lakatos and Hersh argue that, firstly, “mathematical proof” has two different meanings, formal and informal; and, secondly, informal proofs are affected by human factors, such as individual decisions and collective agreements. I call these two thesis, respectively, “proof dualism” and “humanism”. But on the other hand, their theories have significant dissimilarities and are by no means equivalent. Lakatos is committed to linear proof dualism and methodological humanism, while Hersh’s theory involves some sort of parallel proof dualism and sociological humanism. According to linear proof dualism, the two main types of proofs are provided in order to achieve a common goal: incarnation of mathematical concepts and methods and truth. However, according to the parallel proof dualism, two main types of proofs are provided in order to achieve two different types of purposes: production of a valid sequence of signs (the goal of the formal proof and persuasion of the audience (the goal of the informal proof. Hersh’s humanism is informative and indicates pluralism; whereas, Lakatos’ version of humanism is normative and monistic.

Complex proofs of real theorems

CERN Document Server

Lax, Peter D

2011-01-01

Complex Proofs of Real Theorems is an extended meditation on Hadamard's famous dictum, "The shortest and best way between two truths of the real domain often passes through the imaginary one." Directed at an audience acquainted with analysis at the first year graduate level, it aims at illustrating how complex variables can be used to provide quick and efficient proofs of a wide variety of important results in such areas of analysis as approximation theory, operator theory, harmonic analysis, and complex dynamics. Topics discussed include weighted approximation on the line, Müntz's theorem, Toeplitz operators, Beurling's theorem on the invariant spaces of the shift operator, prediction theory, the Riesz convexity theorem, the Paley-Wiener theorem, the Titchmarsh convolution theorem, the Gleason-Kahane-Żelazko theorem, and the Fatou-Julia-Baker theorem. The discussion begins with the world's shortest proof of the fundamental theorem of algebra and concludes with Newman's almost effortless proof of the prime ...

Modeling snail breeding in Bioregenerative Life Support System

Science.gov (United States)

Kovalev, Vladimir; Tikhomirov, Alexander A.; Nickolay Manukovsky, D..

It is known that snail meat is a high quality food that is rich in protein. Hence, heliciculture or land snail farming spreads worldwide because it is a profitable business. The possibility to use the snails of Helix pomatia in Biological Life Support System (BLSS) was studied by Japanese Researches. In that study land snails were considered to be producers of animal protein. Also, snail breeding was an important part of waste processing, because snails were capable to eat the inedible plant biomass. As opposed to the agricultural snail farming, heliciculture in BLSS should be more carefully planned. The purpose of our work was to develop a model for snail breeding in BLSS that can predict mass flow rates in and out of snail facility. There are three linked parts in the model called “Stoichiometry”, “Population” and “Mass balance”, which are used in turn. Snail population is divided into 12 age groups from oviposition to one year. In the submodel “Stoichiometry” the individual snail growth and metabolism in each of 12 age groups are described with stoichiometry equations. Reactants are written on the left side of the equations, while products are written on the right side. Stoichiometry formulas of reactants and products consist of four chemical elements: C, H, O, N. The reactants are feed and oxygen, products are carbon dioxide, metabolic water, snail meat, shell, feces, slime and eggs. If formulas of substances in the stoichiometry equations are substituted with their molar masses, then stoichiometry equations are transformed to the equations of molar mass balance. To get the real mass balance of individual snail growth and metabolism one should multiply the value of each molar mass in the equations on the scale parameter, which is the ratio between mass of monthly consumed feed and molar mass of feed. Mass of monthly consumed feed and stoichiometry coefficients of formulas of meat, shell, feces, slime and eggs should be determined experimentally

TianShuiShi space breeding current situation and developing trend

International Nuclear Information System (INIS)

Wang Fuquan; Song Jianrong; Zhang Zhongping; Guo Zhenfang

2011-01-01

TianShuiShi is located in xian to lanzhou among two big cities, the five space launch, has vegetables, food, grasses, flowers, rape, melon and fruit, Chinese traditional medicine, amount of 8 categories of crops, such as the 22 new material after carrying the ground breeding work. Only vegetables on identified 23 aerospace new varieties. After ten years of space breeding, summarizes the present situation of TianShuiShi space breeding, development experience, characteristic, trends, and puts forward the development space breeding TianShuiShi organization and breeding of talent from the matching policy and grow up incentive mechanism, strengthen the cooperation and all over the country, establishing fiscal policy support from the aspects such as advice. (authors)

38 CFR 18b.64 - Offer of proof.

Science.gov (United States)

2010-07-01

... 38 Pensions, Bonuses, and Veterans' Relief 2 2010-07-01 2010-07-01 false Offer of proof. 18b.64... Procedures § 18b.64 Offer of proof. An offer of proof made in connection with an objection taken to any... record as the offer of proof. ...

Using Hip-Hop Music and Music Videos to Teach Aristotle's Three Proofs

Science.gov (United States)

Sciullo, Nick J.

2014-01-01

Aristotle's three proofs remain central to students' understanding of argumentation and persuasion. They are fundamental for those just beginning rhetorical study, as well as being of interest to experienced scholars. Investing time in learning the proofs supports students' future practice and study of rhetoric. Unfortunately, the…

Short proofs of strong normalization

OpenAIRE

Wojdyga, Aleksander

2008-01-01

This paper presents simple, syntactic strong normalization proofs for the simply-typed lambda-calculus and the polymorphic lambda-calculus (system F) with the full set of logical connectives, and all the permutative reductions. The normalization proofs use translations of terms and types to systems, for which strong normalization property is known.

Plant breeding and genetics newsletter. No. 26, January 2011

International Nuclear Information System (INIS)

2011-01-01

The Plant Breeding and Genetics Section (PBGS) in IAEA Headquarters, Vienna and the Plant Breeding and Genetics Laboratory (PBGL) in Seibersdorf are very grateful for the input and support of experts, consultants and lecturers from all the Member States that helped us implement our programmatic activities. We had the honour and the privilege to host 46 trainees, fellows, interns and scientific visitors for a total of 51 training months. Every single one has enriched this programme and we fondly remember our fruitful discussions. The Plant Breeding and Genetics Subprogramme provides technical support to Member States through the development and the promotion of technology packages based on mutation induction and efficiency enhancing molecular and biotechnologies applied to crop improvement through adaptive R and D in our Laboratory and four CRPs. This year, we worked on transferring these technology packages to 96 Member States by providing technical and scientific support through 63 national, regional and interregional Technical Cooperation Projects (TCPs) that are managed by IAEA's Department of Technical Cooperation. This transfer of technologies assists Member States in the implementation of national crop improvement programmes with specific breeding objectives or regional programmes addressing abiotic and/or biotic stresses, which represent serious threats impeding crop productivity in wide areas mostly in the developing world. In this issue, you will find more about services in support of activities in Member States, training and human capacity development and technology development/adaptation in the PBGL, including work on impact of NaCl stress on the biomass and mineral nutrient assimilation in different rice varieties, comparative studies of different mutagens on seed propagated crops, protocols and guidelines for mutation breeding lower cost molecular assays, and targeting deleterious mutations (including positive control kits)

Birds choose long-term partners years before breeding

Science.gov (United States)

Teitelbaum, Claire S.; Converse, Sarah J.; Mueller, Thomas

2017-01-01

Pair bonds can provide social benefits to long-term monogamous species alongside their benefits for reproduction. However, little is known about when these bonds form, in particular how long they are present before breeding. Previous studies of pair formation in long-term monogamous birds have been rather data-limited, but for many migratory birds they report pair formation on the wintering grounds. We provide the first systematic investigation of prebreeding association patterns of long-term monogamous pairs by examining entire life histories based on tracking data of migratory whooping cranes, Grus americana. We found that a substantial portion (62%) of breeding pairs started associating at least 12 months before first breeding, with 16 of 58 breeding pairs beginning to associate over 2 years before first breeding. For most pairs, these associations with future breeding partners also became unique and distinguishable from association patterns with nonpartner individuals 12 months before first breeding. In addition, 60% of pair associations began before at least one partner had reached nominal sexual maturity. Most pairs began associating in the late spring upon arrival at the summer grounds, while associations beginning at other times of the year were rare. Patterns in the associations of pairs prior to breeding can point to the potential benefits of prebreeding relationships, for instance providing support in competitive interactions or increasing partner familiarity.

Strain accumulation in a prototypic lmfbr nozzle: Experimental and analytical correlation

International Nuclear Information System (INIS)

Woodward, W.S.; Dhalia, A.K.; Berton, P.A.

1986-01-01

At an early stage in the design of the primary inlet nozzle for the Intermediate Heat Exchanger (IHX) of the Fast Flux Test Facility (FFTF), it was predicted that the inelastic strain accumulation during elevated temperature operation (1050 0 F/566 0 C) would exceed the ASME Code design allowables. Therefore, a proof test of a prototypic FFTF IHX nozzle was performed in the Westinghouse Creep Ratcheting Test Facility (CRTF) to measure the ratchet strain increments during the most severe postulated FFTF plant thermal transients. In addition, analytical procedures similar to those used in the plant design, were used to predict strain accumulation in the CRTF nozzle. This paper describes how the proof test was successfully completed, and it shows that both the test measurements and analytical predictions confirm that the FFTF IHX nozzle, subjected to postulated thermal and mechanical loadings, complies with the ASME Code strain limits. Also, these results provide a measure of validation for the analytical procedures used in the design of FFTF as well as demonstrate the structural adequacy of the FFTF IHX primary inlet nozzle

Body weight-supported bedside treadmill training facilitates ambulation in ICU patients: An interventional proof of concept study.

Science.gov (United States)

Sommers, Juultje; Wieferink, Denise C; Dongelmans, Dave A; Nollet, Frans; Engelbert, Raoul H H; van der Schaaf, Marike

2017-10-01

Early mobilisation is advocated to improve recovery of intensive care unit (ICU) survivors. However, severe weakness in combination with tubes, lines and machinery are practical barriers for the implementation of ambulation with critically ill patients. The aim of this study was to explore the feasibility of Body Weight-Supported Treadmill Training (BWSTT) in critically ill patients in the ICU. A custom build bedside Body Weight-Supported Treadmill was used and evaluated in medical and surgical patients in the ICU. Feasibility was evaluated according to eligibility, successful number of BWSTT, number of staff needed, adverse events, number of patients that could not have walked without BWSTT, patient satisfaction and anxiety. Twenty participants, underwent 54 sessions BWSTT. Two staff members executed the BWSTT and no adverse events occurred. Medical equipment did not have to be disconnected during all treatment sessions. In 74% of the sessions, the participants would not have been able to walk without the BWSTT. Patient satisfaction with BWSTT was high and anxiety low. This proof of concept study demonstrated that BWSTT is safe, reduces staff resource, and facilitates the first time to ambulation in critically ill patients with severe muscle weakness in the ICU. Copyright © 2017 Elsevier Inc. All rights reserved.

Proof Auditing Formalised Mathematics

Directory of Open Access Journals (Sweden)

Mark Miles Adams

2016-01-01

Full Text Available The first three formalisations of major mathematical proofs have heralded a new age in formalised mathematics, establishing that informal proofs at the limits of what can be understood by humans can be checked by machine. However, formalisation itself can be subject to error, and yet there is currently no accepted process in checking, or even much concern that such checks have not been performed. In this paper, we motivate why we should be concerned about correctness, and argue the need for proof auditing, to rigorously and independently check a formalisation. We discuss the issues involved in performing an audit, and propose an effective and efficient auditing process. Throughout we use the Flyspeck Project, that formalises the Kepler Conjecture proof, to illustrate our point.

On the General Analytical Solution of the Kinematic Cosserat Equations

KAUST Repository

Michels, Dominik L.

2016-09-01

Based on a Lie symmetry analysis, we construct a closed form solution to the kinematic part of the (partial differential) Cosserat equations describing the mechanical behavior of elastic rods. The solution depends on two arbitrary analytical vector functions and is analytical everywhere except a certain domain of the independent variables in which one of the arbitrary vector functions satisfies a simple explicitly given algebraic relation. As our main theoretical result, in addition to the construction of the solution, we proof its generality. Based on this observation, a hybrid semi-analytical solver for highly viscous two-way coupled fluid-rod problems is developed which allows for the interactive high-fidelity simulations of flagellated microswimmers as a result of a substantial reduction of the numerical stiffness.

On the General Analytical Solution of the Kinematic Cosserat Equations

KAUST Repository

Michels, Dominik L.; Lyakhov, Dmitry; Gerdt, Vladimir P.; Hossain, Zahid; Riedel-Kruse, Ingmar H.; Weber, Andreas G.

2016-01-01

Based on a Lie symmetry analysis, we construct a closed form solution to the kinematic part of the (partial differential) Cosserat equations describing the mechanical behavior of elastic rods. The solution depends on two arbitrary analytical vector functions and is analytical everywhere except a certain domain of the independent variables in which one of the arbitrary vector functions satisfies a simple explicitly given algebraic relation. As our main theoretical result, in addition to the construction of the solution, we proof its generality. Based on this observation, a hybrid semi-analytical solver for highly viscous two-way coupled fluid-rod problems is developed which allows for the interactive high-fidelity simulations of flagellated microswimmers as a result of a substantial reduction of the numerical stiffness.

49 CFR 604.43 - Offer of proof.

Science.gov (United States)

2010-10-01

... 49 Transportation 7 2010-10-01 2010-10-01 false Offer of proof. 604.43 Section 604.43..., DEPARTMENT OF TRANSPORTATION CHARTER SERVICE Hearings. § 604.43 Offer of proof. A party whose evidence has... respond to the offer of proof, may offer the evidence on the record when filing an appeal. ...

36 CFR 1150.79 - Offer of proof.

Science.gov (United States)

2010-07-01

... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false Offer of proof. 1150.79... BOARD PRACTICE AND PROCEDURES FOR COMPLIANCE HEARINGS Hearing Procedures § 1150.79 Offer of proof. An offer of proof made in connection with an objection taken to a ruling of the judge rejecting or...

Development of assessment system for tank earthquake-proof design (ASTEP code) installing automatic operation and knowledge database

International Nuclear Information System (INIS)

Maekawa, Akira; Suzuki, Michiaki; Fujii, Yuzo

2004-01-01

In a nuclear power station, seismic-proof design of the various tanks classified as auxiliary installation are required to follow technical guideline for the seismic-proof design of nuclear power station, which is called JEAC4601 for short in below. This guideline uses simple mechanical multi-mass model but a rather complicated evaluation method requires designers to have knowledge and experience and consumes both time and labor. On purpose to resolve those difficulties, Assessment System for Tank Earthquake-Proof Design, which is called ASTEP in short, has been developed and equipped with automated process and knowledge database. For this system, the targeted types of tank are a vertical cylindrical tank that has four supports or a skirt support, a horizontal cylindrical tank that has two saddle supports, and vertical cylindrical tank or water storage tank with a flat bottom. The system integrated all the seismic-proof design evaluation related tools and equipped with step by step menus in order of the flowchart, so enables designers to use them easily. In addition, it has a input aid that enables users to input with ease and a tool that automatically calculates input parameters. So this system reduces seismic-proof design evaluation related work load dramatically and also does not require much knowledge and experience related to this field. Further more, this system organized seismic-proof design related past statement and technical documents as a knowledge database so user could obtain the identical output as of the manual calculation results. Comparing output of ASTEP code and the manual calculation results of a typical tank that requires government approval of its design evaluation document, the error was within less than a percent so validity of the system was confirmed. This system has gained favorable comment during the trial run, and it was beyond our expectation. (author)

Development of analytical cell support for vitrification at the West Valley Demonstration Project. Topical report

International Nuclear Information System (INIS)

Barber, F.H.; Borek, T.T.; Christopher, J.Z.

1997-12-01

Analytical and Process Chemistry (A ampersand PC) support is essential to the high-level waste vitrification campaign at the West Valley Demonstration Project (WVDP). A ampersand PC characterizes the waste, providing information necessary to formulate the recipe for the target radioactive glass product. High-level waste (HLW) samples are prepared and analyzed in the analytical cells (ACs) and Sample Storage Cell (SSC) on the third floor of the main plant. The high levels of radioactivity in the samples require handling them in the shielded cells with remote manipulators. The analytical hot cells and third floor laboratories were refurbished to ensure optimal uninterrupted operation during the vitrification campaign. New and modified instrumentation, tools, sample preparation and analysis techniques, and equipment and training were required for A ampersand PC to support vitrification. Analytical Cell Mockup Units (ACMUs) were designed to facilitate method development, scientist and technician training, and planning for analytical process flow. The ACMUs were fabricated and installed to simulate the analytical cell environment and dimensions. New techniques, equipment, and tools could be evaluated m in the ACMUs without the consequences of generating or handling radioactive waste. Tools were fabricated, handling and disposal of wastes was addressed, and spatial arrangements for equipment were refined. As a result of the work at the ACMUs the remote preparation and analysis methods and the equipment and tools were ready for installation into the ACs and SSC m in July 1995. Before use m in the hot cells, all remote methods had been validated and four to eight technicians were trained on each. Fine tuning of the procedures has been ongoing at the ACs based on input from A ampersand PC technicians. Working at the ACs presents greater challenges than had development at the ACMUs. The ACMU work and further refinements m in the ACs have resulted m in a reduction m in

Preliminary neutronics calculation of fusion-fission hybrid reactor breeding spent fuel assembly

International Nuclear Information System (INIS)

Ma Xubo; Chen Yixue; Gao Bin

2013-01-01

The possibility of using the fusion-fission hybrid reactor breeding spent fuel in PWR was preliminarily studied in this paper. According to the fusion-fission hybrid reactor breeding spent fuel characteristics, PWR assembly including fusion-fission hybrid reactor breeding spent fuel was designed. The parameters such as fuel temperature coefficient, moderator temperature coefficient and their variation were investigated. Results show that the neutron properties of uranium-based assembly and hybrid reactor breeding spent fuel assembly are similar. The design of this paper has a smaller uniformity coefficient of power at the same fissile isotope mass percentage. The results will provide technical support for the future fusion-fission hybrid reactor and PWR combined with cycle system. (authors)

43 CFR 4.840 - Offer of proof.

Science.gov (United States)

2010-10-01

... the Interior-Effectuation of Title VI of the Civil Rights Act of 1964 Hearing § 4.840 Offer of proof. An offer of proof made in connection with an objection taken to any ruling of the administrative law... 43 Public Lands: Interior 1 2010-10-01 2010-10-01 false Offer of proof. 4.840 Section 4.840 Public...

34 CFR 101.85 - Offer of proof.

Science.gov (United States)

2010-07-01

... 34 Education 1 2010-07-01 2010-07-01 false Offer of proof. 101.85 Section 101.85 Education... PRACTICE AND PROCEDURE FOR HEARINGS UNDER PART 100 OF THIS TITLE Hearing Procedures § 101.85 Offer of proof. An offer of proof made in connection with an objection taken to any ruling of the presiding officer...

7 CFR 15.122 - Offer of proof.

Science.gov (United States)

2010-01-01

... 7 Agriculture 1 2010-01-01 2010-01-01 false Offer of proof. 15.122 Section 15.122 Agriculture..., Decisions and Administrative Review Under the Civil Rights Act of 1964 Hearing Procedures § 15.122 Offer of proof. An offer of proof made in connection with an objection taken to any ruling of the hearing officer...

Flood-proof motors

Energy Technology Data Exchange (ETDEWEB)

Schmitt, Marcus [AREVA NP GmbH, Erlangen (Germany)

2013-07-01

Even before the Fukushima event occurred some German nuclear power plants (NPP) have considered flooding scenarios. As a result of one of these studies, AREVA performed an upgrade project in NPP Isar 1 with flood-proof motors as a replacement of existing air-cooled low-voltage and high-voltage motors of the emergency cooling chain. After the Fukushima event, in which the cooling chains failed, the topic flood-proof equipment gets more and more into focus. This compact will introduce different kinds of flood-proof electrical motors which are currently installed or planned for installation into NPPs over the world. Moreover the process of qualification, as it was performed during the project in NPP Isar 1, will be shown. (orig.)

Flood-proof motors

International Nuclear Information System (INIS)

Schmitt, Marcus

2013-01-01

Even before the Fukushima event occurred some German nuclear power plants (NPP) have considered flooding scenarios. As a result of one of these studies, AREVA performed an upgrade project in NPP Isar 1 with flood-proof motors as a replacement of existing air-cooled low-voltage and high-voltage motors of the emergency cooling chain. After the Fukushima event, in which the cooling chains failed, the topic flood-proof equipment gets more and more into focus. This compact will introduce different kinds of flood-proof electrical motors which are currently installed or planned for installation into NPPs over the world. Moreover the process of qualification, as it was performed during the project in NPP Isar 1, will be shown. (orig.)

Discrete dynamics versus analytic dynamics

DEFF Research Database (Denmark)

Toxværd, Søren

2014-01-01

For discrete classical Molecular dynamics obtained by the “Verlet” algorithm (VA) with the time increment h there exists a shadow Hamiltonian H˜ with energy E˜(h) , for which the discrete particle positions lie on the analytic trajectories for H˜ . Here, we proof that there, independent...... of such an analytic analogy, exists an exact hidden energy invariance E * for VA dynamics. The fact that the discrete VA dynamics has the same invariances as Newtonian dynamics raises the question, which of the formulations that are correct, or alternatively, the most appropriate formulation of classical dynamics....... In this context the relation between the discrete VA dynamics and the (general) discrete dynamics investigated by Lee [Phys. Lett. B122, 217 (1983)] is presented and discussed....

Use of genetic resources and partial resistances for apple breeding

OpenAIRE

Kellerhals, Markus; Duffy, Brion

2006-01-01

Modern apple breeding strategies are mainly considering the most advanced selections and culti-vars as parents. This tends to lead to a narrowed genetic basis. The introgression of traditional va-rieties and accessions of the gene pool is often feared due to undesirable characteristics that might be incorporated. However, there is scope for considering a wider genetic basis in apple breeding to support sustainable fruit production systems. The focus at Agroscope Changins-Wädenswil (ACW) is p...

Information-Analytic support of the programs of eliminating the consequences of the Chernobyl accident: gained experience and its future application

International Nuclear Information System (INIS)

Arutyunyan, R.V.; Bolshov, L.A.; Linge, I.I.; Abalkina, I.L.; Simonov, A.V.; Pavlovsky, O.A.

1996-01-01

On the initial stage of eliminating the consequences of the Chernobyl accident, the role of system-analytic and information support in the decision making process for protection of the population and rehabilitation of territories was. to a certain extent, underestimated. Starting from 1991, activity in system-analytic support was the part of the USSR (later on, Russian) stage programs. This activity covered three direction: development of the Central bank of the generalized data on the radiation catastrophes; development, implementation, and maintenance of the control informational system for the Federal bodies; computer-system integration

Independent Study Workbooks for Proofs in Group Theory

Science.gov (United States)

Alcock, Lara; Brown, Gavin; Dunning, Clare

2015-01-01

This paper describes a small-scale research project based on workbooks designed to support independent study of proofs in a first course on abstract algebra. We discuss the lecturers' aims in designing the workbooks, and set these against a background of research on students' learning of group theory and on epistemological beliefs and study habits…

Stork Color Proofing Technology

Science.gov (United States)

Ekman, C. Frederick

1989-04-01

For the past few years, Stork Colorproofing B.V. has been marketing an analog color proofing system in Europe based on electrophoto-graphic technology it pioneered for the purpose of high resolution, high fidelity color imaging in the field of the Graphic Arts. Based in part on this technology, it will make available on a commercial basis a digital color proofing system in 1989. Proofs from both machines will provide an exact reference for the user and will look, feel, and behave in a reproduction sense like the printed press sheet.

Two proofs of Fine's theorem

International Nuclear Information System (INIS)

Halliwell, J.J.

2014-01-01

Fine's theorem concerns the question of determining the conditions under which a certain set of probabilities for pairs of four bivalent quantities may be taken to be the marginals of an underlying probability distribution. The eight CHSH inequalities are well-known to be necessary conditions, but Fine's theorem is the striking result that they are also sufficient conditions. Here two transparent and self-contained proofs of Fine's theorem are presented. The first is a physically motivated proof using an explicit local hidden variables model. The second is an algebraic proof which uses a representation of the probabilities in terms of correlation functions. - Highlights: • A discussion of the various approaches to proving Fine's theorem. • A new physically-motivated proof using a local hidden variables model. • A new algebraic proof. • A new form of the CHSH inequalities

ELAN - expert system supported information and management system for analytical laboratories. ELAN - Expertengestuetztes Informationssystem fuer die Laboranalytik

Energy Technology Data Exchange (ETDEWEB)

Orth, H.; Zilly, G.

1990-05-01

The demand for high efficiency and short response time calls for the use of computer support in chemico-analytical laboratories. This is usually achieved by laboratory information and management systems covering the three levels of analytical instrument automation, laboratory operation support and laboratory management. The management component of the systems implemented up to now suffers from a lack of flexibility as far as unforeseen analytical investigations outside the laboratory routine work are concerned. Another drawback is the lack of adaptability with respect to structural changes in laboratory organization. It can be eliminated by the application of expert system structures and methods for the implementation of this system level. The ELAN laboratory information and management system has been developed on the basis of this concept. (orig.).

The statistical strength of nonlocality proofs

NARCIS (Netherlands)

Dam, van W.; Gill, R.D.; Grünwald, P.D.

2005-01-01

There exist numerous proofs of Bell's theorem, stating that quantum mechanics is incompatible with local realistic theories of nature. Here the strength of such nonlocality proofs is defined in terms of the amount of evidence against local realism provided by the corresponding experiments.

"Boldness" in the domestic dog differs among breeds and breed groups.

Science.gov (United States)

Starling, Melissa J; Branson, Nicholas; Thomson, Peter C; McGreevy, Paul D

2013-07-01

"Boldness" in dogs is believed to be one end of the shy-bold axis, representing a super-trait. Several personality traits fall under the influence of this super-trait. Previous studies on boldness in dogs have found differences among breeds, but grouping breeds on the basis of behavioural similarities has been elusive. This study investigated differences in the expression of boldness among dog breeds, kennel club breed groups, and sub-groups of kennel club breed groups by way of a survey on dog personality circulated among Australian dog-training clubs and internet forums and lists. Breed had a significant effect on boldness (F=1.63, numDF=111, denDF=272, ppurpose. Retrievers were significantly bolder than flushing and pointing breeds (Reg. Coef.=2.148; S.E.=0.593; pdogs. Differences in boldness among groups and sub-groups suggest that behavioural tendencies may be influenced by historical purpose regardless of whether that purpose still factors in selective breeding. Copyright © 2013 Elsevier B.V. All rights reserved.

The Yoccoz Combinatorial Analytic Invariant

DEFF Research Database (Denmark)

Petersen, Carsten Lunde; Roesch, Pascale

2008-01-01

In this paper we develop a combinatorial analytic encoding of the Mandelbrot set M. The encoding is implicit in Yoccoz' proof of local connectivity of M at any Yoccoz parameter, i.e. any at most finitely renormalizable parameter for which all periodic orbits are repelling. Using this encoding we ...... to reprove that the dyadic veins of M are arcs and that more generally any two Yoccoz parameters are joined by a unique ruled (in the sense of Douady-Hubbard) arc in M....

Evaluation of some varieties and breeding lines of tomato (Lycopersison sp) against tomato yellow leaf curl disease in the Greater Accra Region (Ghana)

International Nuclear Information System (INIS)

Kusi-Adjei, R.

2011-01-01

A series of experiments were conducted to evaluate ten (10) tomato varieties and breeding lines against tomato yellow leaf curl virus disease in Ghana. The research was undertaken at the research farm of the Biotechnology and Nuclear Agriculture Research Institute of the Ghana Atomic Energy Commission. Ten tomato varieties and breeding lines were evaluated in the field under natural whitefly inoculation in insect-proof cages. The field trial was done in the dry season from October, 2010 to February, 2011 and wet season from March, 2011 to July, 2011. Plants in the fields and in the cage exhibited varied symptoms such as leaf curling, leaf yellowing and reduced leaf sizes. Assessment of disease incidence and symptom severity using a four point scale (0-4) showed that, in the field there was higher disease incidence in the dry season as compared to the wet season. This was attributed to the higher number of whiteflies in the dry season as demonstrated through a whitefly population survey conducted in the field. Differences among means for disease incidence and whitefly surveys on the ten tomato varieties and breeding lines were statistically significant (p≤ 0.05). Wild Tomato (Solanum pimpinellifollium) and two hybrids, Wosowoso x Wild Tomato and Cherry Red x Wild Tomato exhibited signs of resistance in the field and did not show any symptoms of TYLCV disease symptoms. All the commercial varieties were highly susceptible and showed severe symptoms. Evaluation of fruit yield in the field revealed that the commercial variety Tomato Advanta had the heaviest fruit weight (42 g/ fruit) whilst Wosowoso had the highest total fruit yield (5.74 t/ha) in the wet season. Wild Tomato and the hybrids produced higher number of fruits compared to the commercial varieties. There were highly significant differences in the means of number of fruits, fruit weight (g) and total fruit yield (t/ha) among the ten tomato varieties and breeding lines in both the wet and dry seasons

Modern Breeding Methods for Improving Protein Quality and Quantity in Plants

Energy Technology Data Exchange (ETDEWEB)

Dumanovic, J.; Ehrenberg, L. [Institute for the Application of Nuclear Energy in Agriculture, Veterinary Medicine and Forestry, Belgrade, Yugoslavia (Serbia)

1968-07-01

Against the background of the world's urgent need for increased protein production and for an improved quality of vegetable proteins, the ability of plant breeding to contribute to this need is discussed. With examples especially from maize and wheat, existing variations in protein content and protein composition are surveyed, together with the interdependence of these characteristics and their co-variation with the yield. It is shown that plant breeding has a great potential for improving the world's food situation. It is also shown that more rapid achievements are possible than is generally considered to be characteristic of plant-breeding techniques. Special emphasis is stressed on: (a) The capacity of mutation breeding, alone and in conjunction with other methods, to contribute to an increased production of high quality protein; (b) The necessity for the success of programmes whereby fast, cheap, and if possible non-destructive analytical procedures are developed to determine protein and amino acids; (c) The importance of the close collaboration of plant breeders with specialists in related subjects such as soil fertilization, physiology and nutrition, food technology, and biochemistry; (d) The importance of international co-operation and co-ordination. (author)

The Proof is in the Pudding The Changing Nature of Mathematical Proof

CERN Document Server

Krantz, Steven G

2011-01-01

This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines. Though there are many truths to be discovered in this book, by the end it is clear that there is no formalized approach or standard method of discovery to date. Most of the proofs are discussed in detail with figures and equations accompanying them, allowing both the professional mathematician and those less familiar with mathematics to derive the same joy from reading this book.

Supporting Adaptive Learning Pathways through the Use of Learning Analytics: Developments, Challenges and Future Opportunities

Science.gov (United States)

Mavroudi, Anna; Giannakos, Michail; Krogstie, John

2018-01-01

Learning Analytics (LA) and adaptive learning are inextricably linked since they both foster technology-supported learner-centred education. This study identifies developments focusing on their interplay and emphasises insufficiently investigated directions which display a higher innovation potential. Twenty-one peer-reviewed studies are…

Burdens of Proof, Presumptions and Standards of Proof in Criminal ...

African Journals Online (AJOL)

Worku_Y

evidential and persuasive burdens of proof as between the state and the ..... scholars have observed that the evidential burden is a function of the burden of ..... required to convince judges by creating such an intensity of belief in their minds.

Molecular characterization and differentiation of five horse breeds raised in Algeria using polymorphic microsatellite markers.

Science.gov (United States)

Berber, N; Gaouar, S; Leroy, G; Kdidi, S; Tabet Aouel, N; Saïdi Mehtar, N

2014-10-01

In this study, genetic analyses of diversity and differentiation were performed on five horse breeds raised in Algeria (Barb, Arab-Barb, Arabian, Thoroughbred and French Trotter). All microsatellite markers were highly polymorphic in all the breeds. A total of 123 alleles from 14 microsatellite loci were detected in 201 horses. The average number of alleles per locus was the highest in the Arab-Barb horses (7.86) and lowest in the thoroughbred breed (5.71), whereas the observed and expected heterozygosities per breed ranged from 0.71 (Thoroughbred) to 0.752 (Barb) and 0.71 (Thoroughbred) to 0.77 (Arab-Barb), respectively. The genetic differentiation between the breeds was significant (p horse populations and the other breeds. The Barb and Arab-Barb breeds seem to be the most genetically related and support the decision to consider the breeds as same population. © 2014 Blackwell Verlag GmbH.

Online support groups for young women with breast cancer: a proof-of-concept study.

Science.gov (United States)

Stephen, Joanne; Rojubally, Adina; Linden, Wolfgang; Zhong, Lihong; Mackenzie, Gina; Mahmoud, Sahar; Giese-Davis, Janine

2017-07-01

This initial study examined a therapist-led, synchronous, online support group (OSG) with psycho-education (OSG + E) compared to self-help psycho-education (E). The study aims were to examine proof of concept-feasibility, acceptability, and usefulness-and to hone methods for a formal RCT. One hundred five young breast cancer survivors (<50 years) post-treatment were randomized either to OSG + E or E. OSG + E received a therapist-led 10-week synchronous online intervention. E received a self-help workbook. Assessments were at baseline, 10 weeks, and 3 months, with willing OSG + E members completing post-study interviews. Researchers used inductive analysis, generating qualitative themes for feasibility, acceptability, and usefulness. We examined trajectories for one primary and two secondary quantitative outcomes and a combined moderator to discover who preferentially benefitted from the intervention. Qualitative analyses revealed that synchronous chat was at times challenging, but minimal technical coaching, structure, set topics, and professional facilitation enabled conversations that were focused and meaningful. A combined moderator indicated that generally more women benefitted from OSG + E relative to E and particularly those women in semi-rural and rural areas. This study suggests that therapist-led synchronous OSGs are feasible, acceptable, and useful for young breast cancer survivors and that a future RCT with a larger sample size, perhaps more focused on non-urban areas, is needed to establish its effectiveness.

The disadvantages of mating outside home: How breeding in captivity affects the reproductive success of seahorses?

Science.gov (United States)

Faleiro, Filipa; Narciso, Luís

2013-04-01

In captivity, husbandry conditions are distinct from those experienced by fish in the wild and may have a significant effect on reproductive success. This study evaluates the effect of supportive breeding (i.e., breeding animals in captivity using wild parents) on some quantitative and qualitative aspects of the reproductive success of the long-snouted seahorse, Hippocampus guttulatus. Wild and captive broods were compared in terms of juvenile number, size, condition and fatty acid profile at birth. Reproductive investment and breeding success of H. guttulatus decreased considerably in captivity. Juveniles from captive broods were fewer in number, smaller, generally thinner and with lower fatty acid contents (per juvenile) than those from wild broods, although their fatty acid composition (μg mg- 1 DW or %TFA) was not significantly affected. Although not greatly encouraging, the poor reproductive performance of captive seahorses should not, however, efface the potential of supportive breeding as a tool for seahorse conservation. Enhanced conditions and long-term breeding in captivity will allow to improve the reproductive success of the species and the quality of the fingerlings.

Generalization of the Greenberger-Horne-Zeilinger algebraic proof of nonlocality

International Nuclear Information System (INIS)

Clifton, R.K.; Redhead, M.L.G.; Butterfield, J.N.

1991-01-01

The authors further develop a recent new proof (by Greenberger, Horne, and Zeilinger - GHZ) that local deterministic hidden-variable theories are inconsistent with certain strict correlations predicted by quantum mechanics. First, they generalize GHZ's proof so that it applied to factorable stochastic theories in which apparatus hidden variables are casually relevant to measurement results, and theories in which the hidden variables evolve indeterministically prior to the particle-apparatus interactions. Then they adopt a more general measure-theoretic approach which requires that GHZ's argument be modified in order to produce a valid proof. Finally, they motivate the more general proof's assumptions in a somewhat different way from previous authors in order to strengthen the implications of the proof as much as possible. After developing GHZ's proof along these lines, they then consider the analogue, for their proof, of Bohr's reply to the EPR argument, and conclude (pace GHZ) that in at least one respect (viz, that of most concern to Bohr) the proof is no more powerful than Bell's. Nevertheless, they point out some new advantages of their proof over Bell's, and over other algebraic proofs of nonlocality. And they conclude by giving a modified version of their proof that, like Bell's does not rely on experimentally unrealizable strict correlations, but still leads to a testable quasi-algebraic locality inequality

Photodynamic therapy in neurosurgery: a proof of concept of treatment planning system

Science.gov (United States)

Dupont, C.; Reyns, N.; Mordon, S.; Vermandel, M.

2017-02-01

Glioblastoma (GBM) is the most common primary brain tumor. PhotoDynamic Therapy (PDT) appears as an interesting research field to improve GBM treatment. Nevertheless, PDT cannot fit into the current therapeutic modalities according to several reasons: the lack of reliable and reproducible therapy schemes (devices, light delivery system), the lack of consensus on a photosensitizer and the absence of randomized and controlled multicenter clinical trial. The main objective of this study is to bring a common support for PDT planning. Here, we describe a proof of concept of Treatment Planning System (TPS) dedicated to interstitial PDT for GBM treatment. The TPS was developed with the integrated development environment C++ Builder XE8 and the environment ArtiMED, developed in our laboratory. This software enables stereotactic registration of DICOM images, light sources insertion and an accelerated CUDA GPU dosimetry modeling. Although, Monte-Carlo is more robust to describe light diffusion in biological tissue, analytical model accelerated by GPU remains relevant for dose preview or fast reverse planning processes. Finally, this preliminary work proposes a new tool to plan interstitial or intraoperative PDT treatment and might be included in the design of future clinical trials in order to deliver PDT straightforwardly and homogenously in investigator centers.

Algebraic proofs over noncommutative formulas

Czech Academy of Sciences Publication Activity Database

Tzameret, Iddo

2011-01-01

Roč. 209, č. 10 (2011), s. 1269-1292 ISSN 0890-5401 R&D Projects: GA MŠk LC505 Institutional research plan: CEZ:AV0Z10190503 Keywords : proof complexity * algebraic proof system s * frege proofs Subject RIV: BA - General Mathematics Impact factor: 0.560, year: 2011 http://www.sciencedirect.com/science/article/pii/S089054011100109X

A case of undeclared debt? Claude Lévi-Strauss' ambiguities and paradoxes toward analytical psychology.

Science.gov (United States)

Serina, Florent

2018-06-09

If his relationship to Sigmund Freud's psychoanalysis has been widely acknowledged, Claude Lévi-Strauss' rapport with C.G. Jung's analytical psychology remains quite obscure. While secondary commentary has been abundant, its approach has above all been intertextual, to the detriment of a rigorously historical reading. Even if certain arguments put forward by supporters of so-called "influence" deserve to be taken into account, especially because they highlight Lévi-Strauss ambiguities and paradoxes toward Jung, this paper provides proof that a precise reading of the texts, with the help of recent studies on the intellectual genesis of Lévi-Strauss, lead to reject the thesis of an unstated debt owed by the French anthropologist to the Zurich psychologist. © 2018 Wiley Periodicals, Inc.

A health record integrated clinical decision support system to support prescriptions of pharmaceutical drugs in patients with reduced renal function: design, development and proof of concept.

Science.gov (United States)

Shemeikka, Tero; Bastholm-Rahmner, Pia; Elinder, Carl-Gustaf; Vég, Anikó; Törnqvist, Elisabeth; Cornelius, Birgitta; Korkmaz, Seher

2015-06-01

To develop and verify proof of concept for a clinical decision support system (CDSS) to support prescriptions of pharmaceutical drugs in patients with reduced renal function, integrated in an electronic health record system (EHR) used in both hospitals and primary care. A pilot study in one geriatric clinic, one internal medicine admission ward and two outpatient healthcare centers was evaluated with a questionnaire focusing on the usefulness of the CDSS. The usage of the system was followed in a log. The CDSS is considered to increase the attention on patients with impaired renal function, provides a better understanding of dosing and is time saving. The calculated glomerular filtration rate (eGFR) and the dosing recommendation classification were perceived useful while the recommendation texts and background had been used to a lesser extent. Few previous systems are used in primary care and cover this number of drugs. The global assessment of the CDSS scored high but some elements were used to a limited extent possibly due to accessibility or that texts were considered difficult to absorb. Choosing a formula for the calculation of eGFR in a CDSS may be problematic. A real-time CDSS to support kidney-related drug prescribing in both hospital and outpatient settings is valuable to the physicians. It has the potential to improve quality of drug prescribing by increasing the attention on patients with renal insufficiency and the knowledge of their drug dosing. Copyright © 2015 Elsevier Ireland Ltd. All rights reserved.

16 CFR 614.1 - Appropriate proof of identity.

Science.gov (United States)

2010-01-01

... 16 Commercial Practices 1 2010-01-01 2010-01-01 false Appropriate proof of identity. 614.1 Section... IDENTITY § 614.1 Appropriate proof of identity. (a) Consumer reporting agencies shall develop and implement reasonable requirements for what information consumers shall provide to constitute proof of identity for...

Interactive knowledge discovery from marketing questionnarie using simulated breeding and inductive learning methods

Energy Technology Data Exchange (ETDEWEB)

Terano, Takao [Univ. of Tsukuba, Tokyo (Japan); Ishino, Yoko [Univ. of Tokyo (Japan)

1996-12-31

This paper describes a novel method to acquire efficient decision rules from questionnaire data using both simulated breeding and inductive learning techniques. The basic ideas of the method are that simulated breeding is used to get the effective features from the questionnaire data and that inductive learning is used to acquire simple decision rules from the data. The simulated breeding is one of the Genetic Algorithm (GA) based techniques to subjectively or interactively evaluate the qualities of offspring generated by genetic operations. In this paper, we show a basic interactive version of the method and two variations: the one with semi-automated GA phases and the one with the relatively evaluation phase via the Analytic Hierarchy Process (AHP). The proposed method has been qualitatively and quantitatively validated by a case study on consumer product questionnaire data.

Other trigonometric proofs of Pythagoras theorem

OpenAIRE

Luzia, Nuno

2015-01-01

Only very recently a trigonometric proof of the Pythagoras theorem was given by Zimba \\cite{1}, many authors thought this was not possible. In this note we give other trigonometric proofs of Pythagoras theorem by establishing, geometrically, the half-angle formula $\\cos\\theta=1-2\\sin^2 \\frac{\\theta}{2}$.

Assessment of Genetic Diversity, Relationships and Structure among Korean Native Cattle Breeds Using Microsatellite Markers

Directory of Open Access Journals (Sweden)

Sangwon Suh

2014-11-01

Full Text Available Four Korean native cattle (KNC breeds—Hanwoo, Chikso, Heugu, and Jeju black—are entered in the Domestic Animal Diversity Information System of the United Nations Food and Agriculture Organization (FAO. The objective of this study was to assess the genetic diversity, phylogenetic relationships and population structure of these KNC breeds (n = 120 and exotic breeds (Holstein and Charolais, n = 56. Thirty microsatellite loci recommended by the International Society for Animal Genetics/FAO were genotyped. These genotypes were used to determine the allele frequencies, allelic richness, heterozygosity and polymorphism information content per locus and breed. Genetic diversity was lower in Heugu and Jeju black breeds. Phylogenetic analysis, Factorial Correspondence Analysis and genetic clustering grouped each breed in its own cluster, which supported the genetic uniqueness of the KNC breeds. These results will be useful for conservation and management of KNC breeds as animal genetic resources.

Prevalence of Malaria, Dengue, and Chikungunya Significantly Associated with Mosquito Breeding Sites

OpenAIRE

Islam, Mohammad Nazrul; ZulKifle, Mohammad; Sherwani, Arish Mohammad Khan; Ghosh, Susanta Kumar; Tiwari, Satyanarayan

2011-01-01

Objectives: To observe the prevalence of malaria, dengue, and chikungunya and their association with mosquito breeding sites. Methods: The study was observational and analytical. A total of 162 houses and 670 subjects were observed during the study period. One hundred forty-two febrile patients were eligible for the study. After obtaining informed consent from all febrile patients, 140 blood samples were collected to diagnose malaria, dengue, and chikungunya. Larval samples were collected by ...

Introduction to proof in abstract mathematics

CERN Document Server

Wohlgemuth, Andrew

2011-01-01

The primary purpose of this undergraduate text is to teach students to do mathematical proofs. It enables readers to recognize the elements that constitute an acceptable proof, and it develops their ability to do proofs of routine problems as well as those requiring creative insights. The self-contained treatment features many exercises, problems, and selected answers, including worked-out solutions. Starting with sets and rules of inference, this text covers functions, relations, operation, and the integers. Additional topics include proofs in analysis, cardinality, and groups. Six appendixe

Influence of cross-breeding of native breed sows of Zlotnicka spotted ...

African Journals Online (AJOL)

The aim of this study was the estimation of the cross-breeding influence of Zlotnicka spotted sows with boars of polish large white and Duroc breeds on carcass traits of fatteners. 50 pigs were divided into four groups: Zlotnicka spotted (ZS), Zlotnicka spotted x polish large white (ZS x PLW), Zlotnicka spotted x Duroc (ZS x D) ...

28 CFR 79.35 - Proof of onset of leukemia at least two years after first exposure, and proof of onset of a...

Science.gov (United States)

2010-07-01

... 28 Judicial Administration 2 2010-07-01 2010-07-01 false Proof of onset of leukemia at least two... Participants § 79.35 Proof of onset of leukemia at least two years after first exposure, and proof of onset of... be the date of first or initial exposure. The date of onset will be the date of diagnosis as...

Investigation of Using Analytics in Promoting Mobile Learning Support

Science.gov (United States)

Visali, Videhi; Swami, Niraj

2013-01-01

Learning analytics can promote pedagogically informed use of learner data, which can steer the progress of technology mediated learning across several learning contexts. This paper presents the application of analytics to a mobile learning solution and demonstrates how a pedagogical sense was inferred from the data. Further, this inference was…

Impact- and earthquake- proof roof structure

International Nuclear Information System (INIS)

Shohara, Ryoichi.

1990-01-01

Building roofs are constituted with roof slabs, an earthquake proof layer at the upper surface thereof and an impact proof layer made of iron-reinforced concrete disposed further thereover. Since the roofs constitute an earthquake proof structure loading building dampers on the upper surface of the slabs by the concrete layer, seismic inputs of earthquakes to the buildings can be moderated and the impact-proof layer is formed, to ensure the safety to external conditions such as earthquakes or falling accidents of airplane in important facilities such as reactor buildings. (T.M.)

A novel proof of the DFT formula for the interatomic force field of Molecular Dynamics

International Nuclear Information System (INIS)

Morante, S.; Rossi, G.C.

2017-01-01

We give a novel and simple proof of the DFT expression for the interatomic force field that drives the motion of atoms in classical Molecular Dynamics, based on the observation that the ground state electronic energy, seen as a functional of the external potential, is the Legendre transform of the Hohenberg–Kohn functional, which in turn is a functional of the electronic density. We show in this way that the so-called Hellmann–Feynman analytical formula, currently used in numerical simulations, actually provides the exact expression of the interatomic force.

A novel proof of the DFT formula for the interatomic force field of Molecular Dynamics

Energy Technology Data Exchange (ETDEWEB)

Morante, S., E-mail: morante@roma2.infn.it [Dipartimento di Fisica, Università di Roma, “ Tor Vergata ”, INFN, Sezione di Roma 2, Via della Ricerca Scientifica - 00133 Roma (Italy); Rossi, G.C., E-mail: rossig@roma2.infn.it [Dipartimento di Fisica, Università di Roma, “ Tor Vergata ”, INFN, Sezione di Roma 2, Via della Ricerca Scientifica - 00133 Roma (Italy); Centro Fermi-Museo Storico della Fisica e Centro Studi e Ricerche E. Fermi, Compendio del Viminale, Piazza del Viminale 1, I-00184 Rome (Italy)

2017-02-15

We give a novel and simple proof of the DFT expression for the interatomic force field that drives the motion of atoms in classical Molecular Dynamics, based on the observation that the ground state electronic energy, seen as a functional of the external potential, is the Legendre transform of the Hohenberg–Kohn functional, which in turn is a functional of the electronic density. We show in this way that the so-called Hellmann–Feynman analytical formula, currently used in numerical simulations, actually provides the exact expression of the interatomic force.

Analytical properties of the radiance in atmospheric radiative transfer theory

International Nuclear Information System (INIS)

Otto, Sebastian

2014-01-01

It is demonstrated mathematically strictly that state density functions, as the radiance (specific intensity), exist to describe certain state properties of transported photons on microscopic and the state of the radiation field on macroscopic scale, which have independent physical meanings. Analytical properties as boundedness, continuity, differentiability and integrability of these functions to describe the photon transport are discussed. It is shown that the density functions may be derived based on the assumption of photons as real particles of non-zero and finite size, independently of usual electrodynamics, and certain historically postulated functional relationships between them were proved, that is, these functions can be derived mathematically strictly and consistently within the framework of the theory of the phenomenological radiative transfer if one takes the theory seriously by really assuming photons as particles. In this sense these functions may be treated as fundamental physical quantities within the scope of this theory, if one considers the possibility of the existence of photons. -- Highlights: • Proof of existence of the radiance within the scope of the theory of atmospheric radiative transfer. • Proof of relations between the photon number and photon energy density function and the radiance. • Strictly mathematical derivation of the analytical properties of these state density functions

Slave Breeding

OpenAIRE

Sutch, Richard

1986-01-01

This paper reviews the historical work on slave breeding in the ante-bellum United States. Slave breeding consisted of interference in the sexual life of slaves by their owners with the intent and result of increasing the number of slave children born. The weight of evidence suggests that slave breeding occurred in sufficient force to raise the rate of growth of the American slave population despite evidence that only a minority of slave-owners engaged in such practices.

Analysis of breed effects on semen traits in light horse, warmblood, and draught horse breeds.

Science.gov (United States)

Gottschalk, Maren; Sieme, Harald; Martinsson, Gunilla; Distl, Ottmar

2016-05-01

In the present study, systematic effects on semen quality traits were investigated in 381 stallions representing 22 breeds. All stallions were used for AI either at the Lower Saxon National Stud Celle or the North Rhine-Westphalian National Stud Warendorf. A total of 71,078 fresh semen reports of the years 2001 to 2014 were edited for analysis of gel-free volume, sperm concentration, total number of sperm, progressive motility, and total number of progressively motile sperm. Breed differences were studied for warmblood and light horse breeds of both national studs (model I) and for warmblood breeds and the draught horse breed Rhenish German Coldblood from the North Rhine-Westphalian National stud (model II) using mixed model procedures. The fixed effects of age class, year, and month of semen collection had significant influences on all semen traits in both analyses. A significant influence of the horse breed was found for all semen traits but gel-free volume in both statistical models. Comparing warmblood and light horse stallions of both national studs, we observed highest sperm concentrations, total numbers of sperm, and total numbers of progressively motile sperm in Anglo-Arabian stallions. The draught horse breed Rhenish German Coldblood had the highest least squares means for gel-free volume, whereas all other investigated semen traits were significantly lower in this breed compared to the warmblood stallions under study. The variance components among stallions within breeds were significant for all semen traits and accounted for 40% to 59% of the total variance. The between-breed-variance among stallions was not significant underlining the similar size of the random stallion effect in each of the horse breeds analyzed here. In conclusion, breed and stallion are accounting for a significant proportion of the variation in semen quality. Copyright © 2016 Elsevier Inc. All rights reserved.

Iowa Breed Bird Atlas 2, 2008-2012

Data.gov (United States)

Iowa State University GIS Support and Research Facility — These are the locations of Iowa's Second Breeding Bird Atlas. Blocks are 3 by 3 miles in size. Some of the blocks are the same as those surveyed in the first BBA,...

An illustration of the explanatory and discovery functions of proof

Directory of Open Access Journals (Sweden)

Michael de Villiers

2012-11-01

Full Text Available This article provides an illustration of the explanatory and discovery functions of proof with an original geometric conjecture made by a Grade 11 student. After logically explaining (proving the result geometrically and algebraically, the result is generalised to other polygons by further reflection on the proof(s. Different proofs are given, each giving different insights that lead to further generalisations. The underlying heuristic reasoning is carefully described in order to provide an exemplar for designing learning trajectories to engage students with these functions of proof.

The internal design phase of the breeding and multigeneration support system: A tracking and decision support system for NCTR (National Center for Toxicological Research)

Energy Technology Data Exchange (ETDEWEB)

Strand, R.; Cox, T.L.; Sjoreen, A.; Alvic, D.

1989-06-01

The National Center for Toxicological Research (NCTR) is the basic research arm of the US Food and Drug Administration (FDA). The NCTR has upgraded and standardized its computer operations on Digital Equipment Corporation VAX minicomputers using Software AG's ADABAS data base management system for all research applications. The NCTR is currently performing a large study to improve the functionality of the animal husbandry systems and applications called Breeding/Multigeneration Support System (BMSS). When functional, it will operate on VAX equipment using the ADABAS data base management system, TDMS, and COBOL. Oak Ridge National Laboratory (ORNL) is supporting NCTR in the design, prototyping, and software engineering of the BMSS. This document summarizes the internal design elements that include data structures, file structures, and system attributes that were required to facilitate the decision support requirements defined in the external design work. Prototype pseudocode then was developed for the recommended system attributes and file and data structures. Finally, ORNL described the processing requirements including the initial access of the BMSS, integration of the existing INLIFE system and the STUDY DEFINITION system under development, data system initialization and maintenance, and BMSS testing and verification. This document describes ORNL's recommendations for the internal design of the BMSS. ORNL will provide research support to NCTR in the additional phases of systems life cycle development for BMSS. ORNL has prepared this document according to NCTR's Standard Operating Procedures for Systems Development. 6 figs., 5 tabs.

Quantitative high throughput analytics to support polysaccharide production process development.

Science.gov (United States)

Noyes, Aaron; Godavarti, Ranga; Titchener-Hooker, Nigel; Coffman, Jonathan; Mukhopadhyay, Tarit

2014-05-19

assays help build an analytical foundation to support the advent of HTPD technology for polysaccharide vaccines. It is envisaged that this will lead to an expanded use of Quality by Design (QbD) studies in vaccine process development. Copyright © 2014 The Authors. Published by Elsevier Ltd.. All rights reserved.

Short communication: Consumer’s willingness to pay for indigenous meat products: The case of a Spanish sheep breed

Energy Technology Data Exchange (ETDEWEB)

Gracia, A.; Magistris, T. de

2016-11-01

European farmers of indigenous local breeds have benefited from European Union economic support in the past and it is forecast to continue being supported in the future. However, it is in the public debate that economic support cannot last forever. Then, for the long-run maintenance of indigenous local breeds to be possible, the derived meat products from these breeds should be demanded by consumers or at least by a group of local consumers. This is the aim of this paper, to study consumers’ demand for indigenous local meat products. In particular, to assess how much consumers are willing to pay for a Spanish lamb meat from an indigenous sheep breed (“Ojinegra de Teruel”). To do that, a non-hypothetical experimental auction with local consumers (those living in a medium-size town around 150 km the producing area of this meat) was used. Results indicated that consumers were willing to pay, on average, €0.45 (15% of the market price) more for the lamb meat with the “Ojinegra de Teruel” breed claim than for the one without breed indication (as it is now sold in the market). Then, local consumers clearly accept the differentiated meat through the indigenous breed indication. Then, producers in the area could have more opportunities to sell in the local market if they differentiate their meat using the indigenous “Ojinegra de Teruel” claim than using the undifferentiated strategy they are undertaken now. (Author)

Ornamental Plant Breeding

Directory of Open Access Journals (Sweden)

Flávia Barbosa Silva Botelho

2015-04-01

Full Text Available World’s ornamental plant market, including domestic market of several countries and its exports, is currently evaluated in 107 billion dollars yearly. Such estimate highlights the importance of the sector in the economy of the countries, as well as its important social role, as it represents one of the main activities, which contributes to income and employment. Therefore a well-structured plant breeding program, which is connected with consumers’ demands, is required in order to fulfill these market needs globally. Activities related to pre-breeding, conventional breeding, and breeding by biotechnological techniques constitute the basis for the successful development of new ornamental plant cultivars. Techniques that involve tissue culture, protoplast fusion and genetic engineering greatly aid conventional breeding (germplasm introduction, plant selection and hybridization, aiming the obtention of superior genotypes. Therefore it makes evident, in the literature, the successful employment of genetic breeding, since it aims to develop plants with commercial value that are also competitive with the ones available in the market.

Human and ecological determinants of the spatial structure of local breed diversity.

Science.gov (United States)

Colino-Rabanal, Victor J; Rodríguez-Díaz, Roberto; Blanco-Villegas, María José; Peris, Salvador J; Lizana, Miguel

2018-04-24

Since domestication, a large number of livestock breeds adapted to local conditions have been created by natural and artificial selection, representing one of the most powerful ways in which human groups have constructed niches to meet their need. Although many authors have described local breeds as the result of culturally and environmentally mediated processes, this study, located in mainland Spain, is the first aimed at identifying and quantifying the environmental and human contributions to the spatial structure of local breed diversity, which we refer to as livestock niche. We found that the more similar two provinces were in terms of human population, ecological characteristics, historical ties, and geographic distance, the more similar the composition of local breeds in their territories. Isolation by human population distance showed the strongest effect, followed by isolation by the environment, thus supporting the view of livestock niche as a socio-cultural product adapted to the local environment, in whose construction humans make good use of their ecological and cultural inheritances. These findings provide a useful framework to understand and to envisage the effects of climate change and globalization on local breeds and their livestock niches.

Vibration-proof FBR type reactor

International Nuclear Information System (INIS)

Kawamura, Yutaka.

1992-01-01

In a reactor container in an FBR type reactor, an outer building and upper and lower portions of a reactor container are connected by a load transmission device made of a laminated material of rubber and steel plates. Each of the reactor container and the outer building is disposed on a lower raft disposed on a rock by way of a vibration-proof device made of a laminated material of rubber and steel plates. Vibration-proof elements for providing vertical eigen frequency of the vibration-proof system comprising the reactor building and the vibration-proof device within a range of 3Hz to 5Hz are used. That is, the peak of designed acceleration for response spectrum in the horizontal direction of the reactor structural portions is shifted to side of shorter period from the main frequency region of the reactor structure. Alternatively, rigidity of the vibration-proof elements is decreased to shift the peak to the side of long period from the main frequency region. Designed seismic force can be greatly reduced both horizontally and vertically, to reduce the wall thickness of the structural members, improve the plant economy and to ensure the safety against earthquakes. (N.H.)

The influence of cross-breeding Zlotnicka Spotted native breed sows ...

African Journals Online (AJOL)

To sum up, it is possible to say that the raw meat of Zlotnicka Spotted pigs and their cross-breeds with Duroc and Polish Large White breeds is characterised by good quality and because of its considerable intramuscular fat content, it has a high culinary and processing value, especially for ripening products. Key words: Pigs ...

Chinese Culture, Homosexuality Stigma, Social Support and Condom Use: A Path Analytic Model.

Science.gov (United States)

Liu, Hongjie; Feng, Tiejian; Ha, Toan; Liu, Hui; Cai, Yumao; Liu, Xiaoli; Li, Jian

2011-01-01

PURPOSE: The objective of this study was to examine the interrelationships among individualism, collectivism, homosexuality-related stigma, social support, and condom use among Chinese homosexual men. METHODS: A cross-sectional study using the respondent-driven sampling approach was conducted among 351 participants in Shenzhen, China. Path analytic modeling was used to analyze the interrelationships. RESULTS: The results of path analytic modeling document the following statistically significant associations with regard to homosexuality: (1) higher levels of vertical collectivism were associated with higher levels of public stigma [β (standardized coefficient) = 0.12] and self stigma (β = 0.12); (2) higher levels of vertical individualism were associated with higher levels self stigma (β = 0.18); (3) higher levels of horizontal individualism were associated with higher levels of public stigma (β = 0.12); (4) higher levels of self stigma were associated with higher levels of social support from sexual partners (β = 0.12); and (5) lower levels of public stigma were associated with consistent condom use (β = -0.19). CONCLUSIONS: The findings enhance our understanding of how individualist and collectivist cultures influence the development of homosexuality-related stigma, which in turn may affect individuals' decisions to engage in HIV-protective practices and seek social support. Accordingly, the development of HIV interventions for homosexual men in China should take the characteristics of Chinese culture into consideration.

Chinese Culture, Homosexuality Stigma, Social Support and Condom Use: A Path Analytic Model

Science.gov (United States)

Liu, Hongjie; Feng, Tiejian; Ha, Toan; Liu, Hui; Cai, Yumao; Liu, Xiaoli; Li, Jian

2011-01-01

Purpose The objective of this study was to examine the interrelationships among individualism, collectivism, homosexuality-related stigma, social support, and condom use among Chinese homosexual men. Methods A cross-sectional study using the respondent-driven sampling approach was conducted among 351 participants in Shenzhen, China. Path analytic modeling was used to analyze the interrelationships. Results The results of path analytic modeling document the following statistically significant associations with regard to homosexuality: (1) higher levels of vertical collectivism were associated with higher levels of public stigma [β (standardized coefficient) = 0.12] and self stigma (β = 0.12); (2) higher levels of vertical individualism were associated with higher levels self stigma (β = 0.18); (3) higher levels of horizontal individualism were associated with higher levels of public stigma (β = 0.12); (4) higher levels of self stigma were associated with higher levels of social support from sexual partners (β = 0.12); and (5) lower levels of public stigma were associated with consistent condom use (β = −0.19). Conclusions The findings enhance our understanding of how individualist and collectivist cultures influence the development of homosexuality-related stigma, which in turn may affect individuals’ decisions to engage in HIV-protective practices and seek social support. Accordingly, the development of HIV interventions for homosexual men in China should take the characteristics of Chinese culture into consideration. PMID:21731850

ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen

2015-01-01

Today we have software in many artefacts, from medical devices to cars and airplanes, and the software must not only be efficient and intelligent but also reliable and secure. Tests can show the presence of bugs but cannot guarantee their absence. A machine-checked proof using mathematical logic...... pen and paper because no adequate tool was available. The learning problem is how to make abstract concepts of logic as concrete as possible. ProofJudge is a computer system and teaching approach for teaching mathematical logic and automated reasoning which augments the e-learning tool NaDeA (Natural...

ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen

2016-01-01

Today we have software in many artefacts, from medical devices to cars and airplanes, and the software must not only be efficient and intelligent but also reliable and secure. Tests can show the presence of bugs but cannot guarantee their absence. A machine-checked proof using mathematical logic...... using pen and paper because no adequate tool was available. The learning problem is how to make abstract concepts of logic as concrete as possible. ProofJudge is a computer system and teaching approach for teaching mathematical logic and automated reasoning which augments the e-learning tool Na...

Overview and assessment of support measures for endangered livestock breeds : Subsibreed : Final project report

NARCIS (Netherlands)

Kompan, D.; Klopcic, M.; Martyniuk, E.; Hiemstra, S.J.; Hoving, A.H.

2014-01-01

Livestock production has contributed to food security and economic development for thousands of years. Adaptation to wide range of environmental conditions and artificial selection has led to the development of numerous indigenous breeds that are part of the wealth of diversity in agriculture. They

TrajAnalytics: An Open-Source, Web-Based Visual Analytics Software of Urban Trajectory Data

OpenAIRE

Zhao, Ye

2018-01-01

We developed a software system named TrajAnalytics, which explicitly supports interactive visual analytics of the emerging trajectory data. It offers data management capability and support various data queries by leveraging web-based computing platforms. It allows users to visually conduct queries and make sense of massive trajectory data.

On Callan's proof of the BPHZ theorem

International Nuclear Information System (INIS)

Lesniewski, A.

1984-01-01

The author gives an elementary proof of the BPHZ theorem in the case of the Euclidean lambdaphi 4 theory. The method of proof relies on a detailed analysis of the skeleton structure of graphs and estimates based on the Callan-Symanzik equations. (Auth.)

AmO₂ Analysis for Analytical Method Testing and Assessment: Analysis Support for AmO₂ Production

Energy Technology Data Exchange (ETDEWEB)

Kuhn, Kevin John [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Bland, Galey Jean [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Fulwyler, James Brent [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Garduno, Katherine [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Keller, Russell C. [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Klundt, Dylan James [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Lujan, Elmer J. W [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Mark, Zoe Francoise Elise [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Mathew, Kattathu Joseph [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Ortega, Laura Claire [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Ottenfeld, Chelsea Faith [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Porterfield, Donivan R. [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Rearick, Michael Sean [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Rim, Jung Ho [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Schake, Ann Rene [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Schappert, Michael Francis [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Stanley, Floyd E. [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Thomas, Mariam R. [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Wylie, Ernest Miller II [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Xu, Ning [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Tandon, Lav [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

2017-09-08

Americium oxide samples will be measured for various analytes to support AmO₂ production. The key analytes that are currently requested by the Am production customer at LANL include total Am content, Am isotopics, Pu assay, Pu isotopics, and trace element content including ²³⁷Np content. Multiple analytical methods will be utilized depending on the sensitivity, accuracy and precision needs of the Am matrix. Traceability to the National Institute of Standards and Technology (NIST) will be achieved, where applicable, by running NIST traceable quality control materials. This given that there are no suitable AmO₂ reference materials currently available for requested analytes. The primary objective is to demonstrate the suitability of actinide analytical chemistry methods to support AmO₂ production operations.

Genomic analyses of modern dog breeds.

Science.gov (United States)

Parker, Heidi G

2012-02-01

A rose may be a rose by any other name, but when you call a dog a poodle it becomes a very different animal than if you call it a bulldog. Both the poodle and the bulldog are examples of dog breeds of which there are >400 recognized worldwide. Breed creation has played a significant role in shaping the modern dog from the length of his leg to the cadence of his bark. The selection and line-breeding required to maintain a breed has also reshaped the genome of the dog, resulting in a unique genetic pattern for each breed. The breed-based population structure combined with extensive morphologic variation and shared human environments have made the dog a popular model for mapping both simple and complex traits and diseases. In order to obtain the most benefit from the dog as a genetic system, it is necessary to understand the effect structured breeding has had on the genome of the species. That is best achieved by looking at genomic analyses of the breeds, their histories, and their relationships to each other.

Development of analytical techniques in support of waste and effluent characterization

International Nuclear Information System (INIS)

Reed, W.J.

1991-01-01

The Analytical Services Group within Sellafield Technical Department has been established for >40 yr and employs >150 analysts. The group operates >400 analytical methods across a wide range of techniques and has a yearly workload of ∼250,000 determinations. The group operates under a quality system based on statistical process control that has achieved national recognition through the accreditation of its mass spectrometry and radiochemical services to the standard of national testing laboratories. The group offers services ranging from the characterization of highly active wastes to trace elemental and radiochemical measurements in environmental, biological, and effluent streams. The group has vast experience in the management of analytical services to tight time scales and has pioneered developments not only in analytical instrumentation, but also in the adaptation of equipment to radioactive environments and the design of dedicated analytical facilities

ATAC Process Proof of Concept Final Report

Energy Technology Data Exchange (ETDEWEB)

Bri Rolston; Sarah Freeman

2014-03-01

Researchers at INL with funding from the Department of Energy’s Office of Electricity Delivery and Energy Reliability (DOE-OE) evaluated a novel approach for near real-time consumption of threat intelligence. Demonstration testing in an industry environment supported the development of this new process to assist the electric sector in securing their critical networks. This report provides the reader with an understanding of the methods used during this proof of concept project. The processes and templates were further advanced with an industry partner during an onsite assessment. This report concludes with lessons learned and a roadmap for final development of these materials for use by industry.

To breed or not to breed: a seabird's response to extreme climatic events

OpenAIRE

Cubaynes, Sarah; Doherty, Paul F.; Schreiber, E. A.; Gimenez, Olivier

2010-01-01

Intermittent breeding is an important life-history strategy that has rarely been quantified in the wild and for which drivers remain unclear. It may be the result of a trade-off between survival and reproduction, with individuals skipping breeding when breeding conditions are below a certain threshold. Heterogeneity in individual quality can also lead to heterogeneity in intermittent breeding. We modelled survival, recruitment and breeding probability of the red-footed booby (Sula sula), usin...

28 CFR 79.13 - Proof of physical presence for the requisite period and proof of participation onsite during a...

Science.gov (United States)

2010-07-01

... participated onsite in the atmospheric detonation of a nuclear device. ... requisite period and proof of participation onsite during a period of atmospheric nuclear testing. 79.13... presence for the requisite period and proof of participation onsite during a period of atmospheric nuclear...

Analysis on economic carrying capacity index of pig breeding in China

Science.gov (United States)

Leng, Bi-Bin; Liu, Jia-Ling; Xu, Yue-Feng

2017-08-01

In this paper, factor analysis method was employed to analyze and calculate the Gross Domestic Product (GDP) per capita in the last decade, the proportion of research and experiment development (R&D) expenditure equivalent to GDP, urban and rural residents’ pork consumption and explored the scale of Chinese pig breeding on economic carrying capacity index. The result showed that the growth of GDP had led to better techniques and higher field investment, and stronger support like science and technology from the government provided good conditions for large scale of pig breeding. Besides, the substantial increase of pork consumption between rural and urban residents has contributed to the pig breeding in large scale. As a result, the economic carrying capacity index in Chinese pig farming is on the rise.

Genetic relationships between six eastern Pyrenean sheep breeds assessed using microsatellites

Directory of Open Access Journals (Sweden)

Ainhoa Ferrando

2014-11-01

Full Text Available The knowledge of the genetic composition and relationships among livestock breeds is a necessary step for the implementation of management and conservation plans. This study aims to characterise the genetic diversity and relationships among six sheep breeds of meat aptitude that are spread through the eastern Pyrenees: Tarasconnaise, Castillonnaise and Rouge du Roussillon from France, and Aranesa, Xisqueta and Ripollesa from Spain. All but Tarasconnaise are catalogued as endangered. These breeds do not share the same ancestral origin but commercial trades and gene flow between herds are known to have occurred for centuries. Additionally, two outgroup breeds were included: the Guirra, from a different geographical location, and the Lacaune, a highly selected breed of dairy aptitude. A total of 410 individuals were typed using a panel of 12 microsatellite markers. Statistical, phylogenetic and Bayesian analyses showed that eastern Pyrenean breeds retained high levels of genetic diversity and low, but significant, levels of genetic differentiation (FST = 4.1%. While outgroups were clearly differentiated from other breeds, Pyrenean breeds tended to form two clusters. The first encompassed Tarasconnaise and Aranesa, which probably descend from a common meta-population. The second tended to group the other four breeds. However, none reached high mean Q-values of membership to a discrete cluster. This is consistent with the recent past gene flow between breeds, despite different ancestral genetic origins. The genetic characterisation carried out of the eastern Pyrenean sheep populations provides useful information to support decision making on their conservation and focusing efforts and resources to more singular breeds.

Genetic diversity of dog breeds: within-breed diversity comparing genealogical and molecular data.

Science.gov (United States)

Leroy, G; Verrier, E; Meriaux, J C; Rognon, X

2009-06-01

The genetic diversity of 61 dog breeds raised in France was investigated. Genealogical analyses were performed on the pedigree file of the French kennel club. A total of 1514 dogs were also genotyped using 21 microsatellite markers. For animals born from 2001 to 2005, the average coefficient of inbreeding ranged from 0.2% to 8.8% and the effective number of ancestors ranged from 9 to 209, according to the breed. The mean value of heterozygosity was 0.62 over all breeds (range 0.37-0.77). At the breed level, few correlations were found between genealogical and molecular parameters. Kinship coefficients and individual similarity estimators were, however, significantly correlated, with the best mean correlation being found for the Lynch & Ritland estimator (r = 0.43). According to both approaches, it was concluded that special efforts should be made to maintain diversity for three breeds, namely the Berger des Pyrénées, Braque Saint-Germain and Bull Terrier.

Proof Construction: Adolescent Development from Inductive to Deductive Problem-Solving Strategies.

Science.gov (United States)

Foltz, Carol; And Others

1995-01-01

Studied 100 adolescents' approaches to problem-solving proofs and reasoning competence tasks. Found that a formal level of reasoning competence is associated with a deductive approach. Results support the notion of a cognitive development progression from an inductive approach to a deductive approach. (ETB)

Proust: A Nano Proof Assistant

Directory of Open Access Journals (Sweden)

Prabhakar Ragde

2016-11-01

Full Text Available Proust is a small Racket program offering rudimentary interactive assistance in the development of verified proofs for propositional and predicate logic. It is constructed in stages, some of which are done by students before using it to complete proof exercises, and in parallel with the study of its theoretical underpinnings, including elements of Martin-Lof type theory. The goal is twofold: to demystify some of the machinery behind full-featured proof assistants such as Coq and Agda, and to better integrate the study of formal logic with other core elements of an undergraduate computer science curriculum.

Proof of payment for all reimbursement claims

CERN Multimedia

HR Department

2006-01-01

Members of the personnel are kindly requested to note that only documents proving that a payment has been made are accepted as proof of payment for any claims for reimbursement, including specifically the reimbursement of education fees. In particular, the following will be accepted as proof of payment: bank or post office bank statements indicating the name of the institution to which the payment was made; photocopies of cheques made out to the institution to which the payments were made together with bank statements showing the numbers of the relevant cheques; proof of payment in the form of discharged payment slips; invoices with acknowledgement of settlement, receipts, bank statements detailing operations crediting another account or similar documents. As a result, the following documents in particular will no longer be accepted as proof of payment: photocopies of cheques that are not submitted together with bank or post office bank statements showing the numbers of the relevant cheques; details of ...

A Concise and Direct Proof of "Fermat's Last Theorem"

OpenAIRE

Ellman, Roger

1998-01-01

The recently developed proof of Fermat's Last Theorem is very lengthy and difficult, so much so as to be beyond all but a small body of specialists. While certainly of value in the developments that resulted, that proof could not be, nor was offered as being, possibly the proof Fermat had in mind. The present proof being brief, direct and concise is a candidate for being what Fermat had in mind. It is also completely accessible to any one trained in common algebra. That critical suggestions o...

On Kripke-style semantics for the provability logic of Gödel’s proof predicate with quantifiers on proofs

NARCIS (Netherlands)

Yavorskiy, R.

Kripke-style semantics is suggested for the provability logic with quantifiers on proofs corresponding to the standard Gödel proof predicate. It is proved that the set of valid formulas is decidable. The arithmetical completeness is still an open issue.

[Burden of proof in medical cases--presumption of fact and prima facie evidence. 1. Burden of proof].

Science.gov (United States)

Sliwka, Marcin

2004-01-01

The aim of this paper was to present the main rules concerning the burden of proof in polish civil trials, including medical cases. This paper also describes the subject of evidence were presented and explained. The court influence on evidence procedure was also analysed. The effect of the institution of informed consent on burden of proof in polish civil law is also described. This paper includes numerous High Court sentences on evidential and medical issues.

Focused labeled proof systems for modal logic

OpenAIRE

Miller , Dale; Volpe , Marco

2015-01-01

International audience; Focused proofs are sequent calculus proofs that group inference rules into alternating positive and negative phases. These phases can then be used to define macro-level inference rules from Gentzen's original and tiny introduction and structural rules. We show here that the inference rules of labeled proof systems for modal logics can similarly be described as pairs of such phases within the LKF focused proof system for first-order classical logic. We consider the syst...

A survey of noninteractive zero knowledge proof system and its applications.

Science.gov (United States)

Wu, Huixin; Wang, Feng

2014-01-01

Zero knowledge proof system which has received extensive attention since it was proposed is an important branch of cryptography and computational complexity theory. Thereinto, noninteractive zero knowledge proof system contains only one message sent by the prover to the verifier. It is widely used in the construction of various types of cryptographic protocols and cryptographic algorithms because of its good privacy, authentication, and lower interactive complexity. This paper reviews and analyzes the basic principles of noninteractive zero knowledge proof system, and summarizes the research progress achieved by noninteractive zero knowledge proof system on the following aspects: the definition and related models of noninteractive zero knowledge proof system, noninteractive zero knowledge proof system of NP problems, noninteractive statistical and perfect zero knowledge, the connection between noninteractive zero knowledge proof system, interactive zero knowledge proof system, and zap, and the specific applications of noninteractive zero knowledge proof system. This paper also points out the future research directions.

A Survey of Noninteractive Zero Knowledge Proof System and Its Applications

Directory of Open Access Journals (Sweden)

Huixin Wu

2014-01-01

Full Text Available Zero knowledge proof system which has received extensive attention since it was proposed is an important branch of cryptography and computational complexity theory. Thereinto, noninteractive zero knowledge proof system contains only one message sent by the prover to the verifier. It is widely used in the construction of various types of cryptographic protocols and cryptographic algorithms because of its good privacy, authentication, and lower interactive complexity. This paper reviews and analyzes the basic principles of noninteractive zero knowledge proof system, and summarizes the research progress achieved by noninteractive zero knowledge proof system on the following aspects: the definition and related models of noninteractive zero knowledge proof system, noninteractive zero knowledge proof system of NP problems, noninteractive statistical and perfect zero knowledge, the connection between noninteractive zero knowledge proof system, interactive zero knowledge proof system, and zap, and the specific applications of noninteractive zero knowledge proof system. This paper also points out the future research directions.

Tritium breeding blanket

International Nuclear Information System (INIS)

Smith, D.; Billone, M.; Gohar, Y.; Baker, C.; Mori, S.; Kuroda, T.; Maki, K.; Takatsu, H.; Yoshida, H.; Raffray, A.; Sviatoslavsky, I.; Simbolotti, G.; Shatalov, G.

1991-01-01

The terms of reference for ITER provide for incorporation of a tritium breeding blanket with a breeding ratio as close to unity as practical. A breeding blanket is required to assure an adequate supply of tritium to meet the program objectives. Based on specified design criteria, a ceramic breeder concept with water coolant and an austenitic steel structure has been selected as the first option and lithium-lead blanket concept has been chosen as an alternate option. The first wall, blanket, and shield are integrated into a single unit with separate cooling systems. The design makes extensive use of beryllium to enhance the tritium breeding ratio. The design goals with a tritium breeding ratio of 0.8--0.9 have been achieved and the R ampersand D requirements to qualify the design have been identified. 4 refs., 8 figs., 2 tabs

Interspecific reciprocity explains mobbing behaviour of the breeding chaffinches, Fringilla coelebs.

Science.gov (United States)

Krams, Indrikis; Krama, Tatjana

2002-01-01

When prey animals discover a predator close by, they mob it while uttering characteristic sounds that attract other prey individuals to the vicinity. Mobbing causes a predator to vacate its immediate foraging area, which gives an opportunity for prey individuals to continue their interrupted daily activity. Besides the increased benefits, mobbing behaviour also has its costs owing to injuries or death. The initiator of mobbing may be at increased risk of predation by attracting the predator's attention, especially if not joined by other neighbouring prey individuals. Communities of breeding birds have always been considered as temporal aggregations. Since an altruist could not prevent cheaters from exploiting its altruism in an anonymous community, this excluded any possibility of explaining mobbing behaviour in terms of reciprocal altruism. However, sedentary birds may have become acquainted since the previous non-breeding season. Migrant birds, forming anonymous communities at the beginning of the breeding season, may also develop closer social ties during the course of the breeding season. We tested whether a male chaffinch, a migrant bird, would initiate active harassment of a predator both at the beginning of the breeding season and a week later when it has become a member of a non-anonymous multi-species aggregation of sedentary birds. We expected that male chaffinches would be less likely to initiate a mob at the beginning of the breeding season when part of an anonymous multi-species aggregation of migratory birds. However, their mobbing activity should increase as the breeding season advances. Our results support these predictions. Cooperation among individuals belonging to different species in driving the predator away may be explained as interspecific reciprocity based on interspecific recognition and temporal stability of the breeding communities. PMID:12495502

Distributed analysis with PROOF in ATLAS collaboration

International Nuclear Information System (INIS)

Panitkin, S Y; Ernst, M; Ito, H; Maeno, T; Majewski, S; Rind, O; Tarrade, F; Wenaus, T; Ye, S; Benjamin, D; Montoya, G Carillo; Guan, W; Mellado, B; Xu, N; Cranmer, K; Shibata, A

2010-01-01

The Parallel ROOT Facility - PROOF is a distributed analysis system which allows to exploit inherent event level parallelism of high energy physics data. PROOF can be configured to work with centralized storage systems, but it is especially effective together with distributed local storage systems - like Xrootd, when data are distributed over computing nodes. It works efficiently on different types of hardware and scales well from a multi-core laptop to large computing farms. From that point of view it is well suited for both large central analysis facilities and Tier 3 type analysis farms. PROOF can be used in interactive or batch like regimes. The interactive regime allows the user to work with typically distributed data from the ROOT command prompt and get a real time feedback on analysis progress and intermediate results. We will discuss our experience with PROOF in the context of ATLAS Collaboration distributed analysis. In particular we will discuss PROOF performance in various analysis scenarios and in multi-user, multi-session environments. We will also describe PROOF integration with the ATLAS distributed data management system and prospects of running PROOF on geographically distributed analysis farms.

Distributed analysis with PROOF in ATLAS collaboration

Energy Technology Data Exchange (ETDEWEB)

Panitkin, S Y; Ernst, M; Ito, H; Maeno, T; Majewski, S; Rind, O; Tarrade, F; Wenaus, T; Ye, S [Brookhaven National Laboratory, Upton, NY 11973 (United States); Benjamin, D [Duke University, Durham, NC 27708 (United States); Montoya, G Carillo; Guan, W; Mellado, B; Xu, N [University of Wisconsin-Madison, Madison, WI 53706 (United States); Cranmer, K; Shibata, A [New York University, New York, NY 10003 (United States)

2010-04-01

The Parallel ROOT Facility - PROOF is a distributed analysis system which allows to exploit inherent event level parallelism of high energy physics data. PROOF can be configured to work with centralized storage systems, but it is especially effective together with distributed local storage systems - like Xrootd, when data are distributed over computing nodes. It works efficiently on different types of hardware and scales well from a multi-core laptop to large computing farms. From that point of view it is well suited for both large central analysis facilities and Tier 3 type analysis farms. PROOF can be used in interactive or batch like regimes. The interactive regime allows the user to work with typically distributed data from the ROOT command prompt and get a real time feedback on analysis progress and intermediate results. We will discuss our experience with PROOF in the context of ATLAS Collaboration distributed analysis. In particular we will discuss PROOF performance in various analysis scenarios and in multi-user, multi-session environments. We will also describe PROOF integration with the ATLAS distributed data management system and prospects of running PROOF on geographically distributed analysis farms.

Modeling snail breeding in a bioregenerative life support system

Science.gov (United States)

Kovalev, V. S.; Manukovsky, N. S.; Tikhomirov, A. A.; Kolmakova, A. A.

2015-07-01

The discrete-time model of snail breeding consists of two sequentially linked submodels: "Stoichiometry" and "Population". In both submodels, a snail population is split up into twelve age groups within one year of age. The first submodel is used to simulate the metabolism of a single snail in each age group via the stoichiometric equation; the second submodel is used to optimize the age structure and the size of the snail population. Daily intake of snail meat by crewmen is a guideline which specifies the population productivity. The mass exchange of the snail unit inhabited by land snails of Achatina fulica is given as an outcome of step-by-step modeling. All simulations are performed using Solver Add-In of Excel 2007.

On the burden of proof in civil procedure

Directory of Open Access Journals (Sweden)

Keča Ranko

2013-01-01

Full Text Available The appliance of burden of proof rules is conceived of assumption that evidences are taken and that court didn't reach the required degree of conviction of a particular fact, what implies limitation of application of these rules on proceedings in which the judgment is rendered after the plenary proceedings. The Code of Civil Procedure (CCP has no suitable answers for the problems arising from new conception of the principle of party control of facts and means of proof in Serbian litigation legislature, by which the court has no more power to take the evidence ex offo. There is no answer to the question how should court conduct when evidence is not taken because of a lack of parties' indication of the means of proof. In this case courts practice somehow wider conception of burden of proof rules, which however has no explicit legal ground. They are applying them even though evidences are not taken. In any case it would be useful to reformulate basic rule of burden of proof in manner which would correspondent to the new conception of the principle of party presentation. The rule of burden of proof applies when the high degree of conviction of facts is demanded from the court, in order to render the judgment. Consequently this rule loses its' sense when mere probability of factual findings is demanded. The broader conception of parties' representation principle however does not liberate court from his responsibility to clarify facts that should be base for adjudication. Circumstance that CCP does mention the principle of material truth anymore should not be seen as argument for liberation of mentioned responsibility. It is still expected from the court to be active. Only when joint effort of the court and parties is left without of goal, in sense that court doesn't reach the high degree conviction, there would be ground for burden of proof rule's application. In this situation court also must justify why he couldn't reach required degree of

A Calculus of Circular Proofs and its Categorical Semantics

DEFF Research Database (Denmark)

Santocanale, Luigi

2002-01-01

We present a calculus of "circular proofs": the graph underlying a proof is not a finite tree but instead it is allowed to contain a certain amount of cycles.The main challenge in developing a theory for the calculus is to define the semantics of proofs, since the usual method by induction...

How to capitalise on mobility, proximity and motion analytics to support formal and informal education?

NARCIS (Netherlands)

Martinez-Maldonado, R.; Echeverria, V.; Yacef, K.; Dos Santos, A.D.P.; Pechenizkiy, M.

2017-01-01

Learning Analytics and similar data-intensive approaches aimed at understanding and/or supporting learning have mostly focused on the analysis of students' data automatically captured by personal computers or, more recently, mobile devices. Thus, most student behavioural data are limited to the

A simple language to script and simulate breeding schemes: the breeding scheme language

Science.gov (United States)

It is difficult for plant breeders to determine an optimal breeding strategy given that the problem involves many factors, such as target trait genetic architecture and breeding resource availability. There are many possible breeding schemes for each breeding program. Although simulation study may b...

Unitarity or asymptotic completeness equations and analytic structure of the S matrix and Green functions

International Nuclear Information System (INIS)

Iagolnitzer, D.

1983-11-01

Recent axiomatic results on the (non holonomic) analytic structure of the multiparticle S matrix and Green functions are reviewed and related general conjectures are described: (i) formal expansions of Green functions in terms of (holonomic) Feynman-type integrals in which each vertex represents an irreducible kernel, and (ii) ''graph by graph unitarity'' and other discontinuity formulae of the latter. These conjectures are closely linked with unitarity or asymptotic completeness equations, which they yield in a formal sense. In constructive field theory, a direct proof of the first conjecture (together with an independent proof of the second) would thus imply, as a first step, asymptotic completeness in that sense

The Similarity Hypothesis and New Analytical Support on the Estimation of Horizontal Infiltration into Sand

International Nuclear Information System (INIS)

Prevedello, C.L.; Loyola, J.M.T.

2010-01-01

A method based on a specific power-law relationship between the hydraulic head and the Boltzmann variable, presented using a similarity hypothesis, was recently generalized to a range of powers to satisfy the Bruce and Klute equation exactly. Here, considerations are presented on the proposed similarity assumption, and new analytical support is given to estimate the water density flux into and inside the soil, based on the concept of sorptivity and on Buckingham-Darcy's law. Results show that the new analytical solution satisfies both theories in the calculation of water density fluxes and is in agreement with experimental results of water infiltrating horizontally into sand. However, the utility of this analysis still needs to be verified for a variety of different textured soils having a diverse range of initial soil water contents.

From Inductive Reasoning to Proof

Science.gov (United States)

Yopp, David A.

2009-01-01

Mathematical proof is an expression of deductive reasoning (drawing conclusions from previous assertions). However, it is often inductive reasoning (conclusions drawn on the basis of examples) that helps learners form their deductive arguments, or proof. In addition, not all inductive arguments generate more formal arguments. This article draws a…

2nd International Conference on Proof-Theoretic Semantics

CERN Document Server

Schroeder-Heister, Peter

2016-01-01

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained descri...

Mathematicians' Perspectives on Features of a Good Pedagogical Proof

Science.gov (United States)

Lai, Yvonne; Weber, Keith; Mejia-Ramos, Juan Pablo

2012-01-01

In this article, we report two studies investigating what mathematicians value in a pedagogical proof. Study 1 is a qualitative study of how eight mathematicians revised two proofs that would be presented in a course for mathematics majors. These mathematicians thought that introductory and concluding sentences should be included in the proofs,…

Proviola: a tool for proof re-animation

NARCIS (Netherlands)

Tankink, C.; Geuvers, J.H.; McKinna, J.; Wiedijk, F.; Autexier, S.; Calmet, J.; Delahaye, D.; Ion, P.D.F.; Rideau, L.; Rioboo, R.; Sexton, A.P.

2010-01-01

To improve on existing models of interaction with a proof assistant (PA), in particular for storage and replay of proofs, we introduce three related concepts, those of: a proof movie, consisting of frames which record both user input and the corresponding PA response; a camera, which films a user’s

Sire breed and breed genotype of dam effects in crossbreeding beef ...

African Journals Online (AJOL)

Cows bred to Afrikaner bulls were less (P < 0.05) productive than cows bred to other Bos taurus sires. An increase in proportion Afrikaner breeding in dam resulted in longer calving intervals and a decline in cow productivity, but these differences were not always significant. A breeding strategy for the retainment of superior ...

14 CFR 406.155 - Offer of proof.

Science.gov (United States)

2010-01-01

... 14 Aeronautics and Space 4 2010-01-01 2010-01-01 false Offer of proof. 406.155 Section 406.155... Transportation Adjudications § 406.155 Offer of proof. A party whose evidence has been excluded by a ruling of the administrative law judge may offer the evidence for the record on appeal. ...

14 CFR 23.307 - Proof of structure.

Science.gov (United States)

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Proof of structure. 23.307 Section 23.307... STANDARDS: NORMAL, UTILITY, ACROBATIC, AND COMMUTER CATEGORY AIRPLANES Structure General § 23.307 Proof of structure. (a) Compliance with the strength and deformation requirements of § 23.305 must be shown for each...

A String of Pearls: Proofs of Fermat's Little Theorem

Directory of Open Access Journals (Sweden)

Hing Lun Chan

2013-01-01

Full Text Available We discuss mechanised proofs of Fermat's Little Theorem in a variety of styles, focusing in particular on an elegant combinatorial ``necklace'' proof that has not been mechanised previously.What is elegant in prose turns out to be long-winded mechanically, and so we examine the effect of explicitly appealing to group theory. This has pleasant consequences both for the necklace proof, and also for some of the direct number-theoretic approaches.

Textbook animal breeding : animal breeding andgenetics for BSc students

NARCIS (Netherlands)

Oldenbroek, Kor; Waaij, van der Liesbeth

2014-01-01

This textbook contains teaching material on animal breeding and genetics for BSc students. The text book started as an initiative of the Dutch Universities for Applied (Agricultural) Sciences. The textbook is made available by the Animal Breeding and Genomics Centre (ABGC) of Wageningen UR

14 CFR 25.307 - Proof of structure.

Science.gov (United States)

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Proof of structure. 25.307 Section 25.307... STANDARDS: TRANSPORT CATEGORY AIRPLANES Structure General § 25.307 Proof of structure. (a) Compliance with... condition. Structural analysis may be used only if the structure conforms to that for which experience has...

Construction of state-independent proofs for quantum contextuality

Science.gov (United States)

Tang, Weidong; Yu, Sixia

2017-12-01

Since the enlightening proofs of quantum contextuality first established by Kochen and Specker, and also by Bell, various simplified proofs have been constructed to exclude the noncontextual hidden variable theory of our nature at the microscopic scale. The conflict between the noncontextual hidden variable theory and quantum mechanics is commonly revealed by Kochen-Specker sets of yes-no tests, represented by projectors (or rays), via either logical contradictions or noncontextuality inequalities in a state-(in)dependent manner. Here we propose a systematic and programmable construction of a state-independent proof from a given set of nonspecific rays in C3 according to their Gram matrix. This approach brings us a greater convenience in the experimental arrangements. Besides, our proofs in C3 can also be generalized to any higher-dimensional systems by a recursive method.

Tritium breeding in fusion reactors

International Nuclear Information System (INIS)

Abdou, M.A.

1982-10-01

Key technological problems that influence tritium breeding in fusion blankets are reviewed. The breeding potential of candidate materials is evaluated and compared to the tritium breeding requirements. The sensitivity of tritium breeding to design and nuclear data parameters is reviewed. A framework for an integrated approach to improve tritium breeding prediction is discussed with emphasis on nuclear data requirements

PANTHER. Pattern ANalytics To support High-performance Exploitation and Reasoning.

Energy Technology Data Exchange (ETDEWEB)

Czuchlewski, Kristina Rodriguez [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Hart, William E. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

2015-09-01

Sandia has approached the analysis of big datasets with an integrated methodology that uses computer science, image processing, and human factors to exploit critical patterns and relationships in large datasets despite the variety and rapidity of information. The work is part of a three-year LDRD Grand Challenge called PANTHER (Pattern ANalytics To support High-performance Exploitation and Reasoning). To maximize data analysis capability, Sandia pursued scientific advances across three key technical domains: (1) geospatial-temporal feature extraction via image segmentation and classification; (2) geospatial-temporal analysis capabilities tailored to identify and process new signatures more efficiently; and (3) domain- relevant models of human perception and cognition informing the design of analytic systems. Our integrated results include advances in geographical information systems (GIS) in which we discover activity patterns in noisy, spatial-temporal datasets using geospatial-temporal semantic graphs. We employed computational geometry and machine learning to allow us to extract and predict spatial-temporal patterns and outliers from large aircraft and maritime trajectory datasets. We automatically extracted static and ephemeral features from real, noisy synthetic aperture radar imagery for ingestion into a geospatial-temporal semantic graph. We worked with analysts and investigated analytic workflows to (1) determine how experiential knowledge evolves and is deployed in high-demand, high-throughput visual search workflows, and (2) better understand visual search performance and attention. Through PANTHER, Sandia's fundamental rethinking of key aspects of geospatial data analysis permits the extraction of much richer information from large amounts of data. The project results enable analysts to examine mountains of historical and current data that would otherwise go untouched, while also gaining meaningful, measurable, and defensible insights into

49 CFR 1503.641 - Offer of proof.

Science.gov (United States)

2010-10-01

... 49 Transportation 9 2010-10-01 2010-10-01 false Offer of proof. 1503.641 Section 1503.641... Rules of Practice in TSA Civil Penalty Actions § 1503.641 Offer of proof. A party whose evidence has been excluded by a ruling of the ALJ may offer the evidence for the record on appeal. ...

Prevalence of Malaria, Dengue, and Chikungunya Significantly Associated with Mosquito Breeding Sites

Science.gov (United States)

Islam, Mohammad Nazrul; ZulKifle, Mohammad; Sherwani, Arish Mohammad Khan; Ghosh, Susanta Kumar; Tiwari, Satyanarayan

2011-01-01

Objectives: To observe the prevalence of malaria, dengue, and chikungunya and their association with mosquito breeding sites. Methods: The study was observational and analytical. A total of 162 houses and 670 subjects were observed during the study period. One hundred forty-two febrile patients were eligible for the study. After obtaining informed consent from all febrile patients, 140 blood samples were collected to diagnose malaria, dengue, and chikungunya. Larval samples were collected by the standard protocol that follows. Correlation of data was performed by Pearson correlation test. Results: Forty-seven blood samples were found positive: 33 for chikungunya, 3 for dengue, and 11 for malaria. Fifty-one out of 224 larval samples were found positive. Out of the 51 positive samples, 37 were positive for Aedes, 12 were positive for Anopheles, and two were positive for Culex larvae. Interpretation and Conclusion: Mosquito-borne fevers, especially malaria, dengue, and chikungunya, have shown a significant relationship with mosquito breeding sites. PMID:23610486

Determination of non-market values to inform conservation strategies for the threatened Alistana-Sanabresa cattle breed.

Science.gov (United States)

Martin-Collado, D; Diaz, C; Drucker, A G; Carabaño, M J; Zander, K K

2014-08-01

Livestock breed-related public good functions are often used to justify support for endangered breed conservation despite the fact that little is known about such non-market values. We show how stated preference techniques can be used to assess the non-market values that people place on livestock breeds. Through the application of a case study choice experiment survey in Zamora province, Spain, the total economic value (TEV) of the threatened Alistana-Sanabresa (AS) cattle breed was investigated. An analysis of the relative importance of the non-market components of its TEV and an assessment of the socio-economic variables that influence people's valuation of such components is used to inform conservation strategy design. Overall, the findings reveal that the AS breed had significant non-market values associated with it and that the value that respondents placed on each specific public good function also varied significantly. Functions related with indirect use cultural and existence values were much more highly valued than landscape maintenance values. These high cultural and existence values (totalling over 80% of TEV) suggest that an AS in situ conservation strategy will be required to secure such values. As part of such a strategy, incentive mechanisms will be needed to permit farmers to capture some of these public good values and thus be able to afford to maintain breed population numbers at socially desirable levels. One such mechanism could be related to the development of breed-related agritourism initiatives, with a view to enhancing private good values and providing an important addition to continued direct support. Where linked with cultural dimensions, niche product market development, including through improving AS breed-related product quality and brand recognition may also have a role to play as part of such an overall conservation and use strategy. We conclude that livestock breed conservation strategies with the highest potential to maximise

14 CFR 16.231 - Offer of proof.

Science.gov (United States)

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Offer of proof. 16.231 Section 16.231... PRACTICE FOR FEDERALLY-ASSISTED AIRPORT ENFORCEMENT PROCEEDINGS Hearings § 16.231 Offer of proof. A party whose evidence has been excluded by a ruling of the hearing officer may offer the evidence on the record...

On the proof of the first Carnot theorem in thermodynamics

International Nuclear Information System (INIS)

Morad, M R; Momeni, F

2013-01-01

The proof of the first Carnot theorem in classical thermodynamics is revisited in this study. The underlying conditions of a general proof of this principle presented by Senft (1978 Phys. Educ. 13 35–37) are explored and discussed. These conditions are analysed in more detail using a physical description of heat and work to present a simpler proof of the first principle prior to using the violation of the second law of thermodynamics. Finally, a new simple proof is also presented based on Gibbs relation. This discussion will benefit the teaching of classical thermodynamics and promote better understanding of the proof of the first Carnot theorem in general form. (paper)

Corticosterone mediated costs of reproduction link current to future breeding.

Science.gov (United States)

Crossin, Glenn T; Phillips, Richard A; Lattin, Christine R; Romero, L Michael; Williams, Tony D

2013-11-01

Life-history theory predicts that costs are associated with reproduction. One possible mediator of costs involves the secretion of glucocorticoid hormones, which in birds can be measured in feathers grown during the breeding period. Glucocorticoids mediate physiological responses to unpredictable environmental or other stressors, but they can also function as metabolic regulators during more predictable events such as reproduction. Here we show that corticosterone ("Cort") in feathers grown during the breeding season reflects reproductive effort in two Antarctic seabird species (giant petrels, Macronectes spp.). In females of both species, but not males, feather Cort ("fCort") was nearly 1.5-fold higher in successful than failed breeders (those that lost their eggs/chicks), suggesting a cost of successful reproduction, i.e., high fCort levels in females reflect the elevated plasma Cort levels required to support high metabolic demands of chick-rearing. Successful breeding also led to delayed moult prior to winter migration. The fCort levels and pre-migration moult score that we measured at the end of current breeding were predictive of subsequent reproductive effort in the following year. Birds with high fCort and a delayed initiation of moult were much more likely to defer breeding in the following year. Cort levels and the timing of moult thus provide a potential mechanism for the tradeoff between current and future reproduction. Crown Copyright © 2013. Published by Elsevier Inc. All rights reserved.

Analytical details of the instability threshold of the laser-Lorenz model

International Nuclear Information System (INIS)

Bakasov, A.A.; Abraham, N.B.

1992-11-01

An exact analysis of the second threshold of a single-mode homogeneously broadened laser is given for the most general operating conditions. We provide a general analytical proof that increasing the detuning increases the second threshold is given. An analysis of the second threshold at a fixed detuning and of the ratio of the second threshold to the first threshold reveals that the smallest values occur when the population relaxation rate is minimized. (author). 13 refs, 4 figs, 2 tabs

Integrating PROOF Analysis in Cloud and Batch Clusters

International Nuclear Information System (INIS)

Rodríguez-Marrero, Ana Y; Fernández-del-Castillo, Enol; López García, Álvaro; Marco de Lucas, Jesús; Matorras Weinig, Francisco; González Caballero, Isidro; Cuesta Noriega, Alberto

2012-01-01

High Energy Physics (HEP) analysis are becoming more complex and demanding due to the large amount of data collected by the current experiments. The Parallel ROOT Facility (PROOF) provides researchers with an interactive tool to speed up the analysis of huge volumes of data by exploiting parallel processing on both multicore machines and computing clusters. The typical PROOF deployment scenario is a permanent set of cores configured to run the PROOF daemons. However, this approach is incapable of adapting to the dynamic nature of interactive usage. Several initiatives seek to improve the use of computing resources by integrating PROOF with a batch system, such as Proof on Demand (PoD) or PROOF Cluster. These solutions are currently in production at Universidad de Oviedo and IFCA and are positively evaluated by users. Although they are able to adapt to the computing needs of users, they must comply with the specific configuration, OS and software installed at the batch nodes. Furthermore, they share the machines with other workloads, which may cause disruptions in the interactive service for users. These limitations make PROOF a typical use-case for cloud computing. In this work we take profit from Cloud Infrastructure at IFCA in order to provide a dynamic PROOF environment where users can control the software configuration of the machines. The Proof Analysis Framework (PAF) facilitates the development of new analysis and offers a transparent access to PROOF resources. Several performance measurements are presented for the different scenarios (PoD, SGE and Cloud), showing a speed improvement closely correlated with the number of cores used.

14 CFR 13.225 - Offer of proof.

Science.gov (United States)

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Offer of proof. 13.225 Section 13.225... INVESTIGATIVE AND ENFORCEMENT PROCEDURES Rules of Practice in FAA Civil Penalty Actions § 13.225 Offer of proof. A party whose evidence has been excluded by a ruling of the administrative law judge may offer the...

34 CFR 34.14 - Burden of proof.

Science.gov (United States)

2010-07-01

... 34 Education 1 2010-07-01 2010-07-01 false Burden of proof. 34.14 Section 34.14 Education Office of the Secretary, Department of Education ADMINISTRATIVE WAGE GARNISHMENT § 34.14 Burden of proof. (a... those in § 34.24. (d)(1) If you object on the ground that applicable law bars us from collecting the...

Breeding in a den of thieves

NARCIS (Netherlands)

Fouw, de Jimmy; Bom, Roeland A.; Klaassen, Raymond H.G.; Müskens, Gerard J.D.M.; Vries, de Peter P.; Popov, Igor Yu; Kokorev, Yakov I.; Ebbinge, Bart; Nolet, Bart A.

2016-01-01

Breeding success of many Arctic-breeding bird populations varies with lemming cycles due to prey switching behavior of generalist predators. Several bird species breed on islands to escape from generalist predators like Arctic fox Vulpes lagopus, but little is known about how these species

Supporting Knowledge Transfer through Decomposable Reasoning Artifacts

Energy Technology Data Exchange (ETDEWEB)

Pike, William A.; May, Richard A.; Turner, Alan E.

2007-01-03

Technology to support knowledge transfer and cooperative inquiry must offer its users the ability to effectively interpret knowledge structures produced by collaborators. Communicating the reasoning processes that underlie a finding is one method for enhancing interpretation, and can result in more effective evaluation and application of shared knowledge. In knowledge management tools, interpretation is aided by creating knowledge artifacts that can expose their provenance to scrutiny and that can be transformed into diverse representations that suit their consumers’ perspectives and preferences. We outline the information management needs of inquiring communities characterized by hypothesis generation tasks, and propose a model for communication, based in theories of hermeneutics, semiotics, and abduction, in which knowledge structures can be decomposed into the lower-level reasoning artifacts that produced them. We then present a proof-of-concept implementation for an environment to support the capture and communication of analytic products, with emphasis on the domain of intelligence analysis.

Breeding phenology of African Black Oystercatchers Haematopus ...

African Journals Online (AJOL)

The timing of the start and duration of breeding and the effect of these on breeding productivity were analysed for African Black Oystercatchers Haematopus moquini on Robben Island, South Africa, over three breeding seasons from 2001 to 2004. African Black Oystercatchers have a long breeding season, from November ...

Some factors related to eradication action of dengue breeding place at Kota Timu village, subdistrict of Sukakarya in Kota Sabang

Science.gov (United States)

Rahmayani, A., Raudhatun Nuzul Z.; Marniati

2017-09-01

According to the Health Department in Kota Sabang, there are 23 patients infected by dengue in 2014. They were nursed in General Hospital and Health Center in Sabang and one child died. To determine the factors related to eradication actions of dengue breeding place, this research is a quantitative research using descriptive analytic with cross sectional design. The population of this research was all housewives in the village of Kuta Timu, subdistrict of Sukakarya in Kota Sabang, and the sample was 33 people. This research was conducted in July 2016. Data were analyzed using SPSS for Windows version 16. The results showed that there is a correlation between education and mother's action in dengue breeding place in the village of Kuta Timu, subdistrict of Sukakarya in Kota Sabang with p value 0.028, and also a correlation between economic status with mother's action in dengue breeding place with p value of 0.009. however, there is no correlation between knowledge with mother's action in dengue breeding place with p value 1.000.

Visual Considerations in the Presentation of Mathematical Proofs

Directory of Open Access Journals (Sweden)

Lara Alcock

2010-11-01

Full Text Available This article is about visual issues in the presentation of mathematics within teaching situations. It focuses particularly on the presentation of proofs to undergraduate students. We describe some of the decisions that a lecturer must make when presenting a written proof, from the layout of individual equations to the layout of a whole argument on the page. We consider the way in which these decisions are made explicit for lecturers who construct electronic learning resources termed e-Proofs, and conclude by discussing the constraints and affordances of this technology.

Neutronic studies of fissile and fusile breeding blankets

International Nuclear Information System (INIS)

Taczanowski, S.

1984-08-01

In light of the need of convincing motivation substantiating expensive and inherently applied research (nuclear energy), first a simple comparative study of fissile breeding economics of fusion fission hybrids, spallators and also fast breeder reactors has been carried out. As a result, the necessity of maximization of fissile production (in the first two ones, in fast breeders rather the reprocessing costs should be reduced) has been shown, thus indicating the design strategy (high support ratio) for these systems. In spite of the uncertainty of present projections onto further future and discrepancies in available data even quite conservative assumptions indicate that hybrids and perhaps even earlier - spallators can become economic at realistic uranium price increase and successfully compete against fast breeders. Then on the basis of the concept of the neutron flux shaping aimed at the correlation of the selected cross-sections with the neutron flux, the indications for the maximization of respective reaction rates has been formulated. In turn, these considerations serve as the starting point for the guidelines of breeding blanket nuclear design, which are as follows: 1) The source neutrons must face the multiplying layer (of proper thickness) of possibly low concentration of nuclides attenuating the neutron multiplication (i.e. structure materials, nongaseous coolants). 2) For the most effective trapping of neutrons within the breeding zone (leakage and void streaming reduction) it must contain an efficient moderator (not valid for fissile breeding blankets). 3) All regions of significant slow flux should contain 6 Li in order to reduce parasite neutron captures in there. (orig./HP)

An Architecture for Proof Planning Systems

OpenAIRE

Dennis, Louise Abigail

2005-01-01

This paper presents a generic architecture for proof planning systems in terms of an interaction between a customisable proof module and search module. These refer to both global and local information contained in reasoning states.

Breeding for improved production of Nile tilapia (Oreochromis niloticus L.)

NARCIS (Netherlands)

Rutten, M.J.M.

2005-01-01

The aim of this thesis was to generate knowledge that supports the design of breeding programs for Nile tilapia targeting genetic improvement of body weight and fillet yield to serve the European market. To this end, both the genetic variation and the performance levels of different strains of

Semen quality of Italian local pig breeds

Directory of Open Access Journals (Sweden)

G. Gandini

2010-01-01

Full Text Available From 1996 to 1999 a conservation programme was carried out within the framework of EC contract “European gene banking project for the pig genetic resources” (Ollivier et al., 2001 in the Italian local pig breeds. The aims of the program included the primary characterization of the breeds, i.e. information on the organization in charge of the breed, breeding population numbers, breed description and qualifications, and field trials on productive and reproductive performances. In this context the “Semen Bank of Italian local pig breeds” was built. A total of 30,835 straws of four Italian local pig breeds (Cinta Senese, Casertana, Mora Romagnola and Nero Siciliano, collected from 42 sires, have been stored. In this work semen quality traits, lipid composition and freezability of the four Italian local pig breeds are reported.

Microstructural investigation of variations in the proof strength of Nimonic PE16

International Nuclear Information System (INIS)

Riley, B.F.; Wilson, E.G.; Jones, A.R.

1987-01-01

Nimonic PE16 shows a correlation of stress rupture behaviour after irradiation with proof strength. Proof testing of material from bars from several casts yielded a relationship (Hall-Petch) between the peak-aged proof stress and grain size -1/2 but the scatter in proof stress values at a given grain size merited further microstructural study. Transmission electron microscopy revealed that high proof stress material contained dislocation densities consistent with material which had received 1 to 2% cold work, verified by examination of lightly prestrained tensile specimens. Ageing to peak strength induced partial recovery but some variability in proof stress remained. Variations in γ' size and composition having been eliminated, the scatter in proof stress values was attributed to variable cold work induced by the commercial bar straightening process. (Author)

Breeding, genetic and genomic of citrus for disease resistance

Directory of Open Access Journals (Sweden)

Marcos A. Machado

2011-10-01

an import support in breeding programs of annual and perennial species. An huge information amount can be derivate from genome analysis. The use and benefit of such informations will depend on the genetic basis of the breeding program.

FEASIBILITY OF INVESTMENT IN BUSINESS ANALYTICS

Directory of Open Access Journals (Sweden)

Mladen Varga

2007-12-01

Full Text Available Trends in data processing for decision support show that business users need business analytics, i.e. analytical applications which incorporate a variety of business oriented data analysis techniques and task-specific knowledge. The paper discusses the feasibility of investment in two models of implementing business analytics: custom development and packed analytical applications. The consequences of both models are shown on two models of business analytics implementation in Croatia.

Proof, rigour and informality : a virtue account of mathematical knowledge

OpenAIRE

Tanswell, Fenner Stanley

2017-01-01

This thesis is about the nature of proofs in mathematics as it is practiced, contrasting the informal proofs found in practice with formal proofs in formal systems. In the first chapter I present a new argument against the Formalist-Reductionist view that informal proofs are justified as rigorous and correct by corresponding to formal counterparts. The second chapter builds on this to reject arguments from Gödel's paradox and incompleteness theorems to the claim that mathematics is inherently...

Pigs in Toxicology: Breed Differences in Metabolism and Background Findings.

Science.gov (United States)

Helke, Kristi L; Nelson, Keith N; Sargeant, Aaron M; Jacob, Binod; McKeag, Sean; Haruna, Julius; Vemireddi, Vimala; Greeley, Melanie; Brocksmith, Derek; Navratil, Nicole; Stricker-Krongrad, Alain; Hollinger, Charlotte

2016-06-01

Both a rodent and a nonrodent species are required for evaluation in nonclinical safety studies conducted to support human clinical trials. Historically, dogs and nonhuman primates have been the nonrodent species of choice. Swine, especially the miniature swine or minipigs, are increasingly being used in preclinical safety as an alternate nonrodent species. The pig is an appropriate option for these toxicology studies based on metabolic pathways utilized in xenobiotic biotransformation. Both similarities and differences exist in phase I and phase II biotransformation pathways between humans and pigs. There are numerous breeds of pigs, yet only a few of these breeds are characterized with regard to both xenobiotic-metabolizing enzymes and background pathology findings. Some specific differences in these enzymes based on breed and sex are known. Although swine have been used extensively in biomedical research, there is also a paucity of information in the current literature detailing the incidence of background lesions and differences between commonly used breeds. Here, the xenobiotic-metabolizing enzymes are compared between humans and pigs, and minipig background pathology changes are reviewed with emphasis on breed differences. © The Author(s) 2016.

Why prove it again? alternative proofs in mathematical practice

CERN Document Server

Dawson, Jr , John W

2015-01-01

This monograph considers several well-known mathematical theorems and asks the question, “Why prove it again?” while examining alternative proofs.   It  explores the different rationales mathematicians may have for pursuing and presenting new proofs of previously established results, as well as how they judge whether two proofs of a given result are different.  While a number of books have examined alternative proofs of individual theorems, this is the first that presents comparative case studies of other methods for a variety of different theorems. The author begins by laying out the criteria for distinguishing among proofs and enumerates reasons why new proofs have, for so long, played a prominent role in mathematical practice.  He then outlines various purposes that alternative proofs may serve.  Each chapter that follows provides a detailed case study of alternative proofs for particular theorems, including the Pythagorean Theorem, the Fundamental Theorem of Arithmetic, Desargues’ Theorem, the...

Mapping urban and peri-urban breeding habitats of Aedes mosquitoes using a fuzzy analytical hierarchical process based on climatic and physical parameters

Directory of Open Access Journals (Sweden)

Muhammad Shahzad Sarfraz

2014-12-01

Full Text Available The spread of dengue fever depends mainly on the availability of favourable breeding sites for its mosquito vectors around human dwellings. To investigate if the various factors influencing breeding habitats can be mapped from space, dengue indices, such as the container index, the house index and the Breteau index, were calculated from Ministry of Public health data collected three times annually in Phitsanulok, Thailand between 2009 and 2011. The most influential factors were found to be temperature, humidity, rainfall, population density, elevation and land cover. Models were worked out using parameters mostly derived from freely available satellite images and fuzzy logic software with parameter synchronisation and a predication algorithm based on data mining and the Decision Tree method. The models developed were found to be sufficiently flexible to accommodate additional parameters and sampling data that might improve prediction of favourable breeding hotspots. The algorithm applied can not only be used for the prediction of near real-time scenarios with respect to dengue, but can also be applied for monitoring other diseases influenced by environmental and climatic factors. The multi-criteria model presented is a cost-effective way of identifying outbreak hotspots and early warning systems lend themselves for development based on this strategy. The proposed approach demonstrates the successful utilisation of remotely sensed images to map mosquito breeding habitats.

ReACT Methodology Proof of Concept Final Report

Energy Technology Data Exchange (ETDEWEB)

Bri Rolston; Sarah Freeman

2014-03-01

The Department of Energy’s Office of Electricity Delivery and Energy Reliability (DOE-OE) funded INL Researchers to evaluate a novel process for assessing and mitigating cyber security risks. The proof of concept level of the method was tested in an industry environment. This case study, plus additional case studies will support the further development of the method into a tool to assist industry in securing their critical networks. This report provides an understanding of the process developed in the Response Analysis and Characterization Tool (ReACT) project. This report concludes with lessons learned and a roadmap for final development of these tools for use by industry.

Effect on milk production of F1 crossbreds resulted from Alpine breed (♂ x Albanian local goat breed (♀

Directory of Open Access Journals (Sweden)

Kristaq Kume

2012-07-01

Full Text Available About 950,000 goats, farmed mostly in hilly and mountainous areas of Albania, contribute about 8% of the country’s total milk production. In order to increase milk production, farmers are currently using crosses of the local goat breed with exotic breeds, mainly the Alpine breed from France. This study examines milk production data of first lactation from 45 goats of the local breed, 82 goats of the Alpine breed and 58 F1 crosses (♂Alpine breed x ♀local breed. The goats were kept on small-scale farms according to the traditional Albanian system. Milking was carried out in the morning and evening. Kids were weaned at 65 days of age after which milking started. Milk yield was recorded twice with a 15-day interval between the two readings. Total milk yield was calculated using the Fleischmann method. The F1 goats produced 37.8 kg more milk than local breed goats although the lactation length (P<0.05 of F1 goats was six days shorter compared to that of local breed goats (P<0.05. Analysis of variance showed a highly significant effect (P<0.01 of the genotype factor on milk production. The average Cappio-Borlino curves of three genotypes indicated that the lactation curves of local breed and F1 crosses were similar. Although the F1 cross goats had 50% of their genomes from a genetically improved breed they were still able to deal with the difficult conditions that characterize the traditional extensive farming systems in Albania. Breeding pure Alpine breed or its crosses with the local goat breed improved milk production in an extensive traditional system.

The first 50 years of the North American Breeding Bird Survey

Science.gov (United States)

Sauer, John; Ziolkowski, David; Pardieck, Keith L.; Smith, Adam C.; Hudson, Marie-Anne R.; Rodriguez, Vicente; Berlanga, Humberto; Niven, Daniel; Link, William

2017-01-01

The vision of Chandler (Chan) S. Robbins for a continental-scale omnibus survey of breeding birds led to the development of the North American Breeding Bird Survey (BBS). Chan was uniquely suited to develop the BBS. His position as a government scientist had given him experience with designing and implementing continental-scale surveys, his research background made him an effective advocate of the need for a survey to monitor pesticide effects on birds, and his prominence in the birding community gave him connections to infrastructure—a network of qualified volunteer birders who could conduct roadside surveys with standardized point counts. Having started in the eastern United States and the Atlantic provinces of Canada in 1966, the BBS now provides population change information for ∼546 species in the continental United States and Canada, and recently initiated routes in Mexico promise to greatly expand the areas and species covered by the survey. Although survey protocols have remained unchanged for 50 years, the BBS remains relevant in a changing world. Several papers that follow in this Special Section of The Condor: Ornithological Advances review how the BBS has been applied to conservation assessments, especially in combination with other large-scale survey data. A critical feature of the BBS program is an active research program into field and analytical methods to enhance the quality of the count data and to control for factors that influence detectability. Papers in the Special Section also present advances in BBS analyses that improve the utility of this expanding and sometimes controversial survey. In this Perspective, we introduce the Special Section by reviewing the history of the BBS, describing current analyses, and providing summary trend results for all species, highlighting 3 groups of conservation concern: grassland-breeding birds, aridland-breeding birds, and aerial insectivorous birds.

FIB/FESEM experimental and analytical assessment of R-curve behavior of WC–Co cemented carbides

Energy Technology Data Exchange (ETDEWEB)

Tarragó, J.M., E-mail: jose.maria.tarrago@upc.edu [CIEFMA, Departament de Ciència dels Materials i Enginyeria Metallúrgica, ETSEIB, Universitat Politècnica de Catalunya, 08028 Barcelona (Spain); CRnE, Centre de Recerca en Nanoenginyeria, Universitat Politècnica de Catalunya, 08028 Barcelona (Spain); Jiménez-Piqué, E. [CIEFMA, Departament de Ciència dels Materials i Enginyeria Metallúrgica, ETSEIB, Universitat Politècnica de Catalunya, 08028 Barcelona (Spain); CRnE, Centre de Recerca en Nanoenginyeria, Universitat Politècnica de Catalunya, 08028 Barcelona (Spain); Schneider, L. [Sandvik Hyperion, Coventry CV4 0XG (United Kingdom); Casellas, D. [Fundació CTM Centre Tecnològic, 08243 Manresa (Spain); Torres, Y. [Departamento de Ingeniería y Ciencia de los Materiales y del Transporte, ETSI, Universidad de Sevilla, 41092 Sevilla (Spain); Llanes, L. [CIEFMA, Departament de Ciència dels Materials i Enginyeria Metallúrgica, ETSEIB, Universitat Politècnica de Catalunya, 08028 Barcelona (Spain); CRnE, Centre de Recerca en Nanoenginyeria, Universitat Politècnica de Catalunya, 08028 Barcelona (Spain)

2015-10-01

Exceptional fracture toughness levels exhibited by WC–Co cemented carbides (hardmetals) are due mainly to toughening derived from plastic stretching of crack-bridging ductile enclaves. This takes place due to the development of a multiligament zone at the wake of cracks growing in a stable manner. As a result, hardmetals exhibit crack growth resistance (R-curve) behavior. In this work, the toughening mechanics and mechanisms of these materials are investigated by combining experimental and analytical approaches. Focused Ion Beam technique (FIB) and Field-Emission Scanning Electron Microscopy (FESEM) are implemented to obtain serial sectioning and imaging of crack–microstructure interaction in cracks arrested after stable extension under monotonic loading. The micrographs obtained provide experimental proof of the developing multiligament zone, including failure micromechanisms within individual bridging ligaments. Analytical assessment of the multiligament zone is then conducted on the basis of experimental information attained from FIB/FESEM images, and a model for the description of R-curve behavior of hardmetals is proposed. It was found that, due to the large stresses supported by the highly constrained and strongly bonded bridging ligaments, WC–Co cemented carbides exhibit quite steep but short R-curve behavior. Relevant strength and reliability attributes exhibited by hardmetals may then be rationalized on the basis of such toughening scenario.

41 CFR 60-30.19 - Objections; exceptions; offer of proof.

Science.gov (United States)

2010-07-01

... exceptions to the Administrative Law Judge's recommendations and conclusions. (c) Offer of proof. An offer of...; offer of proof. 60-30.19 Section 60-30.19 Public Contracts and Property Management Other Provisions... EXECUTIVE ORDER 11246 Hearings and Related Matters § 60-30.19 Objections; exceptions; offer of proof. (a...

The Effect of Increasing Numbers of Horses of Undefined Breed on Horse Breeding in the Czech Republic

Directory of Open Access Journals (Sweden)

Iveta Bihuncová

2015-01-01

Full Text Available The objective of the present study was to analyse the numbers and division of horses of undefined breed. At the present time this group is the most numerous in the entire population of horses. Horses of undefined breed do not come under any breeder union which would provide reports about these horses; these horses are only registered and breeders are informed only about their numbers. Our study is the first to deal with the problem of increasing numbers of horses of undefined breed. The database contained 22 211 horses not entered registered in any of the stud books. In the database we filed approved horses born between 1972 and 1 September 2012 and horses registered from 1987. The data were processed in the Excel programme and results were evaluated in graphs. The most frequent horse in this group was the warm-blood type (n = 9 303, pony type (n = 6 285, cold-blooded type (n = 2 663 and unlisted horses (n = 2 278. Since 2001 the number of registered horses of undefined breed has increased. The most numerous dams of horses of undefined breed is the Czech warm-blood with 1 912 offspring; dams of the English Thoroughbred with 552 offspring and mares of the utility Huzule horse with 492 offspring. In the group of registered horses of undefined breed the Czech warm-blood appears in the pedigree of 507 colts and the American Paint Horse in the pedigree of sires of 506 colts. Why the numbers of horses of undefined breed are increasing is the boom of leisure horsemanship and unqualified horse breeding.

A simple proof of Debreu's Gap Lemma | Ouwehand | ORiON

African Journals Online (AJOL)

Debreu's Gap Lemma is central to the proof of his fundamental result on the existence of continuous utility functions. A short proof based on a standard textbook construction of utility functions on countable linearly ordered sets is presented here. The proof is accessible to students with limited mathematical background, thus ...

Genetic characterization of four native Italian shepherd dog breeds and analysis of their relationship to cosmopolitan dog breeds using microsatellite markers.

Science.gov (United States)

Bigi, D; Marelli, S P; Randi, E; Polli, M

2015-12-01

Very little research into genetic diversity of Italian native dog breeds has been carried out so far. In this study we aimed to estimate and compare the genetic diversity of four native Italian shepherd dog breeds: the Maremma, Bergamasco, Lupino del Gigante and Oropa shepherds. Therefore, some cosmopolitan dog breeds, which have been widely raised in Italy for a long time past, have also been considered to check possible influence of these dog populations on the Italian autochthonous breeds considered here. A total of 212 individuals, belonging to 10 different dog breeds, were sampled and genotyped using 18 autosomal microsatellite loci. We analyzed the genetic diversity of these breeds, within breed diversity, breed relationship and population structure. The 10 breeds considered in this study were clearly genetically differentiated from each other, regardless of current population sizes and the onset of separate breeding history. The level of genetic diversity explained 20% of the total genetic variation. The level of H E found here is in agreement with that found by other studies. The native Italian breeds showed generally higher genetic diversity compared with the long established, well-defined cosmopolitan dog breeds. As the Border Collie seems closer to the Italian breeds than the other cosmopolitan shepherd dogs considered here, a possible utilization of this breed to improve working performance in Italian traditional working shepherd dogs cannot be ignored. The data and information found here can be utilized in the organization of conservation programs planned to reduce inbreeding and to minimize loss of genetic variability.

Analytics of biometric data from wearable devices to support teaching and learning activities

Directory of Open Access Journals (Sweden)

Francisco de Arriba Pérez

2016-03-01

Full Text Available This paper introduces the preliminary results of a piece of research whose main purpose is to take advantage of data collected from wearable devices to support learning processes. This goal is approached through the application of learning analytic techniques. The innovation point is the use of data collected from wearables, that will be used in conjunction with data collected from other sources (e.g. Learning Management Systems, Student Information Systems. The paper reviews the results achieved during the last year about the relationships among biometric data collected from wearables and relevant features described in the educational literature. In this way sleep and stress have been identified as interesting areas that could be informed from data collected in wearables and processed by applying machine learning techniques. Our preliminary results show some initial promising results that need further validation, also these results show an interesting opportunity to support awareness and intervention functionalities.

Another proof of Gell-Mann and Low's theorem

OpenAIRE

Molinari, Luca Guido

2006-01-01

The theorem by Gell-Mann and Low is a cornerstone in QFT and zero-temperature many-body theory. The standard proof is based on Dyson's time-ordered expansion of the propagator; a proof based on exact identities for the time-propagator is here given.

Genetic distinctiveness of the Herdwick sheep breed and two other locally adapted hill breeds of the UK.

Science.gov (United States)

Bowles, Dianna; Carson, Amanda; Isaac, Peter

2014-01-01

There is considerable interest in locally adapted breeds of livestock as reservoirs of genetic diversity that may provide important fitness traits for future use in agriculture. In marginal areas, these animals contribute to food security and extract value from land unsuitable for other systems of farming. In England, close to 50% of the national sheep flock is farmed on grassland designated as disadvantaged areas for agricultural production. Many of these areas are in the uplands, where some native breeds of sheep continue to be commercially farmed only in highly localised geographical regions to which they are adapted. This study focuses on three of these breeds, selected for their adaptation to near identical environments and their geographical concentration in regions close to one another. Our objective has been to use retrotyping, microsatellites and single nucleotide polymorphisms to explore the origins of the breeds and whether, despite their similar adaptations and proximity, they are genetically distinctive. We find the three breeds each have a surprisingly different pattern of retrovirus insertions into their genomes compared with one another and with other UK breeds. Uniquely, there is a high incidence of the R0 retrotype in the Herdwick population, characteristic of a primitive genome found previously in very few breeds worldwide and none in the UK mainland. The Herdwick and Rough Fells carry two rare retroviral insertion events, common only in Texels, suggesting sheep populations in the northern uplands have a historical association with the original pin-tail sheep of Texel Island. Microsatellite data and analyses of SNPs associated with RXFP2 (horn traits) and PRLR (reproductive performance traits) also distinguished the three breeds. Significantly, an SNP linked to TMEM154, a locus controlling susceptibility to infection by Maedi-Visna, indicated that all three native hill breeds have a lower than average risk of infection to the lentivirus.

Genetic distinctiveness of the Herdwick sheep breed and two other locally adapted hill breeds of the UK.

Directory of Open Access Journals (Sweden)

Dianna Bowles

Full Text Available There is considerable interest in locally adapted breeds of livestock as reservoirs of genetic diversity that may provide important fitness traits for future use in agriculture. In marginal areas, these animals contribute to food security and extract value from land unsuitable for other systems of farming. In England, close to 50% of the national sheep flock is farmed on grassland designated as disadvantaged areas for agricultural production. Many of these areas are in the uplands, where some native breeds of sheep continue to be commercially farmed only in highly localised geographical regions to which they are adapted. This study focuses on three of these breeds, selected for their adaptation to near identical environments and their geographical concentration in regions close to one another. Our objective has been to use retrotyping, microsatellites and single nucleotide polymorphisms to explore the origins of the breeds and whether, despite their similar adaptations and proximity, they are genetically distinctive. We find the three breeds each have a surprisingly different pattern of retrovirus insertions into their genomes compared with one another and with other UK breeds. Uniquely, there is a high incidence of the R0 retrotype in the Herdwick population, characteristic of a primitive genome found previously in very few breeds worldwide and none in the UK mainland. The Herdwick and Rough Fells carry two rare retroviral insertion events, common only in Texels, suggesting sheep populations in the northern uplands have a historical association with the original pin-tail sheep of Texel Island. Microsatellite data and analyses of SNPs associated with RXFP2 (horn traits and PRLR (reproductive performance traits also distinguished the three breeds. Significantly, an SNP linked to TMEM154, a locus controlling susceptibility to infection by Maedi-Visna, indicated that all three native hill breeds have a lower than average risk of infection to the

Population ecology of the mallard: II. Breeding habitat conditions, size of the breeding populations, and production indices

Science.gov (United States)

Pospahala, Richard S.; Anderson, David R.; Henny, Charles J.

1974-01-01

This report, the second in a series on a comprehensive analysis of mallard population data, provides information on mallard breeding habitat, the size and distribution of breeding populations, and indices to production. The information in this report is primarily the result of large-scale aerial surveys conducted during May and July, 1955-73. The history of the conflict in resource utilization between agriculturalists and wildlife conservation interests in the primary waterfowl breeding grounds is reviewed. The numbers of ponds present during the breeding season and the midsummer period and the effects of precipitation and temperature on the number of ponds present are analyzed in detail. No significant cycles in precipitation were detected and it appears that precipitation is primarily influenced by substantial seasonal and random components. Annual estimates (1955-73) of the number of mallards in surveyed and unsurveyed breeding areas provided estimates of the size and geographic distribution of breeding mallards in North America. The estimated size of the mallard breeding population in North America has ranged from a high of 14.4 million in 1958 to a low of 7.1 million in 1965. Generally, the mallard breeding population began to decline after the 1958 peak until 1962, and remained below 10 million birds until 1970. The decline and subsequent low level of the mallard population between 1959 and 1969 .generally coincided with a period of poor habitat conditions on the major breeding grounds. The density of mallards was highest in the Prairie-Parkland Area with an average of nearly 19.2 birds per square mile. The proportion of the continental mallard breeding population in the Prairie-Parkland Area ranged from 30% in 1962 to a high of 600/0 in 1956. The geographic distribution of breeding mallards throughout North America was significantly related to the number of May ponds in the Prairie-Parkland Area. Estimates of midsummer habitat conditions and indices to

The quadratic reciprocity law a collection of classical proofs

CERN Document Server

Baumgart, Oswald

2015-01-01

This book is the English translation of Baumgart’s thesis on the early proofs of the quadratic reciprocity law (“Über das quadratische Reciprocitätsgesetz. Eine vergleichende Darstellung der Beweise”), first published in 1885. It is divided into two parts. The first part presents a very brief history of the development of number theory up to Legendre, as well as detailed descriptions of several early proofs of the quadratic reciprocity law. The second part highlights Baumgart’s comparisons of the principles behind these proofs. A current list of all known proofs of the quadratic reciprocity law, with complete references, is provided in the appendix. This book will appeal to all readers interested in elementary number theory and the history of number theory.

Proof Mining in L1-Approximation

DEFF Research Database (Denmark)

Oliva, Paulo Borges; Kohlenbach, Ulrich

2001-01-01

In this paper, we present another case study in the general project of proof mining which means the logical analysis of prima facie non-effective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation developed...

Velocity feedback control with a flywheel proof mass actuator

Science.gov (United States)

Kras, Aleksander; Gardonio, Paolo

2017-08-01

This paper presents four new proof mass actuators to be used in velocity feedback control systems for the control of vibrations of machines and flexible structures. A classical proof mass actuator is formed by a coil-magnet linear motor, with either the magnet or the armature-coil proof mass suspended on soft springs. This arrangement produces a net force effect at frequencies above the fundamental resonance frequency of the springs-proof mass system. Thus, it can be used to implement point velocity feedback loops, although the dynamic response and static deflection of the springs-proof mass system poses some stability and control performance limitations. The four proof mass actuators presented in this study include a flywheel element, which is used to augment the inertia effect of the suspended proof mass. The paper shows that the flywheel element modifies both the dynamic response and static deflection of the springs-proof mass system in such a way as the stability and control performance of velocity feedback loops using these actuators are significantly improved.

Genetic analysis of three South African horse breeds

Directory of Open Access Journals (Sweden)

E.G. Cothran

1998-07-01

Full Text Available Genetic variability at 7 blood-group and 10 biochemical genetic loci was examined in 3 South African horse breeds, the Nooitgedacht, Boerperd and Basuto Pony. Observed heterozygosity for these breeds was intermediate for domestic horses, with the highest heterozygosity in the Boerperd and the lowest in the Basuto Pony. The 3 breeds show greater genetic similarity to each other than to other domestic horse breeds. Compared to other breeds, the South African breeds show greater genetic similarity to breeds such as the Thoroughbred, Holstein, Trakehner and Hanovarian and also to North American breeds such as the Saddlebred, Standardbred and Morgan Horse.

Multiparty session types as coherence proofs

DEFF Research Database (Denmark)

Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten

2017-01-01

We propose a Curry–Howard correspondence between a language for programming multiparty sessions and a generalisation of Classical Linear Logic (CLL). In this framework, propositions correspond to the local behaviour of a participant in a multiparty session type, proofs to processes, and proof nor...

Another proof of Gell-Mann and Low's theorem

International Nuclear Information System (INIS)

Molinari, Luca Guido

2007-01-01

The theorem by Gell-Mann and Low is a cornerstone in quantum field theory and zero-temperature many-body theory. The standard proof is based on Dyson's time-ordered expansion of the propagator; a proof based on exact identities for the time propagator is here given

Hybrid Logic and its Proof-Theory

CERN Document Server

Brauner, Torben

2011-01-01

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relatio

Evaluation methodology for comparing memory and communication of analytic processes in visual analytics

Energy Technology Data Exchange (ETDEWEB)

Ragan, Eric D [ORNL; Goodall, John R [ORNL

2014-01-01

Provenance tools can help capture and represent the history of analytic processes. In addition to supporting analytic performance, provenance tools can be used to support memory of the process and communication of the steps to others. Objective evaluation methods are needed to evaluate how well provenance tools support analyst s memory and communication of analytic processes. In this paper, we present several methods for the evaluation of process memory, and we discuss the advantages and limitations of each. We discuss methods for determining a baseline process for comparison, and we describe various methods that can be used to elicit process recall, step ordering, and time estimations. Additionally, we discuss methods for conducting quantitative and qualitative analyses of process memory. By organizing possible memory evaluation methods and providing a meta-analysis of the potential benefits and drawbacks of different approaches, this paper can inform study design and encourage objective evaluation of process memory and communication.

Antibody response between pigs of Piau and a commercial breed naturally infected with Porcine circovirus 2