Search results for "binary"
showing 10 items of 833 documents
Unification of Graphs and Relations in Mizar
2020
Summary A (di)graph without parallel edges can simply be represented by a binary relation of the vertices and on the other hand, any binary relation can be expressed as such a graph. In this article, this correspondence is formalized in the Mizar system [2], based on the formalization of graphs in [6] and relations in [11], [12]. Notably, a new definition of createGraph will be given, taking only a non empty set V and a binary relation E ⊆ V × V to create a (di)graph without parallel edges, which will provide to be very useful in future articles.
Genetic parameters for early lamb survival and growth in Scottish Blackface sheep.
2008
Data from: Constant, cycling, hot and cold thermal environments: strong effects on mean viability but not on genetic estimates
2012
It has frequently been suggested that trait heritabilities are environmentally sensitive, and there are genetic trade-offs between tolerating different environments such as hot and cold or constant and fluctuating temperatures. Future climate predictions suggest an increase in both temperatures and their fluctuations. How species will respond to these changes is uncertain, particularly as there is a lack of studies which compare genetic performances in constant vs. fluctuating environments. In this study, we used a nested full-sib/half-sib breeding design to examine how the genetic variances and heritabilities of egg-to-adult viability differ at high and low temperatures with and without da…
Search for intermediate mass black hole binaries in the first and second observing runs of the Advanced LIGO and Virgo network
2019
Gravitational wave astronomy has been firmly established with the detection of gravitational waves from the merger of ten stellar mass binary black holes and a neutron star binary. This paper reports on the all-sky search for gravitational waves from intermediate mass black hole binaries in the first and second observing runs of the Advanced LIGO and Virgo network. The search uses three independent algorithms: two based on matched filtering of the data with waveform templates of gravitational wave signals from compact binaries, and a third, model-independent algorithm that employs no signal model for the incoming signal. No intermediate mass black hole binary event was detected in this sear…
All-sky search in early O3 LIGO data for continuous gravitational-wave signals from unknown neutron stars in binary systems
2021
Rapidly spinning neutron stars are promising sources of continuous gravitational waves. Detecting such a signal would allow probing of the physical properties of matter under extreme conditions. A significant fraction of the known pulsar population belongs to binary systems. Searching for unknown neutron stars in binary systems requires specialized algorithms to address unknown orbital frequency modulations. We present a search for continuous gravitational waves emitted by neutron stars in binary systems in early data from the third observing run of the Advanced LIGO and Advanced Virgo detectors using the semicoherent, GPU-accelerated, binaryskyhough pipeline. The search analyzes the most s…
2021
Abstract Objectives To examine how gender functions in the narrative construction of dual career styles, and how these styles impact the (dis)continuation of a dual career pathway. Design Longitudinal qualitative study. Method Life story interviews with 18 talented Finnish athletes (10 cis women, 8 cis men) at four points in time – when they averaged 16, 17, 19, and 20 years of age – followed by an integrative narrative-discursive analysis. Results (a) contrapuntal style was gender-typically female; (b) monophonic style was gender-typically male; and (c) dissonant style was an important pathway to dual career discontinuation through which gender ideologies impacted the emergent adults with …
Convergence Analysis of Distributed Set-Valued Information Systems
2016
This paper focuses on the convergence of information in distributed systems of agents communicating over a network. The information on which the convergence is sought is not rep- resented by real numbers, as often in the literature, rather by sets. The dynamics of the evolution of information across the net- work is accordingly described by set-valued iterative maps. While the study of convergence of set-valued iterative maps is highly complex in general, this paper focuses on Boolean maps, which are comprised of arbitrary combinations of unions, intersections, and complements of sets. For these important class of systems, we provide tools to study both global and local convergence. A distr…
Augu nosaukumu autori
2021
Raksts satur informāciju par Latvijas Universitātes Muzeja Botānikas un mikoloģijas kolekciju herbārija bibliotēkas krājumā esošo Ričarda Kenneta Brammita un Emmas Pouelas monogrāfiju “Augu nosaukumu autori: augu zinātnisko nosaukumu autoru saraksts ar ieteicamajām to nosaukumu formām, ieskaitot saīsinājumus” (Authors of plant names: a list of authors of scientific names of plants, with recommended standard forms of their names, including abbreviations) un tajā aprakstīto uzvārda “standarta formu” augu nosaukumu autoriem piešķiršanas procesu 20. gs. 80.-90. gados.
Predicting Coaches' Adherence/Dropout: A Prospective Study
2015
The objective of this study was to examine motivational variables based on self-determination theory (SDT) and positive psychology as predictors of coaches' adherence and dropout. A prospective study was performed using a sample of 286 coaches who were tracked over a two-year period. Initially coaches' motivation and psychological need satisfaction were measured; two years later they were contacted and asked if they were still coaching in their original sport. Those who did not were considered as drop-outs for the current study. Logistic binary regression analyses were performed to analyse predictors of persistence and dropout. Need Satisfaction Index (NSI), perceived competence and percei…
Alternative method for binary shape alignment of non-symmetrical shapes based on minimal enclosing box
2012
Proposed is a novel method based on the minimal enclosing box (MEB) to determine the canonical orientation associated with a three-dimensional binary shape. It is suggested that, when the shape has no clear distinctive features and two or more of the eigenvalues are similar, this method is more suitable than the commonly used method based on principal component analysis (PCA). An experiment is performed with shapes of human livers by measuring the degree on which a prototypical image (atlas) matches to a new shape after alignment by PCA, minimal area projection (MAP), and MEB showing that in this case MEB outperforms the usual PCA-based alignment method and also the MAP method.