Results 81 to 90 of about 29,356 (295)
TRIM: Simultaneous Thermometry, Ranging, and Imaging via a Monolithic Metalens
Advanced Science, EarlyView.ABSTRACT While metasurfaces offer a pathway beyond the discrete architectures of conventional LWIR systems, physically fusing high‐precision thermometry and passive ranging onto a single metalens remains a formidable challenge. Here, we demonstrate a monolithic, dual‐focus metalens capable of simultaneous multidimensional sensing.
Man Yuan +10 more
wiley +1 more source
Expressiveness of Process Algebras
Electronic Notes in Theoretical Computer Science, 2008 AbstractWe examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature.
openaire +1 more source
Computer algebra and transputers applied to the finite element method [PDF]
, 1992 Recent developments in computing technology have opened new prospects for computationally intensive numerical methods such as the finite element method.
Barbier, Christine, Barbier, C
core
Advanced Science, EarlyView.Expanded‐graphite/graphene‐nanoplatelet hybrids deliver a near‐order‐of‐magnitude thermal‐conductivity enhancement in paraffin phase‐change materials. A microCT‐informed 3D modeling framework resolves the percolating EG backbone and captures sub‐voxel GNP enrichment, quantitatively linking microstructure to heat flow and revealing a graphene‐enabled ...
Thomas Hoke +4 more
wiley +1 more source
Process algebra with prepositional signals
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baeten, J.C.M., Bergstra, J.A.
openaire +11 more sources
Enhancing Formal Methods Integration with ACP2Petri
Journal of Information and Organizational Sciences, 2016 The paper deals with the ACP2Petri tool, providing a transformation of process algebraic specification to equivalent Petri net-based specification. Long-term practical experiences with the tool revealed some suggestions for its update and extension ...
Slavomír Šimoňák, Martin Šolc
doaj
AI‐Physics‐Experiment Trinity for Integrated Protein Dynamics Modeling
Advanced Science, EarlyView.This review unites experiments, physics‐based simulations, and AI as a synergistic triad for protein dynamics modeling. It highlights integrative strategies, resolves sampling and forcefield bottlenecks, and outlines challenges and future directions for accurate, interpretable conformational ensemble prediction.
Chen Shi +4 more
wiley +1 more source
Electronic Notes in Theoretical Computer Science, 2006 AbstractAfter 25 years of research (19 personally) into process algebras, I ask what areas of mathematics other than the analysis of concurrent computation could or indeed should its basic approach be applied? In particular, I identify the two areas of reductionism and model comprehension, upon which I believe that process algebra has the potential to ...
openaire +1 more source
GAP ANALIZA ALGEBRA GRUPE SUKLADNO GDPR-u TE PRIJEDLOZI USKLAĐIVANJA U ODJELU MARKETINGA [PDF]
, 2018 Nova pravila o zaštiti osobnih podataka, Opća uredba o zaštiti osobnih podataka (Uredba) donose velike promjene u regulaciji osobnih podataka za sve pravne osobe koje u svom poslovanju obrađuju ili koriste osobne podatke.
Čop, Helena
core
Advanced Science, EarlyView.Correcting the apparent priming effect resolves systematic biases in Asian rice fertilizer nitrogen accounting. Net soil retention drops below 7%, while 48% of fertilizer escapes, inflicting US$98.53 billion in annual reactive‐nitrogen damages. High‐resolution mapping uncovers N‐risk archetypes across 42% of the rice area, delivering a spatially ...
Xiuyun Liu +5 more
wiley +1 more source