Results 121 to 130 of about 1,793,343 (326)

THE MODAL µ-CALCULUS: A SURVEY

TASK Quarterly, 2005
The modal µ-calculus is an extension of modal logic with two operators µ and ν, which give the least and greatest fixpoints of monotone operators on powersets.
GIACOMO LENZI
doaj  

Theoretical Computer Science for the Working Category Theorist [PDF]

, 2017
Noson S. Yanofsky
openalex   +1 more source

Dynamic Precipitation during High‐Pressure Torsion of a Magnesium–Manganese Alloy

Advanced Engineering Materials, EarlyView.
An ultrafine‐grained alloy is produced by high‐pressure torsion of solutionized Mg–1.35 wt% Mn. Precipitation of nanometer‐scale Mn particles during deformation provides pinning sites. This prevents the formation of a bimodal grain structure and results in a finer grain size than for pure Mg.
Julian M. Rosalie, Anton Hohenwarter
wiley   +1 more source

Individualized course in theoretical computer science [PDF]

, 1978
John Grant
openalex   +1 more source

Characterization of Defect Distribution in an Additively Manufactured AlSi10Mg as a Function of Processing Parameters and Correlations with Extreme Value Statistics

Advanced Engineering Materials, EarlyView.
Predicting extreme defects in additive manufacturing remains a key challenge limiting its structural reliability. This study proposes a statistical framework that integrates Extreme Value Theory with advanced process indicators to explore defect–process relationships and improve the estimation of critical defect sizes. The approach provides a basis for
Muhammad Muteeb Butt, Varma Kvvssn, Hossein Laieghi, Zia Uddin, Peyman Ansari, E. Kıvanç Sadak, Can Barış Toprak, Hüseyin Kızıl, Enrico Salvati   +8 more
wiley   +1 more source

Want to make a great puzzle game? Get inspired by theoretical computer science.

, 2014
Jeremy Kun
openalex   +1 more source

Laser Metal Deposited Ti4822 Hollow Pipe: Experimental and Computational Modelling Study

Advanced Engineering Materials, EarlyView.
Laser metal deposition (LMD) of a crack‐free built Ti4822 alloys is challenging. This article reports outstanding characteristics of a hollow pipe that is built with LMD technology when a predicted, nontransformation substrate temperature of 800 °C is used.
Sadiq A. Raji, Monnamme Tlotleng, Samuel Skhosane, Lehlogonolo R. Kanyane, Abimbola P. I. Popoola, Sisa L. Pityana   +5 more
wiley   +1 more source

Learning density functionals from noisy quantum data

Machine Learning: Science and Technology
The search for useful applications of noisy intermediate-scale quantum (NISQ) devices in quantum simulation has been hindered by their intrinsic noise and the high costs associated with achieving high accuracy.
Emiel Koridon, Felix Frohnert, Eric Prehn, Evert van Nieuwenburg, Jordi Tura, Stefano Polla   +5 more
doaj   +1 more source

Unlocking the Power of Quercetin‐Encapsulated Mesoporous Bioactive Glass Nanoparticles: A Multifunctional Approach to Bone Regeneration

Advanced Engineering Materials, EarlyView.
Mesoporous bioactive glass nanoparticles (MBGNs) are investigated for bone regeneration given their remarkable structural and functional properties. MBGNs are functionalized with Mn and Cu and incorporated with quercetin, a natural flavonoid exhibiting antioxidant, anti‐inflammatory, and antimicrobial properties.
Giovanni Lo Bello, Qaisar Nawaz, Pier Francesco Ferrari, Laura Pastorino, Roberto Raiteri, Aldo R. Boccaccini   +5 more
wiley   +1 more source

Analyse et organisation d’une situation didactique « débranchée » pour découvrir l’IA, à l’interface entre mathématiques et informatique : la machine qui apprend à gagner à un jeu de Nim

Annales de Didactique et de Sciences Cognitives
This article offers a didactic analysis of an activity derived from scientific outreach, at the interface between mathematics and computer science. We analyse an activity based on a particular combinatorial game and a machine which learns to win at this ...
Pierre Esclafit, Simon Modeste
doaj   +1 more source