cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Additional file 1: of The effect of vitamin B12 supplementation in Nepalese infants on growth and development: study protocol for a randomized controlled trial
Creators: name: Strand, Tor
name: Manjeswori Ulak
name: Chandyo, Ram
name: Kvestad, Ingrid
name: Hysing, Mari
name: Merina Shrestha
name: Basnet, Sudha
name: Ranjitkar, Suman
name: Laxman Shrestha
name: Shrestha, Prakash
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Developmental Biology
subject: Science Policy

description: SPIRIT 2013 checklist: recommended items to address in a clinical trial protocol and related documents. (DOC 123 kb)
Argyra shamshevi Selivanova et Negrobov 2006
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Argyra
Argyra shamshevi

description: Argyra shamshevi Selivanova et Negrobov, 2006
Material examined. 1♂, Primorye, Ussuriisky Nature Reserve, Malaise trap, 30.06.– 10.07.1991, P. Vilkamaa (FCBV ex coll. Museum Zoology, Helsinki, Finland).
Distribution. Type locality: Russia, Primorye, Vladivostok env.: Okeanskaya at Kedrovaya Pad Nature Reserve. Palaearctic: Russia (Primorye).
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 50, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
Additional file 1: Table S1. of Membrane-enriched proteome changes and prion protein expression during neural differentiation and in neuroblastoma cells
Creators: name: J. Macedo
name: D. Schrama
name: I. Duarte
name: E. Tavares
name: J. Renaut
name: M. Futschik
name: P. Rodrigues
name: E. Melo
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: Biochemistry
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer

description: and Table S2. Oligonucleotides used for qPCR of mouse specific genes & Protein spots differentially abundant during neural differentiation of ES cells (set #1, fold change ± 1.5) and between neuroblastoma cells expressing the prion protein and knockdown for the prion protein (set #2, fold change ± 2). (DOCX 22 kb)
Argyra ussuriana Negrobov 1973
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Argyra
Argyra ussuriana

description: Argyra ussuriana Negrobov, 1973
Material examined. 1♂, 1♀, Primorye, Khasansky Distr., Ryazanovka, 16, 25.06.1987, V. N. Makarkin (FCBV).
Distribution. Type locality: Russia, Primorye, Partizansky Distr., Tigrovaya. Palaearctic: Russia (Primorye).
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 50, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
An Operational Semantics for C/C++11 Concurrency
Creators: name: Nienhuis, K
name: Memarian, K
name: Sewell, P
Publisher: name: Association for Computing Machinery
Year: 2016
Subjects: C/C++
concurrency

description: The C/C++11 concurrency model balances two goals: it is relaxed enough to be efficiently implementable and (leaving aside the "thin-air" problem) it is strong enough to give useful guarantees to programmers. It is mathematically precise and has been used in verification research and compiler testing. However, the model is expressed in an axiomatic style, as predicates on complete candidate executions. This suffices for computing the set of allowed executions of a small litmus test, but it does not directly support the incremental construction of executions of larger programs. It is also at odds with conventional operational semantics, as used implicitly in the rest of the C/C++ standards. Our main contribution is the development of an operational model for C/C++11 concurrency. This covers all the features of the previous formalised axiomatic model, and we have a mechanised proof that the two are equivalent, in Isabelle/ HOL. We also integrate this semantics with an operational semantics for sequential C (described elsewhere); the combined semantics can incrementally execute programs in a small fragment of C. Doing this uncovered several new aspects of the C/C++11 model: we show that one cannot build an equivalent operational model that simply follows program order, sequential consistent order, or the synchronises-with order. The first negative result is forced by hardware-observable behaviour, but the latter two are not, and so might be ameliorated by changing C/C++11. More generally, we hope that this work, with its focus on incremental construction of executions, will inform the future design of new concurrency models.
Additional file 1: of Health care public reporting utilization â   user clusters, web trails, and usage barriers on Germanyâ  s public reporting portal Weisse-Liste.de
Creators: name: Pross, Christoph
name: Lars-Henrik Averdunk
name: Stjepanovic, Josip
name: Busse, Reinhard
name: Geissler, Alexander
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: Pharmacology
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Developmental Biology
subject: Cancer
subject: Inorganic Chemistry
subject: FOS: Chemical sciences
subject: Science Policy

description: Data example. This supplementary material includes raw data SQL requests for two user sessions and the associated user sessions that were created based on the raw data. A short data explanation describes the data and how it was used to create user sessions. (DOCX 177 kb)
Supplementary Information for Martini 3 disaccharide parameterization.
Creators: name: Brandner, Astrid
Publisher: name: Zenodo
Year: 2024

description: Compressed files containng supplementary Material for the following publication:

"A systematic approach to parameterization of disaccharides for the Martini 3 coarse-grained force-field. "

Astrid F. Brandner, Iain P. S. Smith, Paulo C.T. Souza, Siewert J. Marrink, Syma Khalid

 

1) Supplementary_material_scripts.tar 

Scripts for automated parameterization from all-atom simulation data. (python and bash scripts) This includes a fully working example to be run with all the input files present and their output.

 

2) Supplementary_material_CG_sugars.tar 

Martini 3 coarse-grained parameters (*.itp)  and solvated *.gro files for all mannose-mannose and glucose-glucose combinations.
Additional file 2: of The effect of vitamin B12 supplementation in Nepalese infants on growth and development: study protocol for a randomized controlled trial
Creators: name: Strand, Tor
name: Manjeswori Ulak
name: Chandyo, Ram
name: Kvestad, Ingrid
name: Hysing, Mari
name: Merina Shrestha
name: Basnet, Sudha
name: Ranjitkar, Suman
name: Laxman Shrestha
name: Shrestha, Prakash
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Randomized trial on daily Vitamin B12 supplementation in Nepali infants: main activities (enrollment, interventions, and assessments). (PDF 403 kb)
Campsicnemus versicolorus Negrobov et Zlobin 1978
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Campsicnemus
Campsicnemus versicolorus

description: Campsicnemus versicolorus Negrobov et Zlobin, 1978
Material examined. 1♂, Primorye, Khasansky Distr., Ryazanovka, 9.08.1987, V. N. Makarkin (FCBV).
Distribution. Type locality: Russia, Primorye, Yakovlevka. Palaearctic: Russia (Primorye).
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 50, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
Additional file 2: of The effect of vitamin B12 supplementation in Nepalese infants on growth and development: study protocol for a randomized controlled trial
Creators: name: Strand, Tor
name: Manjeswori Ulak
name: Chandyo, Ram
name: Kvestad, Ingrid
name: Hysing, Mari
name: Merina Shrestha
name: Basnet, Sudha
name: Ranjitkar, Suman
name: Laxman Shrestha
name: Shrestha, Prakash
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Infectious Diseases
subject: FOS: Health sciences

description: Randomized trial on daily Vitamin B12 supplementation in Nepali infants: main activities (enrollment, interventions, and assessments). (PDF 403 kb)
Diporiphora Gray 1842
Creators: name: Doughty, Paul
name: Kealley, Luke
name: Melville, Jane
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Reptilia
Squamata
Agamidae
Diporiphora

description: Diporiphora Gray, 1842
Type species— Diporiphora bilineata Gray, 1842, by monotypy.
description: Published as part of Doughty, Paul, Kealley, Luke & Melville, Jane, 2012, Taxonomic assessment of Diporiphora (Reptilia: Agamidae) dragon lizards from the western arid zone of Australia, pp. 1-24 in Zootaxa 3518 on page 7, DOI: 10.5281/zenodo.214811
Open LiDAR Toolbox Documentation
Creators: name: Štular, Benjamin
name: Lozić, Edisa
name: Eichert, Stefan
Publisher: name: Zenodo
Year: 2024

description: This is the compila.on of online material for the Open LiDAR Toolbox QGIS plugin, originally published here and here. The inten.on of this text was to facilitate the AI chatbot "Open LiDAR Tutor" which will be available here as part of the deliverables of the AI4Europe project.
Chrysotimus flavisetus Negrobov 1978
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Chrysotimus
Chrysotimus flavisetus

description: Chrysotimus flavisetus Negrobov, 1978
Material examined. 1♂, Primorye, Khasansky Distr., Ryazanovka, 23.07.1987, V. N. Makarkin (FCBV).
Distribution. Type locality: Russia, Primorye, Sichote-Alinsky Nature Reserve, 37 km from Ternei, River Serebryanka. Palaearctic: Russia (Primorye).
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 50, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
Additional file 1: of Regular recreational physical activity and risk of head and neck cancer
Creators: name: Lin, Chen-Lin
name: Lee, Wei-Ting
name: Chun-Yen Ou
name: Jenn-Ren Hsiao
name: Cheng-Chih Huang
name: Jehn-Shyun Huang
name: Tung-Yiu Wong
name: Ken-Chung Chen
name: Sen-Tien Tsai
name: Sheen-Yie Fang
name: Tze-Ta Huang
name: Jiunn-Liang Wu
name: Wu, Yuan-Hua
name: Hsueh, Wei-Ting
name: Chia-Jui Yen
name: Yu-Hsuan Lai
name: Hsiao-Chen Liao
name: Shang-Yin Wu
name: Yang, Ming-Wei
name: Forn-Chia Lin
name: Jang-Yang Chang
name: Wang, Yi-Hui
name: Weng, Ya-Ling
name: Han-Chien Yang
name: Chen, Yu-Shan
name: Chang, Jeffrey
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Science Policy

description: Questionnaire. Physical activity questions. This file contains questions used to collect physical activity data (DOC 29Â kb)
The missing link: explaining ELF static linking, semantically
Creators: name: Kell, S
name: Mulligan, DP
name: Sewell, P
Publisher: name: Association for Computing Machinery (ACM)
Year: 2016
Subjects: Linking
formal specification
Executable and Linkable Format (ELF)
theorem-proving

description: Beneath the surface, software usually depends on complex linker behaviour to work as intended. Even linking hello_world.c is surprisingly involved, and systems software such as libc and operating system kernels rely on a host of linker features. But linking is poorly understood by working programmers and has largely been neglected by language researchers. In this paper we survey the many use-cases that linkers support and the poorly specified linker speak by which they are controlled: metadata in object files, command-line options, and linker-script language. We provide the first validated formalisation of a realistic executable and linkable format (ELF), and capture aspects of the Application Binary Interfaces for four mainstream platforms (AArch64, AMD64, Power64, and IA32). Using these, we develop an executable specification of static linking, covering (among other things) enough to link small C programs (we use the example of bzip2) into a correctly running executable. We provide our specification in Lem and Isabelle/HOL forms. This is the first formal specification of mainstream linking. We have used the Isabelle/HOL version to prove a sample correctness property for one case of AMD64 ABI relocation, demonstrating that the specification supports formal proof, and as a first step towards the much more ambitious goal of verified linking. Our work should enable several novel strands of research, including linker-aware verified compilation and program analysis, and better languages for controlling linking.
Additional file 1: of Sacroiliitis mimics: a case report and review of the literature
Creators: name: Antonelli, Maria
name: Magrey, Marina
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Developmental Biology
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Timeline of Case Patient. This timeline depicted is the presentation of the case patient with physical exam, imaging, laboratory findings. (DOCX 29Â kb)
Chrysotimus spinuliferus Negrobov 1978
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Chrysotimus
Chrysotimus spinuliferus

description: Chrysotimus spinuliferus Negrobov, 1978
Material examined. 8♂, Primorye, Khasansky Distr., Ryazanovka, 19, 23.07., 9.08.1987, V. N. Makarkin; 3♂, Primorye, Spassky Distr., [Gorno-Tayozhnoe vil.], Gornotayozhnaya station, 20.07.1990, V. N. Makarkin (all in FCBV).
Distribution. Type locality: Russia, Primorye, Yakovlevka. Palaearctic: Russia (Kuriles, Primorye, Sakhalin, Yakutia).
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 50, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
Additional file 2: Table S1. of Regular recreational physical activity and risk of head and neck cancer
Creators: name: Lin, Chen-Lin
name: Lee, Wei-Ting
name: Chun-Yen Ou
name: Jenn-Ren Hsiao
name: Cheng-Chih Huang
name: Jehn-Shyun Huang
name: Tung-Yiu Wong
name: Ken-Chung Chen
name: Sen-Tien Tsai
name: Sheen-Yie Fang
name: Tze-Ta Huang
name: Jiunn-Liang Wu
name: Wu, Yuan-Hua
name: Hsueh, Wei-Ting
name: Chia-Jui Yen
name: Yu-Hsuan Lai
name: Hsiao-Chen Liao
name: Shang-Yin Wu
name: Yang, Ming-Wei
name: Forn-Chia Lin
name: Jang-Yang Chang
name: Wang, Yi-Hui
name: Weng, Ya-Ling
name: Han-Chien Yang
name: Chen, Yu-Shan
name: Chang, Jeffrey
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: Medicine
subject: Biotechnology
subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Cancer

description: The association between regular recreational physical activity and cancers of tonsil and tongue base and other pharyngeal cancers. This supplementary table examines the association between regular recreational physical activity and head and neck cancer sites by the association with human papillomavirus. (DOC 75Â kb)
Chrysotus Meigen 1824
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Chrysotus

description: Genus Chrysotus Meigen, 1824
Notes. The East Palaearctic Chrysotus species are usually indistinguishable by females; therefore, females collected are left unidentified.
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 50, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
Additional file 1: of Sacroiliitis mimics: a case report and review of the literature
Creators: name: Antonelli, Maria
name: Magrey, Marina
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Developmental Biology
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Timeline of Case Patient. This timeline depicted is the presentation of the case patient with physical exam, imaging, laboratory findings. (DOCX 29Â kb)
Chrysotus caerulescens Negrobov 1980
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Chrysotus
Chrysotus caerulescens

description: Chrysotus caerulescens Negrobov, 1980
Material examined. 1♂, Primorye, Oblachnaya Mt., 1700 m, 17.07.1993, V. N. Makarkin (FCBV).
Distribution. Type locality: Russia: Sob River, Bolshoy Ural, Obdorsk [= Salekhard]. Palaearctic: Russia (Altai Rep., Amur Region, Buryatia, Khantia-Mansia, Krasnoyarsk, Yamalia). First record from Primorye.
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 50, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
Additional file 11: Table S6. of Iron-regulated small RNA expression as Neisseria gonorrhoeae FA 1090 transitions into stationary phase growth
Creators: name: Lydgia Jackson
name: Day, Michael
name: Allen, Jennie
name: Scott, Edgar
name: Dyer, David
Publisher: name: Figshare
Year: 2017
Subjects: subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Sociology
subject: FOS: Sociology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: List of the strains and the primers used in this study for real time PCR, primer extension, and Northern blot. (DOCX 18 kb)
Additional file 4: of HirBin: high-resolution identification of differentially abundant functions in metagenomes
Creators: name: Österlund, Tobias
name: Jonsson, Viktor
name: Kristiansson, Erik
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Molecular Biology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Developmental Biology
subject: Cancer

description: Figure showing the sub-bin profile for all sub-bins in the two example bins in Fig. 3. (PDF 4 kb)
Conomodulus Landau, Vermeij & Reich 2014
Creators: name: Lozouet, Pierre
name: Krygelmans, Anouchka
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Caenogastropoda
Modulidae
Conomodulus

description: Conomodulus Landau, Vermeij & Reich, 2014
Type species: Modulus preangerensis K. Martin, 1905 (by original designation); Miocene, Java, Indonesia.
Conomodulus neocaledonensis sp. nov.
(Figs. 2 D, 3, 4)
Type material (Recent). Holotype [MNHN-IM-2000-31117, figs. 2D, 3, 4D–I], dimensions: SL= 8.7 mm, SD= 7.7 mm, SWL= 6.8 mm; paratype [MNHN-IM-2000-31116, fig. 4A–C], dimensions: SL= 7.5 mm; SD= 6.8 mm.
Type locality. New Caledonia, Ouen Island, Baie du Prony [Lagon program, St. 243, 22°24 S, 167°01 E].
Etymology. From its type locality.
Description. Shell small, solid, shouldered, turbiniform with a pyramidal shape and a relatively tall spire. Protoconch unknown. Teleoconch of more than four whorls, separated by deeply impressed and undulating suture. Sculpture of large rounded axial ribs, almost as broad as the interspaces, and irregular spiral cords. Eleven axial ribs (on holotype and paratype) on penultimate whorl with adapical termination along suture; spiral cords very faint, except four to five stronger cords that are more developed when crossing ribs. Scars on shell subsequent to pronounced and irregular axial growth lines covering body whorl.
Body whorl occupies 78% of total length of shell, shouldered, roundly angular at periphery. Axial sculpture of ten ribs, well-developed on abapical part of whorl, stopping abruptly at periphery of base just at beginning of outer lip. Base straight sided, bearing four to five primary spiral cords, one more keeled below periphery, with spiral threads in interspaces. Umbilicus small, but relatively deep. Aperture large, ovate, with fine callus on parietal wall and siphonal canal represented by broad depression; anal canal not developed. Columella deeply excavated in mid-portion, with welldeveloped callus and strong, abapical columellar tooth. Outer lip, likely sharp, prosocline, regularly rounded; inside of labium smooth.
Taenioglossan radula (Fig. 3). Rachidian tooth with rounded, square, smooth basal plate; central cusp large, pointed, flanked on each side by two smaller cusps. Lateral teeth curved, trapezoidal in shape; with six to seven cusps; first inner two cusps relatively large, following four cusps smaller and tapering in size, outermost seventh cusp very small, barely visible. Marginal teeth long, spatulate with six elongated cusps.
Operculum thin, corneous, circular, multispiral with a tiny central nucleus.
description: Published as part of Lozouet, Pierre & Krygelmans, Anouchka, 2016, A new species of Indo-Pacific Modulidae (Mollusca: Caenogastropoda), pp. 195-200 in Zootaxa 4103 (2) on pages 196-198, DOI: 10.11646/zootaxa.4103.2.12, http://zenodo.org/record/262498
title: Оценка экономической активности на основе индикаторов бизнес-климата Банка России
Creators: name: Болячин, Юрий
name: Боровкова, Алла
name: Коряхова, Ольга
name: Кротова, Юлия
name: Крупкина, Анна
name: Кудаева, Мария
name: Подашова, Татьяна
name: Постников, Евгений
name: Савченко, Игорь
name: Солодовников, Сергей
name: Янулевич, Максим
Publisher: name: Банк России
Year: 2024
Subjects: subject: Economics and business
subject: FOS: Economics and business

description: В представленной работе проводилось сопоставление отраслевых показателей мониторинга предприятий Банка России и данных Росстата.
MOESM1 of Long-term slow slip events along the Nankai trough subduction zone after the 2011 Tohoku earthquake in Japan
Creators: name: Shinzaburo Ozawa
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Evolutionary Biology
subject: Developmental Biology
subject: Cancer
subject: Inorganic Chemistry
subject: FOS: Chemical sciences
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1. AIC as a function of n (degree of polynomial function) and m (degree of trigonometric functions) (see text) for the position time series at site 0437, whose location is shown in Fig.Â 1b. The contour interval is -40. We estimate the optimal n and m that minimize AIC.
Chrysotus cilipes Meigen 1824
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Chrysotus
Chrysotus cilipes

description: Chrysotus cilipes Meigen, 1824
Material examined. 2♂, Primorye, Spassky Distr., Novoselskoe, 28, 29.06.1985, V. N. Makarkin; 1♂, Primorye, Arsenyev, agrolandscape, 30.06.1986, V. N. Makarkin; 1♂, Primorye, Khasansky Distr., Ryazanovka, 19.07.1987, V. N. Makarkin; 1♂, Primorye, Chernigovsky Distr., Gornyi Khutor, sweeping on Ambrosia, 24.06.1988, L. Esipenko; 1♂, Primorye, Spassky Distr., Prokhory, sweeping, 6.07.1990, L. Esipenko; 1♂, Primorye, Chernigovsky Distr., Dmitrievka, sweeping on Ambrosia, 6.07.1990, L. Esipenko; 2♂, Primorye, Krasnoarmeisky Distr., Dersu, soya, 19– 26.08.1991, V. N. Makarkin (all in FCBV); 32♂, Primorye, Khankaisky Distr., 6 km N Novokachalinsk, 45°09′31.8″N, 131°59′58.2″E, 1– 4.09.2019, lake shore, Kosheleva; 2♂, Primorye, Partizansk env., sweeping, 25.08.2019, mountain springs, Kosheleva (all in ZIN).
Distribution. Type locality: Germany, Hamburg. Trans-Palaearctic species.
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 50, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
Additional file 6: Figure S3. of Iron-regulated small RNA expression as Neisseria gonorrhoeae FA 1090 transitions into stationary phase growth
Creators: name: Lydgia Jackson
name: Day, Michael
name: Allen, Jennie
name: Scott, Edgar
name: Dyer, David
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Sociology
subject: FOS: Sociology
subject: Hematology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Fe dependent NrrF regulated Nrs sRNAs; primer extensions and Northern blot analysis. (DOCX 611 kb)
Additional file 6: Figure S3. of Iron-regulated small RNA expression as Neisseria gonorrhoeae FA 1090 transitions into stationary phase growth
Creators: name: Lydgia Jackson
name: Day, Michael
name: Allen, Jennie
name: Scott, Edgar
name: Dyer, David
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Sociology
subject: FOS: Sociology
subject: Hematology
subject: Infectious Diseases
subject: FOS: Health sciences

description: Fe dependent NrrF regulated Nrs sRNAs; primer extensions and Northern blot analysis. (DOCX 611 kb)
Additional file 6: of HirBin: high-resolution identification of differentially abundant functions in metagenomes
Creators: name: ĂSterlund, Tobias
name: Jonsson, Viktor
name: Kristiansson, Erik
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: Molecular Biology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Developmental Biology

description: Figure showing Fold changes at the bin level when the resampling is performed at different sub-bin levels. (PDF 24Â kb)
Chrysotus degener Frey 1917
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Chrysotus
Chrysotus degener

description: Chrysotus degener Frey, 1917
Material examined. 17♂, Primorye, Khankaisky Distr., 6 km N Novokachalinsk, 45°09′31.8″N, 131°59′58.2″E, 1– 4.09.2019, lake shore, Kosheleva (ZIN).
Distribution. Type locality: Sri Lanka, Anuradhapura. Palaearctic: China (Anhui, Beijing, Heilongjiang, Jiangsu, Liaoning, Shaanxi), Russia (Amur Region, Primorye, Yakutia); Oriental: China (Chongqing, Guangxi, Henan, Taiwan, Yunnan, Zhejiang), India, Myanmar, Pakistan, Sri Lanka.
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 50, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
MOESM2 of Long-term slow slip events along the Nankai trough subduction zone after the 2011 Tohoku earthquake in Japan
Creators: name: Shinzaburo Ozawa
Publisher: name: Figshare
Year: 2017
Subjects: subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Inorganic Chemistry
subject: FOS: Chemical sciences

description: Additional file 2. Examples of detrended data. The left-hand side shows the original east–west position time series, while the right-hand side shows the detrended east–west data. The unit is cm. The location of each station is shown in Fig. 1b. The detrended data are not averaged over three days. (a) Site 1126. (b) Site 0466.
Additional file 7: Figure S4. of Iron-regulated small RNA expression as Neisseria gonorrhoeae FA 1090 transitions into stationary phase growth
Creators: name: Lydgia Jackson
name: Day, Michael
name: Allen, Jennie
name: Scott, Edgar
name: Dyer, David
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Developmental Biology
subject: Hematology
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: NrrF regulated Fe dependent Nrs sRNAs; prediction of secondary structure using RNAfold; IntaRNA predictions of potential RNA-RNA interactions between NrrF and the Nrs sRNAs. (DOCX 811 kb)
Additional file 7: Figure S4. of Iron-regulated small RNA expression as Neisseria gonorrhoeae FA 1090 transitions into stationary phase growth
Creators: name: Lydgia Jackson
name: Day, Michael
name: Allen, Jennie
name: Scott, Edgar
name: Dyer, David
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Developmental Biology
subject: Hematology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: NrrF regulated Fe dependent Nrs sRNAs; prediction of secondary structure using RNAfold; IntaRNA predictions of potential RNA-RNA interactions between NrrF and the Nrs sRNAs. (DOCX 811 kb)
Additional file 7: of HirBin: high-resolution identification of differentially abundant functions in metagenomes
Creators: name: ĂSterlund, Tobias
name: Jonsson, Viktor
name: Kristiansson, Erik
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: Biochemistry
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Molecular Biology
subject: Ecology
subject: FOS: Biological sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology

description: Histogram showing mean abundances of the bins and sub-bins for the Qin [24] dataset. (PDF 5Â kb)
Chrysotus glebi Negrobov et Maslova 1995
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Chrysotus
Chrysotus glebi

description: Chrysotus glebi Negrobov et Maslova, 1995
Material examined. 1♂, Primorye, Khasansky Distr., Ryazanovka, 24.06.1987, V. N. Makarkin (FCBV).
Distribution. Type locality: Russia, Primorye, Ussuriisky Nature Reserve. Palaearctic: Kyrgyzstan, Russia (Altai Rep., Amur Region, Karachai-Cherkessia, Leningrad, Murmansk, Primorye, Yakutia), Spain, Turkey, Ukraine.
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 51, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
MOESM3 of Long-term slow slip events along the Nankai trough subduction zone after the 2011 Tohoku earthquake in Japan
Creators: name: Shinzaburo Ozawa
Publisher: name: Figshare
Year: 2017
Subjects: subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: Marine Biology

description: Additional file 3. Ground displacement rates per year for three periods: 2012/1–2013/3, 1998/1–2000/1, and 2000/1–2002/1. The locations of GNSS sites are shown in the bottom.
MOESM6 of Long-term slow slip events along the Nankai trough subduction zone after the 2011 Tohoku earthquake in Japan
Creators: name: Shinzaburo Ozawa
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: Biochemistry
subject: Space Science
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: Evolutionary Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Developmental Biology
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 6. Estimated aseismic moment (Nm) plotted against the number of earthquakes. Aseismic moments are computed on the three segments denoted by blue dashed lines shown in Fig. 4h. The number of earthquakes within 5 km from each segment is indicated. (A) corresponds to the northernmost segment in Fig. 4h. (B) corresponds to the middle segment in Fig. 4h. (C) corresponds to the southernmost segment in Fig. 4h.
Australobranchipus
Creators: name: Rogers, Christopher
name: Timms, Brian V
name: Jocquè, Merlijn
name: Brendonck, Luc
Publisher: name: Zenodo
Year: 2007
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Branchiopoda
Anostraca
Branchipodidae
Australobranchipus

description: KEY TO THE SPECIES OF AUSTRALOBRANCHIPUS
1 Male frontal appendage with each branch bearing two lateral rami ....................................... A. parooensis
- Male frontal appendage with each branch bearing one lateral ramus ..................................... A. gilgaiphila
description: Published as part of Rogers, Christopher, Timms, Brian V, Jocquè, Merlijn & Brendonck, Luc, 2007, A new genus and species of branchipodid fairy shrimp (Crustacea: Branchiopoda: Anostraca) from Australia, pp. 49-59 in Zootaxa 1551 on page 57, DOI: 10.5281/zenodo.178120
MOESM7 of Long-term slow slip events along the Nankai trough subduction zone after the 2011 Tohoku earthquake in Japan
Creators: name: Shinzaburo Ozawa
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Evolutionary Biology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 20199 Astronomical and Space Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Inorganic Chemistry
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 7. (A) ∆CFS calculated from the aseismic slip for the period between January 2013 and May 2014 assuming a rigidity of 30 GPa, Poisson’s ratio of 0.25, and a friction coefficient of 0.2. The rake angle is opposite the motion of the Philippine Sea plate. The red arrows indicate the aseismic slip. (B) ∆CFS calculated from the aseismic slip for the period between July 2015 and February 2016. The nomenclature is the same as that of (A). (C) ∆CFS calculated from the total aseismic slip for the entire period in this study. Stars show the epicenters of the 1996 Hyuga-nada earthquakes. The nomenclature is the same as that of (A). ∆CFS is shown in areas adjacent to the aseismic slip area since we cannot calculate ∆CFS in aseismic slip areas.
MOESM7 of Long-term slow slip events along the Nankai trough subduction zone after the 2011 Tohoku earthquake in Japan
Creators: name: Shinzaburo Ozawa
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Evolutionary Biology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 20199 Astronomical and Space Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Inorganic Chemistry
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 7. (A) ∆CFS calculated from the aseismic slip for the period between January 2013 and May 2014 assuming a rigidity of 30 GPa, Poisson’s ratio of 0.25, and a friction coefficient of 0.2. The rake angle is opposite the motion of the Philippine Sea plate. The red arrows indicate the aseismic slip. (B) ∆CFS calculated from the aseismic slip for the period between July 2015 and February 2016. The nomenclature is the same as that of (A). (C) ∆CFS calculated from the total aseismic slip for the entire period in this study. Stars show the epicenters of the 1996 Hyuga-nada earthquakes. The nomenclature is the same as that of (A). ∆CFS is shown in areas adjacent to the aseismic slip area since we cannot calculate ∆CFS in aseismic slip areas.
Leptochitonidae Dall 1889
Creators: name: Sirenko, Boris I.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Polyplacophora
Lepidopleurida
Leptochitonidae

description: Family Leptochitonidae Dall, 1889
Genus Leptochiton Gray, 1847
Ty p e s p e c i e s. Chiton cinereus Montagu, 1803 (non Linne, 1767) = Leptochiton asellus (Gmelin, 1791) fide Lovén, 1846, subsequent designation by Gray, 1847.
G e n u s d i s t r i b u t i o n. Worldwide, Carboniferous – Recent.
description: Published as part of Sirenko, Boris I., 2018, A new small chiton (Mollusca: Polyplacophora) from Guadelupe, pp. 55-62 in The Bulletin of the Russian Far East Malacological Society 22 (1 / 2) on page 56, DOI: 10.5281/zenodo.11087990
Agriphila selasella
Creators: name: Sinev, Sergey Yu.
name: Korb, Stanislav K.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Crambidae
Agriphila
Agriphila selasella

description: * 138. Agriphila selasella (Hübner, [1813])
Aksu, 7.VII.2016, 1 male.
Remark. The species was previously recorded from “Central Asia” (Slamka 2008: 38).
description: Published as part of Sinev, Sergey Yu. & Korb, Stanislav K., 2022, A preliminary list of the Pyraloid moths (Lepidoptera: Pyraloidea) of Kyrgyzstan, pp. 101-136 in Zootaxa 5138 (2) on page 117, DOI: 10.11646/zootaxa.5138.2.1, http://zenodo.org/record/6556841
Chrysotus logvinovskii Negrobov et Tsurikov 2000
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Chrysotus
Chrysotus logvinovskii

description: Chrysotus logvinovskii Negrobov et Tsurikov, 2000
Material examined. 1♂, Primorye, Khankaisky Distr., 6 km N Novokachalinsk, 45°09′31.8″N, 131°59′58.2″E, 1– 4.09.2019, lake shore, Kosheleva (ZIN).
Distribution. Type locality: Russia: Sakhalin, Anivsky Distr. Palaearctic: Russia (Sakhalin). First record from Primorye.
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 51, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
Diaphorus nigricans Meigen 1824
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Diaphorus
Diaphorus nigricans

description: Diaphorus nigricans Meigen, 1824
Material examined. 1♂, Primorye, Khasansky Distr., Ryazanovka, 23.07.1987, V. N. Makarkin (FCBV).
Distribution. Type locality: “ Germany.” Afrotropical, Nearctic, Oriental, Palaearctic and Neotropical Regions.
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 51, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
Agriphila straminella
Creators: name: Sinev, Sergey Yu.
name: Korb, Stanislav K.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Crambidae
Agriphila
Agriphila straminella

description: * 139. Agriphila straminella ([Denis et Schiffermüller], 1775)
Chichkan, 15.VII.2004, 1 male; Ala-Archa, 24.VI.2014, 1 male, 1 female; Arashan, 12–13.VII.2015, 1 male; Katta- Karakol, 14.VII.2015, 1 male; Kichi-Karakol, 16.VII.2015, 2 males; Karakol, 21.VII.2015, 2 males; Kekemeren, 22.VII.2015, 1 male; Ottuk, 8.VII.2016, 2 males; Tortkol, 13.VII.2016, 1 male; Urumbash, 17.VII.2016, 1 male; Kulanak, 21.VII.2016, 1 male; Tyup, 5.VIII.2016, 1 male.
Remark. The species was previously recorded from “Central Asia” (Slamka 2008: 42).
description: Published as part of Sinev, Sergey Yu. & Korb, Stanislav K., 2022, A preliminary list of the Pyraloid moths (Lepidoptera: Pyraloidea) of Kyrgyzstan, pp. 101-136 in Zootaxa 5138 (2) on page 117, DOI: 10.11646/zootaxa.5138.2.1, http://zenodo.org/record/6556841
Additional file 1: of Stakeholder involvement in systematic reviews: a protocol for a systematic review of methods, outcomes and effects
Creators: name: Pollock, Alex
name: Campbell, Pauline
name: Struthers, Caroline
name: Synnot, Anneliese
name: Nunn, Jack
name: Hill, Sophie
name: Goodare, Heather
name: Watts, Chris
name: Morley, Richard
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Biotechnology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Medline Search strategy (Ovid). (DOCX 23 kb)
Chrysotus orientalis Negrobov et Tsurikov 2000
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Chrysotus
Chrysotus orientalis

description: Chrysotus orientalis Negrobov et Tsurikov, 2000
Material examined. 3♂, Primorye, Khankaisky Distr., 6 km N Novokachalinsk, 45°09′31.8″N, 131°59′58.2″E, 1– 4.09.2019, lake shore, Kosheleva (ZIN).
Distribution. Type locality: [Inner] Mongolia: Khent. aimak, Kerulen River, 40 km WSW Bayan-Obo. Palaearctic: China (Inner Mongolia), Mongolia, Russia (Altai Rep., Primorye, Yakutia, Zabaikalye).
Notes. The species was overlooked in the annotated checklist (Grichanov, Selivanova 2021).
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 51, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
Additional file 1: of Stakeholder involvement in systematic reviews: a protocol for a systematic review of methods, outcomes and effects
Creators: name: Pollock, Alex
name: Campbell, Pauline
name: Struthers, Caroline
name: Synnot, Anneliese
name: Nunn, Jack
name: Hill, Sophie
name: Goodare, Heather
name: Watts, Chris
name: Morley, Richard
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Biotechnology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Medline Search strategy (Ovid). (DOCX 23 kb)
Mechanising and verifying the WebAssembly specification
Creators: name: Watt, Conrad
Publisher: name: ACM
Year: 2018
Subjects: 46 Information and Computing Sciences
4612 Software Engineering

description: WebAssembly is a new low-level language currently being implemented in all major web browsers. It is designed to become the universal compilation target for the web, obsoleting existing solutions in this area, such as asm.js and Native Client. The WebAssembly working group has incorporated formal techniques into the development of the language, but their efforts so far have focussed on pen and paper formal specification. We present a mechanised Isabelle specification for the WebAssembly language, together with a verified executable interpreter and type checker. Moreover, we present a fully mechanised proof of the soundness of the WebAssembly type system, and detail how our work on this proof has exposed several issues with the official WebAssembly specification, influencing its development. Finally, we give a brief account of our efforts in performing differential fuzzing of our interpreter against industry implementations.
Diaphorus parenti Stackelberg 1928
Creators: name: Grichanov, Igor Ya.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Dolichopodidae
Diaphorus
Diaphorus parenti

description: Diaphorus parenti Stackelberg, 1928
Material examined. 5♂, 2♀, Primorye, Kedrovaya Pad, 20, 23.07., 3.08.1976, R. G. Soboleva; 1♂, Primorye, Ussuriisky Distr., Kamenushka, Barsukovka River, 3.07.1979, R. G. Soboleva; 3♂, 2♀, Primorye, Khasansky Distr., Ryazanovka, 23, 23.07.1987, V. N. Makarkin (all in FCBV).
Distribution. Type locality: Russia, Primorye, “Suchansky” (= Partizansky) District, Tigrovaya. Palaearctic: China (Ningxia, Hebei, Henan), Russia (Karachai-Cherkessia, Primorye, Zabaikalye).
description: Published as part of Grichanov, Igor Ya., 2022, New records of Dolichopodidae (Diptera) from Primorsky Territory, Russia, pp. 48-60 in Amurian Zoological Journal XIV (1) on page 51, DOI: 10.33910/2686-9519-2022-14-1-48-60, http://zenodo.org/record/11088990
Agriphila tristella
Creators: name: Sinev, Sergey Yu.
name: Korb, Stanislav K.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Crambidae
Agriphila
Agriphila tristella

description: * 140. Agriphila tristella ([Denis et Schiffermüller], 1775)
Arashan, 24.VII.2015, 1 male; Aksu, 7.VII.2016, 1 male; Karakol, 21.VII.2016, 1 male; Kekemeren, 22.VII.2016, 1 male.
Remark. The species was previously recorded from “Central Asia” (Slamka 2008: 37).
description: Published as part of Sinev, Sergey Yu. & Korb, Stanislav K., 2022, A preliminary list of the Pyraloid moths (Lepidoptera: Pyraloidea) of Kyrgyzstan, pp. 101-136 in Zootaxa 5138 (2) on page 117, DOI: 10.11646/zootaxa.5138.2.1, http://zenodo.org/record/6556841