Results 11 to 20 of about 398,095 (224)

Software Development by Refinement

, 2003
This paper presents an overview of the technical foundations and current directions of Kestrel’s approach to mechanizing software development. The approach emphasizes machine-supported refinement of property-oriented specifications to code, based on a category of higher-order specifications.
Pavlovic, D, Smith, D
openaire   +3 more sources

Detailed kinship estimation for detecting bias among breeding families in a reintroduced population of the endangered bagrid catfish Tachysurus ichikawai

Population Ecology, EarlyView.
In the process of captive breeding and reintroduction of endangered animal species, it is crucial to minimize familial bias in reproductive success during the reintroduction phase to preserve genetic diversity. In this study, we attempted to identify the familial lineage of individuals of the endangered bagrid fish Tachysurus ichikawai born at the ...
Hinano Mizuno, Kouji Nakayama, Tetsuya Akita, Yasuyuki Hashiguchi, Tomonori Osugi, Hirohiko Takeshima   +5 more
wiley   +1 more source

Optimal SNP filtering strategies for pedigree reconstruction: A case study with wild red‐spotted masu salmon population

Population Ecology, EarlyView.
In this article, we tested optimal SNP filtering strategies for accurate parentage assignment and pedigree reconstruction for a wild population of red‐spotted masu salmon, Oncorhynchus masou ishikawae. We found that mid‐point filtering in terms of call rate and minor allele frequency performs well for pedigree reconstruction.
Shohei Noda, Tetsuya Akita, Rui Ueda, Takafumi Katsumura, Yasuyuki Hashiguchi, Hirohiko Takeshima, Takuya Sato   +6 more
wiley   +1 more source

Reconfigurable software development [PDF]

IEEE/AIAA 10th Digital Avionics Systems Conference, 2002
Offers a concept called reconfigurable software to save on software costs. Reconfigurable software is software for real-time embedded systems that is characterized as portable, modular and schedulable. Portability is achieved by use of a high-order language and machine-independent time management. Modularity is achieved using abstract data types.
openaire   +2 more sources

Evaluating the origin and spread of spotted lanternfly (Lycorma delicatula) in Japan

Population Ecology, EarlyView.
The invasive spotted lanternfly (Lycorma delicatula) is native to China and is a serious economic pest in the Republic of Korea and the United States, though it is not considered a pest in Japan. We established a distribution map of L. delicatula in Japan through a comprehensive review of published literature and citizen science reports and analyzed ...
Matthew T. Kamiyama, Michihiko Takahashi, Hannah J. Broadley, Francesc Gómez‐Marco, Mark S. Hoddle, Kenji Matsuura   +5 more
wiley   +1 more source

Agile Software Development [PDF]

Software: Practice and Experience, 2011
AbstractThis focus section contains papers related to agile software development. The papers address a range of research areas including the application of agile methods to safety critical software development, the relationship of agile development with user experience design and how to measure flow in lean software development.
Greer, Des, Hamon, Yann
openaire   +2 more sources

Comparison of kinship‐identification methods for robust stock assessment using close‐kin mark–recapture data for Pacific bluefin tuna

Population Ecology, EarlyView.
In this study, we compared three methods for kinship identification using different algorithms in samples of wild Pacific bluefin tuna and generated genotyping data. The three methods resulted in different numbers of inferred kinship pairs for both generated and actual data. Particularly for the half‐sibling pairs, considerable number of false‐positive
Yohei Tsukahara, Reiichiro Nakamichi, Aiko Matsuura, Tetsuya Akita, Atushi Fujiwara, Nobuaki Suzuki   +5 more
wiley   +1 more source

A histidine‐rich extension of the mitochondrial F0 subunit ATP6 from the ice worm Mesenchytraeus solifugus increases ATP synthase activity in bacteria

FEBS Letters, EarlyView.
The glacier ice worm Mesenchytraeus solifugus survives year‐round at 0 °C. Its ATP6 subunit, which forms a regulatory component of the proton pore in mitochondrial ATP synthase, has a carboxy‐terminal extension not found in any other organism examined to date. Here, we show that fusion of this extension to the homologous AtpB protein in E. coli results
Truman Dunkley, Daniel H. Shain, Eric A. Klein   +2 more
wiley   +1 more source

Ablation of LRP6 in alpha‐smooth muscle actin‐expressing cells abrogates lung inflammation and fibrosis upon bleomycin‐induced lung injury

FEBS Letters, EarlyView.
Low‐density lipoprotein receptor‐related protein 6 (LRP6) is a key receptor for the Wnt antagonist Dickkopf1 (DKK1). DKK1 protein expression is induced in a bleomycin (BLM)‐induced lung injury model. We show that DKK1 induces proinflammatory and profibrotic genes in lung fibroblasts.
Eun‐Ah Sung, Mikhail G. Dozmorov, SuJeong Song, Theingi Aung, Min Hee Park, Patricia J. Sime, Wook‐Jin Chae   +6 more
wiley   +1 more source

Importance of Secure Software Development Processes and Tools for Developers [PDF]

arXiv, 2020
In this research paper of secure software systems, authors have discussed what the proper development process is when it comes to creating a secure software, which will be suited for developers and relevent stakeholders alike. Secure Software Development Process for Developers is of crucial importance for software engineers as more and more software ...
arxiv