Filters








22,468 Hits in 2.8 sec

AC Dependency Pairs Revisited

Akihisa Yamada, Christian Sternagel, René Thiemann, Keiichirou Kusakari, Marc Herbstritt
2016 Annual Conference for Computer Science Logic  
In this paper we present a generalization of the dependency pair framework for termination analysis to rewriting modulo AC.  ...  It subsumes existing variants of AC dependency pairs, admits standard dependency graph analyses, and in particular enjoys the minimality property in the standard sense.  ...  C S L 2 0 1 6 8:8 AC Dependency Pairs Revisited Clearly, solving this merged AC-DP problem cannot be easier than tackling the smaller AC-DP problems separately.  ... 
doi:10.4230/lipics.csl.2016.8 dblp:conf/csl/0002STK16 fatcat:gfxwfj6cdbeljew66klcgjfsem

AC-KBO revisited

AKIHISA YAMADA, SARAH WINKLER, NAO HIROKAWA, AART MIDDELDORP
2015 Theory and Practice of Logic Programming  
Theorem proving methods in such theories rely on well-founded orders that are compatible with the AC axioms. In this paper, we consider various definitions of AC-compatible Knuth-Bendix orders.  ...  The orders of Steinbach and of Korovin and Voronkov are revisited. The former is enhanced to a more powerful version, and we modify the latter to amend its lack of monotonicity on non-ground terms.  ...  Here AC symbols in dependency pairs are unmarked, as proposed in [15] .  ... 
doi:10.1017/s1471068415000083 fatcat:q7znsfxikfbavekbtpn75vxeum

AC-KBO Revisited [chapter]

Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
2014 Lecture Notes in Computer Science  
We consider various definitions of AC-compatible Knuth-Bendix orders. The orders of Steinbach and of Korovin and Voronkov are revisited.  ...  The former is enhanced to a more powerful AC-compatible order and we modify the latter to amend its lack of monotonicity on non-ground terms. We further present new complexity results.  ...  Here AC symbols in dependency pairs are unmarked, as proposed in [15] .  ... 
doi:10.1007/978-3-319-07151-0_20 fatcat:rgzzkv4fsnaxrcwapq6hm5ptfm

Initial Conflicts for Transformation Rules with Nested Application Conditions [article]

Leen Lambers, Fernando Orejas
2020 arXiv   pre-print
We show that initial conflicts represent a proper subset of critical pairs again.  ...  We extend the theory of initial conflicts in the framework of M-adhesive categories to transformation rules with ACs.  ...  We were able to transfer this result to rules with ACs in this paper. Many thanks also to the reviewers for their detailed and constructive comments helping to finalize the paper.  ... 
arXiv:2005.05901v1 fatcat:qv6hhp4kxrg5xi3gl5yik65t7e

A behavior-genetic study of parenting quality, infant attachment security, and their covariation in a nationally representative sample

Glenn I. Roisman, R. Chris Fraley
2008 Developmental Psychology  
In contrast, genetic differences between infants played a prominent role in explaining observations of temperamental dependency.  ...  Using the twin subsample (N ϭ 485 same-sex pairs) of the nationally representative Early Childhood Longitudinal Study-Birth Cohort, the authors provide evidence that parenting quality and infant attachment  ...  Temperamental dependency. Table 3 reports the results of the model-fitting analyses for the full ACE model and its submodels for observer ratings of dependency.  ... 
doi:10.1037/0012-1649.44.3.831 pmid:18473647 fatcat:ttdnazi2onbe3otv6nyfcncnhu

A Re-Evaluation of Olive Fruit Fly Organophosphate-Resistant Ace Alleles in Iberia, and Field-Testing Population Effects after in-Practice Dimethoate Use

Tânia Nobre, Luis Gomes, Fernando Trindade Rei
2019 Insects  
We revisited 11 Iberian locations to evaluate this adaptation of organophosphate (OP)-resistant alleles through amplicon sequencing.  ...  An increase in Ace gene point-mutations was observed, and the Δ3Q mutation remains undetected.  ...  These hotspots of "wild-type" Ace alleles are certainly of relevance once the selective pressure is released, and the non-mutated alleles might be able to recover their frequencies on the populations depending  ... 
doi:10.3390/insects10080232 pmid:31374903 pmcid:PMC6723829 fatcat:6qa3r6iyxbexxj37sqw4556nim

Construction of exact Ermakov-Pinney solutions and time-dependent quantum oscillators

Sang Pyo Kim, Won Kim
2016 Journal of the Korean Physical Society  
We advance a novel method to construct Ermakov-Pinney solutions to a class of time-dependent oscillators and the wave functions for the time-dependent Schrödinger equation.  ...  The harmonic oscillator with a time-dependent frequency has a family of linear quantum invariants for the time-dependent Schrödinger equation, which are determined by any two independent solutions to the  ...  On the other hand, we may introduce a pair of complex solutions w and w * as Au 2 + 2Buv + Cv 2 = ww * , (8) where w = √ Au + B − i √ AC − B 2 √ A v, w * = c.c., (9) and then impose another Wronskian condition  ... 
doi:10.3938/jkps.69.1513 fatcat:hi2g2b3qf5edbmfxzrpc7nmddq

Page 531 of Mathematical Reviews Vol. , Issue 93a [page]

1993 Mathematical Reviews  
(CH-ETHZ-AC); Mansour, M. [Mansour, Mohamed] (CH-ETHZ-AC); Trudél, W. (CH-ETHZ-AC); Anderson, B. D.  ...  Our purpose is to estimate the stability radius of a given matrix pair. Depending on whether the matrices under consideration are complex or real, the problem can be classified into two cases.  ... 

The Yellow Excitonic Series of Cu2O Revisited by Lyman Spectroscopy

Takeshi Tayagaki, Andre Mysyrowicz, Makoto Kuwata-Gonokami
2005 Journal of the Physical Society of Japan  
The dependence of the oscillator strength on the principal quantum number n can be well reproduced using the hydrogenic model including an AC dielectric constant, and precise information on the electronic  ...  The linewidth of the transitions of the exciton Lyman series has a systematic n-dependence.  ...  Here, we introduce the AC dielectric constant at a frequency close to the exciton binding energy. The measured dielectric constant is ε ∼6.  ... 
doi:10.1143/jpsj.74.1423 fatcat:fwfuo6dgkrffdb6rawmnu6xedq

Odd-frequency Pairing in Conventional Josephson Junctions [article]

Alexander V. Balatsky, Sergey S. Pershoguba, Christopher Triola
2018 arXiv   pre-print
finite voltage (AC effect).  ...  By establishing a novel link between the physics of Josephson junctions and odd-frequency pairing, this work demonstrates the importance of odd-frequency pairing for understanding conventional superconducting  ...  phenomenology of both the DC and AC Josephson effects.  ... 
arXiv:1804.07244v1 fatcat:laixu2ghejffvd5z43pqz6rhcq

Nonlinear AC conductivity of one-dimensional Mott insulators

B Rosenow
2008 Journal of Statistical Mechanics: Theory and Experiment  
Combining RG and instanton methods, we calculate the nonlinear ac conductivity and interpret the result in terms of multi-photon absorption.  ...  In this work, we revisit the instanton calculation of the nonlinear AC conductivity by Maki and discuss in detail the physics of multi-photon absorption in the dynamic limit.  ...  When exposing the system to a monochromatic electric field E(t) = E 0 cos(ωt), the only contribution to the AC conductivity comes from the excitation of electron-hole pairs.  ... 
doi:10.1088/1742-5468/2008/04/p04010 fatcat:ro75yzenwvffldrale4ct3xmp4

Composition-dependent interatomic potentials: A systematic approach to modelling multicomponent alloys

B. Sadigh, P. Erhart, A. Stukowski, A. Caro
2009 Philosophical Magazine  
We present an algorithm that overcomes this problem and that can speed up the calculation of the forces for composition-dependent pair potentials in such a way as to make them computationally comparable  ...  Finally, we exemplarily review the composition-dependent EAM model for the Fe-Cr system [PRL 95, 075702 (2005)].  ...  A practical example To provide a practical illustration of the concepts developed in this paper, we now revisit the composition-dependent EAM potential for Fe-Cr [13] , which has already been successfully  ... 
doi:10.1080/14786430903292373 fatcat:flx4myg3szbi7b23idtpkej3qy

Adhesive Emulsion Bilayers under an Electric Field: From Unzipping to Fusion

Abdou R. Thiam, Nicolas Bremond, Jérôme Bibette
2011 Physical Review Letters  
Using microfluidics, adhesive drop pairs are then trapped and submitted to an ac electric field.  ...  These bilayers are known to exhibit numerous behaviors depending on their composition, fluidity, and tension [2] .  ...  Using microfluidics, adhesive drop pairs are then trapped and submitted to an ac electric field.  ... 
doi:10.1103/physrevlett.107.068301 pmid:21902373 fatcat:55wmlcnubnaordic7b4owsge6q

Nonhermitian defect states from lifetime differences [article]

Martí Bosch, Simon Malzard, Martina Hentschel, Henning Schomerus
2019 arXiv   pre-print
An unresolved general question is how much the formation of these states depends on asymmetric backscattering, be it nonreciprocal as in the nonhermitian skin effect or reciprocal as encountered between  ...  By revisiting these conditions in detail, we identify a simplified situation without AC that achieves a formally equivalent effect (Sec.  ...  III), we show that defect states can arise even in absence of AC if the system is perturbed in a way such that the lifetimes of an eigenmode pair split. Moving towards practical settings (Sec.  ... 
arXiv:1908.08738v1 fatcat:sbwa3re5zzel3anrs5tifd3nk4

Can spaceborne synthetic aperture radar be useful for the mapping of ionospheric disturbances in the Arctic Region?

Giovanni Nico, Consiglio Nazionale delle Ricerche, Istituto per le Applicazioni del Calcolo, Aleksandra Nina, Milan Radovanović, Institute of Physics, University of Belgrade, Geographical Institute Jovan Cvijić SASA, South Ural State University, Institute of Sports, Tourism and Service
2019 InterCarto. InterGIS  
Digisondes, VLF/ELF receivers and the EISCAT radars in the available in the Arctic region provide the time of ionosphere disturbances due to the solar activity, monitored by the ACE satellite.  ...  In fact, the SAR interferogram, consisting in the phase image resulting from the processing of an interferometric pair of SAR images, is characterized by the interferometric coherence, depending on the  ...  This vertical structure of ionosphere depends on the electron density vertical distribution and it depends on the day period. During daytime, the ionosphere is divided in three layers: F, E and D.  ... 
doi:10.35595/2414-9179-2019-1-25-290-297 fatcat:3vf4vewq45au7b7p4pjylcszzi
« Previous Showing results 1 — 15 out of 22,468 results