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

A novel bearingless interior permanent magnet slice motor for pump* by Kant, Krishan, Weinreb, Benjamin S., Hegy, Michael, Gartner, Mark, Trumper, David L.

“…A novel IPM rotor is designed considering various specifications such as force constant, torque constant and cogging torque. …”
Get full text

Synthesis design of a wideband bandpass filter with inductively coupled short-circuited multi-mode resonator by Zhang, Runqi, Zhu, Lei

“…As such, the impedance value for each section is determined once the specifications are given. With this method, design curves of different orders and ripple factors are provided to aid the design of a class of wideband BPFs. …”
Get full text
Get full text

Acoustically Controlled Remotely Operated Undersea Vehicles: A Quantitative Analysis by Stites, Corwin Wesley

“…A MATLAB simulation has been constructed to analyze a hypothetical ROV grid search mission across multiple parameters relating to the vehicle specifications, the mission layout, the acoustic communication system, and the operating environment. …”
Get full text
Get full text

Development of a light aircraft model for the NTU flight simulator by Lee, Kok Vui.

“…The chosen light aircraft model was the Cessna 172 R-Variant SkyHawk. The specifications of the aircraft were obtained through online research while performances data were extracted from programs like the Advanced Aircraft Analysis and FlightGear. …”
Get full text

Rewriting the literary tradition : chick lit by Cao, Baoying

“…As for what fits into the category of ‘literary text,’ there does not appear to be absolute specifications. It seems, in the course of studying literature, that a fair amount of creative license can be undertaken in both the application of particular theories to texts, and in the selection of the texts themselves. …”
Get full text

GUI development for power substation monitoring system by Lim, Sean Yang Wen

“…The report provides a detailed description of how the GUI was built with the specifications that were given. Using software like Matlab, Javascript and OSIsoft which consists of the PI Server, PI ProcessBook, PI System and the PI Coresight. …”
Get full text

Brain control games and applications by Darmaja, Natalia

“…Many companies have come up with their version of EEG-based BCI with a wide range of price and specifications. Nonetheless, despite several studies exploring the capability of EEG headset as video gaming tool, it has yet gained much recognition. …”
Get full text

Understanding electrostatic interaction on strong cation-exchanger via co-ion valency effects by Essert, GM, de Souza, JP, Schwaminger, SP, Bazant, MZ, Berensmeier, S

“…Together with the physical specifications of the column and the deployment of a modified nonlinear Poisson-Boltzmann equation, we identified the effects of the electrolyte composition on the size of the EDL. …”
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

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. …”

The impact of environmental disclosure on initial public offering underpricing: sustainable development in Singapore by Kang, Eugene, Lam, Nguyen Bao

“…This finding is robust to different model specifications and measurements. We provide new evidence that linguistic features, that is, tone and authenticity, interact to influence a key IPO outcome. …”
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

A simplified formulation to estimate influence of gearbox parameters on the rattle noise by Zhang, Jidong, Sui, Wentao, Dhupia, Jaspreet

“…Thus, the proposed analytical evaluation method can optimize the gearbox specifications at the design stage to reduce the gear rattle noise level.…”
Get full text

The effect of carotene extraction system on crude palm oil quality, carotene composition, and carotene stability during storage by Baharin, B. S., Latip, R. A., Che Man, Y. B., Abdul Rahman, R.

“…However, the CPO still can be refined to produce refined, bleached, deodorized palm oil that meets the Palm Oil Refiners Association of Malaysia specifications. No extra cost was incurred by refining this CPO as the dosage of bleaching earth used was very similar to the refining of standard CPO. …”
Get full text

Effect of ADC to respiratory sound classification by Lau, Benson Yong Zhi

“…Hence this results in different phones having different specifications. This project proposed a study in the effect of Analog-Digital Converter in the classification of sound. …”
Get full text

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