Filters








702,206 Hits in 5.6 sec

Relaxed Data Types as Consistency Conditions †

Edward Talmage, Jennifer Welch
2018 Algorithms  
Specifically, for three common data type relaxations, we define consistency conditions such that the combination of the new consistency condition and an unrelaxed type allows the same behaviors as Linearizability  ...  Conversely, for the consistency condition k-Atomicity, we define a new data type relaxation such that the behaviors allowed by the relaxed version of a data type, combined with Linearizability, are the  ...  The funding sponsors had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, and in the decision to publish the results.  ... 
doi:10.3390/a11050061 fatcat:gdukg62z2nhqxbzgjappi6aihm

Under pressure

Javier Hernandez, Pablo Paredes, Asta Roseway, Mary Czerwinski
2014 Proceedings of the 32nd annual ACM conference on Human factors in computing systems - CHI '14  
This work explores the possibility of using a pressure-sensitive keyboard and a capacitive mouse to discriminate between stressful and relaxed conditions in a laboratory study.  ...  During the stressful conditions, the large majority of the participants showed significantly increased typing pressure (>79% of the participants) and more contact with the surface of the mouse (75% of  ...  During the relaxed condition, participants were instructed to type as normally as possible until the computer gathered enough information.  ... 
doi:10.1145/2556288.2557165 dblp:conf/chi/HernandezPRC14 fatcat:zwqumoznlvfwdmd72zksx7vffm

Relaxing Queries with Hierarchical Quantified Data Abstraction

Myung Keun Shin, Soon Young Huh, Donghyun Park, Wookey Lee
2008 Journal of Database Management  
so that the query conditions for categorical data are effectively relaxed.  ...  Query relaxation has extensively been investigated in terms of categorical data; few studies, however, have been effectively established for both numerical and categorical data.  ...  Chu et al. used three types of operations, such as generalization, specialization, and association, to relax a query.  ... 
doi:10.4018/jdm.2008100103 fatcat:lqtk37rewbftnhb7h2amsmesce

Rethinking the Role of Worry in Generalized Anxiety Disorder: Evidence Supporting a Model of Emotional Contrast Avoidance

Sandra J. Llera, Michelle G. Newman
2014 Behavior Therapy  
Furthermore, GAD participants found worry to be more helpful than other conditions in coping with exposures, whereas control participants reported the opposite pattern.  ...  The present study tested the main tenets of the Contrast Avoidance model by randomly assigning participants with GAD (n = 48) and nonanxious controls (n = 47) to experience worry, relaxation, and neutral  ...  This is more consistent with data which is more consistent with data on the emotional effects of worry.  ... 
doi:10.1016/j.beth.2013.12.011 pmid:24680226 fatcat:g4dwi6fqqzesvgpw6wg7htzcsy

Ionization of noble gas by impact of hydrogen anions

Zilong Zhao, Junqin Li, Xuemei Zhang
2012 Europhysics letters  
α and β relaxations are consistent with the STZ model.  ...  The corresponding time-constant spectra were computed from the data-they contain a series of peaks corresponding to an atomically quantized hierarchy of shear transformation zones (STZs), where both the  ...  FIG. 5 .FIG. 6 . 56 (a) Relaxation time constant (τ m ) of each STZ type (m) for different RT aging times. (b) Relaxation time constants as a function of RT aging time of different STZ types.  ... 
doi:10.1209/0295-5075/100/33001 fatcat:r6r5d5en4rfx5bwno4tvhlf344

Shear transformation zone analysis of anelastic relaxation of a metallic glass reveals distinct properties of α and β relaxations

T. J. Lei, L. Rangel DaCosta, M. Liu, W. H. Wang, Y. H. Sun, A. L. Greer, M. Atzmon
2019 Physical review. E  
α and β relaxations are consistent with the STZ model.  ...  The corresponding time-constant spectra were computed from the data-they contain a series of peaks corresponding to an atomically quantized hierarchy of shear transformation zones (STZs), where both the  ...  FIG. 5 .FIG. 6 . 56 (a) Relaxation time constant (τ m ) of each STZ type (m) for different RT aging times. (b) Relaxation time constants as a function of RT aging time of different STZ types.  ... 
doi:10.1103/physreve.100.033001 fatcat:br65zbspnvdnhbtgz3pc3vwhm4

A Relaxed Approach to RDF Querying [chapter]

Carlos A. Hurtado, Alexandra Poulovassilis, Peter T. Wood
2006 Lecture Notes in Computer Science  
We make queries more flexible by logical relaxation of their conditions based on RDFS entailment and RDFS ontologies.  ...  We explore flexible querying of RDF data, with the aim of making it possible to return data satisfying query conditions with varying degrees of exactness, and also to rank the results of a query depending  ...  type conditions, relaxing properties using domain or range restrictions and others.  ... 
doi:10.1007/11926078_23 fatcat:iyu53n6f3fgdhkxkqvkyfy47d4

CheckFence

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2007 SIGPLAN notices  
Concurrency libraries can facilitate the development of multithreaded programs by providing concurrent implementations of familiar data types such as queues or sets.  ...  Moreover, they require memory ordering fences to function correctly on relaxed memory models.  ...  concurrent data types, that is, concurrent implementations of familiar data abstractions such as queues, sets, or maps.  ... 
doi:10.1145/1273442.1250737 fatcat:fbwpmznv3jfutptf3jyc5xwcqe

CheckFence

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2007 Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07  
Concurrency libraries can facilitate the development of multithreaded programs by providing concurrent implementations of familiar data types such as queues or sets.  ...  Moreover, they require memory ordering fences to function correctly on relaxed memory models.  ...  concurrent data types, that is, concurrent implementations of familiar data abstractions such as queues, sets, or maps.  ... 
doi:10.1145/1250734.1250737 dblp:conf/pldi/BurckhardtAM07 fatcat:gscwsq5w2bbpxot77nu7rlj7yu

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study [chapter]

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2006 Lecture Notes in Computer Science  
Many multithreaded programs employ concurrent data types to safely share data among threads.  ...  Many multithreaded programs employ concurrent data types to safely share data among threads.  ...  Our approach differs because we specifically target concurrent data types and because we use operation-level sequential consistency as our correctness criterion.  ... 
doi:10.1007/11817963_45 fatcat:xnpjjwed6jcxvcbkka7k4jol64

Modeling with collaborating PDE solvers—Theory and practice

Mo Mu, John R. Rice
1995 Computing Systems in Engineering  
A software system RELAX is described which is implemented as a platform to test various relaxers and to solve complex problems using this approach.  ...  We present an approach which combines independent PDE solvers for simple domains which collaborate using interface relaxation to solve complex problems.  ...  The RELAX environment is implemented by Dr. Scott McFaddin. We would like to thank him very much for providing the implementation details.  ... 
doi:10.1016/0956-0521(95)00005-k fatcat:y2ldbn65lzhhxgbcqivekf5utm

Robust question answering over the web of linked data

Mohamed Yahya, Klaus Berberich, Shady Elbassuoni, Gerhard Weikum
2013 Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13  
Natural-language questions are a user-friendly mode of tapping this wealth of knowledge and data.  ...  Knowledge bases and the Web of Linked Data have become important assets for search, recommendation, and analytics.  ...  COMPUTATIONAL MODEL RDF data and text: The Linked Data sources that we operate on consist of subject-predicate-object (SPO) triples following the RDF data model.  ... 
doi:10.1145/2505515.2505677 dblp:conf/cikm/YahyaBEW13 fatcat:o7qklxaarvbqjcgjjxkprkzxfi

Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data [chapter]

Kuldeep B. R. Reddy, P. Sreenivasa Kumar
2013 Lecture Notes in Computer Science  
Thus, by performing query relaxation on-the-fly at runtime, the shared data between relaxed queries are not fetched repeatedly, resulting in significant performance benefits.  ...  The web of linked data represents a globally distributed dataspace which can be queried using the SPARQL query language.  ...  X,type,faculty) higher than (?X,type,professor) to (?X,type,person) as the former is more similar to the original triple pattern.  ... 
doi:10.1007/978-3-642-35975-0_17 fatcat:kqwzyiwehfhsvkvt3cxax3t7z4

Hydration of the Folding Transition State Ensemble of a Protein†

Ludovic Brun, Daniel G. Isom, Priya Velu, Bertrand García-Moreno, Catherine Ann Royer
2006 Biochemistry  
Some computational studies suggest that TSEs consist mostly of expanded and distorted native  ...  By the time wild type SNase reaches the folding transition state, most water has already been expelled from its hydrophobic core.  ...  The data illustrate that for the wild type, relaxation slows significantly as pressure is increased, whereas for the Δ+phs+V66K variant, increasing pressure leads to much faster relaxation.  ... 
doi:10.1021/bi052638z pmid:16533028 pmcid:PMC4442614 fatcat:bjet2yeeznc4vh2e4ypvllku64

Interstitial cells of Cajal and adaptive relaxation in the mouse stomach

Devika Dixit, Natalia Zarate, Louis W. C. Liu, Douglas R. Boreham, Jan D. Huizinga
2006 American Journal of Physiology - Gastrointestinal and Liver Physiology  
Because pressure development was significantly lower in W/W v mice compared with wild type in all the conditions studied, including in the presence of TTX, ICC-IM may play a role in development of myogenic  ...  Most data to support such roles come from in vitro studies with muscle strips whereas data at the whole organ level are scarce.  ...  Therefore, it was not feasible to analyze the data as done under control conditions or in the presence of L-NNA. The pressure development in the presence of TTX showed one of two patterns.  ... 
doi:10.1152/ajpgi.00518.2005 pmid:16891301 fatcat:3kbjpezjtzcr3kljymy6xuh7xa
« Previous Showing results 1 — 15 out of 702,206 results