Search results for "additives"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
46	Wojciech Buszkowski, Maciej Farulewski	Nonassociative Lambek Calculus with Additives and Context-Free Languages.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
46	Gabriele Pulcini	Permutative Additives and Exponentials.	LPAR	2007	DBLP DOI BibTeX RDF
46	Francesco Frigerio, Luciano Montanari	Characterisation of the Surfactant Shell Stabilising Calcium Carbonate Dispersions in Overbased Detergent Additives: Molecular Modelling and Spin-Probe-ESR Studies.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF
42	Miguel A. Ridao	Optimal use of DRA in oil pipelines.	SMC (7)	2004	DBLP DOI BibTeX RDF
42	James Harland, David J. Pym	Resource-distribution via Boolean constraints.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Boolean constraints, Algebras, sequent calculus, substructural logics, proof-search, relevant logics
42	Harry G. Mairson, Kazushige Terui	On the Computational Complexity of Cut-Elimination in Linear Logic.	ICTCS	2003	DBLP DOI BibTeX RDF
42	Olivier Laurent 0001	A Token Machine for Full Geometry of Interaction.	TLCA	2001	DBLP DOI BibTeX RDF
36	Dominic J. D. Hughes, Rob J. van Glabbeek	Proof nets for unit-free multiplicative-additive linear logic.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Linear logic, cut elimination, additives, proof nets
25	Complexity	Retracted: Influence of Sulfur and Additives on Wear of Exhaust Valve Seat of Cylinder Head.	Complex.	2024	DBLP DOI BibTeX RDF
25	Ioana-Adriana Potarniche, Codruta Sarosi, Romulus-Mircea Terebes, Lorant Szolga, Ramona Galatus	Classification of Food Additives Using UV Spectroscopy and One-Dimensional Convolutional Neural Network.	Sensors	2023	DBLP DOI BibTeX RDF
25	Manuel Amoussou, Khaled Belahcène, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane	Des explications transitives questionnables au service de l'élicitation de préférences additives.	JIAF	2023	DBLP BibTeX RDF
25	Leonardo Gucci, Rinaldo Rinaldi	Evaluation Of Alternative Configurations For A Manufacturing Plant: The Case Of An Italian Company In The Business Of Oil And Fuel Additives.	ECMS	2023	DBLP DOI BibTeX RDF
25	Ugur Cem Hasar, Necip Altay Eren, Hamdullah Ozturk, Mucahit Izginli, Huseyin Korkmaz, Abdulkadir Çevik, Anil Nis, Mohammad R. Irshidat	Mechanical and Electromagnetic Properties of Self-Compacted Geopolymer Concretes With Nano Silica and Steel Fiber Additives.	IEEE Trans. Instrum. Meas.	2022	DBLP DOI BibTeX RDF
25	Sushma Kumari, Sujoy Kumar Samanta	The Effect of Temperature and Additives on the Dielectric Behavior of Human Whole Blood, Its Different Components, and Cell Suspensions.	IEEE Trans. Instrum. Meas.	2022	DBLP DOI BibTeX RDF
25	Shao-Hwa Hu, Jiao-Jiao Yuan, Hang Dai, Yang-Yang Liu, Jing He, Jun-Ling Tu	Preparation of a Flexible X-Band Radar-Wave-Absorbing Composite Material by Using Beta-Silicon Carbide and Polyurethane as Substrates and Multiwalled Carbon Nanotubes as Additives.	Symmetry	2022	DBLP DOI BibTeX RDF
25	Chen Xu, Zuoqin Qian, Jie Ren	A Comprehensive Experimental Investigation of Additives to Enhance Pool Boiling Heat Transfer of a Non-Azeotropic Mixture.	Entropy	2022	DBLP DOI BibTeX RDF
25	Chaudhari Kiran, Salunke Nilesh P., Diware Vijay R.	A Comprehensive Review on Performance Improvement of Diesel and Biodiesel fueled CI Engines using Additives.	Int. J. Perform. Eng.	2021	DBLP DOI BibTeX RDF
25	Andrey Minakov, Evgeniya I Mikhienkova, Alexander L. Neverov, Valery Rudyak	Comprehensive numerical study of the effect of nanoparticle additives on the cutting transport performance in horizontal boreholes.	J. Comput. Des. Eng.	2021	DBLP DOI BibTeX RDF
25	Hussien Hegab, Amr Salem, Shahryar Rahnamayan, H. A. Kishawy	Analysis, modeling, and multi-objective optimization of machining Inconel 718 with nano-additives based minimum quantity coolant.	Appl. Soft Comput.	2021	DBLP DOI BibTeX RDF
25	Jun Hu, Rui Chen, Zhen Xu, Maopeng Li, Yungui Ma, Yong He 0005, Yande Liu	Research on Enhanced Detection of Benzoic Acid Additives in Liquid Food Based on Terahertz Metamaterial Devices.	Sensors	2021	DBLP DOI BibTeX RDF
25	Krzysztof Kawecki, Jerzy Stangierski, Renata Cegielska-Radziejewska	The Influence of Packing Methods and Storage Time of Poultry Sausages with Liquid and Microencapsulated Fish Oil Additives on Their Physicochemical, Microbial and Sensory Properties.	Sensors	2021	DBLP DOI BibTeX RDF
25		Influence of Sulfur and Additives on Wear of Exhaust Valve Seat of Cylinder Head.	Complex.	2021	DBLP DOI BibTeX RDF
25	Yinsheng Zhang	Raman Spectra of Compressed Milk Tablet Candy, with Calcium and Vitamin A,D additives.		2021	DOI RDF
25	Mohsen Marani, Victor Songmene, Mohammadjavad Zeinali, Jules Kouam, Yasser Zedan	Neuro-fuzzy predictive model for surface roughness and cutting force of machined Al-20 Mg2Si-2Cu metal matrix composite using additives.	Neural Comput. Appl.	2020	DBLP DOI BibTeX RDF
25	Hurmathulla Khan, Manzoore Elahi M. Soudagar, Rajagopal Harish Kumar, Mohammad Reza Safaei, Muhammad Farooq, Abdulqhadar Khidmatgar, Nagaraj R. Banapurmath, Rizwan A. Farade, Muhammad Mujtaba Abbas, Asif Afzal, Waqar Ahmed, Marjan Goodarzi, Syed Noeman Taqui	Effect of Nano-Graphene Oxide and n-Butanol Fuel Additives Blended with Diesel - Nigella sativa Biodiesel Fuel Emulsion on Diesel Engine Characteristics.	Symmetry	2020	DBLP DOI BibTeX RDF
25	Rakhamaji S. Gavhane, Ajit M. Kate, Abhay Pawar, Mohammad Reza Safaei, Manzoore Elahi M. Soudagar, Muhammad Mujtaba Abbas, Hafiz Muhammad Ali, Nagaraj R. Banapurmath, Marjan Goodarzi, Irfan Anjum Badruddin, Waqar Ahmed, Kiran Shahapurkar	Effect of Zinc Oxide Nano-Additives and Soybean Biodiesel at Varying Loads and Compression Ratios on VCR Diesel Engine Characteristics.	Symmetry	2020	DBLP DOI BibTeX RDF
25	Gianluca Curzi	Linear Additives.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
25	Karol Sztekler, Wojciech Kalawa, Agata Mlonka-Medrala, Wojciech Nowak, Lukasz Mika, Jaroslaw Krzywanski, Karolina Grabowska, Marcin Sosnowski, Marcin Debniak	The Effect of Adhesive Additives on Silica Gel Water Sorption Properties.	Entropy	2020	DBLP DOI BibTeX RDF
25	Florian Lietard	Évitabilité de puissances additives en combinatoire des mots. (Avoidability of additive powers in combinatoric on words).		2020	RDF
25	Angel Xin Yee Mah, Hon Huin Chin, Jie Qi Neoh, Omar Anas Aboagwa, Suchithra Thangalazhy-Gopakumar, Nishanth G. Chemmangattuvalappil	Design of bio-oil additives via computer-aided molecular design tools and phase stability analysis on final blends.	Comput. Chem. Eng.	2019	DBLP DOI BibTeX RDF
25	Ivan S. Zhidkov, Andrey I. Kukharenko, Roman N. Maksimov, Larisa D. Finkelstein, Seif O. Cholakh, Vladimir V. Osipov, Ernst Z. Kurmaev	Optical Transparency and Local Electronic Structure of Yb-Doped Y2O3 Ceramics with Tetravalent Additives.	Symmetry	2019	DBLP DOI BibTeX RDF
25	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit.	WoLLIC	2019	DBLP DOI BibTeX RDF
25	Shunsuke Hanatani, Takuya Yorioka, Tomohiro Shimizu, Takeshi Ito, Shoso Shingubara	Study of MacEtch using Additives for Preparation of TSV.	3DIC	2019	DBLP DOI BibTeX RDF
25	Fredi Edgardo Palominos, Claudia A. Durán, Felisa M. Córdova	Improve efficiency in multidimensional database queries through the use of additives aggregation functions.	ITQM	2019	DBLP DOI BibTeX RDF
25	Ross Horne	The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic.	FSCD	2019	DBLP DOI BibTeX RDF
25	Kaustuv Chaudhuri	Expressing additives using multiplicatives and subexponentials.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
25	Mary Regina Boland, Aditya Kashyap, Jiadi Xiong, John H. Holmes, Scott Lorch	Development and validation of the PEPPER framework (Prenatal Exposure PubMed ParsER) with applications to food additives.	J. Am. Medical Informatics Assoc.	2018	DBLP DOI BibTeX RDF
25	Wenrui Wang, Jieqian Wang, Honggang Yi, Wu Qi, Qing Peng	Effect of Molybdenum Additives on Corrosion Behavior of (CoCrFeNi)100-xMox High-Entropy Alloys.	Entropy	2018	DBLP DOI BibTeX RDF
25	Zhen-Guo Li, Ze-Sheng Ji, Li-Li Jiang, Si-Wen Yu	Effect of additives on the properties of magnesium oxysulfate cement.	J. Intell. Fuzzy Syst.	2017	DBLP DOI BibTeX RDF
25	John Alexander, John Gallehawk, John Jackson, Allen Pearce, Edward Simpson	A German machine for differencing and testing additives.	Cryptologia	2017	DBLP DOI BibTeX RDF
25	Malgorzata N. Drwal, Célien Jacquemard, Carlos Perez, Jérémy Desaphy, Esther Kellenberger	Do Fragments and Crystallization Additives Bind Similarly to Drug-like Ligands?	J. Chem. Inf. Model.	2017	DBLP DOI BibTeX RDF
25	Duygu Çelik Ertugrul	FoodWiki: a Mobile App Examines Side Effects of Food Additives Via Semantic Web.	J. Medical Syst.	2016	DBLP DOI BibTeX RDF
25	Thomas Seiller	Interaction graphs: Additives.	Ann. Pure Appl. Log.	2016	DBLP DOI BibTeX RDF
25	Chris Christensen, Jared Antrobus	The Story of Mamba: Aligning Messages Against Recovered Additives.	Cryptologia	2015	DBLP DOI BibTeX RDF
25	Ki-Wha Jun, Jung-Sik Kim	Silicon etching characteristics for the TMAH based solution with additives.	NEMS	2015	DBLP DOI BibTeX RDF
25	Chukwuemeka R. Nwokocha, Novie Younger-Coleman, Magdalene Nwokocha, Daniel U. Owu, Helen Asemota, Moses Iwuala, Aimé Lay-Ekuakille	Analysis of Time of Measurement and Modes of Administration of Some Medicinal Plants Additives on Mercury Accumulation in the Liver.	Int. J. Meas. Technol. Instrum. Eng.	2013	DBLP DOI BibTeX RDF
25	Oriol Valentín, Daniel Serret, Glyn Morrill	A Count Invariant for Lambek Calculus with Additives and Bracket Modalities.	FG	2013	DBLP DOI BibTeX RDF
25	Michal Holubcik, Radovan Nosek, Jozef Jandacka	Optimization of the Production Process of Wood Pellets by Adding Additives.	Int. J. Energy Optim. Eng.	2012	DBLP DOI BibTeX RDF
25	Eric Olivier	Exemples de suites et fonctions sous-additives.	Bull. dInformatique Approfondie et Appl.	2012	DBLP BibTeX RDF
25	Thomas Seiller	Interaction Graphs: Additives	CoRR	2012	DBLP BibTeX RDF
25	Smitesh Bakrania, Margaret S. Wooldridge	The Effects of the Location of Au Additives on Combustion-generated SnO2 Nanopowders for CO Gas Sensing.	Sensors	2010	DBLP DOI BibTeX RDF
25	Jun Tang, Shengping Mao, Hong Wang, Rui Liu, Guifu Ding	Effect of additives on mechanical properties of electroplating nickel.	NEMS	2010	DBLP DOI BibTeX RDF
25	Christian Brecher, Stephan Witt, Türker Yagmur	Influences of oil additives on the wear behavior of ball screws.	Prod. Eng.	2009	DBLP DOI BibTeX RDF
25	David Allen, Nicolas Duclos, Ian Garbutt, Monika Saumer, Ch. Dhum, M. Schmitt, J. E. Hoffmann	The Effects of Additives on the Physical Properties of Electroformed Nickel and on the Stretch of Photoelectroformed Nickel Components	CoRR	2007	DBLP BibTeX RDF
25	Ivan Kojadinovic	Contributions à l'interprétation de mesures non additives et 'a l'identification de modèles décisionnels fondés sur l'intégrale de Choquet.		2006	RDF
25	Terutaka Tamai	Correlation between Contact Resistance Characteristics and Scanning Tunneling Microscopy Images for Ag-Pd Alloy with Some Example Additives.	IEICE Trans. Electron.	2005	DBLP DOI BibTeX RDF
25	Phillipe M. Vereecken, Robert A. Binstead, Hariklia Deligianni, Panayotis C. Andricacos	The chemistry of additives in damascene copper plating.	IBM J. Res. Dev.	2005	DBLP BibTeX RDF
25	T. K. Aldyarov, U. K. Zhapbasbayev, G. I. Ramazanova	Investigation of effect of depressant additives on hydraulic resistance and heat exchange in oil mixture flow.	Math. Comput. Simul.	2004	DBLP DOI BibTeX RDF
25	V. Michele Abrusci	Towards a semantics of proofs for non-commutative logic: multiplicatives and additives.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
25	Lorenzo Tortora de Falco	Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser property.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
25	Harry G. Mairson, Xavier Rival	Proofnets and Context Semantics for the Additives.	CSL	2002	DBLP DOI BibTeX RDF
25	Achim Winzer, Manfred Rother	Radiochemical and Calorimetric investigations of Photogelatins in the Presence of Additives.	PICS	1998	DBLP BibTeX RDF
25	Lorenzo Tortora de Falco	Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the Additives.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
25	Lorenzo Tortora de Falco	Generalized standardization lemma for the additives.	Linear Logic Tokyo Meeting	1996	DBLP DOI BibTeX RDF
25	Bruce Slutsky	Handbook of Plastic and Rubber Additives: An International Guide to More Than 13, 000 Products by Trade Name, Chemical, Function and Manufacturer. Compiled by Michael Ash and Irene Ash. Gower: Aldershot, Hampshire, England, 1995, 1340 pp, ISBN 0-566-07594-6.	J. Chem. Inf. Comput. Sci.	1996	DBLP DOI BibTeX RDF
25	Raymond Quenneau	Sur les Suites s-additives.	J. Comb. Theory, Ser. A	1972	DBLP DOI BibTeX RDF
21	Heng Guo 0001, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao	On Model Checking Boolean BI.	CSL	2009	DBLP DOI BibTeX RDF
21	Tom Woo	How Do We Simulate Things at the Scale of Molecules and Electrons? An Introduction to the Technology and HPC Aspects of Computational Chemistry.	HPCS	2008	DBLP DOI BibTeX RDF
21	William Barth, Christopher Burns	Virtual Rheoscopic Fluids for Flow Visualization.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	rheoscopic fluids, Flow visualization
21	Shunsuke Miyamoto, Hideyuki Sakai, Toshihiko Shiraishi, Shin Morishita	A Flow Modeling of Lubricating Greases Under Shear Deformation by Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
21	Farshid Mostowfi, Jan Czarnecki, Elizeusz Musial, Jacob Masliyah, Subir Bhattacharjee	Thin film breakup by electric fields: Development of microfluidic applications in de-emulsification.	ICMENS	2005	DBLP DOI BibTeX RDF
21	Dominic J. D. Hughes, Rob J. van Glabbeek	Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract).	LICS	2003	DBLP DOI BibTeX RDF
21	Dirk Langemann	The Free Transmission Problem for a Water Droplet.	LSSC	2003	DBLP DOI BibTeX RDF
21	Gergely Horváth, Balázs E. Pataki, G. Strausz	Black-Box Modeling of a Complex Industrial Process.	ECBS	1999	DBLP DOI BibTeX RDF