Result 1 to 20 of 20 total
The Dirac delta function in two settings of reverse mathematics. (English)
Arch. Math. Logic 51, No. 1-2, 99-121 (2012).
1
io-port 05967189 Yeh, Shih-Ching;
McLaughlin, Margaret;
Nam, Yujung;
Sanders, Scott;
Chang, Chienyen;
Kennedy, Bonnie;
Flynn, Sheryl;
Lange, Belinda;
Li, Lei;
Chen, Shu-ya;
Whitford, Maureen;
Winstein, Carolee;
Jung, Younbo;
Rizzo, Albert
Emotions and telerehabilitation: pilot clinical trials for virtual telerebabilitation application using haptic device and its impact on post stroke patients’ mood and motivation. (English)
Shumaker, Randall (ed.), Virtual and mixed reality ‒ systems and applications. International conference, Virtual and Mixed Reality 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22023-4/pbk). Lecture Notes in Computer Science 6774, 119-128 (2011).
2
ERNA and Friedman’s reverse mathematics. (English)
J. Symb. Log. 76, No. 2, 637-664 (2011).
3
ERNA and friedman’s reverse mathematics (English)
J. Symb. Log. 76, No. 2, 637-664 (2011).
4
io-port 70429210 Yeh, Shih-Ching;
Mclaughlin, Margaret;
Nam, Yujung;
Sanders, Scott;
Chang, Chien-Yen;
Kennedy, Bonnie;
Flynn, Sheryl;
Lange, Belinda;
Li, Lei;
Chen, Shu-Ya;
Whitford, Maureen;
Winstein, Carolee J.;
Jung, Younbo;
Rizzo, Albert A.
Emotions and telerebabilitation: pilot clinical trials for virtual telerebabilitation application using haptic device and its impact on post stroke patients’ mood and motivation (English)
HCI (14), 119-128 (2011).
5
Relative arithmetic. (English)
Math. Log. Q. 56, No. 6, 564-572 (2010).
6
A 32nm fully integrated reconfigurable switched-capacitor DC-DC converter delivering $0.55W/mm^{2}$ at 81\% efficiency (English)
ISSCC, 210-211 (2010).
7
Construction and enumeration of Franklin circles. (English)
Involve 2, No. 3, 357-370 (2009).
8
Saturation and $Σ_2$-transfer for ERNA. (English)
J. Symb. Log. 74, No. 3, 901-913 (2009).
9
Transfer and a supremum principle for ERNA (English)
J. Symb. Log. 73, No. 2, 689-710 (2008).
10
io-port 70388935 Chee, Yuen-Hui;
Koplow, Mike;
Mark, Michael;
Pletcher, Nathan;
Seeman, Mike;
Burghardt, Fred;
Steingart, Dan;
Rabaey, Jan M.;
Wright, Paul K.;
Sanders, Seth
Picocube: a $1 cm^{3}$ sensor node powered by harvested energy (English)
DAC, 114-119 (2008).
11
Object-Z to Java/OO-perl: A conversion from object-Z to executable skeletal code with dynamically checkable design contracts (English)
SEKE, 824-829 (2008).
12
Dynamic effects of power control on third-generation system capacity. (English)
Bell Labs Tech. J. 7, No. 3, 127-137 (2003).
13
Picard: platform concepts for prototyping and demonstration of high speed communication systems (English)
IEEE International Workshop on Rapid System Prototyping, 166- (2002).
14
Bifurcation of power electronic circuits. (English)
J. Franklin Inst. 331B, No.6, 957-999 (1994).
15
Multi-parameter homotopy methods for finding periodic solutions of nonlinear circuits (English)
ISCAS, 137-140 (1994).
16
Analysis of tones in the double loop sigmadelta modulator with unstable filter dynamics (English)
ISCAS, 437-440 (1994).
17
On limit cycles and the describing function method in periodically switched circuits. (English)
IEEE Trans. Circuits Syst., I, Fundam. Theory Appl. 40, No.9, 564-572 (1993).
18
Tones, saturation, and SNR in doubel loop sigma delta modulators (English)
ISCAS, 1345-1348 (1993).
19
Multi-parameter homotopy methods for finding DC operating points of nonlinear circuits (English)
ISCAS, 2478-2481 (1993).
20
Result 1 to 20 of 20 total