A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A Characterization of Permutation Models in Terms of Forcing
2002
Notre Dame Journal of Formal Logic
Preserved Fulltext
We also develop a slightly modified notion of FMS submodels to characterize the case where M is a generic extension of N not necessarily by an almost homogeneous notion of forcing. ...
if M is a generic extension of N by some almost homogeneous notion of forcing. ...
It turns out that the characterization in terms of forcing is more natural for a slightly more general notion, that of an almost-FMS model, which will be defined in Section 3, facilitated by a slightly ...
doi:10.1305/ndjfl/1074290714
fatcat:ybvrvad4cjbw3npspyzebcm3i4
Order-disorder or phase-separation transition: Analysis of the Au-Pd system by the effective site energy model
2019
Physical review B
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Enthalpic and entropic contributions of the permutation free energy are determined via Monte Carlo simulations, in particular the vibrational entropy, which is in good agreement with direct calculation ...
Finally, the effective site energy model, recently developed to describe the thermodynamical forces driving the bulk phase diagram, is used to demonstrate that the miscibility gap in the Au-Pd system comes ...
For a given concentration, the site energies calculated in the previous section can be expressed as a sum of a linear term in p, the most important one according to the Ising model, and a quadratic term ...
doi:10.1103/physrevb.99.014108
fatcat:vgjbnzpl4ffnphqqmtz5he6beu
Stress permutations: Three-dimensional distinct element analysis accounts for a common phenomenon in brittle tectonics
2004
Journal of Geophysical Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
1] Using three-dimensional (3-D) distinct element modeling, we explored a variety of simulations to characterize and interpret the stress permutations in brittle tectonics. ...
In our experiments we adopted a ratio F = (s 2 À s 3 )/(s 1 À s 3 ) of 0.5, which makes permutations difficult (low F favors s 2 /s 3 permutations, high F favors s 1 /s 2 permutations), and we explored ...
This research was supported by National Science Council of Taiwan grant (NSC 90-2116-M-002-035) and the France-Taiwan cooperation in Earth Sciences (French Institute in Taipei and CNRS and NSC). ...
doi:10.1029/2003jb002616
fatcat:66lplfzpxvhf7cnga7p2pfyn2e
Page 5159 of Mathematical Reviews Vol. , Issue 2004g
[page]
2004
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A characterization in terms of the recursion-theoretic notion of cohesiveness is given for embeddings of countable models of the ¥\-theory of N, and the Il,-theory of N. ...
M extends to a model of PA~ included in . ...
Page 802 of None Vol. 95, Issue 3
[page]
1954
None
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
in terms of the eigenvalues of the Dirac class sums ...
The corresponding Dirac class sum C(a) is the sum over all permutation operators which are in class (a) of 84 divided by p(a), the number of elements in the class (a). ...
Forbidding undesirable agreements
2013
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
be seen as solution concepts to a dependence structure present in a certain game. ...
a deontic point of view. ...
Agreements and Coalitional Rationality In this section we elaborate a model of agreements in terms of preferences and effectivity functions. ...
doi:10.1093/logcom/ext051
fatcat:ltulz5wlbrgk5kwgftlyj2mhn4
EPB-TBM tunnel under internal pressure: Assessment of serviceability
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2009.05727v1 fatcat:3rhennzkcjfyjklhigs2jqbtl4
In this context, the sanitary bureau of the metropolitan area of Buenos Aires (AySA) is building a sewage collection network to transport the waste water of the population in the southern area of the city ...
The compression of the lining is evaluated and compared with field measurements in order to predict the structural forces and the risk of the rings going into tension beyond the structural capacity of ...
for permission to publish the data contained in this paper. ...
arXiv:2009.05727v2
fatcat:qtv567iu5rebpftv3expvsy5lq
Two-dimensional gauge theories of the symmetric group Sn and branched n-coverings of Riemann surfaces in the large-n limit
2002
Nuclear Physics B - Proceedings Supplements
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We study the theory in the large-n limit, and we find a rich phase diagram with first and second order transition lines. ...
Branched n-coverings of Riemann surfaces are described by a 2d lattice gauge theory of the symmetric group S(n) defined on a cell discretization of the surface. ...
What this type of analysis does not easily give is a characterization of the three phases in terms of some order parameter of clear physical meaning. ...
doi:10.1016/s0920-5632(02)01308-7
fatcat:nzkrbbzdv5fetjb6llu7eeunqa
Targeted Forgetting and False Memory Formation in Continual Learners through Adversarial Backdoor Attacks
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We demonstrate such an adversary's ability to assume control of the model via injection of "backdoor" attack samples on both permuted and split benchmark variants of the MNIST dataset. ...
In this effort, we explore the vulnerability of Elastic Weight Consolidation (EWC), a popular continual learning algorithm for avoiding catastrophic forgetting. ...
memory of the first task at inference time, forcing a nearly 7% reduction in accuracy-similar damage as in the short-term attack scenario. ...
arXiv:2002.07111v1
fatcat:wvqomhruijfjrfeat7lffg5rye
Efficient Sampling of Transpositions and Inverted Transpositions for Bayesian MCMC
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Therefore faster methods for making one MCMC step can reduce the mixing time of an MCMC in terms of computer running time. ...
Both algorithms run in O(n) time, where n is the size of the genome. This is a significant improvement compared with the so far available brute force method with O(n 3 ) running time and memory usage. ...
Therefore faster methods for making one MCMC step can reduce the mixing time of an MCMC in terms of computer running time. ...
doi:10.1007/11851561_17
fatcat:3uie2mbb5fbbvkzhucf3hiq7se
Stretchable, Flexible, Scalable Smart Skin Sensors for Robotic Position and Force Estimation
2018
Sensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The skin consistently provides an emergency stop command at only 0.5 N of force and is shown to maintain a collaboration force of 10 N in a collaborative control experiment. ...
The accuracy is characterized in position as well as force, and the skin is also tested under uniaxial stretch. ...
The calibration data for force was collected and used in a standard back-propagation scheme to train the model. The feedforward model was then implemented in the microcontroller. ...
doi:10.3390/s18040953
pmid:29570643
pmcid:PMC5948948
fatcat:rtbg4ag3vnhh5mjxu3wxmtunju
1PT164 Functional and Stopped-flow analysis of circularly permutated GroEL mutant CP86(The 50th Annual Meeting of the Biophysical Society of Japan)
1PT164 GroEL円順列変異体CP86のストップトフロー機能解析(日本生物物理学会第50回年会(2012年度))
2012
Seibutsu Butsuri
1PT164 GroEL円順列変異体CP86のストップトフロー機能解析(日本生物物理学会第50回年会(2012年度))
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In a previous study, we censtructed a circularly permuted mutant of GroEL {GroEL CP86) that retocated the N terminus and C terminus from its origina[ position to a new site in the vicinity of the ATPase ...
This mutant was characterized by a --50% decrease in its basal ATPase activity and, interestingly, a change in specificity teward substrate proteins in refolding assays. ...
This mutant was characterized by a --50% decrease in its basal ATPase activity and, interestingly, a change in specificity teward substrate proteins in refolding assays.To probe the effects ofthis circular ...
doi:10.2142/biophys.52.s97_1
fatcat:k6j737ro7bh77ktermwvsy4vj4
Structural Determinants of Misfolding in Multidomain Proteins
2016
PLoS Computational Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this work, we use coarse-grained structure-based folding models to address two central questions regarding misfolding of multidomain proteins. ...
Using a coarse-grained simulation model, we can reproduce the known propensities of multidomain proteins to form domain-swapped misfolds, where data is available. ...
Acknowledgments This study utilized the high-performance computational capabilities of the Biowulf Linux cluster at the National Institutes of Health, Bethesda, MD. (http://biowulf.nih.gov). ...
doi:10.1371/journal.pcbi.1004933
pmid:27163669
pmcid:PMC4862688
fatcat:62ajqoud7ndtbhpim5dj6qiini
Permutation Models and SVC
2007
Notre Dame Journal of Formal Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Let M be a model of ZFAC (ZFC modified to allow a set of atoms), and let N be an inner model with the same set of atoms and the same pure sets (sets with no atoms in their transitive closure) as M . ...
We show that N is a permutation submodel of M if and only if N satisfies the principle SVC (Small Violations of Choice), a weak form of the axiom of choice which says that in some sense, all violations ...
Instead, we build on and generalize results in the paper [3] , which gives a characterization of permutation submodels in terms of forcing. ...
doi:10.1305/ndjfl/1179323265
fatcat:o5ldk5vjanbulfa76yimx3rdtu
Effective site-energy model: A thermodynamic approach applied to size-mismatched alloys
2017
Physical review B
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We present a novel energetic model that takes into account atomistic relaxations to describe the thermodynamic properties of A c B 1−c binary alloys. ...
We apply this formalism to Au-Ni and Ag-Cu alloys, both of them tending to phase separate in the bulk and exhibiting a large size mismatch. ...
It introduces an additional term in the CE, which corresponds to an infinite range of real-space elastic interaction terms [21] . ...
doi:10.1103/physrevb.95.224102
fatcat:jwbei2wpnbb4vdhftjtznadfc4
« Previous
Showing results 1 — 15 out of 64,936 results