Search

Your search keyword '"Miller, Derek"' showing total 894 results
Start Over Author "Miller, Derek"
894 results on '"Miller, Derek"'

9. Private delegated computations using strong isolation

Author

Brossard, Mathias, Bryant, Guilhem, Gaabouri, Basma El, Fan, Xinxin, Ferreira, Alexandre, Grimley-Evans, Edmund, Haster, Christopher, Johnson, Evan, Miller, Derek, Mo, Fan, Mulligan, Dominic P., Spinale, Nick, van Hensbergen, Eric, Vincent, Hugo J. M., and Xiong, Shale

Subjects
Computer Science - Cryptography and Security, Computer Science - Operating Systems, Computer Science - Programming Languages
Abstract

Sensitive computations are now routinely delegated to third-parties. In response, Confidential Computing technologies are being introduced to microprocessors, offering a protected processing environment, which we generically call an isolate, providing confidentiality and integrity guarantees to code and data hosted within -- even in the face of a privileged attacker. Isolates, with an attestation protocol, permit remote third-parties to establish a trusted "beachhead" containing known code and data on an otherwise untrusted machine. Yet, the rise of these technologies introduces many new problems, including: how to ease provisioning of computations safely into isolates; how to develop distributed systems spanning multiple classes of isolate; and what to do about the billions of "legacy" devices without support for Confidential Computing? Tackling the problems above, we introduce Veracruz, a framework that eases the design and implementation of complex privacy-preserving, collaborative, delegated computations among a group of mutually mistrusting principals. Veracruz supports multiple isolation technologies and provides a common programming model and attestation protocol across all of them, smoothing deployment of delegated computations over supported technologies. We demonstrate Veracruz in operation, on private in-cloud object detection on encrypted video streaming from a video camera. In addition to supporting hardware-backed isolates -- like AWS Nitro Enclaves and Arm Confidential Computing Architecture Realms -- Veracruz also provides pragmatic "software isolates" on Armv8-A devices without hardware Confidential Computing capability, using the high-assurance seL4 microkernel and our IceCap framework.

Published
2022

14. Pregnancy-specific responses to COVID-19 revealed by high-throughput proteomics of human plasma

Author

Gomez-Lopez, Nardhy, Romero, Roberto, Escobar, María Fernanda, Carvajal, Javier Andres, Echavarria, Maria Paula, Albornoz, Ludwig L., Nasner, Daniela, Miller, Derek, Gallo, Dahiana M., Galaz, Jose, Arenas-Hernandez, Marcia, Bhatti, Gaurav, Done, Bogdan, Zambrano, Maria Andrea, Ramos, Isabella, Fernandez, Paula Andrea, Posada, Leandro, Chaiworapongsa, Tinnakorn, Jung, Eunjung, Garcia-Flores, Valeria, Suksai, Manaphat, Gotsch, Francesca, Bosco, Mariachiara, Than, Nandor Gabor, and Tarca, Adi L.

Published
2023
Full Text
View/download PDF

15. Direct fire planning, pt II

Author

Miller, Derek, Maj and Averna, Rick, Capt

Subjects
FIRE CONTROL
Abstract

illus, Part I: Direct fire planning. v102 no 6 (Nov-Dec 1993): p5-11+; Part II: Direct fire planning. v103 no 1 (Jan-Feb 1994): p15-21

Published
1994

17. Blockade of IL-6R prevents preterm birth and adverse neonatal outcomes

Author

Farias-Jofre, Marcelo, Romero, Roberto, Galaz, Jose, Xu, Yi, Miller, Derek, Garcia-Flores, Valeria, Arenas-Hernandez, Marcia, Winters, Andrew D., Berkowitz, Bruce A., Podolsky, Robert H., Shen, Yimin, Kanninen, Tomi, Panaitescu, Bogdan, Glazier, Catherine R., Pique-Regi, Roger, Theis, Kevin R., and Gomez-Lopez, Nardhy

Published
2023
Full Text
View/download PDF

20. Leveraging BERT for Extractive Text Summarization on Lectures

Author

Miller, Derek

Subjects
Computer Science - Computation and Language, Computer Science - Machine Learning, Computer Science - Sound, Electrical Engineering and Systems Science - Audio and Speech Processing, Statistics - Machine Learning
Abstract

In the last two decades, automatic extractive text summarization on lectures has demonstrated to be a useful tool for collecting key phrases and sentences that best represent the content. However, many current approaches utilize dated approaches, producing sub-par outputs or requiring several hours of manual tuning to produce meaningful results. Recently, new machine learning architectures have provided mechanisms for extractive summarization through the clustering of output embeddings from deep learning models. This paper reports on the project called Lecture Summarization Service, a python based RESTful service that utilizes the BERT model for text embeddings and KMeans clustering to identify sentences closes to the centroid for summary selection. The purpose of the service was to provide students a utility that could summarize lecture content, based on their desired number of sentences. On top of the summary work, the service also includes lecture and summary management, storing content on the cloud which can be used for collaboration. While the results of utilizing BERT for extractive summarization were promising, there were still areas where the model struggled, providing feature research opportunities for further improvement., Comment: 7 Pages, First Version

Published
2019

22. Direct fire planning

Author

Miller, Derek, Maj and Averna, Rick, Capt

Subjects
FIRE CONTROL
Abstract

illus, Part I: Direct fire planning. v102 no 6 (Nov-Dec 1993): p5-11+; Part II: Direct fire planning. v103 no 1 (Jan-Feb 1994): p15-21

Published
1993

25. Maternal-fetal immune responses in pregnant women infected with SARS-CoV-2

Author

Garcia-Flores, Valeria, Romero, Roberto, Xu, Yi, Theis, Kevin R., Arenas-Hernandez, Marcia, Miller, Derek, Peyvandipour, Azam, Bhatti, Gaurav, Galaz, Jose, Gershater, Meyer, Levenson, Dustyn, Pusod, Errile, Tao, Li, Kracht, David, Florova, Violetta, Leng, Yaozhu, Motomura, Kenichiro, Para, Robert, Faucett, Megan, Hsu, Chaur-Dong, Zhang, Gary, Tarca, Adi L., Pique-Regi, Roger, and Gomez-Lopez, Nardhy

Published
2022
Full Text
View/download PDF

26. Cingulo-opercular control network and disused motor circuits joined in standby mode

Author

Newbold, Dillan J., Gordon, Evan M., Laumann, Timothy O., Seider, Nicole A., Montez, David F., Gross, Sarah J., Zheng, Annie, Nielsen, Ashley N., Hoyt, Catherine R., Hampton, Jacqueline M., Ortega, Mario, Adeyemo, Babatunde, Miller, Derek B., Van, Andrew N., Marek, Scott, Schlaggar, Bradley L., Carter, Alexandre R., Kay, Benjamin P., Greene, Deanna J., Raichle, Marcus E., Petersen, Steven E., Snyder, Abraham Z., and Dosenbach, Nico U. F.

Published
2021

27. Senataxin mutations elicit motor neuron degeneration phenotypes and yield TDP-43 mislocalization in ALS4 mice and human patients

Author

Bennett, Craig L, Dastidar, Somasish G, Ling, Shuo-Chien, Malik, Bilal, Ashe, Travis, Wadhwa, Mandheer, Miller, Derek B, Lee, Changwoo, Mitchell, Matthew B, van Es, Michael A, Grunseich, Christopher, Chen, Yingzhang, Sopher, Bryce L, Greensmith, Linda, Cleveland, Don W, and La Spada, Albert R

Subjects
Biomedical and Clinical Sciences, Neurosciences, Neurodegenerative, ALS, Brain Disorders, Genetics, Rare Diseases, 2.1 Biological and endogenous factors, Aetiology, Neurological, Amyotrophic Lateral Sclerosis, Animals, DNA Helicases, DNA-Binding Proteins, Female, Humans, Male, Mice, Motor Neurons, Multifunctional Enzymes, Nerve Degeneration, Phenotype, RNA Helicases, Amyotrophic lateral sclerosis, Senataxin, Transgenesis, Gene targeting, TDP-43, Nucleocytoplasmic transport, Ran, RanGAP1, Motor neuron, Neurodegeneration, Clinical Sciences, Neurology & Neurosurgery
Abstract

Amyotrophic lateral sclerosis type 4 (ALS4) is a rare, early-onset, autosomal dominant form of ALS, characterized by slow disease progression and sparing of respiratory musculature. Dominant, gain-of-function mutations in the senataxin gene (SETX) cause ALS4, but the mechanistic basis for motor neuron toxicity is unknown. SETX is a RNA-binding protein with a highly conserved helicase domain, but does not possess a low-complexity domain, making it unique among ALS-linked disease proteins. We derived ALS4 mouse models by expressing two different senataxin gene mutations (R2136H and L389S) via transgenesis and knock-in gene targeting. Both approaches yielded SETX mutant mice that develop neuromuscular phenotypes and motor neuron degeneration. Neuropathological characterization of SETX mice revealed nuclear clearing of TDP-43, accompanied by TDP-43 cytosolic mislocalization, consistent with the hallmark pathology observed in human ALS patients. Postmortem material from ALS4 patients exhibited TDP-43 mislocalization in spinal cord motor neurons, and motor neurons from SETX ALS4 mice displayed enhanced stress granule formation. Immunostaining analysis for nucleocytoplasmic transport proteins Ran and RanGAP1 uncovered nuclear membrane abnormalities in the motor neurons of SETX ALS4 mice, and nuclear import was delayed in SETX ALS4 cortical neurons, indicative of impaired nucleocytoplasmic trafficking. SETX ALS4 mice thus recapitulated ALS disease phenotypes in association with TDP-43 mislocalization and provided insight into the basis for TDP-43 histopathology, linking SETX dysfunction to common pathways of ALS motor neuron degeneration.

Published
2018

28. Overview of Legal Measures for Managing Workplace COVID-19 Infection Risk in Several Asia-Pacific Countries

Author

Miller Derek, Feng-Jen Tsai, Jiwon Kim, Mila Tejamaya, Vilandi Putri, Go Muto, Alex Reginald, Wantanee Phanprasit, Nelia Granadillos, Marina Bt Zainal Farid, Carmela Q. Capule, Yu-Wen Lin, Jihoon Park, Ruey-Yu Chen, Kyong Hui Lee, Jeongim Park, Haruo Hashimoto, Chungsik Yoon, Chantana Padungtod, and Dong-Uk Park

Subjects
COVID-19, Infectious disease risk, Personal protective equipment, ANOH(Asian Network of Occupational Hygiene), Public aspects of medicine, RA1-1270
Abstract

Background: Despite the lack of official COVID-19 statistics, various workplaces and occupations have been at the center of COVID-19 outbreaks. We aimed to compare legal measures and governance established for managing COVID-19 infection risks at workplaces in nine Asia and Pacific countries and to recommend key administrative measures. Methods: We collected information on legal measures and governance from both general citizens and workers regarding infection risks such as COVID-19 from industrial hygiene professionals in nine countries (Indonesia, India, Japan, Malaysia, New Zealand, Republic of the Philippines, Republic of Korea, Taiwan, and Thailand) using a structured questionnaire. Results: A governmental body overseeing public health and welfare was in charge of containing the spread and occurrence of infectious diseases under an infectious disease control and prevention act or another special act, although the name of the pertinent organizations and legislation vary among countries. Unlike in the case of other traditional hazards, there have been no specific articles or clauses describing the means of mitigating virus risk in the workplace that are legally required of employers, making it difficult to define the responsibilities of the employer. Each country maintains own legal systems regarding access to the duration, administration, and financing of paid sick leave. Many workers may not have access to paid sick leave even if it is legally guaranteed. Conclusion: Specific legal measures to manage infectious disease risks, such as providing proper personal protective equipment, education, engineering control measures, and paid sick leave are recommended to be stipulated in Industrial safety and health-related acts.

Published
2021
Full Text
View/download PDF

32. Historical TEWT (tactical exercise without troops)

Author

Miller, Derek A., Capt

Subjects
BATTLES - Study and Teaching, EDUCATION, MILITARY - Army - United States, MILITARY HISTORY - Study and Teaching, OFFICERS - Army - United States - Training
Abstract

illus

Published
1987

36. Deciphering maternal-fetal cross-talk in the human placenta during parturition using single-cell RNA sequencing

Author

Garcia-Flores, Valeria, primary, Romero, Roberto, additional, Tarca, Adi L., additional, Peyvandipour, Azam, additional, Xu, Yi, additional, Galaz, Jose, additional, Miller, Derek, additional, Chaiworapongsa, Tinnakorn, additional, Chaemsaithong, Piya, additional, Berry, Stanley M., additional, Awonuga, Awoniyi O., additional, Bryant, David R., additional, Pique-Regi, Roger, additional, and Gomez-Lopez, Nardhy, additional

Published
2024
Full Text
View/download PDF

41. Industrial and Biological Analogies Used Creatively by Business Professionals

Author

Kennedy, Emily B., Miller, Derek J., and Niewiarowski, Peter H.

Abstract

The objective of this study was to test the effect of far-field industrial (i.e., man-made) versus biological analogies on creativity of business professionals from two organizations engaged in the idea generation phase of new product development. Psychological effects, as reflected in language use, were measured via computerized text analysis of transcribed audio recordings of ideation sessions. Effects on quality of product concepts generated by participants were measured via analysis of 15 judges' multidimensional creativity ratings. Though psychological effects were undetectable, results suggest presenting new product development professionals with biological analogies as ideation stimulus increases novelty and may increase elegance of solutions generated. Presenting far-field industrial analogies increases relevance and effectiveness of solutions generated. This study serves as a source of evidence that biomimicry (design by analogy to biology) is an effective approach to product innovation. It also shows that there is an important role for far-field industrial analogies in stimulating ideas during new product development. A strategically designed brainstorming session should prime innovators with both far-field industrial and biological analogies to generate maximally creative ideas.

Published
2018
Full Text
View/download PDF

42. Immunosequencing and Profiling of T Cells at the Maternal–Fetal Interface of Women with Preterm Labor and Chronic Chorioamnionitis

Author

Miller, Derek, primary, Romero, Roberto, additional, Myers, Luke, additional, Xu, Yi, additional, Arenas-Hernandez, Marcia, additional, Galaz, Jose, additional, Soto, Cinque, additional, Done, Bogdan, additional, Quiroz, Angelica, additional, Awonuga, Awoniyi O., additional, Bryant, David R., additional, Tarca, Adi L., additional, and Gomez-Lopez, Nardhy, additional

Published
2023
Full Text
View/download PDF

46. Discrimination, Discretion, and Iowa's Packed Prisons

Author

Miller, Derek W.

Subjects
Prison overcrowding -- Laws, regulations and rules -- Remedies, Race discrimination -- Laws, regulations and rules -- Remedies, Sentences (Criminal procedure) -- Demographic aspects -- Political aspects -- Statistics, Criminal justice discrimination -- Demographic aspects -- Political aspects -- Research, Government regulation, Law
Abstract

ABSTRACT: For decades, the racial disparity in Iowa's prison system has persistently been one of the worst in the nation--despite the fact that the state is home to relatively few [...]

Published
2020

Catalog

Books, media, physical & digital resources
See catalog results