64,936 Hits in 4.4 sec

A Characterization of Permutation Models in Terms of Forcing

Eric J. Hall
2002 Notre Dame Journal of Formal Logic  
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

F. Berthier, J. Creuze, T. Gabard, B. Legrand, M.-C. Marinica, C. Mottet
2019 Physical review B  
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

Jyr-Ching Hu, Jacques Angelier
2004 Journal of Geophysical Research  
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  
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  
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

P. Turrini, D. Grossi, J. Broersen, J.-J. C. Meyer
2013 Journal of Logic and Computation  
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]

N. A. Labanda, A. O. Sfriso, D. Tsingas, R. Aradas, M. Martini
2021 arXiv   pre-print
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

A. D'Adda, P. Provero
2002 Nuclear Physics B - Proceedings Supplements  
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]

Muhammad Umer, Glenn Dawson, Robi Polikar
2020 arXiv   pre-print
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]

István Miklós, Timothy Brooks Paige, Péter Ligeti
2006 Lecture Notes in Computer Science  
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  
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年度))

Toshifumi Mizuta, Tatsuya Uemura, Takuma Hirayama, Kunihiro Hongo, Yasushi Kawata, Tomohiro Mizobata
2012 Seibutsu Butsuri  
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

Pengfei Tian, Robert B. Best, Andrey Kajava
2016 PLoS Computational Biology  
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. (  ... 
doi:10.1371/journal.pcbi.1004933 pmid:27163669 pmcid:PMC4862688 fatcat:62ajqoud7ndtbhpim5dj6qiini

Permutation Models and SVC

Eric J. Hall
2007 Notre Dame Journal of Formal Logic  
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

F. Berthier, J. Creuze, B. Legrand
2017 Physical review B  
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