Abstract. In autonomous indoor navigation some number of localizations and orientations of the vehicle can be learned in advance. No artificial landmarks are required to exist. We...
Wlodzimierz Kasprzak, Ewa Wojciech Szynkiewicz, Mi...
— The strength of Micro Systems Technology (MST) is the ability to fabricate a large number of small devices economically. However such devices tend to have errors caused by the ...
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...
: The experience from years of development and use, the advance of technology, and the development of authoring tools for questions and tests has resulted in a sophisticated, compu...
Antonella Carbonaro, Giorgio Casadei, Simone Riccu...
— We describe a CMOS capacitance sensor for measuring the capacitive coupling between living cells and the underlying substrate, a quantity that can be used to characterize cell ...
S. B. Prakash, Pamela Abshire, M. Urdaneta, Elisab...