Works matching DE "SPECTRAL synthesis (Mathematics)"

Results: 131

Minimization of the Norm, the Norm of the Inverse and the Condition Number of a Matrix by Completion.

Published in:

Numerical Linear Algebra with Applications, 1995, v. 2, n. 2, p. 155, doi. 10.1002/nla.1680020207

By:

Eisner, Ludwig;
He, Chunyang;
Mehrmann, Volker

Publication type:

Article

Periodic power spectrum with applications in detection of latent periodicities in DNA sequences.

Published in:

Journal of Mathematical Biology, 2016, v. 73, n. 5, p. 1053, doi. 10.1007/s00285-016-0982-8

By:

Yin, Changchuan;
Wang, Jiasong

Publication type:

Article

Abstraction-guided synthesis of synchronization.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 413, doi. 10.1007/s10009-012-0232-3

By:

Vechev, Martin;
Yahav, Eran;
Yorsh, Greta

Publication type:

Article

Functional synthesis for linear arithmetic and sets.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 455, doi. 10.1007/s10009-011-0217-7

By:

Kuncak, Viktor;
Mayer, Mikaël;
Piskac, Ruzica;
Suter, Philippe

Publication type:

Article

Algorithmic program synthesis: introduction.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 397, doi. 10.1007/s10009-013-0287-9

By:

Bodik, Rastislav;
Jobstmann, Barbara

Publication type:

Article

Safety first: a two-stage algorithm for the synthesis of reactive systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 433, doi. 10.1007/s10009-012-0224-3

By:

Sohail, Saqib;
Somenzi, Fabio

Publication type:

Article

Synthesis from component libraries.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 603, doi. 10.1007/s10009-012-0236-z

By:

Lustig, Yoad;
Vardi, Moshe

Publication type:

Article

Program sketching.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 475, doi. 10.1007/s10009-012-0249-7

By:

Solar-Lezama, Armando

Publication type:

Article

Template-based program verification and program synthesis.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 497, doi. 10.1007/s10009-012-0223-4

By:

Srivastava, Saurabh;
Gulwani, Sumit;
Foster, Jeffrey S.

Publication type:

Article

Exploiting structure in LTL synthesis.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 541, doi. 10.1007/s10009-012-0222-5

By:

Filiot, Emmanuel;
Jin, Naiyong;
Raskin, Jean-François

Publication type:

Article

Bounded synthesis.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 519, doi. 10.1007/s10009-012-0228-z

By:

Finkbeiner, Bernd;
Schewe, Sven

Publication type:

Article

Synthesizing switching logic using constraint solving.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 519, doi. 10.1007/s10009-010-0172-8

By:

Taly, Ankur;
Gulwani, Sumit;
Tiwari, Ashish

Publication type:

Article

H-optimization and fixed poles for sampled-data systems with generalized hold.

Published in:

Automation & Remote Control, 2012, v. 73, n. 1, p. 31, doi. 10.1134/S0005117912010031

By:

Lampe, B.;
Rosenwasser, E.

Publication type:

Article

Coordination in multiagent systems and Laplacian spectra of digraphs.

Published in:

Automation & Remote Control, 2009, v. 70, n. 3, p. 469, doi. 10.1134/S0005117909030126

By:

Chebotarev, P.;
Agaev, R.

Publication type:

Article

Synthesis and modeling of the H ∞-system of magnetic control of the plasma in the tokamak-reactor.

Published in:

Automation & Remote Control, 2007, v. 68, n. 8, p. 1410, doi. 10.1134/S0005117907080127

By:

Dokuka, V.;
Kadurin, A.;
Mitrishkin, Yu.;
Khayrutdinov, R.

Publication type:

Article

Optimal path synthesis of the four-bar mechanism.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2001, v. 81, p. 661, doi. 10.1002/zamm.200108115106

By:

Iztok, Ciglaric;
Krasna, Simon;
Prebil, Ivan

Publication type:

Article

Lithium and the 6Li-7Li isotope ratio in the atmospheres of some sharp-lined roAp stars.

Published in:

Astronomy Reports, 2006, v. 50, n. 6, p. 500, doi. 10.1134/S1063772906060096

By:

Shavrina, A. V.;
Polosukhina, N. S.;
Khan, S.;
Pavlenko, Ya. V.;
Kudryavtsev, D. O.;
Khalack, V. R.;
Mikhaĭlitskaya, N. G.;
Lyubchik, Yu. P.;
Yushchenko, A. V.;
Hatzes, A.;
Mkrtichian, D. E.;
Il'in, I. V.

Publication type:

Article

Wave dispersion and attenuation in viscoelastic split Hopkinson pressure bar.

Published in:

Shock & Vibration, 1998, v. 5, n. 5/6, p. 307, doi. 10.1155/1998/906291

By:

Cheng;
Crandall;
Pilkey

Publication type:

Article

Synthesizing robust systems.

Published in:

Acta Informatica, 2014, v. 51, n. 3/4, p. 193, doi. 10.1007/s00236-013-0191-5

By:

Bloem, Roderick;
Chatterjee, Krishnendu;
Greimel, Karin;
Henzinger, Thomas;
Hofferek, Georg;
Jobstmann, Barbara;
Könighofer, Bettina;
Könighofer, Robert

Publication type:

Article

Strategy synthesis for multi-dimensional quantitative objectives.

Published in:

Acta Informatica, 2014, v. 51, n. 3/4, p. 129, doi. 10.1007/s00236-013-0182-6

By:

Chatterjee, Krishnendu;
Randour, Mickael;
Raskin, Jean-François

Publication type:

Article

Editorial: special issue on synthesis.

Published in:

2014

By:

Peled, Doron;
Schewe, Sven

Publication type:

Editorial

Distributed synthesis for regular and contextfree specifications.

Published in:

Acta Informatica, 2014, v. 51, n. 3/4, p. 221, doi. 10.1007/s00236-014-0194-x

By:

Fridman, Wladimir;
Puchala, Bernd

Publication type:

Article

Efficient controller synthesis for a fragment of $$\hbox {MTL}_{0, \infty }$$.

Published in:

Acta Informatica, 2014, v. 51, n. 3/4, p. 165, doi. 10.1007/s00236-013-0189-z

By:

Bulychev, Peter;
David, Alexandre;
Larsen, Kim;
Li, Guangyuan

Publication type:

Article

Size controlled synthesis of semiconductor nanocrystals in a continuous-flow mode microcapillary reactor.

Published in:

European Physical Journal D (EPJ D), 2009, v. 52, n. 1-3, p. 15, doi. 10.1140/epjd/e2008-00251-7

By:

He, L. B.;
Xie, B.;
Song, F. Q.;
Xu, C. H.;
Zhou, J. F.;
Han, M.

Publication type:

Article

Synthesis of UV crosslinkable waterborne siloxane–polyurethane dispersion PDMS-PEDA-PU and the properties of the films.

Published in:

Journal of Coatings Technology & Research, 2008, v. 5, n. 2, p. 251, doi. 10.1007/s11998-007-9062-8

By:

Bai, Chenyan;
Zhang, Xingyuan;
Dai, Jiabing;
Wang, Jinhua

Publication type:

Article

On equivariant Dirac operators for SUq(2).

Published in:

Proceedings of the Indian Academy of Sciences: Mathematical Sciences, 2006, v. 116, n. 4, p. 531

By:

Chakraborty, Partha Sarathi;
Pal, Arupkumar

Publication type:

Article

Null steering of linear antenna arrays with use of modified touring ant colony optimization algorithm.

Published in:

International Journal of RF & Microwave Computer-Aided Engineering, 2002, v. 12, n. 4, p. 375, doi. 10.1002/mmce.10034

By:

Karaboga, Nurhan;
Güney, Kerim;
Akdagli, Ali

Publication type:

Article

Regular solutions of a multiparameter inverse spectral problem.

Published in:

Mathematical Notes, 2009, v. 85, n. 5/6, p. 890, doi. 10.1134/S0001434609050307

By:

Valeev, N.

Publication type:

Article

Synthesis of interference filters for the UV spectral region.

Published in:

Instruments & Experimental Techniques, 2017, v. 60, n. 1, p. 91, doi. 10.1134/S0020441217010316

By:

Borisov, A.;
Chernykh, V.;
Arbuzov, V.

Publication type:

Article

Modelling of the thermal processes that occur during laser sintering of reacting powder compositions.

Published in:

Applied Physics A: Materials Science & Processing, 2006, v. 84, n. 1/2, p. 123, doi. 10.1007/s00339-006-3586-0

By:

Zakiev, S. E.;
Kholpanov, L. P.;
Shishkovsky, I. V.;
Parkin, I. P.;
Kuznetsov, M. V.;
Morozov, Y. G.

Publication type:

Article

Improved robust H∞ control for neutral systems via discretised Lyapunov-Krasovskii functional.

Published in:

International Journal of Control, 2008, v. 81, n. 9, p. 1462, doi. 10.1080/00207170701867410

By:

Souza, Fernando O.;
Palhares, Reinaldo M.;
Leite, Valter J. S.

Publication type:

Article

A new perspective on static and low order anti-windup synthesis.

Published in:

International Journal of Control, 2004, v. 77, n. 1, p. 27, doi. 10.1080/00207170310001640116

By:

Turner, Matthew C.;
Postlethwaite, Ian

Publication type:

Article

Design, Synthesis, Spectral Analysis, In Vitro Anticancer Evaluation and Molecular Docking Studies of Some Fluorescent 4-Amino-2, 3-Dimethyl-1-Phenyl-3-Pyrazolin-5-One, Ampyrone Derivatives.

Published in:

Interdisciplinary Sciences: Computational Life Sciences, 2017, v. 9, n. 1, p. 130, doi. 10.1007/s12539-015-0138-3

By:

Premnath, D.;
Enoch, Israel;
Selvakumar, P.;
Indiraleka, M.;
Vennila, J.

Publication type:

Article

THE SOUND OF IMAGE MORPHOGENESIS.

Published in:

Studia Universitatis Babes-Bolyai, Musica, 2015, v. 60, n. 1, p. 119

By:

BORZA, ADRIAN

Publication type:

Article

Synthesis of rambutan-like hybrid nanospheres of Au-P123.

Published in:

Gold Bulletin, 2009, v. 42, n. 3, p. 215, doi. 10.1007/BF03214937

By:

Chun Mao;
Xiang Bai Chen;
Xiao Mei Hou;
Jian Shenh;
Jun jie Zhu;
Wen Ba Zha

Publication type:

Article

A SHARP LOWER BOUND OF THE SPECTRAL RADIUS OF SIMPLE GRAPHS.

Published in:

Applicable Analysis & Discrete Mathematics, 2009, v. 3, n. 2, p. 379, doi. 10.2298/AADM0902379H

By:

Shengbiao Hu

Publication type:

Article

Insertion loss synthesis of band-pass filters with equal terminations.

Published in:

International Journal of Electrical Engineering Education, 2006, v. 43, n. 1, p. 57, doi. 10.7227/IJEEE.43.1.6

By:

Dutta Roy, S. C.;
Sanyal, Shomy

Publication type:

Article

Evaluating the severity level of cotton Verticillium using spectral signature analysis.

Published in:

International Journal of Remote Sensing, 2012, v. 33, n. 9, p. 2706, doi. 10.1080/01431161.2011.619586

By:

Chen, Bing;
Li, Shaokun;
Wang, Keru;
Zhou, Guoqing;
Bai, Junhua

Publication type:

Article

High Resolution Optical Spectroscopy of Hot Post-AGB Star Candidates LS IV-04 1 and LB3116.

Published in:

Astrophysical Bulletin, 2018, v. 73, n. 2, p. 211, doi. 10.1134/S1990341318020074

By:

Şahin, T.

Publication type:

Article

X-shooter spectroscopy of young stellar objects in Lupus: Lithium, iron, and barium elemental abundances.

Published in:

Astronomy & Astrophysics / Astronomie et Astrophysique, 2017, v. 605, p. 1, doi. 10.1051/0004-6361/201730850

By:

Biazzo, K.;
Frasca, A.;
Alcalá, J. M.;
Zusi, M.;
Covino, E.;
Randich, S.;
Esposito, M.;
Manara, C. F.;
Antoniucci, S.;
Nisini, B.;
Rigliaco, E.;
Getman, F.

Publication type:

Article

Detailed homogeneous abundance studies of 14 Galactic s-process enriched post-AGB stars: In search of lead (Pb).

Published in:

Astronomy & Astrophysics / Astronomie et Astrophysique, 2016, v. 587, p. 1, doi. 10.1051/0004-6361/201527430

By:

De Smedt, K.;
Van Winckel, H.;
Kamath, D.;
Siess, L.;
Goriely, S.;
Karakas, A. I.;
Manick, R.

Publication type:

Article

Late-time spectral line formation in Type IIb supernovae, with application to SN 1993J, SN 2008ax, and SN 2011dh.

Published in:

Astronomy & Astrophysics / Astronomie et Astrophysique, 2015, v. 573, p. 1, doi. 10.1051/0004-6361/201423983

By:

Jerkstrand, A.;
Ergon, M.;
Smartt, S. J.;
Fransson, C.;
Sollerman, J.;
Taubenberger, S.;
Bersten, M.;
Spyromilio, J.

Publication type:

Article

Chemical evolution of fluorine in the bulge.

Published in:

Astronomy & Astrophysics / Astronomie et Astrophysique, 2014, v. 564, p. 1, doi. 10.1051/0004-6361/201423597

By:

Jönsson, H.;
Ryde, N.;
Harper, G. M.;
Cunha, K.;
Schultheis, M.;
Eriksson, K.;
Kobayashi, C.;
Smith, V. V.;
Zoccali, M.

Publication type:

Article

Carbon and oxygen isotopic ratios in Arcturus and Aldebaran Constraining the parameters for non-convective mixing on the red giant branch.

Published in:

Astronomy & Astrophysics / Astronomie et Astrophysique, 2012, v. 548, n. 1, p. A55-1, doi. 10.1051/0004-6361/201220148

By:

Abia, C.;
Palmerini, S.;
Busso, M.;
Cristallo, S.

Publication type:

Article

The AMBRE project: A new synthetic grid of high-resolution FGKM stellar spectra.

Published in:

Astronomy & Astrophysics / Astronomie et Astrophysique, 2012, v. 544, n. 2, p. A126-1, doi. 10.1051/0004-6361/201219330

By:

de Laverny, P.;
Recio-Blanco, A.;
Worley, C. C.;
Plez, B.

Publication type:

Article

To solving multiparameter problems of algebra. 6. Spectral characteristics of polynomial matrices.

Published in:

Journal of Mathematical Sciences, 2006, v. 137, n. 3, p. 4835, doi. 10.1007/s10958-006-0281-9

By:

Kublanovskaya, V.

Publication type:

Article

Spectral Problems Arising in the Theory of Differential Equations with Delay.

Published in:

Journal of Mathematical Sciences, 2004, v. 124, n. 4, p. 5176, doi. 10.1023/B:JOTH.0000047252.81054.77

By:

Vlasov, V. V.

Publication type:

Article

Discrete Spectrum of Differential Operators in Spectral Gaps under Nonnegative Perturbations of High Order.

Published in:

Journal of Mathematical Sciences, 2003, v. 115, n. 2, p. 2272, doi. 10.1023/A:1022805425207

By:

Slousch, V. A.

Publication type:

Article

SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 113, doi. 10.1142/S0129054107004590

By:

SCHEWE, SVEN;
FINKBEINER, BERND

Publication type:

Article

Unitary Equivalence, Similarity and Calculation of K 0–Group.

Published in:

Acta Mathematica Sinica, 2005, v. 21, n. 6, p. 1259, doi. 10.1007/s10114-004-0461-9

By:

He, Hua;
Jiang, Chun

Publication type:

Article