221,834 Hits in 5.0 sec

On strong stability and higher-order sequentiality

L. Colson, T. Ehrhard
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science  
We propose a de nition by reducibility of sequentiality for the interpretations of higher-order programs and prove the equivalence between this notion and strong stability.  ...  Acknowledgements We wish to thank Daniel Fredholm who motivated by his questions the rst versions of the present de nition by reductibility of sequentiality.  ...  Strong stability, a notion which coincides with ordinary sequentiality at rst order and admits an extension to higher orders where all programs are simply interpreted by functions.  ... 
doi:10.1109/lics.1994.316082 dblp:conf/lics/ColsonE94 fatcat:3osl6yreendw5e6urack26ajku

Corneal Fluorescein Staining Correlates with Visual Function in Dry Eye Patients

Minako Kaido, Yukihiro Matsumoto, Yuta Shigeno, Reiko Ishida, Murat Dogru, Kazuo Tsubota
2011 Investigative Ophthalmology and Visual Science  
0.05) and the variation of VA (P Ͻ 0.05) and by comalike and total higher order aberrations (P Ͻ 0.05).  ...  To investigate the changes in functional visual acuity (VA) and higher order aberrations in dry eye patients. METHODS.  ...  Two quantitative indexes were used to indicate the sequential change in higher order aberrations over a 10-second measurement period: the fluctuation index and the stability index of the total higher order  ... 
doi:10.1167/iovs.11-8412 pmid:22110071 fatcat:aml3wyzbsjgffjwk2mtn5mmbwa

Historical introduction to "concrete domains" by G. Kahn and G.D. Plotkin

Stephen Brookes
1993 Theoretical Computer Science  
The ideas and concepts introduced in this work have been widely referenced and have become the basis for a significant body of foundational research on semantics of programming languages.  ...  Semantic domains were typically taken to be complete lattices [38] or more general kinds of complete partial order [38, 251, the precise combination of order-theoretic assumptions being chosen to suit  ...  Acknowledgment I would like to thank Samson Abramsky, GCrard Berry, Pierre-Louis Curien, Gilles Kahn, Gordon Plotkin and Glynn Winskel for helping to clarify the history behind this work and for suggesting  ... 
doi:10.1016/0304-3975(93)90089-c fatcat:mmkq4foztvfqnan3uydh5ekzpe

Remediation of Smelter Contaminated Soil by Sequential Washing Using Biosurfactants

Zygmunt Mariusz Gusiatin, Jurate Kumpiene, Ivan Carabante, Maja Radziemska, Martin Brtnicky
2021 International Journal of Environmental Research and Public Health  
reduced partition index, Ir, based on the metal fractions from BCR sequential extraction).  ...  The efficiency of the washing was determined based on the concentration of metal removed after each washing (CR), the cumulative removal efficiency (Ecumulative) and metal stability (calculated as the  ...  Acknowledgments: The authors thank the Director of Legnica Copper Smelter and Refinery for permission to collect and use soil samples and to publish the results.  ... 
doi:10.3390/ijerph182412875 pmid:34948484 pmcid:PMC8701185 fatcat:2nilz6jh2bd3jhtgbboznlcaoi

Highly stable doping of a polar polythiophene through co-processing with sulfonic acids and bistriflimide

Anna I. Hofmann, Renee Kroon, Liyang Yu, Christian Müller
2018 Journal of Materials Chemistry C  
Upon doping with sulfonic acids and bistriflimide the polar polythiophene p(g42T-T) exhibits a maximum conductivity of 120 S cm−1 and can be hot-pressed into self-standing, flexible films.  ...  Acknowledgements We gratefully acknowledge financial support from the Swedish Research Council through grant no. 2016-06146, the Knut and Alice Wallenberg Foundation through a Wallenberg Academy  ...  S1 , ESI †), whereas sequential vapour doping resulted in much higher conductivities in the range of 70 to 100 S cm À1 .  ... 
doi:10.1039/c8tc01593g pmid:30713690 pmcid:PMC6333274 fatcat:mn42f74z25fexmuft34gpotvty

A-stable diagonally implicit Runge-Kutta-Nyström methods for parallel computers

Nguyen huu Cong
1993 Numerical Algorithms  
We derive a number of A-stable, strongly A-stable and L-stable DIRKN methods of order p with s• (p) sequential, singly diagonal-implicit stages where s* (p) = [ (p + 1) /2] ors* (p) = [ (p + 1) /2] +l,  ...  The number of iterations is chosen such that the method has the same order of accuracy as the corrector, and the iteration parameters serve to make the method at least A-stable.  ...  P.J. van der Houwen and Dr. B.P. Sommeijer for their help during the preparation of this paper. I am also grateful to the referees for their useful comments.  ... 
doi:10.1007/bf02144107 fatcat:z4uc7wgtqne3blkonphariyuhu

A Calculus of Coroutines [chapter]

J. Laird
2004 Lecture Notes in Computer Science  
The search for order-theoretic characterizations of higher-order sequentiality has led to the development of several candidate notions, such as stability [5] and strong stability [6] , and was arguably  ...  Games can capture precisely the behaviour of higher-order programs in sequential languages, in a fashion which is very difficult or impossible for traditional forms of denotational semantics.  ...  The search for order-theoretic characterizations of higher-order sequentiality has led to the development of several candidate notions, such as stability [5] and strong stability [6] , and was arguably  ... 
doi:10.1007/978-3-540-27836-8_74 fatcat:hrcyftg22bcc3mw52qs3vbyr5y

Ultrasound and Ozone Processing of Cashew Apple Juice: Effects of Single and Combined Processing on the Juice Quality and Microbial Stability

Thatyane Vidal Fonteles, Maria Karolina de Araújo Barroso, Elenilson de Godoy Alves Filho, Fabiano Andre Narciso Fernandes, Sueli Rodrigues
2021 Processes  
Sequential processing resulted in the higher retention of yellow flavonoids than in the control and single processing.  ...  Standalone and sequential ultrasound (US) and ozone (OZ) processes were applied to cashew apple juice.  ...  Acknowledgments: The authors acknowledge FUNCAP and CNPq through the National Institute of Science and Technology for Tropical Fruit-INCT-FT for their financial support and the scholarship.  ... 
doi:10.3390/pr9122243 fatcat:xx5srobemvh5hhtqbg3w4bcyyu

Religiosity's influence on stability-seeking consumption during times of great uncertainty: the case of the coronavirus pandemic

Elizabeth A. Minton, Frank G. Cabano
2020 Marketing letters  
Study 2 confirms that consumers with higher (lower) levels of religiosity are the most (least) likely to increase consumption, and that situational concern and stability found through purchasing sequentially  ...  Three studies test and confirm this relationship in the coronavirus pandemic context.  ...  Political affiliation was assessed on a scale from 1 (strong Democrat) to 7 (strong Republican) (M = 3.43, SD = 1.96).  ... 
doi:10.1007/s11002-020-09548-2 pmid:33082622 pmcid:PMC7561233 fatcat:rslssr54ffec7hof62ulovm27m

Visually comparing multiple partitions of data with applications to clustering

Jianping Zhou, Shawn Konecni, Georges Grinstein, Katy Börner, Jinah Park
2009 Visualization and Data Analysis 2009  
data item associated with one and only one outcome).  ...  We describe a novel layout algorithm for informatively rearranging the order of records and dimensions.  ...  The first one is a sorting approach in which dimension display order is arranged in descending dimension stability order. The second is a sequential selection approach.  ... 
doi:10.1117/12.810093 dblp:conf/vda/ZhouKG09 fatcat:toonrq46bvemjhemxznjf276xu

Enhanced Structural Stability and Photo Responsiveness of CH3NH3SnI3Perovskite via Pressure-Induced Amorphization and Recrystallization

Xujie Lü, Yonggang Wang, Constantinos C. Stoumpos, Qingyang Hu, Xiaofeng Guo, Haijie Chen, Liuxiang Yang, Jesse S. Smith, Wenge Yang, Yusheng Zhao, Hongwu Xu, Mercouri G. Kanatzidis (+1 others)
2016 Advanced Materials  
An organic-inorganic halide perovskite of CH3NH3SnI3 with significantly improved structural stability is obtained via pressure-induced amorphization and recrystallization.  ...  The mechanism underlying the enhanced properties is demonstrated to be associated with the improved structural stability.  ...  The maximum resistivity is ~6 orders of magnitude higher than the starting value.  ... 
doi:10.1002/adma.201600771 pmid:27514760 fatcat:e7odrqoffna7flzws6jncny65a

Ionization of Xe in intense, two-cycle laser fields: Dependence on carrier-envelope phase [article]

Parinda Vasa, Aditya K. Dharmadhikari, Jayashree A. Dharmadhikari, and Deepak Mathur
2017 arXiv   pre-print
We report on tunnel ionization of Xe by 2-cycle, intense, infrared laser pulses and its dependence on carrier-envelope-phase (CEP).  ...  At higher E-values, the CEP dependence either washes out or flips. A simple phenomenological model is developed that predicts and confirms the observed results.  ...  However, strong CEP dependence does persist for higher charges (Fig. 4) which, due to the non-adiabatic nature of sequential ionization, are generated only near the peak of the pulse.  ... 
arXiv:1706.04805v1 fatcat:a652invbzvfj7odwoez7zw744q

An Improved Graph Model for Conflict Resolution Based on Option Prioritization and Its Application

Kedong Yin, Li Yu, Xuemei Li
2017 International Journal of Environmental Research and Public Health  
They generalized the basic concept on a subset and then refined strong and weak stability. Finally, the strength of preference was applied to a water conflict.  ...  As the preference statements are represented one by one from the most important to the least important, the DMs start to doubt the order and validity of preference statements, and this uncertainty will  ...  ; SMR: symmetric meta-rationality; SEQ: sequential stability.  ... 
doi:10.3390/ijerph14111311 pmid:29077049 pmcid:PMC5707950 fatcat:exyhtep5brclxazbsm3ve2ietm

Minicyclotron (SMCAMS)-based accelerator mass spectrometry and real 14C measurements

Maobai Chen, Xiangshun Lu, Deming Li, Yonghao Liu, Weijian Zhou, Guosheng Chen, Ligong Shen, Senlin Xu, Yuexiang Zhang
2000 Nuclear Instruments and Methods in Physics Reseach B  
The ®rst real 14 C measurements were performed and an excellent agreement was obtained in an intercomparison of samples measured at SMCAMS and at tandem AMS facilities. Ó  ...  Energy Agency, and OUR International Tech. & Sci.  ...  Acknowledgements This work is supported by the Chinese Academy of Science, the National Natural Science Foundation of China, the Shanghai Municipal Science and Technology Committee, the International Atomic  ... 
doi:10.1016/s0168-583x(00)00390-6 fatcat:yo4xhekvafhjdc5az3kkpi3mba

The effect of impregnation strategy on methane dry reforming activity of Ce promoted Pt/ZrO2

Şeyma Özkara-Aydınoğlu, Emrah Özensoy, A. Erhan Aksoylu
2009 International journal of hydrogen energy  
The influence of the impregnation strategy and the cerium amount on the activity and stability of the catalysts were investigated.  ...  Strong and extensive Pt-Ce surface interaction results in an increase in the number of Ce 3þ sites and enhances the dispersion of Pt.  ...  Emrah Ö zensoy acknowledges ''The Scientific and Technological Research Council of Turkey (TÜ B _  ... 
doi:10.1016/j.ijhydene.2009.09.005 fatcat:lti6zzo3avbznnwu7o2lvua3va
« Previous Showing results 1 — 15 out of 221,834 results