<rdf:RDF xmlns:community="http://www.bibsonomy.org/ontologies/2008/05/community#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:admin="http://webns.net/mvcb/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:cc="http://web.resource.org/cc/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xml:base="http://www.bibsonomy.org/author/Bica"><owl:Ontology rdf:about=""><rdfs:comment>BibSonomy publications for /author/Bica</rdfs:comment><owl:imports rdf:resource="http://swrc.ontoware.org/ontology/portal"/></owl:Ontology><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/254913ff8e90b53738af377ad08b650b3/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/254913ff8e90b53738af377ad08b650b3/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/journals/jcam/jcam236.html#BicaCC12"/><swrc:date>Mon Jan 16 00:00:00 CET 2012</swrc:date><swrc:journal>J. Computational Applied Mathematics</swrc:journal><swrc:number>7</swrc:number><swrc:pages>2005-2024</swrc:pages><swrc:title>About a numerical method of successive interpolations for functional Hammerstein integral equations.</swrc:title><swrc:volume>236</swrc:volume><swrc:year>2012</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1016/j.cam.2011.11.010" swrc:key="ee"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="A. M. Bica"/></rdf:_1><rdf:_2><swrc:Person swrc:name="M. Curila"/></rdf:_2><rdf:_3><swrc:Person swrc:name="S. Curila"/></rdf:_3></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2a5e3fda6198df43f8a1bcf043da4ede5/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2a5e3fda6198df43f8a1bcf043da4ede5/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/fedcsis/fedcsis2011.html#ColesaB11"/><swrc:date>Thu Nov 10 00:00:00 CET 2011</swrc:date><swrc:booktitle>FedCSIS</swrc:booktitle><swrc:crossref>conf/fedcsis/2011</swrc:crossref><swrc:pages>941-948</swrc:pages><swrc:title>An Adaptive Virtual Machine Replication Algorithm for Highly-Available Services.</swrc:title><swrc:year>2011</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://fedcsis.eucip.pl/proceedings/pliks/180.pdf" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="978-83-60810-34-4" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Adrian Colesa"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Mihai Bica"/></rdf:_2></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Maria Ganzha"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Leszek A. Maciaszek"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Marcin Paprzycki"/></rdf:_3></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/26f62448796dbb24224a5dd851195010f/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/26f62448796dbb24224a5dd851195010f/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/journals/cma/cma62.html#Bica11"/><swrc:date>Mon Oct 31 00:00:00 CET 2011</swrc:date><swrc:journal>Computers &amp; Mathematics with Applications</swrc:journal><swrc:number>10</swrc:number><swrc:pages>3829-3843</swrc:pages><swrc:title>The numerical method of successive interpolations for two-point boundary value problems with deviating argument.</swrc:title><swrc:volume>62</swrc:volume><swrc:year>2011</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1016/j.camwa.2011.09.032" swrc:key="ee"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Alexandru Mihai Bica"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/26560718690abacf1a483c27d868fbb1c/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/26560718690abacf1a483c27d868fbb1c/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/journals/na/na58.html#Bica11"/><swrc:date>Tue Oct 18 00:00:00 CEST 2011</swrc:date><swrc:journal>Numerical Algorithms</swrc:journal><swrc:number>3</swrc:number><swrc:pages>351-377</swrc:pages><swrc:title>The numerical method of successive interpolations for Fredholm functional integral equations.</swrc:title><swrc:volume>58</swrc:volume><swrc:year>2011</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1007/s11075-011-9459-4" swrc:key="ee"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Alexandru Mihai Bica"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/21a8fd0d94eef1db48d147aeda049605d/msteele"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/21a8fd0d94eef1db48d147aeda049605d/msteele"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><swrc:date>Fri Jul 15 15:18:02 CEST 2011</swrc:date><swrc:journal>Proceedings of the 4th European Computing Conference</swrc:journal><swrc:pages>200-206</swrc:pages><swrc:title>{Formal verification of secure ad hoc routing protocols using AVISPA:
	ARAN case study}</swrc:title><swrc:volume>4</swrc:volume><swrc:year>2010</swrc:year><swrc:keywords>ARAN AVISPA routing secure formal verification </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value=":I\:\\My Documents\\Thesis\\Research\\Pura10.pdf:PDF" swrc:key="file"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="Matt" swrc:key="owner"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="AVISPA is a modeling and formal verification tool. It has similarities
	with SPIN.
	
	
	
	Results have only been obtained for no-intermediary node simulations.
	Attempts to run verification against 3 node networks have failed,
	consuming more than 72 hours of processing
	
	time. This is similar to the work presented in [&lt;wibling04&gt;] in which
	the all the modeling is attempted in the verifier itself. This lends
	support to the automated scripted style presented
	
	in [&lt;andel07_b&gt;].
	
	
	AVISPA models are similar to SPIN models. Processes are the only first
	class structures. Time is not possible to be modeled.
	
	
	In all this is probably a very good start to modeling with AVISPA
	but it fails in the attempt to model everything in the verifier.
	AVISPA may be a valid alternative to SPIN and is worth a close
	
	look.
	
	
	Still don&#039;t know what AVISPA is though.
	
	
	Pura et. al. present the formal verification of ARAN with the AVISPA
	framework. AVISPA is similar to SPIN in that modeling is preformed
	through processes and there is no concept of time. [8] attempts to
	perform the entirety of the model checking in the verifier. This
	failed to produce results even for 3 node topologies. The failure
	to obtain results was caused by a state space explosion in the modeling.
	The claims that the use of the AVISPA framework is easier than SPIN
	so far have not panned out. More research is needed further explore
	the possibility of using AVISPA in formal routing verification." swrc:key="review"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Mihai-Lica Pura"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Victor-Valeriu Patriciu"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Ion Bica"/></rdf:_3></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2368f70a4fbc8c5fddb55aa9fef401d73/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2368f70a4fbc8c5fddb55aa9fef401d73/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/iscas/iscas2011.html#CasaleiroLOFS11"/><swrc:date>Thu Jul 07 00:00:00 CEST 2011</swrc:date><swrc:booktitle>ISCAS</swrc:booktitle><swrc:crossref>conf/iscas/2011</swrc:crossref><swrc:pages>1133-1136</swrc:pages><swrc:publisher><swrc:Organization swrc:name="IEEE"/></swrc:publisher><swrc:title>A 1 mW low phase-noise relaxation oscillator.</swrc:title><swrc:year>2011</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1109/ISCAS.2011.5937770" swrc:key="ee"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Joao Casaleiro"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Hugo Lopes"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Luís Bica Oliveira"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Jorge R. Fernandes"/></rdf:_4><rdf:_5><swrc:Person swrc:name="Manuel M. Silva"/></rdf:_5></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/26f000fa67c78bf42e33dd645a7220491/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/26f000fa67c78bf42e33dd645a7220491/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/iscas/iscas2009.html#MartinsOF09"/><swrc:date>Tue Jun 28 00:00:00 CEST 2011</swrc:date><swrc:booktitle>ISCAS</swrc:booktitle><swrc:crossref>conf/iscas/2009</swrc:crossref><swrc:pages>425-428</swrc:pages><swrc:publisher><swrc:Organization swrc:name="IEEE"/></swrc:publisher><swrc:title>Combined LNA and Mixer Circuits for 2.4 GHz ISM Band.</swrc:title><swrc:year>2009</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1109/ISCAS.2009.5117776" swrc:key="ee"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Miguel A. Martins"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Luís Bica Oliveira"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Jorge R. Fernandes"/></rdf:_3></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/23d78e71fe7abfbde8417669a8d30177d/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/23d78e71fe7abfbde8417669a8d30177d/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/journals/amc/amc217.html#BicaCC11"/><swrc:date>Thu May 19 00:00:00 CEST 2011</swrc:date><swrc:journal>Applied Mathematics and Computation</swrc:journal><swrc:number>19</swrc:number><swrc:pages>7772-7789</swrc:pages><swrc:title>About a numerical method of successive interpolations for two-point boundary value problems with deviating argument.</swrc:title><swrc:volume>217</swrc:volume><swrc:year>2011</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1016/j.amc.2011.02.085" swrc:key="ee"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="A. M. Bica"/></rdf:_1><rdf:_2><swrc:Person swrc:name="M. Curila"/></rdf:_2><rdf:_3><swrc:Person swrc:name="S. Curila"/></rdf:_3></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2fbd920c5f5263bf71e20f22f28d0060b/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2fbd920c5f5263bf71e20f22f28d0060b/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/secrypt/secrypt2010.html#PuraPB10"/><swrc:date>Fri Jan 07 00:00:00 CET 2011</swrc:date><swrc:booktitle>SECRYPT</swrc:booktitle><swrc:crossref>conf/secrypt/2010</swrc:crossref><swrc:pages>299-303</swrc:pages><swrc:publisher><swrc:Organization swrc:name="SciTePress"/></swrc:publisher><swrc:title>Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2.</swrc:title><swrc:year>2010</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="978-989-8425-18-8" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Mihai-Lica Pura"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Victor Valeriu Patriciu"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Ion Bica"/></rdf:_3></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Sokratis K. Katsikas"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Pierangela Samarati"/></rdf:_2></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/20a688a4c531b48bc6444d6b0b75da30d/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/20a688a4c531b48bc6444d6b0b75da30d/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/secrypt/secrypt2009.html#Mihai-LicaPB09"/><swrc:date>Fri Jan 07 00:00:00 CET 2011</swrc:date><swrc:booktitle>SECRYPT</swrc:booktitle><swrc:crossref>conf/secrypt/2009</swrc:crossref><swrc:pages>135-139</swrc:pages><swrc:publisher><swrc:Organization swrc:name="INSTICC Press"/></swrc:publisher><swrc:title>Simulation of an Identity-based Cryptography Scheme for Ad Hoc Networks.</swrc:title><swrc:year>2009</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="978-989-674-005-4" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Mihai-Lica Pura"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Victor Valeriu Patriciu"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Ion Bica"/></rdf:_3></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Eduardo Fernández-Medina"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Manu Malek"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Javier Hernando"/></rdf:_3></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2d86566c88683956280fd6ce25a245f57/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2d86566c88683956280fd6ce25a245f57/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/journals/aim/aim22.html#AkersBKRY01"/><swrc:date>Wed Dec 29 00:00:00 CET 2010</swrc:date><swrc:journal>AI Magazine</swrc:journal><swrc:number>2</swrc:number><swrc:pages>27-42</swrc:pages><swrc:title>SciFinance: A Program Synthesis Tool for Financial Modeling.</swrc:title><swrc:volume>22</swrc:volume><swrc:year>2001</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://www.aaai.org/ojs/index.php/aimagazine/article/view/1559" swrc:key="ee"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Robert L. Akers"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Ion Bica"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Elaine Kant"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Curt Randall"/></rdf:_4><rdf:_5><swrc:Person swrc:name="Robert L. Young"/></rdf:_5></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/26042df80685a3cb9fc91b8295b15fa5a/smatthiesen"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/26042df80685a3cb9fc91b8295b15fa5a/smatthiesen"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://view.ncbi.nlm.nih.gov/pubmed/12094435"/><swrc:date>Tue Nov 30 22:39:03 CET 2010</swrc:date><swrc:journal>The American psychologist</swrc:journal><swrc:number>6-7</swrc:number><swrc:pages>417--424</swrc:pages><swrc:title>{Fundamentally misunderstanding visual perception. Adults&#039; belief in visual emissions.}</swrc:title><swrc:volume>57</swrc:volume><swrc:year>2002</swrc:year><swrc:keywords>misconception </swrc:keywords><swrc:abstract>{The authors reviewed research about a profound misconception that is present among college students, namely, the belief that the process of vision includes emanations from the eyes, an idea that is consistent with the extramission theory of perception, which was originally professed by early Greek philosophers and which persisted in scholarly circles for centuries. The authors document the strength and breadth of this phenomenon and the object failure of traditional educational techniques to overcome this belief, and they reveal that students are leaving psychology courses with a flawed understanding of one of the most studied processes in the history of psychology--visual perception. Some suggestions are offered for overcoming this misconception in traditional college classroom settings.}</swrc:abstract><swrc:hasExtraField><swrc:Field swrc:value="2010-04-25 11:37:29" swrc:key="posted-at"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="0003-066X" swrc:key="issn"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2" swrc:key="priority"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="7079288" swrc:key="citeulike-article-id"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="http://www.hubmed.org/display.cgi?uids=12094435" swrc:key="citeulike-linkout-1"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="http://view.ncbi.nlm.nih.gov/pubmed/12094435" swrc:key="citeulike-linkout-0"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Gerald A. Winer"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Jane E. Cottrell"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Virginia Gregg"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Jody S. Fournier"/></rdf:_4><rdf:_5><swrc:Person swrc:name="Lori A. Bica"/></rdf:_5></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2e4c2e63a0df39eb824bd91fe48f0864b/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2e4c2e63a0df39eb824bd91fe48f0864b/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/dsd/dsd2009.html#SilvaOFVN09"/><swrc:date>Mon Dec 28 00:00:00 CET 2009</swrc:date><swrc:booktitle>DSD</swrc:booktitle><swrc:crossref>conf/dsd/2009</swrc:crossref><swrc:pages>74-81</swrc:pages><swrc:publisher><swrc:Organization swrc:name="IEEE Computer Society"/></swrc:publisher><swrc:title>Run-Time Reconfigurable Array Using Magnetic RAM.</swrc:title><swrc:year>2009</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://doi.ieeecomputersociety.org/10.1109/DSD.2009.198" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="978-0-7695-3782-5" swrc:key="isbn"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2009-12-28" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Victor Silva"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Luís Bica Oliveira"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Jorge R. Fernandes"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Mário P. Véstias"/></rdf:_4><rdf:_5><swrc:Person swrc:name="Horácio C. Neto"/></rdf:_5></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Antonio Núñez"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Pedro P. Carballo"/></rdf:_2></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2d0024e85fad1922df03a258af133187f/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2d0024e85fad1922df03a258af133187f/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/naa/naa2008.html#Bica08"/><swrc:date>Tue Feb 10 00:00:00 CET 2009</swrc:date><swrc:booktitle>NAA</swrc:booktitle><swrc:crossref>conf/naa/2008</swrc:crossref><swrc:pages>200-207</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>Quartic Spline of Interpolation with Minimal Quadratic Oscillation.</swrc:title><swrc:volume>5434</swrc:volume><swrc:year>2008</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1007/978-3-642-00464-3_20" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="978-3-642-00463-6" swrc:key="isbn"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2009-02-10" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Alexandru Mihai Bica"/></rdf:_1></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Svetozar Margenov"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Lubin G. Vulkov"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Jerzy Wasniewski"/></rdf:_3></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/26e2cfdd7a614f455514c06c399ba1651/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/26e2cfdd7a614f455514c06c399ba1651/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/iscas/iscas2008.html#OliveiraFAF08"/><swrc:date>Wed Dec 31 00:00:00 CET 2008</swrc:date><swrc:booktitle>ISCAS</swrc:booktitle><swrc:crossref>conf/iscas/2008</swrc:crossref><swrc:pages>2322-2325</swrc:pages><swrc:publisher><swrc:Organization swrc:name="IEEE"/></swrc:publisher><swrc:title>Synchronization of two LC- oscillators using capacitive coupling.</swrc:title><swrc:year>2008</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1109/ISCAS.2008.4541919" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2008-12-31" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Luís Bica Oliveira"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Igor M. Filanovsky"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Ahmed Allam"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Jorge R. Fernandes"/></rdf:_4></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/29fa97a554ae4d622a2eaddf1fa349e09/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/29fa97a554ae4d622a2eaddf1fa349e09/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/journals/isci/isci178.html#Bica08"/><swrc:date>Fri Apr 25 00:00:00 CEST 2008</swrc:date><swrc:journal>Inf. Sci.</swrc:journal><swrc:number>5</swrc:number><swrc:pages>1279-1292</swrc:pages><swrc:title>Error estimation in the approximation of the solution of nonlinear fuzzy Fredholm integral equations.</swrc:title><swrc:volume>178</swrc:volume><swrc:year>2008</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1016/j.ins.2007.10.021" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2008-04-25" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Alexandru Mihai Bica"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/23dfd323674eecd8b1cd0c80e374c1d95/smicha"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/23dfd323674eecd8b1cd0c80e374c1d95/smicha"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://www.sciencedirect.com/science/article/B6TJ4-4FNP2FX-1/1/b06fb92ae41fe15cb63745138d29a150"/><swrc:date>Tue Apr 22 12:52:29 CEST 2008</swrc:date><swrc:journal>Chaos, Solitons \&amp; Fractals</swrc:journal><swrc:month>Sep</swrc:month><swrc:number>5</swrc:number><swrc:pages>979--989</swrc:pages><swrc:title>Some properties of slowly decaying oscillatory solutions of KP</swrc:title><swrc:volume>25</swrc:volume><swrc:year>2005</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Mikhail Kovalyov"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Ion Bica"/></rdf:_2></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2715ec3345d90067b497f324a920fecb6/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2715ec3345d90067b497f324a920fecb6/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/journals/soco/soco11.html#Bica07"/><swrc:date>Tue Mar 11 00:00:00 CET 2008</swrc:date><swrc:journal>Soft Comput.</swrc:journal><swrc:number>11</swrc:number><swrc:pages>1099-1105</swrc:pages><swrc:title>Algebraic structures for fuzzy numbers from categorial point of view.</swrc:title><swrc:volume>11</swrc:volume><swrc:year>2007</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1007/s00500-007-0167-x" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2008-03-11" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Alexandru Mihai Bica"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2fa1bce349e068c66b127b4d9927fb699/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2fa1bce349e068c66b127b4d9927fb699/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/iscas/iscas2005-3.html#OliveiraAFF05"/><swrc:date>Mon Dec 03 00:00:00 CET 2007</swrc:date><swrc:booktitle>ISCAS (3)</swrc:booktitle><swrc:crossref>conf/iscas/2005</swrc:crossref><swrc:pages>2635-2638</swrc:pages><swrc:publisher><swrc:Organization swrc:name="IEEE"/></swrc:publisher><swrc:title>On phase noise in quadrature cross-coupled oscillators.</swrc:title><swrc:year>2005</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1109/ISCAS.2005.1465167" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2007-12-03" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Luís Bica Oliveira"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Ahmed Allam"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Igor M. Filanovsky"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Jorge R. Fernandes"/></rdf:_4></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/20684bb5f3daf19b6df34c766ba01a6b2/dblp"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/20684bb5f3daf19b6df34c766ba01a6b2/dblp"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://dblp.uni-trier.de/db/conf/iscas/iscas2006.html#FilanovskyAOF06"/><swrc:date>Mon Jul 23 00:00:00 CEST 2007</swrc:date><swrc:booktitle>ISCAS</swrc:booktitle><swrc:crossref>conf/iscas/2006</swrc:crossref><swrc:publisher><swrc:Organization swrc:name="IEEE"/></swrc:publisher><swrc:title>Quadrature Van der Pol oscillators using second harmonic coupling.</swrc:title><swrc:year>2006</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1109/ISCAS.2006.1692922" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2007-07-23" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Igor M. Filanovsky"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Ahmed Allam"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Luís Bica Oliveira"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Jorge R. Fernandes"/></rdf:_4></rdf:Seq></swrc:author></rdf:Description></rdf:RDF>
