Vania Vieira Estrela - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged type system

Methodology for Optimization of Polymer Blends CompositionAlessandra Martins Coelho, Vania Vieira Estrela, Joaquim Teixeira de Assis, Gil de Carvalho, Joaquim Teixeira de Assis, Vania Vieira Estrela, Vânia Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Alessandra Martins Coelho, Alessandra Martins Coelho, Alessandra Martins Coelho. 2012. [doi]

Multi-class Vehicle Type Recognition SystemXavier Clady, Pablo Negri, Maurice Milgram, Raphael Poulenard. annpr 2008: 228-239 [doi]

Applying Bootstrap method to the types I-II errors in the measurement systemF. K. Wang, S. W. Yang. qre, 24(1):83-97, 2008. [doi]

MC::2:: A module calculus for Pure Type SystemsJudicaël Courant. JFP, 17(3):287-352, 2007. [doi]

A Study on a Stereoscopic Display System Using a Rotary Disk Type Beam ShutterKwang Hyung Lee, Tae-Jeong Jang. hci 2007: 868-875 [doi]

A third-order Newton-type method to solve systems of nonlinear equationsM. T. Darvishi, A. Barati. amc, 187(2):630-635, 2007. [doi]

Blow up solutions for one class of system of Pekar-Choquard type nonlinear Schrödinger equationJianqing Chen, Boling Guo. amc, 186(1):83-92, 2007. [doi]

Stabilization of some fractional delay systems of neutral typeCatherine Bonnet, Jonathan R. Partington. automatica, 43(12):2047-2053, 2007. [doi]

Type Approving the Signaling SystemsHassan Moradi, Hassan Yeganeh, Maryam Fallahpour. cnsr 2007: 314-316 [doi]

New types child units ofanchor climber: swarm type wall climbing robot systemMasataka Suzuki, Shinya Kitai, Shigeo Hirose. iros 2007: 1781-1786 [doi]

Non-interference Properties for Data-Type Reduction of Communicating SystemsTobe Toben. IFM 2007: 619-638 [doi]

A multiple warm standby system with operational and repair times following phase-type distributionsRafael Pérez-Ocón, Delia Montoro-Cazorla. eor, 169(1):178-188, 2006. [doi]

Splitting-type method for systems of variational inequalitiesIgor V. Konnov. cor, 33:520-534, 2006. [doi]

Resolving the Conflict between Competitive and Cooperative Behavior in Michigan-Type Fuzzy Classifier SystemsPeter Haslinger, Ulrich Bodenhofer. eusflat 2005: 279-284 [doi]

Towards an Intersection Typed System ::::à la:::: ChurchLuigi Liquori, Simona Ronchi Della Rocca. ENTCS, 136:43-56, 2005. [doi]

Stabilization of Block-Type-Decodability Properties for Constrained SystemsPanu Chaichanavong, Brian H. Marcus. siamdm, 19(2):321-344, 2005. [doi]

Types, potency, and idempotency: why nonlinearity and amnesia make a type system workPeter Møller Neergaard, Harry G. Mairson. ICFP 2004: 138-149 [doi]

Convergence of Hermite-Feje r type interpolation of higher order on an arbitrary system of nodesYing Guang Shi. jat, 129(1):102-117, 2004. [doi]

New Kamenev type oscillation criteria for linear matrix Hamiltonian systemsYuan Gong Sun. amc, 158(1):69-78, 2004. [doi]

Forced oscillations of solutions of systems of hyperbolic equations of neutral typeEmil Minchev. amc, 155(2):427-438, 2004. [doi]

A hierarchy of probabilistic system typesFalk Bartels, Ana Sokolova, Erik P. de Vink. TCS, 327(1-2):3-22, 2004. [doi]

Asymptotic initial-value method for a system of singularly perturbed second-order ordinary differential equations of convection-diffusion typeT. Valanarasu, N. Ramanujam. ijcm, 81(11):1381-1393, 2004. [doi]

The Simply-typed Pure Pattern Type System Ensures Strong NormalizationBenjamin Wack. ifipTCS 2004: 633-646

Convergence of Hermite-Fejér type interpolation of higher order on an arbitrary system of nodesYing Guang Shi. jat, 123(2):173-187, 2003. [doi]

A hierarchy of probabilistic system typesFalk Bartels, Ana Sokolova, Erik P. de Vink. ENTCS, 82(1):57-75, 2003. [doi]

A System of Card Type Battery-Less Information Terminal: CardBIT for Situated InteractioYoshiyuki Nakamura, Takuichi Nishimura, Hideo Itoh, Hideyuki Nakashima. percom 2003: 369-377 [doi]

Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems EngineeringB. Nick Rossiter, David A. Nelson, Michael A. Heather. ICEIS 2003: 366-373

Parameters in Pure Type SystemsRoel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt. latin 2002: 371-385 [doi]

A Simple Type System for Program ReengineeringI. Guilfanov. WCRE 2001: 357-361 [doi]

Pure type systems with explicit substitutionRoel Bloo. mscs, 11(1):3-19, 2001.

A Type System for Dynamic Web DocumentsAnders Sandholm, Michael I. Schwartzbach. POPL 2000: 290-301 [doi]

A Booking Type Production System as a Collaboration Method for Virtual EnterprisesY. Nishioka, Y. Kamio, K. Kawashima, Y. Fukuda. ifip5-3 2001: 164-172

Non-network Type Artificial Immune System and its Application to Automated Guided Vehicle (AGV) SystemBen T. Nohara, Hiroko Takahashi. jaciii, 4(1):111-119, 2000. [doi]

Swinging types=functions+relations+transition systemsPeter Padawitz. TCS, 243(1-2):93-165, 2000. [doi]

Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)A. J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells. ICFP 1999: 90-101 [doi]

An innovative estimation method with own-ship estimator for an allaccelerometer-type inertial navigation systemSou-Chen Lee, Cheng-Yu Liu. ijsysc, 30(12):1259-1266, 1999. [doi]

Integrating multiple and diverse abstract knowledge types in real-time embedded systemsAlan Harrison, Peter G. Thomas. kbs, 9(7):417-434, 1996. [doi]

Generalising the BETA Type SystemSøren Brandt, Jørgen Lindskov Knudsen. ECOOP 1996: 421-448 [doi]

Estimation of Packet Delivery Time Characteristics in an Ethernet-type LAN Management SystemJacques Bensimon, Yuri Zlotnikov. ijnm, 6(5):264-270, 1996. [doi]

Embedding a Second Order Type System into an Intersection Type SystemHirofumi Yokouchi. iandc, 117(2):206-220, March 1995.

Decidable Properties of Intersection Type SystemsToshihiko Kurata, Masako Takahashi. tlca 1995: 297-311

Extensions to Type Systems Can Preserve Operational EquivalencesJon G. Riecke, Ramesh Subrahmanyam. tacs 1994: 76-95

GGeo-Type Approximations for General Discrete-Time Queueing SystemsDemetres D. Kouvatsos, Nasreddine Tabet-Aouel. atmn 1993: 469-483

Extending AlgBench with a Type SystemStephan A. Missura. disco 1993: 359-363

The System FLORA: Learning from Type-Varying Training SetsMiroslav Kubat, Jirina Pavlickova. ecml 1991: 234

An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data TypesUlrich Bartels, Walter G. Olthoff, Peter Raulefs. ki 1981: 112-123

An Extended Polymorphic Type System for Applicative LanguagesMario Coppo. mfcs 1980: 194-204

Bounds on the Scheduling of Typed Task SystemsJeffrey M. Jaffe. SICOMP, 9(3):541-551, 1980.

List Tracing in Systems Allowing Multiple Cell-TypesRobert Fenichel. CACM, 14(8):522-526, 1971.

Systems of Transfinite Types Involving lambda-ConversionMaurice L Abbe. JSYML, 18(3):209-224, 1953.

runs on WebDSL