Results 21 to 30 of about 527,651 (289)

Introspective Pushdown Analysis of Higher-Order Programs [PDF]

, 2012
In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection skirt just inside the boundaries of soundness and decidability.
Earl, Christopher, Might, Matthew, Sergey, Ilya, Van Horn, David   +3 more
core   +4 more sources

Robust sub-100 nm T-Gate fabrication process using multi-step development

Micro and Nano Engineering, 2023
We demonstrate the fabrication of sub-100 nm T-Gate structures using a single electron beam lithography exposure and a tri-layer resist stack - PMMA/LOR/CSAR.
Kaivan Karami, Aniket Dhongde, Huihua Cheng, Paul M. Reynolds, Bojja Aditya Reddy, Daniel Ritter, Chong Li, Edward Wasige, Stephen Thoms   +8 more
doaj   +1 more source

Tools for Full Stack Biology [PDF]

Cell Systems, 2015
Among the many research milestones in 2015, several signify remarkable progress toward an integrative view of human biology. Whole-genome sequencing of thousands of individuals yielded catalogs of genetic variation across Iceland, Sardinia, and the UK; and the final phase of the 1000 Genomes Project looked at variation globally.
openaire   +2 more sources

Agile Calibration Process of Full-Stack Simulation Frameworks for V2X Communications [PDF]

, 2017
Computer simulations and real-world car trials are essential to investigate the performance of Vehicle-to-Everything (V2X) networks. However, simulations are imperfect models of the physical reality and can be trusted only when they indicate agreement ...
Mavromatis, Ioannis, Nix, Andrew, Piechocki, Robert J., Tassi, Andrea   +3 more
core   +3 more sources

Anode-Versus Cathode-Supported Solid Oxide Fuel Cell: Effect of Cell Design on the Stack Performance

International Journal of Electrochemical Science, 2015
This paper investigates the effect of cell design on solid oxide fuel cells (SOFC) stack performance. Based on 3-dimensional numerical simulations, it is found that the performance of stack is strongly dependent on cell design.
Shichuan Su, Xiang Gao, Qiang Zhang, Wei Kong, Daifen Chen   +4 more
doaj   +1 more source

Building an end user focused THz based ultra high bandwidth wireless access network: The TERAPOD approach [PDF]

, 2017
The TERAPOD project aims to investigate and demonstrate the feasibility of ultra high bandwidth wireless access networks operating in the Terahertz (THz) band.
Cojocari, Oleg, Davy, Alan, George, Glenn, Kurner, Thomas, Naftaly, Mira, O'Mahony, Niamh, Pessoa, Luis, Porcel, Marco A. G., Renaud, Cyril, Wasige, Edward   +9 more
core   +2 more sources

Benchmarking Tabular Data Synthesis: Evaluating Tools, Metrics, and Datasets on Prosumer Hardware for End-Users

Data Science Journal
Synthetic data is a useful solution when data is scarce or private, as it supports reproducible experimentation, privacy-preserving data sharing, data re-purposing, and robust evaluation of data systems.
Maria Fernanda Davila Restrepo, Benjamin Wollmer, Fabian Panse, Wolfram Wingerath   +3 more
doaj   +1 more source

FULL STACK WEB DEVELOPMENT INTERFACE MANGMENT SYSTEM FOR MEGA PROJECTS [PDF]

Proceedings on Engineering Sciences
This paper aims to enhance communication, collaboration and coordination interface points among stakeholders and various disciplines participation in the project directly and indirectly by defining the roles and responsibilities of all project parties ...
Khaled A. Hamdy , Amin Saleh , Abdallah Hosny   +2 more
doaj   +1 more source

Frobenius morphisms and derived categories on two dimensional toric Deligne-Mumford stacks

, 2013
For a toric Deligne-Mumford (DM) stack, we can consider a certain generalization of the Frobenius endomorphism. For such an endomorphism on a two-dimensional toric DM stack, we show that the push-forward of the structure sheaf generates the bounded ...
Ohkawa, Ryo, Uehara, Hokuto
core   +1 more source

Full TCP/IP for 8-Bit architectures [PDF]

, 2003
We describe two small and portable TCP/IP implementations fulfilling the subset of RFC1122 requirements needed for full host-to-host interoperability. Our TCP/IP implementations do not sacrifice any of TCP's mechanisms such as urgent data or congestion ...
Dunkels, Adam
core   +3 more sources