Filters








177,178 Hits in 5.1 sec

Constructing Specialized Shape Analyses for Uniform Change [chapter]

Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas Reps
Lecture Notes in Computer Science  
We develop a new methodology for addressing this problem, based on a syntactically restricted language for expressing concrete transformers.  ...  We use this methodology to produce best abstract transformers for abstractions of many important data structures.  ...  Our vision is to build specialized shape analyses for many of the available programs and observed properties.  ... 
doi:10.1007/978-3-540-69738-1_16 dblp:conf/vmcai/Lev-AmiSIR07 fatcat:vwxr7biwkra7xd6pn3gdea2vym

Page 1571 of American Society of Civil Engineers. Collected Journals Vol. 111, Issue 7 [page]

1985 American Society of Civil Engineers. Collected Journals  
Applied Technology Council, ‘Tentative Provisions for the Development of Seismic Regulations for Buildings,” NSF Publication 78-8, NBS Special Publica- 1571  ...  Model refinements that produce a roughly uniform change in the lateral stiffness will alter the natural period values.  ... 

Structure-function covariation with nonfeeding ecological variables influences evolution of feeding specialization in Carnivora

Z. Jack Tseng, John J. Flynn
2018 Science Advances  
analyses.  ...  This suggests that mechanisms of obligate shape covariation with nonfeeding variables can produce performance changes resembling those arising from feeding adaptations in Carnivora.  ...  equal/uniform) was used in subsequent comparative analyses.  ... 
doi:10.1126/sciadv.aao5441 pmid:29441363 pmcid:PMC5810607 fatcat:6v26nms2fzdgbjqlr5pakxpd6q

Page 17 of The Medical Technologist and Scientist Vol. 10, Issue 9 [page]

1980 The Medical Technologist and Scientist  
The Medical Technologist, September 1980 Automatic routine microscope THE NEW KM microscope from Carl Zeiss (Oberkochen) is of compact box shaped construction which adds considerably to the instrument’  ...  A special slider accepts accessories for phase contrast, darkfield and polarising microscopy for convenient changes between brightfield and other contrast- enhancement methods.  ... 

Erection Control Analysis - Meeting the Demands of New Construction Techniques

Dorian Janjic, Johann Stampler
2008 IABSE Congress Report  
New bridge construction techniques such as the pre-cast segmental construction method yield special requirements for the design and proof checking process.  ...  An appropriate tool allowing for getting the ability to determine the effects of constraining the structure into a certain pre-defined position at any stage of construction has recently been provided.  ...  This strain is applied to the cable element in the same manner as a uniform temperature change.  ... 
doi:10.2749/222137908796294252 fatcat:pvdkwxhwtzatfcyufnsyl2fncm

Next Generation Face Tracking Technology Using AAM Techniques

Peter Corcoran, Mircea C. Jonita, Joana Bacivarov
2007 2007 International Symposium on Signals, Circuits and Systems  
The paper reprsentaonsi[18] [19], Mont Carl approacesi forn includes (a) new training and model construction approaches for Gaussin noar get t nd yw AAMs with increased robustness to head pose variations  ...  uni-modal Gaussian on problems related to the implementation of AAM in realrepresentations [18] [19] Monte Carlo approaches for nontime face tracking applications for embedded systems.  ...  Thus, the shape model in the same way as it is done for uniform illumination. (1) can be explicitly written as B.  ... 
doi:10.1109/isscs.2007.4292639 fatcat:j3a2c36e55evto5nqiqy6iitbu

Analysis and optimisation of temperature distribution in busbars and its contacts

Kolimas Łukasz
2014 GSTF Journal of Engineering Technology (JET)  
sizes and shape).  ...  This work presents an analysis of heating up process for busbars and contacts, along with means to optimize temperature distribution in constructions of this type (through an appropriate selection of their  ...  The research was carried out for constructions of diverse dimensions and shapes.  ... 
doi:10.5176/2251-3701_3.1.103 fatcat:ui6uluiofveglbm53bz7dfs5zy

Optimisation of Selected Components of a Roller Carding Machine in the Aspect of Improving their Cooperation Quality

Piotr Danielczyk, Jacek Stadnicki
2015 Fibres & Textiles in Eastern Europe  
For the study to be complete, optimisation of the blade and comb shaft cross-sections was also performed.  ...  The quality of web produced by a carding machine is largely influenced by the shape and height of the gaps between card clothings of workers and the doffer cooperating with the main cylinder as well as  ...  The graphs (Figures 10 to 12) summarise the results of analyses for the construction before and after optimiation.  ... 
doi:10.5604/12303666.1167436 fatcat:nvvbmooe7jg3na4263vqcghlxm

Morphometric Spaces, Shape Components and the Effects of Linear Transformations [chapter]

F. James Rohlf
1996 Advances in Morphometrics  
The effects of linear transformations of the coordinates of the landmarks (on the specimens or the reference) on various statistical analyses and estimates of the uniform and nonaffine components of shape  ...  Some implications of these results on the choices of methods for the study of shape are discussed. Morphometric Spaces, Shape Components and the Effects of Linear Transformations 119  ...  uniform shape change versus nonshape differences (translation, rotation and scale).  ... 
doi:10.1007/978-1-4757-9083-2_11 fatcat:2gak7gmpprfq5pnrb7xtjxuqva

Statistical models foe geometric components of shape change

Fred L. Bookstein, Paul D. Sampson
1990 Communications in Statistics - Theory and Methods  
This paper introduces an analysisof landmark data and homology mappings using a hierarchyof geometric components of shape differenceor shape change.  ...  Each componentis a smooth deformation takingthe form of a bivariatepolynomial in the shape coordinates and The simplest component model expresses homogeneous shape change over a form and is represented  ...  baseline for this constructionis changed from AiBi to AiCi, the shape coordinates change: they are point q in the construction registered at Ai =(O.O)andBi =(1,0).  ... 
doi:10.1080/03610929008830301 fatcat:ztzzfdnn2zhkbegkvbd3jvq4oe

Evaluation of Selected Methods of Mitigation of Media Flow Maldistribution Impact in Finned Cross-flow Heat Exchangers

Tomasz Piotr Bury, Jan Składzień
2013 International Journal of Thermodynamics  
Analyses of a non-uniform gas inlet to cross-flow finned heat exchangers are conducted by means of numerical simulations and experiments for over ten years at the Institute of Thermal Technology of the  ...  This paper summarizes works aimed in evaluation of different methods of mitigating a negative impact of the non-uniform gas inflow on heat exchanger performance.  ...  The air supply module originally was a special testing station constructed during realization of the project (Piątek, 2003) for determination of a form and scope of the air inflow non-uniformity.  ... 
doi:10.5541/ijot.473 fatcat:ml5uylioeffjfbbahwqqb6cxay

Analysis of the Possibilities for Using a Uniform Bragg Grating in a Tunable Dispersion Compensator

Waldemar Wójcik, Piotr Kisała, Gulbahar Yussupova, Nazym Kussambayeva, Gulzhan Kashaganova, Damian Harasim
2015 International Journal of Electronics and Telecommunications  
The article presents a tunable fibre optic dispersion compensator system, consisting of a specially designed cantilever beam and a uniform Bragg grating.  ...  It analyses the group delay and dispersion characteristics in the case that there is no apodization of the grating and also for a grating with apodization used for modulation of the refractive index.  ...  The present article presents proposals to use a uniform Bragg grating in the construction of a tunable fibre optic dispersion compensator.  ... 
doi:10.2478/eletel-2015-0050 fatcat:zaydjuj42zdh7it2pdkouyw26q

Modular and generic programming with interpreterlib

Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander
2007 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07  
We introduce InterpreterLib, a Haskell library that implements and extends MMS techniques for writing composable analyses.  ...  In addition to modular analyses composition, InterpreterLib provides algebra combinators, explicit algebra semantics, preprocessors for boilerplate generation and generic programming techniques adapted  ...  The generic algebra handles the majority of the syntactic constructs (including those not yet defined), and a programmer uses an update operator to specialize the default behavior for specific functors  ... 
doi:10.1145/1321631.1321712 dblp:conf/kbse/WeaverKFA07 fatcat:5whklitdencqhnrly5ijwqakda

Analytical and experimental bearing capacities of system scaffolds

Jui-lin Peng, Tsong Yen, Ching-chi Kuo, Siu-lai Chan
2009 Journal of Zhejiang University: Science A  
The research showed that the critical load of a system scaffold structure without diagonal braces is similar to that of a door-shaped steel scaffold structure.  ...  A large Christmas tree set up by system scaffolds under various loads was used as an example for analysis and to check the design of system scaffolds.  ...  Chun-min Her is commended for performing experimental tests.  ... 
doi:10.1631/jzus.a0820010 fatcat:75e6gr2coraetkicdsvqntbv2i

Discrete Optimization of Ship Structures from the Viewpoint of Practical Design

Guoqiang Zhou, Hisashi Nobukawa, Fengxiang Yang
1997 Journal of the Society of Naval Architects of Japan  
Besides the conventional variable design parameters, some particular parameters such as the serial number of standard shaped steel for longitudinals and for transverse frames, the number of longitudinals  ...  The structural construction cost of hold length between two transverse bulkheads is chosen as the objective function to be minimized by genetic algorithms.  ...  multipoint crossover and the uniform crossover are used for this numerical example.  ... 
doi:10.2534/jjasnaoe1968.1997.182_551 fatcat:z2oja4svsrfg3cjsjpqpnmmhzy
« Previous Showing results 1 — 15 out of 177,178 results