<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns="http://purl.org/rss/1.0/" xmlns:admin="http://webns.net/mvcb/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:cc="http://web.resource.org/cc/"><channel rdf:about="http://www.bibsonomy.org/author/Bica"><title>BibSonomy publications for /author/Bica</title><link>BibSonomyburst/author/Bica</link><description>BibSonomy RSS feed for /author/Bica</description><dc:date>2012-02-15T10:18:39+01:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/254913ff8e90b53738af377ad08b650b3/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2a5e3fda6198df43f8a1bcf043da4ede5/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26f62448796dbb24224a5dd851195010f/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26560718690abacf1a483c27d868fbb1c/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/21a8fd0d94eef1db48d147aeda049605d/msteele"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2368f70a4fbc8c5fddb55aa9fef401d73/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26f000fa67c78bf42e33dd645a7220491/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23d78e71fe7abfbde8417669a8d30177d/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2fbd920c5f5263bf71e20f22f28d0060b/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/20a688a4c531b48bc6444d6b0b75da30d/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2d86566c88683956280fd6ce25a245f57/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26042df80685a3cb9fc91b8295b15fa5a/smatthiesen"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2e4c2e63a0df39eb824bd91fe48f0864b/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2d0024e85fad1922df03a258af133187f/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26e2cfdd7a614f455514c06c399ba1651/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/29fa97a554ae4d622a2eaddf1fa349e09/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23dfd323674eecd8b1cd0c80e374c1d95/smicha"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2715ec3345d90067b497f324a920fecb6/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2fa1bce349e068c66b127b4d9927fb699/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/20684bb5f3daf19b6df34c766ba01a6b2/dblp"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/254913ff8e90b53738af377ad08b650b3/dblp"><title>About a numerical method of successive interpolations for functional Hammerstein integral equations.</title><link>http://www.bibsonomy.org/bibtex/254913ff8e90b53738af377ad08b650b3/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-01-16T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Bica&#034;&gt;A. M. Bica&lt;/a&gt;, &lt;a href=&#034;/author/Curila&#034;&gt;M. Curila&lt;/a&gt;,  and &lt;a href=&#034;/author/Curila&#034;&gt;S. Curila&lt;/a&gt; &lt;/span&gt;&lt;em&gt;J. Computational Applied Mathematics&lt;/em&gt; &lt;em&gt;236(7):2005-2024&lt;/em&gt; (&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2a5e3fda6198df43f8a1bcf043da4ede5/dblp"><title>An Adaptive Virtual Machine Replication Algorithm for Highly-Available Services.</title><link>http://www.bibsonomy.org/bibtex/2a5e3fda6198df43f8a1bcf043da4ede5/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-11-10T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Colesa&#034;&gt;Adrian Colesa&lt;/a&gt;,  and &lt;a href=&#034;/author/Bica&#034;&gt;Mihai Bica&lt;/a&gt; &lt;/span&gt;&lt;em&gt;FedCSIS, &lt;/em&gt;&lt;em&gt;page 941-948. &lt;/em&gt;(&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/26f62448796dbb24224a5dd851195010f/dblp"><title>The numerical method of successive interpolations for two-point boundary value problems with deviating argument.</title><link>http://www.bibsonomy.org/bibtex/26f62448796dbb24224a5dd851195010f/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-10-31T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Bica&#034;&gt;Alexandru Mihai Bica&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Computers &amp;amp; Mathematics with Applications&lt;/em&gt; &lt;em&gt;62(10):3829-3843&lt;/em&gt; (&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/26560718690abacf1a483c27d868fbb1c/dblp"><title>The numerical method of successive interpolations for Fredholm functional integral equations.</title><link>http://www.bibsonomy.org/bibtex/26560718690abacf1a483c27d868fbb1c/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-10-18T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Bica&#034;&gt;Alexandru Mihai Bica&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Numerical Algorithms&lt;/em&gt; &lt;em&gt;58(3):351-377&lt;/em&gt; (&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/21a8fd0d94eef1db48d147aeda049605d/msteele"><title>Formal verification of secure ad hoc routing protocols using AVISPA:
	ARAN case study</title><link>http://www.bibsonomy.org/bibtex/21a8fd0d94eef1db48d147aeda049605d/msteele</link><dc:creator>msteele</dc:creator><dc:date>2011-07-15T15:18:02+02:00</dc:date><dc:subject>ARAN AVISPA routing secure formal verification </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Pura&#034;&gt;Mihai-Lica Pura&lt;/a&gt;, &lt;a href=&#034;/author/Patriciu&#034;&gt;Victor-Valeriu Patriciu&lt;/a&gt;,  and &lt;a href=&#034;/author/Bica&#034;&gt;Ion Bica&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Proceedings of the 4th European Computing Conference&lt;/em&gt;  (&lt;em&gt;2010&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ARAN"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/AVISPA"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/routing"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/secure"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/formal"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/verification"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2368f70a4fbc8c5fddb55aa9fef401d73/dblp"><title>A 1 mW low phase-noise relaxation oscillator.</title><link>http://www.bibsonomy.org/bibtex/2368f70a4fbc8c5fddb55aa9fef401d73/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-07-07T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Casaleiro&#034;&gt;Joao Casaleiro&lt;/a&gt;, &lt;a href=&#034;/author/Lopes&#034;&gt;Hugo Lopes&lt;/a&gt;, &lt;a href=&#034;/author/Oliveira&#034;&gt;Luís Bica Oliveira&lt;/a&gt;, &lt;a href=&#034;/author/Fernandes&#034;&gt;Jorge R. Fernandes&lt;/a&gt;,  and &lt;a href=&#034;/author/Silva&#034;&gt;Manuel M. Silva&lt;/a&gt; &lt;/span&gt;&lt;em&gt;ISCAS, &lt;/em&gt;&lt;em&gt;page 1133-1136. &lt;/em&gt;&lt;em&gt;IEEE, &lt;/em&gt;(&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/26f000fa67c78bf42e33dd645a7220491/dblp"><title>Combined LNA and Mixer Circuits for 2.4 GHz ISM Band.</title><link>http://www.bibsonomy.org/bibtex/26f000fa67c78bf42e33dd645a7220491/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-06-28T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Martins&#034;&gt;Miguel A. Martins&lt;/a&gt;, &lt;a href=&#034;/author/Oliveira&#034;&gt;Luís Bica Oliveira&lt;/a&gt;,  and &lt;a href=&#034;/author/Fernandes&#034;&gt;Jorge R. Fernandes&lt;/a&gt; &lt;/span&gt;&lt;em&gt;ISCAS, &lt;/em&gt;&lt;em&gt;page 425-428. &lt;/em&gt;&lt;em&gt;IEEE, &lt;/em&gt;(&lt;em&gt;2009&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/23d78e71fe7abfbde8417669a8d30177d/dblp"><title>About a numerical method of successive interpolations for two-point boundary value problems with deviating argument.</title><link>http://www.bibsonomy.org/bibtex/23d78e71fe7abfbde8417669a8d30177d/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-05-19T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Bica&#034;&gt;A. M. Bica&lt;/a&gt;, &lt;a href=&#034;/author/Curila&#034;&gt;M. Curila&lt;/a&gt;,  and &lt;a href=&#034;/author/Curila&#034;&gt;S. Curila&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Applied Mathematics and Computation&lt;/em&gt; &lt;em&gt;217(19):7772-7789&lt;/em&gt; (&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2fbd920c5f5263bf71e20f22f28d0060b/dblp"><title>Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2.</title><link>http://www.bibsonomy.org/bibtex/2fbd920c5f5263bf71e20f22f28d0060b/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-01-07T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Pura&#034;&gt;Mihai-Lica Pura&lt;/a&gt;, &lt;a href=&#034;/author/Patriciu&#034;&gt;Victor Valeriu Patriciu&lt;/a&gt;,  and &lt;a href=&#034;/author/Bica&#034;&gt;Ion Bica&lt;/a&gt; &lt;/span&gt;&lt;em&gt;SECRYPT, &lt;/em&gt;&lt;em&gt;page 299-303. &lt;/em&gt;&lt;em&gt;SciTePress, &lt;/em&gt;(&lt;em&gt;2010&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/20a688a4c531b48bc6444d6b0b75da30d/dblp"><title>Simulation of an Identity-based Cryptography Scheme for Ad Hoc Networks.</title><link>http://www.bibsonomy.org/bibtex/20a688a4c531b48bc6444d6b0b75da30d/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-01-07T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Pura&#034;&gt;Mihai-Lica Pura&lt;/a&gt;, &lt;a href=&#034;/author/Patriciu&#034;&gt;Victor Valeriu Patriciu&lt;/a&gt;,  and &lt;a href=&#034;/author/Bica&#034;&gt;Ion Bica&lt;/a&gt; &lt;/span&gt;&lt;em&gt;SECRYPT, &lt;/em&gt;&lt;em&gt;page 135-139. &lt;/em&gt;&lt;em&gt;INSTICC Press, &lt;/em&gt;(&lt;em&gt;2009&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2d86566c88683956280fd6ce25a245f57/dblp"><title>SciFinance: A Program Synthesis Tool for Financial Modeling.</title><link>http://www.bibsonomy.org/bibtex/2d86566c88683956280fd6ce25a245f57/dblp</link><dc:creator>dblp</dc:creator><dc:date>2010-12-29T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Akers&#034;&gt;Robert L. Akers&lt;/a&gt;, &lt;a href=&#034;/author/Bica&#034;&gt;Ion Bica&lt;/a&gt;, &lt;a href=&#034;/author/Kant&#034;&gt;Elaine Kant&lt;/a&gt;, &lt;a href=&#034;/author/Randall&#034;&gt;Curt Randall&lt;/a&gt;,  and &lt;a href=&#034;/author/Young&#034;&gt;Robert L. Young&lt;/a&gt; &lt;/span&gt;&lt;em&gt;AI Magazine&lt;/em&gt; &lt;em&gt;22(2):27-42&lt;/em&gt; (&lt;em&gt;2001&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/26042df80685a3cb9fc91b8295b15fa5a/smatthiesen"><title>Fundamentally misunderstanding visual perception. Adults&#039; belief in visual emissions.</title><link>http://www.bibsonomy.org/bibtex/26042df80685a3cb9fc91b8295b15fa5a/smatthiesen</link><dc:creator>smatthiesen</dc:creator><dc:date>2010-11-30T22:39:03+01:00</dc:date><dc:subject>misconception </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Winer&#034;&gt;Gerald A. Winer&lt;/a&gt;, &lt;a href=&#034;/author/Cottrell&#034;&gt;Jane E. Cottrell&lt;/a&gt;, &lt;a href=&#034;/author/Gregg&#034;&gt;Virginia Gregg&lt;/a&gt;, &lt;a href=&#034;/author/Fournier&#034;&gt;Jody S. Fournier&lt;/a&gt;,  and &lt;a href=&#034;/author/Bica&#034;&gt;Lori A. Bica&lt;/a&gt; &lt;/span&gt;&lt;em&gt;The American psychologist&lt;/em&gt; &lt;em&gt;57(6-7):417--424&lt;/em&gt; (&lt;em&gt;2002&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/misconception"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2e4c2e63a0df39eb824bd91fe48f0864b/dblp"><title>Run-Time Reconfigurable Array Using Magnetic RAM.</title><link>http://www.bibsonomy.org/bibtex/2e4c2e63a0df39eb824bd91fe48f0864b/dblp</link><dc:creator>dblp</dc:creator><dc:date>2009-12-28T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Silva&#034;&gt;Victor Silva&lt;/a&gt;, &lt;a href=&#034;/author/Oliveira&#034;&gt;Luís Bica Oliveira&lt;/a&gt;, &lt;a href=&#034;/author/Fernandes&#034;&gt;Jorge R. Fernandes&lt;/a&gt;, &lt;a href=&#034;/author/Véstias&#034;&gt;Mário P. Véstias&lt;/a&gt;,  and &lt;a href=&#034;/author/Neto&#034;&gt;Horácio C. Neto&lt;/a&gt; &lt;/span&gt;&lt;em&gt;DSD, &lt;/em&gt;&lt;em&gt;page 74-81. &lt;/em&gt;&lt;em&gt;IEEE Computer Society, &lt;/em&gt;(&lt;em&gt;2009&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2d0024e85fad1922df03a258af133187f/dblp"><title>Quartic Spline of Interpolation with Minimal Quadratic Oscillation.</title><link>http://www.bibsonomy.org/bibtex/2d0024e85fad1922df03a258af133187f/dblp</link><dc:creator>dblp</dc:creator><dc:date>2009-02-10T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Bica&#034;&gt;Alexandru Mihai Bica&lt;/a&gt; &lt;/span&gt;&lt;em&gt;NAA, &lt;/em&gt;&lt;em&gt;volume 5434 of Lecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;page 200-207. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/26e2cfdd7a614f455514c06c399ba1651/dblp"><title>Synchronization of two LC- oscillators using capacitive coupling.</title><link>http://www.bibsonomy.org/bibtex/26e2cfdd7a614f455514c06c399ba1651/dblp</link><dc:creator>dblp</dc:creator><dc:date>2008-12-31T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Oliveira&#034;&gt;Luís Bica Oliveira&lt;/a&gt;, &lt;a href=&#034;/author/Filanovsky&#034;&gt;Igor M. Filanovsky&lt;/a&gt;, &lt;a href=&#034;/author/Allam&#034;&gt;Ahmed Allam&lt;/a&gt;,  and &lt;a href=&#034;/author/Fernandes&#034;&gt;Jorge R. Fernandes&lt;/a&gt; &lt;/span&gt;&lt;em&gt;ISCAS, &lt;/em&gt;&lt;em&gt;page 2322-2325. &lt;/em&gt;&lt;em&gt;IEEE, &lt;/em&gt;(&lt;em&gt;2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/29fa97a554ae4d622a2eaddf1fa349e09/dblp"><title>Error estimation in the approximation of the solution of nonlinear fuzzy Fredholm integral equations.</title><link>http://www.bibsonomy.org/bibtex/29fa97a554ae4d622a2eaddf1fa349e09/dblp</link><dc:creator>dblp</dc:creator><dc:date>2008-04-25T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Bica&#034;&gt;Alexandru Mihai Bica&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Inf. Sci.&lt;/em&gt; &lt;em&gt;178(5):1279-1292&lt;/em&gt; (&lt;em&gt;2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/23dfd323674eecd8b1cd0c80e374c1d95/smicha"><title>Some properties of slowly decaying oscillatory solutions of KP</title><link>http://www.bibsonomy.org/bibtex/23dfd323674eecd8b1cd0c80e374c1d95/smicha</link><dc:creator>smicha</dc:creator><dc:date>2008-04-22T12:52:29+02:00</dc:date><dc:subject>imported </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Kovalyov&#034;&gt;Mikhail Kovalyov&lt;/a&gt;,  and &lt;a href=&#034;/author/Bica&#034;&gt;Ion Bica&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Chaos, Solitons \&amp;amp; Fractals&lt;/em&gt; &lt;em&gt;25(5):979--989&lt;/em&gt; (&lt;em&gt;September 2005&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/imported"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication><description>Chaos, Solitons &amp; Fractals</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2715ec3345d90067b497f324a920fecb6/dblp"><title>Algebraic structures for fuzzy numbers from categorial point of view.</title><link>http://www.bibsonomy.org/bibtex/2715ec3345d90067b497f324a920fecb6/dblp</link><dc:creator>dblp</dc:creator><dc:date>2008-03-11T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Bica&#034;&gt;Alexandru Mihai Bica&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Soft Comput.&lt;/em&gt; &lt;em&gt;11(11):1099-1105&lt;/em&gt; (&lt;em&gt;2007&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2fa1bce349e068c66b127b4d9927fb699/dblp"><title>On phase noise in quadrature cross-coupled oscillators.</title><link>http://www.bibsonomy.org/bibtex/2fa1bce349e068c66b127b4d9927fb699/dblp</link><dc:creator>dblp</dc:creator><dc:date>2007-12-03T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Oliveira&#034;&gt;Luís Bica Oliveira&lt;/a&gt;, &lt;a href=&#034;/author/Allam&#034;&gt;Ahmed Allam&lt;/a&gt;, &lt;a href=&#034;/author/Filanovsky&#034;&gt;Igor M. Filanovsky&lt;/a&gt;,  and &lt;a href=&#034;/author/Fernandes&#034;&gt;Jorge R. Fernandes&lt;/a&gt; &lt;/span&gt;&lt;em&gt;ISCAS 3, &lt;/em&gt;&lt;em&gt;page 2635-2638. &lt;/em&gt;&lt;em&gt;IEEE, &lt;/em&gt;(&lt;em&gt;2005&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/20684bb5f3daf19b6df34c766ba01a6b2/dblp"><title>Quadrature Van der Pol oscillators using second harmonic coupling.</title><link>http://www.bibsonomy.org/bibtex/20684bb5f3daf19b6df34c766ba01a6b2/dblp</link><dc:creator>dblp</dc:creator><dc:date>2007-07-23T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Filanovsky&#034;&gt;Igor M. Filanovsky&lt;/a&gt;, &lt;a href=&#034;/author/Allam&#034;&gt;Ahmed Allam&lt;/a&gt;, &lt;a href=&#034;/author/Oliveira&#034;&gt;Luís Bica Oliveira&lt;/a&gt;,  and &lt;a href=&#034;/author/Fernandes&#034;&gt;Jorge R. Fernandes&lt;/a&gt; &lt;/span&gt;&lt;em&gt;ISCAS, &lt;/em&gt;&lt;em&gt;IEEE, &lt;/em&gt;(&lt;em&gt;2006&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><burst:publication><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></burst:publication><description>dblp</description></item></rdf:RDF>
