cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.17175689
title: Dataset related to article "Intraoperative Predictors of Postoperative Stiffness Requiring Manipulation Under Anesthesia After Robotic-Assisted Total Knee Arthroplasty: A Matched Case–Control Study"

description: This record contains raw data related to article "Intraoperative Predictors of Postoperative Stiffness Requiring Manipulation Under Anesthesia After Robotic-Assisted Total Knee Arthroplasty: A Matched Case–Control Study"

Abstract

Background: Postoperative stiffness after total knee arthroplasty (TKA) often necessitates manipulation under anesthesia (MUA). Robotic-assisted TKA (RA-TKA) improves alignment and balancing accuracy, but the impact of newer workflows with digital ligament tensioning on stiffness remains unclear.

Methods: We conducted a retrospective matched case–control study of 2,241 consecutive RA-TKA procedures performed by a single surgeon (April 2020–December 2024). Seventy patients who required MUA were matched 1:1 with controls for age, sex, BMI, and ASA class. Intraoperative predictors of stiffness were analyzed using logistic regression. A secondary cohort analysis compared MUA incidence between procedures performed with the original MAKO workflow and the updated MAKO 2.0 platform.

Results: Flexion contracture (4.3° vs 1.0°, p=0.006) and extension gap imbalance (–0.37 vs 0.10 mm, p=0.0018) were significantly greater in patients requiring MUA. Postoperative reductions in patellar height indices were greater among MUA patients but not independently predictive. Across the full cohort, MUA incidence was lower with MAKO 2.0 compared with the original workflow (1.6% vs 4.1%; OR 0.39, 95% CI 0.22–0.69; p=0.0008).

Conclusion: Preoperative flexion contracture and extension gap imbalance independently predict stiffness requiring MUA after RA-TKA. Adoption of the MAKO 2.0 workflow was associated with a significantly reduced MUA incidence, supporting the role of precise balancing and controlled resections in minimizing postoperative stiffness.
DOI: 10.5281/zenodo.17175690
title: Dataset related to article "Intraoperative Predictors of Postoperative Stiffness Requiring Manipulation Under Anesthesia After Robotic-Assisted Total Knee Arthroplasty: A Matched Case–Control Study"

description: This record contains raw data related to article "Intraoperative Predictors of Postoperative Stiffness Requiring Manipulation Under Anesthesia After Robotic-Assisted Total Knee Arthroplasty: A Matched Case–Control Study"

Abstract

Background: Postoperative stiffness after total knee arthroplasty (TKA) often necessitates manipulation under anesthesia (MUA). Robotic-assisted TKA (RA-TKA) improves alignment and balancing accuracy, but the impact of newer workflows with digital ligament tensioning on stiffness remains unclear.

Methods: We conducted a retrospective matched case–control study of 2,241 consecutive RA-TKA procedures performed by a single surgeon (April 2020–December 2024). Seventy patients who required MUA were matched 1:1 with controls for age, sex, BMI, and ASA class. Intraoperative predictors of stiffness were analyzed using logistic regression. A secondary cohort analysis compared MUA incidence between procedures performed with the original MAKO workflow and the updated MAKO 2.0 platform.

Results: Flexion contracture (4.3° vs 1.0°, p=0.006) and extension gap imbalance (–0.37 vs 0.10 mm, p=0.0018) were significantly greater in patients requiring MUA. Postoperative reductions in patellar height indices were greater among MUA patients but not independently predictive. Across the full cohort, MUA incidence was lower with MAKO 2.0 compared with the original workflow (1.6% vs 4.1%; OR 0.39, 95% CI 0.22–0.69; p=0.0008).

Conclusion: Preoperative flexion contracture and extension gap imbalance independently predict stiffness requiring MUA after RA-TKA. Adoption of the MAKO 2.0 workflow was associated with a significantly reduced MUA incidence, supporting the role of precise balancing and controlled resections in minimizing postoperative stiffness.
DOI: 10.15468/dl.hexudq
title: Occurrence Download

description: A dataset containing 413929 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Alburnus alburnus)",
 "BasisOfRecord is one of (Specimen, Literature Occurrence, Human Observation, Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1991",
 "Year is less than or equal to 2025"
 ]
}

 The dataset includes 413929 records from 321 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0020090-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.pbm3sn
title: Occurrence Download

description: A dataset containing 75354 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is one of (Aedes aegypti, Anoplothyrea indiana)"
 ]
}

 The dataset includes 75354 records from 108 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0020098-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.6084/m9.figshare.30121735.v17
title: Logic 14 pdf NEW

description: Logic innovation
DOI: 10.15468/dl.ubh429
title: Occurrence Download

description: A dataset containing 85 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "Geometry POLYGON((-100.05946 17.87008,-98.24427 17.87008,-98.24427 19.57766,-100.05946 19.57766,-100.05946 17.87008))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Urocyon cinereoargenteus",
 "Year 1980-2025"
 ]
}

 The dataset includes 85 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0020122-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.7910/dvn/ceuung
title: [RAW MRI DATA FORTHCOMING] Du et al. (2024) N=15 MRI Dataset
title: Within-individual Precision MRI

description: [RAW MRI DATA FORTHCOMING]
These data represent the 15 intensively studied fMRI participants (P1-P15) from Du, DiNicola, Angeli et al. (2024) J Neurophysiol (doi:10.1152/jn.00308.2023). For each participant, extensive BOLD-contrast fMRI data were acquired using both resting-state fixation and task protocols over 8-11 MRI sessions at the Harvard Center for Brain Science with a 3-T Prisma-fit MRI scanner and the vendor-supplied 32-channel phased-array head coil (Siemens Healthineers, Erlangen, Germany). The intense, repeat MRI sessions were conducted over a short time period with the goal of providing sufficient data within each individual for stable network estimation and exploration of task responses across a wide range of tasks (sensory, motor, and cognitive). Refaced T1-weighted structural acquisitions are also included. All participants were English-speaking paid volunteers. History of a neurological or psychiatric illness was an exclusion criterion. Participants provided written informed consent with protocols approved by the Institutional Review Board of Harvard University. The data have been used to estimate organization of the cerebral cortex (Du et al., 2024 J Neurophysiol doi:10.1152/jn.00308.2023), the cerebellum (Saadon-Grosman et al., 2024 Sci Advances doi:10.1126/sciadv.adq4037), the striatum (Kosakowski et al., 2024 J Neurophysiol doi:10.1152/jn.00387.2023), the hippocampus (Angeli et al., 2025 PNAS doi:10.1073/pnas.2422083122), and the thalamus (Du et al., 2025 Neuron doi: tbd).
DOI: 10.15468/dl.yrtpg7
title: Occurrence Download

description: A dataset containing 1 records in GBIF matching the query:
SELECT
 kingdom,
 kingdomkey,
 phylum,
 phylumkey,
 class,
 classkey,
 "order",
 orderkey,
 family,
 familykey,
 genus,
 genuskey,
 species,
 specieskey,
 "year",
 IF(ISNULL(kingdomkey), NULL, SUM(COUNT(*)) OVER (
 PARTITION BY kingdomkey, "year")) kingdomcount,
 IF(ISNULL(phylumkey), NULL, SUM(COUNT(*)) OVER (
 PARTITION BY phylumkey, "year")) phylumcount,
 IF(ISNULL(classkey), NULL, SUM(COUNT(*)) OVER (
 PARTITION BY classkey, "year")) classcount,
 IF(ISNULL(orderkey), NULL, SUM(COUNT(*)) OVER (
 PARTITION BY orderkey, "year")) ordercount,
 IF(ISNULL(familykey), NULL, SUM(COUNT(*)) OVER (
 PARTITION BY familykey, "year")) familycount,
 IF(ISNULL(genuskey), NULL, SUM(COUNT(*)) OVER (
 PARTITION BY genuskey, "year")) genuscount,
 COUNT(*) occurrences,
 MIN(GBIF_TEMPORALUNCERTAINTY(eventdate, eventtime)) mintemporaluncertainty,
 MIN(COALESCE(coordinateuncertaintyinmeters, 1000)) mincoordinateuncertaintyinmeters
FROM
 occurrence
WHERE
 occurrence.datasetkey = '4fa7b334-ce0d-4e88-aaae-2e0c138d049e'
 AND occurrence.hascoordinate = TRUE
 AND occurrence.hasgeospatialissues = FALSE
 AND occurrence.occurrencestatus = 'PRESENT'
 AND (CAST(occurrence.taxonkey AS INTEGER) = 2481875 OR CAST(occurrence.acceptedtaxonkey AS INTEGER) = 2481875 OR CAST(occurrence.kingdomkey AS INTEGER) = 2481875 OR CAST(occurrence.phylumkey AS INTEGER) = 2481875 OR CAST(occurrence.classkey AS INTEGER) = 2481875 OR CAST(occurrence.orderkey AS INTEGER) = 2481875 OR CAST(occurrence.familykey AS INTEGER) = 2481875 OR CAST(occurrence.genuskey AS INTEGER) = 2481875 OR CAST(occurrence.specieskey AS INTEGER) = 2481875)
 AND (occurrence."year" &gt;= 2024 AND occurrence."year" &lt;= 2024)
 AND NOT GBIF_STRINGARRAYCONTAINS(occurrence.issue, 'TAXON_MATCH_FUZZY', TRUE)
 AND (occurrence.distancefromcentroidinmeters &gt;= 2000.0 OR occurrence.distancefromcentroidinmeters IS NULL)
 AND NOT occurrence.basisofrecord IN ('FOSSIL_SPECIMEN', 'LIVING_SPECIMEN')
 AND (occurrence.specieskey IS NOT NULL AND occurrence."year" IS NOT NULL)
GROUP BY
 occurrence.kingdom,
 occurrence.kingdomkey,
 occurrence.phylum,
 occurrence.phylumkey,
 occurrence.class,
 occurrence.classkey,
 occurrence."order",
 occurrence.orderkey,
 occurrence.family,
 occurrence.familykey,
 occurrence.genus,
 occurrence.genuskey,
 occurrence.species,
 occurrence.specieskey,
 occurrence."year"

 The dataset's 1 records were derived from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0020097-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.zwcxxd
title: Occurrence Download

description: A dataset containing 247 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is one of (Crocus pulchellus)"
 ]
}

 The dataset includes 247 records from 14 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0020124-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.17210048
title: Dataset for "Evaluating the Impact of Gamified Assessments on Learner Retention and Performance in MOOCs"

description: This dataset accompanies the research study “Evaluating the Impact of Gamified Assessments on Learner Retention and Performance: A Comparative Study of Gamified vs Non-Gamified MOOC Cohorts” submitted to Discover Education (Springer Nature).

It contains anonymized demographic and assessment data from two cohorts (January 2024 and July 2024) of the “Introduction to Cyber Security” MOOC delivered on the SWAYAM platform by Uttarakhand Open University.

The dataset includes age group, gender, qualification, degree, study year, country, and quiz performance data. All personally identifiable information (names, emails, phone numbers, city/state, institutional codes) has been removed to protect learner privacy.

KeywordsMOOC, Gamification, Learner Retention, SWAYAM, Open Education, Online Learning, Higher Education, Assessment
DOI: 10.5281/zenodo.17210049
title: Dataset for "Evaluating the Impact of Gamified Assessments on Learner Retention and Performance in MOOCs"

description: This dataset accompanies the research study “Evaluating the Impact of Gamified Assessments on Learner Retention and Performance: A Comparative Study of Gamified vs Non-Gamified MOOC Cohorts” submitted to Discover Education (Springer Nature).

It contains anonymized demographic and assessment data from two cohorts (January 2024 and July 2024) of the “Introduction to Cyber Security” MOOC delivered on the SWAYAM platform by Uttarakhand Open University.

The dataset includes age group, gender, qualification, degree, study year, country, and quiz performance data. All personally identifiable information (names, emails, phone numbers, city/state, institutional codes) has been removed to protect learner privacy.

KeywordsMOOC, Gamification, Learner Retention, SWAYAM, Open Education, Online Learning, Higher Education, Assessment
DOI: 10.13140/rg.2.2.20755.34082
title: Hannibal Barca Optimizer (Code)
DOI: 10.15468/dl.7ut8hd
title: Occurrence Download

description: A dataset containing 77 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Sorghastrum balansae"
 ]
}

 The dataset includes 77 records from 28 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0020125-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.keqvp3
title: Occurrence Download

description: A dataset containing 695 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mycalesis francisca",
 "Geometry POLYGON((119.300000 20.500000, 122.100000 20.500000, 122.100000 25.400000, 119.300000 25.400000, 119.300000 20.500000))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 695 records from 13 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0020127-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.c8r9eu
title: Occurrence Download

description: A dataset containing 253 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Rumex hypogaeus",
 "Country is South Africa",
 "HasCoordinate is true"
 ]
}

 The dataset includes 253 records from 12 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0020129-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.3w2y2r
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Rumex hypogaeus",
 "Country is Zimbabwe",
 "HasCoordinate is true"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0020130-250920141307145/datasets/export for details.
DOI: 10.15468/dl.xe59pn
title: Occurrence Download

description: A dataset containing 6955 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Eciton burchellii"
 ]
}

 The dataset includes 6955 records from 65 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0020131-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.60521/332356
title: Processed Acoustic Backscatter, Sidescan and Swath Bathymetry Data (EM122) from the Indian Ocean, acquired during R/V Sonne expedition INDEX2023 (2023)

description: This data set was acquired with a Kongsberg Maritime EM122 Multibeam Sonar during R/V Sonne expedition INDEX2023 conducted in 2023 (Chief Scientist: Dr. Thomas Kuhn). These data files are of MBSystem-compatible format and include Acoustic Backscatter, Sidescan and Swath Bathymetry data that were processed after acquisition. This data was processed by The Nippon Foundation - GEBCO Seabed 2030 Project and was included in the Global Multi-Resolution Topography (GMRT) Synthesis (version 4.4.0).
DOI: 10.60521/332357
title: Processed Acoustic Backscatter, Sidescan and Swath Bathymetry Data (EM122) from the Indian Ocean, acquired during R/V Sonne Field:Marine:Transit SO258-1_transit (2017)

description: This data set was acquired with a Kongsberg Maritime EM122 Multibeam Sonar during R/V Sonne Field:Marine:Transit SO258-1_transit conducted in 2017 (Chief Scientist: Dr. Reinhard Werner). These data files are of MBSystem-compatible format and include Acoustic Backscatter, Sidescan and Swath Bathymetry data that were processed after acquisition. This data was processed by The Nippon Foundation - GEBCO Seabed 2030 Project and was included in the Global Multi-Resolution Topography (GMRT) Synthesis (version 4.4.0).
DOI: 10.60521/332362
title: Processed Acoustic Backscatter, Sidescan and Swath Bathymetry Data (EM124) from the Pacific Ocean, acquired during R/V Falkor (too) Field:Marine:Transit FKt231218 (2023)

description: This data set was acquired with a Kongsberg Maritime EM124 Multibeam Sonar during R/V Falkor (too) Field:Marine:Transit FKt231218 conducted in 2023 (Chief Scientist: John Fulmer). These data files are of MBSystem-compatible format and include Acoustic Backscatter, Sidescan and Swath Bathymetry data that were processed after acquisition. This data was processed by Schmidt Ocean Institute and was included in the Global Multi-Resolution Topography (GMRT) Synthesis (version 4.4.0).
DOI: 10.60521/332386
title: Processed Acoustic Backscatter and Swath Bathymetry Data (EM122) from the Mariana Trough, acquired during USNS Sumner expedition SUM1006 (2010)

description: This data set was acquired with a Kongsberg Maritime EM122 Multibeam Sonar during USNS Sumner expedition SUM1006 conducted in 2010 (Chief Scientist:). These data files are of MBSystem-compatible format and include Acoustic Backscatter and Swath Bathymetry data that were processed after acquisition. This data was processed by the GMRT Team and was included in the Global Multi-Resolution Topography (GMRT) Synthesis (version 4.4.0).
DOI: 10.60521/332391
title: Processed Acoustic Backscatter, Sidescan and Swath Bathymetry Data (EM120) from the Drake Passage, acquired during R/V Nathaniel B. Palmer expedition NBP1208 (2012)

description: This data set was acquired with a Kongsberg Maritime EM120 Multibeam Sonar during R/V Nathaniel B. Palmer expedition NBP1208 conducted in 2012 (Chief Scientist: Dr. Amy Leventer). These data files are of MBSystem-compatible format and include Acoustic Backscatter, Sidescan and Swath Bathymetry data that were processed after acquisition. This data was processed by the GMRT Team and was included in the Global Multi-Resolution Topography (GMRT) Synthesis (version 4.4.0).
DOI: 10.60521/332392
title: Processed Acoustic Backscatter, Sidescan and Swath Bathymetry Data (EM122) from the Puerto Rico Trench, acquired during R/V Ronald H. Brown expedition RB1009 (2010)

description: This data set was acquired with a Kongsberg Maritime EM122 Multibeam Sonar during R/V Ronald H. Brown expedition RB1009 conducted in 2010 (Chief Scientist: Dr. Albert Plueddemann). These data files are of MBSystem-compatible format and include Acoustic Backscatter, Sidescan and Swath Bathymetry data that were processed after acquisition. This data was processed by The Nippon Foundation - GEBCO Seabed 2030 Project and was included in the Global Multi-Resolution Topography (GMRT) Synthesis (version 4.4.0).
DOI: 10.60521/332393
title: Processed Acoustic Backscatter, Sidescan and Swath Bathymetry Data (EM122) from the Peru Basin, acquired during R/V Ronald H. Brown expedition RB1702 (2017)

description: This data set was acquired with a Kongsberg Maritime EM122 Multibeam Sonar during R/V Ronald H. Brown expedition RB1702 conducted in 2017 (Chief Scientist:). These data files are of MBSystem-compatible format and include Acoustic Backscatter, Sidescan and Swath Bathymetry data that were processed after acquisition. This data was processed by The Nippon Foundation - GEBCO Seabed 2030 Project and was included in the Global Multi-Resolution Topography (GMRT) Synthesis (version 4.4.0).
DOI: 10.15468/dl.3t3avh
title: Occurrence Download

description: A dataset containing 19857 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is one of (Crocus tommasinianus)"
 ]
}

 The dataset includes 19857 records from 92 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0020132-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.60521/332394
title: Processed Acoustic Backscatter, Sidescan and Swath Bathymetry Data (EM122) from the Pacific Ocean (Southern), acquired during R/V Melville expedition MV1005 (2010)

description: This data set was acquired with a Kongsberg Maritime EM122 Multibeam Sonar during R/V Melville expedition MV1005 conducted in 2010 (Chief Scientist:). These data files are of MBSystem-compatible format and include Acoustic Backscatter, Sidescan and Swath Bathymetry data that were processed after acquisition. This data was processed by the GMRT Team and was included in the Global Multi-Resolution Topography (GMRT) Synthesis (version 4.4.0).
DOI: 10.60521/332395
title: Processed Acoustic Backscatter, Sidescan and Swath Bathymetry Data (EM124) from the Caribbean Sea, acquired during DSSV Pressure Drop expedition PD18PR01 (2018)

description: This data set was acquired with a Kongsberg Maritime EM124 Multibeam Sonar during DSSV Pressure Drop expedition PD18PR01 conducted in 2018 (Chief Scientist: Cassie Bongiovanni). These data files are of MBSystem-compatible format and include Acoustic Backscatter, Sidescan and Swath Bathymetry data that were processed after acquisition. This data was processed by The Nippon Foundation - GEBCO Seabed 2030 Project and was included in the Global Multi-Resolution Topography (GMRT) Synthesis (version 4.4.0).
DOI: 10.60521/332399
title: Processed Acoustic Backscatter, Sidescan and Swath Bathymetry Data (EM302) from the Atlantic Ocean, acquired during R/V Okeanos Explorer expedition EX1903L1 (2019)

description: This data set was acquired with a Kongsberg EM302 Multibeam Sonar during R/V Okeanos Explorer expedition EX1903L1 conducted in 2019 (Chief Scientist: Dr. Michael White). These data files are of MBSystem-compatible format and include Acoustic Backscatter, Sidescan and Swath Bathymetry data that were processed after acquisition. This data was processed by The Nippon Foundation - GEBCO Seabed 2030 Project and was included in the Global Multi-Resolution Topography (GMRT) Synthesis (version 4.4.0).
DOI: 10.60521/332400
title: Processed Acoustic Backscatter, Sidescan and Swath Bathymetry Data (EM122) from the Antarctic Peninsula, acquired during R/V Nathaniel B. Palmer expedition NBP1601 (2016)

description: This data set was acquired with a Kongsberg Maritime EM122 Multibeam Sonar during R/V Nathaniel B. Palmer expedition NBP1601 conducted in 2016 (Chief Scientist: Dr. John Christensen). These data files are of MBSystem-compatible format and include Acoustic Backscatter, Sidescan and Swath Bathymetry data that were processed after acquisition. This data was processed by the GMRT Team and was included in the Global Multi-Resolution Topography (GMRT) Synthesis (version 4.4.0).