An automatic method for measuring the fetal mean abdominal diameter (MAD) or abdominal circumference (AC) with ultrasound is proposed. From a correctly presented abdominal section suitable for MAD or AC measurement, t...An automatic method for measuring the fetal mean abdominal diameter (MAD) or abdominal circumference (AC) with ultrasound is proposed. From a correctly presented abdominal section suitable for MAD or AC measurement, the location of fetal abdomen is detected by image processing. Thereafter, an active contour model is converged along the abdominal boundary for measurement purposes. The validation data set contained 310 images of fetuses with gestational age (GA) from 14 to 41 weeks. The measurement success rate was 88.1%. By manually indicating the location of the abdomen, the success rate was further improved to 95.8% for the failed cases. The correlation between manual and automatic measurements was 0.95 and the intraclass correlation coefficient (ICC) was 0.976 (95% confidence interval (CI);0.969 - 0.981). The average method execution time was 0.3 s. The mean error was lower in young fetuses (0.4%) than in older fetuses (-2.1%). The proposed cross-platform method was implemented on a portable, low-cost ultrasound machine prototype targeted for low- and middle-income countries (LMIC);the results achieved were comparable to those of other state-of-the-art automatic methods.展开更多
An automatic method able to recognize a presented section through the biparietal plane of the fetal head and a section through the fetal femur in ultrasound images is developed. Once the correct anatomical section for...An automatic method able to recognize a presented section through the biparietal plane of the fetal head and a section through the fetal femur in ultrasound images is developed. Once the correct anatomical section for measurement is identified by the machine, the placement of the measurement calipers is automatically determined by fitting an active contour model to the structure of interest. The fetal biparietal diameter (BPD) and femur length (FL) are then measured automatically. The validation data set contained 167 and 197 B-mode images for BPD and FL measurements, respectively. The images were acquired using 4 different ultrasound scanners, which resulted in varied image quality and gain settings. The mean gestational age (GA) of the fetuses was 19.4 weeks, range 16 to 41 weeks. A measurement success rate of 90% was achieved for both BPD and FL. The correlation coefficients between the manual and automatic measurements were 0.995 (BPD) and 0.967 (FL), mean errors were 0.5 mm (BPD) and -1.7 mm (FL) and error range with 95% confidence interval (CI) were ﹣3.8 - 4.8 mm (BPD) and ﹣11.4 - 8.1 mm (FL). The automatic measurement results were consistent in both high and low gain settings. The intraclass correlation coefficients between manual and automatic measurements were 0.995 (95% CI;0.981 - 0.999) for BPD in high gain, 1.0 (95% CI;0.998 - 1.0) for BPD in low gain, 0.998 (95% CI;0.991 - 0.999) for FL in high gain and 0.999 (95% CI;0.996 - 1.0) for FL in low gain settings. The method was implemented on a prototype, portable ultrasound machine designed to be used in low- and middle-income countries (LMIC). The overall performance of the method supports our hypothesis that automated methods can be used and are beneficial in a clinical setting.展开更多
A Zero-Knowledge Proof (ZKP) protocol allows a participant to prove the knowledge of some secret without revealing any information about it. While such protocols are typically executed by computers, there exists a lin...A Zero-Knowledge Proof (ZKP) protocol allows a participant to prove the knowledge of some secret without revealing any information about it. While such protocols are typically executed by computers, there exists a line of research proposing physical instances of ZKP protocols. Up to now, many card-based ZKP protocols for pen-and-pencil puzzles, like Sudoku, have been designed. Those games, mostly edited by Nikoli, have simple rules, yet designing them in card-based ZKP protocols is non-trivial. In this work, we propose a card-based ZKP protocol for Usowan, a Nikoli game. In Usowan, for each room of a puzzle instance, there is exactly one piece of false information. The goal of the game is to detect this wrong data amongst the correct data and also to satisfy the other rules. Designing a card-based ZKP protocol to deal with the property of detecting a liar has never been done. In some sense, we propose a physical ZKP for hiding of a liar. This work extends a previous paper appearing in Ref. [1]. In this extension, we propose two other protocols, for Herugolf and Five Cells. The puzzles are specifically chosen because each of those three puzzles shares a common constraint, connectivity. However, showing the connected configuration cannot be done with generic approach and brings new construction to the existing connectivity ZKP protocol. Indeed, in Herugolf, the connectivity is handled with a given length of cell which is decremental (i.e., the length of each connected cell decreases by one at each step). For Five Cells, there is an additional step in the setup allowing to encode all the information needed to ensure a valid ZKP protocol.展开更多
文摘An automatic method for measuring the fetal mean abdominal diameter (MAD) or abdominal circumference (AC) with ultrasound is proposed. From a correctly presented abdominal section suitable for MAD or AC measurement, the location of fetal abdomen is detected by image processing. Thereafter, an active contour model is converged along the abdominal boundary for measurement purposes. The validation data set contained 310 images of fetuses with gestational age (GA) from 14 to 41 weeks. The measurement success rate was 88.1%. By manually indicating the location of the abdomen, the success rate was further improved to 95.8% for the failed cases. The correlation between manual and automatic measurements was 0.95 and the intraclass correlation coefficient (ICC) was 0.976 (95% confidence interval (CI);0.969 - 0.981). The average method execution time was 0.3 s. The mean error was lower in young fetuses (0.4%) than in older fetuses (-2.1%). The proposed cross-platform method was implemented on a portable, low-cost ultrasound machine prototype targeted for low- and middle-income countries (LMIC);the results achieved were comparable to those of other state-of-the-art automatic methods.
文摘An automatic method able to recognize a presented section through the biparietal plane of the fetal head and a section through the fetal femur in ultrasound images is developed. Once the correct anatomical section for measurement is identified by the machine, the placement of the measurement calipers is automatically determined by fitting an active contour model to the structure of interest. The fetal biparietal diameter (BPD) and femur length (FL) are then measured automatically. The validation data set contained 167 and 197 B-mode images for BPD and FL measurements, respectively. The images were acquired using 4 different ultrasound scanners, which resulted in varied image quality and gain settings. The mean gestational age (GA) of the fetuses was 19.4 weeks, range 16 to 41 weeks. A measurement success rate of 90% was achieved for both BPD and FL. The correlation coefficients between the manual and automatic measurements were 0.995 (BPD) and 0.967 (FL), mean errors were 0.5 mm (BPD) and -1.7 mm (FL) and error range with 95% confidence interval (CI) were ﹣3.8 - 4.8 mm (BPD) and ﹣11.4 - 8.1 mm (FL). The automatic measurement results were consistent in both high and low gain settings. The intraclass correlation coefficients between manual and automatic measurements were 0.995 (95% CI;0.981 - 0.999) for BPD in high gain, 1.0 (95% CI;0.998 - 1.0) for BPD in low gain, 0.998 (95% CI;0.991 - 0.999) for FL in high gain and 0.999 (95% CI;0.996 - 1.0) for FL in low gain settings. The method was implemented on a prototype, portable ultrasound machine designed to be used in low- and middle-income countries (LMIC). The overall performance of the method supports our hypothesis that automated methods can be used and are beneficial in a clinical setting.
基金supported by the French ANR project ANR-18-CE39-0019(MobiS5)Other programs also fund to write this paper,namely the French government research program“Investissements d’Avenir”through the IDEX-ISITE initiative 16-IDEX-0001(CAP 20-25)+4 种基金the IMobS3 Laboratory of Excellence(No.ANR-10-LABX-16-01)Finally,the French ANR project DECRYPT(No.ANR-18-CE39-0007)SEVERITAS(No.ANR-20-CE39-0009)also subsidize this workThe first author was supported in part by Kayamori Foundation of Informational Science Advancement and JSPS KAKENHI(No.JP23H00479)The fourth author was supported in part by JSPS KAKENHI(Nos.JP21K11881 and JP23H00479).
文摘A Zero-Knowledge Proof (ZKP) protocol allows a participant to prove the knowledge of some secret without revealing any information about it. While such protocols are typically executed by computers, there exists a line of research proposing physical instances of ZKP protocols. Up to now, many card-based ZKP protocols for pen-and-pencil puzzles, like Sudoku, have been designed. Those games, mostly edited by Nikoli, have simple rules, yet designing them in card-based ZKP protocols is non-trivial. In this work, we propose a card-based ZKP protocol for Usowan, a Nikoli game. In Usowan, for each room of a puzzle instance, there is exactly one piece of false information. The goal of the game is to detect this wrong data amongst the correct data and also to satisfy the other rules. Designing a card-based ZKP protocol to deal with the property of detecting a liar has never been done. In some sense, we propose a physical ZKP for hiding of a liar. This work extends a previous paper appearing in Ref. [1]. In this extension, we propose two other protocols, for Herugolf and Five Cells. The puzzles are specifically chosen because each of those three puzzles shares a common constraint, connectivity. However, showing the connected configuration cannot be done with generic approach and brings new construction to the existing connectivity ZKP protocol. Indeed, in Herugolf, the connectivity is handled with a given length of cell which is decremental (i.e., the length of each connected cell decreases by one at each step). For Five Cells, there is an additional step in the setup allowing to encode all the information needed to ensure a valid ZKP protocol.
