Search results for "Programming Languages"
showing 10 items of 138 documents
Snapshots of a solid-state transformation: coexistence of three phases trapped in one crystal† †Electronic supplementary information (ESI) available:…
2016
Solvent extrusion leads to crystallographic–magnetic transition within a molecular complex via an intermediate that can be trapped and characterized.
On the class of languages recognizable by 1-way quantum finite automata
2000
It is an open problem to characterize the class of languages recognized by quantum finite automata (QFA). We examine some necessary and some sufficient conditions for a (regular) language to be recognizable by a QFA. For a subclass of regular languages we get a condition which is necessary and sufficient. Also, we prove that the class of languages recognizable by a QFA is not closed under union or any other binary Boolean operation where both arguments are significant.
Symmetries in the angular distribution of exclusive semileptonic B decays
2010
We discuss a method to construct observables protected against QCD uncertainties based on the angular distribution of the exclusive Bd -> K(*0}(-> Kpi) l+ l- decay. We focus on the identification and the interpretation of all the symmetries of the distribution. They constitute a key ingredient to construct a set of so-called transverse observables. We work in the framework of QCD factorization at NLO supplemented by an estimate of power-suppressed Lambda/mb corrections. A discussion of the new physics properties of two of the transverse asymmetries, AT^{(2)} and AT^{(5)}, is presented. A comparison between the transverse asymmetry AT^{(2)} and the forward-backward asymmetry shows that…
Violation of the Time-Reversal and Particle-Hole Symmetries in Strongly Correlated Fermi Systems: A Review
2020
In this review, we consider the time reversal T and particle-antiparticle C symmetries that, being most fundamental, can be violated at microscopic level by a weak interaction. The notable example here is from condensed matter, where strongly correlated Fermi systems like heavy-fermion metals and high Tc superconductors exhibit C and T symmetries violation due to so-called non-Fermi liquid (NFL) behavior. In these systems, tunneling differential conductivity (or resistivity) is a very sensitive tool to experimentally test the above symmetry break. When a strongly correlated Fermi system turns out to be near the topological fermion condensation quantum phase transition (FCQPT), it exhibits t…
Time-resolved optical absorption in YAlO3 crystals
2004
Abstract The present work is devoted to the investigation of transient absorption (TA) induced by a pulsed electron beam (E=250 keV ) in pure and doped YAlO3 (YAP) single crystals. The nature of centers responsible for TA is discussed.
What to Expect and What to Focus on in SQL Query Teaching
2019
In the process of learning a new computer language, writing erroneous statements is part of the learning experience. However, some errors persist throughout the query writing process and are never corrected. Structured Query Language (SQL) consists of a number of different concepts such as expressions, joins, grouping and ordering, all of which by nature invite different possible errors in the query writing process. Furthermore, some of these errors are relatively easy for a student to fix when compared to others. Using a data set from three student cohorts with the total of 744 students, we set out to explore which types of errors are persistent, i.e., more likely to be left uncorrected by…
Quantum Probes for the Characterization of Nonlinear Media
2021
Active optical media leading to interaction Hamiltonians of the form H=λ˜(a+a†)ζ represent a crucial resource for quantum optical technology. In this paper, we address the characterization of those nonlinear media using quantum probes, as opposed to semiclassical ones. In particular, we investigate how squeezed probes may improve individual and joint estimation of the nonlinear coupling λ˜ and of the nonlinearity order ζ. Upon using tools from quantum estimation, we show that: (i) the two parameters are compatible, i.e., the may be jointly estimated without additional quantum noise
Interactive Gradually Generating Relevance Query Refinement Under the Human-Mediated Scenario in Multilingual Settings
2016
As opposed to query modelling, relevance generating interactive query refinement (QR) is a technique aimed at exploiting syntax variations of gradually extended, being removed or replaced with some other keywords query, which depending on the factors like e.g. the information resource, the database structure, or the keyword alignment, facilitates significantly the searching process. Therefore our motivation is to explore the dynamism of the precision trend depended upon the factors analyzed. For a couple of language pairs which constitute multilingual settings, we develop a user-centred framework that imposes distributed search optimization. Our data set contains variety of query types subm…
Black-Box Solvers
2017
Linear programming is perhaps the best-known tool for optimization. Linear programming is a general-purpose framework that allows a real system to be abstracted as a model with a linear objective function subject to a set of linear constraints.
A High Level Language for Pyramidal Architectures
1986
In the paper are described the syntax and some implementation features of a high level language for pyramidal architectures called Pyramid B Language (PCL). The language is an extension of the B and include data type, set of instructions and builtin functions oriented to the pyramidal architectures. Some notes on the implementation for the PAPIA machine are also given.