Results 301 to 310 of about 1,862,843 (333)
Some of the next articles are maybe not open access.
Dynamic Human-in-the-Loop Assertion Generation
IEEE Transactions on Software Engineering, 2023Test cases use assertions to check program behaviour. While these assertions may not be complex, they are themselves code that must be written correctly in order to determine whether a test case should pass or fail. We claim that most test assertions are
Lucas Zamprogno +3 more
semanticscholar +1 more source
Loop checking and the well-founded semantics
1995Using a calculus of goals, we define the success and failure of a goal for propositional programs in the presence of loop checking. The calculus is sound with respect to the well-founded semantics; for finite programs, it is also complete. A Prolog-style proof search strategy for a modification of this calculus provides a query evaluation algorithm for
Vladimir Lifschitz +3 more
openaire +1 more source
Teaching Philosophy, 2021
The study presented here is concerned with the pedagogical and technical issues around the provision of feedback. More specifically, it looks at how feedback is received and interpreted by students and how it can become integrated in a comprehensive plan
Vicky Roupa
semanticscholar +1 more source
The study presented here is concerned with the pedagogical and technical issues around the provision of feedback. More specifically, it looks at how feedback is received and interpreted by students and how it can become integrated in a comprehensive plan
Vicky Roupa
semanticscholar +1 more source
Journal of High Energy Physics
We present a new model of string inflation driven by a blow-up Kähler modulus of type IIb compactifications with a potential generated by string loops.
Sukṛti Bansal +4 more
semanticscholar +1 more source
We present a new model of string inflation driven by a blow-up Kähler modulus of type IIb compactifications with a potential generated by string loops.
Sukṛti Bansal +4 more
semanticscholar +1 more source
Pre-Charged Pneumatic Soft Gripper With Closed-Loop Control
IEEE Robotics and Automation Letters, 2019Pneumatic soft grippers have nonlinear continuum deformation enabling them to adapt to irregular object shapes. Most of the existing pneumatic soft grippers use only open-loop control.
Yunquan Li, Yonghua Chen, Yingtian Li
semanticscholar +1 more source
Management Sciences, 2017
Recently, online matching platforms (e.g., Craigslist, FreeCycle, Gumtree) have enabled consumers to directly connect with each other to buy/sell used consumer goods (electronics, furniture, packaging, etc.) that would have otherwise ended up in the ...
Suvrat S. Dhanorkar
semanticscholar +1 more source
Recently, online matching platforms (e.g., Craigslist, FreeCycle, Gumtree) have enabled consumers to directly connect with each other to buy/sell used consumer goods (electronics, furniture, packaging, etc.) that would have otherwise ended up in the ...
Suvrat S. Dhanorkar
semanticscholar +1 more source
Heat transfer performances of the capillary loop pulsating heat pipes with spring-loaded check valve
, 2020Z. Wan, Xiaowu Wang, F. Chen
semanticscholar +1 more source
24-Type loop checking system - Application and field test results in the bell telephone system
IEEE Transactions on Communication and Electronics, 1963A simple inexpensive system for checking transmission on subscriber lines has been developed. The system includes a small portable loop checker for use at the customer location and a sweep-frequency generator located at the central office. Operational field trials to determine the most effective methods of applying the system and the results obtained ...
openaire +1 more source
Heat transfer characteristics of a novel closed-loop pulsating heat pipe with a check valve
Applied Thermal Engineering, 2018C. Feng +5 more
semanticscholar +1 more source