Results 61 to 70 of about 342,984 (310)

Roadmap on Artificial Intelligence‐Augmented Additive Manufacturing

Advanced Intelligent Systems, EarlyView.
This Roadmap outlines the transformative role of artificial intelligence‐augmented additive manufacturing, highlighting advances in design, monitoring, and product development. By integrating tools such as generative design, computer vision, digital twins, and closed‐loop control, it presents pathways toward smart, scalable, and autonomous additive ...
Ali Zolfagharian, Liuchao Jin, Qi Ge, Wei‐Hsin Liao, Andrés Díaz Lantada, Francisco Franco Martínez, Tianyu Zhang, Tao Liu, Charlie C. L. Wang, Mohammad Hossein Mosallanejad, Reza Ghanavati, Abdollah Saboori, Alejandro De Blas De Miguel, William Solórzano‐Requejo, Yi Cai, Xiangyang Dong, Huangyi Qu, Najmeh Samadiani, Guangyan Huang, Austin Downey, Yanzhou Fu, Lang Yuan, Tsz‐Kwan (Glory) Lee, Arbind Agrahari Baniya, Eisha Waseem, Abdul Rahman Sani, Abbas Z. Kouzani, Yijia Wu, Markus P. Nemitz, Masoud Shirzad, Dageon Oh, Seung Yun Nam, Amedeo Franco Bonatti, Irene Chiesa, Gabriele Maria Fortunato, Giovanni Vozzi, Carmelo De Maria, Mahdi Bodaghi   +37 more
wiley   +1 more source

Parabolic methods for the construction of spacelike slices of prescribed mean curvature in cosmological spacetimes [PDF]

, 1999
Spacelike hypersurfaces of prescribed mean curvature in cosmological space times are constructed as asymptotic limits of a geometric evolution equation. In particular, an alternative, constructive proof is given for the existence of maximal and constant ...
Ecker, K., Huisken, G.
core  

Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories

, 2016
Godel's First Incompleteness Theorem is generalized to definable theories, which are not necessarily recursively enumerable, by using a couple of syntactic-semantic notions, one is the consistency of a theory with the set of all true $\Pi_n$-sentences or
Salehi, Saeed, Seraji, Payam
core   +1 more source

An Academics Guide to Approaching Bioscience Curricula Design: Stakeholders, Material and Assessment Choice, and Employability

Biochemistry and Molecular Biology Education, EarlyView.
ABSTRACT The ultimate aim of all higher education programs is to produce work‐ready graduates who can enter a number of career paths. Bioscience graduates are well suited to a multitude of career paths such as research, education or industry. Designing an undergraduate bioscience program that can prepare learners for this multitude of career pathways ...
Kirsten Riches‐Suman, Simon Tweddell
wiley   +1 more source

User privacy prevention model using supervised federated learning‐based block chain approach for internet of Medical Things

CAAI Transactions on Intelligence Technology, EarlyView., 2023
Abstract This research focuses on addressing the privacy issues in healthcare advancement monitoring with the rapid establishment of the decentralised communication system in the Internet of Medical Things (IoMT). An integrated blockchain homomorphic encryption standard with an in‐build supervised learning‐based smart contract is designed to improvise ...
Chandramohan Dhasarathan, Mohammad Kamrul Hasan, Shayla Islam, Salwani Abdullah, Shailesh Khapre, Dalbir Singh, Abdulaziz A. Alsulami, Ali Alqahtani   +7 more
wiley   +1 more source

The spaces OM and OC are ultrabornological a new proof

International Journal of Mathematics and Mathematical Sciences, 1985
In [1] Laurent Schwartz introduced the spaces 𝒪M and 𝒪′C of multiplication and convolution operators on temperate distributions. Then in [2] Alexandre Grothendieck used tensor products to prove that both 𝒪M and 𝒪′C are bornological.
Jan Kucera
doaj   +1 more source

Renormalization of Non-Commutative Phi^4_4 Field Theory in x Space

, 2005
In this paper we provide a new proof that the Grosse-Wulkenhaar non-commutative scalar Phi^4_4 theory is renormalizable to all orders in perturbation theory, and extend it to more general models with covariant derivatives.
A. Connes, E. Langmann, E. Langmann, E. Langmann, Fabien Vignes-Tourneret, G. Gallavotti, H. Grosse, H. Grosse, H. Grosse, I. Chepelev, I. Chepelev, Jacques Magnen, M.R. Douglas, N. Seiberg, Razvan Gurau, T. Filk, V. Rivasseau, V. Rivasseau, Vincent Rivasseau   +18 more
core   +2 more sources

Restricted Tweedie stochastic block models

Canadian Journal of Statistics, EarlyView.
Abstract The stochastic block model (SBM) is a widely used framework for community detection in networks, where the network structure is typically represented by an adjacency matrix. However, conventional SBMs are not directly applicable to an adjacency matrix that consists of nonnegative zero‐inflated continuous edge weights.
Jie Jian, Mu Zhu, Peijun Sang
wiley   +1 more source

Rotating periodic solutions for second order systems with Hartman-type nonlinearity

Boundary Value Problems, 2018
In this paper, by a constructive proof based on the homotopy continuation method, we prove that the second order system x″=g(t,x) $x''=g(t,x)$ admits rotating periodic solutions with form u(t+T)=Qu(t) $u(t+T)=Qu(t)$ for any orthogonal matrix Q when the ...
Jian Li, Xiaojun Chang, Yong Li
doaj   +1 more source

AF-Embeddings of Graph Algebras [PDF]

, 2014
Let $E$ be a countable directed graph. We show that $C^*(E)$ is AF-embeddable if and only if no loop in $E$ has an entrance.
Schafhauser, Christopher
core