Results 31 to 40 of about 394,052 (288)

Algoritmická, počítačem podporovaná kompozice a postmoderní pluralismus

Musicologica Brunensia, 2015
This article deal with algorithmic and related computer-aided composition. The conclusions of philosophy and general art theory are used to explain the algorithmic composition as a manifestation of postmodernism and at the same time the article offers a ...
Petr Haas
doaj   +1 more source

Equivalence of hybrid dynamical systems [PDF]

, 2004
A common theme in theoretical computer science (in particular, the theory of distributed processes and computer-aided verification) and in systems and control theory is to charac-terize systems which are ‘externally equivalent’.
Schaft, Arjan van der
core   +4 more sources

The ForMaRE Project - Formal Mathematical Reasoning in Economics

, 2013
The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics' theoretical results, to aid in discovering new results, and to foster interest in formal methods, i.e.
Kerber, Manfred, Lange, Christoph, Rowat, Colin   +2 more
core   +1 more source

Survival Outcomes and Complications Among Canadian Children With Retinoblastoma: A Population‐Based Report From CYP‐C

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Purpose Retinoblastoma (RB) is the most common pediatric ocular cancer, yet population‐based data on survival and risk factors remain limited. This study aimed to describe survival in a large national RB cohort and identify predictors of death and complications.
Samuel Sassine, Ofélie Trudeau‐Ferrin, Caroline Laverdière, Patrick Hamel, Rosanne Superstein, Bénédicte Koukoui, Carole Provost, Paul C. Nathan, Vijay Ramaswamy, Furqan Shaikh, Brenda Gallie, Ashwin Mallipatna, Stephanie Kletke, Helen Dimaras, Hallie Coltin   +14 more
wiley   +1 more source

Modeling a HCR Gear with Variable Thickness of the Thin Hard Coating on the Tooth Surface for Fem Analysis

Journal of Mechanical Engineering
This work presents a computer model of HCR gear wheels with thin hard coatings of variable thickness. The coating thickness fluctuates along tooth depth due to limited technological space, particularly at the dedendum.
Protasov Roman, Danko Ján, Ustynenko Oleksandr, Soprunov Igor, Bondarenko Oleksij, Klochkov Illia, Marchenko Yevhenii   +6 more
doaj   +1 more source

Preferences of Pediatric Patients and Their Caregivers for Chemotherapy‐Induced Nausea and Vomiting Control Endpoints: A Mixed Methods Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Purpose Although not always achieved, complete chemotherapy‐induced nausea and vomiting (CINV) control is the conventional goal of CINV prophylaxis. In this two‐center, mixed‐methods study, we sought to understand the preferences of adolescent patients and family caregivers for CINV control endpoints.
Haley Newman, Tadi Hondonga, Alison Berry, Caitlin Elgarten, Jason Freedman, Katelyn Oranges, Sara McDonough, Caroline Diorio, L. Lee Dupuis   +8 more
wiley   +1 more source

A rapid CAE-based design method for modular hybrid truss structures

Design Science, 2019
The development of hybrid trusses made of carbon-fiber-reinforced plastic struts and aluminum knots is currently not standardized, and there is no overall method for the design, although it has been proven that mass reduction is feasible.
Simon Walbrun, Christian Witzgall, Sandro Wartzack   +2 more
doaj   +1 more source

Computer aided synthesis: a game theoretic approach

, 2017
In this invited contribution, we propose a comprehensive introduction to game theory applied in computer aided synthesis. In this context, we give some classical results on two-player zero-sum games and then on multi-player non zero-sum games. The simple
A Rényi, C Beeri, C Harris, D Fudenberg, D Perrin, DA Martin, E Grädel, E Kopczyński, E Solan, EA Emerson, EA Emerson, H Gimbert, H Gimbert, J Filar, J Flesch, J Neumann von, J Pril De, K Chatterjee, K Chatterjee, K Chatterjee, K Chatterjee, K Chatterjee, K Chatterjee, K Chatterjee, M Jurdzinski, M Lothaire, M Ummels, M Ummels, M Ummels, MJ Osborne, MY Vardi, N Buhrke, N Fijalkow, N Immerman, ND Jones, P Hunter, R Alur, R Bloem, R Brenguier, R Brenguier, R Brenguier, R McNaughton, R Selten, RA Purves, RM Karp, T Brihaye, U Zwick, V Bruyère, Y Velner, Y Velner   +49 more
core   +1 more source

Therapeutic Apheresis for Intravenous Methylprednisolone‐Refractory Neuromyelitis Optica Spectrum Disorder: Clinical and Radiological Outcomes in a Single‐Center Case Series

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Neuromyelitis optica spectrum disorder (NMOSD) is a relapsing autoimmune disease of the central nervous system. High‐dose intravenous methylprednisolone (IVMP) is the standard first‐line therapy for acute attacks, although some patients remain refractory.
Wataru Horiguchi, Daisuke Katagiri, Takeyuki Watadani, Shunichi Matsuda, Hiroshi Kaneko, Noritoshi Arai   +5 more
wiley   +1 more source

Computer-Aided Discovery and Categorisation of Personality Axioms [PDF]

, 2014
We propose a computer-algebraic, order-theoretic framework based on intuitionistic logic for the computer-aided discovery of personality axioms from personality-test data and their mathematical categorisation into formal personality theories in the ...
Kramer, Simon
core