نتایج جستجو برای: output program
تعداد نتایج: 631835 فیلتر نتایج به سال:
We propose a new automatic program inversion method for imperative programs that contain loops. In particular, given a loop that produces an output state given a particular input state, our method can synthesize an inverse loop that reconstructs the input state given the original loop’s output state. The synthesis process consists of two major components: (a) building the inverse loop’s body, a...
We show how to model the semantics of quantum programs that give classical output during their execution. That is, in our model even non-terminating programs may have output. The modelling interprets a program as a measurement process on the machines state, with the classical output as measurement result. The semantics presented here are fully abstract in the sense that two programs are equal i...
We show how to model the semantics of quantum programs that give classical output during their execution. That is, in our model even non-terminating programs may have output. The modelling interprets a program as a measurement process on the machines state, with the classical output as measurement result. The semantics presented here are fully abstract in the sense that two programs are equal i...
Learning programs is a timely and interesting challenge. In Programming by Example (PBE), a system attempts to infer a program from input and output examples alone, by searching for a composition of some set of base functions. We show how machine learning can be used to speed up this seemingly hopeless search problem, by learning weights that relate textual features describing the provided inpu...
• It connects to a distribution network to receive from the head-end the content for transmission • It optionally performs program re-multiplexing according to location-specific requirements • It modulates the output signal in compliance with the broadcasting technology in question • In a Single Frequency Network (SFN), which requires tight signal timing coordination, it synchronizes its output...
Finite-Time Output Energy Measure for Polynomial Systems With Applications in Observability Analysis
This paper presents a set-based output energy measure for constrained polynomial systems with parameter uncertainties. Output energy is measured in terms of the L2-norm on a finite-time interval while the initial conditions and parameters are allowed to take values from a set. By specifying a bound on the output norm, the measure allows further to determine the set of initial conditions and par...
the purpose of the present study was to see which one of the two instruction-processing instruction (pi) and meaningful output based instruction (mobi) accompanied with prompt and recast- is more effective on efl learners’ writing accuracy. in order to homogenize the participants in term of language proficiency a preliminary english test (pet) was administrated between 74 intermediate students ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید