600 Hits in 5.6 sec

The mathematical modelling of thermo-mechanical processing of steel during multi-pass shape rolling

M. Glowacki
2005 Journal of Materials Processing Technology  
The mechanical part of the model uses a generalised plane-strain (GPS) approach, which allows savings in both the computing time and computer memory.  ...  For such a process, the material is subjected to the thermo-mechanical processing.  ...  These two quantities are computed from relations: ε i = ε 0 + ε i σ i = k 1 e m 1 Tεm 2 i ε m 3 i exp(m 4 ε i ) (6) where ε 0 is the total effective strain in all preceding steps of deformation; k 1 ,  ... 
doi:10.1016/j.jmatprotec.2004.12.007 fatcat:wabklioozrektpi6hdc6cau76i

Differentially Private Meta-Learning [article]

Jeffrey Li, Mikhail Khodak, Sebastian Caldas, Ameet Talwalkar
2020 arXiv   pre-print
Parameter-transfer is a well-known and versatile approach for meta-learning, with applications including few-shot learning, federated learning, and reinforcement learning.  ...  We conduct the first formal study of privacy in this setting and formalize the notion of task-global differential privacy as a practical relaxation of more commonly studied threat models.  ...  Web Services Award, a JP Morgan A.I.  ... 
arXiv:1909.05830v2 fatcat:e37kmf6fsrdutcn2w2p5qarvxu

Asymptotic normality of a Sobol index estimator in Gaussian process regression framework [article]

Loic Le Gratiet (LPMA, - Méthodes d'Analyse Stochastique des Codes et Traitements Numériques)
2013 arXiv   pre-print
Therefore, an approximation of the input/output relation of the code is built with a Gaussian process regression model.  ...  A popular tool to perform global sensitivity analysis is the variance-based method which comes from the Hoeffding-Sobol decomposition.  ...  Tm,1 || > εm.  ... 
arXiv:1305.7406v1 fatcat:7v6tjpozcfc6dosdlqs7b7qku4

Partial Reset in Pulse-Coupled Oscillators

Christoph Kirst, Marc Timme
2010 SIAM Journal on Applied Mathematics  
Pulse-coupled threshold units serve as paradigmatic models for a wide range of complex systems.  ...  When the state variable of a unit crosses a threshold, the unit sends a pulse that is received by other units, thereby mediating the interactions.  ...  Then S σ l • H ε (φ) − S σ l • H ε (ψ) = H εm+1 • H ε−εm+1 (φ) − H εm+1 • H ε−εm+1 (ψ) = ΔH H ε−εm+1 (ψ) , H ε−εm+1 (φ) − H ε−εm+1 (ψ) , ε m+1 ≤ ΔH H ε−εm+1 (ψ) , m r=1 (S σr • H εr ) (φ) − m r=1 (S σr  ... 
doi:10.1137/09074749x fatcat:tdqauwifvzfqxnubuhqtmet3ym

Two-Dimensional Imaging of Permittivity Distribution by an Activated Meta-Structure with a Functional Scanning Defect

Go Itami, Osamu Sakai, Yoshinori Harada
2019 Electronics  
A novel 2D imaging method for permittivity imaging using a meta-structure with a functional scanning defect is proposed, working in the millimeter wave-range.  ...  The meta-structure we used here is composed of a perforated metal plate with subwavelength-holes and a needle-like conductor that can scan two-dimensionally just beneath the plate.  ...  Nishio and A. Iwai at Kyoto University for their fruitful comments on this study. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/electronics8020239 fatcat:6sesjwq6rfg7vc65deayqy6dka

An End-to-End Framework for Designing Networked Control Systems [chapter]

Alie El-Din, Gregory Prov
2012 Automation  
+ ε( m . ret f an m . sup f an )(T air − T ext ) (5) Where, m . ret f an is air mass flow rate throw the return-air fan [kg/s]. 4.  ...  As a consequence, we then must use a two-step process to enforce each constraint type. This is reflected in the fact that we have a two-step model-generation process.  ... 
doi:10.5772/45729 fatcat:37fzeocv4nfjbceqhrs75fmbny

Margin-Based Transfer Bounds for Meta Learning with Deep Feature Embedding [article]

Jiechao Guan, Zhiwu Lu, Tao Xiang, Timothy Hospedales
2020 arXiv   pre-print
To validate these bounds, instead of the commonly-used cross-entropy loss, a multi-margin loss is employed to train a number of representative MLMC models.  ...  Experiments on three benchmarks show that these margin-based models still achieve competitive performance, validating the practical value of our margin-based theoretical analysis.  ...  The encounter with a task µ is itself a random event, corresponding to a draw µ ∼ ε where ε is a probability measure on the set of tasks, i.e., εM 1 (M 1 (X × Y)).  ... 
arXiv:2012.01602v1 fatcat:vlkkgeqnm5codeuzwlcdwk7gsq

Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq

Zheng Yang, Hang Lei, Mohamed Shaat
2020 Mathematical Problems in Engineering  
Finally, the syntax and semantics of Lolisa have been encapsulated as an interpreter in mathematical tool Coq.  ...  To enhance type safety, the formal syntax of Lolisa adopts a stronger static type system than Solidity.  ...  separate analysis tool.  ... 
doi:10.1155/2020/6191537 fatcat:qlbvpfxx6zer3azv7u62dhr3ey

Bottom-up nanocolloidal metamaterials and metasurfaces at optical frequencies

Alexandre Baron, Ashod Aradian, Virginie Ponsinet, Philippe Barois
2020 Comptes rendus. Physique  
Dans le spectre de la lumière visible, cette contrainte implique une structuration des matériaux à l'échelle nanométrique.  ...  Metasurfaces, on the other hand, are 2D equivalent of metamaterials, designed to control the phase, amplitude and possibly polarization of incident EM waves with subwavelength thickness, using interfacial  ...  The polarisability α of the particle can be calculated from (1) as α = p/E 0 = 4πa 3 ε m (ε NP − ε m )/(ε NP + 2ε m ).  ... 
doi:10.5802/crphys.21 fatcat:qd6yrwedtrc55k4jwcrdpqmxz4

Supporting Distributed Conceptual Modelling through Naming Conventions - A Tool-based Linguistic Approach

Patrick Delfmann, Sebastian Herwig, Łukasz Lis, Armin Stein
2015 Enterprise Modelling and Information Systems Architectures - An International Journal  
For this, we present a research prototype that integrates our approach into a modelling tool.  ...  These conventions serve as basis for a fully automated guidance of the modeller during the model creation process, resulting in semantically comparable conceptual models.  ...  and Information Systems Architectures Vol. 4, No. 2, December 2009 Supporting Distributed Conceptual Modelling through Naming Conventions 15 [εm] Modelling Environment [εm] Modelling Environment File  ... 
doi:10.18417/emisa.4.2.1 dblp:journals/emisaij/DelfmannHLS09 fatcat:fl7m3cb2m5fvxfzpvxqld24uzu


Miloš Bogdanović, Milena Frtunić Gligorijević, Nataša Veljković, Leonid Stoimenov
2021 Facta Universitatis Series Automatic Control and Robotics  
Finally, we will demonstrate the advantage of our proposal by comparing concept lattices generated using formal the concept analysis before and after the optimization process.  ...  We take advantage of a formal concept analysis to reveal the shared conceptualization originating from the tags' usage by developing a concept lattice per each category of open datasets.  ...  The process of revealing the way tags meta-key is used can reveal the conceptualization shared among users. If conceptualization is determined, it becomes a powerful tool for categorization.  ... 
doi:10.22190/fuacr201225002b fatcat:zbhfxhvwrbeo3fszamgmi22itu

Meta-Analysis of Children's Acute Psychological Stress and Action Stress on Immune Function under Microscope Images

Hanjiang He, Yulin Tan, Lihua Li, Alireza Souri
2022 Journal of Healthcare Engineering  
The immune system is a complex system, mainly including immune cells and immune organs.  ...  When the human body is invaded by foreign substances, the immune system will play a role in resisting the attack of harmful substances and pure necrotic cells, which is the defense structure of the body  ...  In the idea of selection equation, a variable model is used to conduct statistical treatment on a meta-analysis. e basic idea is to treat the problems studied by a meta-analysis as a distributed population  ... 
doi:10.1155/2022/6549805 pmid:35368932 pmcid:PMC8967515 fatcat:4yt3b2cehjbq3cetfsg4kjrqou

Asymptotic Analysis of the Pauli Potential for Atoms [article]

Jeremy J. Redd, Antonio C. Cancio
2021 arXiv   pre-print
Modeling the Pauli energy, the contribution to the kinetic energy caused by Pauli statistics, without using orbitals is the open problem of orbital-free density functional theory.  ...  We do this by mathematical analysis of the near-nuclear region and by calculating the exact orbital-dependent Pauli potential using the approach of Ouyang and Levy for closed-shell atoms out to element  ...  ACKNOWLEDGMENTS The author would like to thank Sam Trickey and Kieron Burke for helpful discussions, Eberhard Engel for use of his atomic DFT code, OPMKS, and Thomas Baker for help with the intricacies  ... 
arXiv:2106.02751v1 fatcat:6nuvjv4oyfezbbk7wwib6nodmu

Electromagnetic Nanoparticles for Sensing and Medical Diagnostic Applications

Luigi La Spada, Lucio Vegni
2018 Materials  
A modeling and design approach is proposed for nanoparticle-based electromagnetic devices. First, the structure properties were analytically studied using Maxwell's equations.  ...  A peculiar class of meta-materials used as plasmonic biosensor platforms have recently been developed: multilayer metal-dielectric metamaterials with Hyperbolic Dispersion (HD) [33].  ...  design formula: a x,y,z V 2 ε m = (ε 2 − ε m )(L 1 ε 1 − (L 1 − 1)ε 2 ) + β(ε 2 − ε 1 )((L 2 − 1)ε 2 − L 2 ε m ) L 2 β(L 2 − 1)(ε 2 − ε 1 )(ε 2 − ε m ) − ((L 1 − 1)ε 2 − L 1 ε 1 )(L 2 ε 2 − (L 2 − 1)ε  ... 
doi:10.3390/ma11040603 pmid:29652853 pmcid:PMC5951487 fatcat:mr4zsyholvc5toxgbnvifm77ii

Combined approach architecture development to simulation modeling of systems with parallelism

Oksana Suprunenko
2021 Eastern-European Journal of Enterprise Technologies  
Their step-by-step analysis and the formation of an integral model of the software system are carried out using a network representation, according to the matrix description of which invariants are calculated  ...  An extension of the formal language of Petri nets is presented, which has greater modeling power than WF nets. The properties of hierarchical Petri nets are used to synthesize a holistic model.  ...  A vertex of a place p ε ∈P of a Petri net with initial marking μ 0 is k-bounded (k-safe) if ∀ ¢ ∈ ( ) ¢( )≤ μ μ μ ε M PN p k , : . 0 ∈ ( ) ¢( )≤ μ μ ε M PN p k , : . 0 In safe Petri nets, all vertices  ... 
doi:10.15587/1729-4061.2021.239212 fatcat:225jg5y5m5aotfbnmcwdh2yy74
« Previous Showing results 1 — 15 out of 600 results