Results 31 to 40 of about 332,141 (275)

A Survey on Continuous Time Computations [PDF]

, 2007
We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models.
A Ben-Hur, A Ben-Hur, A Ben-Hur, A Ben-Hur, A Kempe, A Rabinovich, A Turing, A Vergis, A. Church, APL Francisco, Asarin, B Trakhtenbrot, BJ Copeland, C Moore, C Moore, C Moore, C Moore, CE Shannon, CS Calude, D Dee, D Deutsch, D Graça, D Woods, DS Graça, DS Graça, E Asarin, E Asarin, E Asarin, E Post, EB Davies, G Etesi, G Lafferriere, G P ăun, H Abdi, HM Stoll, HT Siegelmann, HT Siegelmann, HT Siegelmann, I Artobolevskii, I Németi, J Earman, J Foy, J Mycka, J Mycka, J Mycka, J Mycka, J Šíma, J Šíma, JF Costa, JJ Hopfield, JJ Hopfield, JV Tucker, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Weihrauch, K-I Ko, K-I Ko, L Blum, L Faybusovich, L Faybusovich, L Lipshitz, LA Rubel, LA Rubel, LM Adleman, M Campagnolo, M Campagnolo, M Casey, M Casey, M Davis, M Gori, M Hogarth, M Hogarth, M Hoyrup, M Pour-El, MB Pour-El, MB Pour-El, MB Pour-El, MD Bowles, ML Campagnolo, ML Campagnolo, ML Hogarth, MO Rabin, MS Branicky, MS Branicky, N Müller, O Bournez, O Bournez, O Bournez, O Bournez, O Bournez, O. Finkel, P Bouyer, P Clote, P Collins, P Koiran, P Koiran, P Koiran, P Orponen, P Orponen, PW Shor, R Alur, R Alur, R Legenstein, RJ Lipton, RW Brockett, RW Brockett, S Aaronson, S Grigorieff, S Omohundro, S. C. Kleene, T Brihaye, T Brihaye, T Head, T Natschläger, TA Henzinger, TD Kieu, U Helmke, V Bush, VD Blondel, VD Blondel, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, WD Smith, Šíma   +138 more
core   +5 more sources

A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions

Advanced Engineering Materials, EarlyView.
This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice, Krzysztof S. Stopka, Michael D. Sangid   +2 more
wiley   +1 more source

Multimodal Mechanical Testing of Additively Manufactured Ti6Al4V Lattice Structures: Compression, Bending, and Fatigue

Advanced Engineering Materials, EarlyView.
In this experimental study, the mechanical properties of additively manufactured Ti‐6Al‐4V lattice structures of different geometries are characterized using compression, four point bending and fatigue testing. While TPMS designs show superior fatigue resistance, SplitP and Honeycomb lattice structures combine high stiffness and strength. The resulting
Klaus Burkart, Jonas Schmidt, Anastasiya Toenjes, Johanna Eisenträger   +3 more
wiley   +1 more source

Организация учебного процесса по дискретной математике и математической логике [PDF]

, 2013
In this paper we consider the method of teaching discrete mathematics and mathematical logic for future bachelors of "Mathematics and Computer Science".Рассматривается методика обучения дискретной математике и математической логике будущих бакалавров по ...
Bukusheva, A. V., Букушева, А. В.   +1 more
core  

A Discrete and Bounded Envy-free Cake Cutting Protocol for Four Agents

, 2016
We consider the well-studied cake cutting problem in which the goal is to identify a fair allocation based on a minimal number of queries from the agents.
Barbanel B., Branzei S., Busch C., Gamow G., Garfunkel S., Guo R., Hively W., Kurokawa D., Kushilevitz E., Lindner C., Procaccia A. D., Procaccia A. D., Robertson J. M., Robertson J. M., Segal-Halevi E., Steinhaus H.   +15 more
core   +1 more source

Design and Prototyping of Topology‐Optimized, Additively Manufactured Lightweight Components for Space Robotic Systems: A Case Study

Advanced Engineering Materials, EarlyView.
The results demonstrate a simulation‐driven workflow that applies LSB topology optimization with additive manufacturing constraints to mission‐specific load cases, integrating European Cooperation for Space Standardization compliant verification and manufacturability to develop structurally efficient rover suspension components.
Stelios K. Georgantzinos, Grigorios Kostopoulos, Eleni Papadopoulou, Stefanos Voulgaris, Alexandra Tseni, Panteleimon Bakalis, Maria N. Gkara, Chara Ch. Mitropoulou, Georgios Kazakis, Alin Munteanu, Jeremi Gancet, Nikos D. Lagaros   +11 more
wiley   +1 more source

Hitting minors, subdivisions, and immersions in tournaments

, 2018
The Erd\H{o}s-P\'osa property relates parameters of covering and packing of combinatorial structures and has been mostly studied in the setting of undirected graphs.
Raymond, Jean-Florent
core   +1 more source

Curriculum Guidelines for Undergraduate Programs in Data Science [PDF]

, 2017
The Park City Math Institute (PCMI) 2016 Summer Undergraduate Faculty Program met for the purpose of composing guidelines for undergraduate programs in Data Science.
Agarwal, Mahesh, Averett, Maia, Baumer, Benjamin, Bray, Andrew, Bressoud, Thomas, Bryant, Lance, Cheng, Lei, De Veaux, Richard, Francis, Amanda, Gould, Robert, Kim, Albert Y., Kretchmar, Matt, Lu, Qin, Moskol, Ann, Nolan, Deborah, Pelayo, Roberto, Raleigh, Sean, Sethi, Ricky J., Sondjaja, Mutiara, Tiruviluamala, Neelesh, Uhlig, Paul, Washington, Talitha, Wesley, Curtis, White, David, Ye, Ping   +24 more
core   +3 more sources

Enhancing CoFe Catalysts with V2CTX MXene‐Derived Materials for Anion Exchange Membrane Electrolyzers

Advanced Functional Materials, EarlyView.
MXene dervied CoFe composites show increased initial Oxygen Evolution Reaction (OER) activity compared to the pure CoFe and MXene in an Anion Exchange Membrane device. Vanadium vacancies in the MXene plays a role in increased OER activity and hinders Fe leaching in the AEM device over using the pure V2C MXene as a support material for the CoFe ...
Can Kaplan, Karuppasamy Dharmaraj, Thorsten Schultz, Leiqiang Qin, Ningjun Chen, Danielle A. Douglas‐Henry, Bastian Schmiedecke, Merve Buldu‐Akturk, Axel Zuber, Iris Dorbandt, Maximilian Reinhardt, Yael Rodriguez‐Ayllon, Yan Lu, Valeria Nicolosi, Norbert Koch, Johanna Rosen, Michelle P. Browne   +16 more
wiley   +1 more source

Architectural building safety and health performance model for stratified low-cost housing: education and management tool for building managers [PDF]

, 2015
The safety and health performances aspects of a building are the most challenging aspect of facility management. It requires a deep understanding by the building managers on the factors that contribute to health and safety performances.
Akasah, Zainal Abidin, Alias, Maizam, Ramli, Azuin   +2 more
core   +1 more source