Digital Commons Network^™

A System Framework To Symbolically Explore Intel Tdx Module Execution, Pansilu Pitigalaarachchillage, Xuhua Ding

Research Collection School Of Computing and Information Systems

We present TDXplorer, the first dynamic symbolic analysis system for Intel's TDX Module, the software trusted computing base of TDX. Without using TDX hardware, an analyzer function on top of TDXplorer can not only apply dynamic analysis to control and instrument the TDX Module's execution, but also carry out symbolic execution for path exploration as well as security and functionality reasoning. The two types of analysis are seamlessly integrated in a way that symbolic execution is conducted directly upon the TDX Module's binary code and runtime states, which are shaped by using dynamic analysis techniques. We implement TDXplorer on Linux …

Contrastrepair: Enhancing Conversation-Based Automated Program Repair Via Contrastive Test Case Pairs, Jiaolong Kong, Xiaofei Xie, Mingfei Cheng, Shangqing Liu, Xiaoning Du, Qi Guo

Research Collection School Of Computing and Information Systems

Automated Program Repair (APR) aims to automatically generate patches for rectifying software bugs. Recentstrides in Large Language Models (LLM), such as ChatGPT, have yielded encouraging outcomes in APR,especially within the conversation-driven APR framework. Nevertheless, the efficacy of conversation-drivenAPR is contingent on the quality of the feedback information. In this article, we propose ContrastRepair, anovel conversation-based APR approach that augments conversation-driven APR by providing LLMs withcontrastive test pairs. A test pair consists of a failing test and a passing test, which offer contrastive feedback tothe LLM. Our key insight is to minimize the difference between the generated passing test and the …

Interpreting The Private‑ And Public‑Sector Service Criteria For Singapore’S Aspiring Presidential Candidates, Benjamin Joshua Ong

Research Collection Yong Pung How School Of Law

The Singapore President's role is not only ceremonial: from 1991, it has encompassed the substantive function of serving as a guardian of public reserves and the integrity of the public service. A person must meet certain qualifying criteria in order to run in a Presidential election. This article focuses on one set of qualifying criteria, namely, the "service criteria": the requirement that candidates have had certain experience in serving in certain roles in the public sector or the private sector. The service criteria were last amended in 2016, and came to the fore in the 2023 Presidential Election following George …

The Excellent Legal Scholar, Seow Hon Tan

Research Collection Yong Pung How School Of Law

The Excellent Legal Scholar: This article considers how virtues pan out in the life of the legal scholar, bearing in mind the purpose of legal scholarship and the identity of the legal scholar, who plays multifarious roles in today's research landscape. I consider how vision is important for the excellent legal scholar, bearing in mind that an aretaic account should be attentive to eudaimonia. I conclude with soul-searching questions for the legal scholar who endeavours to live an examined life that stands up to aretaic appraisal.

Cookingdiffusion: Cooking Procedural Image Generation With Stable Diffusion, Yuan Wang, Bin Zhu, Yanbin Hao, Chong-Wah Ngo, Yi Tan, Xiang Wang

Research Collection School Of Computing and Information Systems

Recent advancements in text-to-image generation models have excelled in creating diverse and realistic images. This success extends to food imagery, where various conditional inputs like cooking styles, ingredients, and recipes are utilized. However, a yet-unexplored challenge is generating a sequence of procedural images based on cooking steps from a recipe. This could enhance the cooking experience with visual guidance and possibly lead to an intelligent cooking simulation system. To fill this gap, we introduce a novel task called cooking procedural image generation. This task is inherently demanding, as it strives to create photo-realistic images that align with cooking steps while …

Rethinking Teaching Evaluation Reports: Designing Ai-Transformed Student Feedback For Instructor Engagement, Ruoxi Shang, Keri Mallari, Au Wei Bin Yeong, Ken Yasuhara, Anthony Tang, Gary Hsieh

Research Collection School Of Computing and Information Systems

Student feedback is critical for improving teaching, yet instructors often avoid reading evaluations due to emotional burden and information overload. We present a systematic exploration of how language models can distill and transform student evaluations into adaptive, actionable insights. Through a systematic design space exploration combining 4 feedback strategies (removing harmful content, paraphrasing criticism, sandwiching negatives, adding constructive suggestions) with 4 presentation formats (themes, cards, letters, chatbots), we created six AI-augmented prototypes of teaching evaluations. Interviews with 16 post-secondary instructors revealed that effective use of AI in feedback processing should: (1) support action formation through focused views and divergent thinking, …

Polymind: Parallel Visual Diagramming With Large Language Models To Support Prewriting Through Microtasks, Qian Wan, Jiannan Li, Huanchen Wang, Zhicong Lu

Research Collection School Of Computing and Information Systems

Prewriting is the process of generating and organising ideas before a first draft. It consists of a combination of informal, iterative, and semi-structured strategies such as visual diagramming, which poses a challenge for collaborating with large language models (LLMs) in a turn-taking conversational manner. We present Polymind, a visual diagramming tool that leverages multiple LLM-powered agents to support prewriting. The system features a parallel collaboration workflow in place of the turn-taking conversational interactions. It defines multiple ''microtasks'' to simulate group collaboration scenarios such as collaborative writing and group brainstorming. Instead of repetitively prompting a chatbot for various purposes, Polymind enables …

Stroke2sketch: Harnessing Stroke Attributes For Training-Free Sketch Generation, Rui Yang, Huining Li, Yiyi Long, Xiaojun Wu, Shengfeng He

Research Collection School Of Computing and Information Systems

Generating sketches guided by reference styles requires precise transfer of stroke attributes, such as line thickness, deformation, and texture sparsity, while preserving semantic structure and content fidelity. To this end, we propose Stroke2Sketch, a novel training-free framework that introduces cross-image stroke attention, a mechanism embedded within self-attention layers to establish fine-grained semantic correspondences and enable accurate stroke attribute transfer. This allows our method to adaptively integrate reference stroke characteristics into content images while maintaining structural integrity. Additionally, we develop adaptive contrast enhancement and semanticfocused attention to reinforce content preservation and foreground emphasis. Stroke2Sketch effectively synthesizes stylistically faithful sketches that closely …

Cattle Funding Scheme 2023-24 Annual Report, Department Of Primary Industries And Regional Development, Western Australia

Biosecurity published reports

I am pleased to present the 2023-24 annual report for the Cattle Industry Funding Scheme (Cattle IFS) to our participants, key stakeholders in the Western Australian (WA) cattle industry, and the Minister for Agriculture and Food. This financial year has brought its share of challenges to the WA cattle industry including domestic and global markets, dry weather conditions and high biosecurity concerns. With Foot-and-mouth disease (FMD) and Lumpy Skin Disease (LSD) detected in Indonesia, biosecurity threats remain ever-present. As a result, maintaining the health of our herd in WA continues to be our top priority. The Cattle IFS continues to …

Ivycross: A Privacy-Preserving And Concurrency Control Framework For Blockchain Interoperability, Ming Li, Jian Weng, Jia-Si Weng, Yi Li, Yongdong Wu, Dingcheng Li, Guowen Xu, Deng, Robert H.

Research Collection School Of Computing and Information Systems

Interoperability is a fundamental challenge for long-envisioned blockchain applications. A mainstream approach is using Trusted Execution Environment (TEE) to support interoperable off-chain execution. However, this incurs multiple TEE configured with non-trivial storage capabilities running on fragile concurrent processing environments, rendering current strategies based on TEE far from being practical. This paper aims to fill this gap and design a practical interoperability mechanism with simplified TEE as the underlying architecture. Specifically, we present IvyCross, a TEE-based framework that achieves low-cost, privacy-preserving, and race-free blockchain interoperability. IvyCross allows running arbitrary smart contracts across heterogeneous blockchains atop two distributed TEE-powered hosts. We design …

Polyqent: A Polynomial Quantified Entailment Solver, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic

Research Collection School Of Computing and Information Systems

Polynomial quantified entailments with existentially and universally quantified variables arise in many problems of verification and program analysis. We present PolyQEnt which is a tool for solving polynomial quantified entailments in which variables on both sides of the implication are real valued or unbounded integers. Our tool provides a unified framework for polynomial quantified entailment problems that arise in several papers in the literature. Our experimental evaluation over a wide range of benchmarks shows the applicability of the tool as well as its benefits as opposed to simply using existing SMT solvers to solve such constraints.

Antitrust’S Consumer Tradeoffs, Samuel N. Weinstein

Articles

In modern antitrust law, courts are required to ask only one question: did the challenged action harm consumers? This Article asks a different question: which consumers? Over the last few decades, the Supreme Court has increasingly required antitrust plaintiffs to prove not only that they were harmed, but also that their harm outweighed any other consumers’ gains. The doctrine forces courts to pit groups of consumers against each other. In Amex, it was merchants against credit card holders. In Brooke Group, it was consumers buying a product during predation against consumers buying it during recoupment. In cases involving aftermarkets for …

Assessing Credibility Of Open Access Journals For Scholarly Publishing, Daniel G. Kipnis

Library Workshops

Learning objectives:

• Learn the importance of open access publishing.
• Learn some strategies for identifying (top) journals for publication.
• Learn about what to look for in identifying and avoiding predatory publishers.
• Be introduced to resources to help with evaluating open access journals.

Description:

Scholarly publishing is an important part of a faculty member’s academic and scholarly life cycle. With the rise of digital publishing, however, it is important to have the tools and awareness to identify quality journals to publish in. In this workshop, attendees will learn what to look for in identifying and avoiding predatory publishers and will be introduced …

Family Income And Polygenic Scores Are Independently But Not Interactively Associated With Cognitive Performance Among Youth Genetically Similar To European Reference Populations, S E Paul, N M Elsayed, S M C Colbert, R Bogdan, A S Hatoum, D M Barch

2020-Current year OA Pubs

Cognitive abilities are heritable and influenced by socioeconomic status (SES). It is critical to understand the association between SES and cognition beyond genetic propensity to inform potential benefits of SES-based interventions and to determine if such associations vary across (i) cognitive domains, (ii) facets of SES, and/or (iii) genetic propensity for different aspects of cognition. We examined the contributions of neighborhood socioeconomic advantage, family income, and polygenic scores (PGS) for domains of cognition (i.e., general cognitive ability, executive function, learning and memory, fluid reasoning) in a sample of children (ages 9-10;

A Modification To The Brand Transfer For Claw Hand: The Four-Tailed Extensor Carpi Radialis Brevis To Lateral Band Transfer, Lauren E Wessel, Nirbhay S Jain, Ambika E Paulson, Carrie Bettlach, Mitchell A Pet, Amy M Moore

2020-Current year OA Pubs

BACKGROUND: Claw deformity is a devastating consequence of low ulnar nerve palsy, resulting in loss of finger function. Traditionally, the Brand transfer is a favored intervention but requires lengthy grafts and bulky tenorrhaphies, risking adhesions in the lumbrical canal. We present a modified Brand tendon transfer, which extends the extensor carpi radialis brevis (ECRB) into 4 tails for individual grafting into the lateral band, decreasing adhesion risk and graft length need.

METHODS: Nine consecutive patients with claw hand were examined in detail to confirm the diagnosis and appropriateness for claw-correction surgery by the senior author. All patients underwent our modified …

Complementary, But Not Equivalent: Clarifying The Role Of Rwe And Rct In Migraine Research, Mario F. P. Peres, Hsiangkuo Yuan, Cristina Tassorelli

Department of Neurology Faculty Papers

No abstract provided.

Neck Pain In Migraine: A Narrative Review And Steps To Correct Evaluation And Treatment, Tayla A. Rees, Diana Doukhi, Victor S. Wang, Anita Balcerbula, Michelle Bravo, Haniyeh Fathi, Bahtigul Holmuratova, Michalis Kodounis, Seblewongel A. Seyoum, Semih Tasdelen, Hasmik Vekilyan, Edoardo Caronna, Patricia Pozo-Rosich

Department of Neurology Faculty Papers

Background: Neck pain is common in migraine patients, occurring during all migraine phases and between attacks. It can be a migraine symptom, trigger or a coexisting condition, and is associated with greater disability and poorer treatment response. There is evidence that neck pain associated with headaches can be frequently incorrectly diagnosed as a cervical disorder rather than migraine, resulting in a lack of appropriate treatment. Accurately assessing the connection between neck pain and migraine is crucial for effective treatment. Methods: This narrative review aims to summarise existing research on the role and contribution of neck pain in migraine, both as …

Extraterritoriality In Ai: Harmonizing The Digital Market Act And Us Antitrust Law, Daniel Goicouria

Vanderbilt Journal of Transnational Law

No abstract provided.

Proteomic Approaches To Investigate Pp2a-B55 Substrates And Cellular Function, Brennan C. Mcewan

Dartmouth College Ph.D Dissertations

Cell division is controlled in large part by reversible protein phosphorylation. The phosphorylation state of proteins during mitosis and other phases of the cell cycle represents a careful balance of activity between kinases and opposing phosphatases. The phosphoprotein phosphatase (PPP) family is responsible for the majority of serine and threonine dephosphorylation. Members of the PPP family are composed of a catalytic subunit paired with a regulatory subunit that targets them towards specific substrates.

The most abundant PPP, PPP2A, paired with its regulatory B55 subunit, is thought to be the phosphatase responsible for the dephosphorylation of substrates during mitotic exit. Despite …

Private Law Without Precedent, Danielle D’Onfro

Vanderbilt Law Review

A common-law system assumes that judges regularly issue new opinions that clarify and update the law over time. At the same time, our federal system assumes that state courts will do the bulk of judicial lawmaking, especially in private law. And, with a few exceptions, our broader legal system assumes that state private law has allocated entitlements and obligations into a coherent system. None of these assumptions has been true for a long time. This Article offers a comprehensive account of when and why these assumptions about the proper functioning of private law fail. It then uses this account to …

Dexit Stage West: You Can Incorporate Anytime You Like, But Can You Ever Leave?, Caroline Grady

Vanderbilt Law Review

A company has the freedom to choose which state’s laws will govern its internal affairs when first deciding where to incorporate. Once established and operating under the laws of a particular jurisdiction, the corporation’s shareholders receive a set of rights they opted into by purchasing shares. Many Fortune 500 companies have chosen Delaware as their home due to its robust body of corporate law. Recently, however, some fiduciaries at high-profile companies have grown frustrated with the shareholder-friendly trend in Delaware courts—one that makes it easier for shareholders to sue. In response, western states—particularly Nevada and Texas—have gained the attention of …

Judicial Enforcement Of Evidence Law, G. Alexander Nunn

Vanderbilt Law Review

The truth matters. At least it should. In the courtroom, truth can serve as the cornerstone of justice, liberating the innocent, vindicating victims, and holding the guilty to account. Indeed, truth is such a normative imperative that an entire legal discipline now focuses on fostering its discovery at trial— evidence law. By regulating both the reliability of proof and the rationality of cognitive inferences, evidence law seeks to help factfinders discern truth and reach an accurate verdict. And given the importance of that role, one might naturally assume that the strict enforcement of evidence law would be a legal mandate …

The Not-So-Silent Side Effects Of Upzoning: Noise Pollution, Mackenzi Barrett

Vanderbilt Law Review

A broad coalition has formed to oppose restrictive zoning laws. According to this coalition, zoning is largely to blame for the current housing crisis facing the United States, and to increase the housing supply, cities across the country should embrace upzoning—that is, loosen zoning laws to allow for greater density. Like many other well-intentioned policy changes, upzoning has the possibility for negative unintended consequences. Among those consequences is noise pollution. In recent decades, noise pollution has gone largely undiscussed in the United States. Notwithstanding this neglect, existing research demonstrates that noise pollution can have serious adverse effects on people’s health …

Draft Final Butte Priority Soils Operable Unit (Bpsou) Insufficiently Reclaimed Sites Remedial Action Work Plan (Rawp): Bres No. 104 (Colorado Dump) North Slope, Pioneer Technical Services, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Reasoning From Injustice, Robert L. Tsai

Faculty Scholarship

In a series of lectures at Yale Law School, the Harvard political theorist Judith Shklar critiqued leading models of justice as overly abstract and lacking a realistic account of the social dynamics that perpetuate injustice. In this essay, Professor Tsai builds on Shklar’s account of injustice as a social phenomenon by offering a structural reading of key literary texts that explore the nature of legal injustice—from the Book of Job to Harriett Beecher Stowe’s Uncle Tom’s Cabin and Frederick Douglass’s The Heroic Slave. A close reading of these texts permits us to flesh out Shklar’s observations and “give injustice …

Smart Search Results For Growth And Economic Performance Comparison Of Twenty-Year-Old ... Refine Results For Arkansas Net Energy: A Productive Energy System Sensitive To Broiler Performance And Body Composition Arkansas Net Energy: A Productive Energy System Sensitive To Broiler Performance And Body Composition 21 Of 94 Arkansas Net Energy: A Productive Energy System Sensitive To Broiler Performance And Body Composition, Diego A. Martinez, Nawin Suesuttajit, Cole Umberson, Craig N. Coon

Poultry Science Faculty Publications and Presentations

This study determined the sensitivity of productive energy (PE; Arkansas Net Energy) to performance and body composition and developed predictive models based on PE. Chicks (2,148 day-old ones) were placed in 96 pens and assigned to one of 12 dietary treatments, including varying concentrations of total digestible amino acids (TDAA), digestible CP (dCP), digestible fat (dFat), digestible starch, and non-starch polysaccharides (NSP). Eight replications per treatment, one per block, were used, being the block consecutive groups of birds weekly starting the seven-day experimental period. In each block, birds were control fed to meet similar ME intake, placed in calorimetry chambers …

Productive Energy, As Determined By Arkansas Net Energy, Predicts Broiler Processing Weights, Carcass Market Value, And Gross Profit, Diego A. Martinez, Nawin Suesuttajit, Cole Umberson, Craig N. Coon

Poultry Science Faculty Publications and Presentations

This study assessed the sensitivity of Productive Energy (PE) to breast meat production, feed efficiency, and broiler economics, developed models for processing traits and economics, and examined economics dynamics. The experimental design involved 96 pens, 12 per block and eight blocks, with each pen within block receiving one of 12 dietary treatments for one week. Treatment diets, varying in amino acid concentrations, starch, and energy densities, were control-fed. The weights of processing body parts and net energy for gain (NEg) were determined with Dual-Energy X-Ray Absorptiometry, and fed heat production, fasting heat production (FHP), and net energy for maintenance (NEm) …

Impact Of Feature Standardization On Heart Disease Prediction A Comparative Analysis Of Logistic Regression And Support Vector Machine Models, Norsyela Muhammad Noor Mathivanan, Eric Foo Zhi Xian, Debbie Foo Yong, Hiang Kiat Chua

Malaysian Journal of Computing (MJoC)

Cardiovascular diseases are among the leading causes of global mortality. Heart disease, in particular, remains a major contributor to this burden, highlighting the need for effective predictive models to enable early detection. This study investigates the impact of feature standardization using StandardScaler on the performance of two prominent machine learning models involving Logistic Regression (LR) and Support Vector Machine (SVM) for predicting heart disease. The research utilizes a dataset comprising demographic and clinical attributes of patients, focusing on the role of feature standardization in enhancing model performance. The study compares models trained on raw data and standardized data, applying performance …

Haar Cascade Algorithm For Microsleep Detection, Norkhushaini Awang, Ahmad Mirza Azhar

Malaysian Journal of Computing (MJoC)

Drowsy driving, particularly due to microsleep episodes, is a significant cause of traffic accidents, with existing solutions being often too costly or limited for widespread adoption. This project addresses this critical gap by developing a cost-effective, real-time Internet of Things (IoT)-based anti-microsleep alarm system. The system's development followed a fourstage process: Planning, Design, Development, and Evaluation. During the development phase, the system was built in Python using OpenCV and dlib for real-time facial analysis and the Haar Cascade algorithm for efficient facial feature detection. Key metrics like the Eye Aspect Ratio (EAR) and lip distance were monitored to identify signs …

Beneficial Ownership In Domestic Tax Legislation, Some Clarity, But Far From ‘Well Established’: Hargreaves Property Holdings Ltd V Hmrc [2024] Ewca Civ 365, Vincent Ooi

Research Collection Yong Pung How School Of Law

The concept of beneficial ownership is extensively used in domestic tax legislation, but several decades ofinconsistent case law have muddied the waters as to exactly what it means. With the leading casesstopping short of the apex court, it is difficult to reconcile the cases and come up with a clear definition ofbeneficial ownership. The recent Hargreaves decision by Falk LJ (with whom Nugee and Peter JacksonLJJ agreed) represents the most structured judicial attempt to rationalise the concept to date. This notesuggests that, contrary to Falk LJ’s statement that the concept is ‘well established’, the law pre-Hargreaveswas far from clear. This …