Balarin, L.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

An iterative approach to verification of real-time systems

Felice Balarin, Alberto L. Sangiovanni-Vincentelli

Journal:

Formal Methods in System Design

Year:

1995

Language:

english

File:

PDF, 1.49 MB

english, 1995

52

Invariant reduced activation energy for thermokinetic curves with non-predetermined order of reaction

Journal:

Journal of Thermal Analysis and Calorimetry

Year:

1979

Language:

english

File:

PDF, 62 KB

english, 1979

53

Improved approximations of the exponential integral in tempering kinetics

Journal:

Journal of Thermal Analysis and Calorimetry

Year:

1977

Language:

english

File:

PDF, 364 KB

english, 1977

54

Half-width and asymmetry of glow peaks and their consistent analytical representation

Journal:

Journal of Thermal Analysis and Calorimetry

Year:

1979

Language:

english

File:

PDF, 596 KB

english, 1979

55

Effect of diet on growth rate and reproductive fitness of Turbo sarmaticus (Mollusca: Vetigastropoda: Turbinidae)

G. G. Foster, A. N. Hodgson, M. Balarin

Journal:

Year:

1999

Language:

english

File:

PDF, 199 KB

english, 1999

56

Location of PRODAN in lipid layer of HDL particle: a Raman study

D. Krilov, M. Balarin, M. Kosović, J. Brnjas-Kraljević

Journal:

European Biophysics Journal

Year:

2008

Language:

english

File:

PDF, 334 KB

english, 2008

57

Structure and grazing impact of the protozooplankton community in the waters surrounding the Prince Edward Islands (Southern Ocean)

P. W. Froneman, M. G. Balarin

Journal:

Year:

1998

Language:

english

File:

PDF, 242 KB

english, 1998

58

Feeding dynamics and respiration of the bottom-dwelling caridean shrimp Nauticaris marionis Bate, 1888 (Crustacea: Decapoda) in the vicinity of Marion Island (Southern Ocean)

E. A. Pakhomov, P. W. Froneman, P. J. Kuun, M. Balarin

Journal:

Year:

1999

Language:

english

File:

PDF, 486 KB

english, 1999

59

Verification Approach of Metropolis Design Framework for Embedded Systems

Xi Chen, Harry Hsieh, Felice Balarin

Journal:

International Journal of Parallel Programming

Year:

2006

Language:

english

File:

PDF, 217 KB

english, 2006

60

Monitoring structural phase transition of (Ge2S3)x(As2S3)1−x chalcogenide glass with Raman spectroscopy

O. Gamulin, M. Ivanda, V. Mitsa, M. Balarin, M. Kosović

Journal:

Journal of Molecular Structure

Year:

2011

Language:

english

File:

PDF, 730 KB

english, 2011

61

Spectroscopy studies of structural phase transitions of chalcogenide glass thin films (Ge2S3)x(As2S3)1−x at coordination number 2.67

Ozren Gamulin, Mile Ivanda, Vladimir Mitsa, Selim Pašić, Maja Balarin

Journal:

Solid State Communications

Year:

2005

Language:

english

File:

PDF, 144 KB

english, 2005

62

Congenital Syphilis Associated with Hyperlipoproteinemia

J. MeŠtrović, V. Krželj, L. Balarin, M. Meštrovič, V. Škrabič

Journal:

Pediatric Dermatology

Year:

1997

Language:

english

File:

PDF, 190 KB

english, 1997

63

Untersuchungen über einen neuen amerikanischen Schädling in Enropa, die Platanen-Netzwanze,Corythuca ciliata(Say)

Milan Maceljski, Inoslava Balarin

Journal:

Journal of Pest Science

Year:

1974

Language:

german

File:

PDF, 1.14 MB

german, 1974

64

Beitrag zur Kenntnis natürlicher Feinde der Platanen-Netzwanze (Corythuca ciliata (Say), Tingidae, Heteroptera)

Milan Maceljski, Inoslava Balarin

Journal:

Journal of Pest Science

Year:

1977

File:

PDF, 484 KB

1977

65

Metropolis: an integrated electronic system design environment

Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.

Journal:

Year:

2003

Language:

english

File:

PDF, 273 KB

english, 2003

66

45,X/46,XX/47,XXX mosaicism

Alessandra Bernadete Trovó de Marqui, Roseane Lopes da Silva Grecco, Heloisa Marcelina da Cunha Palhares, Maria de Fátima Borges, Marly Aparecida Spadotto Balarin

Journal:

Pediatrics International

Year:

2012

Language:

english

File:

PDF, 71 KB

english, 2012

67

Investigations on the use of on-farm resources as pond inputs to culture Tilapia rendalli and Oreochromis shiranus on smallholder farms in rural Malawi

Fredson J.K.T. Chikafumbwa, Barry A. Costa-Pierce, Daniel M. Jamu, Winston K. Kadongola, John D. Balarin

Journal:

Year:

1993

Language:

english

File:

PDF, 696 KB

english, 1993

68

Pain Perception at Laser Treatment of Peripheral Retinal Degenerations With Green and Infrared Wavelengths

Rodrigo Pessoa Cavalcanti Lira, Mauricio Abujamra Nascimento, Carlos Eduardo Leite Arieta, Keila Miriam Monteiro de Carvalho, Valdir Balarin Silva

Journal:

American Journal of Ophthalmology

Year:

2010

Language:

english

File:

PDF, 757 KB

english, 2010

69

Size-fractionated phytoplankton biomass, production and biogenic carbon flux in the eastern Atlantic sector of the Southern Ocean in late austral summer 1997–1998

P.W. Froneman, E.A. Pakhomov, M.G. Balarin

Journal:

Deep Sea Research Part II: Topical Studies in Oceanography

Year:

2004

Language:

english

File:

PDF, 357 KB

english, 2004

70

Human chromosome aberrations induced in vitro by Paracoccidioides brasiliensis glycoproteic component (GP 43)

Dertia Villalba Freire-Maia, Marly Aparecida Spadotto Balarin, Maria José Mendes-Giannini

Journal:

Mutation Research/Genetic Toxicology and Environmental Mutagenesis

Year:

1997

Language:

english

File:

PDF, 149 KB

english, 1997

71

Logic of constraints: a quantitative performance and functional constraint formalism

Xi Chen, Hsieh, H., Balarin, F., Watanabe, Y.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2004

Language:

english

File:

PDF, 320 KB

english, 2004

72

Specification, Synthesis, and Simulation of Transactor Processes

Balarin, F., Passerone, R.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2007

Language:

english

File:

PDF, 351 KB

english, 2007

73

Cerebrospinal fluid from a 7-month-old dog with seizure-like episodes

Alexandre M. Amude, Amauri A. Alfieri, Mara R. S. Balarin, Antônio C. F. Dos Reis, Alice F. Alfieri

Journal:

Veterinary Clinical Pathology

Year:

2006

Language:

english

File:

PDF, 189 KB

english, 2006

74

Prospects of selecting for late maturity in tilapia (Oreochromis niloticus): II. Strain comparisons under laboratory and field conditions

W. Oldorf, U. Kronert, J. Balarin, R. Haller, G. Hörstgen-Schwark, H.-J. Langholz

Journal:

Year:

1989

Language:

english

File:

PDF, 699 KB

english, 1989

75

Synthesis of software programs for embedded control applications

Balarin, F., Chiodo, M., Giusto, P., Hsieh, H., Jurecska, A., Lavagno, L., Sangiovanni-Vincentelli, A., Sentovich, E.M., Suzuki, K.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1999

Language:

english

File:

PDF, 235 KB

english, 1999

76

Sequential synthesis using S1S

Aziz, A., Balarin, F., Brayton, R.K., Sangiovanni-Vincentelli, A.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2000

Language:

english

File:

PDF, 326 KB

english, 2000

77

Monitoring the healing process of rat bones using Raman spectroscopy

Gamulin, O., Serec, K., Bilić, V., Balarin, M., Kosović, M., Drmić, D., Brčić, L., Seiwerth, S., Sikirić, P.

Journal:

Journal of Molecular Structure

Year:

2013

Language:

english

File:

PDF, 763 KB

english, 2013

78

Genetic and morphological analyses indicate high population mixing in the endangered cichlidAlcolapiaflock of East Africa

Zaccara, Serena, Crosa, Giuseppe, Vanetti, Isabella, Binelli, Giorgio, Harper, David M., Mavuti, Kenneth M., Balarin, John D., Britton, J. Robert

Journal:

Conservation Genetics

Year:

2014

Language:

english

File:

PDF, 626 KB

english, 2014

79

Phonon confinement effects in Raman spectra of porous silicon at non-resonant excitation condition

Kosović, Marin, Gamulin, Ozren, Balarin, Maja, Ivanda, Mile, Đerek, Vedran, Ristić, Davor, Marciuš, Marijan, Ristić, Mira

Journal:

Journal of Raman Spectroscopy

Year:

2014

Language:

english

File:

PDF, 554 KB

english, 2014

80

Identification of a novel missense mutation in Brazilian patient with a severe form of mucopolysaccharidosis type IVA

Kubaski, Francyne, Brusius-Facchin, Ana Carolina, Palhares, Heloísa M.C., Balarin, Marly Aparecida Spadotto, Viapiana-Camelier, Marli, Guidobono, Regis, Burin, Maira Graeff, Giugliani, Roberto, Leistn

Journal:

Year:

2013

Language:

english

File:

PDF, 586 KB

english, 2013

81

W1244 The Role of Adenine and Guanine in Beneficial Effects of the Gastric Pentadecapeptide BPC 157 (PL 14736) On Ileoileal Anastomosis Healing in Rats Impaired with Systemic Corticosteroid Application. Raman Spectroscopy Study

Gamulin, Ozren, Balarin, Maja, Kosovic, Marin, Vuksic, Tihomir, Klicek, Robert, Brcic, Luka, Coric, Marijana, Batelja, Lovorka, Radic, Bozo, Sever, Marko, Drmic, Domagoj, Seiwerth, Sven, Sikiric, Pred

Journal:

Gastroenterology

Year:

2009

Language:

english

File:

PDF, 51 KB

english, 2009

82

Identification of a novel missense mutation in Brazilian patient with a severe form of mucopolysaccharidosis type IVA

Leistner-Segal, Sandra, Kubaski, Francyne, Brusius-Facchin, Ana Carolina, Palhares, Heloísa M.C., Balarin, Marly Aparecida Spadotto, Viapiana-Camelier, Marli, Guidobono, Regis, Burin, Maira Graeff, Gi

Journal:

Molecular Genetics and Metabolism

Year:

2013

Language:

english

File:

PDF, 77 KB

english, 2013

83

Serological Survey of Paracoccidioidomycosis in Cats

Oliveira, Gabriela Gonçalves, Belitardo, Donizeti Rodrigues, Balarin, Mara Regina Stipp, Freire, Roberta Lemos, Camargo, Zoilo Pires, Ono, Mario Augusto

Journal:

Year:

2013

Language:

english

File:

PDF, 210 KB

english, 2013

84

Understanding education: a sociological perspective

Balarin, Maria, Moore, Rob, Sultana, Ronald G.

Journal:

British Journal of Sociology of Education

Year:

2011

Language:

english

File:

PDF, 107 KB

english, 2011

85

Promoting educational reforms in weak states: the case of radical policy discontinuity in Peru

Journal:

Globalisation Societies and Education

Year:

2008

Language:

english

File:

PDF, 107 KB

english, 2008

86

Curriculum reform and the displacement of knowledge in Peruvian rural secondary schools: exploring the unintended local consequences of global education policies

Balarin, Maria, Benavides, Martin

Journal:

Year:

2010

Language:

english

File:

PDF, 113 KB

english, 2010

87

The Changing Governance of Education: A Comparative Political Economy Perspective on Hybridity

Journal:

American Behavioral Scientist

Year:

2014

Language:

english

File:

PDF, 401 KB

english, 2014

88

[IEEE Comput. Soc 6th Design Automation and Test in Europe (DATE 03) - Munich, Germany (3-7 March 2003)] 2003 Design, Automation and Test in Europe Conference and Exhibition - Automatic generation of simulation monitors from quantitative constraint formula [system-level verification]

Xi Chen,, Hsieh, H., Balarin, F., Watanabe, Y.

Year:

2003

Language:

english

File:

PDF, 227 KB

english, 2003

89

[ACM Tenth International Symposium on Hardware/Software Codesign. CODES 2002 - Estes Park, CO, USA (6-8 May 2002)] Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) - Concurrent execution semantics and sequential simulation algorithms for the Metropolis meta-model

Balarin, F., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A., Watanabe, Y., Guang Yang,

Year:

2002

Language:

english

File:

PDF, 442 KB

english, 2002

90

[IEEE 2007 IEEE International High Level Design Validation and Test Workshop - Irvine, CA, USA (2007.11.7-2007.11.9)] 2007 IEEE International High Level Design Validation and Test Workshop - Framework for fast and accurate performance simulation of multiprocessor systems

Cheung, Eric, Hsieh, Harry, Balarin, Felice

Year:

2007

Language:

english

File:

PDF, 988 KB

english, 2007

91

[IEEE Comput. Soc Design, Automation and Test in Europe Conference and Exhibition - Paris, France (16-20 Feb. 2004)] Proceedings Design, Automation and Test in Europe Conference and Exhibition - Utilizing formal assertions for system design of network processors

Xi Chen,, Yan Luo,, Hsieh, H., Bhuyan, L., Balarin, F.

Year:

2004

Language:

english

File:

PDF, 289 KB

english, 2004

92

[ACM 33rd Design Automation Conference - Las Vegas, NV, USA (3-7 June 1996)] 33rd Design Automation Conference Proceedings, 1996 - Formal verification of embedded systems based on CFSM networks

Balarin, F., Hsieh, H., Jurecska, A., Lavagno, L., Sangiovanni-Vincentelli, A.

Year:

1996

Language:

english

File:

PDF, 495 KB

english, 1996

93

[IEEE Comput. Soc Eighth IEEE International High-Level Design Validation and Test Workshop - San Francisco, CA, USA (12-14 Nov. 2003)] Eighth IEEE International High-Level Design Validation and Test Workshop - Verifying LOC based functional and performance constraints

Xi Chen,, Hsieh, H., Balarin, F., Watanabe, Y.

Year:

2003

Language:

english

File:

PDF, 476 KB

english, 2003

94

[IEEE 2007 IEEE International High Level Design Validation and Test Workshop - Irvine, CA, USA (2007.11.7-2007.11.9)] 2007 IEEE International High Level Design Validation and Test Workshop - Automatic buffer sizing for rate-constrained KPN applications on multiprocessor system-on-chip

Cheung, Eric, Hsieh, Harry, Balarin, Felice

Year:

2007

Language:

english

File:

PDF, 617 KB

english, 2007

95

[IEEE Comput. Soc. Press IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (5-9 Nov. 1995)] Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) - Sequential synthesis using S1S

Aziz, A., Balarin, F., Brayton, R., Sangiovanni-Vincentelli, A.

Year:

1995

Language:

english

File:

PDF, 754 KB

english, 1995

96

[IEEE 2009 Asia and South Pacific Design Automation Conference (ASP-DAC) - Yokohama, Japan (2009.01.19-2009.01.22)] 2009 Asia and South Pacific Design Automation Conference - Partial order method for timed simulation of system-level MPSoC designs

Cheung, Eric, Hsieh, Harry, Balarin, Felice

Year:

2009

Language:

english

File:

PDF, 335 KB

english, 2009

97

Cycloactive, aneugenic and clastogenic effects of Paracoccidioides brasiliensis exoantigen in human lymphocyte cultures

Balarin, M.A.S., Freire-Maia, D.V.

Journal:

Medical Mycology

Year:

1996

Language:

english

File:

PDF, 484 KB

english, 1996

98

[IEEE Comput. Soc IEEE International High Level Design Validation and Test Workshop (HLDVT'02) - Cannes, France (27-29 Oct. 2002)] Seventh IEEE International High-Level Design Validation and Test Workshop, 2002. - Formal verification of embedded system designs at multiple levels of abstraction

Xi Chen,, Fang Chen,, Hsieh, H., Balarin, F., Watanabe, Y.

Year:

2002

Language:

english

File:

PDF, 531 KB

english, 2002

99

[IEEE Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) - Sonoma Valley, CA, USA (2004.11.10-2004.11.12)] Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) - Assertion-based power/performance analysis of network processor architectures

Yu, J., Wu, W., Chen, X., Hsieh, H., Yang, J., Balarin, F.

Year:

2004

Language:

english

File:

PDF, 554 KB

english, 2004

100

[IEEE IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers - San Jose, CA, USA (4-8 Nov. 2001)] IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281) - STARS in VCC: complementing simulation with worst-case analysis

Year:

2001

Language:

english

File:

PDF, 822 KB

english, 2001