Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Software Engineering (184)
- Databases and Information Systems (97)
- Artificial Intelligence and Robotics (57)
- Education (11)
- Graphics and Human Computer Interfaces (10)
-
- Theory and Algorithms (9)
- Computer Engineering (7)
- Engineering (7)
- Information Security (6)
- OS and Networks (5)
- Higher Education (4)
- Educational Methods (3)
- Numerical Analysis and Scientific Computing (3)
- Asian Studies (2)
- Computer and Systems Architecture (2)
- Data Storage Systems (2)
- Educational Assessment, Evaluation, and Research (2)
- Instructional Media Design (2)
- International and Area Studies (2)
- Social and Behavioral Sciences (2)
- Business (1)
- Curriculum and Instruction (1)
- Technology and Innovation (1)
- Keyword
-
- Model Check (22)
- Programming (13)
- Linear Temporal Logic (10)
- Label Transition System (8)
- Large Language Models (8)
-
- Large language models (8)
- Empirical study (7)
- Large Language Model (6)
- Operational Semantic (6)
- Code search (5)
- Large language model (5)
- Model Check Algorithm (5)
- Software engineering (5)
- Java (4)
- Model checking (4)
- Software testing (4)
- Stack Overflow (4)
- Strongly Connect Component (4)
- Formal Verification (3)
- Machine learning (3)
- Markov Decision Process (3)
- Martingales (3)
- Reinforcement learning (3)
- Simulated annealing (3)
- Software Engineering (3)
- Static Analysis (3)
- Symbolic Model Check (3)
- Verification (3)
- Active learning (2)
- Alignment (2)
Articles 361 - 379 of 379
Full-Text Articles in Programming Languages and Compilers
Search For Sleptons In E+E- Collisions At Centre-Of-Mass Energies Of 161 Gev And 172 Gev, R. Barate, Manoj Thulasidas
Search For Sleptons In E+E- Collisions At Centre-Of-Mass Energies Of 161 Gev And 172 Gev, R. Barate, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
The data recorded by the ALEPH experiment at LEP at centre–of–mass energies of 161 GeV and 172 GeV were analysed to search for sleptons, the supersymmetric partners of leptons. No evidence for the production of these particles was found. The number of candidates observed is consistent with the background expected from four–fermion processes and γγ–interactions. Improved mass limits at 95% C.L. are reported.
Measurement Of The Transverse Spin Correlations In The Decay Z → Τ+Τ-, Barate, R.; Et Al., M. Thulasidas
Measurement Of The Transverse Spin Correlations In The Decay Z → Τ+Τ-, Barate, R.; Et Al., M. Thulasidas
Research Collection School Of Computing and Information Systems
A measurement of the transverse-transverse, CTT, and transverse-normal CTN, τ spin correlations in the decay Z0 → τ+ τ− is presented based on the aplanarity angle of the decay products of both taus. Based on 80 pb−1 of data collected by ALEPH[1] in 1992, 1993 and 1994 on the peak of the Z resonance, the results are: CTT = 1.00 ± 0.14(stat) ± 0.04(syst), CTN =−0.08 ± 0.14(stat) ± 0.02(syst). These values are in agreement with the Standard Model predictions, CTT = 0.989 and CTN = 0.
Search For The Bc Meson In Hadronic Z Decays, R. Barate, Manoj Thulasidas
Search For The Bc Meson In Hadronic Z Decays, R. Barate, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
A search for the Bc meson decaying into the channels Jψπ+ and Jψℓ+νℓ (ℓ = e or μ) is performed in a sample of 3.9 million hadronic Z decays collected by the ALEPH detector. This search results in the observation of 0 and 2 candidates in each of these channels, respectively, while 0.44 and 0.81 background events are expected. The following 90% confidence level upper limits are derived:Br(Z→BcXBr(Z→qq̄Br(Bc+→Jψπ+)
A System For Query Comprehension, Hock Chuan Chan, Kwok Kee Wei, Keng Siau
A System For Query Comprehension, Hock Chuan Chan, Kwok Kee Wei, Keng Siau
Research Collection School Of Computing and Information Systems
A major difficulty of query writing is that users do not fully understand queries. A system providing feedback is proposed so as to enable users to better understand their queries. It is a multi-functional rule-based system. In addition to providing an English translation for the query, it pin-points syntax errors, and suggests possible solutions. It also finds likely semantic errors, and provides possible solutions. The system was implemented for a query language based on the entity relationship model. It is expected to lead to better user performance. Empirical testing showed significant improvement in user performance with the feedback system. The …
Four-Fermion Production In E+E- Collisions At Centre-Of-Mass Energies Of 130 And 136 Gev, D. Buskulic, Manoj Thulasidas
Four-Fermion Production In E+E- Collisions At Centre-Of-Mass Energies Of 130 And 136 Gev, D. Buskulic, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
Four-fermion events have been selected in a data sample of 5.8 pb−1 collected with the aleph detector at centre-of-mass energies of 130 and 136 GeV. The final states ℓ+ℓ−qq, ℓ+ℓ−ℓ+ℓ−, ννqq, and ννℓ+ℓ− have been examined. Five events are observed in the data, in agreement with the Standard Model predictions of 6.67±0.38 events from four-fermion processes and 0.14−0.05+0.19 from background processes.
Measurement Of The Mass Of The Λb Baryon, Buskulic, D.; Et Al., M. Thulasidas
Measurement Of The Mass Of The Λb Baryon, Buskulic, D.; Et Al., M. Thulasidas
Research Collection School Of Computing and Information Systems
No abstract provided.
Measurement Of The Λb Polarization In Z Decays, Buskulic, D.; Et Al., M. Thulasidas
Measurement Of The Λb Polarization In Z Decays, Buskulic, D.; Et Al., M. Thulasidas
Research Collection School Of Computing and Information Systems
The Λb polarization in hadronic Z decays is measured in semileptonic decays from the average energies of the charged lepton and the neutrino. In a data sample of approximately 3 million hadronic Z decays collected by the ALEPH detector at LEP between 1991 and 1994, 462 ± 31 Λb candidates are selected using (Λπ+)-lepton correlations. From this event sample, the Λb polarization is measured to be PΛb = −0.23−0.20+0.24(stat.)−0.07+0.08(syst.).
Test Of The Flavour Independence Of Αs, D. Buskulic, Manoj Thulasidas
Test Of The Flavour Independence Of Αs, D. Buskulic, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
Using about 950 000 hadronic events collected during 1991 and 1992 with the ALEPH detector, the ratios r b = bs=udsc s and r uds = uds s =cbs have been measured in order to test the avour independence of the strong coupling constant s . The analysis is based on event{shape variables using the full hadronic sample, two b-quark samples enriched by lepton tagging and lifetime tagging, and a light-quark sample enriched by lifetime antitagging. The combined results are r b = 1:002 0:023 and r uds = 0:971 0:023.
The Forward-Backward Asymmetry For Charm Quarks At The Z Pole, D. Buskulic, Manoj Thulasidas
The Forward-Backward Asymmetry For Charm Quarks At The Z Pole, D. Buskulic, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
From 1.4 million hadronic Z decays collected by the ALEPH detector at LEP, an enriched sample of Z → cc̄ events is extracted by requiring the presence of a high momentum D∗±. The charm quark forward-backward charge asymmetry at the Z pole is measured to be AFB0.c = (8.0 ± 2.4) % corresponding to an effective electroweak mixing angle of sin2θWeff = 0.2302 ± 0.0054.
Search For Supersymmetric Particles With R-Parity Violation In Z Decays, D. Buskulic, Manoj Thulasidas
Search For Supersymmetric Particles With R-Parity Violation In Z Decays, D. Buskulic, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
Searches for supersymmetric particles produced in e+e− interactions at the Z peak have been performed under the assumptions that R-parity is not conserved, that the dominant R-parity violating coupling involves only leptonic fields, and that the lifetime of the lightest supersymmetric particle can be neglected. In a data sample collected by the ALEPH detector at LEP up to 1993, and corresponding to almost two million hadronic Z decays, no signal was observed. As a result, supersymmetric particle masses and couplings are at least as well constrained as under the usual assumption of R-parity conservation.
Michel Parameters And Τ Neutrino Helicity From Decay Correlations In Z → Τ+Τ-, D. Buskulic, Manoj Thulasidas
Michel Parameters And Τ Neutrino Helicity From Decay Correlations In Z → Τ+Τ-, D. Buskulic, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
No abstract provided.
First Measurement Of The Quark-To-Photon Fragmentation Function, D. Buskulic, Manoj Thulasidas
First Measurement Of The Quark-To-Photon Fragmentation Function, D. Buskulic, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
Earlier measurements at LEP of isolated hard photons in hadronic Z decays, attributed to radiation from primary quark pairs, have been extended in the ALEPH experiment to include hard photon production inside hadron jets. Events are selected where all particles combine democratically to form hadron jets, one of which contains a photon with a fractional energy z 0:7. After statistical subtraction of non-prompt photons, the quark-to-photon fragmentation function, D(z), is extracted directly from the measured 2-jet rate. By taking into account the perturbative contributions to D(z) obtained from an O(S ) QCD calculation, the unknown non-perturbative component of D(z) is …
Study Of The Five-Charged-Pion Decay Of The Τ Lepton, D. Gibaut, Manoj Thulasidas
Study Of The Five-Charged-Pion Decay Of The Τ Lepton, D. Gibaut, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
The branching fractions for the five-charged-particle decays of the τ lepton have been measured in e+e− annihilations using the CLEO II detector at the Cornell Electron Storage Ring. Assuming all charged particles to be pions, the results are B(3π−2π+≥0 neutrals ντ)=(0.097±0.005±0.011)%, B(3π−2π+ντ)=(0.077±0.005 ±0.009)%, B(3π−2π+π0ντ)=(0.019±0.004±0.004)%, and B(3π−2π+2π0ντ)B(3π−2π−π0ντ) is measured for the first time by exclusive π0 reconstruction. The results are compared with the predictions from the partially conserved-axial-current and conserved-vector-current hypotheses assuming isospin invariance.
A Semantic Framework For Understanding The Behavior Of Modules And Classes In Programming Languages, Mahesh Dodani, Benjamin Kok Siew Gan
A Semantic Framework For Understanding The Behavior Of Modules And Classes In Programming Languages, Mahesh Dodani, Benjamin Kok Siew Gan
Research Collection School Of Computing and Information Systems
Recent trends in programming language design and implementation are aimed at integrating the two most important constructs to combat complexity: modules and classes. Both constructs provide encapsulation, a cornerstone of reliable programming. These constructs differ in their approach to building hierarchies: modules define visibility of components while classes define visibility of functionality. How can modules and classes be effectively integrated within a simple programming language? This question captures the essence of developing semantics of these constructs to ensure that they interact in a meaningful way. This paper develops a formal denotational semantic framework for understanding the interaction between classes and …
Tau Decays With One Charged Particle Plus Multiple Π0'S, M. Procario, Manoj Thulasidas
Tau Decays With One Charged Particle Plus Multiple Π0'S, M. Procario, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
With the CLEO-II detector at the Cornell Electron Storage Ring, we have measured branching fractions for tau lepton decay into one-prong final states with multiple π0’s B0hnπ, normalized to the branching fraction for tau decay into one charged particle and a single π0. We find B0h2π/B0hπ=0.345±0.006±0.016, B0h3π/B0hπ=0.041 ±0.003±0.005, and B0h4π/B0hπ=0.006±0.002±0.002.
Electronic Branching Ratio Of The Lepton, R. Ammar, Manoj Thulasidas
Electronic Branching Ratio Of The Lepton, R. Ammar, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
Using data accumulated by the CLEO I detector operating at the Cornell Electron Storage Ring, we have measured the ratio R=Γ(τ→eν¯eντ)Γ1 where Γ1 is the τ decay rate to final states with one charged particle. We find R=0.2231±0.0044±0.0073 where the first error is statistical and the second is systematic. Together with the measured topological one-charged-particle branching fraction, this yields the branching fraction of the τ lepton to electrons, Be=0.192±0.004±0.006.
Isospin Mass Splittings From Precision Measurements Of D*-D Mass Differences, D. Bortoletto, Manoj Thulasidas
Isospin Mass Splittings From Precision Measurements Of D*-D Mass Differences, D. Bortoletto, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
Using the decay modes, D*+→D+π0 and D*0→D0π0, we have measured the D*+−D+ and D*0−D0 mass differences to be 140±0.08±0.06 and 142.12±0.05±0.05 MeV, respectively. Combining these measurements with the Particle Data Group average for the D*+−D0 mass difference, we obtain isospin mass splittings for D*+−Dusp*0 and D+−D0 of 3.32±0.08±0.05 and 4.80±0.10 ±0.06 MeV. We discuss the implications of these measurements for models of isospin mass differences and model-dependent estimates of fD.
Inclusive Production Of The Charmed Baryon C+ From E+E- Annihilations At S=10.55 Gev, P. Avery, Manoj Thulasidas
Inclusive Production Of The Charmed Baryon C+ From E+E- Annihilations At S=10.55 Gev, P. Avery, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
We report results on inclusive production of the charmed baryon Λc+ from e+e− annihilations at √s=10.5 GeV. Measurements are presented of the inclusive cross section times branching fraction for the continuum production of Λc+ as observed in six different decay modes, and of a new, improved value of the Λc+ mass. The inclusive cross section times the branching fraction into pK−π+ is measured to be 10.0±1.5±1.5 pb summed over all xp. The branching fractions of Λc+ into p¯K0, p¯K0π+π−, Λπ+, Λπ+π−π+, and Ξ−K+π+ relative to that into pK−π+ are measured to be 0.44±0.07±0.05, 0.43±0.12±0.04, 0.18±0.03±0.03, 0.65±0.11±0.12, and 0.15±0.04±0.03, respectively. The …
Exclusive And Inclusive Decays Of B Mesons Into Ds Mesons, D. Bortoletto, Manoj Thulasidas
Exclusive And Inclusive Decays Of B Mesons Into Ds Mesons, D. Bortoletto, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
We have studied the production of Ds mesons in the decays of B mesons at the Υ(4S) resonance. We report on the first observation of exclusive B-meson decays B->Ds−D*+, B→Ds−D+, and B→Ds−D0. We also present a new measurement of the branching ratio and the momentum spectrum for the inclusive decay B→DsX.