Academic literature on the topic 'Minling'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Minling.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Minling"

1

Xiang, Dao Hui, Guang Bin Yang, Song Liang, Yan Feng Wang, and Qiang Qin. "Study on Milling Force of High Volume Fraction SiCp/Al Composites with Ultrasonic Longitudinal and Torsional Vibration High Speed Milling." Advanced Materials Research 910 (March 2014): 114–17. http://dx.doi.org/10.4028/www.scientific.net/amr.910.114.

Full text
Abstract:
High volume fraction SiCp/Al composites were milled in ultrasonic longitudinal and torsional vibration high speed milling and high speed milling in this experiment, study on effects of different milling parameters (milling depth ap, feed engagement fz, the milling speed vz) on milling force. The results shows that in the same cutting parameters ,the three milling force of ultrasonic longitudinal and torsional vibration high speed milling are smaller than that of high speed milling, and milling forces of two milling method increase with the add of the milling depth and feed engagement ,but they aren't fold increase. Milling forces of two milling method decrease with the add of the the minlling speed,and the changes become gently when the the minlling speed run up to 170m/min, with the further increase of the milling speed,ultrasonic vibration high speed milling will translate to high speed milling, this is because the torsional vibration is submerged.
APA, Harvard, Vancouver, ISO, and other styles
2

Martins, Ana Luiza. "Biblioteca Mindlin: a alegria da pesquisa." Revista BBM, no. 1 (September 11, 2018): 159–67. http://dx.doi.org/10.11606/issn.2595-5802.v1i1p159-167.

Full text
Abstract:
A autora rememora as lembranças de sua experiência no convívio com Guita e José Mindlin na biblioteca pessoal do casal, hoje, Biblioteca Brasiliana Guita e José Minlin – BBM-USP. Relembra detalhes dos aspectos físicos do espaço e menciona algumas obras e textos que eram encontrados lá e a relação de Mindlin com eles. Recorda que a biblioteca era visitada por pesquisadores acadêmicos, mas também por jornalistas, escritores, bibliófilos e estudiosos do livro e que, dessas visitas, no início, eram realizadas pesquisas informais, que, posteriormente, foram sistematizadas e organizadas com regularidade, das quais resultaram obras fundamentais para a cultura nacional.
APA, Harvard, Vancouver, ISO, and other styles
3

Dai, Liang, Kristiaan Pelckmans, and Er-Wei Bai. "Identifiability and convergence analysis of the MINLIP estimator." Automatica 51 (January 2015): 104–10. http://dx.doi.org/10.1016/j.automatica.2014.10.091.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Pelckmans, K., L. Dai, and E. Bai. "On the Convergence Analysis of the MINLIP Estimator*." IFAC Proceedings Volumes 45, no. 16 (July 2012): 482–87. http://dx.doi.org/10.3182/20120711-3-be-2027.00212.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jaisankar, Parasuraman, Bikash Pal, and Venkatachalam Sesha Giri. "MICROWAVE ASSISTED McFADYEN–STEVENS AND HUANG–MINLON REACTIONS." Synthetic Communications 32, no. 16 (January 2002): 2569–73. http://dx.doi.org/10.1081/scc-120005941.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Pelckmans, Kristiaan. "MINLIP for the identification of monotone Wiener systems." Automatica 47, no. 10 (October 2011): 2298–305. http://dx.doi.org/10.1016/j.automatica.2011.08.026.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Jaisankar, Parasuraman, Bikash Pal, and Venkatachalam Sesha Giri. "ChemInform Abstract: Microwave Assisted McFadyen-Stevens and Huang-Minlon Reactions." ChemInform 33, no. 47 (May 18, 2010): no. http://dx.doi.org/10.1002/chin.200247030.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Berger, Ulrich, Alison Jones, and Monika Seisenberger. "Program extraction applied to monadic parsing." Journal of Logic and Computation 29, no. 4 (June 6, 2019): 487–518. http://dx.doi.org/10.1093/logcom/exv078.

Full text
Abstract:
Abstract This article outlines a proof-theoretic approach to developing correct and terminating monadic parsers. Using modified realizability, we extract formally verified and terminating programs from formal proofs. By extracting both primitive parsers and parser combinators, it is ensured that all complex parsers built from these are also correct, complete and terminating for any input. We demonstrate the viability of our approach by means of two case studies: we extract (i) a small arithmetic calculator and (ii) a non-deterministic natural language parser. The work is being carried out in the interactive proof system Minlog.
APA, Harvard, Vancouver, ISO, and other styles
9

Spiteller, Peter, Jovan Jovanovic, and Michael Spiteller. "NMR analysis of (1S, 1aR, 6aR)-2’, 3’, 6, 6a-tetrahydrospiro cycloprop a indene-1(1aH), 1’- 1H indene." Journal of the Serbian Chemical Society 70, no. 10 (2005): 1133–36. http://dx.doi.org/10.2298/jsc0510133s.

Full text
Abstract:
The aldol condensation product of 1H-indan-1-one, (2E)-2-(2,3-dihydro-1H-in den-1-ylidene)-2,3-dihydro-1H-inden-1-one, subjected to Huang?Minlon reduction conditions was shown, via 1D and 2D NMR analysis, to be a mixture of (1S,1aR,6aR)-2?,3?,6,6a-tetrahydro-spiro cycloprop a indene-1(1aH),1? 1H indene and its 1R,1aS,6aS enantiomer and not 2,3,1?,3?-tetrahydro- 1,2? -biindenylidene as originally expected. The full NMR assignment, the coupling constants in the proton NMR, and the couplings in the HMBC and NOESY of the title compound are summarized in the Table.
APA, Harvard, Vancouver, ISO, and other styles
10

Chodounská, Hana, and Alexander Kasal. "Allopregnanolone Derivatives: Synthesis of 3α-Hydroxy-7a-homo-5α-pregnan-20-one." Collection of Czechoslovak Chemical Communications 65, no. 7 (2000): 1156–62. http://dx.doi.org/10.1135/cccc20001156.

Full text
Abstract:
3α-Hydroxy-7a-homo-5α-pregnan-20-one and 3α-hydroxy-7a-homo-5α-pregnane-7,20-dione were prepared from (20R)-3α-(methoxymethoxy)-7-oxo-5α-pregnan-20-yl benzoate. Homo- logation of the B ring was carried out by the Demyanov rearrangement of the corresponding cyanohydrin. Alkaline hydrolysis of the protecting group and oxidation of the formed 20-hydroxy group and deprotection of the 3-hydroxy group were performed either with (20R)-3α-(methoxymethoxy)-7-oxo-7a-homo-5α-pregnan-20-ol derivative or with the product of the Huang Minlon deoxygenation at carbon 7.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Minling"

1

Andria, Maria Chiara. "Studio dell'evoluzione del sistema magmatico dell'isola d'Ischia ,Italia meridionale,negli ultimi 10 anni." Doctoral thesis, Università degli studi di Trieste, 2008. http://hdl.handle.net/10077/2690.

Full text
Abstract:
2006/2007
Il lavoro si propone di studiare l'evoluzione del sistema magmatico dell'isola d'Ischia in particolare analizzando gli ultimi 10ka di attività. Lo studio è stato effettuato attraverso indagini petrografiche, analisi geochimiche e isotopiche di Sr, Nd e O.
XX Ciclo
1977
APA, Harvard, Vancouver, ISO, and other styles
2

Chen, Minliang [Verfasser]. "Novel approaches for in vivo evolution, screening and characterization of enzymes for metabolic engineering of Escherichia coli as hyper L-tryptophan producer / Minliang Chen." München : Verlag Dr. Hut, 2021. http://d-nb.info/1232847674/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Chen, Minliang [Verfasser]. "Novel approaches for in vivo evolution, screening and characterization of enzymes for metabolic engineering of Escherichia coli as hyper L-tryptophan producer / Chen Minliang." Hamburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2020. http://d-nb.info/1224270819/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Niu, Minli [Verfasser], Gabriele [Akademischer Betreuer] Multhoff, Gabriele [Gutachter] Multhoff, and Christina [Gutachter] Zielinski. "Kinetics of Lymphocyte Subpopulations of HNSCC Patients before, after RCT and in Follow-up / Minli Niu ; Gutachter: Gabriele Multhoff, Christina Zielinski ; Betreuer: Gabriele Multhoff." München : Universitätsbibliothek der TU München, 2021. http://d-nb.info/1230985204/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dai, Chen Hang, and 陳航代. "The Analysis of the Antidumping Law of Minland China -- in Discussion of the Counter Measures on the Cold Rolled Steel Products." Thesis, 2004. http://ndltd.ncl.edu.tw/handle/29362523636208566263.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Minling"

1

Jialiang, Xie, Lin Jintian 1955-, and Liu Zemin, eds. Wen xian ren sheng: Hong Minlin xian sheng fang wen ji lu. Nantou Shi: Guo shi guan Taiwan wen xian guan, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Beaver, Jim. MINLOG users manual: The gem and mineral collectors' information manager, version 2.1. Marietta, GA: Beaver Software Development, Inc., 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Shihao, Fang, and Ye Changxiu, eds. Zhi xing qing shu@3033: Wu Minlun yu qi zi Xu Mei de yue jie qing shu. Xianggang: Tian di tu shu you xian gong si, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Cheng gong wu shang xian: Chen Minli de tiao zhan zhi lu = From salesman to chairman. Taibei Shi: Ping an wen hua chu ban you xian gong si, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Zang zu li shi dian ji jing xuan: Minlinfu cang da shi chuan. Beijing: Zhongguo ren kou chu ban she., 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Minling"

1

Schwichtenberg, Helmut. "Minlog." In The Seventeen Provers of the World, 151–57. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11542384_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Slaney, John. "Minlog: A minimal logic theorem prover." In Automated Deduction—CADE-14, 268–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63104-6_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Van Belle, Vanya, Kristiaan Pelckmans, Johan A. K. Suykens, and Sabine Van Huffel. "MINLIP: Efficient Learning of Transformation Models." In Artificial Neural Networks – ICANN 2009, 60–69. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04274-4_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Berger, Ulrich, Kenji Miyamoto, Helmut Schwichtenberg, and Monika Seisenberger. "Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras." In Algebra and Coalgebra in Computer Science, 393–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22944-2_29.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Benl, Berger, Schwichtenberg, Seisenberger, and Zuber. "Proof Theory at Work: Program Development in the Minlog System." In Applied Logic Series, 41–71. Dordrecht: Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-017-0435-9_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Wiesnet, Franziskus. "Introduction to Minlog." In Proof and Computation, 233–88. WORLD SCIENTIFIC, 2018. http://dx.doi.org/10.1142/9789813270947_0008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wicha, J. "The Huang-Minlon Modification." In Alkanes, 1. Georg Thieme Verlag KG, 2009. http://dx.doi.org/10.1055/sos-sd-048-00043.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lewis, David E. "The Huang-Minlon modification." In The Wolff-Kishner Reduction and Related Reactions, 91–132. Elsevier, 2019. http://dx.doi.org/10.1016/b978-0-12-815727-5.00004-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Minling"

1

Glancey, J. L., P. Popper, T. Nasr, P. Truitt, M. Orgovan, and D. O’Brian. "Design and Performance of Hand-Struck Tools Using High Performance Polymers." In ASME 2003 International Mechanical Engineering Congress and Exposition. ASMEDC, 2003. http://dx.doi.org/10.1115/imece2003-41455.

Full text
Abstract:
One of the oldest tools in the world, the hand-struck chisel, has been improved with the addition of a polymer cap. The cap enhances the safety and ergonomic features without compromising chisel cutting performance. During the development of this new design, a lumped-parameter model was used to quantify force transmission characteristics, and select a suitable polymer-reinforced nylon (Minlon™). In addition, a finite element model together with laboratory and field tests were used to demonstrate that the addition of the polymer cap significantly reduces chisel vibration and noise. Additional long term tests confirmed the cutting effectiveness and durability of the capped chisel.
APA, Harvard, Vancouver, ISO, and other styles
2

Konchar, Janelle, Peter Popper, Matthew Griffith, and James Glancey. "Modeling and Testing of a New Polymer-Based Impact Tool Design to Reduce Noise, Vibration and Biomechanical Injuries." In ASME 2006 International Mechanical Engineering Congress and Exposition. ASMEDC, 2006. http://dx.doi.org/10.1115/imece2006-14416.

Full text
Abstract:
A new power impact tool design has been developed and tested using advanced engineering polymers to replace traditional metal components. The new polymer-metal impact mechanism generates less noise, lower vibrations, and potentially reduces biomechanical injuries. Power tools are known to cause several medical ailments including Hand-Arm Vibration Syndrome (HAV), Raynaud's phenomenon, and Vibration White Finger unless the daily exposure and/or dosage is limited. To evaluate the effects of a polymer-metal impact mechanism on tool performance, a non-linear model describing the equations of motion and resulting output forces were developed. In addition, a number of experiments with a high frequency Instron test machine and prototype tools were performed to validate the model and compare performance of conventional power tools to the new polymer based design. The results show that although adding a polymer does reduce noise and vibration, the reduction in impact force is relatively small and statistically insignificant. Various polymer materials and shapes were evaluated and results show that for durability and performance, the optimum appears to be a plug inserted in a cavity in either the piston or the cutting tool, thus creating a state of confined compression on the polymer. The polymer used in this research was Minlon® (mineral reinforced Nylon66), and durability was improved when the polymer inserts were cycled with compressive loads before use in the power tool.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography