Results 51 to 60 of about 1,368,503 (261)

Towards Effects in Mathematical Operational Semantics

Mathematical Foundations of Programming Semantics, 2011
In this paper, we study extensions of mathematical operational semantics with algebraic effects. Our starting point is an effect-free coalgebraic operational semantics, given by a natural transformation of syntax over behaviour. The operational semantics
Faris Abou-Saleh, D. Pattinson
semanticscholar   +1 more source

PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science

Advanced Engineering Materials, EarlyView.
Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley   +1 more source

Meaning and Reference in Programming Languages

Philosophies
This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj   +1 more source

Reversing Parallel Programs with Blocks and Procedures [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
We show how to reverse a while language extended with blocks, local variables, procedures and the interleaving parallel composition. Annotation is defined along with a set of operational semantics capable of storing necessary reversal information, and ...
James Hoey, Irek Ulidowski, Shoji Yuen
doaj   +1 more source

Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics

Advanced Functional Materials, EarlyView.
Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha, Yingshan Ma, Yong Nam An, Sung‐Un An, Hyeon Hak Jung, Suvi‐Tuuli Varjamo, Jiwon Yoo, Junho Min, Hanvit Kim, Faisal Ahmed, Sang Hoon Chae, Young Min Song, Weiwei Cai, Tawfique Hasan, Zhipei Sun, Dong‐Ho Kang, Hyeon‐Jin Shin, Yunyun Dai, Hoon Hahn Yoon   +18 more
wiley   +1 more source

Stepped Frequency Microwave Radiometer Wind-Speed Retrieval Improvements

Remote Sensing, 2019
With the operational deployment of the *SFMR, hurricane reconnaissance and research aircraft provide near real-time observations of the 10 m ocean-surface wind-speed both within and around tropical cyclones.
Joseph W. Sapp, Suleiman O. Alsweiss, Zorana Jelenak, Paul S. Chang, James Carswell   +4 more
doaj   +1 more source

First Class Call Stacks: Exploring Head Reduction [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
Weak-head normalization is inconsistent with functional extensionality in the call-by-name λ-calculus. We explore this problem from a new angle via the conflict between extensionality and effects. Leveraging ideas from work on the λ-calculus with control,
Philip Johnson-Freyd, Paul Downen, Zena M. Ariola   +2 more
doaj   +1 more source

Gourd‐Inspired Design of Unit Cell with Multiple Gradients for Physiological‐Range Pressure Sensing

Advanced Functional Materials, EarlyView.
Gourd‐shaped micro‐dome arrays with coordinated modulus, conductivity, and geometric gradients co‐optimize sensitivity and linearity in piezoresistive tactile sensors. Under pressure, a solid upper dome embeds into a porous lower dome, triggering rapid contact‐area growth and series‐to‐parallel conduction, enabling unsaturated, intensity‐resolved ...
Jiayi Xu, Ming Lei, Yuanzhe Liang, Biao Qi, Ziyi Dai, Yong Zhao, Bingpu Zhou   +6 more
wiley   +1 more source

Drug‐Free Thrombolysis Mediated by Physically Activated Micro/Nanoparticles

Advanced Functional Materials, EarlyView.
Overview of particle‐mediated thrombolytic effects (thermal, mechanical, and chemical) and their activating physical stimuli (light, ultrasound, and magnetic field) in drug‐free thrombolysis. ABSTRACT Thrombus‐associated disorders rank among the world's leading causes of death, with ischemic heart disease and stroke as the main contributors.
Pierre Sarfati, Yoann Lalatonne, Cédric Chauvierre   +2 more
wiley   +1 more source

Indicators: Syntactic Vision and Semantic Vision: First Part (Indicadores: la Visión Sintáctica y la Visión Semántica: Primera Parte)

Science & Philosophy, 2017
In this essay several aspects of the concept ‘indicator’ are criticized, as well as the technical consequences of those misconceptions. The most relevant among them is the pretence of measuring the validity of an indicator, e. g.
Alberto Marradi
doaj   +1 more source