Results 121 to 130 of about 1,438,260 (332)

On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control [PDF]

arXiv, 2016
We compare the expressive power of three programming abstractions for user-defined computational effects: Bauer and Pretnar's effect handlers, Filinski's monadic reflection, and delimited control without answer-type-modification. This comparison allows a precise discussion about the relative expressiveness of each programming abstraction.
arxiv  

Pattern Reification as the Basis for Description-Driven Systems

, 2003
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change.
Estrella, Florida, Goff, Jean-Marie Le, Kovacs, Zsolt, McClatchey, Richard, Solomonides, Tony, Toth, Norbert   +5 more
core   +2 more sources

Designing Metastable P3‐type Layered Negative Electrodes with High Na Vacancy Concentration for High‐Power Sodium‐Ion Batteries

Advanced Functional Materials, EarlyView.
A metastable high‐vacancy concentration layered P3‐type Na0.5Cr0.5Ti0.5O2 negative electrode material has been synthesized from its K analogues P3‐type K0.5Cr0.5Ti0.5O2 using a facile room temperature ion‐exchange method. The P3‐type Na0.5Cr0.5Ti0.5O2 demonstrates a gravimetric capacity of 125 mA h g−1 and high‐rate performance (80% charging in 3 min ...
Alok K. Pandey, Benoît D.L. Campéon, Saad Zafar, Toru Ishigaki, Tsubasa Koyama, Masanobu Nakayama, Naoaki Yabuuchi   +6 more
wiley   +1 more source

Towards a Theory of Software Development Expertise

, 2018
Software development includes diverse tasks such as implementing new features, analyzing requirements, and fixing bugs. Being an expert in those tasks requires a certain set of skills, knowledge, and experience.
Anders Ericsson K., Andrew, Curtis Bill, Design, Expert, Garland Ron, Kagdi Huzefa H., Kalliamvakou Eirini, Tourish Dennis   +8 more
core   +1 more source

Universal Superconductivity in FeTe and All‐Iron‐Based Ferromagnetic Superconductor Heterostructures

Advanced Functional Materials, EarlyView.
The first all‐iron‐based ferromagnetic superconductor heterostructures with high‐temperature superconductivity and strong ferromagnetism aredemonstrated. From this, it is discovered that FeTe becomes universallysuperconducting with a minute level of cationic impurities through doping ordiffusion from neighboring layers, suggesting its ground state can ...
Hee Taek Yi, Xiong Yao, Deepti Jain, Ying‐Ting Chan, An‐Hsi Chen, Matthew Brahlek, Kim Kisslinger, Kai Du, Myung‐Geun Han, Yimei Zhu, Weida Wu, Sang‐Wook Cheong, Seongshik Oh   +12 more
wiley   +1 more source

Joint Beamforming Design in Multi-Cluster MISO NOMA Intelligent Reflecting Surface-Aided Downlink Communication Networks [PDF]

arXiv, 2019
Considering intelligent reflecting surface (IRS), we study a multi-cluster multiple-input-single-output (MISO) non-orthogonal multiple access (NOMA) downlink communication network. In the network, an IRS assists the communication from the base station (BS) to all users by passive beamforming.
arxiv  

Enhanced Terahertz Spectroscopy of a Monolayer Transition Metal Dichalcogenide

Advanced Functional Materials, EarlyView.
An ad‐hoc engineered metallic surface is employed to perform enhanced terahertz spectroscopy of a monolayer transition metal dichalcogenide (TMD). Thanks to a local absorption boost of 104, this technique allows for the extraction of the phonon resonance features and effective permittivity of the 2D material, paving the way for the rational design of ...
Xin Jin, Vincenzo Aglieri, Young‐Gyun Jeong, Atiye Pezeshki, Lilian Skokan, Mostafa Shagar, Yuechen Jia, Pablo Bianucci, Andreas Ruediger, Emanuele Orgiu, Andrea Toma, Luca Razzari   +11 more
wiley   +1 more source

Logic programming: laxness and saturation [PDF]

arXiv, 2016
A propositional logic program $P$ may be identified with a $P_fP_f$-coalgebra on the set of atomic propositions in the program. The corresponding $C(P_fP_f)$-coalgebra, where $C(P_fP_f)$ is the cofree comonad on $P_fP_f$, describes derivations by resolution.
arxiv  

Simulation modelling and visualisation: toolkits for building artificial worlds [PDF]

, 2008
Simulations users at all levels make heavy use of compute resources to drive computational simulations for greatly varying applications areas of research using different simulation paradigms.
Gerdelan, A.P., Hawick, K.A., Leist, A., Playne, D.P., Scogings, C.J.   +4 more
core  

Optical Hydrogen Sensing Materials for Applications at Sub‐Zero Temperatures

Advanced Functional Materials, EarlyView.
This study demonstrates the viability of optical hydrogen sensors at temperatures as low as −60°C. Using advanced metal hydride materials, the sensors detect hydrogen with high sensitivity, speed, and stability across a wide range of concentrations. These findings open doors for safe hydrogen detection in extreme cold, enabling applications in aviation,
Ziqing Yuan, Herman Schreuders, Robert Dankelman, Bernard Dam, Lars J. Bannenberg   +4 more
wiley   +1 more source