2019 export record
dblp key:
journals/apal/Scowcroft19 share record
persistent URL:
Philip Scowcroft : Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements. Ann. Pure Appl. Log. 170 (6 ) : 673-698 (2019 )export record
dblp key:
journals/apal/Scowcroft19a share record
persistent URL:
Philip Scowcroft : Corrigendum to "Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements" [Ann. Pure Appl. Logic 170 (2019) 673-698]. Ann. Pure Appl. Log. 170 (11 ) (2019 )share record
persistent URL:
Tengfei Shen , Wenbin Liu : Infinitely many rotating periodic solutions for suplinear second-order impulsive Hamiltonian systems. Appl. Math. Lett. 88 : 164-170 (2019 )export record
dblp key:
journals/cphysics/ZolfaghariBNSKO19 share record
persistent URL:
Hadi Zolfaghari , Barna Becsek , Maria Giuseppina Chiara Nestola , William B. Sawyer , Rolf Krause , Dominik Obrist : High-order accurate simulation of incompressible turbulent flows on many parallel GPUs of a hybrid-node supercomputer. Comput. Phys. Commun. 244 : 132-142 (2019 )share record
persistent URL:
Kai Wang , Fu-Gui Shi : Many-valued convex structures induced by fuzzy inclusion orders. J. Intell. Fuzzy Syst. 36 (4 ) : 3373-3383 (2019 )share record
persistent URL:
Gábor Czédli : Finite Semilattices with Many Congruences. Order 36 (2 ) : 233-247 (2019 )share record
persistent URL:
Mark Embree : Unstable modes in projection-based reduced-order models: How many can there be, and what do they tell you? Syst. Control. Lett. 124 : 49-59 (2019 )share record
persistent URL:
Kohei Fujita , Masashi Horikoshi , Tsuyoshi Ichimura , Larry Meadows , Kengo Nakajima , Muneo Hori , Lalith Maddegedara : Development of Element-by-Element Kernel Algorithms in Unstructured Implicit Low-Order Finite-Element Earthquake Simulation for Many-Core Wide-SIMD CPUs. ICCS (1) 2019 : 267-280 2018 share record
persistent URL:
Yue Yue , Yu Tian , Min Zhang , Jianguo Liu : Existence of infinitely many solutions for fourth-order impulsive differential equations. Appl. Math. Lett. 81 : 72-78 (2018 )share record
persistent URL:
Stefan Bilbao , Brian Hamilton : Higher-order accurate two-step finite difference schemes for the many-dimensional wave equation. J. Comput. Phys. 367 : 134-165 (2018 )share record
persistent URL:
Stephan Merz , Hernán Vanzetto : Encoding TLA+ into unsorted and many-sorted first-order logic. Sci. Comput. Program. 158 : 3-20 (2018 )share record
persistent URL:
Afroza Sultana , Chengkai Li : Continuous Monitoring of Pareto Frontiers on Partially Ordered Attributes for Many Users. EDBT 2018 : 85-96 share record
persistent URL:
Hideyuki Tanaka , Youhei Ishihara , Ryo Sakamoto , Takashi Nakamura , Yasuyuki Kimura , Keigo Nitadori , Miyuki Tsubouchi , Jun Makino : Automatic Generation of High-Order Finite-Difference Code with Temporal Blocking for Extreme-Scale Many-Core Systems. ESPM2@SC 2018 : 29-36 2017 share record
persistent URL:
Chun Li , Ravi P. Agarwal , Daniel Pasca : Infinitely many periodic solutions for a class of new superquadratic second-order Hamiltonian systems. Appl. Math. Lett. 64 : 113-118 (2017 )share record
persistent URL:
H. Jerome Keisler : Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology . Journal of the American Mathematical Society, vol. 29 (2016), pp. 237-297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories. Advances in Mathematics, vol. 290 (2016), pp. 614-681. - Maryanthe Malliaris and Saharon Shelah, Keisler's order has infinitely many classes. Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/. Bull. Symb. Log. 23 (1 ) : 117-121 (2017 )share record
persistent URL:
Jian-hua Lin , Min Liu , Jinghua Hao , Peng Gu : Many-objective harmony search for integrated order planning in steelmaking-continuous casting-hot rolling production of multi-plants. Int. J. Prod. Res. 55 (14 ) : 4003-4020 (2017 )share record
persistent URL:
Dali Li , Chuanfu Xu , Bin Cheng , Min Xiong , Xiang Gao , Xiaogang Deng : Performance modeling and optimization of parallel LU-SGS on many-core processors for 3D high-order CFD simulations. J. Supercomput. 73 (6 ) : 2506-2524 (2017 )share record
persistent URL:
Xiaofang Guo : A New Decomposition Many-Objective Evolutionary Algorithm Based on - Efficiency Order Dominance. IIH-MSP (1) 2017 : 242-249 export record
dblp key:
conf/micro/PadmanabhaLDM17 share record
persistent URL:
Shruti Padmanabha , Andrew Lukefahr , Reetuparna Das , Scott A. Mahlke : Mirage cores: the illusion of many out-of-order cores using in-order hardware. MICRO 2017 : 745-758 export record
dblp key:
journals/corr/abs-1802-06493 share record
persistent URL:
Liyi Li , Elsa L. Gunter : A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras. WPTE@FSCD 2017 : 20-34 share record
persistent URL:
Dominic A. S. Brown , Steven A. Wright , Stephen A. Jarvis : Performance of a Second Order Electrostatic Particle-in-Cell Algorithm on Modern Many-Core Architectures. UKPEW 2017 : 67-84 export record
dblp key:
journals/corr/abs-1709-08312 share record
persistent URL:
Afroza Sultana , Chengkai Li : Continuous Monitoring of Pareto Frontiers on Partially Ordered Attributes for Many Users. CoRR abs/1709.08312 (2017 )2016 share record
persistent URL:
Xiang Lv : Infinitely many homoclinic solutions for a class of subquadratic second-order Hamiltonian systems. Appl. Math. Comput. 290 : 298-306 (2016 )share record
persistent URL:
Alexey Chentsov : Many-Sorted First-Order Composition-Nominative Logic as Institution. Comput. Sci. J. Moldova 24 (1 ) : 27-54 (2016 )export record
dblp key:
journals/dm/GrundhoferSM16 share record
persistent URL:
Theo Grundhöfer , Markus J. Stroppel , Hendrik Van Maldeghem : A non-classical unital of order four with many translations. Discret. Math. 339 (12 ) : 2987-2993 (2016 )export record
dblp key:
journals/jcphy/TredakRM16 share record
persistent URL:
Przemyslaw Tredak , Witold R. Rudnicki , Jacek A. Majewski : Efficient implementation of the many-body Reactive Bond Order (REBO) potential on GPU. J. Comput. Phys. 321 : 556-570 (2016 )share record
persistent URL:
Denis Oyaro , Piero Triverio : TurboMOR-RC: An Efficient Model Order Reduction Technique for RC Networks With Many Ports. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (10 ) : 1695-1706 (2016 )share record
persistent URL:
Stephan Merz , Hernán Vanzetto : Encoding TLA + + into Many-Sorted First-Order Logic. ABZ 2016 : 54-69 export record
dblp key:
conf/date/BanagaayaFSMWGB16 share record
persistent URL:
Nicodemus Banagaaya , Lihong Feng , Wim Schoenmaker , Peter Meuris , Aarnout Wieers , Renaud Gillon , Peter Benner : Model Order Reduction for nanoelectronics coupled problems with many inputs. DATE 2016 : 313-318 share record
persistent URL:
Wojciech Palacz , Ewa Grabska , Grazyna Slusarczyk : Ontological Approach to Design Reasoning with the Use of Many-Sorted First-Order Logic. ICAISC (2) 2016 : 364-374