A warm welcome to SIGSIM PADS'17, the 5th ACM SIGSIM Conference on Principles of Advanced Dis... more A warm welcome to SIGSIM PADS'17, the 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. SIGSIM PADS is the flagship conference of ACM's Special Interest Group on Simulation and Modeling (SIGSIM). It provides a unique forum for reporting and discussing research results and important topics of interest to the modeling and simulation (M&S) community. The annual PADS conference has a long history dating back to 1985. Over the years PADS has broadened its scope beyond its origins in parallel and distributed simulation and now encompasses virtually all research that lies at the intersection of the computer science and the M&S fields. Built on its strong history, PADS became the ACM SIGSIM's flagship conference and renamed as SIGSIM PADS in 2013. This year is the 5th edition of the conference under its new brand name. PADS was first held in Singapore in 2006. We are very pleased that after 11 years PADS returns to Singapore under its new brand name. Singapore is a dynamic city rich in contrast and color, where you will find a harmonious blend of culture, cuisine, arts and architecture. With its friendly and welcome people, state-of-the-art infrastructure and spectacular events, Singapore has everything to make your stay a most memorable experience. This year's SIGSIM PADS received a large number of submissions, further strengthening its status as a leading conference in its area. All papers submitted to the conference were rigorously reviewed with at least 3 reviewers for each paper. We would like to thank the program committee and additional reviewers for their diligent efforts to provide timely, critical reviews and feedback to the authors. The two and half day conference consists of 2 keynote speeches, 2 invited talks, and presentations of 21 full papers and 2 short papers. The first keynote will be given by Dr. Marc-Oliver Gewaltig on "Towards Simulating the Human Brian", and the second keynote will be given by Prof. Young-Jun Son on "An Integrated Human Decision Making Model under Extended Belief-Desire-Intention Framework". We hope that you enjoy this exciting program that we have arranged for you. There are 8 students participating in this year's Ph.D. Colloquium. They will give brief presentations as well as showing posters concerning their research. Prof. Philip Wilsey will give a keynote presentation for the PhD Colloquium. In keeping with the PADS tradition, a Best Paper Committee will select the SIGSIM PADS'17 Best Paper Award from the most highly ranked papers by reviewers. The candidates for this year's best paper are (in no particular order): Julius Higiro, Meseret Gebre and Dhananjai Rao. "Multi-tier Priority Queues & 2-tier Ladder Queue for Managing Pending Events in Sequential & Optimistic Parallel Simulations" Yulin Wu, Xiangting Hou, Wenjun Tan, Zengxiang Li and Wentong Cai. "Efficient Parallel Simulation over Social Contact Network with Skewed Degree Distribution" Md Shafiur Rahman, Nael Abu-Ghazaleh and Walid Najjar. "PDES-A: a Parallel Discrete Event Simulation Accelerator for FPGAs" The Best Paper Award will be announced during the banquet at the conference. On behalf of the SIGSIM PADS'16 Program Chair, we are pleased to report that the winner of the SIGSIM PADS'16 Best Paper was "Automated Memoization for Parameter Studies Implemented in Impure Languages" by Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann and Klaus Wehrle.
Lensfree computational microscopy and machine learning enable a field-portable and cost-effective... more Lensfree computational microscopy and machine learning enable a field-portable and cost-effective platform for high-throughput and accurate quantification of particulate matter (PM). Spatio-temporal mapping using this device reveals increased PM concentrations >7km away from LAX airport.
Previous work has provided methods for decomposing unitary matrices to series of quantum multiple... more Previous work has provided methods for decomposing unitary matrices to series of quantum multiplexers, but the multiplexer circuits created in this way may be highly non-minimal. This paper presents a new approach for optimizing quantum multiplexers with arbitrary single-qubit quantum target functions and ternary controls. For multivalued quantum multiplexers, we define standard forms and two types of new forms: Fixed Polarity Quantum Forms (FPQFs) and Kronecker Quantum Forms (KQFs). Drawing inspiration from the usage of butterfly diagrams, we devise a method to exhaustively construct new forms. In contrast to previous butterfly-based methods, which are used with classical Boolean functions, these new forms are used to optimize quantum circuits with arbitrary target unitary matrices. Experimental results on the new forms applied to various target gates such as NOT, V, V+, Hadamard, and Pauli rotations, demonstrate that these new forms greatly reduce the gate costs of ternary quantum...
A large portion of New York City consists of parkland, and as such, the narratives contained with... more A large portion of New York City consists of parkland, and as such, the narratives contained within these parks affect the city as a whole. The historical structure is one narrative vector that can be found in many different parks. In addition to preserving knowledge of the location’s functionality prior to its becoming a park, these structures can often be fit into larger social narratives. I argue that through the selective preservation of vestigial structures, New York City park designers have preserved and by extension normalized a narrative of social, technological, and military progress and achievement, while erasing any aberration or challenge to said account. Using a theoretical framework developed from the works historical, social, aesthetic, and urban writers such as David E. Nye, William Cronon, Ellen Stroud, Galen Cranz, and Luke Morgan, I analyze historical structures in several different parks and unpack their visual and historical qualities. The second and third chapt...
Previous work has provided methods for decomposing unitary matrices to series of quantum multiple... more Previous work has provided methods for decomposing unitary matrices to series of quantum multiplexers, but the multiplexers created in this way are highly non-minimal. This paper presents a new approach for optimizing quantum multiplexers with arbitrary single-qubit quantum target functions. For quantum multiplexers, we define standard forms and two types of new forms: fixed polarity quantum forms (FPQF) and Kronecker quantum forms (KQF), which are analogous to Minterm Sum of Products forms, Fixed Polarity Reed-Muller (FPRM) forms, and Kronecker Reed-Muller (KRM) forms, respectively, for classical logic functions. Drawing inspiration from the usage of butterfly diagrams for FPRM and KRM forms, we devise a method to exhaustively construct all FPQF and KQF forms. Thus, the new forms can be used to optimize quantum circuits with arbitrary target unitary matrices, rather than only multi-controlled NOT gates such as CNOT, CCNOT, and their extensions. Experimental results on FPQF and KQF ...
Oftentimes, there is a need to experiment with different programming languages and technologies w... more Oftentimes, there is a need to experiment with different programming languages and technologies when designing software applications. Such experiments must be reproducible and share-able within a team workplace, and manual effort should be minimized for setting up/tearing down said experiments. This paper solves this problem by presenting a cloud-based web service for remote code execution, that is easily extensible to support any number of programming languages and libraries. The service provides a fast, reproducible solution for small software experiments and is amenable to collaboration in a workplace (via sharable permalinks). The service is designed as a distributed system to reliably support a large number of users, and efficiently manage cloud-hosting costs with predictive auto-scaling while minimizing SLA violations.
Context: Abdominal pain is a widespread complaint and is one of the common reasons leading patien... more Context: Abdominal pain is a widespread complaint and is one of the common reasons leading patients to seek medical care, either in emergency situations or with their primary providers. While acute abdominal pain is a better defined, usually surgical condition, chronic abdominal pain requires longer, typically lifelong, therapy. Chronic abdominal pain may also present with acute flares and complications. Here we review seminal and novel evidence discussing the use of acupuncture in the treatment of abdominal pain, indications, and conditions that may benefit from this approach. Evidence Acquisition: Chronic abdominal pain is a common complaint causing significant morbidity and disability and has a hefty price tag attached. Recent studies show it may be prevalent in as much as 25% of the adult population. It is defined as three episodes of severe abdominal pain over the course of three months. Chronic abdominal pain could be the result of chronicity of acute pain or of chronic pain s...
A warm welcome to SIGSIM PADS'17, the 5th ACM SIGSIM Conference on Principles of Advanced Dis... more A warm welcome to SIGSIM PADS'17, the 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. SIGSIM PADS is the flagship conference of ACM's Special Interest Group on Simulation and Modeling (SIGSIM). It provides a unique forum for reporting and discussing research results and important topics of interest to the modeling and simulation (M&S) community. The annual PADS conference has a long history dating back to 1985. Over the years PADS has broadened its scope beyond its origins in parallel and distributed simulation and now encompasses virtually all research that lies at the intersection of the computer science and the M&S fields. Built on its strong history, PADS became the ACM SIGSIM's flagship conference and renamed as SIGSIM PADS in 2013. This year is the 5th edition of the conference under its new brand name. PADS was first held in Singapore in 2006. We are very pleased that after 11 years PADS returns to Singapore under its new brand name. Singapore is a dynamic city rich in contrast and color, where you will find a harmonious blend of culture, cuisine, arts and architecture. With its friendly and welcome people, state-of-the-art infrastructure and spectacular events, Singapore has everything to make your stay a most memorable experience. This year's SIGSIM PADS received a large number of submissions, further strengthening its status as a leading conference in its area. All papers submitted to the conference were rigorously reviewed with at least 3 reviewers for each paper. We would like to thank the program committee and additional reviewers for their diligent efforts to provide timely, critical reviews and feedback to the authors. The two and half day conference consists of 2 keynote speeches, 2 invited talks, and presentations of 21 full papers and 2 short papers. The first keynote will be given by Dr. Marc-Oliver Gewaltig on "Towards Simulating the Human Brian", and the second keynote will be given by Prof. Young-Jun Son on "An Integrated Human Decision Making Model under Extended Belief-Desire-Intention Framework". We hope that you enjoy this exciting program that we have arranged for you. There are 8 students participating in this year's Ph.D. Colloquium. They will give brief presentations as well as showing posters concerning their research. Prof. Philip Wilsey will give a keynote presentation for the PhD Colloquium. In keeping with the PADS tradition, a Best Paper Committee will select the SIGSIM PADS'17 Best Paper Award from the most highly ranked papers by reviewers. The candidates for this year's best paper are (in no particular order): Julius Higiro, Meseret Gebre and Dhananjai Rao. "Multi-tier Priority Queues & 2-tier Ladder Queue for Managing Pending Events in Sequential & Optimistic Parallel Simulations" Yulin Wu, Xiangting Hou, Wenjun Tan, Zengxiang Li and Wentong Cai. "Efficient Parallel Simulation over Social Contact Network with Skewed Degree Distribution" Md Shafiur Rahman, Nael Abu-Ghazaleh and Walid Najjar. "PDES-A: a Parallel Discrete Event Simulation Accelerator for FPGAs" The Best Paper Award will be announced during the banquet at the conference. On behalf of the SIGSIM PADS'16 Program Chair, we are pleased to report that the winner of the SIGSIM PADS'16 Best Paper was "Automated Memoization for Parameter Studies Implemented in Impure Languages" by Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann and Klaus Wehrle.
Lensfree computational microscopy and machine learning enable a field-portable and cost-effective... more Lensfree computational microscopy and machine learning enable a field-portable and cost-effective platform for high-throughput and accurate quantification of particulate matter (PM). Spatio-temporal mapping using this device reveals increased PM concentrations >7km away from LAX airport.
Previous work has provided methods for decomposing unitary matrices to series of quantum multiple... more Previous work has provided methods for decomposing unitary matrices to series of quantum multiplexers, but the multiplexer circuits created in this way may be highly non-minimal. This paper presents a new approach for optimizing quantum multiplexers with arbitrary single-qubit quantum target functions and ternary controls. For multivalued quantum multiplexers, we define standard forms and two types of new forms: Fixed Polarity Quantum Forms (FPQFs) and Kronecker Quantum Forms (KQFs). Drawing inspiration from the usage of butterfly diagrams, we devise a method to exhaustively construct new forms. In contrast to previous butterfly-based methods, which are used with classical Boolean functions, these new forms are used to optimize quantum circuits with arbitrary target unitary matrices. Experimental results on the new forms applied to various target gates such as NOT, V, V+, Hadamard, and Pauli rotations, demonstrate that these new forms greatly reduce the gate costs of ternary quantum...
A large portion of New York City consists of parkland, and as such, the narratives contained with... more A large portion of New York City consists of parkland, and as such, the narratives contained within these parks affect the city as a whole. The historical structure is one narrative vector that can be found in many different parks. In addition to preserving knowledge of the location’s functionality prior to its becoming a park, these structures can often be fit into larger social narratives. I argue that through the selective preservation of vestigial structures, New York City park designers have preserved and by extension normalized a narrative of social, technological, and military progress and achievement, while erasing any aberration or challenge to said account. Using a theoretical framework developed from the works historical, social, aesthetic, and urban writers such as David E. Nye, William Cronon, Ellen Stroud, Galen Cranz, and Luke Morgan, I analyze historical structures in several different parks and unpack their visual and historical qualities. The second and third chapt...
Previous work has provided methods for decomposing unitary matrices to series of quantum multiple... more Previous work has provided methods for decomposing unitary matrices to series of quantum multiplexers, but the multiplexers created in this way are highly non-minimal. This paper presents a new approach for optimizing quantum multiplexers with arbitrary single-qubit quantum target functions. For quantum multiplexers, we define standard forms and two types of new forms: fixed polarity quantum forms (FPQF) and Kronecker quantum forms (KQF), which are analogous to Minterm Sum of Products forms, Fixed Polarity Reed-Muller (FPRM) forms, and Kronecker Reed-Muller (KRM) forms, respectively, for classical logic functions. Drawing inspiration from the usage of butterfly diagrams for FPRM and KRM forms, we devise a method to exhaustively construct all FPQF and KQF forms. Thus, the new forms can be used to optimize quantum circuits with arbitrary target unitary matrices, rather than only multi-controlled NOT gates such as CNOT, CCNOT, and their extensions. Experimental results on FPQF and KQF ...
Oftentimes, there is a need to experiment with different programming languages and technologies w... more Oftentimes, there is a need to experiment with different programming languages and technologies when designing software applications. Such experiments must be reproducible and share-able within a team workplace, and manual effort should be minimized for setting up/tearing down said experiments. This paper solves this problem by presenting a cloud-based web service for remote code execution, that is easily extensible to support any number of programming languages and libraries. The service provides a fast, reproducible solution for small software experiments and is amenable to collaboration in a workplace (via sharable permalinks). The service is designed as a distributed system to reliably support a large number of users, and efficiently manage cloud-hosting costs with predictive auto-scaling while minimizing SLA violations.
Context: Abdominal pain is a widespread complaint and is one of the common reasons leading patien... more Context: Abdominal pain is a widespread complaint and is one of the common reasons leading patients to seek medical care, either in emergency situations or with their primary providers. While acute abdominal pain is a better defined, usually surgical condition, chronic abdominal pain requires longer, typically lifelong, therapy. Chronic abdominal pain may also present with acute flares and complications. Here we review seminal and novel evidence discussing the use of acupuncture in the treatment of abdominal pain, indications, and conditions that may benefit from this approach. Evidence Acquisition: Chronic abdominal pain is a common complaint causing significant morbidity and disability and has a hefty price tag attached. Recent studies show it may be prevalent in as much as 25% of the adult population. It is defined as three episodes of severe abdominal pain over the course of three months. Chronic abdominal pain could be the result of chronicity of acute pain or of chronic pain s...
Uploads
Papers by Kevin Jin