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.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.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.1097/01.asw.0000363537.75328.36 SCALE
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.1111/ecc.12633 Dysgeusia and health-related quality of life of cancer patients receiving chemotherapy: A cross-sectional study
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.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.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.1097/md.0000000000001605 The Impact of Restricting Over-the-Counter Sales of Antimicrobial Drugs
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.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.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.18653/v1/d19-1456 Posing Fair Generalization Tasks for Natural Language Inference
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.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.1039/c4an02343a Fringes in FTIR spectroscopy revisited: understanding and modelling fringes in infrared spectroscopy of thin films
https://doi.org/10.1098/rspl.1878.0010 II. The cortical lamination of the motor area of the brain
https://doi.org/10.1016/j.intimp.2024.113388 Current therapeutic overview and future perspectives regarding the treatment of psoriasis
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.1016/j.ctrv.2024.102734 Endocrine-metabolic assessment checklist for cancer patients treated with immunotherapy: A proposal by the Italian Association of Medical Oncology (AIOM), Italian Association of Medical Diabetologists (AMD), Italian Society of Diabetology (SID), Italian Society of Endocrinology (SIE) and Italian Society of Pharmacology (SIF) multidisciplinary group
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.1097/nne.0000000000000934 2-Stage Collaborative Testing Results in Improved Academic Performance and Student Satisfaction in a PreLicensure Nursing Course
https://doi.org/10.1145/960112.28698 Object-oriented programming with flavors
https://doi.org/10.1172/jci105318 Studies on human platelet granules and membranes.
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.1093/schbul/sbn184 Stigmatization as an Environmental Risk in Schizophrenia: A User Perspective
A Logical Approach to Reasoning by Analogy
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.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.1007/s00436-015-4532-x Epidemiological updates and economic losses due to Taenia hydatigena in sheep from Sardinia, Italy
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.1590/s0102-33062004000400025 Fitossociologia de trechos da vegetação do Complexo de Campo Maior, Campo Maior, PI, Brasil
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.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.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.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.1109/msp.2016.2599201 Conversational In-Vehicle Dialog Systems: The past, present, and 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.1213/01.ane.0000251201.81210.e7 Remifentanil Requirements During Propofol Administration to Block the Somatic Response to Skin Incision in Children and Adults
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
https://doi.org/10.1111/cts.12246 MOR1 Expression in Gastric Cancer: A Biomarker Associated With Poor Outcome