Results 91 to 100 of about 366,297 (354)
A Symbolic Approach to the Analysis of Multi-Formalism Markov Reward Models
, 2013 With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general ...
Lampka, Kai,, Siegle, Markus,
core
Amalgamation of Transition Sequences in the PEPA Formalism [PDF]
, 2000 This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, those states for which local detailed balance equations cannot be ...
Jane Hillston +4 more
core
A formalism for calculating the modal contributions to thermal interface conductance
, 2015 A formalism termed the interface conductance modal analysis (ICMA) method is presented, which allows for calculations of the modal contributions to thermal interface conductance within the context of molecular dynamics (MD) simulations, which inherently ...
Kiarash Gordiz, A. Henry
semanticscholar +1 more source
First-principles based matrix Green's function approach to molecular electronic devices: general formalism [PDF]
, 2001 Transport in molecular electronic devices is different from that in semiconductor mesoscopic devices in two important aspects: (1) the effect of the electronic structure and (2) the effect of the interface to the external contact. A rigorous treatment of
Yongqiang Xue, S. Datta, M. Ratner
semanticscholar +1 more source
Advanced Materials, EarlyView.Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam +6 more
wiley +1 more source
The Divergence of Legal Procedures [PDF]
Djankov et al. (2003a) propose and measure for 109 countries in the year 2000 an index of formalism of legal procedure for two simple disputes: eviction of a non-paying tenant and collection of a bounced check.
Rafael La Porta +3 more
core
The abundance of voids and the excursion set formalism [PDF]
, 2013 We present measurements of the number density of voids in the dark matter distribu- tion from a series of N-body simulations of aCDM cosmology. We define voids as spherical regions of ρv = 0.2ρm around density minima in order to relate our results to the
E. Jennings, Yin Li, Wayne Hu
semanticscholar +1 more source
Advanced Materials, EarlyView.We demonstrate a neuromorphic synapse in 2D Fe3GaTe2 flakes. The device operates via a current‐driven transformation from a skyrmion‐lattice to a stripe‐domain state, yielding a linear anomalous Hall resistance response with a tunable slope to enable multiply‐accumulate operations. Simulations confirm its viability in artificial neural networks.
Jixiang Huang +20 more
wiley +1 more source
Musicologica Austriaca, 2015 In the 1870s, both August Wilhelm Ambros and Ferdinand Peter Graf Laurencin worked as reviewers of music in Vienna: Ambros had regularly been writing for the Wiener Zeitung since 1872, and Laurencin was, among other things, a Viennese correspondent for ...
Markéta Štědronská
doaj
Formalism in the philosophy of mathematics
, 2011 The guiding idea behind formalism is that mathematics is not a body of propositions representing an abstract sector of reality but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess.
Weir, A.
core