Filters








47,686 Hits in 3.6 sec

Rank logic is dead, long live rank logic! [article]

Erich Grädel, Wied Pakusa
2015 arXiv   pre-print
Solvability logic can easily be embedded into rank logic, but it is open whether it is a strict fragment.  ...  In particular we show that the variant of rank logic FPR* with an operator that uniformly expresses the matrix rank over finite fields is more expressive than FPR.  ...  σ (restricted to the indices from Y w ) in the subtree T xq i−hw +1 +dw hw−1 Rank logic is dead, long live rank logic!  ... 
arXiv:1503.05423v1 fatcat:coz4qftg65go7dcttf6t3guwwa

JSL volume 84 issue 1 Cover and Front matter

2019 Journal of Symbolic Logic (JSL)  
The BULLETIN, the JOURNAL and the REVIEW OF SYMBOLIC LOGIC are the offi cial organs of the Association for Symbolic Logic, an international organization for furthering research in logic and the exchange  ...  The JOURNAL invites submission of original scholarly work in mathematical logic and its applications.  ...  logic is dead, long live rank logic!  ... 
doi:10.1017/jsl.2019.9 fatcat:2rjeahckqne6rlj25pjcjgdmte

Practice random acts of aggression and senseless acts of intimidation: The logic of status contests in social groups

Joan B. Silk
2003 Evolutionary Anthropology (print)  
APPLYING THE LOGIC OF RANDOM AGGRESSION IN CERCOPITHECINE PRIMATE GROUPS The logic of unprovoked and unpredictable aggression potentially applies to any animals that live in stable groups of familiar individuals  ...  Several juveniles bounce on the unstable limbs of a dead tree. One female who is resting in the shade looks up as a dominant female approaches.  ... 
doi:10.1002/evan.10038 fatcat:iqki6xnyingzpamwx642tbpihy

Logical Inconsistencies in 3 Preference Elicitation Methods for EQ-5D Health States

Mônica Viegas Andrade, Kenya Noronha, Paul Kind, Carla de Barros Reis, Lucas Resende de Carvalho
2015 Medical decision making  
Logical inconsistency for health states preferences occurs when one logically worse health state, in terms of quality of life, is ranked higher than a logically better health state. Objective.  ...  It compares the level of inconsistency in 3 preference-based methods: ranking, visual analog scale (VAS), and time tradeoff (TTO).  ...  Logical inconsistency for health states preferences occurs when one logically worse health state, in terms of quality of life, is ranked higher than a logically better health state. Objective.  ... 
doi:10.1177/0272989x15601047 pmid:26289747 fatcat:ctc4snxqhrgalaa4mjoiabdl2e

Can arguments address concerns?

M Hayry
2005 Journal of Medical Ethics  
''But it is for a very good purpose, and, besides, the child is dead.'' P hilosophical bioethics traditionally centres on arguments.  ...  One option is to argue that medical research is enormously useful, and it will, in the long run, benefit many people, including children who would otherwise die prematurely.  ... 
doi:10.1136/jme.2005.010017 pmid:16199603 pmcid:PMC1734031 fatcat:pzov3iq2pffmxkmvskjqt6etzy

Issues of Logicism and Objectivity

Trudy Govier
2017 Informal Logic  
Much of the difference between our approaches concerns what he deems to be a logicistic approach (referred to here as logicism) on my part.  ...  There is no firm criterion that will allow us to pronounce an expression to be a metaphor, or to be a live or dead metaphor.  ...  But for those who would push the notion of metaphorical status to its limits, arguably living still. The notion of the deadness of a metaphor merits further study.  ... 
doi:10.22329/il.v37i3.4832 fatcat:tolitx5xivcdjehvfwlvrltyny

Regular Model Checking Revisited (Technical Report) [article]

Anthony W. Lin, Philipp Rümmer
2021 arXiv   pre-print
We show that many interesting correctness properties can be formulated in this way, examples being safety, liveness, bisimilarity, and games.  ...  We argue that this is a natural formulation that enables us tap into powerful synthesis techniques that have been extensively studied in the software verification community.  ...  Here n is a parameter, regardless of whose value (so long as it is a positive integer) the correctness property has to hold.  ... 
arXiv:2005.00990v2 fatcat:kvmcpfh3x5actialupmareevru

Collaborative work on evaluation of ovarian toxicity 16) Effects of 2 or 4 weeks repeated dose studies and fertility study of Chlorpromazine hydrochloride in rats

Yuko Izumi, Takeshi Watanabe, Naoko Awasaki, Kenji Hikawa, Takashi Minagi, Fumio Chatani
2009 Journal of Toxicological Sciences  
embryos (resorptions, placental remnants and dead embryos) and live embryos were counted.  ...  When the rank in the control group with that in each dosage group.  ... 
doi:10.2131/jts.34.s167 pmid:19265283 fatcat:3yepn2xkxzhm3a6a6rz4o3hv3m

Energy-Efficient Fuzzy Management System for Internet of Things Connected Vehicular Ad Hoc Networks

Imran Memon, Mohammad Kamrul Hasan, Riaz Ahmed Shaikh, Jamel Nebhen, Khairul Azmi Abu Bakar, Eklas Hossain, Muhammad Hanif Tunio
2021 Electronics  
The fuzzy logic was used to choose the head node of each cluster.  ...  On the other hand, the vehicular ad hoc network (VANET) environment is vulnerable at the time of data transmission.  ...  Figure 12 . 12 Fuzzy logic output ranking of vehicle. Figure 12 . 12 Fuzzy logic output ranking of vehicle.  ... 
doi:10.3390/electronics10091068 fatcat:zewbyeknljgdrpnq4aliuq45xa

A co-operative evaluation of test systems used to assay tuberculosis vaccines

E H Wiegeshaus, G Harding, D McMurray, A A Grover, D W Smith
1971 Bulletin of the World Health Organization  
An alternative hypothesis is that the conflicting results are a product of the different methods used to assess the potency of the vaccines.To determine if the method by which a vaccine is tested is a  ...  vaccine is tested influences the apparent potency of a vaccine.  ...  The third term (r) contrasts the average of the live vaccines with the average of the dead vaccines.  ... 
pmid:5316953 pmcid:PMC2427965 fatcat:uwvbmvurw5h3laxctr4dgdhp2m

Benthic foraminifera: The validity of living, dead or total assemblages for the interpretation of palaeoecology

John W. Murray
1982 Journal of Micropalaeontology  
The validity of the use of living, dead, and total (living plus dead) assemblages is discussed.  ...  It is concluded that ecological studies can be carried out only on living assemblages and that it is important to determine the production and postmortem influences which lead to the formation of the dead  ...  T h e rank order of the first two species in the living assemblage is maintained in the dead and total assemblages. T h e rank order of the other species is variable.  ... 
doi:10.1144/jm.1.1.137 fatcat:eqhucdrw7jdcxewrvqfuv46jki

Framework of Computational Intelligence-Enhanced Knowledge Base Construction: Methodology and A Case of Gene-Related Cardiovascular Disease

Yi Zhang, Mengjia Wu, Hua Lin, Steven Tipper, Mark Grosser, Guangquan Zhang, Jie Lu
2020 International Journal of Computational Intelligence Systems  
trace the evolution of research topics; and a search engine incorporating with fuzzy logics, word embedding, and genetic algorithm is developed for knowledge searching and ranking.  ...  Aiming to examine and demonstrate the reliability of the proposed framework, a case of gene-related cardiovascular diseases is selected, and a knowledge base is constructed, with the validation of domain  ...  ACKNOWLEDGMENTS This work is supported by the industry project between the University of Technology Sydney and the 23 Strands Pty Ltd (#PRO19-8923) and the  ... 
doi:10.2991/ijcis.d.200728.001 fatcat:46y67pvq45dlfo4mrbhym7j3ja

Italian Population-Based Values of EQ-5D Health States

Luciana Scalone, Paolo A. Cortesi, Roberta Ciampichini, Andrea Belisari, Lucia S. D'Angiolella, Giancarlo Cesana, Lorenzo G. Mantovani
2013 Value in Health  
Conclusions: A specific value set is now available to calculate QALYs for the conduction of health economic studies targeted at the Italian health care system.  ...  Model selection was based on logical consistency of the estimates, sign and magnitude of the regression coefficients, goodness of fit, and parsimony.  ...  The health states are ranked in decreasing order according to the values estimated in Italy.  ... 
doi:10.1016/j.jval.2013.04.008 pmid:23947975 fatcat:3tkr5s6jybaablk7vxup6su5ay

Page 134 of The Church Quarterly Review Vol. 43, Issue 85 [page]

1896 The Church Quarterly Review  
It has produced in Darwin a man who has effected a greater revolution in the opinions of mankind than any- one—at least since Newton—and whose name is likely to live with honour as long as the human race  ...  Another point of contrast between these two writers is that while Pearson’s treatment of his subject is far more rigid, and he carries out his inferences relentlessly to their strictly logical results,  ... 

Health state utilities associated with treatment for transfusion-dependent β-thalassemia

Louis S. Matza, L. Clark Paramore, Katie D. Stewart, Hayley Karn, Minesh Jobanputra, Andrew C. Dietz
2019 European Journal of Health Economics  
Transfusion-dependent β-thalassemia (TDT) is a genetic disease that affects production of red blood cells.  ...  Utilities followed expected patterns, with logical differences between treatment options for TDT and substantially greater utility for transfusion independence than for ongoing treatment involving transfusion  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creat iveco mmons .org/licen ses/by/4.0/), which permits unrestricted use,  ... 
doi:10.1007/s10198-019-01136-0 pmid:31828456 fatcat:nuhv5q44pjaorch6ynatcm7jse
« Previous Showing results 1 — 15 out of 47,686 results