|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4869 occurrences of 2592 keywords
|
|
|
Results
Found 12324 publication records. Showing 12324 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Edward A. Lee, Yuhong Xiong |
A behavioral type system and its application in Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(3), pp. 210-237, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping |
67 | Mark Genoe, Paul Vanoostende, Geert van Wauwe |
On the use of VHDL-based behavioral synthesis for telecom ASIC design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France, pp. 96-103, 1995, ACM, 0-89791-771-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Alcatel-Bell, RTL-synthesizable description, behavioral synthesis tools, hardware CAD tool, system level design methodology, telecom ASIC design, telecom system hardware design, high level synthesis, VHDL, VHDL, application specific integrated circuits, ASIC, logic synthesis, integrated circuit design, hardware description languages, integrated logic circuits, behavioral synthesis, telecommunication computing, hardware software codesign, design complexities |
59 | Jay K. Adams, John Alan Miller, Donald E. Thomas |
Execution-time profiling for multiple-process behavioral synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 144-149, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
execution-time profiling, multiple-process behavioral synthesis, back-annotating, source description, behavioral simulation model, annotated behavioral simulation, high level synthesis, high-level synthesis, timing, timing, logic CAD, digital simulation, circuit analysis computing, hardware design, software profiling, register-transfer level model |
55 | Chih-Ping Chu, Yi-Chun Chang |
A Model for Behavioral Patterns in Web-Based Learning Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 22nd International Conference on Advanced Information Networking and Applications, AINA 2008, GinoWan, Okinawa, Japan, March 25-28, 2008, pp. 181-187, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
web-based learning system, Colored Petri Nets, behavioral pattern |
55 | Grigore Rosu |
On implementing behavioral rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Workshop on Rule-Based Programming ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002, pp. 43-52, 2002, ACM, 1-58113-606-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
behavioral rewriting, hidden equational logic, term rewriting, meta-programming |
52 | Ghassan Al Hayek, Chantal Robach |
On the Adequacy of Deriving Hardware Test Data from the Behavioral Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 337-342, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
hardware test data, behavioral fault modeling, gate-level strategies, high-level fault detection, gate-level fault detection, design automation tools, generated test set, gate-level fault coverage, hardware description languages, hardware description languages, behavioral specification |
50 | Debin Gao, Michael K. Reiter, Dawn Xiaodong Song |
Behavioral Distance Measurement Using Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 9th International Symposium, RAID 2006, Hamburg, Germany, September 20-22, 2006, Proceedings, pp. 19-40, 2006, Springer, 3-540-39723-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
behavioral distance, intrusion detection, anomaly detection, system call |
48 | Éric Tanter, Jacques Noyé, Denis Caromel, Pierre Cointe |
Partial behavioral reflection: spatial and temporal selection of reification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 27-46, 2003, ACM, 1-58113-712-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, reflection, open systems |
45 | Xuxian Jiang, Xingquan Zhu 0001 |
vEye: behavioral footprinting for self-propagating worm detection and profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 18(2), pp. 231-262, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Behavioral footprinting, Network security, Information systems, Sequence alignment, Worm detection |
45 | Ganesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha |
Behavioral Synthesis of Fault Secure Controller/Datapaths Based on Aliasing Probability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(9), pp. 865-885, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
concurrent error detection, Behavioral synthesis, fault security, fault-tolerant microarchitectures |
43 | Sriram K. Rajamani, Jakob Rehof |
A Behavioral Module System for the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, pp. 375-394, 2001, Springer, 3-540-42314-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Hannah Badier, Jean-Christophe Le Lann, Philippe Coussy, Guy Gogniat |
Protecting Behavioral IPs During Design Time: Key-Based Obfuscation Techniques for HLS in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 71-93, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Nandeesha Veeranna, Benjamin Carrion Schafer |
Source Code Obfuscation of Behavioral IPs: Challenges and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 43-56, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Sheikh Ariful Islam, Srinivas Katkoori |
Behavioral Synthesis of Key-Obfuscated RTL IP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 17-42, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Anirban Sengupta, Mahendra Rathor |
Hardware (IP) Watermarking During Behavioral Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 119-145, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Anna Esposito, Marcos Faúndez-Zanuy, Francesco Carlo Morabito, Eros Pasero |
A Human-Centered Behavioral Informatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 3-8, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Miodrag Potkonjak, Anantha P. Chandrakasan |
Synthesis and selection of DCT algorithms using behavioral synthesis-based algorithm space exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 65-68, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
DCT algorithms, behavioral synthesis-based algorithm space exploration, high level synthesis tools, behavioral design space, IC implementation, image processing, image processing, high level synthesis, discrete cosine transforms, discrete cosine transform, application specific integrated circuits, circuit layout CAD, video processing, fast algorithms, video signal processing, digital signal processing chips, design space |
40 | Yasuki Kakishita, Kazutoshi Sasahara, Tetsuro Nishino, Miki Takahasi, Kazuo Okanoya |
Ethological data mining: an automata-based approach to extract behavioral units and rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 18(3), pp. 446-471, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Behavioral units and rules, Learning from positive data, N-gram models |
40 | Carlos Caleiro, Ricardo Gonçalves 0001, Manuel A. Martins 0001 |
Behavioral Algebraization of Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(1), pp. 63-111, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
many-sorted behavioral logic, non-truth-functionality, Abstract algebraic logic |
40 | Hadi Kharrazi, Anthony Faiola, Joseph Defazio |
Healthcare Game Design: Behavioral Modeling of Serious Gaming Design for Children with Chronic Diseases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. Interacting in Various Application Domains, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV, pp. 335-344, 2009, Springer, 978-3-642-02582-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hypoglycemia, Patient Empowerment, Compliance to Treatment, Adolescent Diabetic Drivers, Serious Gaming, Behavioral Modeling, Diabetes |
40 | Jason Cong, Bin Liu 0006, Zhiru Zhang |
Behavior-level observability don't-cares and application to low-power behavioral synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2009 International Symposium on Low Power Electronics and Design, 2009, San Fancisco, CA, USA, August 19-21, 2009, pp. 139-144, 2009, ACM, 978-1-60558-684-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
low power, observability, behavioral synthesis |
40 | Stéphane Daviet, Fabrice Guillet, Henri Briand, Serge Baquédano, Vincent Philippé, Régis Gras |
Using the Statistical Implicative Analysis for Elaborating Behavioral Referentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Statistical Implicative Analysis ![In: Statistical Implicative Analysis, Theory and Applications, pp. 299-319, 2008, Springer, 978-3-540-78982-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Statistical Implicative Analysis, Behavioral referentials, Validation study, geometric skill, Decision support system, Assessment tool |
40 | K. Najeeb, Vishnu Vardhan Reddy Konda, Siva Kumar Sastry Hari, V. Kamakoti 0001, Vivekananda M. Vedula |
Power Virus Generation Using Behavioral Models of Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 25th IEEE VLSI Test Symposium (VTS 2007), 6-10 May 2007, Berkeley, California, USA, pp. 35-42, 2007, IEEE Computer Society, 0-7695-2812-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dynamic power dissipation, Power virus, Integer Constraint Solvers, Hardware Description Languages (HDL), Behavioral Models |
40 | Xuxian Jiang, Dongyan Xu |
Profiling self-propagating worms via behavioral footprinting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORM ![In: Proceedings of the 2006 ACM Workshop on Rapid Malcode, WORM 2006, Alexandria, VA, USA, November 3, 2006, pp. 17-24, 2006, ACM Press, 1-59593-551-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
behavioral footprinting, content signature, worm profiling, worms |
40 | Debin Gao, Michael K. Reiter, Dawn Xiaodong Song |
Behavioral Distance for Intrusion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005, Revised Papers, pp. 63-81, 2005, Springer, 3-540-31778-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
behavioral distance, Intrusion detection, system call |
40 | Daniel R. Ellis, John G. Aiken, Kira S. Attwood, Scott D. Tenaglia |
A behavioral approach to worm detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORM ![In: Proceedings of the 2004 ACM Workshop on Rapid Malcode, WORM 2004, Washington, DC, USA, October 29, 2004, pp. 43-53, 2004, ACM Press, 1-58113-970-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
behavioral signatures, descendant relation, network application architecture, network worms, intrusion detection |
40 | Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen |
A methodology for specifying and analyzing consistency of object-oriented behavioral models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 186-195, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
behavioral consistency, UML, UML, CSP, object-oriented modeling |
40 | Karen Panetta Lentz, Jonathan B. Homer |
Handling Behavioral Components in Multi-Level Concurrent Fault Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 33th Annual Simulation Symposium (SS 2000), 16-22 April 2000, Washington, DC, USA, pp. 149-156, 2000, IEEE Computer Society, 0-7695-0598-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
concurrent fault simulation, simulation, behavioral modeling, multilevel |
40 | Tom Chen 0001, Anneliese von Mayrhauser, Amjad Hajjar, Charles Anderson 0001, Mehmet Sahinoglu |
Achieving the Quality of Verification for Behavioral Models with Minimum Effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 1st International Symposium on Quality of Electronic Design (ISQED 2000), 20-22 March 2000, San Jose, CA, USA, pp. 234-, 2000, IEEE Computer Society, 0-7695-0525-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
behavioral model verification, Compound Poisson, effort-domain, empirical Bayesian analysis, negative binomial distribution(NBD), Poisson LSD, testing strategy, stopping rule |
40 | William E. Dougherty, Donald E. Thomas |
Unifying behavioral synthesis and physical design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000., pp. 756-761, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
behavioral/high level synthesis, physical design |
39 | Johannes Koskinen, Markus Kettunen, Tarja Systä |
Profile-Based Approach to Support Comprehension of Software Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: 14th International Conference on Program Comprehension (ICPC 2006), 14-16 June 2006, Athens, Greece, pp. 212-224, 2006, IEEE Computer Society, 0-7695-2601-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Min An, Toshiharu Taura, Takayuki Shiose |
A Study on Acquiring Underlying Behavioral Criteria for Manipulator Motion by Focusing on Learning Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 37(4), pp. 445-455, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Ewout Martens, Georges G. E. Gielen |
Analyzing continuous-time Delta-Sigma-Modulators with generic behavioral models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(5), pp. 924-932, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Siang Yew Chong, Xin Yao 0001 |
Behavioral diversity, choices and noise in the iterated prisoner's dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 9(6), pp. 540-551, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Michel Bidoit, Rolf Hennicker |
Externalized and Internalized Notions of Behavioral Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 334-350, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Mattias O'Nils, Jan Lundgren, Bengt Oelmann |
A SystemC extension for behavioral level quantification of noise coupling in mixed-signal systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 898-901, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Michihiro Matsumoto, Kokichi Futatsugi |
Simply Observable Behavioral Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 460-467, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Abderrazek Jemai, Polen Kission, Ahmed Amine Jerraya |
Architectural Simulation in the Context of Behavioral Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 590-595, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Timo Koskinen, Peter Y. K. Cheung |
Hierarchical tolerance analysis using statistical behavioral models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(5), pp. 506-516, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Ayaz Isazadeh, David Alex Lamb, Glenn H. MacEwen |
Behavioral Views for Software Requirements Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany., pp. 300-307, 1996, IEEE Computer Society, 0-8186-7355-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Formal Methods, Statecharts, Requirements Specifications |
37 | Sasikumar Cherubal, Abhijit Chatterjee |
Test generation for fault isolation in analog circuits using behavioral models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 19-24, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multiple parameter variations, manufacturing tolerances, test generation, fault location, behavioral models, analog circuits, analogue integrated circuits, fault isolation, circuit testing, behavioral descriptions, parametric failures, measurement noise |
37 | Sujit Dey, Anand Raghunathan, Kenneth D. Wagner |
Design for Testability Techniques at the Behavioral and Register-Transfer Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 13(2), pp. 79-91, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
behavioral synthesis for testability, behavioral synthesis for BIST, high-level test generation, RTL synthesis for testability, design for testability |
37 | H. Fatih Ugurdag, Thomas E. Fuhrman |
Autocircuit: a clock edge general behavioral synthesis system with a direct path to physical datapath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 514-529, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Autocircuit, clock edge general behavioral synthesis system, physical datapaths, next-generation synthesis tool, behavioral HDL input descriptions, data-flow representations, use-trees, raw-states, word-oriented synthesis, unique parameterized netlist representation, high level synthesis, high-level design |
37 | Frank Vahid |
Procedure exlining: a transformation for improved system and behavioral synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France, pp. 84-89, 1995, ACM, 0-89791-771-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
VHDL transformation tool, distinct computation, procedure exlining, procedure inlining, redundant sequences, statements, formal specification, distributed processing, VHDL, hardware description languages, remote procedure calls, behavioral synthesis, behavioral specification, system synthesis, procedure calls, synthesis tools |
37 | Hao-Chiao Hong |
A Fully-Settled Linear Behavior Plus Noise Model for Evaluating the Digital Stimuli of the Design-for-Digital-Testability Sigma-Delta Modulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 23(6), pp. 527-538, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Design-for-digital-testability, Stimulus evaluation, ?-? modulator, Behavioral model |
35 | Tianqi Chen, Jun Yan 0001, Gui-Rong Xue, Zheng Chen 0001 |
Transfer learning for behavioral targeting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 1077-1078, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
transfer learning, user segmentation, behavioral targeting |
35 | Tom Armstrong |
Robotics and intelligent systems for social and behavioral science undergraduates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 194-198, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
artificial intelligence, robotics, intelligent systems, retention, recruitment, interdisciplinary, curricula, multidisciplinary, social and behavioral sciences |
35 | Shu Yang, Kanliang Wang |
The influence of information sensitivity compensation on privacy concern and behavioral intention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 40(1), pp. 38-51, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
information sensitivity, privacy concern, compensation, behavioral intention |
35 | Carlos Caleiro, Ricardo Gonçalves 0001 |
Algebraic Valuations as Behavioral Logical Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 13-25, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
behavioral algebraization, logical matrix, valuation semantics, algebraic logic |
35 | Ting Li 0001, Ning Liu 0001, Jun Yan 0001, Gang Wang 0010, Fengshan Bai, Zheng Chen 0001 |
A Markov chain model for integrating behavioral targeting into contextual advertising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD Workshop on Data Mining and Audience Intelligence for Advertising ![In: Proceedings of the 3rd ACM SIGKDD Workshop on Data Mining and Audience Intelligence for Advertising, Paris, France, June 28, 2009, pp. 1-9, 2009, ACM, 978-1-60558-671-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
click-through data, Markov chain model, contextual advertising, behavioral targeting |
35 | Ho-Joon Lee, Jong-Chan Park |
Customized Message Generation and Speech Synthesis in Response to Characteristic Behavioral Patterns of Children. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (3) ![In: Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III, pp. 114-123, 2007, Springer, 978-3-540-73108-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
customized message generation, behavioral pattern recognition, ubiquitous computing, natural language processing, speech synthesis |
35 | Kimmo Kiviluoma, Johannes Koskinen, Tommi Mikkonen |
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 181-190, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
software architecture, monitoring, aspectJ, behavioral profile |
35 | Anas A. Hamoui, T. Alhajj, Mohammad Taherzadeh-Sani |
Behavioral modeling of Opamp gain and dynamic effectsfor power optimization of Delta-Sigma modulators and pipelined ADCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2006 International Symposium on Low Power Electronics and Design, 2006, Tegernsee, Bavaria, Germany, October 4-6, 2006, pp. 330-333, 2006, ACM, 1-59593-462-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
sigma-delta (??) modulation, synthesis, behavioral modeling, discrete-time systems, analog-to-digital conversion |
35 | Robert G. Pettit IV, Hassan Gomaa |
Modeling behavioral design patterns of concurrent objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 202-211, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
behavioral design patterns, software architecture, colored petri nets, COMET |
35 | Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep K. Khosla |
Behavioral Model Composition in Simulation-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 35th Annual Simulation Symposium (ANSS-35 2002), San Diego, California, USA, 14-18 April 2002, pp. 308-315, 2002, IEEE Computer Society, 0-7695-1552-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Port-based modeling, Simulation, design, component, CAD, configuration, system, behavioral model, interaction model |
35 | Amjad Hajjar, Tom Chen 0001 |
Improving the Efficiency and Quality of Simulation-Based Behavioral Model Verification Using Dynamic Bayesian Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 3rd International Symposium on Quality of Electronic Design, ISQED 2002, San Jose, CA, USA, March 18-21, 2002, pp. 304-309, 2002, IEEE Computer Society, 0-7695-1561-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Behavioral Model Verification, VHDL, Stopping Criteria |
35 | Amjad Hajjar, Tom Chen 0001 |
An Accurate Coverage Forecasting Model for Behavioral Model Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 1st IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2002), 29-31 January 2002, Christchurch, New Zealand, pp. 104-110, 2002, IEEE Computer Society, 0-7695-1453-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Behavioral model verification, Statistical stopping rules, VHDL |
35 | Motoshi Saeki |
Behavioral specification of GOF design patterns with LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 408-415, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
gang-of-four design patterns, LOTOS simulator, composite and command patterns, formal specification, object-oriented programming, specification languages, object-oriented methods, software patterns, behavioral specification |
35 | Marie-Lise Flottes, D. Hammad, Bruno Rouzeyre |
Improving Testability of Non-Scan Designs during Behavioral Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 11(1), pp. 29-42, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
behavioral level, high level synthesis, design for testability |
35 | Francky Leyn, Walter Daems, Georges G. E. Gielen, Willy M. C. Sansen |
A behavioral signal path modeling methodology for qualitative insight in and efficient sizing of CMOS opamps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 374-381, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
behavioral signal path, incremental modeling, small-signal, sequential design space pruning, minimax optimization |
35 | Wolfgang Borutzky |
Combining Behavioral Block Diagram Modelling with Circuit Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26 - March 4, 1989, Proceedings, pp. 399-410, 1989, Springer, 3-540-52215-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
mixed behavioral, circuit-level modelling, electrical macromodels, continuous system simulation, electronic control systems, circuit simulation, functional simulation, block diagrams, signal processing systems |
35 | Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto |
Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(2), pp. 200-215, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Testing of embedded systems, VHDL, ATPG, fault modeling, testability analysis |
34 | Chen Liu 0013, Chengmo Yang |
Defense Against Hardware Trojan Collusion in MPSoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 233-264, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Sheikh Ariful Islam, Srinivas Katkoori |
Hardware Trojan Localization: Modeling and Empirical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 205-231, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Steffen Peter, Tony Givargis |
Generation and Verification of Timing Attack Resilient Schedules During the High-Level Synthesis of Integrated Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 343-363, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Mike Borowczak, Ranga Vemuri |
S*FSMs for Reduced Information Leakage: Power Side Channel Protection Through Secure Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 319-342, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Wei Hu 0008, Armaiti Ardeshiricham, Lingjuan Wu, Ryan Kastner |
Integrating Information Flow Tracking into High-Level Synthesis Design Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 365-387, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Srinivas Katkoori, Sheikh Ariful Islam |
Introduction and Background. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 1-14, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Matthew Lewandowski, Srinivas Katkoori |
State Encoding Based Watermarking of Sequential Circuits Using Hybridized Darwinian Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 177-202, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | S. T. Choden Konigsmark, Wei Ren, Martin D. F. Wong, Deming Chen |
High-Level Synthesis for Minimizing Power Side-Channel Information Leakage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 291-317, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Christian Pilato, Donatella Sciuto, Francesco Regazzoni 0001, Siddharth Garg, Ramesh Karri |
Protecting Hardware IP Cores During High-Level Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 95-115, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Pranesh Santikellur, Rajat Subhra Chakraborty, Swarup Bhunia |
Hardware IP Protection Using Register Transfer Level Locking and Obfuscation of Control and Data Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 57-69, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Farhath Zareen, Robert Karam |
A Framework for Detecting Hardware Trojans in RTL Using Artificial Immune Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 265-287, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Richa Agrawal, Ranga Vemuri |
Encoding of Finite-State Controllers for Graded Security and Power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 147-175, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Pietro Barbiero, Andrea Bertotti, Gabriele Ciravegna, Giansalvo Cirrincione, Eros Pasero, Elio Piccolo |
Unsupervised Gene Identification in Colorectal Cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 219-227, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Nelson Mauro Maldonato, Luigi Maria Sicca, Antonietta Maria Esposito, Raffaele Sperandeo |
Does Neuroeconomics Really Need the Brain? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 135-141, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Domenico De Felice, Francesco Camastra |
Kendon Model-Based Gesture Recognition Using Hidden Markov Model and Learning Vector Quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 163-171, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Maria Nadia Postorino, Giuseppe M. L. Sarnè |
A Neural Network to Identify Driving Habits and Compute Car-Sharing Users' Reputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 207-216, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Gennaro Cordasco, Filomena Scibelli, Marcos Faúndez-Zanuy, Laurence Likforman-Sulem, Anna Esposito |
Handwriting and Drawing Features for Detecting Negative Moods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 73-86, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Vincenzo Paolo Senese, Francesca Santamaria, Ida Sergi, Gianluca Esposito |
Adults' Implicit Reactions to Typical and Atypical Infant Cues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 35-43, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Stefano Rovetta, Alberto Cabri, Francesco Masulli, Grazyna Suchacka |
Bot or Not? A Case Study on Bot Recognition from Web Session Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 197-206, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina |
Blood Vessel Segmentation in Retinal Fundus Images Using Hypercube NeuroEvolution of Augmenting Topologies (HyperNEAT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 173-183, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Nelson Mauro Maldonato, Anna Esposito, Silvia Dell'Orco |
Consciousness and the Archipelago of Functional Integration: On the Relation Between the Midbrain and the Ascending Reticular Activating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 127-134, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Xavi Font, Carles Paul, Joan Moreno |
Multi-sensor Database for Cervical Area: Inertial, EEG and Thermography Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 119-125, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Diego Droghini, Daniele Ferretti, Emanuele Principi, Stefano Squartini, Francesco Piazza |
An End-To-End Unsupervised Approach Employing Convolutional Neural Network Autoencoders for Human Fall Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 185-196, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Vincenzo Monda, Raffaele Sperandeo, Nelson Mauro Maldonato, Enrico Moretto, Silvia Dell'Orco, Elena Gigante, Gennaro Iorio, Giovanni Messina |
Oressinergic System: Network Between Sympathetic System and Exercise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 97-107, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Nadia Mammone, Cosimo Ieracitano, Jonas Duun-Henriksen, Troels Wesenberg Kjaer, Francesco Carlo Morabito |
Coherence-Based Complex Network Analysis of Absence Seizure EEG Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 143-153, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Michela Balconi, Davide Crivelli |
Wearable Devices for Self-enhancement and Improvement of Plasticity: Effects on Neurocognitive Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 11-22, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Giuseppina Inuso, Fabio La Foresta, Nadia Mammone, Serena Dattola, Francesco Carlo Morabito |
Evolution Characterization of Alzheimer's Disease Using eLORETA's Three-Dimensional Distribution of the Current Density and Small-World Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 155-162, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Sara Invitto, Antonio Calcagnì, Marina de Tommaso, Anna Esposito |
Olfactory and Haptic Crossmodal Perception in a Visual Recognition Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 57-71, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Giansalvo Cirrincione, Federica Marcolin, S. Spada, Enrico Vezzetti |
Intelligent Quality Assessment of Geometrical Features for 3D Face Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 253-264, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Mario Iannicelli, Davide Nardone, Angelo Ciaramella, Antonino Staiano |
Content-Based Music Agglomeration by Sparse Modeling and Convolved Independent Component Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 87-96, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Vincenzo Paolo Senese, Federico Cioffi, Raffaella Perrella, Augusto Gnisci |
Adults' Reactions to Infant Cry and Laugh: A Multilevel Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 45-55, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Vitoantonio Bevilacqua, Antonio Brunetti, Gianpaolo Francesco Trotta, Domenico De Marco, Marco Giuseppe Quercia, Domenico Buongiorno, Alessia D'Introno, Francesco Girardi, Attilio Guarini |
A Novel Deep Learning Approach in Haematology for Classification of Leucocytes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 265-274, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Pietro Barbiero, Andrea Bertotti, Gabriele Ciravegna, Giansalvo Cirrincione, Eros Pasero, Elio Piccolo |
Supervised Gene Identification in Colorectal Cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 243-251, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Leonardo Rundo, Carmelo Militello, Andrea Tangherloni, Giorgio Russo, Roberto Lagalla, Giancarlo Mauri, Maria Carla Gilardi, Salvatore Vitabile |
Computer-Assisted Approaches for Uterine Fibroid Segmentation in MRgFUS Treatments: Quantitative Evaluation and Clinical Feasibility Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 229-241, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Carlos Alonso-Martinez, Marcos Faúndez-Zanuy |
Experimental Analysis of in-Air Trajectories at Long Distances in Online Handwriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 109-118, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Anna Esposito, Antonietta Maria Esposito, Filomena Scibelli, Mauro N. Maldonato, Carl Vogel |
Age and Culture Effects on the Ability to Decode Affect Bursts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantifying and Processing Biomedical and Behavioral Signals ![In: Quantifying and Processing Biomedical and Behavioral Signals, pp. 23-34, 2019, Springer, 978-3-319-95094-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Jack Hassall, John Eaton |
Applying ISO RM-ODP in the Specification of CORBA® Interfaces and Semantics to General Ledger Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 91-103, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu |
Component-Based Algebraic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 105-121, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 12324 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|