2,521 research outputs found
Otto Bauer (1881-1938) : thinker and politician /
No full textThis work depicts Otto Bauer as the main politician of the SDAP and attempts a critical-analytical interpretation of his socio-political theories, which are shown against the background of the debates within the First and Second Internationals, political events within the SDAP, the international workers' movement, and the socio-historical processes in Austria and Europe at the time.--"First published in German by Peter Lang as Otto Bauer: Studien zur social-politischen Philosophie, Frankfurt, 2005."Includes bibliographical references and index.Print version record and CIP data provided by publisher; resource not viewed.This work depicts Otto Bauer as the main politician of the SDAP and attempts a critical-analytical interpretation of his socio-political theories, which are shown against the background of the debates within the First and Second Internationals, political events within the SDAP, the international workers' movement, and the socio-historical processes in Austria and Europe at the time.--JSTO
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning"
No full textPreface of Special Issue on "Computer Security: Foundations and Automated Reasoning
Dataset for “I would still use it but I wouldn’t trust it”: Evaluating Mechanisms for Transparency and Control for Smart-Home Sensors
No full textSurvey responses and analysis code for the following paper:
Ben Weinshel, Yuvraj Agarwal, Lujo Bauer. “I would still use it but I wouldn’t trust it”: Evaluating Mechanisms for Transparency and Control for Smart-Home Sensors. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 9, (2). 202
Writers Talk Featuring Kevin Bauer & Scott Raab
No full textKevin Bauer, President of the OSU student group 8th Floor Improv, discusses writing on the fly and what audience members can expect during the November 18th show. Also, Scott Raab, author of The Whore of Akron, discusses writing about LeBron James, and what he'll talk about during his Writers Talk book tour stop on November 18 at the Ohio State University Bookstore.The media can be accessed here: http://streaming.osu.edu/knowledgebank/cstw12/WT_WCRS_11-14-11_ScottRaab_KevinBauer.mp3Ohio State University. Center for the Study and Teaching of Writin
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
No full textauthentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide we
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
No full textauthentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide we
Efficient Ranking, Order Statistics, and Sorting under CKKS
No full textFully Homomorphic Encryption (FHE) enables operations on encrypted data, making it extremely useful for privacy-preserving applications, especially in cloud computing environments. In such contexts, operations like ranking, order statistics, and sorting are fundamental functionalities often required for database queries or as building blocks of larger protocols. However, the high computational overhead and limited native operations of FHE pose significant challenges for an efficient implementation of these tasks. These challenges are exacerbated by the fact that all these functionalities are based on comparing elements, which is a severely expensive operation under encryption. Previous solutions have typically based their designs on swap-based techniques, where two elements are conditionally swapped based on the results of their comparison. These methods aim to reduce the primary computational bottleneck: the comparison depth, which is the number of non-parallelizable homomorphic comparisons in the algorithm. The current state of the art solutions for sorting by Lu et al. (IEEE S&P’21) and Hong et al. (IEEE TIFS 2021), for instance, achieve a comparison depth of log 2 N and klog 2 k N, respectively. In this paper, we address the challenge of reducing the comparison depth by shifting away from the swap-based paradigm. We present solutions for ranking, order statistics, and sorting, that achieve a comparison depth of up to 2 (constant), making our approach highly parallelizable and suitable for hardware acceleration. Leveraging the SIMD capabilities of the CKKS FHE scheme, our approach re-encodes the input vector under encryption to allow for simultaneous comparisons of all elements with each other. The homomorphic re-encoding incurs a minimal computational overhead of O(log N) rotations. Experimental results show that our approach ranks a 128-element vector in approximately 5.76s, computes its argmin/argmax in 12.83s, and sorts it in 78.64s.</p
Theory of spin and lattice wave dynamics excited by focused laser pulses
No full textWe develop a theory of spin wave dynamics excited by ultrafast focused laser pulses in a magnetic film. We take into account both the volume and surface spin wave modes in the presence of applied, dipolar and magnetic anisotropy fields and include the dependence on laser spot exposure size and magnetic damping. We show that the sound waves generated by local heating by an ultrafast focused laser pulse can excite a wide spectrum of spin waves (on top of a dominant magnon-phonon contribution). Good agreement with recent experiments supports the validity of the model.Accepted Author ManuscriptQN/Bauer Grou
Letter from Catherine Bauer Wurster and Howard Noise to Milton Stover Eisenhower, Administrator, War Relocation Authority, March 23, 1942
No full textLetter from Catherine Bauer Wurster and Howard Noise to Milton Stover Eisenhower. The authors write to recommend that the San Francisco office of the Farm Security Administration be used "in so far as possible in the work of relocating the aliens." Authors reference enclosed letter to Gen. John L. Dewitt (chs_ms840_0318). Authors mention support for the idea from Dr. Paul Taylor of the University of California.Personal correspondence, organizational records, government documents, publications, and other papers created or collected by Joseph R. Goodman documenting the forced removal and incarceration of Japanese Americans during World War II, as well as organized resistance to incarceration. Included in the collection are records of the Japanese Young Men's Christian Association and the Japanese American Citizens' League in San Francisco, including papers of the Japanese YMCA's executive secretary Lincoln Kanai; Sakai family papers; Goodman's correspondence to and from Japanese American incarcerees, organizations opposing forced removal and incarceration of Japanese Americans, the War Relocation Authority, and others; publications, photographs, and ephemera from the Topaz Relocation Center, where Goodman taught high school; War Relocation Authority records and publications; and newspaper clippings, pamphlets, and reports about forced removal and incarceration created by various government, religious, and civic organizations, in California and nationwide
- …
