Association for Symbolic Logic

Publications in OpenAlex of which a co-author is affiliated to this organization

All publications | By field | By subfield

All publications [Next]
Title DOI
https://doi.org/10.1073/pnas.0903620106 Cognitive control in media multitaskers
https://doi.org/10.1145/2993600.2993611 Formal Verification of Smart Contracts
https://doi.org/10.1097/01.md.0000076006.64510.5c MYH9-Related Disease
https://doi.org/10.1007/s00453-001-0116-5 Fixed Parameter Algorithms for DOMINATING SET and Related Problems on Planar Graphs
https://doi.org/10.1523/jneurosci.18-21-08990.1998 Odorant-Induced and Sniff-Induced Activation in the Cerebellum of the Human
https://doi.org/10.1359/jbmr.060312 Effects of Conjugated Equine Estrogen on Risk of Fractures and BMD in Postmenopausal Women With Hysterectomy: Results From the Women's Health Initiative Randomized Trial
https://doi.org/10.18653/v1/p16-1139 A Fast Unified Model for Parsing and Sentence Understanding
https://doi.org/10.1002/hrm.3930320205 An examination of the relationships among self‐perception accuracy, self‐awareness, gender, and leader effectiveness
https://doi.org/10.3102/0013189x035006018 Disability Justifies Exclusion of Minority Students: A Critical History Grounded in Disability Studies
https://doi.org/10.1002/(sici)1520-6505(1999)8:6<208::aid-evan2>3.0.co;2-m Pleistocene human colonization of Siberia and peopling of the Americas: An ecological approach
https://doi.org/10.1007/bf03325318 Orthorexia nervosa in the general population: A preliminary screening using a self-administered questionnaire (ORTO-15)
https://doi.org/10.1093/geronb/gbp075 Social Network Types and Subjective Well-being in Chinese Older Adults
https://doi.org/10.1016/j.biopsych.2013.12.015 The Effects of Acutely Administered 3,4-Methylenedioxymethamphetamine on Spontaneous Brain Function in Healthy Volunteers Measured with Arterial Spin Labeling and Blood Oxygen Level–Dependent Resting State Functional Connectivity
https://doi.org/10.1097/01.prs.0000286574.88752.04 The Mentor Core Study on Silicone MemoryGel Breast Implants
https://doi.org/10.1002/14651858.cd005063.pub3 Benzodiazepines for alcohol withdrawal
https://doi.org/10.3982/ecta7564 Vector Expected Utility and Attitudes Toward Variation
https://doi.org/10.1145/1823931.1823954 Advanced applications of the holonomic systems approach
https://doi.org/10.3982/qe200 Inequality and the life cycle
https://doi.org/10.1093/elt/47.4.292 Language awareness: a missing link in language teacher education?
https://doi.org/10.1007/s11739-011-0709-1 Diagnostic accuracy and reproducibility of pleural and lung ultrasound in discriminating cardiogenic causes of acute dyspnea in the Emergency Department
https://doi.org/10.23736/s1973-9087.21.06887-8 Robotic-assisted gait rehabilitation following stroke: a systematic review of current guidelines and practical clinical recommendations
https://doi.org/10.1093/oso/9780195147216.003.0009 Remarks before the Princeton bicentennial conference on problems in mathematics (1946)
https://doi.org/10.1093/oso/9780195147216.003.0007 Russell’s mathematical logic* (1944)
https://doi.org/10.1111/dom.12976 Variability in HbA1c , blood pressure, lipid parameters and serum uric acid, and risk of development of chronic kidney disease in type 2 diabetes
https://doi.org/10.1007/s00592-015-0713-4 Incidence and risk factors for severe and symptomatic hypoglycemia in type 1 diabetes. Results of the HYPOS-1 study
https://doi.org/10.1111/ecc.12633 Dysgeusia and health-related quality of life of cancer patients receiving chemotherapy: A cross-sectional study
https://doi.org/10.1183/13993003.01326-2023 Sfrp1 inhibits lung fibroblast invasion during transition to injury-induced myofibroblasts
Characteristics of patients with allergic polysensitization: the POLISMAIL study.
https://doi.org/10.1039/c9em00170k Leachate emissions of short- and long-chain per- and polyfluoralkyl substances (PFASs) from various Norwegian landfills
https://doi.org/10.1039/c7ay00865a FTIR as a rapid tool for monitoring molecular weight distribution during enzymatic protein hydrolysis of food processing by-products
https://doi.org/10.1093/ndt/gft506 Kidney dysfunction and related cardiovascular risk factors among patients with type 2 diabetes
https://doi.org/10.1097/md.0000000000001605 The Impact of Restricting Over-the-Counter Sales of Antimicrobial Drugs
https://doi.org/10.7759/cureus.8622 YouTube as a Source of Medical and Epidemiological Information During COVID-19 Pandemic: A Cross-Sectional Study of Content Across Six Languages Around the Globe
https://doi.org/10.2174/1874609808666150422111623 Non-programmed Versus Programmed Aging Paradigm
https://doi.org/10.1039/c7an00488e Fourier-transform infrared spectroscopy for characterization of protein chain reductions in enzymatic reactions
https://doi.org/10.1111/jgh.15214 Extrahepatic autoimmune diseases in primary biliary cholangitis: Prevalence and significance for clinical presentation and disease outcome
https://doi.org/10.5534/wjmh.220048 Consensus and Diversity in the Management of Varicocele for Male Infertility: Results of a Global Practice Survey and Comparison with Guidelines and Recommendations
https://doi.org/10.1007/s12223-023-01078-4 Application and effectiveness of Methylobacterium symbioticum as a biological inoculant in maize and strawberry crops
https://doi.org/10.1183/13993003.01612-2023 Long-term radiological and pulmonary function abnormalities at 3 years after COVID-19 hospitalisation: a longitudinal cohort study
https://doi.org/10.5235/174410511797248324 Indirect Information Exchange: The Constituent Elements of Hub and Spoke Collusion
https://doi.org/10.18653/v1/d19-1385 TalkDown: A Corpus for Condescension Detection in Context
https://doi.org/10.18653/v1/d19-1456 Posing Fair Generalization Tasks for Natural Language Inference
https://doi.org/10.4000/samaj.6701 Indian Muslims and the Anti-CAA Protests: From Marginalization Towards Exclusion
https://doi.org/10.1183/13993003.00004-2024 Impact of elexacaftor/tezacaftor/ivacaftor therapy on lung clearance index and magnetic resonance imaging in children with cystic fibrosis and one or twoF508delalleles
https://doi.org/10.1111/ablj.12194 Legal Strategy Disrupted: Managing Climate Change and Regulatory Transformation
https://doi.org/10.1093/oso/9780195147216.003.0011 What is Cantor’s continuum problem? (1947)
https://doi.org/10.1016/j.intimp.2024.113388 Current therapeutic overview and future perspectives regarding the treatment of psoriasis
https://doi.org/10.1098/rspl.1878.0010 II. The cortical lamination of the motor area of the brain
https://doi.org/10.1080/08940886.2019.1634430 Laser-Produced Plasma Sources for High-Volume-Manufacturing EUV Lithography
https://doi.org/10.1183/13993003.00482-2023 Evidence for a lipofibroblast-to-Cthrc1+myofibroblast reversible switch during the development and resolution of lung fibrosis in young mice
https://doi.org/10.1016/j.socscimed.2025.118049 Impact of retirement transition on health, well-being and health behaviours: critical insights from an overview of reviews
https://doi.org/10.1002/ehf2.15172 Implementation of Guideline-Directed Medical Therapy in Patients with Heart Failure with Reduced Ejection Fraction (OpTIMa-HF Registry)
https://doi.org/10.1007/s00464-025-11622-7 MAMBA (Moisture Assisted Multiple BipolAr) technique vs Robo-lap approach in robotic liver resection. Is it possible a full robotic approach for parenchymal transection? A propensity score matching analysis
https://doi.org/10.1016/j.firesaf.2025.104367 Evaluating the impact of testing conditions on intumescent coatings' fire performance: A comparison of laboratory-scale and industrial-scale experiments
https://doi.org/10.38116/ppe52n3art1 Determinantes da evasão no ensino superior : uma abordagem de riscos competitivos
https://doi.org/10.1145/960112.28698 Object-oriented programming with flavors
https://doi.org/10.2165/00002018-200528020-00005 The Safety of Newer Antidepressants in Pregnancy and Breastfeeding
https://doi.org/10.1007/s00431-006-0153-9 Kalèdo, a new educational board-game, gives nutritional rudiments and encourages healthy eating in children: a pilot cluster randomized trial
https://doi.org/10.1136/jnnp.64.1.25 Possible risk factors for primary adult onset dystonia: a case-control investigation by the Italian Movement Disorders Study Group
https://doi.org/10.2165/00002018-200326020-00004 Adverse Drug Reactions Related to the Use of Fluoroquinolone Antimicrobials
https://doi.org/10.1002/j.2158-1592.2006.tb00217.x LOGISTICS SERVICE DRIVEN LOYALTY: AN EXPLORATORY STUDY
https://doi.org/10.1093/schbul/sbn184 Stigmatization as an Environmental Risk in Schizophrenia: A User Perspective
https://doi.org/10.1097/01.asw.0000363537.75328.36 SCALE
A Logical Approach to Reasoning by Analogy
https://doi.org/10.3109/0142159x.2011.558540 Psychometric evaluation of the Dundee Ready Educational Environment Measure: Swedish version
https://doi.org/10.1097/01893697-200321020-00006 LYMPHEDEMA FOLLOWING BREAST CANCER TREATMENT, INCLUDING SENTINEL LYMPH NODE BIOPSY.
https://doi.org/10.3109/14767058.2012.683899 Viral invasion of the amniotic cavity (VIAC) in the midtrimester of pregnancy
https://doi.org/10.1097/prs.0b013e318217435a Comparison of Trapeziectomy and Trapeziectomy with Ligament Reconstruction and Tendon Interposition: A Systematic Literature Review
https://doi.org/10.1159/000080993 Combined Irinotecan and Oxaliplatin in Patients with Advanced Pre-Treated Pancreatic Cancer
https://doi.org/10.1007/s00436-015-4532-x Epidemiological updates and economic losses due to Taenia hydatigena in sheep from Sardinia, Italy
https://doi.org/10.3275/8585 The potential protective effect of tramiprosate (homotaurine) against Alzheimer's disease: a review.
https://doi.org/10.1108/09544789410052778 Starting Total Quality Management from ISO 9000
https://doi.org/10.1200/jco.2013.51.6963 Results of a Multicenter, Controlled, Randomized Clinical Trial Evaluating the Combination of Piperacillin/Tazobactam and Tigecycline in High-Risk Hematologic Patients With Cancer With Febrile Neutropenia
Current trends in colchicine treatment in familial Mediterranean fever.
https://doi.org/10.2147/ndt.s41557 Adjunctive agomelatine therapy in the treatment of acute bipolar II depression: a preliminary open label study
https://doi.org/10.1016/s0167-5877(01)00254-9 Peste des petits ruminants has been widely present in southern India since, if not before, the late 1980s
https://doi.org/10.1136/gutjnl-2018-318198 Faecal haemoglobin concentration among subjects with negative FIT results is associated with the detection rate of neoplasia at subsequent rounds: a prospective study in the context of population based screening programmes in Italy
https://doi.org/10.1016/j.jamcollsurg.2006.06.010 Tension-Free Repair Versus Watchful Waiting for Men with Asymptomatic or Minimally Symptomatic Inguinal Hernias: A Cost-Effectiveness Analysis
https://doi.org/10.1007/s00406-009-0078-1 Social skills and neurocognitive individualized training in schizophrenia: comparison with structured leisure activities
https://doi.org/10.1007/s00414-014-1045-6 Sexual dimorphism of the tibia in contemporary Greeks, Italians, and Spanish: forensic implications
https://doi.org/10.1097/md.0000000000003845 A meta-analysis and systematic review of randomized controlled trials with degarelix versus gonadotropin-releasing hormone agonists for advanced prostate cancer
https://doi.org/10.1093/oso/9780195147216.003.0005 The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory (1940)
https://doi.org/10.18653/v1/d18-1004 It’s going to be okay: Measuring Access to Support in Online Communities
https://doi.org/10.1016/j.rppneu.2014.03.004 Open circuit mouthpiece ventilation: Concise clinical review
https://doi.org/10.1109/msp.2016.2599201 Conversational In-Vehicle Dialog Systems: The past, present, and future
https://doi.org/10.18653/v1/w17-2810 Are Distributional Representations Ready for the Real World? Evaluating Word Vectors for Grounded Perceptual Meaning
https://doi.org/10.1162/014892602320991392 Computer Music Languages, Kyma, and the Future
https://doi.org/10.1201/1078/44705.21.4.20040901/84192.11 Outsourcing and the Future of It
https://doi.org/10.1590/s1806-37132014000100002 Can ultrasound guidance reduce the risk of pneumothorax following thoracentesis?
https://doi.org/10.1039/c5fd00171d Mie scatter corrections in single cell infrared microspectroscopy
https://doi.org/10.2168/lmcs-8(1:2)2012 Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
Sublingual immunotherapy in polysensitized patients: effect on quality of life.
https://doi.org/10.1002/qj.693 Adjoint sensitivity of the model forecast to data assimilation system error covariance parameters
https://doi.org/10.1007/s00431-009-1118-6 House dust mite-related allergic diseases: role of skin prick test, atopy patch test, and RAST in the diagnosis of different manifestations of allergy
https://doi.org/10.1088/1751-8113/46/18/185202 Isingn-fold integrals as diagonals of rational functions and integrality of series expansions
https://doi.org/10.1016/j.jsc.2013.04.004 Rank-profile revealing Gaussian elimination and the CUP matrix decomposition
https://doi.org/10.1145/1576702.1576713 Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm
https://doi.org/10.1190/geo2013-0086.1 Locating microseismic sources using migration-based deconvolution
https://doi.org/10.23736/s1973-9087.21.06915-x What does evidence tell us about the use of gait robotic devices in patients with multiple sclerosis? A comprehensive systematic review on functional outcomes and clinical recommendations
https://doi.org/10.1007/s00384-014-1884-0 Increased faecal calprotectin predicts recurrence of colonic diverticulitis