Data-driven dynamic logic for low power adders and multipliers by Mahendiran Navasakthi

“…These circuits are designed and simulated using Cadence Virtuoso in TSMC 65nm specification. The propagation delay and power of each logic is calculated and compared. …”
Get full text

Leveraging Multi-Stage Machine Learning Pipelines for Extracting Structured Key-Value Pairs from Documents by Pyo, Bryan

“…This thesis discusses several pipelines that have been developed to extract data in the form of key-value pairs from specification sheets describing mechanical parts achieving accuracies ranging from 80% to 100% depending on the pipeline and the target documents and key-value pairs.…”
Get full text

Analysis and characterization of nervous system defects in candidate mutations resulting from a mutagenesis screen in the fruit fly, Drosophila melanogaster by Joanita Jasmen

“…Overall, the mutations generated were not found to be directly implicated to DA neuron fate specification as tyrosine hydroxylase (TH) expression pattern remained unaffected.…”
Get full text

Design and verification of a fast low-dropout regulator for a high performance receiver chain targeting GNSS applications by Debaditya, Mullick

“…A GNSS receiver, such as a Global Positioning System (GPS) receiver chain consists of multiple cascaded blocks, where each one contributes to the down conversion process of the feeble GPS signals received from a satellite in space. The design specification of the LDO regulator is obtained from the load, which in this case is a time-to-digital (TDC) convertor operating at a high frequency. …”
Get full text

Channelized coinShuffle++ : practical unlinkability in the ethereum blockchain by Xiong, Luoyuan

“…A complete system specification and theoretical evaluation will be provided while the actual experimental the result will appear in a future update once an end-to-end Proof of Concept is built.…”
Get full text

QUCS-S: a central tool in the openPDK IC design flow by Brinson, Mike

“…The release by IHP-GmbH in September 2023, of a Process Design Kit (PDK) specification for a 130nm BiCMOS process provides IC designers access to an open source PDK for analog, digital mixed signal and RF IC Design. …”
Get full text

High-level automatic pipelining for sequential circuits by Marinescu, Maria-Cristina V, Rinard, Martin

“…Our experimental results show that, starting with a non-pipelined or insufficiently pipelined specification, this synthesizer can effectively reduce the clock cycle time and improve the throughput of the generated circuit.…”
Get full text

Interactive partitioning of 3D models into printable parts by Jadoon, Aamir Khan, Wu, Chenming, Liu, Yong-Jin, He, Ying, Wang, Charlie C. L.

“…Our tool aims at improving Chopper by providing users three easy-to-use interactive operations: no-go region painting, cutting plane specification and components reunion. With these operations, we show that (1) exhaustive search in the BSP tree-the most time-consuming step in Chopper-can be avoided, (2) more flexible geometric configurations can be provided, (3) users design intention is considered naturally and efficiently, and customized 3D partitioning results can be obtained. …”
Get full text

Design of circular polarized micro-strip antenna by Shanmugam Bhaskar Vignesh

“…The antenna has fulfilled the design specifications suitable for applications of Wireless Power Transmission in the ISM band.…”
Get full text

Computational modeling of angiogenesis: the importance of cell rearrangements during vascular growth by Stepanova, D, Byrne, HM, Maini, PK, Alarcón, T

“…We start by describing the biological processes that occur during early angiogenesis, such as phenotype specification, cell rearrangements and cell interactions with the microenvironment. …”

Umwelt: Accessible Structured Editing of Multi-Modal Data Representations by Zong, Jonathan, Pedraza Pineros, Isabella, Chen, Mengzhu (Katie), Hajas, Daniel, Satyanarayan, Arvind

Get full text

On Modular Pluggable Analyses Using Set Interfaces by Lam, Patrick, Kuncak, Viktor, Rinard, Martin

“…Each analysis verifies that the implementation of themodule 1) preserves important internal data structure representationinvariants and 2) conforms to a specification that uses formulas in a setalgebra to characterize the effects of operations on the data structure.The analyses use the common set abstraction to 1) characterize howobjects participate in multiple data structures and to 2) enable the interanalysiscommunication required to verify properties that depend onmultiple modules analyzed by different analyses.We characterize the key soundness property that an analysis plugin mustsatisfy to successfully participate in our system and present several analysisplugins that satisfy this property: a flag plugin that analyzes modulesin which abstract set membership is determined by a flag field in eachobject, and a graph types plugin that analyzes modules in which abstractset membership is determined by reachability properties of objects storedin tree-like data structures.…”
Get full text

Exploring human computation via interactive online application by Lee, Ming Hua.

“…This is a FYP Final Report to document all relevant background information, the game specification, its test results and findings regarding the project "Exploring Human Computation via Interactive Online Application". …”
Get full text

SEM-I rational MT : enriching deep grammars with a semantic interface for scalable machine translation by Bond, Francis, Flickinger, Dan., Lønning, Jan Tore., Dyvik, Helge., Oepen, Stephan.

“…In the LOGON machine translation system where semantic transfer using Minimal Recursion Semantics is being developed in conjunction with two existing broad-coverage grammars of Norwegian and English, we motivate the use of a grammar-specific semantic interface (SEM-I) to facilitate the construction and maintenance of a scalable translation engine. …”
Get full text
Get full text

Complexity-Theoretic Limitations on Quantum Algorithms for Topological Data Analysis by Schmidhuber, Alexander, Lloyd, Seth

“…Finally, we argue that an exponential quantum advantage can be recovered if the input data is given as a specification of simplices rather than as a list of vertices and edges.…”
Get full text

Breast cancer diagnosis through an optimization-driven multispectral gamma correction (ODMGC) by Raj A, Arul Edwin, Ahmad, Nabihah, Durai S, Ananiah

“…The classifier results showed an accuracy of 96.4%, sensitivity of 98.1%, and specificity of 96.9%.…”
Get full text

Sure (EM)-Autometrics: An Automated Model Selection Procedure with Expectation Maximization Algorithm Estimation Method (S/O 14925) by Kamarudin, Nur Azulia

“…Three econometric models have been utilised as a testbed for true specification search. The results were divided into four categories where a tight significance level of 1% had contributed a high percentage of all equations in the model contain variables precisely comparable to the true specifications. …”
Get full text

Achieving the target crystal size distribution in the case of agglomeration and breakage for batch cooling crystallisation process by Zakirah, Mohd Zahari, Suriyati, Saleh, Noor Asma Fazli, Abdul Samad

“…One of the main specification of crystallisation process is the crystal size distribution (CSD). …”
Get full text

It Is Time to Standardize Principles and Practices for Software Memory Safety by Watson, Robert, Baldwin, John, Chen, Tony, Chisnall, David, Clarke, Jessica, Davis, Brooks, Filardo, Nathaniel, Gutstein, Brett, Jenkinson, Graeme, Laurie, Ben, Mazzinghi, Alfredo, Moore, Simon, Neumann, Peter, Okhravi, Hamed, Rebert, Alex, Richardson, Alex, Sewell, Peter, Tratt, Laurence, Vijayaraghavan, Muralidaran, Vincent, Hugo, Witaszczyk, Konrad

“…This is needed to enable reliable specification, design, implementation, auditing, and procurement of strongly memory-safe systems. …”
Get full text

Automatic metric 3D surface mesh generation using subdivision surface geometrical model. Part 1 : construction of underlying geometrical model by Lee, Chi King

“…The algorithm is based on the metric specification approach and can generate anisotropic meshes on 3D surfaces. …”
Get full text
Get full text