2,333 research outputs found
Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs
In support of the growing interest in quantum computing experimentation,
programmers need new tools to write quantum algorithms as program code.
Compared to debugging classical programs, debugging quantum programs is
difficult because programmers have limited ability to probe the internal states
of quantum programs; those states are difficult to interpret even when
observations exist; and programmers do not yet have guidelines for what to
check for when building quantum programs. In this work, we present quantum
program assertions based on statistical tests on classical observations. These
allow programmers to decide if a quantum program state matches its expected
value in one of classical, superposition, or entangled types of states. We
extend an existing quantum programming language with the ability to specify
quantum assertions, which our tool then checks in a quantum program simulator.
We use these assertions to debug three benchmark quantum programs in factoring,
search, and chemistry. We share what types of bugs are possible, and lay out a
strategy for using quantum programming patterns to place assertions and prevent
bugs.Comment: In The 46th Annual International Symposium on Computer Architecture
(ISCA '19). arXiv admin note: text overlap with arXiv:1811.0544
Consumer Awareness of the Degree of Industrial Food Processing and the Association with HealthinessâA Pilot Study
Consumption of ultraprocessed foods (UPFs) has been associated with lower diet quality, obesity, and adverse health effects. Not much is known about how consumers evaluate the degree of processing of a food product and how they relate this to healthiness. An online questionnaire was completed by a total of 277 Dutch, 204 Italian, and 181 Brazilian consumers. Consumers were aged 18â65 year, mean 38 ± 13 year, 31% were males, and 71% were highly educated. Pictures of several common food products were evaluated on the degree of industrial processing and healthiness. Thirteen food categories were included, each including one minimally processed food (MPF), one High NS_UPF (Nutri-Score A or B), and one Low NS_UPF (Nutri-Score D or E). Lastly, knowledge and attitude about UPFs were assessed. Ultraprocessing was perceived as unhealthy by the majority of consumers (Dutch, Italian: 55%; Brazilian: 75%) and contributed to weight gain according to: 38% Dutch, 51% Italian, and 70% Brazilian consumers. Low NS_UPFs were correctly rated toward âprocessedâ and ânot healthyâ in all countries. High NS_UPF were rated as processed but showed large variations in healthiness scores. In conclusion, consumers rated UPFs relatively low in healthiness compared with MPFs with similar Nutri-Scores within the same food category. These preliminary findings suggest that consumers incorporate, to some extent, the degree of industrial processing while assessing the healthiness of food products
How Cell Geometry and Cellular Patterning Influence Tissue Stiffness
Cell growth in plants occurs due to relaxation of the cell wall in response to mechanical forces generated by turgor pressure. Growth can be anisotropic, with the principal direction of growth often correlating with the direction of lower stiffness of the cell wall. However, extensometer experiments on onion epidermal peels have shown that the tissue is stiffer in the principal direction of growth. Here, we used a combination of microextensometer experiments on epidermal onion peels and finite element method (FEM) modeling to investigate how cell geometry and cellular patterning affects mechanical measurements made at the tissue level. Simulations with isotropic cell-wall material parameters showed that the orientation of elongated cells influences tissue apparent stiffness, with the tissue appearing much softer in the transverse versus the longitudinal directions. Our simulations suggest that although extensometer experiments show that the onion tissue is stiffer when stretched in the longitudinal direction, the effect of cellular geometry means that the wall is in fact softer in this direction, matching the primary growth direction of the cells
A novel ceRNA regulatory network involving the long non-coding antisense RNA SPACA6P-AS, miR-125a and its mRNA targets in hepatocarcinoma cells
MicroRNAs (miRNA), and more recently long non-coding RNAs (lncRNA), are emerging as a driving force for hepatocellular carcinoma (HCC), one of the leading causes of cancer-related death. In this work, we investigated a possible RNA regulatory network involving two oncosuppressive miRNAs, miR-125a and let-7e, and a long non-coding antisense RNA, SPACA6P-AS (SP-AS), all transcribed from the same locus, with SP-AS in the opposite direction and thus carrying complementary sequences to the miRNAs. In vitro experiments validated the binding of the miRNAs to SP-AS. Then, the boosting of either the miRNAs or SP-AS levels demonstrated their reciprocal inhibition. In addition, overexpression of SP-AS resulted in a reduced silencing activity of miR-125a and let-7e toward their key oncogenic targets, i.e., Lin28b, MMP11, SIRT7, Zbtb7a, Cyclin D1, CDC25B, HMGA2, that resulted significantly upregulated. Finally, the analysis of 374 HCC samples in comparison to 50 normal liver tissues showed an upregulation of SP-AS and a reverse expression of miR-125a, not observed for let-7e; consistently, miR-125a oncogenic targets were upregulated. Overall, the data depict a novel competing endogenous RNA (ceRNA) network, ceRNET, whereby miR-125a can regulate the expression of SP-AS, which in turn regulates the miRNA by competing with the binding to the mRNA targets. We speculate that the unbalancing of any network component may contribute to hepatocarcinogenesis
Future large-scale water-Cherenkov detector
MEMPHYS (MEgaton Mass PHYSics) is a proposed large-scale water-Cherenkov
experiment to be performed deep underground. It is dedicated to nucleon decay
searches and the detection of neutrinos from supernovae, solar, and atmospheric
neutrinos, as well as neutrinos from a future beam to measure the CP violating
phase in the leptonic sector and the mass hierarchy. This paper provides an
overview of the latest studies on the expected performance of MEMPHYS in view
of detailed estimates of its physics reach, mainly concerning neutrino beams
Study of the performance of a large scale water-Cherenkov detector (MEMPHYS)
MEMPHYS (MEgaton Mass PHYSics) is a proposed large-scale water Cherenkov
experiment to be performed deep underground. It is dedicated to nucleon decay
searches, neutrinos from supernovae, solar and atmospheric neutrinos, as well
as neutrinos from a future Super-Beam or Beta-Beam to measure the CP violating
phase in the leptonic sector and the mass hierarchy. A full simulation of the
detector has been performed to evaluate its performance for beam physics. The
results are given in terms of "Migration Matrices" of reconstructed versus true
neutrino energy, taking into account all the experimental effects.Comment: Updated after JCAP's referee's comment
The quantum speed up as advanced knowledge of the solution
With reference to a search in a database of size N, Grover states: "What is
the reason that one would expect that a quantum mechanical scheme could
accomplish the search in O(square root of N) steps? It would be insightful to
have a simple two line argument for this without having to describe the details
of the search algorithm". The answer provided in this work is: "because any
quantum algorithm takes the time taken by a classical algorithm that knows in
advance 50% of the information that specifies the solution of the problem".
This empirical fact, unnoticed so far, holds for both quadratic and exponential
speed ups and is theoretically justified in three steps: (i) once the physical
representation is extended to the production of the problem on the part of the
oracle and to the final measurement of the computer register, quantum
computation is reduction on the solution of the problem under a relation
representing problem-solution interdependence, (ii) the speed up is explained
by a simple consideration of time symmetry, it is the gain of information about
the solution due to backdating, to before running the algorithm, a
time-symmetric part of the reduction on the solution; this advanced knowledge
of the solution reduces the size of the solution space to be explored by the
algorithm, (iii) if I is the information acquired by measuring the content of
the computer register at the end of the algorithm, the quantum algorithm takes
the time taken by a classical algorithm that knows in advance 50% of I, which
brings us to the initial statement.Comment: 23 pages, to be published in IJT
Slaughter performance and meat quality of Milanino chickens reared according to a specific free-range program
ABSTRACT The study aimed to characterize meat quality traits of Milanino chickens reared according to a specific free-range farming program. A total of 120 birds was reared straight-run in outdoor pens (8 m2/bird) from 35 d of life and fed ad libitum a low (16%) protein diet. At 180 d of age, 20 birds (10 birds/sex) were slaughtered, and carcass weight data were recorded. After processing, carcasses were refrigerated at 4°C for 24 hours. Then, the right breast and thigh with skin were collected and color parameters, pH, water-holding capacity (WHC), and chemical composition were determined. The left breast and thigh were stored at â20°C until cooking loss and tenderness evaluation. Milanino was confirmed to be a heavy breed with a sexual dimorphism in relation to adult body weight. A high general carcass yield was recorded. Milanino meat was characterized by high protein and low fat contents compared with the standard broiler meat. Differences in meat composition were recorded according to the sex: females presented higher values of dry matter (breast and thigh), protein (breast), and fat (breast and thigh) contents. The meat with skin presented an intense luminosity, and this trait was higher in the females. The muscle color was characterized by high redness and yellowness indices with differences according to the sex: Higher yellowness index was observed in female carcasses, while higher redness index was detected in male breast samples. The pH muscle values were similar to those reported in other autochthonous breeds. WHC values did not show variation between sexes. In contrast, cooking loss values recorded in thigh samples were lower in males compared to females. The degree of tenderness of Milanino meat was not affected by the sex. However, the potential loss of water and the toughness in Milanino meat were low compared to other local chicken breed meat. The present results support the breeding of Milanino chickens for meat production according to its specific straight-run free-range system
Green function approach for scattering quantum walks
In this work a Green function approach for scattering quantum walks is
developed. The exact formula has the form of a sum over paths and always can be
cast into a closed analytic expression for arbitrary topologies and position
dependent quantum amplitudes. By introducing the step and path operators, it is
shown how to extract any information about the system from the Green function.
The method relevant features are demonstrated by discussing in details an
example, a general diamond-shaped graph.Comment: 13 pages, 6 figures, this article was selected by APS for Virtual
Journal of Quantum Information, Vol 11, Iss 11 (2011
Effect of n-methylacetamide concentration and thawing rate on chicken sperm quality after cryopreservation
In seeking alternative cryoprotectants to glycerol for a reference chicken semen freezing procedure, the aim of the present study was to compare the effect of two concentrations of N-Methylacetamide (MA) and two thawing rates on the quality of frozen-thawed semen. Semen samples were diluted in Lake pre-freezing extender, including 0.1 M trehalose in presence of 6% or 9% MA, loaded into straws, frozen in nitrogen vapors, and stored in liquid nitrogen. The following thawing treatments were used: 5 \ub0C for 100 s and 38 \ub0C for 30 s. Sperm quality (cell membrane integrity, motility and kinetic parameters) was assessed before and after cryopreservation. The decrease of MA concentration from 9 to 6% improved sperm quality after freezing/thawing and this effect was dependent on thawing temperature. Decreasing the MA concentration from 9 to 6% improved the proportion of undamaged membrane, motile, and progressive motile sperm recovered after thawing at 5 \ub0C for 100 s; in contrast, no effect of the MA concentration was observed thawing at 38 \ub0C for 30 s. Therefore, the treatment with 6% MA and thawing at 5 \ub0C for 100 s has given the best cryoprotective action. These results contribute to improve the efficacy of the current chicken semen cryopreservation procedures
- âŠ